et b(q) = 2*q**2 + 1. Let m be b(1). Suppose 5*x - 77 - m = w. Is x a multiple of 16?
True
Suppose 1 = m - 1. Suppose -9 = -4*r + m*r + 3*n, -3*r = 2*n - 7. Suppose -r*p + 31 = -59. Is p a multiple of 20?
False
Suppose 0 = 20*g + 2820 - 520. Let v = 62 - 105. Let f = v - g. Does 24 divide f?
True
Let n be -16 - 9 - (1 + -1). Let j = 27 + n. Suppose j*r - 56 = -5*r. Does 7 divide r?
False
Suppose -4*z + 275 = 5*h - 819, -2*z = 2*h - 548. Is 12 a factor of z?
True
Let a = -257 + 365. Let d = -58 + a. Is d a multiple of 5?
True
Let t = 38 - -40. Suppose -2*j - t = -8*j. Does 5 divide j?
False
Suppose 2*z - 20 = -2*z. Suppose 10 = -z*k, 314 = 5*d - k - 353. Is d a multiple of 12?
False
Let d(w) = 2*w**2 + 28*w + 42. Does 80 divide d(36)?
False
Is (438/(-18) + 7)/((-4)/114) a multiple of 35?
False
Let c(p) = 6*p - 1. Let t be c(1). Suppose 72 = t*j + w + 3*w, 2*j - 38 = 3*w. Does 2 divide j?
True
Let y = 45 - 25. Let m = y - -18. Suppose 5*b - 2*b - m = 2*t, -2*t = b - 26. Is 5 a factor of b?
False
Let x = -12 + 12. Does 17 divide (-5)/(-3)*(51 + x)?
True
Let w = -80 + 188. Suppose 5*b + w = g + 31, -4*g + 418 = 2*b. Is g a multiple of 51?
True
Suppose 0 = 7*i - 383 - 205. Let h = i + 26. Suppose -4*k + b + 111 + 51 = 0, 5*b - h = -3*k. Is k a multiple of 23?
False
Suppose 2*c + 92 = -i + 4*i, 2*i - 36 = -5*c. Let y be 1 + 1*i + 1. Suppose 0 = -5*o - 2*p - 7 + 47, -5*o - 4*p = -y. Does 4 divide o?
False
Suppose -138 - 133 = -f. Does 3 divide f?
False
Let t(b) be the second derivative of 1/2*b**2 + 1/12*b**4 - 2*b + 0 + 2/3*b**3. Does 3 divide t(-5)?
True
Let g(i) = -7*i + 0 + 2 + 0. Let q = -74 - -70. Is 15 a factor of g(q)?
True
Suppose -7*n + 5*m + 1042 = -3*n, -5*m + 1022 = 4*n. Is n a multiple of 23?
False
Let s = 42 - 60. Let l = s - -21. Is 19 a factor of 228/(-9)*l/(-2)?
True
Suppose -5*y - 5*s + 2597 = -2393, -5*y - s + 4994 = 0. Is 89 a factor of y?
False
Let f(u) = 13*u**3 + 5*u**2 - 9*u + 6. Is 56 a factor of f(2)?
True
Let z be 5 + -8 + (15 - 2). Suppose 0 = -5*c - z, 2*c - 27 = -2*l + l. Is l a multiple of 3?
False
Suppose 0 = -6*n + 12*n. Suppose 109 = 2*w - 3*q, n*w - q + 169 = 3*w. Is w a multiple of 24?
False
Let r(n) = 3*n + 12. Let k(c) = 2*c**2 + 4*c - 2. Let z be k(-3). Is 8 a factor of r(z)?
True
Let d = -141 - -120. Let i(c) = c - 12. Let p be i(0). Let z = p - d. Is z a multiple of 4?
False
Suppose -3380 = 3*z - 7*z. Suppose 0 = -4*q - q + z. Let i = q + -110. Is 13 a factor of i?
False
Suppose -3*p - p - b = 15, 2*p + 13 = 5*b. Does 10 divide 89 + -3 + 8 + p?
True
Let g = 25 + -17. Let j = 6 + g. Suppose 91 = 5*h - j. Is 3 a factor of h?
True
Suppose 317 = 3*l + 74. Suppose 0 = 2*b - l - 11. Suppose -23 = -3*o + b. Is o a multiple of 23?
True
Let k(p) be the first derivative of p**2/2 + 17*p + 7. Let b be k(-8). Let d = 19 - b. Is d a multiple of 4?
False
Let p(o) = -o**3 + 11*o**2 + 2*o - 3. Suppose -z + 41 = 4*z - 3*x, 0 = 2*z - 2*x - 14. Let c be p(z). Suppose -g + 4*g = c. Does 39 divide g?
True
Let d(p) be the third derivative of p**4/3 - 9*p**3 + 25*p**2. Does 7 divide d(13)?
False
Suppose -4*b - 32 - 156 = 0. Let q = 13 - b. Does 12 divide q?
True
Let r = -9 + 14. Suppose 0 = r*c + 1 - 96. Is 10 a factor of c?
False
Let f(w) = 120*w + 24. Is f(15) a multiple of 15?
False
Suppose -s = -c + 11, 1 = -2*c - 1. Let d be (2 - -19)*s/(-9). Suppose -146 + d = -2*w. Does 16 divide w?
False
Suppose -4*g + d + 574 = 0, 6*g - 2*g - 562 = -5*d. Let b be g/33 - (-2)/3. Is 11 a factor of (-8)/2 - -11*b?
False
Let o = 74 + -53. Is 18/o*1*238 a multiple of 12?
True
Let s = -8 - 35. Let x = -37 - s. Is x a multiple of 6?
True
Let l(a) = -a**2 + 12*a - 7. Let b be l(11). Suppose 4*z + 4*w + 4 = -8, 2*w + b = -3*z. Does 13 divide 1 - z*(-93)/6?
False
Suppose 9*j = 7270 + 11342. Is j a multiple of 47?
True
Let w be (-10)/(-4)*24/20. Suppose -75 = w*y - 519. Let b = y - 73. Is b a multiple of 26?
False
Suppose 5*m - 122 = -3*i, -3*i + 111 = 4*m - 7. Is 34 a factor of i?
True
Let r be 2/(-9) - (-11485)/45. Let m = 363 - r. Is m a multiple of 27?
True
Suppose 3*m - m - 120 = 0. Let p = -35 + m. Suppose 2*o - 2 = 0, -3*d + 3*o - o = -p. Is d a multiple of 3?
True
Suppose 0 = -5*g + 2*n + 494, 0 = -3*g + 3*n - 42 + 342. Suppose -g = -i - 0. Does 9 divide i?
False
Let m be 0/4 + 20 - -4. Suppose -7*h - m = -h. Let j(l) = -3*l + 6. Is j(h) a multiple of 9?
True
Suppose 9*w + 131 = 3533. Is 27 a factor of w?
True
Let m(d) = 7*d - 1. Let k be m(1). Suppose -67*f + 66*f - 4*g + 178 = 0, 0 = 5*f - 3*g - 867. Suppose 0*l - k*l = -f. Is 29 a factor of l?
True
Suppose -q = -5*q. Suppose -4*y - 165 + 769 = q. Let k = y - 106. Is k a multiple of 12?
False
Let l(a) = 24*a**2 - 15*a + 33. Is 3 a factor of l(3)?
True
Let w = -14 - -19. Suppose 8 = -3*m + m - 3*k, 5*m - w*k = -20. Is 13 a factor of m - 98/(1 + -3)?
False
Let u(z) = 185*z**3 - 10*z**2 + z + 6. Let v(q) = 37*q**3 - 2*q**2 + 1. Let t(i) = 2*u(i) - 11*v(i). Is t(-1) a multiple of 6?
False
Let x(p) = 10*p + 102. Does 39 divide x(6)?
False
Is (-2)/(-4) - (-1 - 13806/12) a multiple of 72?
True
Let n be (16/20)/((-8)/140). Let q(t) = -2*t - 22. Let z be q(n). Suppose 0*j - 126 = -z*j. Does 21 divide j?
True
Let t(p) be the second derivative of 1/12*p**4 + 3/2*p**2 - 1/10*p**5 + 1/2*p**3 + 4*p + 0. Is 17 a factor of t(-2)?
True
Let y = 565 - 383. Does 11 divide y?
False
Let p(u) = 6*u + 14. Let s be p(7). Is 14 a factor of 4/s*200 + (-4)/14?
True
Let x(b) = 21*b**2 + 4*b - 16. Let z be x(6). Suppose -5*i + 640 = 2*a, 5*i + 114 - z = -4*a. Is 9 a factor of i?
True
Let z(j) = 1 + 84*j - 83*j + 1 + 83*j**2. Does 14 divide z(-1)?
True
Suppose -f = 5*c + 12, -3*f + 5*c + 18 = -2*f. Let y = 8 - f. Suppose 2*z - 58 = -0*m - 4*m, -y*m = 3*z - 71. Does 16 divide m?
True
Suppose 5*v - 120 = 3*v. Is 4 a factor of v?
True
Let i(c) = 55*c**2 - 9. Let h be i(-3). Let r = 857 - h. Does 41 divide r?
False
Let t(x) = 3*x**2 - 8*x + 30. Is t(-14) a multiple of 51?
False
Let p(f) be the second derivative of f**3/6 + 21*f**2 - 4*f. Let s be p(0). Suppose 3*y = 5*y - s. Does 21 divide y?
True
Suppose -8*q + 5600 = -6*q - 4*x, 5*q - 14052 = -3*x. Is 12 a factor of q?
True
Let n = -17 + 21. Suppose 4*p = -o + 9, 0*p = n*o - 5*p - 120. Does 3 divide o?
False
Let s = -9 + 9. Let m be 0 + 1 + s + 2. Suppose -b - m*b = -144. Is 15 a factor of b?
False
Let d be 235/2*(-30)/(-25). Let u = d - 52. Does 11 divide u?
False
Let l(q) = 34*q**2 + 40*q + 27. Does 39 divide l(-5)?
False
Suppose -4*f + a = -36, -a = 4*a + 20. Suppose 4*p + 3*z + 323 = f*p, 0 = -5*z - 25. Is p a multiple of 27?
False
Let h(t) = t**2 - 11. Let r be h(-3). Is (r + -2)*-14*4 a multiple of 14?
True
Let b = -1181 + 1656. Does 25 divide b?
True
Let p(s) = 2 - 17*s - 18 + 11. Does 10 divide p(-5)?
True
Suppose 3*g + 2*d + 0 = 10, -5*d - 13 = -2*g. Suppose 3*z + o - 494 = -71, 4*o + 548 = g*z. Does 28 divide z?
True
Let g(j) = j**3 - 13*j**2 - 8*j + 20. Suppose -2*w + 78 = 5*q + 2*w, 4*q = 5*w + 46. Does 21 divide g(q)?
False
Let c = -254 + 437. Let a be (-10)/(-55) + (-2 - 1448/(-22)). Let s = c - a. Is s a multiple of 28?
False
Is 33 a factor of 142*(-1 - -4) + 4?
False
Suppose -5*f - 5*h = -35, f - 2 = 3*h + 9. Let z = f + -4. Does 11 divide (-1)/(-2)*z - -53?
True
Suppose 21840 = -3387*v + 3397*v. Is v a multiple of 56?
True
Let k = 30 + -9. Suppose 3*a = 2*a + k. Is 7 a factor of (-5 - -5) + a*1?
True
Is -1 - -682 - (-10 + 13) a multiple of 72?
False
Let i be 4*(2 - 1)*1. Let b(d) = -21*d - 8. Let j be b(-8). Suppose -j = -3*p - k + 105, 4*p = -i*k + 364. Is p a multiple of 24?
False
Let l = 1362 - -145. Does 137 divide l?
True
Suppose -5*c - 3302 = -4*r, 0 = 4*r - 37*c + 33*c - 3304. Is r a multiple of 57?
False
Let c be (-4676)/(-18) + 8/36. Suppose -5*u - 8 = 5*b - 633, -4*u = 2*b - c. Is b a multiple of 20?
True
Suppose -3*f = -5*c - 109, c = 2*f - 4*f + 77. Is f even?
True
Suppose -3*q - 40 = 2*k, 4*k + 5*q = 2*k - 48. Let u(c) = -2*c - 22. Does 3 divide u(k)?
True
Is (80/8 - -239) + 6/1 a multiple of 21?
False
Suppose -p = -2, p - 4*p = h - 80. Is h a multiple of 4?
False
Let z(s) = s**2 + 9. Let x be z(8). Let p = -162 + x. Let u = p + 129. Does 10 divide u?
True
Let i(n) = 14*n + 2. Let r be i(-1). Let k be r/(-18)*240/2. Is 30 a factor of 36/8