0 - 34. Does 28 divide n?
True
Let p = 64 + -19. Is p a multiple of 15?
True
Suppose 0 = 4*r + h - 16, 2*r = -2*r + 4*h - 4. Suppose -5*b = -3*q + 1, -5*b - 3 = -4*q - 0*b. Suppose 0 - 2 = q*i, -2*i = r*x - 7. Is x even?
False
Suppose -2*d - 3*p - 11 = 0, -2*d + 2 = -p + 1. Let z be -1 + 2 - -1 - d. Suppose 25 = 2*g - z*y, -4*g + y - 27 = -72. Is g a multiple of 11?
True
Let k(c) be the second derivative of c**3/6 - c**2/2 - c. Let h be k(4). Suppose -30 = -5*a + 5*g, 0 = -3*a + h*g - 4*g + 18. Does 5 divide a?
False
Let d(f) = -2*f**3 + f**2 - 3*f - 2. Let g be d(-2). Suppose -3*q - q = -g. Does 6 divide q?
True
Let i = -6 + 26. Let f be ((-25)/i)/(2/(-8)). Suppose -3*r = -5*v - 32, 4*v - 8 = f*r - 70. Is r a multiple of 4?
False
Suppose a + 6 + 13 = 5*h, 2*h + 5*a = -14. Suppose 3*m - h*q - 28 = 5, 3*q - 12 = 0. Does 12 divide m?
False
Let l be (-2)/(-7) - 824/(-7). Suppose -a - 2 - 2 = 0, 5*t = -3*a + l. Does 14 divide t?
False
Let c = -26 + 34. Is 5 a factor of c?
False
Suppose 6*g = g + 175. Is g a multiple of 16?
False
Let s = 104 - 39. Is s a multiple of 28?
False
Suppose 7*q = 2*q. Suppose q = -2*o + 10. Suppose -3*f = -15, o*h = -5*f + 41 + 14. Is h a multiple of 2?
True
Let a be 2 + -1 - (11 + 1). Let d = -26 - a. Let n = d - -25. Does 5 divide n?
True
Suppose -133 = -6*x + 587. Is 20 a factor of x?
True
Let r be -3 - (32 + 2 + -2). Is 21 a factor of ((-9)/5)/(1/r)?
True
Suppose 0 = -3*o + 272 + 13. Is 19 a factor of o?
True
Suppose g - 29 = -3*w, 0*g - 5*g + 19 = w. Does 15 divide (-4)/(-6) - (-264)/w?
True
Let h(l) = -l + 3. Let w be h(0). Suppose -f + 8 = f. Suppose w*c - f*x - 13 = 38, c = x + 16. Does 6 divide c?
False
Suppose 10*l - 21 = 9*l. Is l a multiple of 15?
False
Let v(l) = l**3 - 2*l**2 - l - 2. Let n(x) = -2*x**3 + 2*x**2 + 2*x + 2. Let s(r) = -5*n(r) - 6*v(r). Does 12 divide s(2)?
False
Let y be (-2)/(-14) + (-195)/(-105). Suppose -2*n - y*w = 2*w - 40, n - 5*w = -15. Does 4 divide n?
False
Let x = 35 + -11. Does 8 divide x?
True
Suppose 4 = 2*s + 14, -4*s - 260 = 5*y. Let z(a) = a + 1. Let i be z(-3). Is 2/i + y/(-3) a multiple of 13?
False
Let v = -4 + 4. Suppose 3*m + 5*n - 6 + 40 = v, -m + 3*n + 12 = 0. Let t = m - -16. Does 13 divide t?
True
Let k = 36 + -25. Is k even?
False
Does 13 divide 3*5/((-30)/(-368))?
False
Let a(f) = f**3 + 7*f**2 + 3*f - 4. Let y(h) = h**3 - 9*h**2 - 6. Let s = 18 - 9. Let x be y(s). Is 6 a factor of a(x)?
False
Let f be (-12)/(-7) + 4/14. Suppose -2*x - f*n - 4 = -44, -4*n = 2*x - 46. Does 11 divide x?
False
Let d(r) = -6*r. Let u be d(-6). Let a = -4 + u. Is 14 a factor of a?
False
Suppose 5*a - b - 34 = -3*b, 2*a + 3*b = 18. Is a a multiple of 4?
False
Does 9 divide 2 - (-3 + -45 - 0)?
False
Suppose 2*x = 2*w - 14, w + 0*w - 17 = 3*x. Let y(l) = -20*l + 11. Let n(z) = -10*z + 6. Let u(q) = 5*n(q) - 3*y(q). Is u(w) a multiple of 17?
True
Let o(v) = -v**2 + 10*v + 10. Let k be o(9). Let j = 45 - k. Does 17 divide j?
False
Is -3 + 4/8*122 a multiple of 29?
True
Let w(o) = -o - 2. Let r be w(-7). Suppose -k + r*k - 130 = -3*i, 95 = 3*k + i. Does 11 divide k?
False
Is 5 a factor of 10/35 - (-94)/14?
False
Suppose b - 5 = a, 21 - 5 = -4*a. Is 19 a factor of (2/4)/(b/90)?
False
Let b be ((-4)/(-6))/((-2)/(-30)). Suppose 29 = 2*y - 3. Let n = y - b. Is n a multiple of 3?
True
Let s be (-9 - 0)/((-3)/2). Let t(f) = f**2 - 5*f - 2. Let q be t(s). Let y = 12 + q. Is y a multiple of 12?
False
Suppose -5 = -k - 0*k. Let j = 9 - k. Is 4 a factor of j?
True
Suppose 0 = 5*z - 5*g - 145, 8*z - 3*z - 190 = -4*g. Does 16 divide z?
False
Suppose -z + 2 = 0, -2*z = -2*k - 4*z + 50. Let f = k - 20. Is 2 a factor of f?
False
Let v be 4/(-3)*(-9)/6. Let r be (0 - -4)*(-1 + v). Suppose -w = s - 3*s - r, 29 = 5*w - s. Does 3 divide w?
True
Let o = 270 - 138. Does 22 divide o?
True
Suppose s = 4*s - 48. Does 8 divide s?
True
Let w(q) be the first derivative of -q**4/4 - 5*q**3/3 - 3*q**2/2 - 8*q + 4. Is w(-6) a multiple of 23?
True
Let t(b) be the first derivative of 0*b**2 + 4 - 4 - 3 - b**2. Does 5 divide t(-5)?
True
Let w = -159 + 199. Is w a multiple of 3?
False
Suppose -19*l = -7*l - 312. Is l a multiple of 13?
True
Let r(d) = -d**3 + 4*d**2 + 2. Let a(s) = 3*s. Let y be a(2). Let u = 8 - y. Is 5 a factor of r(u)?
True
Let m = 320 + -226. Let d = m + -62. Is 3 a factor of ((-88)/d)/((-1)/4)?
False
Suppose -5*u - 397 = -4*s, 0*s = -3*s - 4*u + 290. Let r = s + -64. Is 12 a factor of r?
False
Suppose 0*k = -k + 26. Let y be k*(-13)/(-2) - -3. Suppose 5*v - y + 12 = 0. Is 16 a factor of v?
True
Let t = 12 + -9. Suppose 0 = 2*f - s - 31, t*s + 6 = 2*f - 35. Is f a multiple of 13?
True
Suppose -2*u = -0*t + 5*t, 0 = t. Suppose u = 3*a - 5*h - 44 - 39, 2*a - 92 = -4*h. Is 11 a factor of a?
False
Let z(y) = -5*y**2 - 12*y - 5. Let o(w) = 9*w**2 + 23*w + 9. Let h(b) = -6*o(b) - 11*z(b). Let s = -39 + 46. Is 8 a factor of h(s)?
True
Let i(t) = -t**2 - 8*t - 3. Is 2 a factor of i(-7)?
True
Let a(l) = -14*l**2 + 4*l**2 + 2*l**3 - 7*l + 3 - 3*l**3. Let j be a(-9). Let h = 27 + j. Is h a multiple of 5?
False
Let w be 2/4 + 2/4. Is 17 a factor of w/(18/(-19) - -1)?
False
Suppose 0 = -4*d + 2*d. Suppose -s = -d*s - 14. Is s a multiple of 14?
True
Let g = 1 + 1. Let j = 2 + g. Let c(b) = -b**3 + 6*b**2 - 5*b. Is c(j) a multiple of 6?
True
Let x = 4 - -63. Is 3 a factor of x?
False
Let h(q) = 5*q**2 + 2*q - 1. Suppose 0 = -5*w + 10 + 5. Is h(w) a multiple of 10?
True
Let b(a) = -3*a. Let f be b(-2). Suppose j - f*j + 15 = 0. Does 2 divide j?
False
Let p(r) = 2*r + 2. Suppose m + 3 = 2*m. Let x be p(m). Is (171/6)/(6/x) a multiple of 19?
True
Let d be 2 - 3/(1 + 2). Is 24 a factor of (-7)/(7/(-66)) - d?
False
Let k(l) = -l**3 + 10*l**2 - 3*l + 10. Is k(9) a multiple of 16?
True
Suppose 4*j + k - 139 = 0, 2*j + 0*j = 4*k + 92. Does 6 divide j?
True
Is 213 - (-6)/4*32/12 a multiple of 31?
True
Let u(c) = c**3 + 9*c**2 - 2*c - 2. Let j be u(-9). Let v = j - 10. Does 2 divide v?
True
Let m be (-3 - 1)*(2 + 8). Let w = 68 + m. Does 14 divide w?
True
Is 26 a factor of 3/(-36)*-3 + 1245/12?
True
Let b = -1 + 79. Is b a multiple of 11?
False
Let s = -107 + 159. Does 13 divide s?
True
Let c be (-1 - 4/(-2))*7. Suppose 0 = -b - 1, -2*r + c = 5*b - 6. Let g = 13 - r. Is 4 a factor of g?
True
Suppose 22 = 7*m - 6*m. Is m a multiple of 10?
False
Let n(p) = 29*p**2 - 1. Let q(d) be the first derivative of d**4/4 - 2*d**3 - 3*d**2 - 8*d - 2. Let t be q(7). Is n(t) a multiple of 14?
True
Suppose 5*p = 3 + 7. Suppose -o + 48 = p*o + 2*f, 5*o = -4*f + 82. Is o a multiple of 6?
False
Suppose -5*c + 84 = -126. Is c a multiple of 6?
True
Suppose -12 = 4*c - 5*y, 3*c + 0*c = 4*y - 10. Suppose t + 3*t = -12, c*t - 122 = -4*r. Is r a multiple of 16?
True
Let g(n) = -n**2 + 9*n - 8. Let a be g(8). Let k(i) = 2*i + a*i + 3*i - 2*i - 5. Is 3 a factor of k(5)?
False
Let u(b) = -1 + 2 - b**2 + 5*b**3 - 4*b**3. Let q be u(1). Is 5 a factor of ((-6)/5)/(q/(-5))?
False
Let w(t) = t**2 + 2*t + 3. Is w(-3) a multiple of 3?
True
Suppose 2*d - 3*b = 3*d + 28, 5*d + b = -112. Suppose 36 = q - 9. Let i = q + d. Is 9 a factor of i?
False
Is 0 - -79 - (-5 + 3) a multiple of 27?
True
Suppose -3*m = 3*p - 21, 3*p - 13 = -3*m + 2*p. Suppose m*k - 13 - 47 = 0. Is k a multiple of 20?
True
Suppose -20*l = -8*l - 636. Is l a multiple of 7?
False
Suppose 0 = -2*h + 4*h - 150. Suppose h = -2*m + 7*m. Is m a multiple of 3?
True
Let w = 4 - -4. Suppose 4*i + 2*v - 24 = 0, -2*i = 3*v - 4*v - w. Is i even?
False
Suppose 12 = 5*o - 2*o. Let t(s) = 15*s - o + 0 - 8*s. Is t(4) a multiple of 9?
False
Suppose -2*f + 41 = -5*k - 8, 0 = -2*f + 2*k + 34. Suppose -6*c + 3*c = -f. Is c a multiple of 4?
True
Let y(m) = -3*m + 2. Let i be y(4). Let d(p) = p**2 + 9*p + 8. Does 9 divide d(i)?
True
Let b(r) = r - 2. Let g(u) = -u - 3. Let x be g(-7). Let s be b(x). Let m(f) = 8*f + 2. Is 9 a factor of m(s)?
True
Suppose -2*i + 2 = -0*i. Let g(x) = 43*x**3 - 2*x**2 + 2*x - 1. Does 14 divide g(i)?
True
Suppose 4*j + 0*j + 2*p = 4, -2*j + 8 = -2*p. Suppose 28 + 0 = 4*m + j*f, -f = -4*m + 16. Suppose m*l - 88 = l. Is l a multiple of 8?
False
Let j(q) = -3*q + 2. Let k be j(5). Let i = -8 - k. Is 4 a factor of ((-36)/(-15))/3*i?
True
Suppose -11 = -i + k + 4, -3*k = 3. Suppose 4*y - i = 