(2/60) a multiple of 12?
True
Let n = 0 + -9. Is (-6)/(n/(-3)) + 10 a multiple of 4?
True
Let z be (1/2)/((-3)/42). Let u(t) = -t**3 - 8*t**2 - 5*t + 4. Let a be u(z). Is 10 a factor of a*-1*(-6)/(-4)?
False
Let k(p) = 6*p + 10. Let v = 24 + -17. Let t be k(v). Suppose 4*a - t = 12. Is 7 a factor of a?
False
Let y(w) = 67*w + 3. Is 20 a factor of y(1)?
False
Does 11 divide (0 + 3 - 2)*(207 - -4)?
False
Let t(p) = p - 4. Let g be t(-4). Let a(u) be the second derivative of -u**4/12 - 11*u**3/6 - 11*u**2/2 - u. Is a(g) a multiple of 5?
False
Suppose 4*o - 2*j = 3*j + 844, o - 224 = -2*j. Is 9 a factor of o?
True
Let o(p) = 5*p**2 - 1. Let i be o(1). Suppose 0 = i*n - 23 - 13. Is n a multiple of 6?
False
Let y(w) = w - 1. Let k be 0 + 2 + 1 + 0. Let u be y(k). Suppose 5 = c + 5*j, -3*c + u*j = -2*j - 110. Is c a multiple of 13?
False
Suppose -5*n - 4*v + 69 = -6, v - 16 = -n. Is 2 a factor of n?
False
Suppose -10 = 5*i, -5*v + 2*i - 3175 = -3*i. Is v/(-14) + (-2)/(-4) a multiple of 12?
False
Let g = -27 - -93. Suppose 3*o - 5*q - g = 0, -5*o + 5*q + 88 = -o. Does 11 divide o?
True
Suppose -5*n = -5*s - 228 - 247, -3*n + 289 = s. Is n a multiple of 32?
True
Let g(d) be the third derivative of d**6/120 + d**5/6 + 5*d**4/12 - 11*d**3/6 - 3*d**2. Let m be g(-9). Let z = -10 - m. Is z a multiple of 9?
False
Let g = -64 - -160. Is g a multiple of 12?
True
Suppose 283 = 3*k + 4*v, -3*v + 0*v = 5*k - 479. Suppose 3*j - 4*t = k, -3*t + 2*t - 63 = -2*j. Does 9 divide j?
False
Let d(z) = z + 14. Is d(-7) even?
False
Suppose 3*h - 20 = -2*z, -3 = -3*z + 9. Suppose -h = 3*v - 19. Does 5 divide v?
True
Suppose -2*m = 3*g - 94, 3*m = 5*g - 0*m - 125. Is g a multiple of 28?
True
Let s = -147 - -280. Does 29 divide s?
False
Let v = -475 + 273. Is (-2)/11 + v/(-22) a multiple of 4?
False
Is 10 a factor of ((-39)/(-12) - 3) + 78/8?
True
Let d be 0*((-5)/3 + 2). Suppose d = q - 4*b - 8, -5*q + 7 = b - 12. Suppose 16 = q*p - 0*p. Does 4 divide p?
True
Suppose 138 = 8*t - 7*t + 2*s, 3*s + 283 = 2*t. Does 35 divide t?
True
Let n = -25 - -108. Does 13 divide n?
False
Let j(t) = 32*t**2 - 2*t + 1. Does 9 divide j(1)?
False
Let r be -22 + -1 - 3/(-1). Is r/5*1/(-1) a multiple of 2?
True
Suppose 0 = 4*t + 2*a - 9 + 3, t - a - 9 = 0. Suppose 0 = t*z - z - 51. Is 6 a factor of z?
False
Let u = 39 + -18. Is u a multiple of 7?
True
Let x(i) = -i**3 - 3*i**2 + 4*i + 4. Let j = 6 - 10. Let s be x(j). Suppose -3*u + 4*u + z - 14 = 0, 0 = z - s. Is u a multiple of 6?
False
Suppose -d + 2*d + 5 = 0. Is ((-4)/d)/(4/290) a multiple of 22?
False
Suppose 15 - 2 = w. Let d = 21 - w. Is d a multiple of 6?
False
Let r(d) = 27*d**3 - d**2 + 6*d - 15. Is r(2) a multiple of 11?
True
Suppose n + 14 - 54 = 0. Suppose 7*k = -g + 4*k + 36, -2*g + 2*k = -n. Let w = g - 13. Is 11 a factor of w?
True
Let t(o) = -3*o - 1. Let b be t(-11). Suppose 0 = 3*i - 5*i + b. Is 13 a factor of i?
False
Let z = 4 + -1. Suppose 0 = 2*p - 6*p + z*l + 79, -2*p + 47 = -3*l. Does 16 divide p?
True
Suppose -3*s + 208 = 2*u, 0 = -5*u - 6*s + 2*s + 520. Does 26 divide u?
True
Let i be (1 - 1)/(2*-1). Suppose i = 4*n - 2*n - 2. Is (-12)/(-10)*10/n a multiple of 12?
True
Suppose -4*b = 5*x - 1 + 11, -5*b - 5*x - 10 = 0. Suppose b = -2*j + 23 + 1. Is j a multiple of 2?
True
Suppose -5*y = 4*x - 43, 3*y = -x - 2*x + 30. Let d be 2/(-7) + (-5)/x. Is d + 2 - (-13 - 0) a multiple of 7?
True
Suppose -2*p - 4*k + 22 = 0, -3*p - k = -0*p - 48. Let v = p + -9. Is 5 a factor of v?
False
Let m = 72 + 8. Is 11 a factor of m?
False
Suppose -3*s + 3*g = -33, 5*s + 3*g - 17 = 22. Is 17 a factor of ((-51)/2)/(s/(-12))?
True
Let r be -3 + 112 + (-4 - -1). Let x = -37 + r. Does 29 divide x?
False
Let q(k) be the third derivative of -1/120*k**6 - k**2 + 7/6*k**3 + 0*k - 1/8*k**4 + 0 - 2/15*k**5. Does 18 divide q(-8)?
False
Let k be -1*1*(2 - 5). Suppose -k*p - 39 = 15. Is 11 a factor of (-4)/p - (-374)/18?
False
Let b(c) be the third derivative of c**5/60 - c**4/24 + c**3/3 - 3*c**2. Let y be b(2). Is 9 a factor of 8 + (y - 1)/3?
True
Let x = -6 + 5. Let b be (x - -2) + 9/(-3). Let d(a) = 2*a**2 + 2. Is 5 a factor of d(b)?
True
Let d(v) be the second derivative of -3/2*v**2 + 0 + 7/3*v**3 - v. Is d(4) a multiple of 16?
False
Let o be 102/(-14) - 4/(-14). Let j(y) = 29*y - 10. Let w be j(o). Is (-2)/(-4) - w/6 a multiple of 18?
True
Is (-73)/(-1) + 5 + -1 a multiple of 19?
False
Let l = -48 + 54. Is l a multiple of 3?
True
Let p(h) = 2*h**3 - 3*h**2 - 2*h. Suppose 0*x - 2*x = -8. Let b(m) = m - 1. Let r be b(x). Does 10 divide p(r)?
False
Suppose d - 70 = -5*f, 2*d - 4*f = -0*d + 140. Suppose -4*u = -62 - d. Is u a multiple of 12?
False
Suppose -3*h = -z - 27 + 77, 0 = -z + h + 46. Does 5 divide z?
False
Let n = -39 + 59. Suppose 0 = -5*c + 2*c - 2*f + n, -4*f = 4*c - 24. Does 8 divide c?
True
Suppose a = 4*j - 271, -3*j = 2*a - 71 - 135. Is 17 a factor of j?
True
Let o(r) = 2*r - 2. Let y be o(2). Suppose y*w + w = 72. Does 12 divide w?
True
Suppose -3*x = -2*x - 72. Is x a multiple of 36?
True
Is (3/2)/(16/64) a multiple of 3?
True
Suppose -5*l = -4*u - 178, -2*l + 16 = 2*u - 66. Is l/3*15/10 a multiple of 9?
False
Let c(i) = -i**3 - 2*i**2 - i - 2. Let d(r) = -r + 3. Let h be d(5). Let k be c(h). Suppose k = -o - 4*o + 15. Is o a multiple of 2?
False
Let w be -1*(-4 + 1) + -1. Let o be (-45 - -7)*w/(-4). Suppose -b + 9 + o = 0. Does 14 divide b?
True
Suppose -206 = -6*b + 16. Is b a multiple of 10?
False
Let j(m) = 2*m**2 - 4*m - 21. Is j(-7) a multiple of 4?
False
Let f = 2 - 1. Let o(c) = -38*c + 1. Let w(v) = -38*v + 1. Let r(q) = -3*o(q) + 2*w(q). Is r(f) a multiple of 15?
False
Suppose 20 = 4*i, -2*i + 0*i = -d - 12. Does 14 divide (3 + d)*140/5?
True
Let s = 205 - 130. Suppose m + v = 4*v + s, -2*m + 123 = 3*v. Does 22 divide m?
True
Let q(v) = -10*v + 2. Let r be q(3). Let u = r - -52. Is 8 a factor of u?
True
Suppose 5*v - 5 = 2*v + 4*w, 3*v = -w + 10. Let g be -1 + (v - 2 - -10). Suppose g = y + y. Does 5 divide y?
True
Is 13 a factor of (-11)/((-22)/36) + 0?
False
Let d be 2 + (14 - (-1 - -4)). Let o(x) = -x**3 + 13*x**2 + 2*x + 5. Is 31 a factor of o(d)?
True
Suppose 0*m = 2*m + 20. Let s be 8 + m + (5 - 1). Suppose 4*v = -2*h + 36, 14 + s = 4*v - 3*h. Does 5 divide v?
False
Let g(y) = -y**2 + 11*y - 18. Does 6 divide g(8)?
True
Is 15 a factor of -7*2/4*-46?
False
Does 3 divide 12/(-16)*24/(-3)?
True
Let h(g) = g**2 + 7*g + 12. Does 9 divide h(-7)?
False
Let n = 39 - 26. Is 13 a factor of n?
True
Let k(o) = -o**2 - o + 63. Is k(0) a multiple of 15?
False
Let j = 3 + -1. Let b = j + 5. Suppose -3*x + k + 25 = 0, 5*x + 2*k - b*k - 25 = 0. Does 5 divide x?
True
Suppose 5*j + 30 = -10. Let y = 20 - j. Let r = y - 15. Does 6 divide r?
False
Let i(o) = o**2 - 12*o - 22. Is i(16) a multiple of 14?
True
Let n be (-3)/4 - 1/4. Let d(p) = -4*p + 1. Let i be d(n). Suppose -4*k + 57 = 3*w - 48, -108 = -i*k + 4*w. Is k a multiple of 12?
True
Let r(h) = 2*h**3 + 2*h**2 - 3*h + 1. Let u be r(2). Let k = u - 8. Does 7 divide k?
False
Let i be -1 - -1 - (-4 - -2). Let a = i - 28. Let y = -8 - a. Is 14 a factor of y?
False
Let n be 2 + 143 + 1/(-1). Suppose -3*w = -w - n. Is 16 a factor of w?
False
Let d be ((2 - -2) + -3)*19. Let x = d + -3. Is 8 a factor of x?
True
Let x = 1 + 4. Suppose x*y = n + 300, 0*y = y + 2*n - 49. Is 26 a factor of y?
False
Suppose -2*j - 24 = -8. Let n = 22 + j. Is 7 a factor of n?
True
Let n(v) = v**2 - v + 8. Let i be n(5). Suppose 7*x - 5*x = i. Does 14 divide x?
True
Suppose 0 = -h + 3*h. Suppose h = -6*b + 143 + 121. Is 9 a factor of b?
False
Suppose 11*o - 9*o = 236. Is 28 a factor of o?
False
Let q(f) = -f**3 + 8*f**2 - 5*f + 7. Is q(7) a multiple of 7?
True
Suppose -6*j = -5*j - 57. Does 12 divide j?
False
Suppose -6*m - m = -560. Is m a multiple of 40?
True
Let a(m) = 17*m + 6. Is 37 a factor of a(6)?
False
Suppose -y = -16 - 23. Is 11 a factor of y?
False
Suppose -274 + 962 = 8*q. Does 35 divide q?
False
Suppose -c + 4*f - 39 = f, 3*c = -f - 167. Is 19 a factor of (-9)/(c/(-140))*-3?
False
Let n(v) = v**2 - 10*v + 42. Does 29 divide n(-12)?
False
Let g(d) = 9*d + 3. Let j be g(-4). Let t = j - -56. Is t a multiple of 10?
False
Let m be 2 + 0 - (1 + 4). Let c = -9 - m. Is 18 a factor of (-231)/c - 2/(-4