ple of 3?
True
Does 20 divide 4 + -2 - 5 - 63/(-1)?
True
Let m(d) = -d**3 + 6*d**2 + 9*d - 9. Let x be m(7). Suppose 2*w + 2*w - 16 = 3*z, -x*w = -20. Suppose z = 2*n + 2*n - 248. Is 18 a factor of n?
False
Suppose -n + a + 2722 = 4*a, -4*n = -4*a - 10888. Does 59 divide n?
False
Let r be (-241)/2*(-2 + 0 - 0). Suppose 4*j - 155 - 5 = 5*k, 5*j + 4*k - r = 0. Does 9 divide j?
True
Let t = 302 - -90. Is 8 a factor of t?
True
Suppose -3*i - 1682 = t - 6909, 0 = -4*i + 4*t + 6980. Does 21 divide i?
True
Suppose -4*o + 436 = -2*o + 5*x, o = 2*x + 200. Is o a multiple of 32?
False
Suppose 13*v - 24*v = -44. Suppose -5*q - 3*t + 22 = -31, 4*t + 36 = v*q. Does 6 divide q?
False
Let b = -6 + 1. Let f(o) = -5*o + 7. Let x be f(b). Let z = -3 + x. Is z a multiple of 7?
False
Let i be 6 - (-5)/5 - 2. Suppose 2*w + 2*t = 56, -3*w + 94 = w - i*t. Is w a multiple of 3?
False
Suppose 4*i - 5*f + 25 = 5*i, 0 = 3*f - 12. Suppose 4*g - i*a - 183 = 0, 4*a + 132 = 3*g + 2*a. Is g a multiple of 6?
True
Let v(z) be the first derivative of 9*z**2/2 + 24*z + 25. Is v(4) a multiple of 12?
True
Let c(d) = -240*d**2 + 3*d + 3. Let u be c(-1). Is 21 a factor of (-12)/18*(u/(-2))/(-1)?
False
Let j be 6/(-3) + (-3 - -3). Let d = j - -4. Suppose d*o + 2*o = 16. Does 4 divide o?
True
Suppose 4*x - 5*x = 860. Let z = -589 - x. Does 58 divide z?
False
Suppose -17 + 1 = -4*j. Suppose -5*i + 83 = 3*n - 47, 0 = -j*n - 4*i + 168. Suppose 0*g = -4*k + 3*g + n, -5*k + 2*g = -50. Is 8 a factor of k?
False
Suppose 2*c + 203 = 3*i, -3*i + 0*c = 4*c - 215. Suppose 2*l = -l + i. Let b = 32 - l. Is b a multiple of 4?
False
Let u(h) = h**3 + 7*h**2 + 2*h + 11. Let t be u(-7). Is 6 a factor of (4/16)/(t/(-276))?
False
Suppose -9 = 2*c - y, -c - 4*y + 3 = 2*c. Let o be 48/(-9)*(-3 + c). Let p = -17 + o. Does 5 divide p?
True
Suppose 0 = 4*p - 7*p + 216. Let l = p + -38. Let j = -22 + l. Does 12 divide j?
True
Let l = -11 + 10. Is 17 a factor of 82 - (0 - (4 + l))?
True
Is 9 a factor of (56/(-105))/4 - 21608/(-60)?
True
Suppose 0 = -6*m + 4*m + 48. Suppose -3*z - z + m = 0. Suppose -5*t - 10 = 0, -d - t + z = -10. Is 8 a factor of d?
False
Let w = 14 + -9. Suppose 27 + 188 = w*k. Is 20 a factor of k?
False
Let t = 11 - 4. Suppose -9*w + 460 = -t*w. Suppose -3*x - w = -5*x. Is x a multiple of 29?
False
Suppose 132 = -6*q - 0*q. Let n = q + 47. Is n a multiple of 3?
False
Let p = 759 - 452. Let c = p + -173. Is 23 a factor of c?
False
Suppose -4*o + 2169 = l, 5*o - 6*l + l - 2680 = 0. Does 5 divide o?
False
Let i be (3/2)/(3/1602). Suppose 59 - i = -7*o. Is o a multiple of 40?
False
Is (-28)/3*3042/(-91) a multiple of 24?
True
Let i be ((-798)/6)/(-2 + 3). Is 11 a factor of (-27)/45 - i/5?
False
Suppose -5*r = -2*i - 386, -2*r + 245 = 4*i + 81. Is 15 a factor of r?
False
Is (14994/(-35))/(13/(-65)) a multiple of 43?
False
Let m = 6 - 6. Suppose -3*c - 5*o + m*o + 40 = 0, -28 = -2*c - 3*o. Is 3 a factor of c + 2 + 0/(-3)?
False
Let i = 32 + -25. Let w(q) = 11*q - 23. Is w(i) a multiple of 9?
True
Suppose 2 = l, -3*l = -4*p + 153 + 273. Suppose -14*s = -12*s - p. Is 9 a factor of s?
True
Let i = -67 + 109. Suppose 2*b = 4*p - 62, 0*b + i = 3*p - 3*b. Is 17 a factor of p?
True
Let c be (1/(3 + -4))/(-1). Let i be c + -1 + (-2 - -5). Suppose -3*u - s + 105 = 0, u - 138 = -i*u - 2*s. Is 21 a factor of u?
False
Let n(s) = -s**3 + 6*s**2 + 11*s + 5. Let r = 83 + -78. Is 17 a factor of n(r)?
True
Let j = 79 - 85. Is 22 a factor of -4 - (18/j + 39*-1)?
False
Suppose -2*d = i + i - 646, 5*i + 4*d - 1612 = 0. Is i a multiple of 20?
True
Suppose -3*g - 7 = -2*r - 24, 5*r - 25 = 0. Let c = 21 + g. Let q = c - 21. Does 3 divide q?
True
Let f = 44 - 50. Is 10 a factor of (((-20)/f)/(-2))/(2/(-36))?
True
Suppose -2 = z - 4. Suppose 0 = -z*u + 122 + 478. Is u a multiple of 20?
True
Let n(k) = 4 + 3 - 7 - k. Let a be n(-1). Is ((-330)/(-77))/(a/7) a multiple of 5?
True
Suppose -4*f - 8 = -3*b + 5*b, -2*b + 5*f = -19. Is 12 a factor of (-16)/12*(b - 11)?
True
Let i(p) = -2877*p**3 + 14*p + 13. Is i(-1) a multiple of 42?
False
Let m(y) = y**3 - 10*y**2 + 11*y - 4. Let u be m(9). Suppose 9*z = 8*z + u. Is 6 a factor of (4/5)/(z/105)?
True
Let w(h) be the second derivative of h**5/20 - h**4/4 - 7*h**3/6 + h**2/2 + 6*h. Let d(z) = 4*z + 1. Let n be d(1). Is 8 a factor of w(n)?
True
Suppose -3*a + 3 = 0, -5*p - 3*a = a - 329. Is 2 a factor of p?
False
Let g(s) = -2*s**3 + 49*s**2 - 9*s - 6. Is g(24) a multiple of 11?
False
Let v = 188 + -146. Is 7 a factor of v?
True
Suppose -4*h + 3*r - 5*r + 180 = 0, -h = 5*r - 54. Is h a multiple of 11?
True
Suppose 1 + 3 = 2*l. Suppose 0 = -4*z - 3*y + 12, 0 = -z - l*z - 2*y + 9. Suppose -z*b + b = 5*t - 28, 2*t = 5*b + 17. Is t a multiple of 3?
True
Suppose l = 4*x - 300, 3*x + 0*l = l + 224. Let h = x + -56. Does 4 divide h?
True
Suppose k + 2 - 7 = 0. Suppose 0 = k*x - 62 + 17. Suppose 3*f + 324 = x*f. Is f a multiple of 23?
False
Let w(s) = s**2 - 13*s + 5. Let q(y) = -7*y + 2. Let u(x) = -7*q(x) + 4*w(x). Is 14 a factor of u(-6)?
True
Suppose 146*v = 157*v - 781. Is v a multiple of 27?
False
Let t(d) = -3*d - 20. Let m = 35 - 45. Is t(m) a multiple of 9?
False
Let q(u) = -7 + 81*u**2 - 77*u**2 + 2 - u. Is q(3) a multiple of 28?
True
Suppose 141 = 3*m - 294. Let d(z) = -3*z**2 - 24*z - 106. Let j be d(-7). Let r = j + m. Is r a multiple of 15?
True
Let p(w) be the third derivative of -w**4/6 - 3*w**3 + w**2. Let r(q) = -q - 3. Let s be r(5). Is p(s) a multiple of 5?
False
Let f be (-2)/6 - (-28)/(-6). Let l(j) = 2*j + 6. Let s be l(f). Is (-1174)/(-18) + s/18 a multiple of 25?
False
Suppose 1837 = 9*r + 262. Is 25 a factor of r?
True
Let m(i) = -2*i - 13. Let u be m(0). Let o(k) = k**2 + 10*k + 11. Is 11 a factor of o(u)?
False
Let t be (-31)/(14/4 - 3). Let d = 95 + t. Does 2 divide (d/(-22))/(6/(-28))?
False
Let p(q) = 2*q**2 + 5*q - 1. Let u = 22 - 16. Let f be 3*2/(u/(-5)). Does 6 divide p(f)?
True
Let w(k) = -46*k - 3. Let a(s) = -45*s - 2. Let y(g) = 5*a(g) - 4*w(g). Does 8 divide y(-1)?
False
Is 144/2*11/((-44)/(-8)) a multiple of 64?
False
Let u(i) = 16*i - 72. Suppose -4*h = -4*g - 0*h + 36, -5*h = 0. Is u(g) a multiple of 36?
True
Let g(p) = -2*p + 20. Let m be g(8). Suppose 0 = 3*u + 6, -4*v + 65 = -m*u - 147. Does 6 divide v?
False
Suppose 0 = 16*n - 19*n - 384. Let r = -58 - n. Is 14 a factor of r?
True
Let r(k) = -28*k**3 + 2*k - 1. Let a(p) = p**2 + 3*p + 1. Let j be a(-3). Let t be r(j). Let b = 28 - t. Is 17 a factor of b?
False
Let l = 133 - 75. Is 2 a factor of l?
True
Let q be (2 - 0)*12/1. Suppose 4*f - q = -0*f. Does 4 divide f?
False
Suppose -1444 = 9*l - 13*l. Is 21 a factor of l?
False
Suppose -4*b - w - 5 = 3, -5*b + 2*w - 23 = 0. Let n = 33 + b. Is n a multiple of 5?
True
Suppose -5*u = 4*f + f - 3650, 0 = 3*u - 3*f - 2190. Is u a multiple of 50?
False
Let m(l) = 2*l - 13. Let o be m(6). Let q be 27*(2 + 0 + o). Is 12 a factor of 1290/q + (-4)/(-18)?
True
Suppose -10 = -2*k + 2*y - y, 0 = -2*k - 4*y + 10. Suppose 5*g - 108 = 12. Suppose k*q - 4*p - 25 = g, 40 = 4*q - 4*p. Is q a multiple of 4?
False
Let l = -315 + 324. Is l a multiple of 3?
True
Suppose -35*g + 2 = -34*g. Suppose 0 = g*y + y - 672. Is y a multiple of 38?
False
Suppose -9*r + 15 = -4*r. Let q be (r + 3 + -5)*20. Suppose 0 = 3*n + n - q. Is 5 a factor of n?
True
Let p be (258/(-8))/(5/(-100)). Suppose 5*q = -3*o + 2*o + 150, 5*o + 4*q - p = 0. Is o a multiple of 11?
False
Let w = -9189 + 12976. Does 19 divide w?
False
Suppose -3*j + 1 - 10 = 0. Is 19 a factor of ((-33)/j)/(2/38)?
True
Let r = 0 - 81. Let g = 152 + r. Is 19 a factor of g?
False
Suppose 7*w + 3*w = -40. Is 270/w*((-130)/15 + 6) a multiple of 45?
True
Let l = 8 - 15. Let v(m) = m - 4. Let o be v(l). Let q(x) = x**2 + 11*x + 12. Is 5 a factor of q(o)?
False
Let q be 4/3 - 992/24. Does 5 divide q/(-1) - (-6)/(-3)?
False
Suppose 0 = 4*a - 4*h - 168, 9 = -2*a + h + 93. Suppose -o - 6*o = -a. Is 4 a factor of o?
False
Suppose 3 = -4*v - 5. Let y be (-40)/(-4) + v + -3. Suppose 2*l + 4*n = 28, 28 = 2*l - 2*n + y*n. Does 14 divide l?
True
Suppose -8 - 107 = -4*z - q, -3*q + 75 = 3*z. Let g = z - -8. Is g a multiple of 25?
False
Suppose -3*y + 1785 = 2*u, -28*u + 26*u = -2*y - 1780. Is u a multiple of 11?
True
Suppose -2*p + 