
Let q(x) be the second derivative of -14/3*x**3 + 0 - 5/2*x**2 + x. Does 19 divide q(-2)?
False
Let i = -838 + 2955. Does 73 divide i?
True
Let y = 634 + -128. Is y a multiple of 49?
False
Let m = -248 + 153. Let c = m + 326. Is 33 a factor of c?
True
Suppose -2*b - 27 + 432 = -3*u, u + 201 = b. Does 9 divide b?
True
Let w = -4 - -4. Let a be -1 + 1*(8 + w). Suppose 2 - a = -d. Does 5 divide d?
True
Is (24/(-27))/4 - 3352/(-18) a multiple of 14?
False
Let q(d) = -7*d**3 - 2*d**2 - 14*d - 5. Let r(x) = x**3 - x**2 + x - 1. Let p(c) = -q(c) - 6*r(c). Is p(-7) a multiple of 3?
False
Suppose 0*y - 190 = -2*y. Suppose -w - 3*t = -y, 0*w - 291 = -3*w - 3*t. Is w a multiple of 25?
False
Let p = -35 + 79. Let g = p - -2. Is g a multiple of 5?
False
Suppose -161 = -6*n + 169. Let k = n + -30. Suppose 2*b - k + 93 = 2*d, -3*b - 32 = -d. Is 8 a factor of d?
False
Let z be (-3)/((-6)/8) + 11 + -13. Does 28 divide -58*z*(-3)/6?
False
Suppose 261 = z + 122. Does 11 divide z?
False
Let u(m) = m**3 - 8*m**2 + 7*m + 4. Let k be u(7). Suppose -k*b = 20 + 12. Let t(d) = 2*d**2 + 12*d + 8. Does 8 divide t(b)?
True
Suppose -419*l + 421*l - 234 = 0. Does 18 divide l?
False
Suppose 5*y = -4*b - 6, y + y - 3*b + 7 = 0. Let r = 14 - y. Is 16 a factor of r?
True
Suppose -25 + 17 = 4*r. Is 154/(-14)*6/(1*r) a multiple of 4?
False
Let g be 4 + 449 + (-1 - 2). Suppose g = 56*z - 51*z. Does 5 divide z?
True
Is 1 - -402 - (80 - 73) a multiple of 6?
True
Suppose 4*j + 4*i = -16, -5*j + 2*i + 3 = -5. Suppose j*m + m = 93. Does 5 divide m?
False
Let c be ((-39)/(-26))/(1/2). Suppose -3*h - 5*a + 32 = 0, 3*h - 8 = c*a - 2*a. Does 2 divide h?
True
Let f be (-2422)/(-8) - (-5)/20. Let r = -173 + f. Is 35 a factor of r?
False
Suppose 0 = 4*z - 39 - 5. Suppose -z*y = -2*y - 81. Does 4 divide y?
False
Let v be (36 - -8) + -3 + 0. Suppose 0 = -3*d + 4*i + 17 + v, -3*d = -i - 46. Does 14 divide d?
True
Let h(c) = c**2 - 38*c + 58. Is 9 a factor of h(43)?
False
Suppose q + 5 = 0, v - 4*q - 15 = 1. Let s be (-1 + 4)*(1 + v). Let c = 19 + s. Is c a multiple of 10?
True
Is (362 - 25) + (2 - -3) a multiple of 19?
True
Let h(r) = r**3 + 12*r**2 - 9*r + 18. Is 7 a factor of h(-11)?
True
Suppose -14*q - 29*q + 25026 = 0. Does 16 divide q?
False
Let n = -1963 + 3151. Does 68 divide n?
False
Let q(x) = -x**3 - 2*x**2 - 2*x. Let r be q(-2). Suppose -3*t + 3*c + 61 = -2*c, -3*t - c = -49. Suppose -r*y + t = -11. Does 2 divide y?
False
Let a = 25 - 40. Does 23 divide -14*a/5 + 4?
True
Suppose -2*s + 2*h + 12 = 0, 0*s = -4*s - 4*h + 8. Suppose -8 = -5*o + 12. Suppose o*t - s*v = 5*t - 22, -3*v = 2*t - 29. Is 10 a factor of t?
True
Let f = -81 + 194. Suppose -3*s = 331 + f. Let d = -88 - s. Is d a multiple of 20?
True
Suppose 3*c - 4*z - 73 = 0, -5*c - 38 = z - 198. Is 4 a factor of c?
False
Does 4 divide 4/6*-6 + 65?
False
Let g = -1803 - -2076. Is g a multiple of 13?
True
Suppose 0 = -b + 4*c + 14, 5*b + 8 = 4*c + 46. Let q be -1 - 4/b*3. Is (q/(-6))/(3/438) a multiple of 18?
False
Let q = 58 + -188. Let n = -65 - q. Suppose 5*v - 4*v - n = 0. Is 13 a factor of v?
True
Does 3 divide 53724/352 + (-3)/(-8)?
True
Let i(t) = -29*t + 306. Is 61 a factor of i(-21)?
True
Let p = 46 - 44. Suppose 4*k - 3*k - 31 = p*w, 3*k - 97 = 4*w. Does 35 divide k?
True
Suppose 0 = 4*t - h - 198, 0 = -5*t + 3*h + 89 + 155. Is t a multiple of 12?
False
Let x be ((-21)/14)/(3/(-694)). Suppose x = 3*y + j, 4*y + j - 2*j = 451. Does 6 divide y?
True
Let m = 100 - 67. Suppose 4*s - 79 = m. Is 5 a factor of s?
False
Let y(p) = -p**3 + 68*p**2 + 79*p - 2. Is 16 a factor of y(69)?
True
Suppose u + 5*o + 0 - 5 = 0, -2*u = 2*o - 10. Suppose 5*a + 111 = -3*c + 336, 0 = -u*a. Does 30 divide c?
False
Let y(v) = -v**3 - 7*v**2 + 7*v + 19. Let z be y(-7). Is ((-9)/(-6))/((-3)/z) a multiple of 3?
True
Let o = 526 + -289. Suppose -6*f = -39 - o. Does 15 divide f?
False
Suppose -2*a = -12*a + 440. Suppose k - a = -0*k. Is 11 a factor of k?
True
Suppose -w + z = 386 - 18, -w + 4*z = 371. Let f = w - -209. Let s = f + 244. Is s a multiple of 15?
False
Suppose 3*j = -5*x + 23 + 3, -4*j + 2*x = -52. Does 2 divide j?
True
Let g = 517 - 343. Is 29 a factor of g?
True
Suppose -4*v - 492 = 192. Let z = v + 264. Does 12 divide z?
False
Let f = -23 + -1. Let w = f - -24. Suppose w = -g + 5*g - 64. Is 5 a factor of g?
False
Let m(l) = -l**2 - 10*l - 6. Let j be m(-8). Suppose -5*i = -j*i - 260. Let k = i - -88. Does 9 divide k?
True
Let y(i) = 8*i**3 + 4*i**2 + 3*i + 3. Let s(l) = 12*l**3 + 6*l**2 + 5*l + 5. Let d(u) = -5*s(u) + 8*y(u). Does 22 divide d(3)?
False
Let r = -121 - -229. Let c = r - 24. Does 28 divide c?
True
Let u(c) be the first derivative of 2*c**3/3 + c**2 - c + 3. Let v be u(-2). Suppose -3*t + 227 = 5*o, v*t - 115 = 3*o + 152. Is t a multiple of 21?
True
Suppose -17*h + 2*h = -3435. Is h a multiple of 54?
False
Let d(b) = b**3 - 16*b**2 - 2*b - 95. Is d(20) a multiple of 19?
False
Suppose 5*o - 3*d - 1065 = 0, -5*o + 4*d - 130 = -1190. Is o a multiple of 36?
True
Let z be (7 - (-3 - -7))*-163. Let g = -348 - z. Is 29 a factor of g?
False
Let f(s) = -1763*s**3 + 4*s**2 - 2*s - 5. Is 43 a factor of f(-1)?
False
Suppose -8*s = -6597 - 1019. Does 56 divide s?
True
Let q(h) be the first derivative of -h**3/3 + 5*h**2 - 10*h - 3. Let b be q(9). Is 0 + (69 - (b + 0)) a multiple of 24?
False
Let a = 1453 + 211. Is 38 a factor of a?
False
Let i be 8/(-10) + (-58)/(-10). Suppose 0 = -5*s + 5*j + 30, -j + i*j = -4. Suppose 0 = q + s, -3*q + 20 = 3*b + 2*b. Is 2 a factor of b?
False
Suppose -3*p = -2*p + 4. Does 18 divide 6/8 + (-429)/p?
True
Let p = 649 + 443. Is 26 a factor of p?
True
Let r(u) = u**3 - 2*u**2 + u. Let n be r(1). Suppose n = -z - 2*s + 4, -3*s + s = 2*z - 6. Does 7 divide 6/z - (-1 - 24)?
True
Let h(y) = -y**3 - 2*y**2 + 12*y + 12. Let x be h(-7). Suppose -5*d + 5*j + 420 = 0, -2*j - j = 2*d - x. Is d a multiple of 17?
True
Let h(f) = 9*f + 8. Let a be h(8). Let s = 136 - a. Is 8 a factor of s?
True
Is 1754 - (-19)/(57/(-18)) a multiple of 21?
False
Suppose -13 + 3 = -5*w. Suppose 4*u - 28 - 28 = -w*d, d - u - 22 = 0. Does 13 divide d?
False
Let n(d) = 4*d - 95. Is 3 a factor of n(26)?
True
Let q(f) = f**2 + 7*f - 14. Let a be q(-9). Suppose a*u + 162 = 10*u. Is u a multiple of 5?
False
Let t(j) = j**3 + 22*j**2 + 5*j - 13. Let w(g) = -g**3 - 22*g**2 - 5*g + 14. Let f(x) = 4*t(x) + 3*w(x). Does 39 divide f(-5)?
True
Suppose -4*c + 6 = -18. Suppose -56 = 2*t - c*t. Does 7 divide t?
True
Let u = 885 + -281. Is u a multiple of 5?
False
Does 7 divide (12/(-36))/(2/(-1974))?
True
Let o be 342/27 + (-2)/(-6). Suppose 2*w + 4 = 4*x, -5*w + 3*x = -x - 8. Let m = w + o. Is m a multiple of 10?
False
Suppose b + 76*b - 323400 = 0. Is 105 a factor of b?
True
Suppose 2*t + 28 = 5*w - 587, -370 = -3*w + t. Is 25 a factor of w?
True
Does 27 divide (5 - 342/66) + 42784/88?
True
Let j = 27 - 28. Is 11 a factor of 10*(5/2 - j)?
False
Let z be (5/5 + -6)/((-2)/18). Is 17 a factor of (-9)/(-15) - (-4743)/z?
False
Suppose 0 = q + 10 - 14. Is 8 a factor of (q + -6)*(-217)/14?
False
Let g(o) = 3 - 1 + o**2 + 0*o - 5*o. Suppose k + 0*x + 4*x = 19, 3*x = 5*k - 26. Is g(k) a multiple of 16?
True
Suppose -10*x + 10092 = -1008. Does 74 divide x?
True
Suppose 12*q - 18*q + 1890 = 0. Is 35 a factor of q?
True
Let t = 921 - 749. Does 3 divide t?
False
Suppose -101*k + 93*k + 2152 = 0. Does 8 divide k?
False
Suppose -7*b = 48 - 83. Suppose 2*c = -x + 201, b*c - 397 = -x - x. Is x a multiple of 26?
False
Let c be (3 + (-44)/4)*-1. Suppose -5*w + 66 = -c*w. Let r = w + 33. Does 3 divide r?
False
Suppose 0 = -3*i + 4*l + 37, 3*i - 24 = 3*l + 9. Suppose 5*d = -4*v + 17 + i, 2*v = 3*d - 10. Is d a multiple of 4?
True
Let s(g) be the second derivative of g**4/4 - 5*g**3/2 + 7*g**2 + 13*g. Is s(9) a multiple of 8?
False
Let h(w) = -w + 4. Let y be h(0). Suppose -y = a - 6. Suppose -3*g + 7*x - a*x + 54 = 0, -x = 2*g - 23. Does 13 divide g?
True
Let o = 607 + -531. Is o a multiple of 11?
False
Suppose 381 = 8*p + 45. Is p a multiple of 10?
False
Let c(s) = s**3 - 13*s**2. Let u be c(13). Suppose -r + u*r - 11 = -5*t, -3*r + 5 = 4*t. Suppose -6*b = t*b - 48. Is 6 a factor of b?
True
Suppose -9*z + 6 + 21 = 0. Let o(k) = 2*k**3 - k**2 - 2*k + 6. Let n(b) = -