a factor of z(3)?
True
Suppose -7*h - 18 = -8*h. Is h a multiple of 9?
True
Let k = 9 + -4. Is k even?
False
Suppose 5*q + 5*b - 90 = 0, -2*q + 3*q + 3*b = 10. Is 19 a factor of q?
False
Is 7 a factor of 0/3 - (-3 - 152)?
False
Let m(x) be the first derivative of -14*x**2 - 3. Let w be m(-1). Let s = -16 + w. Does 12 divide s?
True
Is 13 a factor of ((-3)/1)/((-6)/156)?
True
Let w = 53 - -7. Is w a multiple of 12?
True
Let r(u) be the third derivative of 0 - u**2 + 0*u - 7/24*u**4 + 1/2*u**3. Is r(-3) a multiple of 12?
True
Suppose 0 = q - 3*q - 2*u + 12, 3*q + u - 20 = 0. Does 7 divide q - -1 - (-3)/(-3)?
True
Let t = 5 - 6. Is 2 a factor of -1 - t - 0 - -4?
True
Suppose 0 = 10*d - 11*d + 14. Does 5 divide d?
False
Let l = -182 + 262. Suppose 0*u - l = -5*u. Does 5 divide u?
False
Let v(f) = -f**3 + 3*f**2 - f + 6. Let c be v(3). Suppose 0 = 2*h - c*h + 36. Is h a multiple of 5?
False
Let o(k) = 4*k - 2. Let f be o(1). Let z be 618/5 + (-2)/(-5). Suppose 2*u + f*u = z. Is 17 a factor of u?
False
Let w(o) = -o**2 + 9*o - 11. Let u be w(8). Is 14 a factor of (u - (-31 - 0)) + 0?
True
Let b(t) = 28*t + 13. Does 9 divide b(3)?
False
Let g = 3 - 2. Let p be (g - -16)*(0 + 1). Suppose 2*o + 5 - p = 0. Is o a multiple of 6?
True
Let w = 53 + -92. Let y = -24 - w. Is y a multiple of 7?
False
Suppose -1750 = 5*a - 10*a. Is a a multiple of 35?
True
Let o(b) = 2*b**2 + 4*b + 18. Is o(-10) a multiple of 37?
False
Let q be 54/15 - (-3)/(-5). Suppose -2*a + q*p + 18 = 0, -5*a - p + 5 = -57. Is 12 a factor of a?
True
Suppose -5*w - 90 = -525. Is 16 a factor of w?
False
Let g(v) = -v**3 + 7*v**2 + 4*v - 1. Let m be g(4). Let i be (4/(-6))/((-3)/m). Let y = 22 - i. Does 3 divide y?
False
Suppose -y + 81 = 4*j, -8*y = 5*j - 13*y - 70. Does 4 divide j?
False
Suppose 0*u + 175 = 5*u. Suppose -4*s + s + u = -5*t, 5*s - 33 = 2*t. Let d(z) = -5*z - 6. Is 7 a factor of d(t)?
True
Let p = 8 + -5. Suppose l - r - 13 = 0, 2*l = p*l + 2*r - 19. Is 123/5 + (-9)/l a multiple of 12?
True
Suppose -3*c + 81 = -93. Is 14 a factor of c?
False
Let t = 45 + -39. Is 2 a factor of t?
True
Suppose 1 = -2*l + 9. Suppose 11 = -g + 3*z + 41, -3*g - l*z + 38 = 0. Is g a multiple of 6?
True
Is ((-8 - -4) + 8)*10 a multiple of 6?
False
Does 6 divide 0/(-5) + (54 - 1)?
False
Let h(q) = 3 - q**3 + 4*q - 2*q**2 + 2*q**2. Let o be h(-2). Suppose o*f - 2*g = -6*g + 124, -f + 4*g = -52. Is 21 a factor of f?
False
Let j be 40/(-18) + (-6)/(-27). Does 17 divide 4/(8/66) + j?
False
Suppose -z + 5*n + 3 = -43, -36 = -z + 3*n. Suppose 2*b + 5*c - z = 0, 4*b - c + 0*c = 75. Is -2*1 + 0 + b a multiple of 8?
True
Let n be (8/5)/((-3)/(-45)). Let j = n + 19. Is 21 a factor of j?
False
Let f(y) = -y**2 - y - 3. Let w be f(0). Let n = w + 8. Is 5 a factor of n?
True
Suppose u = 5 - 0. Let v = -3 + u. Is (-25)/(-2) - v/4 a multiple of 12?
True
Let w = -40 - -80. Is w a multiple of 37?
False
Suppose -37 = 4*v + 6*z - 3*z, 0 = 5*z - 5. Let u(n) = -n**2 - 15*n - 5. Is u(v) a multiple of 12?
False
Suppose -4*r = -2*a - 112, -102 = -4*r + 4*a + 14. Is r a multiple of 9?
True
Suppose -4*i - 35 = -2*t + 173, -3*i = 5*t + 169. Let k = i + 78. Suppose v = k - 9. Is v a multiple of 15?
False
Let k = 24 - 16. Let n = k + -5. Is n even?
False
Does 39 divide (-44)/((-6)/99*3)?
False
Let p(o) = -16*o + 1. Let v be p(-2). Let u = v + -89. Let w = u - -82. Is 13 a factor of w?
True
Let q(t) = t**3 - 5*t**2 + 2*t - 4. Suppose 4*k + 15 = 7*k. Is q(k) even?
True
Suppose 2*w + 4*y - 24 = 0, -w + 13 = 5*y - 8. Is 2 a factor of w?
True
Let a = 43 - 3. Does 20 divide a?
True
Let m(c) = c**2 + c + 1. Is 13 a factor of m(-4)?
True
Let s = -3 + 4. Does 15 divide s + 17/(2 + -1)?
False
Suppose -163 = -q + 13. Is 8 a factor of q?
True
Let g be (-3)/(1/1 - 2). Let p(l) = -l**2 + 2*l + 2. Let s(t) = t**2 - 3*t - 2. Let m(b) = -3*p(b) - 2*s(b). Is 2 a factor of m(g)?
False
Suppose 4*h - 4*n - 128 = 0, -3*h + 4*n + n = -90. Is h a multiple of 11?
False
Suppose -3*j - 4*r = -1030, 3*r + 20 = -r. Does 50 divide j?
True
Let d = 3 + 0. Suppose 0 = -2*m - d*m - 15. Let g(a) = -2*a + 2. Is 8 a factor of g(m)?
True
Let j(i) be the first derivative of 4*i - 5/2*i**2 + 2 - 1/3*i**3. Is j(-4) a multiple of 8?
True
Suppose -n - 6 = -4*k, -5*k + n = -3*n - 13. Let f be 3 - 1*(-1)/k. Suppose 4*g = -w + 71, -f*w = -3*g - 2*w + 45. Does 17 divide g?
True
Does 6 divide (-4)/(-6) + (-136)/(-12)?
True
Is 1/(((-3)/(-87))/1) a multiple of 18?
False
Suppose z + 0*x - 32 = -4*x, -5*x - 181 = -3*z. Does 7 divide z?
False
Suppose 0 = -5*w - 0*w. Suppose -2*b + w*a + 2*a = -62, -b - 5*a = -31. Is 12 a factor of b?
False
Suppose d - 95 = -4*d. Is 12 a factor of d?
False
Let g = -22 - -97. Is g a multiple of 15?
True
Let o = -4 + 3. Let c be (-21)/(-5) + (-48)/(-60). Let b = o + c. Is 4 a factor of b?
True
Let x(w) = -w + 22. Is x(7) a multiple of 4?
False
Let a(i) = 5*i + 1. Let p be a(3). Let m = 21 - p. Does 3 divide m?
False
Suppose 0 = 4*v - 7*v - q + 131, 0 = -2*v - q + 86. Is 9 a factor of v?
True
Let y(a) = -3*a**3 - a**2 - 11*a + 9. Let u(b) = -4*b**3 - 2*b**2 - 16*b + 13. Let n(p) = 5*u(p) - 7*y(p). Is 2 a factor of n(4)?
True
Let y(l) = -3*l - 10. Let o be y(-5). Suppose o*m - 182 = -42. Is 14 a factor of m?
True
Suppose t - 15 = -2*t. Suppose -5*a + d + 2*d = -20, -a + 26 = -t*d. Is 3*a/3*13 a multiple of 6?
False
Let b(q) = 42*q**2 + 3*q - 6. Does 24 divide b(2)?
True
Suppose 4*l = -0*l + 16. Let i = -5 - -16. Suppose 3*f + 4*o - 56 = 0, 0 = 4*f - l*o - 95 + i. Is f a multiple of 10?
True
Let l = 12 + -9. Suppose -l*b + 6*b - 117 = 0. Is b a multiple of 13?
True
Let z = -4 - -7. Is 7 a factor of 2/1 - (-30)/z?
False
Let x = -2 + 3. Let l(h) = -2*h**3 - h**2 + 1. Let f be l(x). Does 13 divide f/4 - (-106)/4?
True
Let k(s) = s**2 + 4*s + 5. Let c be k(-4). Suppose -5*u + 84 = c*z - 71, -5*z - 3*u = -157. Is 16 a factor of z?
True
Suppose -2*c - 3*c = -300. Is 16 a factor of c?
False
Let k = 427 + -267. Does 20 divide k?
True
Let r = -1 - -1. Let c(s) = s**3 - 10*s**2 - 10*s + 5. Let d be c(11). Suppose 3*y - 17 = -2*p + d, r = -3*p + 4*y + 41. Is p a multiple of 15?
True
Suppose 3*w + 20 = g - 56, 340 = 4*g - 3*w. Does 9 divide g?
False
Let q be 0*(-3)/(-18)*2. Suppose 6*b - b - 170 = q. Suppose -2*f = -b - 26. Does 15 divide f?
True
Suppose 8*l - 3*l = x + 2, 0 = -5*x - l + 16. Suppose -x*q - 2*q = -b - 5, 2*b - 2*q + 2 = 0. Suppose b*s - 64 = -2*s. Does 9 divide s?
False
Let m(y) = y**3 + 7*y**2 + 1. Let i be m(-7). Let l = 4 + i. Let z = 1 + l. Is 3 a factor of z?
True
Let b(h) = -h**2 + 2*h + 481. Is b(0) a multiple of 37?
True
Let i = -129 + 254. Is 25 a factor of i?
True
Let l(c) = c**2 - 6*c - 5. Is 2 a factor of l(8)?
False
Let j = 44 - 17. Suppose -2*f - 11 = -j. Is 5 a factor of f?
False
Suppose -2*s + 3*o + 10 = 0, -2*o = 2*s + 3*o - 10. Let r(u) = 19*u**2 + 1. Let h be r(-1). Let g = h - s. Does 5 divide g?
True
Suppose -4*f = -3*u - 17, 6*u = -f + 2*u - 10. Suppose j + 32 = f*l, -2*j - 3*j + 32 = 2*l. Let q = 54 - l. Is q a multiple of 12?
False
Let c = -1 - -3. Suppose u + c = p + 5*u, 5*p = -u + 48. Suppose -r = -34 + p. Does 12 divide r?
True
Let m be (-2)/7 + 185/35. Suppose 0*d = -d + m. Does 4 divide d?
False
Let g = -8 + 10. Let u be (-3 - 38/(-4))*g. Suppose -3*k = u - 112. Is 11 a factor of k?
True
Suppose -2*n = -4*n. Suppose 3*c - 165 = -2*c + 3*t, n = 3*t + 15. Does 15 divide c?
True
Suppose -2*i - 12 - 16 = -5*l, -1 = -i. Let j be 4/6 - (-20)/l. Let o(t) = -t**3 + 5*t**2 - 4*t + 6. Does 4 divide o(j)?
False
Let c be (-3)/(-3 + (-6)/(-4)). Is (12/30)/(c/120) a multiple of 12?
True
Suppose -2*w = m - 11, 0*m - 3*m = -3*w - 51. Is m a multiple of 2?
False
Let y(t) be the first derivative of 0*t + 1/3*t**3 + 2 - 1/2*t**2. Is 15 a factor of y(6)?
True
Let z(r) = -r**3 - 8*r**2 + 8*r - 11. Let g be z(-9). Let m be 3 + (g - 2*-1). Suppose -4*c - 3*b = -6*b - 65, -2*c + m*b + 37 = 0. Does 14 divide c?
True
Suppose -5*q - 2*r = -306, -2*r + 52 = q + 3*r. Let x = q - 88. Let d = x + 44. Is 9 a factor of d?
True
Suppose 7*a - 2*a = 0. Suppose a = -2*s - 14 + 52. Is s a multiple of 11?
False
Let o(s) = -s - 3. Let p be o(-7). Suppose f = 4*f + i - 5, -i + 5 = -p*f. Suppose -5*b - 6 + 71 = f. Is b a multiple of 10?
False
Let v(a) = -6