?
True
Suppose -17*b + 4942 = -2232. Is 46 a factor of b?
False
Suppose 3*w = 6*w. Suppose w = -4*m + 104 + 276. Does 14 divide m?
False
Suppose 36*w - 18146 + 2774 = 0. Does 5 divide w?
False
Suppose -i = -3*i + 4. Suppose -164 = -4*b - 4*k, -3*b - i*k = -4*b + 32. Does 6 divide b?
False
Let t be (-3 + 7)*5/10. Let s(n) = -15*n**2 + n + 8*n**2 + 3*n**t + 5*n**2 + 34. Is s(0) a multiple of 22?
False
Let h be (((-6)/4)/(3/(-308)))/2. Is -2*(2/(-9) - h/18) a multiple of 5?
False
Suppose -5*p + 5*g = -8 + 3, -2*g + 19 = 5*p. Suppose 0 = 2*k + q - 32, -60 = -k - 3*k - p*q. Is 3 a factor of k?
True
Let h(a) = 4*a - 3. Let z be h(1). Suppose 0 = -c - 0*c - z. Let u(s) = -54*s. Does 27 divide u(c)?
True
Let a = 2 - -38. Let k(z) = -z**3 - 6*z**2 - 5*z + 7. Let o be k(-5). Let t = a - o. Is 11 a factor of t?
True
Suppose -4 = 4*a - 3*a. Let v = a - -7. Suppose 0 = v*z - 0*z - 78. Does 7 divide z?
False
Suppose -4*n + 2442 = 2*t + 314, 3*t = 5*n - 2638. Is n/11 + (-12)/66 a multiple of 16?
True
Let c(z) = -2*z + z - 17 + 14. Let p be c(7). Is p/(-6)*3*18 a multiple of 23?
False
Let v(r) = -r**3 - 3*r**2 - 2*r - 4. Suppose -4*g = 3*g. Suppose 0*h - 2*h - n - 14 = g, -n + 6 = -2*h. Is v(h) a multiple of 21?
False
Suppose 3*k - k + 3*w = -11, -2*k - 2*w - 6 = 0. Let o = k + 20. Does 11 divide o?
True
Suppose -35 = 5*z + 2*k, -5*k = -5*z + 2*z + 10. Does 16 divide (-758)/z - (-2)/5?
False
Let o = 16 + -11. Suppose -16 = -4*k + 4*t, -4*k - o*t = -2*t - 16. Is k a multiple of 4?
True
Let d be (-20)/(-9) - (-32)/(-144). Let k(i) = i + 3*i**2 - 3 - 5*i - d*i**3 + i. Does 29 divide k(-3)?
True
Suppose -5*p - 287 = 298. Let z = 170 + p. Let i = z + 21. Is i a multiple of 19?
False
Suppose 8 = -3*f - 1. Let c be (f/2)/(6/24). Is 7 a factor of 1 - 11/(11/c)?
True
Let y(v) = 7*v**2 - 39*v + 213. Is 51 a factor of y(5)?
False
Let h(g) = -g**2 - 49*g - 126. Does 74 divide h(-30)?
True
Suppose -4*c = -3*y - 13, 3*y - 5 + 2 = 0. Suppose 2*s - 65 = 3*f, -s - c*s - 4*f = -174. Is 13 a factor of s?
False
Let i = 20 - -647. Is 2 a factor of i?
False
Suppose 0 = -2*x + 10, 4*n + 0*x = -x + 37. Let h(j) = -2*j**2 + j - 5*j + 2*j + n*j**3. Is h(2) a multiple of 13?
True
Suppose 5*g + 20 = 9*g. Suppose g*z - z + 40 = 4*r, 14 = 2*r + 4*z. Suppose -q = -3 - r. Does 6 divide q?
True
Let x be (-1)/(-8) - (-49)/56. Does 25 divide 1505/20 - ((-3)/4 + x)?
True
Let r = 52 + -42. Suppose -r*y + 210 = -3*y. Is y a multiple of 15?
True
Suppose d + 2 = 9. Let t = 15 - d. Suppose -2*f = -t, 190 = 2*s + f + f. Is s a multiple of 13?
True
Suppose 7*l - 3 = 1047. Suppose 410 = 5*d - l. Is d a multiple of 16?
True
Let i(n) = 12*n**2 - 6 + 20*n - n**2 - 20*n. Is 31 a factor of i(-3)?
True
Let k(j) = -14*j**3 + 4 + 15*j**3 - 3 - j**2. Let p be k(2). Suppose -5*l + p*g = -0*g - 245, 0 = -2*l + g + 96. Is l a multiple of 16?
False
Let c = 432 + -141. Is 26 a factor of c?
False
Let y = 1950 + -734. Is 64 a factor of y?
True
Let v = -13 + 9. Let i be (-18)/24 + (-19)/v. Suppose -2*k = -y + 2*k + 79, -i*y - k + 265 = 0. Does 19 divide y?
False
Let s(d) = 3*d**2 + 3*d - 6. Let a be s(-5). Let j(h) = h**2 + 20*h + 21. Let y be j(-19). Suppose -m = -y*m + a. Does 18 divide m?
True
Let m(k) = -5*k**3 - 7*k**2 - 3*k - 4. Let j be m(-3). Let a = j + 64. Is a a multiple of 29?
False
Is 39 a factor of ((-4)/12*-273)/((-1)/(-9))?
True
Let n be (-1 + -17)*2/(-6). Let i = 214 - n. Does 13 divide i?
True
Let a = -19 + 31. Let m = -8 - -11. Let p = m + a. Does 4 divide p?
False
Let x(w) = -2*w. Let p be x(0). Let t be (p - 1)*1 - -159. Let h = -79 + t. Is h a multiple of 33?
False
Let o(m) be the first derivative of m**4/4 - m**3/3 + 26*m + 2. Is o(0) a multiple of 13?
True
Suppose -884 = -14*w + 880. Is w a multiple of 9?
True
Let q = -353 - -636. Let i = -97 + q. Is 31 a factor of i?
True
Let b(o) = 3*o**2 + 3*o. Let l be b(-2). Suppose l*n = n + 235. Is n a multiple of 14?
False
Let a = -356 - -399. Is a a multiple of 6?
False
Let k = -494 + 782. Is k a multiple of 96?
True
Does 7 divide (8/10 + 147/210)*138?
False
Suppose -5*b + 2*c = -1670, 9*b - 4*b - 1705 = -5*c. Is b a multiple of 42?
True
Suppose -54*s = -57*s + 129. Suppose -w + 890 = 4*v, 4*w + 171 = v - s. Is v a multiple of 37?
True
Does 10 divide (-4)/(-10) - 9/((-270)/11388)?
True
Let u(i) = -50*i + 190. Does 98 divide u(-6)?
True
Suppose 6*m = 2*m. Suppose -g + 52 = -3*r - 2*r, m = 3*g + r - 172. Let d = g + -24. Is d a multiple of 11?
True
Suppose -5*l = -25, 0 = -d - 5*l + l + 2. Does 10 divide -4 + 495/d*28/(-5)?
True
Let d(t) = -t + 1. Let s(l) = -l**2 - 7*l + 74. Let y(k) = -5*d(k) + s(k). Is y(0) a multiple of 11?
False
Let f(c) = c**3 - 7*c**2 + 19*c - 1. Is 7 a factor of f(6)?
True
Let n(u) = 3*u + 85. Let l be n(-28). Suppose -4*a + 24 = 4*s, -3*a - 4*s + 0*s + 19 = 0. Does 17 divide a + 24 + -2 + l?
False
Suppose -19*o = -7*o - 168. Is 1*7*(384/o)/4 a multiple of 6?
True
Let h(s) = -s + 1. Let r(z) = -4*z + 4. Let q(x) = -7*h(x) + 2*r(x). Let m be q(-2). Suppose -m*n + 6 = -n. Does 3 divide n?
True
Suppose 6 = 2*o, -3*b - 5*o + 1700 = -2347. Is b a multiple of 8?
True
Does 9 divide (1*(-2)/(-4))/((-6)/(-216))?
True
Let q be ((-204)/18 - -12)/(2/9). Let m = -409 - -681. Suppose m = 4*o - o + 5*w, -q*w - 510 = -5*o. Is 33 a factor of o?
True
Suppose -s - 3*s = -8. Suppose s*t = 90 - 8. Is 23 a factor of t?
False
Suppose 14*z - 86 = 1174. Is 5 a factor of z?
True
Let r be ((-6)/(-18))/(1/9). Let l = 13 + r. Is l a multiple of 6?
False
Suppose 3*p - 3*g - 12 = p, 3*g + 30 = 4*p. Let w(q) = -6*q - 1. Let h be w(p). Let n = 99 + h. Does 11 divide n?
True
Let a(l) = 18*l - 57. Let j be a(4). Let h be 10/(-2) - (0 - 0). Let d = h + j. Is d a multiple of 10?
True
Is 2/10 + 1539/5 a multiple of 22?
True
Suppose 3*r = -0 + 18. Is (3 - r)/((-9)/96) a multiple of 8?
True
Suppose 5*c - 690 - 117 = -3*i, 3*i - 804 = -4*c. Let n = i - 162. Is n a multiple of 17?
True
Let j(y) = 35*y**2 + y - 2. Let k be j(-3). Suppose -l + 6*l - k = -2*h, 4*h = -l + 44. Is l a multiple of 8?
True
Let x(c) = c**2 + 8*c + 16. Let b be x(-5). Suppose b + 43 = 4*t. Does 2 divide t?
False
Suppose 0*h - 3*d - 259 = -h, -d = 1. Does 16 divide h?
True
Let w(b) = b**3 - 10*b**2 + 23*b - 20. Is 6 a factor of w(8)?
True
Suppose -25 = 3*n - 5*k, 4*n + 25 = 6*k - k. Let g = -5 + n. Let s(v) = -v**2 - 6*v + 7. Does 4 divide s(g)?
True
Let z(n) = 2*n - 12. Let k = 2 + -24. Let x = -9 - k. Is 7 a factor of z(x)?
True
Suppose -5*j - 4*t + 5781 = 935, 3*j + 5*t = 2918. Is j a multiple of 14?
True
Let x be 2 + (-4 - (-7 - -2)). Is 28/6*(0 + x) a multiple of 3?
False
Suppose 2*t = -2*j + 230, 2*t = -0*t - 3*j + 231. Suppose -i = i - t. Is -1 + 2 + i + 1 a multiple of 25?
False
Is 12 a factor of 86*5/(50/120)?
True
Let g(u) = 5*u**2 - u. Suppose -b = -t - 3, b - 2*b = -3*t - 7. Is g(t) a multiple of 4?
False
Suppose 2*p - 4 - 2 = 0. Suppose 0*z + 90 = -p*z. Does 12 divide 48/5*z/(-9)?
False
Let k(n) = 3*n**2 + 11*n + 40. Is k(15) a multiple of 40?
True
Let j = -52 - -44. Let t(i) = -5*i - 6. Is t(j) a multiple of 6?
False
Let w(l) = 2*l + 1. Let b be w(3). Let a(h) = -325*h + 8 + 651*h - 317*h. Is a(b) a multiple of 18?
False
Suppose 3*r = -3*v + 7*v - 48, -16 = r + 3*v. Let o be 258/r - (-1)/8. Is 4 a factor of (o/12)/(-4)*57?
False
Let w(u) be the second derivative of 3*u**4/4 - u**3/3 + 9*u**2/2 + 8*u. Let s be w(5). Suppose 5*a - 9*a + s = 0. Is a a multiple of 7?
True
Let c(o) = -14*o. Suppose 3*h = 3*x + 2*x + 30, 5*x + 25 = 2*h. Let v be c(x). Suppose -3*k = 9, -6*k = -r - 4*k + v. Is 27 a factor of r?
False
Suppose -6 = -5*m + 4, 0 = 5*a - 4*m - 1517. Suppose 5*t - r = 505, r + a = 3*t - 0*t. Is t a multiple of 25?
True
Is 74/(-1)*-37 + -13 + 19 a multiple of 14?
True
Let a be 120/(-104) + 2/13. Let w(d) = -30*d. Is 5 a factor of w(a)?
True
Let i(h) be the third derivative of 7*h**5/60 + h**4/8 + 14*h**2. Is 22 a factor of i(-2)?
True
Let q be 2/10 + 329/5. Suppose 0 = -c - 2*c + q. Let y = c + 4. Is 6 a factor of y?
False
Suppose -8*x = -67 - 45. Let i = x - -18. Does 8 divide i?
True
Is (-2 - -3)/(((-42)/(-2514))/7) a multiple of 98?
False
Suppose -202*d + 174*d + 78064 = 0. Does 14 divide d?
False
Let k(o) = 20 - 98*o**2 + 25*o + 197*o**2 - 97*o**2. Does 22 divide k(-16)?
Tr