multiple of 12?
False
Suppose -2*l + 27 = -91. Let d = 85 - l. Let u = d - -2. Is u a multiple of 14?
True
Suppose b - 4*y = -2*b + 37, 5*y = -b - 13. Does 13 divide (b/14)/((-1)/(-104))?
True
Suppose 30*b - 32*b = -268. Is 9 a factor of b?
False
Let f(h) = -h + 19. Is f(-17) a multiple of 21?
False
Let h(q) = 5*q**3 + 27. Let x(o) = 2*o**3 + 13. Let c(l) = -3*h(l) + 7*x(l). Is c(0) a multiple of 4?
False
Let d(k) = 4*k - 9. Let b(f) = 3*f - 8. Let j(w) = 5*b(w) - 4*d(w). Does 5 divide j(-9)?
True
Let n = 134 + -78. Suppose -3*u = -u - n. Does 7 divide u?
True
Suppose -3*b - 12 = 0, 7 = -k - 5*b - 10. Suppose -k*n = -61 + 7. Suppose 4*v - 26 = n. Is v a multiple of 4?
False
Let j = -8 - -13. Suppose -h + j*h = -5*c + 124, 3*h - 100 = -4*c. Does 14 divide c?
True
Let l(p) = 6*p. Is 9 a factor of l(6)?
True
Let v(n) be the first derivative of 6*n**3 - 3*n**2/2 + 3*n - 1. Is v(2) a multiple of 23?
True
Suppose 3*i = 6, 5*k + 4*i - 164 = 134. Does 29 divide k?
True
Let q = -6 - -4. Let f be 16 - ((-2 - q) + -1). Suppose 3*t - f = 22. Does 13 divide t?
True
Let i(m) = m**3 - 4*m**2 - 5*m - 4. Let v be i(5). Let k(h) = 8*h**2 + 2*h + 1. Let j be k(-1). Let s = j + v. Is s a multiple of 2?
False
Let t be (0 - (-3)/3)*3. Is 10 + ((-6)/2)/t a multiple of 7?
False
Let w(o) = o**3 + 13*o**2 + 7*o + 9. Let n(g) = -3*g**3 - 38*g**2 - 20*g - 26. Let c(v) = 4*n(v) + 11*w(v). Is 11 a factor of c(-9)?
True
Let j be ((-2)/(-4))/((-2)/(-72)). Is (5 + -9)*j/(-4) a multiple of 11?
False
Suppose -211 = -7*h + 279. Does 14 divide h?
True
Let a be 59 - (0 - 12/(-4)). Let x = a + -37. Does 5 divide x?
False
Does 33 divide (0 - 4)*(-1098)/24?
False
Does 20 divide (-96)/9*90/(-12)?
True
Let d(j) = j**2. Let x be d(1). Let y(n) = n**2 + 6*n - 10. Let v be y(-8). Is -4*(1/x - v) a multiple of 9?
False
Suppose -2*i = 5*u - 14, -3*u = 5*i - 6*u - 66. Does 6 divide i?
True
Suppose 10 = 9*s - 4*s. Is (3 + -3 - s) + 20 a multiple of 4?
False
Let o be -2 + 2 + 1 + 32. Suppose -3*y - y + z = -94, -y + o = -5*z. Suppose 2*x - y = -1. Is 11 a factor of x?
True
Suppose -3*l + 4*l - 24 = 0. Is l a multiple of 13?
False
Let r be ((-12)/(-10))/(6/(-30)). Let o be (-2)/r - 3/9. Suppose o = -0*z + 2*z - 28. Does 14 divide z?
True
Let x = -73 + 93. Is x a multiple of 10?
True
Let p = -247 - -176. Let z = -14 - p. Is z a multiple of 19?
True
Is (-3220)/(-90) + 4/18 a multiple of 18?
True
Let w = -2 - -12. Is 10 a factor of ((-15)/10)/((-1)/w)?
False
Let f = 6 - -7. Is 3 a factor of f?
False
Let j = -90 - -51. Let c = j + 58. Is c a multiple of 11?
False
Suppose 17 = 4*x + 5*k, -2*x + 2*k = k - 5. Suppose -i - 17 + 2 = 4*p, -x*p = 15. Is i even?
False
Let a = 128 + 52. Does 9 divide a?
True
Let l(x) = 80*x**2 - 4*x + 3. Let h be l(2). Suppose -h = 3*r - 8*r. Is ((-2)/(-3))/(3/r) a multiple of 6?
False
Is 9 a factor of ((-532)/6)/(12/(-18))?
False
Let u(k) = -28*k - 6. Is 11 a factor of u(-1)?
True
Let g(r) = 2 - 3*r**2 - 5 + 6*r**2 - 2. Does 13 divide g(4)?
False
Let m(q) = 9*q**2 + q - 1. Let u be m(-2). Suppose -w - u = -2*r - 0*w, 0 = 4*r - 5*w - 81. Does 7 divide r?
True
Let h(v) = -v**3 + 8*v**2 + 10*v - 9. Let r be h(9). Suppose 3*w - 2*d - 8 = -w, 4*d - 2 = -w. Let f = w + r. Is 2 a factor of f?
True
Let x(q) = q**3 + 13*q**2 - 16*q - 12. Is x(-13) a multiple of 9?
False
Let n(a) = a**2 + 3*a + 11. Is n(11) a multiple of 33?
True
Suppose 0 = -4*f - 2*o - 300, -3*f + 5*o = -18 + 230. Is 6 a factor of (-39)/(-26) - f/4?
False
Suppose -3*m + 3*w = -12, m + 3*w = 5*m - 16. Suppose m*p + 42 = p. Let c = p - -40. Does 13 divide c?
True
Let w(y) = -51*y - 1. Let k be w(-1). Suppose 2*l + k = 168. Is l a multiple of 21?
False
Let z be -3*(10/3 + 0). Let j be (9/(-15))/(1/z). Does 14 divide (-9)/(j/2) + 37?
False
Let o = -12 - -15. Suppose 5*d - 27 = 5*q + 43, 0 = o*q - 3. Is d a multiple of 6?
False
Let s = 271 - 207. Is s a multiple of 32?
True
Let l = -122 + 242. Let b = 72 + -155. Let f = l + b. Is 14 a factor of f?
False
Does 30 divide (-628)/(-7) - (-6)/21?
True
Let b(o) = -o**3 - 8*o**2 + 5*o - 9. Is 9 a factor of b(-9)?
True
Suppose -2*w = -5*w. Suppose w = -3*k + 26 + 13. Is 9 a factor of k?
False
Let q = 8 - -1. Let l(d) = 18*d. Let s be l(1). Let x = q + s. Is 12 a factor of x?
False
Let i = -26 - 3. Let l be (-2)/3 - 298/(-6). Let s = l + i. Does 20 divide s?
True
Suppose b + 0*b - 274 = 0. Suppose -3*k + 2*k - b = -4*n, -4*n - 5*k + 286 = 0. Is n a multiple of 28?
False
Suppose -6*v + 2*v = -76. Let q = v - -16. Is 9 a factor of q?
False
Suppose 0 = -4*y + 3*j + 29, 2*y + 2*j - 19 = -3*y. Suppose -5*s + 13 + 12 = 0, 4*o - 3*s = y. Suppose -o*l + 13 = -22. Is 3 a factor of l?
False
Let l = -15 + 21. Let d = 1 + l. Suppose 0 = -j - 0*j + d. Is 7 a factor of j?
True
Let r be (-3)/(2*1/(-2)). Suppose r*o - 35 = 1. Is o a multiple of 12?
True
Let d = 18 - 12. Is d a multiple of 6?
True
Let p = 7 - 3. Suppose -x - 37 = -3*h, -3*x = p*h + h - 57. Is 12 a factor of h?
True
Let y(b) = b**3 - 8*b**2 + 8*b - 7. Let u be y(7). Let z(f) = f**2 + 6. Let d be z(u). Is (d/8)/((-1)/(-16)) a multiple of 6?
True
Let f = 157 + -102. Suppose -4*p + 113 = -f. Is 21 a factor of p?
True
Suppose 0 = -5*o - 2*u - u + 172, u + 176 = 5*o. Let k = o - 13. Does 11 divide k?
True
Let j = 7 + 1. Suppose -m + j = -28. Is 14 a factor of m?
False
Suppose 63 = 4*c - 17. Is c a multiple of 5?
True
Let q = -27 + 41. Let r = q + 3. Does 15 divide r?
False
Let s be -7 + -1 + 1 + 1. Let t(j) = -4*j**2 + 11*j**2 + 0*j**3 + j**3 + 2. Is t(s) a multiple of 19?
True
Let o(y) = y**3 + 8*y**2 - 2*y - 10. Let f be o(-8). Let u(t) = 13*t + f*t - 8*t. Is u(2) a multiple of 11?
True
Let v(g) = -g**3 - 6*g**2. Let d be v(-6). Let b = 3 - d. Suppose 2*k - 5*r = -2*r + 11, -b*r = 3*k - 24. Does 5 divide k?
False
Suppose -655 = -4*l + 3*h, -2*h - 5 = -h. Is l a multiple of 16?
True
Suppose 45 = a + 12. Is 21 a factor of a?
False
Let u(w) = -w**2 - 2*w + 26. Is u(0) a multiple of 13?
True
Let n(q) = -q**2 - 12*q - 6. Let s be n(-12). Let p(x) be the third derivative of -x**4/8 - x**3 + x**2. Is 4 a factor of p(s)?
True
Suppose -132 - 180 = -4*w. Is 20 a factor of w?
False
Does 20 divide 219/9 + (-4 + 2)/6?
False
Let d(w) = -w. Let j be d(5). Let s be (-49)/j + (-2)/(-10). Suppose -2*q + 4*k + s = -3*q, -3*q - 4*k = -10. Does 9 divide q?
False
Let v be (-1)/(0 + (-4)/(-144)). Let f = v - -94. Is 17 a factor of f?
False
Let m be 32/6 - (-2)/(-6). Let i be m + (-1)/(-3)*0. Suppose -i*n - 2*x = -3*x - 39, -2*n = x - 17. Is n a multiple of 3?
False
Suppose 0 = -2*u - 8 + 20. Does 7 divide (0 + -6)*(-28)/u?
True
Let g(v) = v**3 - 5*v**2 - 5*v + 3. Is g(6) a multiple of 9?
True
Let d(v) = v + 7. Let f be d(-10). Let a be (1/f)/(9/(-108)). Suppose -r - 146 = -5*o + r, -2*r = -a. Is o a multiple of 15?
True
Let r(v) = -14*v + 3. Let z be r(3). Let g = z + 24. Let f = 26 + g. Is 11 a factor of f?
True
Suppose -g + 40 = 4*g. Suppose 0 = 2*d - 70 - g. Does 10 divide d?
False
Suppose 0 = -p - 3*j + 23, j + 130 + 14 = 4*p. Does 20 divide p?
False
Let y be (-5)/(0 + 1/(-3)). Let a = y - 8. Is a a multiple of 2?
False
Suppose 0 = 5*n + 2*b + b - 336, 3*b = -2*n + 138. Is 33 a factor of n?
True
Let z = 8 - -24. Is z a multiple of 16?
True
Let v(l) = 8*l - 1 + 3*l**3 - 4*l**3 + 6 + 5*l**2. Is 10 a factor of v(6)?
False
Is 11 a factor of (5/3)/(5/90)?
False
Let c(i) = -3*i + 37. Is c(10) a multiple of 4?
False
Let f be (-4)/20 + 2/10. Suppose 4*s - 5*m - 78 = -9, -4*s + 3*m + 59 = f. Is 9 a factor of s?
False
Let o = 2 + 1. Let w = o - -6. Let q = w - 0. Is 9 a factor of q?
True
Let l be (-36)/15*(-20)/6. Suppose 2 = -f + l. Does 6 divide f?
True
Let p(u) = 5 + 4*u - 5 - 6. Let w be p(4). Let l = w - 0. Is 5 a factor of l?
True
Let m(n) = n**2 - 2*n + 1. Let o be m(1). Let g(c) = -c**3 - c**2 + 60. Is 30 a factor of g(o)?
True
Suppose -2*q + 13 + 3 = 0. Let d = q + -5. Is 2 a factor of d?
False
Suppose 21 = 2*f - 15. Suppose 2*y + f = 64. Is 23 a factor of y?
True
Suppose 4*a = 92 + 1004. Let p = a + -193. Is 15 a factor of p?
False
Let l = -3 - -4. Suppose 4*r = -l + 37. Is r a multiple of 5?
False
Suppose -112 = -2*a - 14. Is 7 a factor of a?
True
Let z(y) = 37*y**2 + 2. Let l be z(2). Suppose -4*q = q. Suppose q = -3*w - 2*w + l. Does 12 divide