95))?
True
Let q(f) = -2*f**3 - 6*f**2 + 2*f + 1. Let i(u) = u**3 + 6*u**2 - u. Let d(p) = -3*i(p) - 2*q(p). Let n be d(7). Suppose -14*x = -9*x - n. Is 8 a factor of x?
True
Suppose -2*h + 4*u + u = -9, -2*h + u + 5 = 0. Suppose 4*c - 508 = -z, 0 = 4*z + h*c + c - 1993. Suppose 15 = 6*f - f, z = 5*i + 2*f. Is i a multiple of 10?
False
Let s = -70 + 61. Let b(k) = -2*k**3 - 18*k**2 - 3*k + 13. Let n be b(s). Suppose -5*c + 485 = -n. Is 20 a factor of c?
False
Let u = 917 + -496. Does 100 divide u?
False
Suppose 0 = -3*n - 2*p + 22884, -18 = -16*p + 19*p. Is 159 a factor of n?
True
Suppose -17*u + 24*u - 98 = 0. Suppose -x - 3 = -5. Suppose -u = -x*v - 0. Is 6 a factor of v?
False
Let w(d) = -6*d**2 + 101*d + 45. Is 4 a factor of w(15)?
False
Let q(m) = m**3 - 23*m**2 - 15*m - 7. Let f = 70 - 67. Suppose -2*j = f*k - 48, -k = -j + 2 + 22. Does 16 divide q(j)?
False
Is (((-1280)/(-5))/(-4))/(38/(-3230)) a multiple of 38?
False
Let t = -47 + 53. Suppose 11*w - 335 = t*w. Let a = 8 + w. Is a a multiple of 9?
False
Let s(m) = m**2 + 17*m - 15. Let j be s(-18). Suppose -w = -j*w - 3*x + 15, w = x. Suppose 5*p - 363 = w*r, 4*p + 4*r - 5*r - 296 = 0. Does 21 divide p?
False
Suppose 125508 = 7*q + 2*p, 7*q + 3*p - 89647 = 2*q. Is q a multiple of 238?
False
Let k = -21 - 302. Let r = k + 744. Is 46 a factor of r?
False
Let s(b) = b - 10. Let a be s(8). Let y be (12/(-10))/(a/5). Suppose 5*z - 4*x = z + 144, -32 = -z + y*x. Is z a multiple of 8?
False
Suppose 17*z + 31 = -3. Let f be z/(-8) + (3 - (-906)/24). Suppose n - f = 16. Does 15 divide n?
False
Suppose 322*c - 6873 = 726933 + 485608. Is 6 a factor of c?
False
Suppose 0 = 5203*q - 5207*q + 28240 + 18244. Is q a multiple of 81?
False
Let i(p) = -9*p**3 - 7*p**2 + p + 4. Let s be i(-4). Let a = s - -149. Is 14 a factor of a?
False
Let v be (-5)/(50/(-352))*(-5 + 0). Is 44 a factor of 231/22*v/(-3)?
True
Let r be -19 + 6 + 10 + (-16)/(-1). Suppose r*i - 1312 = 5*i. Is i a multiple of 82?
True
Let h(t) = t**2 - 21*t - 95. Let k be h(25). Suppose 5*g + k*f = 2*f + 1086, 0 = 3*g - 3*f - 666. Is g a multiple of 24?
False
Let c = 3596 - 2489. Suppose 7*t - 90 - c = 0. Is t a multiple of 32?
False
Let k(c) = 7*c**2 - 15*c + 64. Let u be k(8). Let j = u + -140. Is j a multiple of 12?
True
Let w(d) = 65*d - 183. Let q(f) = -21*f + 61. Let x(u) = 11*q(u) + 4*w(u). Is x(3) a multiple of 13?
True
Let n = 985 + 2164. Is n a multiple of 8?
False
Is 5 a factor of (-41648242)/(-4053) - 4/(-42)?
False
Let f(w) be the first derivative of w**4 + 2*w**3/3 + w**2/2 + 7*w + 43. Is 10 a factor of f(4)?
False
Suppose -5*g + 2360 = -9*u + 14*u, -3*g + 1432 = -u. Does 238 divide g?
True
Let p = -6805 - -16120. Is p a multiple of 14?
False
Let r be 5/(360/44848) - (-2)/18. Suppose 5*d - 3*d = 0. Suppose 2*x + 629 = 5*n, d*n - x + r = 5*n. Is 20 a factor of n?
False
Suppose 14 = -b - 4. Is 8/3*b/(-24) a multiple of 2?
True
Suppose 3*f + 5*x + 110 = -2*f, 2*x - 82 = 4*f. Let p = f + 144. Let w = p - 71. Does 7 divide w?
False
Let f(v) = 239*v**2 + 141*v - 690. Is f(5) a multiple of 62?
False
Let r = -173 - -180. Let g(i) = 19*i + 41. Is 58 a factor of g(r)?
True
Let t(u) = 3*u**2 + 80*u - 498. Is t(24) a multiple of 150?
True
Suppose 1646*b - 1647*b + d = -18055, 5*b - 3*d = 90277. Is b a multiple of 74?
True
Suppose -v - 3*i + 6*i + 65 = 0, -5*v + 325 = -2*i. Let d = -2197 + 1997. Let k = v - d. Does 13 divide k?
False
Let h(p) be the first derivative of 4*p**3/3 - 7*p**2/2 + 2*p - 2. Let y be h(7). Let l = y - 50. Is 9 a factor of l?
True
Suppose 0 = 5*b + 6*b - 113332 + 5059. Is 17 a factor of b?
True
Let q(o) = 25*o**3 - 8*o**2 + 12*o - 250. Does 16 divide q(11)?
False
Suppose -z - 13771 = -3*u, -166*u + 163*u + 13791 = 3*z. Does 237 divide u?
False
Let o(y) = 3*y**2 - 5*y + 1. Let z be o(2). Suppose -z*j = -2*m + 38, m + 1 = -1. Is 14 a factor of 34/(-119) - 1572/j?
True
Suppose 5*w + 24*d - 20 = 29*d, -4*w - d = -41. Suppose -2*u + 315 = 5*l, 3*u - w*l - 466 = -10*l. Is u a multiple of 14?
False
Suppose 7*i = 38*i + 17050. Let t = 890 + i. Is t a multiple of 17?
True
Let o = 62 - 21. Suppose 2*u - 3*d + 5*d + 18 = 0, 4*u + 5*d = -o. Let f = 52 - u. Is 17 a factor of f?
False
Suppose -26*r + d = -23*r - 19308, r - 6441 = 2*d. Does 13 divide r?
True
Let f(u) = 40*u + 1731. Does 15 divide f(-31)?
False
Let k(j) = -22*j**3 + 91*j**2 + 56*j + 140. Let g(w) = -10*w**3 + 45*w**2 + 28*w + 69. Let u(s) = 13*g(s) - 6*k(s). Does 15 divide u(-18)?
True
Let b(h) = -29*h**3 - 4*h**2 - 65*h + 25. Does 34 divide b(-7)?
False
Suppose -u = -3 - 1. Suppose 0 = u*k - 337 + 37. Does 2 divide (-10)/k + (-197)/(-15)?
False
Let k(j) = -j**2 + 20*j + 63. Let o be k(-3). Does 8 divide 4 - ((-170)/o)/(14/(-294))?
False
Let g(z) = 6*z**3 + z**2 - z - 3. Let l be g(-1). Let m(y) = 3*y**2 + 5*y - 16. Is 40 a factor of m(l)?
False
Let v(a) be the third derivative of a**9/504 - a**8/20160 + a**6/360 - 7*a**5/20 + 12*a**2. Let t(i) be the third derivative of v(i). Does 11 divide t(1)?
True
Is (220/28 + -1)/((-2)/(-749)) a multiple of 12?
True
Suppose 55 - 20 = -5*v. Let u(o) = 2*o**2 - 4*o - 5. Let z(c) = 3*c**2 - 6*c - 7. Let q(d) = v*u(d) + 5*z(d). Is q(6) a multiple of 9?
False
Suppose 3*h + 33 = 6*h. Let j(b) be the second derivative of 4*b**3 + 31*b**2/2 + b + 64. Is j(h) a multiple of 59?
True
Let w(m) = 159*m**3 + 166*m**2 - 1147*m - 16. Is 143 a factor of w(7)?
True
Let p = -251 + 46. Let m = 305 + p. Is m a multiple of 5?
True
Suppose 13640 = -9*r + 159152. Does 172 divide r?
True
Let s(l) be the first derivative of 99*l**4/4 - l**3/3 + 3*l**2/2 - l + 75. Does 5 divide s(1)?
True
Suppose -10*u + 57104 + 128146 = 0. Does 16 divide u?
False
Let h(k) be the second derivative of k**4/12 - 13*k**3/6 - 27*k**2/2 - 28*k. Let o be h(15). Suppose -7*t + 108 = -o*t. Is t a multiple of 8?
False
Suppose 12*z = 14304 + 31604 + 15844. Does 83 divide z?
True
Let r(u) = u**2 - 10*u - 13. Let k be r(13). Suppose -11*t - 4 + k = 0. Suppose -t*d + 75 + 61 = 0. Is 7 a factor of d?
False
Let l = -16613 - -37650. Does 109 divide l?
True
Let g = 22 + -10. Suppose 132 = -8*x + g*x. Suppose -140 = -x*c + 29*c. Does 8 divide c?
False
Suppose -u + 0*m + 11 = -3*m, -m = -3*u + 57. Let z(i) = 3*i**2 - 28*i + 206. Does 5 divide z(u)?
False
Let v = 61 - 56. Suppose 3*a = -v*u - a + 415, -a = -3*u + 232. Is 3 a factor of u?
False
Let g be (-120 + 8)*(-3)/2. Let q = -116 + g. Suppose a - 183 = -q. Does 30 divide a?
False
Let c(n) = -n**2 + 56*n - 286. Does 7 divide c(22)?
True
Suppose -198*s - 5*p - 1352 = -199*s, 0 = 4*s - 3*p - 5425. Is s a multiple of 59?
True
Suppose -10*p = -12*p + 10. Suppose p*j - 682 = 233. Does 41 divide j?
False
Let c = -31728 + 34167. Is 11 a factor of c?
False
Suppose -19*w + 12609 = 5*o - 22*w, 2557 = o - 5*w. Is o a multiple of 4?
False
Let i(u) = -4*u + 10. Suppose 4 = -3*n - 8, -j + 26 = -3*n. Let s = j - 32. Is 19 a factor of i(s)?
False
Let n be (-1 + -2 - -383)*(-2)/(-4). Let m = -110 + n. Is 40 a factor of m?
True
Let a = -92 - -127. Suppose 3*d + a = 2*i - 4*i, -3*d = i + 19. Does 9 divide (-3 - 1) + (-3 - i)?
True
Suppose -524 = 4*u + 816. Let r = -183 - u. Is 76 a factor of r?
True
Let j(s) = -5*s**2 + 19*s - 27. Let l be j(3). Is ((-1190)/l - 0)/((-1)/(-3)) a multiple of 15?
False
Let s = 64 + 36. Let i = 0 + s. Does 62 divide i?
False
Let i = 12 - -3. Suppose 36 = -i*k + 9*k. Is 3 a factor of 4*(-4)/32*k?
True
Suppose 4*r - 28*o = -27*o + 56699, -5*r = 2*o - 70864. Does 7 divide r?
False
Suppose -x + 3 = -20. Suppose -22 - x = 15*v. Does 29 divide (86/v)/((-8)/60)?
False
Let x = 129 - 45. Let r be 4 + x + 6/3. Let l = -69 + r. Is 5 a factor of l?
False
Let b(w) = w**3 - 9*w**2 + 3*w - 11. Let f = -17 + 28. Let q be b(f). Suppose -4*s = 4*h - q, 3*s - 261 = -4*h - 0*h. Is h a multiple of 21?
True
Let p = -3323 - -5114. Is p a multiple of 4?
False
Let u = 214 - 195. Suppose 32*x - 1924 = u*x. Does 21 divide x?
False
Suppose y - 325 = -5*j, -3*y - 5*j + 231 + 734 = 0. Is y a multiple of 8?
True
Let x = 15 - 13. Suppose -2*n = -10, x*u - 659 = -u + 5*n. Is 38 a factor of u?
True
Let z = 7778 + 13694. Is z a multiple of 44?
True
Suppose 3*y - 28 = -4*y. Suppose -5*i + 1697 = c, -y*i - i = -2*c - 1706. Does 24 divide i?
False
Let c(m) = 