
True
Is 18 a factor of 600/24*(-1728)/(-20)?
True
Suppose -n - b - 2 = -1, -4*n - 5*b = 7. Suppose 3*a + q - 4 = 23, -n*q + 46 = 5*a. Does 2 divide a?
True
Suppose 32 = -2*p + 276. Is 4 a factor of p?
False
Suppose 751*m + 378 = 757*m. Is m a multiple of 9?
True
Let h = 4212 + -2532. Is 70 a factor of h?
True
Suppose -56*z + 133110 = -26*z. Is z a multiple of 17?
True
Suppose -5*v + 3*p = 6*p - 50, 0 = 5*v - 4*p - 85. Suppose -7*c + 223 = v. Is 3 a factor of c?
True
Let j be -3 - (-1 + 0 - 46). Suppose -2*p + j = -p + 4*f, 3*f = -3*p + 123. Is 5 a factor of p?
True
Let b = 18 - 13. Suppose -b*c + c + 348 = 0. Let d = -21 + c. Does 23 divide d?
False
Let v be -592*((-20)/(-8) - -1). Let b be (24/(-14))/(8/v). Is 12 a factor of b/22 - (-2)/(-11)?
False
Suppose -4*b = 3*k - 1348, -129*k - b = -125*k - 1780. Does 78 divide k?
False
Let p(g) = -4*g**2 + 80*g - 30. Is p(19) a multiple of 8?
False
Let u be ((-168)/49)/(3/(-378)). Suppose 6*l = -2*l + u. Is l a multiple of 9?
True
Does 18 divide -72*(1/8 - 75/24)?
True
Let q = 91 + -42. Let y = -25 + q. Is 6 a factor of y?
True
Let u be (-1)/(-3 + (-8)/(-3)). Suppose -t = u*t - 112. Suppose 0 = -4*z + 2*p - 6*p + t, -z + 16 = 4*p. Is z even?
True
Let l(i) = -153*i + 254. Does 38 divide l(-13)?
False
Let x = -123 - -600. Suppose -85 = 4*w - x. Does 52 divide w?
False
Suppose 2*r - 3*t - 208 = -t, -2*r - 5*t + 208 = 0. Is r a multiple of 4?
True
Suppose r - 227 + 81 = -5*m, -2*m - 496 = -4*r. Does 2 divide r?
True
Let u(o) = -o**2 + 37*o + 26. Is u(19) a multiple of 16?
True
Let r = 38 + -34. Suppose 0*t - r*s = 5*t - 938, 3*s + 199 = t. Is t a multiple of 19?
True
Suppose 0 = -j - 3*j - 24. Let q be 1/j + (-12)/(-72). Suppose 0 = -q*k + 3*k - 51. Is k a multiple of 17?
True
Let q be 4/14 - (-712)/56. Suppose 0 = q*t - 10*t - 108. Is t a multiple of 12?
True
Let v(o) = 2*o - 15. Suppose 5*h + 20 = 80. Let w be v(h). Is 8 a factor of (-30)/w*(-24)/5?
True
Let g = -3 - -8. Let u = g + -3. Let c(y) = 20*y - 1. Is 13 a factor of c(u)?
True
Suppose -8*d + 1572 = -2*d. Suppose -v = 4*f + v - d, -3*v - 3 = 0. Is f a multiple of 13?
False
Let b = -30 - -36. Is 39 a factor of 156/2*b/4?
True
Suppose -15*f - 26 = -17*f. Suppose -3*j - f + 124 = -3*w, 0 = -5*w - 20. Is 33 a factor of j?
True
Let a(l) be the first derivative of -6*l**2 + 11*l - 1. Is a(-6) a multiple of 27?
False
Suppose -5*c = 3*z - 1063, z + 0*z - 1071 = -5*c. Does 4 divide c?
False
Let n(q) = q**3 - q**2 + q + 1. Let c(m) = 7*m**3 + 11*m**2 + 19*m - 10. Let w(t) = c(t) - 6*n(t). Does 8 divide w(-16)?
True
Suppose -w - 2*w = 3*p - 102, p = -5*w + 166. Suppose -2*c + w = c. Does 3 divide c?
False
Let y(x) = x**2 - 8*x + 3. Let q be y(8). Suppose -172 = -2*c + t + t, -82 = -c - q*t. Is c a multiple of 33?
False
Suppose -8*p = 14*p - 58608. Is 57 a factor of p?
False
Let b(y) = 19*y**3 - 14*y**2 + 11*y - 12. Let h(l) = -6*l**3 + 5*l**2 - 4*l + 4. Let m(j) = 4*b(j) + 11*h(j). Let c = 0 - -2. Is m(c) a multiple of 18?
True
Let c(m) = m**2 - 1 + 0 + 2*m - 4*m - 5. Let t be c(4). Suppose 4*w - 94 = -t*i, -3*w - 5*i + 115 = 2*w. Is 15 a factor of w?
False
Suppose 3*k + 93 = 3*i, -2*i = -7*i + k + 151. Let u be ((-80)/i)/((-2)/3). Suppose 2*j - 8 = u. Is j a multiple of 3?
True
Suppose -5*x + 35 = -95. Suppose -816 = -x*a + 22*a. Does 17 divide a?
True
Suppose 1113 = 5*w - 3*k, -2*w + 255 + 185 = 4*k. Let n = w - 116. Is n a multiple of 34?
False
Suppose 3*m - m + 4 = 0, 4*l - 4*m = 48. Suppose p + l = 3*p. Does 2 divide p?
False
Suppose 60 = 7*v + 18. Suppose 2*f + 2 = v. Suppose -3*s = 2*t - 63, 3*t + 4*s = -f*t + 147. Does 12 divide t?
False
Let n be (-10)/(-35) + (-3504)/14. Let f = n - -460. Suppose -4*l - l = -f. Is 21 a factor of l?
True
Let z = 15 - 18. Let r = z + -42. Let o = 81 + r. Does 12 divide o?
True
Let t = 899 - 642. Suppose 4*u - 5*h = 351, -3*u + t = -6*h + h. Is u a multiple of 11?
False
Let j(n) be the third derivative of n**2 + 0*n + 0 + 5/6*n**3 + 1/120*n**6 - 1/12*n**5 - 1/4*n**4. Does 5 divide j(6)?
True
Suppose -16*d - 1326 = -5198. Is d a multiple of 8?
False
Suppose 16 = 3*v + 3*l + 58, -4*l = -2*v - 40. Let m = -23 - v. Let t = 14 + m. Does 5 divide t?
False
Let y(a) = 105*a**2 - 4*a - 3. Let x be y(-1). Let b = x + -50. Is 32 a factor of b?
False
Let w(g) = -39*g**3 + 11*g**2 + 23*g + 5. Is 35 a factor of w(-3)?
False
Suppose 2*u - u - 27 = -4*k, 5*k - 60 = -5*u. Suppose -94 + u = -b. Is 29 a factor of b?
True
Let o be 12/28*7 + -6. Let x(n) = 2*n**2 - n - 3. Let y(l) = l**2 + l + 1. Let j(s) = x(s) + 3*y(s). Is j(o) a multiple of 12?
False
Suppose 4*k - v = 4290 - 909, 861 = k + 5*v. Is 24 a factor of k?
False
Let j(d) = 11*d - 6. Let y be j(3). Let o = y - 9. Does 6 divide o?
True
Let h be ((-4883)/57)/(2/(-6)). Let t = h + -153. Is t a multiple of 8?
True
Suppose j = 4*m - 19, -3*j - 5 = -m + 8. Suppose -5*i = 5*n - 4*n, 0 = 4*i. Suppose n*k + 22 = m*o + 3*k, -4*o + 3*k = -34. Is 7 a factor of o?
True
Suppose -3*y - 4*v = -12, 4*v = 3*v. Suppose k - c = y, c + c + 13 = 3*k. Is 9 a factor of 1096/40 - 2/k?
True
Let c(z) = 3*z**2 + 11*z - 15. Let k(n) = 13*n**2 + 43*n - 59. Let m(i) = -9*c(i) + 2*k(i). Does 17 divide m(-13)?
True
Let g be 38/14 - (-22)/77. Suppose 3*l - 2*s = -s + 1025, -l - g*s + 345 = 0. Is l a multiple of 19?
True
Does 7 divide 0 - -5 - (1 - 0)*-92?
False
Let t(b) = -b**2 + 36*b - 35. Let d = -66 - -93. Does 16 divide t(d)?
True
Let h(c) be the second derivative of -c**3/3 - 27*c**2/2 - 15*c. Is h(-20) a multiple of 3?
False
Let s be 3/(-7) + 15/35. Suppose 4*z - 3*z = -5*o + 28, s = 5*z - 2*o - 5. Suppose -3*i + 121 = 5*y, -3*i - y + 122 = z*y. Is 18 a factor of i?
False
Let t = 670 - 472. Is t a multiple of 22?
True
Let o = -1053 + 2179. Is 21 a factor of o?
False
Let f = 1 - -1. Suppose f = s - 0. Suppose 0 = -4*y + z + 133, y + s*y = 2*z + 96. Does 17 divide y?
True
Let b(k) = k**2 + 4*k - 17. Let j be b(-7). Suppose 0 = 5*v - j*v. Suppose v = -2*g - p - p + 40, -3*g = 4*p - 63. Is 17 a factor of g?
True
Does 23 divide (316/(-14))/(2/(-14))?
False
Suppose -11*c - 5858 = -34073. Is 109 a factor of c?
False
Is (-2475)/(-4) - 321/428 a multiple of 8?
False
Does 57 divide (-204222)/(-54) - 30/(-27)?
False
Let y(j) = 24*j + 129. Is 24 a factor of y(11)?
False
Let u(i) be the third derivative of -2/3*i**4 + 0 + 2*i**2 - 5/3*i**3 - 1/120*i**6 - 2/15*i**5 + 0*i. Is u(-6) a multiple of 14?
True
Suppose -11*f = 13 + 9. Let i(t) = 87*t**2 + 2. Is i(f) a multiple of 25?
True
Let r be 2*(-4)/8*-4. Suppose -m - 2*m - q + 268 = 0, 5*q - 339 = -r*m. Is 26 a factor of m?
False
Suppose -1944 = -3*w - 3*o, -3244 = -5*w + o - 2*o. Is 36 a factor of w?
False
Suppose 1 = 4*w - j, 3*j = -3*w - 7 - 11. Let v(f) = -56*f - 1 - 1 + 1. Does 12 divide v(w)?
False
Suppose -3*r + 36*w - 37*w = 29, 3*r + 14 = 2*w. Let m(f) = 2*f - 3*f - 20 - 9*f. Is m(r) a multiple of 28?
False
Suppose -22*x + 14*x = -3296. Suppose 0 = -w + 1 - 5, 2*w = -3*j + x. Is 10 a factor of j?
True
Let h = 230 + -206. Is h a multiple of 9?
False
Suppose 2942 - 528 = 17*g. Suppose 0 = 3*l + l + 312. Let a = l + g. Is 16 a factor of a?
True
Suppose u = -5*k + 45, 3*k = -2*u + 58 + 67. Suppose 0 = -3*h + 5*y + u - 23, 2*y = -2. Is h a multiple of 5?
False
Let u = -63 + 102. Let m = u + -13. Does 21 divide m?
False
Suppose -5*u - 12 + 47 = 0. Suppose -5*n = -u*n + 4. Does 32 divide 39/(-18)*n*-30?
False
Suppose -2*v - k - 4247 = -6*v, 5*k + 4227 = 4*v. Is 18 a factor of v?
False
Suppose -46 = -2*x - 2*f, 5*f - 46 = -4*x + 46. Let z = x - 5. Does 3 divide z?
True
Suppose -2*k = -0*k - 6. Suppose x - 5*n - 12 = -2*n, 0 = 2*x + k*n + 3. Suppose 36 = 4*v + 2*j, -v + x*v - 4*j - 18 = 0. Is 3 a factor of v?
True
Let j = -12 + 16. Is 45 - j/(8/6) a multiple of 21?
True
Let l(c) be the third derivative of c**6/120 + 5*c**5/12 - 37*c**4/24 - 9*c**3/2 + 33*c**2. Is l(-26) a multiple of 15?
False
Let i(s) = -s**3 - 7*s**2 - 7*s - 4. Let d be i(-6). Let t be (-99)/d*8/(-6). Suppose 0 = -2*x + 8*x - t. Is 6 a factor of x?
False
Let h(m) = m**2 - 13*m. Let s be h(13). Suppose 2*y + s*y = 288. Does 21 divide y?
False
Let h = 215 - 138. Is 19 a factor of h?
False
Let x be 12/14*(-28)/(-6). Suppose 0 = -2*h + x*h. Suppose h = -0*z - 5*z + 65. Is 13 a factor of z?
True
Let 