 70. Does 7 divide o?
True
Suppose 0 = i + 52 - 44. Does 14 divide i/2 + (62 - 2)?
True
Suppose 40 = 4*z + z. Suppose 5*m = z*m - 375. Suppose -c - 4*c = -u - 157, u + m = 4*c. Is 8 a factor of c?
True
Let q(j) = -4*j**2 + 4*j**2 - 2*j**2 + 4*j - j**3. Does 21 divide q(-6)?
False
Let i = -29 + 30. Is 19 a factor of i - 2013/(-13) - (-6)/39?
False
Let b(n) = 151*n**2 - 1. Let q be b(-1). Suppose 0 = -3*u + 2*p + 518, 5*p = -0*u - u + q. Is 17 a factor of u?
True
Let i(v) = v**2 - v + 31. Let d be i(0). Let a = -15 + d. Does 8 divide a?
True
Let p(l) = 15*l + 42. Let m be p(12). Suppose z - m + 5 = 0. Is 31 a factor of z?
True
Let x = -1536 + 3386. Does 25 divide x?
True
Let p(d) = 21*d + 6. Let r = 7 + -4. Let i be p(r). Suppose -2*y = -91 - i. Is 12 a factor of y?
False
Let a = 46 - 80. Suppose 4*t - 419 = -k, -4*t + 527 = t - 2*k. Let l = t + a. Does 22 divide l?
False
Let n = 646 + -376. Is n a multiple of 15?
True
Suppose -x + 4*n = -2*x - 6, -2*x - 3*n - 2 = 0. Let c(z) = 57*z - 13. Is 44 a factor of c(x)?
False
Suppose 5*g - 67 = -2*x, -g + 20 = 3*g. Let f(t) = 2*t - 5. Let q be f(-6). Let l = x + q. Is l even?
True
Let t = 45 + -37. Suppose -9*n = -t*n - 27. Is 17 a factor of n?
False
Suppose -34*f + 32324 + 6436 = 0. Is f a multiple of 76?
True
Let p(l) = 28*l - 219. Is p(11) a multiple of 55?
False
Let g be (2 - 50/4)/(42/56). Does 6 divide -14*6/12*40/g?
False
Let l = 39 + -37. Suppose 31 - 157 = -l*f. Is f a multiple of 28?
False
Let h(j) = -j**3 - 3*j**2 - 3*j + 3. Let p(o) = 2*o**3 + 5*o**2 + 5*o - 7. Let t(g) = -7*h(g) - 4*p(g). Let b be t(0). Suppose 8*d = b*d + 19. Does 19 divide d?
True
Suppose -u = -c + 387, 5*c + u - 1937 = 4*u. Is 65 a factor of c?
False
Let o(b) = -9*b**3 + b**2 + 6*b + 4. Is 6 a factor of o(-2)?
False
Let k(i) = -2*i**2 + 2*i + 10*i**3 + 23 - 9*i**3 + 0*i**2. Is 19 a factor of k(0)?
False
Let j(a) = -a**3 - 2*a**2 + 1. Let z be j(-1). Suppose 36 = 3*s - 2*m, -2*s - 4*m + 23 + 17 = z. Is s a multiple of 4?
False
Suppose 81 = 3*b - 3*g, 4*b - 6*b + 3*g + 59 = 0. Suppose b*s = 23*s - 167. Is s a multiple of 23?
False
Suppose -18 = -4*w + 2*o, -5*w + 6*o - o = -10. Suppose -w*i = -2*i - 160. Suppose 0 = -2*y - 3*s + 1, -3*y + i = -4*s + 5. Is 3 a factor of y?
False
Suppose -3*b = 5*m - 2113, -4*m + 2*b + 245 = -1441. Is m a multiple of 7?
False
Suppose -5*d + 171 = -2*j, -2*d + 52 + 23 = -3*j. Is d a multiple of 12?
False
Let t(o) = o**3 + 51*o**2 + 118*o - 94. Does 10 divide t(-48)?
False
Suppose -x + 0 + 11 = 0. Suppose -4*g + 234 - 42 = 0. Suppose -x*w + 7*w = -g. Is 11 a factor of w?
False
Let n(w) = -107*w**3 - 4*w**2 - 13*w - 21. Is n(-2) a multiple of 13?
True
Let g be (0 - 3) + (-238)/(-17). Does 11 divide (-3 - 3)*g/(-2)?
True
Is 30/(-72)*-4*135 a multiple of 3?
True
Let f be 2/(-1) - (29 - 1)/7. Is (-649)/f + 22/12 + -2 a multiple of 6?
True
Suppose -205 = -j - 4*x, 3*x + 228 = 2*j - 237. Suppose -j = z - 4*z. Does 15 divide z?
True
Let l(w) = w**2 - 9*w - 22. Suppose t + 15 = -z, -z - 2 - 3 = -t. Is 24 a factor of l(z)?
True
Let i be -3*4/(-8)*2. Is (0 + -37)/(i/(-3)) a multiple of 17?
False
Let g(k) be the first derivative of 5*k**2/2 + 5*k - 4. Suppose 3*c + 3*n - 15 = 0, -5*n = -2*c + 5*c - 13. Does 10 divide g(c)?
False
Let k(w) = w**3 + 2*w**2 - 5*w - 2. Let v be k(-4). Is ((-270)/21)/(1/v) a multiple of 20?
True
Let r(u) = u**2 + u + 5. Let z be r(-6). Let y = z - 31. Is 2 a factor of y?
True
Suppose 22 = 6*l - 8. Suppose 5*n + 8*i - 95 = 3*i, -l*n - i = -75. Let m(w) = 2*w + 7. Is m(n) a multiple of 9?
False
Let b = 100 + -106. Let c(v) = -10*v + 14 - 5*v - 3. Is 25 a factor of c(b)?
False
Suppose 0 = -4*t + 2*d + 20, 3*t - 6 = -d + 4. Suppose -2*h + t*b + 36 = 4, h = b + 17. Is h a multiple of 2?
True
Let h = -18 + 25. Let q(d) = d**3 - 7*d - 9. Let x be q(h). Suppose -4*a + x = a. Is 27 a factor of a?
False
Let x = 18 - 16. Suppose 3*z - 4*q = x, -5*q + 3 = -z - 11. Let f(h) = -h**2 + 9*h - 4. Is 3 a factor of f(z)?
False
Suppose -b - 2*b = -15. Suppose p = 4*n - 8*n + 11, 10 = b*n. Suppose 18 - 3 = p*i. Is 5 a factor of i?
True
Suppose -108 = -4*f + 1216. Does 24 divide f?
False
Let d(g) = 2374*g**2 - 1. Does 7 divide d(1)?
True
Suppose -4*l + 0 = 8, 3*l = -5*f + 34. Suppose -3*s + f = -g, 1 = 3*g + s - 5. Does 6 divide 5 + (g - 3) + 29?
False
Let q(y) = 3*y + 2. Let a be q(0). Let b be (-2)/(0 - a) + -3. Is (2/(-6))/(b/132) a multiple of 12?
False
Let y(g) = -g**3 - 9*g**2 - 7*g + 13. Let x be y(-8). Suppose x*d = 7*d - 158. Is d a multiple of 11?
False
Let p(b) = -b**2 - 5*b + 8. Let g be p(-6). Let m(k) = 9*k**2 - k - 4. Let h be m(g). Let t = h - -11. Is 16 a factor of t?
False
Let d be 9/6*(-4)/(-3). Suppose w = -5*q + d*q + 36, 76 = 2*w + 5*q. Is w a multiple of 8?
True
Suppose 5*i - 4*i = 5*t + 4, -4*i - 5 = t. Does 23 divide (-1008)/(-8 - -4) - i?
True
Let b(z) = z**2 - 17*z + 53. Is 17 a factor of b(24)?
True
Suppose 0 - 1 = -f. Let g(t) = 13*t**3 - 2*t**2 + 2*t - 1. Let z be g(f). Does 6 divide 3/(-2)*(-80)/z?
False
Let v(j) = -j**2 - 11*j - 10. Let y be v(-10). Suppose p + 5*g = 59, y = p + 4*g - 45 - 14. Is p a multiple of 20?
False
Let n(d) = 10*d**2 + 14*d + 19. Is n(11) a multiple of 19?
False
Let x be 16/7 + 4/(-14). Suppose -x*q - 3*q = -450. Is 10 a factor of q?
True
Suppose 5*z + 4*a - 2905 = 0, z - 8*a = -4*a + 557. Is 14 a factor of z?
False
Let v = 748 - -64. Is 28 a factor of v?
True
Let r(n) = n**3 + 4*n**2 + n - 2. Let i be r(-3). Let k be 24/(-10)*60/(-9) - 2. Suppose -k = -i*x + 14. Is 7 a factor of x?
True
Let v = -31 - -55. Let o = v - -4. Does 14 divide o?
True
Let r(c) = -c**3 + 19*c**2 - 79*c + 12. Is 4 a factor of r(8)?
True
Let h = 1695 - 1226. Is 8 a factor of h?
False
Suppose 4878 = 2*v - 9*t + 5*t, -2*t = -3*v + 7329. Is v a multiple of 64?
False
Let m = 1439 + 821. Is 66 a factor of m?
False
Let s(d) = d**3 + 2*d**2 + 2*d + 6. Let a be s(0). Let r = a - -39. Is 9 a factor of r?
True
Suppose 6660 = 11*a - 5*a. Is 111 a factor of a?
True
Let s = 43 + -37. Does 5 divide (-4)/((-4)/(-48)*(-9)/s)?
False
Let r = -6810 + 10188. Is 11 a factor of r?
False
Does 47 divide (-10857)/(5 - -2)*(-5 - -4)?
True
Let r be (36/24)/((-2)/(-4)). Suppose -10 = 2*q - r*q - 2*f, -2*q = -4*f - 20. Suppose -2*w = a - q - 4, 43 = 2*a - w. Does 4 divide a?
True
Suppose -60 = -80*p + 77*p. Does 4 divide p?
True
Does 57 divide -474*((-42)/9 + 4)?
False
Let h be (-20)/(-15) - (-71)/3. Suppose 5*l + h = 0, -3*b - 2*l = -l - 7. Is b even?
True
Let a = -14 - -23. Let k(n) = n + 4. Let f be k(-5). Is (-1 + 0)/(f/a) a multiple of 5?
False
Let k(y) be the second derivative of y**4/3 - y**3 + 3*y**2 + 6*y. Let t(u) = 11*u**2 - 17*u + 17. Let x(p) = 17*k(p) - 6*t(p). Is x(4) a multiple of 20?
False
Suppose -29*f = -14*f - 450. Does 2 divide f?
True
Let p = 14 - 9. Suppose p*x - 16 - 89 = -s, x - 27 = s. Is x a multiple of 8?
False
Let f be -4 - 0/(-3) - -168. Suppose 4*p - f = 2*p. Is 10 a factor of p?
False
Let t(l) = l**2 - 4*l - 2. Let m be t(5). Suppose 4*u + 236 = 3*h, 5*u + 395 = 2*h + m*h. Is 40 a factor of h?
True
Let o be (-4)/2 - (-8 - -2). Suppose -5*n = 2*f - 16, -o*f = -0*n - 4*n + 24. Does 12 divide f/(-4) + 357/6?
True
Let w be (-2)/(((-50)/15)/5). Suppose -c + 5*c - 20 = 2*n, -w*n + 33 = 3*c. Is 3 a factor of c?
False
Let h = 27 - 1. Let a be (-6)/4*h + 1. Let w = 62 + a. Is 16 a factor of w?
False
Let c(z) = -z**2 + 11*z + 10. Let r be c(11). Suppose 0 = w - 3*g - 11, 0*w = -w - 4*g - r. Is w a multiple of 2?
True
Suppose 93 = 2*j - 85. Suppose j*f - 94*f + 25 = 0. Is f even?
False
Let u(x) = -3*x**2 - 14 - 56*x**3 + 26*x**3 + 29*x**3 - 4*x - 2*x. Is u(-7) a multiple of 59?
False
Let q = 386 + 78. Is 15 a factor of q?
False
Let d = 15 + -20. Let g be 10/d - (2 + -7). Suppose 7*o = g*o + 56. Does 7 divide o?
True
Let m = 28 + -22. Suppose 57 = -i - q + m*q, i + 60 = 2*q. Let n = -14 - i. Is 15 a factor of n?
False
Let q = 71 + -61. Let t = 27 - q. Is 2 a factor of t?
False
Let h(v) = 4*v**3 - v**2 + 3*v + 2. Let o be ((4 - 4)*1)/(-3). Let m(k) = k + 3. Let p be m(o). Is h(p) a multiple of 16?
False
Suppose 0 = -l - 5*p - 28, 0*p = -5*l - 4*p - 35. Let b be l/9*-9 - 1. Suppose 3*z + b = 113. Is 31 a factor of z?
False
Suppose 4*r - 2*g = 328, -5*r - 3*g = -3*r - 172. Sup