(-11) a multiple of 9?
True
Let d(o) = o**3 - 8*o**2 + 7*o - 10. Suppose 2*y + 0*y - 28 = -3*u, 5*u + 12 = 4*y. Is 21 a factor of d(y)?
False
Let b be (-2)/(1 - 116/118). Let s = -169 - b. Let d = s - -79. Is 14 a factor of d?
True
Let c be (-2)/(-2)*(-12)/2. Let u(w) = -w**3 + 2*w**2 + w. Let p be u(2). Is (p + -28)/(c/3) a multiple of 12?
False
Suppose 16 = 4*d - j, -5*d - 2*j + 7 = -0*d. Is d a multiple of 2?
False
Suppose -v - 2*u = 1, 4*u = -5*v - 6 + 25. Is 7 a factor of v?
True
Suppose 60 = 3*h + 2*h. Suppose l - 3*l - h = 0. Is 39/l*-4 + 2 a multiple of 14?
True
Let q(x) = -x**2 + 6*x + 10. Does 2 divide q(7)?
False
Let u(g) = -4*g**2 + 5*g**3 - g**2 + 2 - g + 4*g**2. Is 12 a factor of u(2)?
True
Suppose -d = 2, -r = -2*r - d - 4. Let w be r/8 + 2/8. Is 9 a factor of 40/6*(3 + w)?
False
Let a(v) = -7*v. Let y(l) = l**3 + 8*l**2 - 9*l - 1. Let m be y(-9). Let u be a(m). Suppose -3*f - 96 = -3*b, -2*b = -u*b + 3*f + 154. Does 11 divide b?
False
Let l(v) = -2*v - 6. Let h be l(-5). Let w = h - 4. Does 3 divide (w - -1) + 1 - -4?
True
Let m be 6/(-21) - 6/(-21). Suppose m = -c - 3*c - 3*h + 124, 0 = -2*c - 2*h + 64. Does 8 divide c?
False
Suppose -148 = -4*p - 4*r, p - 2*p = -5*r - 31. Is 12 a factor of p?
True
Suppose -2*z - 17 = 9. Let c(t) = -2*t - 5. Is c(z) a multiple of 7?
True
Let u be (6/15 + 0)*-15. Let x be (-20)/u*(-36)/(-20). Does 13 divide 51/2 + 3/x?
True
Does 12 divide 2/(-1) + (3 - 0 - -217)?
False
Suppose 4*i = -y, 3*y + 4*i + 27 = 3. Is 16 a factor of -2*(y/2 - 2)?
True
Let w = 0 - -3. Suppose -4*c - 16 = 0, -2*n - 2*c = w*c + 32. Let l = n + 12. Does 5 divide l?
False
Suppose -5*m - 51 = -466. Suppose 4*x - 2*x + 3*z - 24 = 0, -5*x + 4*z + m = 0. Is 8 a factor of x?
False
Let g(n) = -5*n**2 - 19*n + 9. Let o(x) = -2*x**2 - 9*x + 5. Let a be ((-14)/(-6))/(3/9). Let l(f) = a*o(f) - 3*g(f). Is l(6) a multiple of 8?
True
Suppose -3*i + 48 = -12. Is -25*((-8)/i + 0) a multiple of 10?
True
Let n = -20 - -45. Suppose -2*o + n + 11 = 0. Is o a multiple of 9?
True
Suppose 152 = -2*o + 4*a, -70 + 304 = -3*o + 3*a. Does 4 divide (-6)/4*o/15?
True
Let x = -8 - -8. Suppose x = -2*z - 0 + 10, 9 = 4*h - 3*z. Does 6 divide h?
True
Let y be (3 + -5 - -2) + 19. Suppose 0 = 2*q - 2*z - 20, 0 = 3*q + 2*z - 21 - y. Is q a multiple of 12?
True
Let a = -11 + 42. Let z(n) = n**2 + n + 2. Let t be z(-5). Let w = a - t. Is w a multiple of 9?
True
Let w(c) = -c**2 + 8*c + 5. Is w(5) a multiple of 9?
False
Suppose -3*s - 588 = -3*z, 4*z - 838 + 58 = 5*s. Is z a multiple of 40?
True
Let u be 2*(-1)/(-2) - -36. Let a = -21 + u. Does 10 divide a?
False
Let m(k) = -4*k + 9. Let x be m(8). Let p be (-1 - -2) + x + 2. Is 8 a factor of ((-36)/(-10))/((-4)/p)?
False
Let s(r) = r**2 + 2*r + 5. Let q be s(-6). Let u(z) = -z**2 + 11*z - 27. Let o be u(8). Is (-6)/o + 0 + q a multiple of 11?
False
Suppose 0 = -4*z - 10 + 50. Let d(p) = 17*p - 10. Let v be d(z). Suppose 4*s - 9*s + v = 0. Is s a multiple of 16?
True
Is 4 - (-3 - (4 + -7)) a multiple of 2?
True
Let v = -78 - -118. Does 17 divide v?
False
Let m = 70 + -58. Does 12 divide m?
True
Let v(h) = 2*h**2 + 4*h + 1. Let q be v(6). Let m = q + -62. Is 9 a factor of m?
False
Suppose -687 = -7*o - 1. Does 19 divide o?
False
Suppose 4*o = 32 + 8. Does 10 divide o?
True
Let d(u) = -3*u**2 - 8*u - 20. Let b(r) = -r**2 - 3*r - 7. Suppose 14 + 8 = 2*y. Let a(x) = y*b(x) - 4*d(x). Is a(-3) a multiple of 15?
True
Let g = -31 - -81. Let q = 9 - 14. Does 20 divide 5/(q/(-2)) + g?
False
Suppose 1063 - 309 = -3*v + 2*n, 0 = -5*v - 3*n - 1263. Let x = -29 - -30. Is 19 a factor of (v/(-30))/(x/5)?
False
Let j(m) be the first derivative of m**4/4 + 7*m**3/3 - 5*m**2 - 6*m - 2. Is j(-8) a multiple of 8?
False
Let l(j) = -3*j + 7. Does 7 divide l(-5)?
False
Let y be (2 + -1 + -2)*-1. Let d(f) = 14*f + 1. Let k be d(y). Suppose -k + 0 = -5*x. Does 2 divide x?
False
Suppose -7*p + 4*p - 3*f = -759, 0 = 2*p - f - 509. Is 43 a factor of p?
False
Let k = -439 + 263. Let f be (k/6)/((-1)/3). Suppose 3*v - f = -1. Does 10 divide v?
False
Let h = 2 + -4. Let w be (-1)/((-1)/2*h). Let p(m) = -11*m**3 + m + 1. Is 11 a factor of p(w)?
True
Let r(n) = -8*n + 10*n + 1 + 8. Does 9 divide r(0)?
True
Let x(b) = -4*b**2 - 2*b + 2. Let s be x(1). Let t = 5 - s. Does 3 divide t?
True
Let o(x) = -x + 8. Let m be o(7). Does 13 divide (3/(-4))/(m/(-60))?
False
Let f(x) = 7*x - 13. Is 4 a factor of f(5)?
False
Suppose -3*d = w - 129, 4*d - 3*w - 44 - 141 = 0. Suppose -3*g = -4*k - 33, 0 = 5*k - 5*g + 1 + d. Let s(j) = -3*j + 6. Is 14 a factor of s(k)?
False
Suppose 0 = 5*s + 7*s - 3708. Does 20 divide s?
False
Let v = -263 - -398. Is v a multiple of 45?
True
Let d = -9 + 15. Let q be 1/(-3) - (-512)/d. Suppose 0 = u + 4*u - q. Is u a multiple of 12?
False
Let p(t) = -12*t**3 + 2*t**2 - 4*t + 3. Let x(f) = f - 1. Let v(k) = -p(k) - 4*x(k). Let o be v(-1). Let c = -3 - o. Does 6 divide c?
False
Let j = -8 - -10. Let t(f) = 12*f + 2. Let p be t(j). Does 25 divide p - ((-3)/(-1) - 2)?
True
Let a = 3 - -4. Suppose 4*w + 5*h - a = 86, -2*h + 46 = 2*w. Is 18 a factor of w?
False
Let z = 56 - 31. Does 13 divide z?
False
Suppose -25 + 1 = -z - 4*x, 3*x + 115 = 4*z. Let d be (2/4)/(1/z). Let w = d - -16. Is w a multiple of 15?
True
Suppose a - 2*o - 6 = 0, 3*a + 8*o + 15 = 3*o. Suppose 5*w + 37 - 7 = a. Is (-2 + 1)/(w/48) a multiple of 4?
True
Let h(g) = g**3 - 11*g**2 + 2*g + 4. Let c be h(11). Suppose 0*t - c = -2*t. Is 13 a factor of t?
True
Let m = -97 + 172. Suppose 6*p + m = 3*p. Let l = p + 49. Does 9 divide l?
False
Suppose 4*i - 12 = -4*g, 0 = 5*g - 0*g - 5*i + 35. Does 13 divide 13/(-3)*(g - 1)?
True
Let x(o) = -o**2 - o + 2. Let s be x(0). Let p be 48/2*18/8. Suppose -d = -3, i + s*i = -5*d + p. Is i a multiple of 13?
True
Let k(w) be the third derivative of w**5/30 + w**4/4 - 13*w**3/6 + 4*w**2. Is k(-7) a multiple of 18?
False
Suppose u - 9 - 19 = 0. Is 9 a factor of u?
False
Let b = 170 - 248. Is b/((-2)/(4/3)) a multiple of 13?
True
Let o be (-16)/(-3)*(-60)/(-16). Let v = -9 + o. Is v a multiple of 11?
True
Let h be (-6)/8 - (-9)/(-4). Is 2 a factor of h - (-7 - (-3 - -6))?
False
Does 13 divide (26 + 0)/((-24)/(-36))?
True
Let q = 24 - 17. Let v = q - 2. Is v a multiple of 2?
False
Suppose -2*k - 8*k + 2450 = 0. Is 64 a factor of k?
False
Suppose 0 = 4*g + 3*l - l + 12, 0 = -4*g + 2*l + 4. Let a(r) = 26*r**2 + 1. Is 12 a factor of a(g)?
False
Let d(b) = 3*b**2 - 3*b - 2. Let f be d(6). Suppose -2*v - 2*v = -f. Does 9 divide v?
False
Let j(o) be the second derivative of -o**5/20 + o**4/2 - 2*o**3/3 - o**2 - o. Let u be j(5). Is (-3)/(-2)*22/u a multiple of 11?
True
Let a be 1 + -3 + (1 - -1). Suppose a = -5*r + 2*r - 2*h + 70, 5*r = 5*h + 125. Does 12 divide r?
True
Let t(p) = -p**2 + p + 29. Let i be t(0). Let v = i - 17. Does 5 divide v?
False
Let h = 10 + -7. Suppose 44 + 73 = h*r. Suppose -3*a = 5*b - r, 4*b - 34 = -3*a - 4. Does 3 divide b?
True
Let r = 185 - 81. Suppose d + r = 5*w, 2*d = w + d - 24. Is 20 a factor of w?
True
Suppose -5*i + 1020 = -2*i. Is i a multiple of 33?
False
Suppose 12*j + 91 - 1339 = 0. Does 9 divide j?
False
Suppose 4*q - 2*q + 18 = 4*p, -5*p - q + 5 = 0. Is 2 a factor of 4*(5/p - 2)?
True
Suppose -5*t = -20, 4*d = 3*t + 133 + 47. Is 16 a factor of d?
True
Is 15 a factor of (0 + -2)*((-51)/6 + 1)?
True
Suppose -v + 3*i + 33 = 0, v - 11 - 19 = 2*i. Is 4 a factor of v?
True
Let p = 137 - 82. Suppose -4*k + p = -173. Is k a multiple of 20?
False
Suppose -3*f - 4*c = c - 13, -9 = f - 5*c. Let p be 0/((2 + f)/3). Suppose p = m + 3*m - 12. Is m a multiple of 3?
True
Suppose 56 - 286 = -5*j. Suppose b + j = 5*b - h, 2*h + 8 = b. Is b a multiple of 6?
True
Let q(z) = 4*z**2 + z - 15. Is 29 a factor of q(-5)?
False
Let x(g) = 2*g**3 - 6*g**2 + 7*g - 4. Is x(4) a multiple of 8?
True
Suppose -3*l + 2080 = 5*l. Does 54 divide l?
False
Is 0 + 4 + 43*(-4)/(-2) a multiple of 15?
True
Suppose 0 = -w + 4*w + 3*i - 15, 4*i = 3*w - 15. Let z = 8 + w. Let d = -3 + z. Does 10 divide d?
True
Suppose -2*w - 45 = 3*w - 5*t, 51 = -3*w - 5*t. Let i = -9 - w. Is i a multiple of 3?
True
Let w(a) = -34*a**3 - a**2 + 1. Is w(-1) a multiple of 17?
True
Suppose 68*y = 64*y + 1584. Is y a multiple of 12?
True
Suppose -74 = -6*w + w - d, 