 Does 34 divide b?
True
Suppose s - 8 = -0*s. Let k(w) = -w**3 + 8*w**2 + 7*w + 7. Does 13 divide k(s)?
False
Let l(s) = -s**3 + 8*s**2 - 7*s + 4. Let j be l(7). Suppose -5*u + 5 = -i, -j*u + i + 4*i = -25. Suppose 0*p + 2*p - 24 = u. Is 4 a factor of p?
True
Suppose 0 = d - 6*d + 25. Suppose j + 33 = d*k, 0*j - j - 31 = -3*k. Let x = j + 79. Does 22 divide x?
False
Let y = 39 + -58. Let j = 49 + y. Is j a multiple of 20?
False
Suppose 14*m - 20*m = -198. Suppose -m*w + 236 = -31*w. Is w a multiple of 24?
False
Suppose 4*q + 5*g - 1171 = 0, 112 = -2*q - 3*g + 697. Is q a multiple of 14?
True
Suppose 0 = 4*g + 2*k + 30, k - 19 = 2*g - 2*k. Let d(t) be the third derivative of -t**4/12 - t**3/6 - 7*t**2. Is d(g) a multiple of 11?
False
Let l = -173 + 268. Suppose -3*h + l = 2*h. Suppose -3*k + 3*v + 3 = 0, -2*k = -3*k + 5*v - h. Is 3 a factor of k?
True
Suppose -297*u + 303*u - 7392 = 0. Is 77 a factor of u?
True
Let p(j) = -j**3 - 4*j**2 - j + 8. Let w(a) = -a**3 - 3*a**2 - a + 8. Let y(m) = 3*p(m) - 2*w(m). Let k be y(-6). Suppose k = 5*q - 16. Is q even?
True
Let c be (-6)/3 + 2 + 2. Suppose 3*b - 48 = -3*a, -c*a - a + 78 = -3*b. Is a a multiple of 2?
False
Let o be (-3)/(4/(32/(-12))). Suppose 2 = -o*a, -2*f - f = -a - 64. Suppose d - f = -2*w + 13, -5*w = -3*d + 80. Does 15 divide d?
True
Does 5 divide 2 + 0 + 954 - (-4 + 8)?
False
Is 60/4*(-380)/(-25) a multiple of 14?
False
Suppose 5*t = -2*n + 3156, -4*t = -2*n - 1640 - 874. Is t a multiple of 14?
True
Let u(b) = -b**3 + 2*b**2 + 3. Let h be u(-3). Suppose -383 = 13*t + 33. Let z = t + h. Does 7 divide z?
False
Suppose t + 2*v - 1275 = 0, 0 = 31*t - 27*t - v - 5136. Does 35 divide t?
False
Let w(t) = -3*t + 7. Let p be w(3). Let v be (p + 1)*(30 - -5). Is (8/10)/((-1)/v) a multiple of 12?
False
Is 39 a factor of (6 + (-78)/12)/((-2)/220)?
False
Let r(c) = 60*c**2 + 3*c - 3. Let z be (3 - (-8)/(-2))/(-1). Does 30 divide r(z)?
True
Is 2 a factor of (-410)/5*(-8)/8?
True
Suppose 2*j - 18 = 3*a, 4*j + a - 8 = -0*j. Suppose 5*r = -28 + 3, -727 = -2*f - j*r. Is 53 a factor of f?
True
Let m = -12 + 14. Let h(f) = 2*f**3 - 12*f**3 + 12*f**m + 11*f**3 - f. Is 4 a factor of h(-12)?
True
Suppose -c + 3 + 0 = 0. Let a(o) = 2*o + o**2 + 1 - 11*o**c - 6*o**2 + 5*o**2. Does 6 divide a(-1)?
False
Let f = 49 - 88. Let i = 54 + f. Is 14 a factor of -1 - (-1 - 1)*i?
False
Suppose 0 = 2*o - 5*o. Let s be -4 + (o - (-5 - -2)). Does 27 divide -84*((-3)/(-9) + s)?
False
Is 420 - (-7 - (-5 - 6)) a multiple of 13?
True
Suppose i = -j, i - 10 = -3*i + j. Suppose -k + 53 = -4*s, 2*k - i*s = 213 - 77. Is 29 a factor of k?
False
Suppose 2513 = 2*d - 5*l, 2*d = 5*l - 9*l + 2540. Is d a multiple of 8?
True
Suppose -51 = -4*s + 2385. Does 29 divide s?
True
Let n(u) = 3*u + 42. Is 2 a factor of n(9)?
False
Let b be (-74)/(-3) - (-4)/(-6). Suppose -297 = -4*x + 3*x + s, 5*x - 1475 = 3*s. Is x/6 + (-16)/b a multiple of 12?
True
Does 3 divide (-1506)/(-63) - (-12)/126?
True
Suppose 2*w = 3*m + 95, -6*w + 187 = -2*w - 3*m. Suppose w - 169 = -d. Does 41 divide d?
True
Does 9 divide -39348*14/(-196) + 3/7?
False
Let w = 1006 + -257. Does 7 divide w?
True
Let m(a) = -a - 13. Let v be m(-5). Let q = v - -72. Does 16 divide q?
True
Let p(d) = 3*d**2 + 8*d - 1. Let l be (-23)/1*(-3 + 4). Let o = l - -16. Does 20 divide p(o)?
False
Let t(k) = 43*k**2 - 113*k - 8. Does 43 divide t(9)?
False
Let v(r) = 2*r - 3. Let u be v(0). Let z(d) = 3*d**2 + 5. Does 7 divide z(u)?
False
Let c(k) = 5 + k - 4 + k**2 + 8 - 8*k. Let f be c(6). Suppose -f = 2*q - 89. Does 13 divide q?
False
Let c(o) be the first derivative of -o**2/2 + 5*o + 4. Let w be c(10). Let r(y) = -y**2 - 6*y + 4. Is r(w) a multiple of 2?
False
Suppose -c + 11 = j + 4*j, -4*j + 7 = -c. Let q(d) = -5*d**2 + 0*d**3 + 2*d + d**3 - 6 + j. Is q(5) a multiple of 2?
True
Let c(k) = 2*k**2 + 4*k - 2. Let u(p) = 3*p**2 + 3*p - 3. Let b(x) = 4*c(x) - 3*u(x). Suppose -a + 6 = -2*o + 3*o, 5*o - 12 = -2*a. Does 7 divide b(a)?
True
Suppose 3*r + 4*u - 3415 = 0, 5*r + 64 - 5750 = -u. Does 72 divide r?
False
Suppose 0 = 4*q + b + 35, 3*q + 20 = -5*b - 19. Let u(g) = -16*g + 15. Is u(q) a multiple of 13?
True
Let o(y) = y**3 - 3*y**2 - 9*y - 33. Let s be o(7). Suppose 2*j + 256 = -2*j. Let i = s + j. Does 14 divide i?
False
Suppose 0 = -2*h + 4 + 4. Is 1 - (-15 + h + -4) a multiple of 16?
True
Let l = -6 - -14. Let b be (-17)/7 - 27/(-63). Let y = l + b. Is y a multiple of 6?
True
Let t = 277 - 403. Let q = t + 177. Does 8 divide q?
False
Let m(y) = y**3 + 13*y**2 - 6*y - 14. Let l be m(-13). Suppose q - 99 - 63 = 0. Suppose -a = 2*a - 3*g - q, 4*g - l = -a. Is 14 a factor of a?
True
Let m be (2/6)/(2/(-18)). Let w = m - -6. Suppose -w*y + 42 = 5*g, 3*g - 20 = -y - 2. Is y a multiple of 9?
True
Let z(b) = b**3 + 7*b**2 + 5*b - 8. Let h be z(-6). Let t(f) = -10*f**3 + 2*f - 1. Let y be t(h). Let u = y + -7. Is u a multiple of 17?
True
Let j(v) be the third derivative of -v**4/24 + 5*v**3/2 + 7*v**2. Let u be j(11). Suppose 2*a + 3*k - 11 = 64, 0 = -u*a + k + 129. Does 11 divide a?
True
Let u be 52/(-5) - (-5)/((-75)/(-6)). Let a = 72 - u. Does 18 divide a?
False
Let m = -16 - -18. Suppose 0 = -m*j + q + 2*q + 118, -284 = -5*j + 2*q. Does 8 divide j?
True
Let y = -98 - -407. Is 7 a factor of y?
False
Let o(g) be the third derivative of -11*g**4/24 + 7*g**3/6 + 8*g**2. Suppose 9 = -0*f - 3*f + 3*d, 4*d - 17 = 5*f. Is o(f) a multiple of 18?
False
Let v = -5 - -14. Suppose -v = 6*j - 3*j. Is 15 a factor of -3 - 3/j - -24?
False
Let q(z) = 107*z + 13. Does 6 divide q(3)?
False
Let a(z) = -66*z - 81. Is 28 a factor of a(-11)?
False
Let w(z) = -43*z**3 + 3*z + 2. Let o(h) be the third derivative of h**4/12 - 11*h**3/6 + 6*h**2. Let i be o(5). Does 14 divide w(i)?
True
Let p be 9/(36/848) + -2. Let m = p + -150. Suppose -6*w - m = -7*w. Does 30 divide w?
True
Suppose -5*h + 4*h + 221 = -4*x, 3*h + 3*x = 663. Is h a multiple of 6?
False
Let w = -550 - -1030. Is 12 a factor of w?
True
Is 23 a factor of (-1242)/45*(-3 - 1/3)?
True
Suppose 0 = 4*r + 5 - 9. Let m be ((-10)/25)/(r/(-5)). Suppose m*q + 5*d = 5*q - 181, q - 4*d = 72. Does 26 divide q?
True
Suppose -37*x + 50*x - 5421 = 0. Is x a multiple of 13?
False
Let a(w) = 3*w - 16. Let f be a(7). Suppose 16 = -f*q + 61. Is 36 a factor of 7/(21/q) - -134?
False
Let x(m) = 5*m - 1. Let r be x(1). Suppose 2*t = j + 9, j - r*t + 14 = -t. Suppose j = 3*q - 83. Is q a multiple of 12?
False
Suppose 0 = -3*i - w + 359, 7 + 5 = -3*w. Does 27 divide i?
False
Suppose 2*s - j - 19 = 0, -3*s - s - 5*j + 45 = 0. Let t = s + 6. Suppose -108 = -4*a - u, t = -u - 3*u. Does 14 divide a?
True
Suppose 4 + 7 = f + j, -f - 3*j = -11. Let l(k) = 10 - 76*k - f + 64*k - 11. Is l(-6) a multiple of 22?
False
Let x be (-1214)/(-8) + 7/28. Suppose 2*p + x = 3*n, 0 = 3*n - 4*n + p + 52. Does 16 divide n?
True
Suppose 3*w + 5*i - i + 5 = 0, -2*w = -i - 15. Suppose -4*t - 3 - 3 = 5*u, 0 = u + 2*t + 6. Suppose -4*z + 5 + 38 = 3*s, u*z + 115 = w*s. Is s a multiple of 3?
True
Let j(o) = 4*o**2 + 17*o + 93. Does 6 divide j(-6)?
False
Let h = 226 + -175. Is 12 a factor of h?
False
Let w be (-285)/(-114)*(0 - 7)*-18. Suppose 11*j = 14*j - w. Is j a multiple of 9?
False
Let f(y) = -y**3 - 2*y**2 - y - 2. Let z be f(-2). Suppose z = 4*q - 0*q - 4. Let n = 8 + q. Does 4 divide n?
False
Suppose 0 = 16*r - 17*r + 205. Suppose 4*y + y = r. Is y a multiple of 9?
False
Suppose 15*q - 12*q = -216. Does 18 divide (-12)/q - 1282/(-12)?
False
Let o = 137 + 555. Does 7 divide o?
False
Let a(n) = 322*n**2 + 9*n + 13. Is a(-2) a multiple of 39?
False
Suppose 0 = 15*k - 46746 + 13746. Does 20 divide k?
True
Let u = 112 - 112. Suppose -3*v - f + 146 = u, f - 2 = -0*f. Does 4 divide v?
True
Does 4 divide 15/24*8 - (1 - 80)?
True
Suppose -3*w + 3*c - 3 = -561, w = 3*c + 176. Is 21 a factor of w?
False
Suppose 6*f = 2*f + 204. Let u = f - -77. Does 32 divide u?
True
Let k(l) = 5*l - 19. Let q(v) = 2*v - 10. Let x(g) = 6*k(g) - 13*q(g). Is x(12) a multiple of 18?
False
Suppose -5 = -9*v + 4*v. Let n be (-38*4/(-8))/v. Suppose n = -r + 53. Is r a multiple of 11?
False
Let i be 8 - 12/(-1 - -4). Suppose -i*l + 205 = -5*w, -4*w - 20 = -0*w. Is l a multiple of 9?
True
Suppose 118 = -20*p + 2638. Does 126 divide 