a multiple of 12?
False
Let h = -25 - -17. Let b(w) = w + 5. Let f be b(h). Is (f + -7)/((-2)/8) a multiple of 20?
True
Let d(l) = -l**3 + l + 2. Let w be d(0). Suppose w*g = -3*g. Suppose -4*f - 1 + 33 = g. Does 7 divide f?
False
Suppose -3*c - 12 = 5*g, c - g + 4 = -3*g. Let k be 2 + 6 + c/2. Suppose -15 = -5*v, 0 - k = -u + v. Does 4 divide u?
False
Suppose 25 = 5*q, 2*q = -2*y - q + 23. Let h(i) = -4*i**3 + 0*i - 5*i - 2*i**2 + 3*i + 5*i**3. Does 12 divide h(y)?
True
Suppose 5*n = 2*v + 664, 0 = -3*n + 5*n + v - 262. Does 6 divide n?
True
Let s(w) = 35*w**3 - w**2 + 2*w - 1. Does 8 divide s(1)?
False
Let a = 5 - 4. Let y be ((-3)/9)/(a/3). Is 20 a factor of y - (2 - 36) - 1?
False
Let j(c) = 22*c**2 - 3*c + 2. Is j(-2) a multiple of 16?
True
Let i(c) = 3*c - 1. Suppose 3*h - 34 = -7. Is 13 a factor of i(h)?
True
Let k(o) = -o**2 - 18*o - 10. Does 5 divide k(-4)?
False
Suppose -3*f = -5*f - 10. Let u = 3 + f. Let k(c) = -c**3 + 2*c**2. Is k(u) a multiple of 8?
True
Suppose 0 = 3*q - 5*o - 5, -4*o = -q - 2*q + 4. Suppose b + 4*b - 50 = 0. Suppose 2*d - b = -q*d. Does 5 divide d?
True
Suppose -4*y = y - 20. Suppose 3*u = 2*p + 5*u - 82, 4*p - 164 = y*u. Does 17 divide p?
False
Let c(f) = f**3 - 9*f**2 + 12*f - 5. Let a be c(8). Is 6/a - (-196)/9 a multiple of 8?
False
Let s(q) = -q**3 + 8*q**2 - 3*q - 4. Let x be s(6). Let y = x + -30. Does 10 divide y?
True
Suppose 0 = 4*g - 40 + 8. Is g a multiple of 6?
False
Let u(s) = -s**2 + 4*s**2 + 0*s**2 + s**3 - 2 - 2*s. Let c be u(-3). Suppose 2*g - 54 = -6*n + n, 0 = -g - c*n + 33. Is g a multiple of 12?
False
Let z be (-18)/(-3)*1/2. Is 207/6 - z/6 a multiple of 17?
True
Suppose -4*l + 8 = 5*b - 8, 2*l - 4*b - 34 = 0. Let c(p) = 4*p - 11. Is 7 a factor of c(l)?
False
Let l be (3 - 9)/(-3)*1. Does 12 divide 11 + -4 + l + 3?
True
Let o(l) = l. Let s be o(3). Let z(i) be the first derivative of 2*i**2 + 3*i + 1. Does 9 divide z(s)?
False
Let q(z) = -z**3 + 3*z**2 + 5*z - 1. Let u be q(4). Let r = u - -19. Is 6 a factor of r?
False
Let h be 1/((-1)/(-2)) + -36. Let w = 62 + h. Is w a multiple of 17?
False
Suppose -6*f - f = -840. Is 24 a factor of f?
True
Let t(j) be the third derivative of 0*j + 0 + 1/6*j**3 - 1/24*j**4 - 3*j**2. Is t(-5) a multiple of 6?
True
Let b be 106/3*(-12)/(-8). Let c = b - 31. Is 11 a factor of c?
True
Suppose 3*i + g + 24 = 4*g, 4*i = -4*g - 8. Let y(p) = -p**2 - 7*p - 5. Let w be y(i). Is 10 a factor of (-78)/(-4) - w/(-10)?
True
Suppose 53 = 3*z - 4*d - 0*d, 0 = -4*z - 2*d + 56. Let s be (2/(-5))/(3/z). Is (-1 + 0)/(s/22) a multiple of 4?
False
Suppose 2*u + 0*u = 24. Is 9 a factor of u?
False
Let w = -7 - -9. Does 12 divide (-6)/w*26/(-2)?
False
Let l(t) = t**3 + 8*t**2 + 6*t - 2. Let g be l(-7). Suppose g*a = 10*a - 55. Is a a multiple of 11?
True
Let d be (2 - -1)/(10/(-20)). Is 15 a factor of (-178)/d + 12/(-18)?
False
Suppose 0 = o - 4*o + 3. Let i(h) = 7*h. Does 4 divide i(o)?
False
Let x = 133 - 78. Is 5 a factor of x?
True
Let z be ((-77)/14)/(1/2). Let o be (-3)/2*z*8. Suppose -o = -3*x - 3. Does 17 divide x?
False
Suppose 0 = -3*o + o + 6. Let f be (10 + 1)*(4 - o). Suppose 3*n + p - f = 2*n, -3*n = 5*p - 37. Does 7 divide n?
False
Let i be (2 + -2 - 2) + 10. Let a = -5 + i. Does 21 divide 147/(-2)*(-2)/a?
False
Suppose s + 3 = 0, -2*j + 5*s + 39 = -6. Is j a multiple of 11?
False
Let v be 3/(3/2) - -2. Suppose v*r = -4*j + 3*j + 4, -20 = -3*j - 4*r. Is 2 a factor of 62/j - 9/12?
False
Let w = 1 + 0. Is 6 a factor of 2/(w*2/12)?
True
Is 39 a factor of -4 + (0 - -158) + 2?
True
Let p = -69 - -31. Let h = p - -53. Is 15 a factor of h?
True
Suppose -3*c + f + 0*f = -39, -2*c + 3*f = -26. Let g = c + 6. Is 19 a factor of g?
True
Let r = -9 - -63. Suppose k + k + r = -2*m, -8 = 4*m. Let s = k + 37. Does 4 divide s?
True
Let q = -231 - -449. Suppose -4*w - 3*z = -210, -2*z = -4*w - z + q. Suppose 0 = 5*v - w - 11. Does 6 divide v?
False
Let v(x) = -1 - 3 - 3 - 14*x + 5*x. Let q be v(-5). Suppose 3*m - q = -o, -2*m = 5*o - 69 - 95. Is o a multiple of 17?
False
Suppose -4*j + 4 = -4*t, -4*j = -0*t - t - 4. Let q(o) = 3*o - 1. Let n be q(1). Does 15 divide (2 - j)/(n/42)?
False
Does 2 divide 30*((-33)/2)/(-11)?
False
Let f(d) = d + 11. Suppose -4*t = 3*j + 35, j + 3*t + 18 = -2. Is f(j) a multiple of 6?
True
Suppose -23 + 1085 = -2*s. Let l be 1/3 - s/27. Is (-198)/(-15)*l/6 a multiple of 18?
False
Does 3 divide 117/52*4/1?
True
Let f(t) = t**3 - 4*t**2 + t - 3. Let g be f(4). Is (3 - g)*(-27)/(-6) a multiple of 3?
True
Let b = -266 - -186. Let q = -36 - b. Does 22 divide q?
True
Suppose -3*x + 10 = -x, -2*f - 5*x = -151. Is 14 a factor of f?
False
Let o be 25/(-6) - 1/(-6). Let u be 0/o + 1 + 66. Suppose -3*z + 35 + u = 0. Is z a multiple of 13?
False
Suppose 10 + 2 = 3*g. Suppose b = -2*l + 7*l + 20, -3*b - l - g = 0. Suppose 3*h - 7 - 35 = b. Does 7 divide h?
True
Let t(s) = s**2 + s + 3. Is t(0) a multiple of 2?
False
Is 17 a factor of (-3)/(-12 + -6) - 3118/(-12)?
False
Suppose c + o + 6 = 3*o, -3*o = 5*c + 30. Let t = -1 - c. Suppose 0*j + 4 = -3*j + t*b, -4*j = 4*b - 48. Is j a multiple of 7?
True
Does 3 divide (8/10)/(10/75)?
True
Let u = 37 - 70. Is 17 a factor of 18/(-1)*44/u?
False
Let x be (12/18)/((-1)/21). Let y = -11 - x. Does 3 divide y?
True
Let b(n) = -n**2 - 5*n + 7. Let m(g) = -g**2 + 3. Let q be m(-4). Let d = 8 + q. Does 7 divide b(d)?
True
Let g be (-4*1)/(2/(-5)). Let j = g + 5. Is 5 a factor of j?
True
Suppose -4*y = 2*f + 66, 3*y - 2*y = 4*f + 87. Let k = f + 33. Does 8 divide k?
False
Suppose 4*w = -0*w + 44. Suppose 2*f + 1 = -5*n, 3*f - 3*n - w = -f. Suppose -34 - f = -2*l. Is l a multiple of 7?
False
Let w(f) = 17*f**2 + f - 2. Is 13 a factor of w(2)?
False
Let h be (-18)/(-12)*(-28)/(-6). Is h - 4*3/(-6) a multiple of 9?
True
Let k = 8 - -23. Is k a multiple of 12?
False
Let b be (-45)/3*14/3. Is 2 a factor of b/(-21)*(-6)/(-5)?
True
Let m = 44 - 25. Suppose 4*i - 3*l = 112, -m = -i - l + 4*l. Is 19 a factor of i?
False
Suppose 0*y + 15*y = 390. Is y a multiple of 26?
True
Is 6*3*(-2)/(-6) a multiple of 2?
True
Let y be 4/(-6)*(-6)/4. Suppose -3 = -o + y. Suppose -3*q + o*q - 37 = 0. Is q a multiple of 13?
False
Suppose -5*z = -0 - 10. Suppose -10 = 2*r - 0, -z*t + 4*r + 286 = 0. Suppose -f + 75 = -5*w, -3*f = 2*w - t - 7. Is f a multiple of 20?
False
Suppose -y + 2*i + 9 = 0, -3*y + 5 + 13 = -3*i. Suppose 5*k - 474 = -2*v, 3 = 2*v - y*v. Is 32 a factor of k?
True
Let f(c) = c**3 - 6*c**2 + 5*c - 1. Let w be f(5). Is 14 a factor of 2 + (w - -25) + 2?
True
Let w = 5 + 73. Is 26 a factor of w?
True
Suppose y = -8*y + 1800. Is y a multiple of 50?
True
Suppose -n - 13 = -2*m + 3, -2*m + 16 = -3*n. Suppose m = 5*g - 12. Does 4 divide (44/16)/(1/g)?
False
Suppose -2*n + 0*y + 9 = -y, n + 18 = -4*y. Suppose n*b + 68 = -4*f, 51 + 65 = -4*b - 4*f. Let s = b - -45. Does 12 divide s?
False
Let p(s) be the third derivative of -1/24*s**4 + 0*s + 7/60*s**5 - 1/3*s**3 - s**2 + 0. Does 14 divide p(-2)?
True
Let u be (-3 + 7)/(-2) + 16. Let s = u - 8. Does 3 divide s?
True
Let r be 4/(-18) - 40/(-18). Suppose 3*z - 11 = -r*v, 2*v + 2*v = 4*z + 12. Does 4 divide v?
True
Let g(l) = -18*l + 4. Is g(-2) a multiple of 5?
True
Suppose 0 = 2*w + d - 135, 3*d - 228 = -3*w - 18. Is 9 a factor of w?
False
Let s = -61 + 43. Let c = s + 38. Is -1 - c/((-2)/2) a multiple of 9?
False
Let f = 124 - 80. Is f a multiple of 2?
True
Let t(m) = m**3 + 4*m**2 + m - 1. Let l be t(-3). Suppose 69 = 3*j + 3*d, -2*j + 34 = -l*d + 9. Is j a multiple of 10?
True
Suppose 2*o - 15 = -o. Suppose 3*u = -4*t + 52, 3*t = o*u - u + 14. Suppose d - 40 = -3*m - 4*d, -t = -5*d. Is 10 a factor of m?
True
Let m(k) = 17*k + 1. Let s be m(5). Let g = s + -50. Does 16 divide g?
False
Let o(v) = -v + 3*v - 6 - 4*v. Let h be o(-5). Does 2 divide -1 + h/((-4)/(-3))?
True
Suppose -3 = h - 2. Let k(w) = -56*w + 1. Is k(h) a multiple of 10?
False
Suppose 3*u - 4*u + 4 = 0. Suppose -u*z + 135 = 4*m - 117, m - 68 = 4*z. Suppose -5*f + m = -f. Does 8 divide f?
True
Let b(z) = 2*z**2 - 16*z + 7. Is 35 a factor of b(-6)?
True
Let l(z) = 5*z**3 + z**2 + 1. Let m be l(3). Suppose 95 + m = 5*u. Is 24 a factor of u?
True
Let o = 23 - 14. Is o a multiple of 4?
False
Suppose 2*m + 76 = -94. Let j be (m + 0)*(1