ltiple of 6?
False
Let a be (31 + 3 - 3) + -3. Is a/42 - 88/(-3) a multiple of 15?
True
Let g be -3 - -2 - (3 + -5). Let x(m) = 9*m**3. Let u be x(g). Let h = 21 + u. Does 15 divide h?
True
Let a(c) = c**2 - 2*c + 4. Does 5 divide a(-5)?
False
Let c(o) = o**2 + 5*o + 1. Let a be c(-5). Is 71 + 0/(-3)*a a multiple of 27?
False
Let t(x) = 0 + 2 - x**2 + 2. Let z be t(0). Is 4 a factor of (1 + 1)/1*z?
True
Suppose 0*l - 15 = -3*l. Suppose 0 = 4*c - 4, 4*u - 6 = l*c + 101. Does 28 divide u?
True
Suppose 3*i - 28 = 5*j, 4*i - 12 = -3*j + 6. Suppose i = 4*h - h. Suppose 0*d = h*d - 36. Does 18 divide d?
True
Suppose 5*z = -2*r - 2*r + 72, 0 = -z + 4*r. Suppose z = p - 9. Is 5 a factor of p?
False
Let y be 1 + 1 + -1 + 1. Suppose 2*m = -2*t + 10, 4*t = 2*t + y*m + 14. Is t a multiple of 6?
True
Let b = 180 - 122. Is b a multiple of 17?
False
Let w = 152 + -58. Is w a multiple of 14?
False
Let c(m) = -2*m - 4. Let q be c(-3). Suppose -q = -g + 1. Suppose 55 = 4*v + 5*y, -5*v - g*y = -5*y - 77. Does 11 divide v?
False
Let p(j) be the second derivative of -j + 0 - 1/12*j**4 + 3*j**2 - 11/6*j**3. Is 17 a factor of p(-7)?
True
Let u(y) = -y**3 + 2*y - 1. Let k be u(2). Let d be 1557/k - (-3)/(-5). Is 17 a factor of d/(-9) - 4/6?
True
Let y(o) = -o + o**2 + 0*o + 5*o - 5*o. Does 2 divide y(2)?
True
Suppose 0 = 4*o + 80 - 320. Is o a multiple of 12?
True
Suppose -2*r - 12 = -5*r. Suppose i + d + 4*d = 27, -25 = -i - r*d. Is i a multiple of 11?
False
Suppose -18 = -m + 2. Suppose 5*v - 3*s = v + m, 5*s = 4*v - 12. Does 3 divide v?
False
Is (-2 + 1)*16/(-4) a multiple of 2?
True
Suppose 2*s = -2*s. Suppose s = -5*x + 3*k + 49, k - 35 = -4*x + 2*k. Is x a multiple of 3?
False
Suppose 4*s + 3*t - 40 - 28 = 0, 5*t = -3*s + 62. Is s even?
True
Let o(u) = -u**2 + 5*u - 4. Let r = 4 + 1. Let f be o(r). Does 20 divide (-15 + 0)/(3/f)?
True
Let x = 32 + 57. Let s = -51 + x. Does 19 divide s?
True
Let z = -5 - -7. Let g(d) = d**3 + 3*d**2 - 3*d + 3. Is 4 a factor of g(z)?
False
Let z(p) = 4*p**3. Let u be z(1). Suppose i = -u*i. Suppose 2*r - r - 28 = i. Is 14 a factor of r?
True
Let g be 1/3 + (-10)/(-15). Does 15 divide 231/6 + g/(-2)?
False
Let v = 3 + 0. Let p be -2*(9*-1)/v. Is 5 a factor of (-16)/(-2) - (-3 + p)?
True
Let s(w) be the second derivative of -w**7/840 - w**4/12 + w**3/3 + 2*w. Let m(n) be the second derivative of s(n). Is m(-3) a multiple of 19?
False
Let j(h) = -4*h - 4. Does 5 divide j(-6)?
True
Let b(q) = 3 + q**2 + 3 + 1 + 6*q. Suppose 2*o - o = 2*c - 13, -3*o - 15 = 2*c. Is b(o) a multiple of 8?
False
Let s(r) = 6 + r**2 + 6 - 8*r + r. Is s(8) a multiple of 10?
True
Let b = -28 - -16. Let s = -543 - -162. Does 21 divide s/b + (-1)/(-4)?
False
Let g be (-57)/2*(7 - 9). Let i = g + -18. Is 13 a factor of i?
True
Suppose -63 = -5*a + 17. Does 8 divide a?
True
Let c(a) = -83*a - 70. Is 15 a factor of c(-5)?
True
Is 41 a factor of (-2 - 24/(-10))*205?
True
Suppose -4*k + 98 = -2*k. Suppose 5*a = -4*x + 3*x - 13, -2*x + 5*a + k = 0. Is 12 a factor of x?
True
Let i = -111 + 178. Is 39 a factor of i?
False
Suppose 4*p + 9 + 1 = i, i + 5*p = 19. Suppose -u - 5 = -x + 20, 4*u = 3*x - 75. Let r = x - i. Is 5 a factor of r?
False
Suppose 3 = 3*t - 0. Let k be 4/(-6)*(-3)/t. Suppose 2 = 2*i + 4*b + 6, -4*i - 3*b = -k. Is 2 a factor of i?
True
Suppose 2*b + 64 = i, -2*i = -3*i + 4*b + 70. Suppose -o = -3*r - 3*o + 91, -2*r - 2*o + i = 0. Is 28 a factor of r?
False
Suppose 80 = -4*m + 5*m. Is 8 a factor of m?
True
Let o = 6 - 21. Let q = -8 - o. Is 3 a factor of q?
False
Let c(q) = -q + 2. Let x be c(-8). Does 13 divide (-2)/x - (-132)/10?
True
Let b = 20 + 12. Does 5 divide b?
False
Suppose -559 = -6*h + 77. Is h a multiple of 13?
False
Let w be 20/8*1*2. Suppose w*s = s. Suppose s = d - 5 - 7. Is 5 a factor of d?
False
Let d = -5 + 8. Let v(n) = -d + 4*n - 6 - 2. Is 13 a factor of v(9)?
False
Let c(o) = -2*o**2 + 5*o - 6. Let f(h) = h**2 - h + 1. Let v = 5 + -4. Let r(x) = v*c(x) + 5*f(x). Does 13 divide r(-3)?
True
Suppose n = 6 + 19. Suppose -a + n = -2*s, 0*s + 4*s - 16 = 0. Does 9 divide a?
False
Let o(w) = -w**3 - 5*w**2 + 5*w + 2. Let r be o(-5). Let z = 39 + r. Is 5 a factor of z?
False
Let a(d) = -d + 3. Let y be a(3). Suppose y*x = -2*x. Is 1 + 30/(x - -1) a multiple of 25?
False
Let p be (2/(-8))/((-2)/16). Suppose -22 + 166 = p*f. Does 24 divide f?
True
Let h(b) = -b**2 - 4*b + 3. Suppose 4*k - 1 = -21. Let q be h(k). Is (3 + q)*(42 + -1) a multiple of 15?
False
Let k = 19 - 12. Does 4 divide k?
False
Let r = -52 - -64. Is 2 a factor of r?
True
Suppose 9 = 3*t - 0*t. Suppose 3*c - k = c + 28, 4*k - 56 = -4*c. Let g = c - t. Is 5 a factor of g?
False
Let c(f) = f**2 + f - 4. Suppose -a = -4*a. Let o be c(a). Let k(p) = -p**3 - 3*p**2 - 5. Is k(o) a multiple of 11?
True
Suppose 4*k - 290 - 42 = 0. Does 40 divide k?
False
Let j(g) = g**2 - 6*g + 4. Let f be j(5). Is 8 a factor of 8 - (f + 2 + -3)?
False
Suppose 25*y - 18*y = 1848. Is 33 a factor of y?
True
Let m(l) = l**2 + 5. Suppose 5*s - 35 = -4*b, 5*b + 13 = -5*s + 53. Is m(b) a multiple of 15?
True
Let m be (0 - 0)/2*1. Suppose t = -3, m = k - 2*k - 4*t - 10. Is k a multiple of 2?
True
Suppose -3*j - 4*h - 2 = -1, 5*j = 2*h + 33. Suppose -5*y = -3*f + 18 + 82, j*f = 5*y + 160. Is 10 a factor of f?
True
Let v(i) = i**2 - 6*i + 1. Let w be v(4). Let y = -4 - w. Suppose 0 = g - 2*c - 13 + 4, 0 = 3*g - y*c - 33. Is 13 a factor of g?
True
Let z(b) be the third derivative of 2/15*b**5 - 1/120*b**6 + 2*b**2 + 0*b - 1/3*b**4 + 1/2*b**3 + 0. Is z(6) a multiple of 12?
False
Let f = 97 - 55. Is 13 a factor of f?
False
Suppose 7*r = 10*r + 108. Let c = -10 + 7. Is ((-15)/(-6))/(c/r) a multiple of 15?
True
Suppose 1 = 5*s + 11. Is ((-9)/3)/(2/s) a multiple of 3?
True
Suppose -4*s + 8 = 0, -6*p - 2*s = -2*p - 72. Is p a multiple of 4?
False
Let d = -7 - -21. Is 3 a factor of d?
False
Let o(f) = -f - 14. Let j be o(-14). Let c(r) = -r**3 + r + 15. Is c(j) a multiple of 15?
True
Suppose 0 = -j + 3 - 1. Suppose n + 9 = j. Let u(w) = -w. Does 7 divide u(n)?
True
Suppose -p + 170 = 3*p - 3*u, 4*u + 80 = 2*p. Suppose 2*j - p = -2*j. Is j a multiple of 4?
False
Let q = 12 + -9. Suppose 2*a - q*a + 33 = 0. Is 13 a factor of a?
False
Let p = 63 - 35. Is p a multiple of 28?
True
Let r be ((-18)/(-15))/((-6)/(-280)). Suppose -2*u = -0*u - r. Does 14 divide u?
True
Suppose -p = -9 + 6. Suppose -5 = 4*m - 4*o + 3, 3*o - 3 = 4*m. Suppose -3*w + 105 = m*v, 148 = 4*w - p*v - v. Does 18 divide w?
True
Suppose 0*y + 2 = -2*y. Let d(b) = 29*b**2 - 2*b - 1. Does 10 divide d(y)?
True
Let v = 32 + -126. Let m = v + 321. Suppose -x + m = 5*s, -s + 174 = 3*s - 3*x. Does 21 divide s?
False
Let u = -11 - -9. Is 35 - u - (5 + -2) a multiple of 17?
True
Suppose -3*o - t = 4, -5*t - 8 = 3*o - 0*o. Let b be 1/(-3) + o/(-3). Suppose 0*q + q - 39 = b. Is 17 a factor of q?
False
Let t(x) = -x**3 - 6*x**2 - 3*x + 7. Does 11 divide t(-6)?
False
Suppose j + 0*z - 2*z - 40 = 0, 3*j - 65 = -5*z. Is j a multiple of 5?
True
Suppose 172 + 675 = 7*u. Is 15 a factor of u?
False
Let y = -11 - -18. Let d = y - 10. Does 22 divide 45 + d - (0 + -2)?
True
Let c(t) be the first derivative of t**4/4 + 4*t**3 + 3*t**2 - 4*t - 6. Does 17 divide c(-11)?
True
Let y(d) = -d**3 - 7*d**2 - d + 7. Let u be y(-5). Let j = u + 92. Is j a multiple of 14?
False
Suppose -37 = -3*b + 35. Does 8 divide b?
True
Let p(u) = u**2 - 3*u - 14. Is p(6) a multiple of 2?
True
Let c(g) be the second derivative of -g**5/20 + g**4/3 - g**3/3 - 3*g**2/2 - 2*g. Let x be c(4). Let k = -4 - x. Is 6 a factor of k?
False
Let r = -4 + 6. Suppose t - 1 = -r. Is 22 a factor of (t - 59)*(-6)/8?
False
Suppose 0 = 2*c + 4*m - 33 + 13, 4*m = 5*c - 78. Does 4 divide c?
False
Let n = 16 - 10. Let i = 10 - n. Does 4 divide i?
True
Let s = -28 - -42. Does 17 divide 75/(-2)*s/(-21)?
False
Let j(m) = 3*m**2 + 9*m. Is 19 a factor of j(-7)?
False
Suppose -4*w + 2*o - 8 = 6*o, -2*w = -3*o - 16. Suppose 3*r - 120 = -4*y - 2*r, 2*y - 60 = w*r. Is y a multiple of 10?
True
Let l = -2 - -1. Let i be (-1)/(l/(-2)*-1). Suppose -i*a = -8 - 4. Is 4 a factor of a?
False
Let i = 49 + -29. Suppose 5*p - i = 20. Suppose -3*m + p = -m. Is 4 a factor of m?
True
Suppose -2*b = 3*b - 25. Suppose -5*y = -2*v - 154, 0*