 18 a factor of u?
False
Suppose 0 = -2*q + 3*i + 6 + 67, 230 = 5*q + 2*i. Let g = 26 + q. Does 17 divide g?
False
Let x(j) = -10*j - 3. Let v be x(-3). Suppose v = -4*q - 5. Is 27 a factor of -2*4/q*74?
False
Suppose -w = -4*j - 2*w + 6299, 3*j = -4*w + 4734. Is j a multiple of 95?
False
Let g = 16 + -10. Let o = g + -6. Suppose -2*c + o*c + 18 = 0. Is c a multiple of 9?
True
Suppose 0 = 5*j - t - 0*t - 181, 0 = -5*t - 5. Is 12 a factor of j?
True
Is (-2586)/(-66) + 18/(-99) a multiple of 13?
True
Suppose 0 = u - 3*d - 1254, 5*u - 6*u - 5*d + 1214 = 0. Is u a multiple of 8?
False
Let k = -1362 + 1957. Is 17 a factor of k?
True
Suppose 138 = 368*m - 366*m. Does 13 divide m?
False
Let b be -82 + -3 + 0/1. Let l = b + 121. Does 6 divide l?
True
Suppose -6*i + 926 = -1414. Does 21 divide i?
False
Let d(b) be the second derivative of 5*b**3/3 - 3*b**2 - 4*b. Is d(5) a multiple of 16?
False
Suppose 5*c = -3*r + 9, -4*c + 2*r - 2 = -18. Let y be (1 + -4)/(3/(-94)). Suppose 8 + y = c*q. Does 20 divide q?
False
Let h = -18 + 21. Suppose 0 = p - 0*k + 4*k + 10, -h*p + 5*k + 21 = 0. Is p a multiple of 2?
True
Let m be 6/(3 - 0) + 27. Suppose 3*g - 113 = -2. Suppose -3*n - 34 - g = -2*o, -o - 5*n = -m. Does 18 divide o?
False
Does 22 divide 89775/120 + 1/(-8)?
True
Let x(m) = -m**2 - 19*m + 15. Let t(p) = 2*p**2 + 38*p - 30. Let y(a) = 2*t(a) + 5*x(a). Let i be y(-21). Let b = 81 - i. Is b a multiple of 23?
False
Suppose -3*f = -3*l - 150, 0 = -4*f + 7*f + l - 142. Is f a multiple of 4?
True
Let m(a) = -12*a - 3*a**2 + 6*a**2 - 20 + 3*a**2 - 4*a**2. Is m(10) a multiple of 10?
True
Let q = -18 - -16. Does 23 divide 0 + (q/(-13) - 7164/(-78))?
True
Let k(u) = 2*u**3 - 5*u**2 - 7*u - 25. Does 2 divide k(5)?
False
Let g = -45 - -133. Is g a multiple of 11?
True
Suppose -3*a - 4*b + 0*b - 28 = 0, 36 = -4*a - 5*b. Let q = 19 - a. Let i = 38 - q. Is i a multiple of 3?
True
Suppose 1 = 3*p + 1. Suppose p = 4*x - 22 - 34. Is x a multiple of 7?
True
Let c(t) = 4 - t + 1 + 2*t. Let v(f) = 8*f + 36. Let y be v(-4). Does 4 divide c(y)?
False
Suppose 22*d - 19*d - 738 = 0. Let b = d - 170. Does 10 divide b?
False
Let h = -1305 - -1721. Is 13 a factor of h?
True
Suppose 0 = -v + 2*v - 17. Suppose -v = -o + 3. Does 4 divide o?
True
Suppose -6 - 5 = -3*q + m, 4*m + 11 = q. Let g(z) = 8*z**2 - 2*z + 2. Is 19 a factor of g(q)?
False
Suppose -62 = 3*f - 4*s, 6*f + 65 = f - s. Let t = f - -20. Does 2 divide t?
True
Let s be (9/(-15))/((-1)/5). Let f be (1 - 1)/(0 + 5 - 6). Suppose -s*j - 341 = -5*k, 3*k + 5*j = -f*k + 191. Is 20 a factor of k?
False
Let b(v) = -v**3 - 10*v**2 - v - 2. Let d be b(-8). Let f = d + 171. Does 38 divide f?
False
Suppose -26 = -2*l - 18. Let x(h) = h**3 - 7*h**2 - 4*h + 1. Let g be x(l). Let j = -38 - g. Is 19 a factor of j?
False
Let k be (-1600)/(-24) - (1 + 12/(-9)). Suppose -12 = -a + k. Does 29 divide a?
False
Suppose 3*g + 30 + 721 = o, -771 = -o - 2*g. Does 10 divide o?
False
Suppose 5 = 2*d - d. Suppose -195 = -d*w + 3*f + 144, 2*f - 324 = -5*w. Does 22 divide w?
True
Let n = -16 + 9. Is (-833)/n + 0/(-2) a multiple of 22?
False
Let y be (-30)/12*(-8)/5. Does 9 divide 210/3 + -2 + y?
True
Let u = 27 - -135. Is u a multiple of 18?
True
Let b = 140 - 59. Does 9 divide b?
True
Suppose 2*y - 1079 = -2*u + 509, -5*y + 3952 = -4*u. Suppose 3*k = y + 243. Is k a multiple of 23?
True
Let q = -51 - -54. Suppose 0 = q*g - 54 - 282. Is 56 a factor of g?
True
Let b(u) = u**3 - 9*u**2 + 9*u - 4. Let m be b(8). Suppose m*d - 134 = -2*g, -4*g - 4*d + 276 = -0*d. Is g a multiple of 14?
False
Let h be (2/2 - 5) + -45 + 163. Let f = -100 + h. Is f a multiple of 4?
False
Let v = 461 - 341. Does 16 divide v?
False
Does 21 divide (1 - 50/(-4))*182?
True
Let r be (6/8)/(-3) - 3042/24. Let j = -33 - r. Is j a multiple of 17?
False
Let v = -3950 + 6155. Is v a multiple of 63?
True
Is 39 a factor of (2 + 3)*188 + (-8)/2?
True
Suppose -5*b + 680 = -10*b. Let u = -79 - b. Let f = u - -19. Is 13 a factor of f?
False
Let y = -12 - -18. Suppose y*p - 60 = p. Is 6 a factor of p?
True
Let r = 128 + -117. Is r/2 + -4 + (-1775)/(-10) a multiple of 16?
False
Suppose 4*o + 5*v = 1988, 3*o + 0*v = -v + 1480. Suppose -159 = 9*f - o. Is 4 a factor of f?
False
Suppose 359 = 6*u - 829. Does 18 divide u?
True
Suppose -4*g + 3*v = -977, 0 = -g - 3*g - 3*v + 959. Suppose 0 = 3*b + 5*r - 202, 3*b - 5*r - g = -0*r. Does 37 divide b?
True
Suppose -14*j + 168 = 2198. Let o = j + 217. Is 7 a factor of o?
False
Let q(l) = 3*l**2. Let i be q(-1). Suppose i*w - 6*w = -3. Let j(u) = 24*u**3 - u**2 + u. Is j(w) a multiple of 12?
True
Suppose 0 = 36*f - 30*f - 144. Suppose -94 + 13 = -l. Let v = l - f. Is 19 a factor of v?
True
Let l = 99 - 67. Suppose 0 = -y - g + l, 3*y + 3*g - 5*g - 71 = 0. Does 8 divide y?
False
Suppose 0 = 2*f - 3*y + 55, -f + 2*f + 3*y + 23 = 0. Let i = f - -36. Does 10 divide i?
True
Let p = -19 - -82. Is 21 a factor of p?
True
Suppose -2*t = 8*t. Suppose -3*r = -y - 200, t*r + 2*r = -5*y + 139. Does 8 divide r?
False
Suppose -4*u + c = -569, 5*c = u - 3*u + 301. Is 11 a factor of u?
True
Suppose 3*m + 5*h = -27, -2*h = -m + 3*m + 14. Let w = 19 - m. Suppose 85 + w = 3*z. Is z a multiple of 9?
True
Let q = -19 + 20. Suppose -q - 1 = 2*n. Is 6 a factor of 8 - -2 - (-1 + n)?
True
Suppose m - 638 = -5*b, 0 = -2*m + 4*b + 587 + 717. Is 36 a factor of m?
True
Let q(a) = 32*a**3 + 4*a**2 - 3*a + 3. Is 7 a factor of q(2)?
False
Let i(f) = 2*f**2 - 10*f - 3. Let z be i(-10). Suppose 3*d - 3*s - z = 0, -5*d + s = 100 - 583. Is d a multiple of 16?
True
Let c = -251 - -301. Is 25 a factor of c?
True
Suppose 595 = -7*l + 3801. Does 11 divide l?
False
Let k be -3*(158/(-6) - -2). Let i = k - -1. Is i a multiple of 5?
False
Let s be 4*3/(-12)*-4*-1. Let o(i) = -2*i**3 - 6*i**2 - 3*i - 8. Is 6 a factor of o(s)?
True
Let k be (1/2)/((-7)/(-840)). Suppose -q - 4*q + k = 0. Does 4 divide q?
True
Suppose 0 = -13*w + 14*w + 4. Does 14 divide (-1)/(-2) + (-54)/w?
True
Let l(m) = -16*m + 32. Let i be l(15). Let g = i - -355. Is 42 a factor of g?
False
Suppose -2*b - b - 5*o = 5, 15 = 3*o. Let p = 12 + b. Suppose 4*t = c - t - 90, p*t + 78 = c. Is 18 a factor of c?
False
Suppose 9*q - 7*q = -1552. Let t be (18/15)/(2/(-50)). Is 13 a factor of q/t + 32/240?
True
Suppose 0 = -6*d + 19 + 335. Is d a multiple of 25?
False
Let g = 17 + -20. Is g/9 + (-400)/(-3) a multiple of 19?
True
Let m(p) = p + 1. Let i be m(3). Suppose -u + 5*t = -0*t + 57, 228 = -i*u - 4*t. Let o = -11 - u. Does 23 divide o?
True
Does 60 divide (-4)/26 + 404114/481?
True
Let j(d) = -180*d - 202. Is j(-9) a multiple of 3?
False
Let h(o) = -o**2 + 13*o - 8. Let c(r) = r - 1. Let l(a) = -5*c(a) + h(a). Is 2 a factor of l(6)?
False
Let o(f) = 5*f**2 + f - 1. Let k be o(-3). Let y be -4*((-27)/(-12))/3. Is 6/18 - k/y a multiple of 14?
True
Is 15 a factor of -4 + (-66)/(-12) + 1917/2?
True
Let q be 1/(2 - (1 + 2)). Let l be 5*q*(-210)/25. Suppose z - 10 = -3*a, 3*z - a - l = 28. Is z a multiple of 11?
True
Suppose 219 = c - 3*n - 949, 2*c + 2*n = 2352. Is 14 a factor of c?
False
Let s = 55 + -65. Does 46 divide (10/s)/(1*(-1)/95)?
False
Let a = 204 - 194. Is a a multiple of 5?
True
Let s = -201 + 563. Suppose -8*b - s = -10*b. Does 33 divide b?
False
Suppose -1376 = -2*m - 2*m. Suppose 2*c + 2*r = -c + m, 0 = 2*c + 4*r - 240. Does 30 divide c?
False
Suppose -35 = -4*j + 3*p + 2*p, 3*j - 3 = -4*p. Suppose 64 + 141 = j*c. Does 10 divide c?
False
Let g(x) = -x**2 + 7*x - 5. Suppose -4*a + 4 = 5*k, k - 1 = -2*a - 5. Let f be g(k). Suppose 0 = -3*m - 2*z + f*z + 9, m + z = 11. Does 8 divide m?
True
Let l = -874 + 1579. Is 10 a factor of l?
False
Suppose -1098 = -2*n + 4*i, -3*i = 5*n - 4427 + 1695. Does 7 divide n?
False
Does 5 divide ((-2)/2)/(5/(-5)) + 409?
True
Suppose -5*t + 2*w = -t + 84, 4*w + 60 = -4*t. Suppose 3*c + 41 = -34. Let g = t - c. Does 2 divide g?
True
Let r(b) = -3*b**3 - 11*b**2 + 7*b + 13. Does 49 divide r(-8)?
False
Let x = 18 + -9. Is 3 a factor of x?
True
Let n(a) = -a**3 - 2*a**2 + 2. Let m be n(-3). Suppose 0 = -y + m - 3. Suppose 3*s = y*s - 120. Is 6 a factor of s?
True
Suppose q + 10 = 3*q - 4*h, 0 = -4*q - h - 7. Does 9 divide 3 + 34 + q + 3?
False
Let n be -5 + ((-14)/(-10) - 15/(-25)). Is (n*(-5)/(-