 1977*z = 426. Does 16 divide z?
False
Suppose g = -2*c + 4, 9*g = 4*g - c - 25. Let q be 140 - g*(-1)/2. Suppose 4*p + q = 377. Is 20 a factor of p?
True
Suppose -11 = -6*x + 61. Suppose 22 + 106 = 2*n + 4*p, 0 = 3*p + x. Does 18 divide n?
True
Let w(z) be the first derivative of 3*z**2 - 3*z - 29. Suppose s + 3 = 6. Is 15 a factor of w(s)?
True
Let f(w) = -2*w + 106. Does 26 divide f(5)?
False
Suppose -4*g + 3*w + 19 = -0*w, 3*g - 5*w = 17. Suppose -g*p + 716 = -2*v, -p + 5*v + 530 = 2*p. Does 20 divide p?
True
Let r = 7696 - 3945. Is r a multiple of 31?
True
Suppose -q + 2*q = 0. Let y = -57 + 59. Suppose -4*h + 5*s + 97 = q, h - 3 = y*s + 25. Is h a multiple of 9?
True
Let k = 6 + 96. Suppose -4*h - 261 = -5*b, 2*b + 3*h - k = 4*h. Is 6 a factor of b?
False
Let y(t) = t**2 - 3*t - 34. Is y(9) a multiple of 17?
False
Suppose 0 = -r - 4 + 16. Suppose r*v - 7*v = 60. Is 6 a factor of v?
True
Let p = 64 + 138. Is p a multiple of 10?
False
Let n = 11 + -3. Suppose 0 = -4*k + n, -13 = -y + 3*k - 6. Is 13 a factor of y?
True
Suppose -2*m + 7*m = -20. Let g be -28 - ((-8)/m)/2. Let q = -3 - g. Does 13 divide q?
True
Is 2798/4 + 41/82 a multiple of 35?
True
Is -1 + (-4 - -5)*458 + 1 a multiple of 10?
False
Let l(f) = 100*f**3 - f**2 + 13*f - 7. Is 54 a factor of l(3)?
False
Suppose -844 = -5*r + 251. Let k = -153 + r. Is 37 a factor of k?
False
Let m = -16 + 18. Suppose 5*l + 4*d = 1378, -m*l - 4*d - 282 = -826. Is 29 a factor of l?
False
Is -2*13437/(-42) - (-3)/21 a multiple of 10?
True
Let y be -3*((-340)/(-6) + -2). Let z = -44 - y. Is z a multiple of 30?
True
Suppose -5*g = -2*f + 3355, 3*g - 526 = 2*f - 3883. Is f a multiple of 14?
True
Let k = 1042 + 43. Does 68 divide k?
False
Suppose 3*o + 3*i - 85 = 8*o, 2*i - 10 = o. Let f = 24 + o. Suppose f*t = -0*t + 432. Is t a multiple of 36?
True
Suppose 0 = 18*z - 15*z + 4*u - 1628, -3*u = 5*z - 2706. Is 30 a factor of z?
True
Let j(p) = -2*p**3 - 23*p**2 + 3*p - 3. Let r be j(-12). Let i = -64 + r. Is i a multiple of 33?
False
Let a(y) = 18*y - 41. Let f be a(13). Let s = f + -115. Is 7 a factor of s?
False
Let r be (-5)/15*-145 - (-2)/3. Let p = -7 - -5. Is 1141/r - p/(-7) a multiple of 5?
False
Let o(x) = x**2 + 6*x - 1. Let s be o(-6). Let c be s/(1/(-3) + 0). Suppose 216 = 5*n - c*n. Is n a multiple of 36?
True
Let o = 428 - 248. Is o a multiple of 30?
True
Suppose -15*s + 3168 = s. Is s a multiple of 30?
False
Let i = -4223 - -6393. Does 14 divide i?
True
Suppose 3*q - 878 = -2*u, -37 = -2*q + 3*u + 557. Does 14 divide q?
True
Is (-4)/10 + (7584/(-10))/(-1) a multiple of 60?
False
Suppose l + 30 = 219. Is 9 a factor of l?
True
Does 18 divide (-40)/(-3)*(-9072)/(-120)?
True
Does 16 divide -1 + -3 + (11 - -454 - -1)?
False
Let s be (-14)/(-7) - (-1 + 1). Let l be 1*s*3/3. Is 10 a factor of (-19 - 7)/(l/(-3))?
False
Let s(b) = b**2 + 7*b + 1. Let f(m) = -10*m**3 - m**2 - 2*m + 2. Let p be f(1). Is 8 a factor of s(p)?
False
Let g(w) = -212*w - 553. Is g(-7) a multiple of 49?
True
Suppose 0 = -2*b + 7 - 3. Suppose b*l = 2*g - 62, -33 = -g - 5*l - 8. Does 3 divide g?
True
Suppose 8*y = -2*y + 2200. Is y a multiple of 22?
True
Let w = 10 - 3. Let b = 12 - w. Suppose 5*k + 17 - 42 = 5*m, -25 = -b*m. Does 5 divide k?
True
Suppose 0 = -2*l + 208 - 964. Let m = -582 + l. Is 6/5*m/(-18) a multiple of 20?
False
Suppose 5*j + 25 = -0*j, 1585 = 3*y - 2*j. Does 15 divide y?
True
Let i be (21 + -12)*1/3. Suppose k = -2*n + 2*k + 216, 324 = i*n + 5*k. Is 36 a factor of n?
True
Does 40 divide 6236/6 + (-18)/(-27)?
True
Let i = -13 - -20. Suppose p + i = -2. Let n(j) = -j**3 - 9*j**2 - 6*j + 9. Does 14 divide n(p)?
False
Suppose 25*s - 24*s = -5*i + 937, 977 = s - 3*i. Is 13 a factor of s?
True
Suppose -193*c + 109*c + 483084 = 0. Does 27 divide c?
True
Let x = -750 - -1271. Is 7 a factor of x?
False
Suppose 0*s + 2*s + q + 58 = 0, 5*q = 0. Let a = s - -33. Suppose 42 = t - 2*b, b + b = a*t - 162. Is 16 a factor of t?
False
Suppose 9*a = 23*a - 854. Does 8 divide a?
False
Let q(t) = 12*t + 12. Let o(f) = -f. Let v(n) = 28*o(n) + 2*q(n). Does 16 divide v(-6)?
True
Let o(w) = 8*w**2 - 2*w + 12. Let q = -87 + 93. Is 24 a factor of o(q)?
True
Let f = -29 + 42. Let m = -11 + f. Is 7 a factor of m + (-12)/3 + 16?
True
Let f be 7 + -7 - (2 + -2). Suppose 0 = -5*k + 4*c + 161 + 337, c + 2 = f. Is k a multiple of 15?
False
Suppose 0*m = m + 17. Let z = -7 - m. Is z a multiple of 5?
True
Let a(n) be the third derivative of 23*n**6/20 + n**5/60 - n**4/24 - 12*n**2. Let m be a(1). Suppose -30*p + 27*p = -m. Is 14 a factor of p?
False
Does 32 divide 4026/14 - (-6)/14?
True
Let d be (-18)/(-5) - (-3)/(-5). Suppose j = d*j - 408. Suppose -j = -4*x - 44. Does 20 divide x?
True
Suppose 5*q + 2*m - 20 = 6*m, 4*q - 2*m = 16. Suppose 0 = 2*w + q*w - 270. Is 45 a factor of w?
True
Let o(d) = d + 7. Let n be o(-5). Suppose n*k + 3*k - 22 = z, z - 14 = -4*k. Suppose -2*y - r = -132, k*y - r - 217 = 47. Is 22 a factor of y?
True
Let x(q) = -q**3 - 26*q**2 + 96*q - 55. Is 19 a factor of x(-30)?
True
Suppose m - 5*d - 55 = 6*m, -4*d = -5*m - 10. Let v(a) = -a**3 - 4*a**2 + 8*a - 4. Is 4 a factor of v(m)?
True
Suppose 4*i - 8*i + 5*v + 309 = 0, -3*i - 2*v + 226 = 0. Is i a multiple of 3?
False
Suppose 3*u + 4*i - 139 - 179 = 0, -3*u = i - 309. Is u a multiple of 5?
False
Suppose 0 = 2*d + 2*z - 4376, -3*d + 86*z + 6584 = 85*z. Is 51 a factor of d?
True
Let r be 4/2 + -1*19. Let p = -9 - r. Let f(w) = 4*w - 8. Is f(p) a multiple of 8?
True
Let j = 2 - 2. Suppose j = c + 6 - 0. Is 31 a factor of c/(-9) + 546/18?
True
Let x = -1 + 0. Let v be (-2 + 0 - x) + 3. Is v/6 - 95/(-3) a multiple of 11?
False
Let o be 112/63 + 4/18. Suppose -4*i - 5*s - 267 = 0, 0 = 5*i - 4*i + o*s + 63. Let x = 127 + i. Does 15 divide x?
False
Suppose -20*a - 676 = -22*a. Is a a multiple of 26?
True
Let j(l) be the first derivative of 4*l**3/3 - 4*l - 11. Does 10 divide j(-3)?
False
Suppose -154 - 470 = -2*j. Is j a multiple of 6?
True
Suppose 1 = 7*c + 22. Let o be 1 + (-2 - 3 - c). Is 7 a factor of o - -4 - (-36 - 3)?
True
Suppose 3*q - 79 = l, 5 = -3*l - 2*l. Is q even?
True
Let b(k) = -28*k - 94. Is b(-4) a multiple of 2?
True
Suppose 4*n + 555 - 1667 = 0. Suppose -4*x + n = -146. Is 29 a factor of x?
False
Let f(v) = v**3 + 18*v**2 + 24*v + 16. Is 16 a factor of f(-16)?
True
Let i(t) = 6*t. Let s be (-11)/66 - 1/(-6). Let w be (-2 - s)/((-2)/9). Is i(w) a multiple of 18?
True
Let k = 643 + -346. Is k a multiple of 3?
True
Let r = -34 + 36. Let b(q) = -r + 0*q + q + q + 0*q. Does 12 divide b(13)?
True
Let f = -2367 + 3842. Does 12 divide f?
False
Let v = 199 - 149. Does 25 divide v?
True
Let q = -61 - -157. Suppose 0 = -5*l + 7*l - q. Is 8 a factor of l?
True
Is 33 + 5/20*12 a multiple of 12?
True
Let f(l) = -l**3 + 24*l**2 - 24*l + 30. Let d be f(23). Suppose 252 = d*v - v. Does 6 divide v?
True
Let a(r) = -r**3 + 13*r**2 - r + 31. Let w be a(13). Is 16 a factor of (3 + (25 - -4))/(2/w)?
True
Does 44 divide 8/16 + -3 - (-253)/2?
False
Suppose -78 - 854 = -4*m. Suppose -c + 87 = 2*q, 4*c = 5*q - m - 17. Is 46 a factor of q?
True
Suppose -92 = 6*b + 172. Let c = b + 184. Is c a multiple of 14?
True
Suppose h = 6*h + q - 15, -4*h = -2*q - 12. Suppose c = -h*v + 62, -c - 3*v + 133 = c. Is 17 a factor of c?
False
Let w = 3484 - 1541. Is w a multiple of 29?
True
Suppose 10*c = -3*c + 1027. Is c a multiple of 54?
False
Let p(q) = q**2 - 13*q - 15. Let z be p(11). Let n = -31 - z. Does 2 divide n?
True
Let c = -62 - -65. Suppose -143 = -2*q + c*z, z = 5*z + 4. Is q a multiple of 14?
True
Let x(y) = -y**3 + 6*y**2 + 9*y - 6. Let d be x(6). Is 22 a factor of 1*(115 - 2) + d/(-16)?
True
Suppose -3*n + 3*q + 23 = -2*n, -124 = -4*n - 4*q. Suppose 3*u = -2*r - n, r = 5*r + u + 43. Let t = r + 17. Does 3 divide t?
False
Suppose -2*h - 3*x = -1452, -3*h + 5*x + 1647 = -493. Is h a multiple of 36?
True
Let p(o) = o**2 - 3*o + 14. Is p(11) a multiple of 6?
True
Suppose 3*o = 3*y - 2247, 0 = -4*y - 29*o + 28*o + 2976. Does 2 divide y?
False
Let y = -92 - -95. Suppose 8*k + y*k - 1419 = 0. Is k a multiple of 15?
False
Let o(a) = -1722*a + 242. Is o(-2) a multiple of 97?
True
Let a = 44 - 6. Let u = a + -17. Is 4 a factor of u?
False
Let i = -5357 - -7943. Is 93 a factor of i