 Suppose 42 = 3*a - u. Is 7 a factor of a?
False
Suppose 0*q + 108 = 4*f + 5*q, -114 = -5*f - q. Is f a multiple of 11?
True
Suppose 0*w = 3*w - 66. Is w a multiple of 3?
False
Does 4 divide 3/(-5) + 882/45?
False
Suppose 0 = -t + q - 2*q - 1, 4*q + 6 = -3*t. Is 2 a factor of (7/t)/(9/18)?
False
Suppose -3*s + 0 + 9 = 0. Suppose s*d = -31 + 85. Is d a multiple of 5?
False
Let m be 6*(10/4 + 1). Let h = m + -10. Is 11 a factor of h?
True
Suppose -3*z = -2*i - z - 2, -i - 2*z + 11 = 0. Suppose 0 = -l + i*l - 12. Is l even?
True
Let b = 4 + 21. Does 5 divide b?
True
Suppose -5*s = -5 - 15. Suppose -s*z - 10 = -38. Is 5 a factor of z?
False
Let a = -8 - -13. Suppose 0 = -a*k + 4*q + 267, -q = 5*k - 4*q - 264. Does 16 divide k?
False
Let b(q) = -q**3 - 8*q**2 + 8*q + 7. Let o be b(-9). Let u = 12 + -3. Let d = o - u. Is 7 a factor of d?
True
Let n = 35 + -22. Does 13 divide n?
True
Let d = -73 - -136. Suppose 0 = -4*w - 4, -d = -3*j + w + 1. Is 21 a factor of j?
True
Suppose 2*b = -b. Suppose 3 = i - b*i. Suppose i*s + 17 = 71. Does 9 divide s?
True
Let z be (-18)/2*4/(-6). Let n(j) = 5*j + 8. Does 19 divide n(z)?
True
Suppose 0 = -5*y + 8*y - 525. Suppose 3*a - y = -31. Is 15 a factor of a?
False
Suppose 7*d + 690 = 10*d. Is 46 a factor of d?
True
Suppose 0 = -13*l + 16*l - 912. Does 29 divide l?
False
Let s = -226 + 447. Suppose -3*m + 136 = y, 0*m - 5*m + 4*y = -s. Does 14 divide m?
False
Let i = -2 - -20. Is 18 a factor of i?
True
Suppose 3*j + 0 = -18. Is (-8)/(1/j + 0) a multiple of 12?
True
Suppose 2*i + 74 = 4*i. Does 20 divide i?
False
Let y(r) = -32*r + 5. Let t(h) = 11*h - 2. Let c(z) = 11*t(z) + 4*y(z). Is 5 a factor of c(-1)?
True
Does 32 divide (-1)/(((-6)/(-1220)*5)/(-3))?
False
Let t = 8 - 12. Let u = t - -11. Is u a multiple of 3?
False
Does 10 divide -2 - (-13)/((-52)/(-888))?
True
Let k(h) be the first derivative of -2*h**2 + 5/3*h**3 + 3*h + 2. Is 18 a factor of k(3)?
True
Let b = -99 - -209. Does 10 divide b?
True
Suppose 4*i = -w - 11, 0 = 4*w + 2*i - 20 - 6. Suppose -4*b + w*b - 10 = 0. Is (-35)/b*8/(-10) a multiple of 14?
True
Let q(x) be the third derivative of x**5/60 - x**4/4 + x**3/6 + 2*x**2. Let c be q(5). Does 6 divide (c/10)/(2/(-60))?
True
Let k be 88/55*470/4. Suppose 3*d = -2*z - 2*z + k, -3*d + z = -163. Is d a multiple of 28?
True
Suppose -3*y + 7*y = -232. Let r = y + 98. Does 14 divide r?
False
Let h(i) = i**3 + i**2 - 4*i + 1. Let t be h(-3). Let b(j) = j**3 + 6*j**2 - 5*j + 6. Is 17 a factor of b(t)?
False
Suppose 61 = 5*y - 104. Suppose -2*c + y = -23. Does 14 divide c?
True
Let l = -9 + 13. Let h = -31 - -61. Suppose -2*i - h = -l*i. Does 8 divide i?
False
Let l = -64 + 96. Does 8 divide l?
True
Let b(n) = n**2 + 6*n - 9. Let s be b(-8). Suppose -2*u + 12 = -d, -2*d - s*u = -4*u + 45. Let l = 58 + d. Is l a multiple of 19?
False
Let m = 3 + -3. Let g be 3/2*2 - m. Suppose -5*j = -p - 78, -g*j - p = 2*j - 72. Is 9 a factor of j?
False
Let t = 4 + -4. Let d be (-2)/(-4)*(t + 0). Does 21 divide (d - -3)/((-6)/(-56))?
False
Suppose 0 = 4*m - 3*s - 9, 0 = 5*s - 0*s - 5. Suppose -69 = -3*l + 3*z, -m*l + 2*z - 3*z = -57. Let o = 2 + l. Is o a multiple of 20?
False
Does 12 divide (-22 - -10)*1*-1?
True
Let u(p) = -p**2 + 4*p. Let m be u(3). Suppose 4*n = m*c + 25, 4*c = 3*n - c - 27. Does 4 divide n?
True
Suppose 56*z = 54*z + 38. Is 3 a factor of z?
False
Let r(b) = -2*b**2 + 16*b - 10. Let i(t) = t**2 - 8*t + 5. Let n(v) = -5*i(v) - 2*r(v). Is 7 a factor of n(6)?
True
Let k = -3 + 6. Suppose -f - k = r, -5*f - 5*r + 3*r - 6 = 0. Let l = f + 18. Is 7 a factor of l?
False
Let b(v) be the second derivative of -v**3/6 - v**2 - 2*v. Is 3 a factor of b(-5)?
True
Suppose -3*q = g + 22, -5*q = 4*g + 66 - 6. Let h = -3 - g. Is 3 a factor of h?
False
Suppose -4*u + 6*u = 188. Let n = 13 + u. Suppose -t + 106 = 4*t - x, 5*t - n = 2*x. Does 21 divide t?
True
Let v(o) = 4*o**2 - 3*o + 4. Let c(h) = -1. Let j(q) = 2*c(q) + v(q). Does 12 divide j(2)?
True
Let a(d) = -2*d**3 + 6*d**2 - 11*d - 5. Let c(r) = r**3 - 3*r**2 + 6*r + 3. Suppose 0 = -2*b + 4 - 12. Let m(s) = b*a(s) - 7*c(s). Is m(4) a multiple of 11?
False
Let g(n) = -2 - 3*n + 0 - n**2 + 3*n**2 + 1. Does 15 divide g(-4)?
False
Let o(t) = t - 1. Let g be o(3). Suppose 5*h - 2*n + 10 = 0, g*n + 25 = h + 7*n. Let a = h - -3. Does 3 divide a?
True
Let s = 41 + -18. Does 14 divide s?
False
Let f(x) = x**3 - x**2 - 3*x + 1. Let s(m) = m + 3. Let d be s(-4). Let w be (d - 2)/((-1)/1). Is 10 a factor of f(w)?
True
Suppose -12*w + 2258 = 434. Is w a multiple of 7?
False
Let s = 27 + -19. Does 4 divide s?
True
Suppose 7*m - 12*m + 645 = 0. Is m a multiple of 6?
False
Let z(u) = 3*u**3 + 5*u**2 - 6*u + 13. Let l(r) = 8*r**3 + 16*r**2 - 17*r + 38. Let t(p) = 4*l(p) - 11*z(p). Does 19 divide t(8)?
True
Let b(d) = -3*d**3 + 3*d - 5. Let h(i) be the second derivative of -i**5/4 + i**3 - 9*i**2/2 + 2*i. Let w(a) = -7*b(a) + 4*h(a). Does 10 divide w(2)?
False
Let p be 16/3 - (-3)/(-9). Suppose p*b = 5*r - 115, -r = -4*b + 5*b - 21. Is 11 a factor of r?
True
Suppose x = 2*m + 25, x - m = -0*x + 23. Is 21 a factor of x?
True
Suppose -5*n - 10 = 0, 2*x + 0*n = n + 14. Let r = x + -21. Is -1*(3 - 2) - r a multiple of 7?
True
Suppose 135 + 99 = 4*c - 2*f, -c + 60 = -2*f. Does 27 divide c?
False
Is 6 a factor of 0 + -2 - -3*(-74)/(-6)?
False
Let a be 3 + (-5)/(5/(-2)). Suppose a*y + 3*c = 70, 54 = -0*y + 2*y - 4*c. Does 6 divide y?
False
Let t be (-1 + 10)*(-3 + 0). Let x = 45 + t. Is x a multiple of 6?
True
Suppose 2*l - 3*l + 165 = 0. Is 33 a factor of l?
True
Let r(n) = n**3 - 7*n**2 + 7*n. Let o be r(6). Let q be (-5)/(-10) + o/4. Suppose 4*u = 5*f - 76, 2*u = q*f + f - 46. Is f a multiple of 12?
False
Suppose 9 = -0*l + 3*l. Suppose -l*b - 6 = -b. Let i = b + 6. Is i a multiple of 3?
True
Let j(c) = 81 - 28 - 27 - 24 + c**2. Suppose 5*p - 9 = 1. Is 2 a factor of j(p)?
True
Suppose -m = -3 - 1. Let v be (-237)/27 - m/18. Let c(q) = -q**2 - 12*q + 12. Is 16 a factor of c(v)?
False
Let c(w) = w**2 - 2*w + 3. Let r be c(2). Suppose 3*f = -r*t + 63, -4*t + 2*f + 79 = 5*f. Let d = -6 + t. Does 6 divide d?
False
Let c be (-2)/(-1) - 5 - -14. Suppose v - s - 16 = -5*s, -s + c = 2*v. Let b(j) = j + 4. Does 8 divide b(v)?
True
Let l = 14 - 4. Does 3 divide l?
False
Let d(i) = 9*i + 91. Does 7 divide d(-7)?
True
Let n = 165 + -73. Let j = n + -54. Is 19 a factor of j?
True
Let a be (768/(-20))/((-6)/(-20)). Let l = a - -182. Is l a multiple of 18?
True
Is 4 a factor of -1*(-6)/(30/25)?
False
Let s be (-19)/(-6) - (-2)/(-12). Suppose s*p - 15 + 0 = 0. Suppose p*g - 3*u - 77 = 0, -36 = -2*g - 7*u + 3*u. Is 8 a factor of g?
True
Let y = -41 - -80. Does 13 divide y?
True
Let a = 41 + -7. Let r = 52 - a. Let x = r + 33. Is x a multiple of 14?
False
Suppose 0*y - y - 69 = 0. Let l = -39 - y. Is l a multiple of 8?
False
Let x = 24 + -21. Is x a multiple of 2?
False
Suppose h = p + 8 + 6, 32 = 2*h - 3*p. Does 10 divide h?
True
Let w(v) = 14*v. Let o(z) = 9*z. Let c be o(1). Let a be w(c). Suppose -5*n + 2*n + a = 0. Is 12 a factor of n?
False
Suppose 0 = -3*f - 3*u + 399, u + 654 = 3*f + 243. Is 32 a factor of f?
False
Let n(h) = h**3 + h**2 - h + 65. Is n(0) a multiple of 3?
False
Let g(a) = a**3 + 6*a**2 - 8*a - 5. Let i be g(-7). Suppose i*n - 74 = 5*u - 2*u, 3*n + 3*u = 111. Is n a multiple of 10?
False
Let v(z) = 2*z**2 - z + 5. Does 14 divide v(5)?
False
Let c(d) = 20*d**2 + d + 3. Is 9 a factor of c(-2)?
True
Let a = 73 - 25. Let u(x) = x**3 + 7*x**2 + 4*x + 3. Let g be u(-5). Suppose -4*o + 36 = 4*w, 4*w = 5*o + a + g. Is w a multiple of 5?
False
Let u(g) = 9*g + 5. Let c = -12 - -29. Suppose -3*d + c = t, 2*t = -3*d - 2*d + 30. Is u(d) a multiple of 15?
False
Suppose 5*d - 385 = 2*d - 5*l, d + l = 127. Is d a multiple of 11?
False
Let d(b) = b**3 + 11*b**2 + 25*b + 6. Does 12 divide d(-7)?
False
Let g = -26 + 30. Let x(m) = -5*m + 1. Let a be x(-5). Suppose g*b - 74 = -a. Is 12 a factor of b?
True
Suppose 3*t = -11 + 641. Is t a multiple of 12?
False
Let h be (-1 + -17)/((-4)/10). Let b = 71 - h. Is 23 a factor of b?
False
Let c(q) = q**3 - q**2 - q + 20. Let l be 1/1*(-1 - -1). Let s be l - (-1 + (0 - -1)). Is 10 a factor of c(s)?
True
Let a(y) = 2*y. Let g be a(-1). Let s = -19 - g. Let 