t l be h(6). Suppose -l = -3*i + i. Is 11 a factor of i?
False
Let t(r) = -2*r**3 + 25*r**2 - 13*r - 28. Let h be t(12). Suppose 276 = 2*d - 4*b, -4*d - 2*b + 7*b = -561. Let q = h + d. Is q a multiple of 26?
True
Let g(m) = -m**2 - 11*m - 8. Let i = 17 + -14. Let c be ((-7)/i)/(1/3). Is 3 a factor of g(c)?
False
Let x = -4149 + 7589. Is x a multiple of 40?
True
Let v(c) = 17*c + 2. Let u be -3 + 8/(-6)*-3. Let h be v(u). Suppose 49 - h = 2*x. Is 5 a factor of x?
True
Let q(b) = 12*b - 38. Is q(9) a multiple of 5?
True
Let n = 1733 - -1471. Is 89 a factor of n?
True
Let l = 37 + -3. Suppose 247 = 4*t - v, -3*t + 2*v + 145 + l = 0. Is t a multiple of 15?
False
Does 11 divide ((-18)/(-2) - 10) + 597?
False
Suppose 2*b + 83 = 3*w, w + 63 = -2*b - 16. Let p = 22 - 12. Does 16 divide 229/4 + p/b?
False
Is 2 - (-8 - (-4 + 188)) a multiple of 11?
False
Let z(c) = -6*c - 3. Let u(k) = 7*k + 3. Let w(l) = -5*u(l) - 6*z(l). Is w(2) a multiple of 4?
False
Let i = -207 + 252. Is 9 a factor of i?
True
Let d(m) = 8*m - 32. Let p(c) = -c + 4. Let r be p(-5). Is 10 a factor of d(r)?
True
Suppose 2102 + 708 = 10*i. Suppose 3*d - 20 = -2*d. Suppose 5*q + v = i, -4*q + d*v + 88 = -132. Is q a multiple of 14?
True
Suppose -7 = -m + 5. Suppose -j = q - 69, -3 = -3*j + m. Is 16 a factor of q?
True
Suppose -37*u + 10618 + 48138 = 0. Does 9 divide u?
False
Let i be 1*(0 + -1 + 38). Suppose -3*w = -2*t + 15, -3*w + 13 = -3*t + i. Let x(y) = y**3 - 9*y**2 + 4*y - 1. Is x(t) a multiple of 8?
False
Is (45/12)/((-7)/(-952)) a multiple of 12?
False
Let k(b) be the first derivative of -3 - b**2 + 2/3*b**3 - 4*b. Is k(5) a multiple of 18?
True
Suppose -93*q - 950 = -94*q. Is 50 a factor of q?
True
Let v = -396 + 558. Suppose -4*g + 2*g + 3*l + 63 = 0, -5*g + v = -3*l. Does 26 divide g?
False
Suppose -5*c - 5*q = -0*q + 130, 3*c + 54 = 5*q. Let h = -3 - c. Is h a multiple of 6?
False
Let v = 480 + -230. Does 25 divide v?
True
Suppose -10*s + 6*s = -12. Suppose 162 = -s*v + 519. Is v a multiple of 11?
False
Suppose -689 + 4441 = 8*u. Suppose -3*z + 318 - 23 = -5*f, -5*z - 3*f = -u. Does 41 divide z?
False
Let p = -18 - -20. Suppose 2*m - 6 = -p. Suppose 7*g - 59 = m*g - k, 3*g - 21 = 3*k. Is 3 a factor of g?
False
Suppose -u - c - 4*c = -63, 2*u - 87 = 3*c. Suppose -q + 7 = 2. Suppose -q*m + 11 = -a, m = -4*a - 2*m + u. Is 7 a factor of a?
False
Let d be (-4)/16 - 21/12. Let w(m) = -m**3 - m**2 + 2*m. Let p be w(d). Suppose 2*g - 34 = -5*r, p*r = -g + r + 24. Is 6 a factor of g?
False
Let m(i) = -i**2 + 4*i + 8. Let p be m(5). Suppose 3*z - p*t - 194 + 23 = 0, 0 = z - 5*t - 77. Is 26 a factor of z?
True
Let h be 1*((-18 - 2) + 0). Let j be ((-6)/7)/(h/70). Suppose -5*i + 25 = 3*z - 99, -3*i + 84 = -j*z. Is 13 a factor of i?
True
Let k(s) = s**2 + 5*s - 7. Let f be k(-7). Let w = 3 - f. Is (-6 - w)/((-1)/3) a multiple of 2?
True
Let r(q) = q**2 - 8*q - 5. Suppose -2*d + 11 = -11. Let x be r(d). Let v = x + -11. Is 13 a factor of v?
False
Let b = 1330 - 973. Does 2 divide b?
False
Let x = 11 - 15. Does 21 divide 2/16*(-46 + x)*-16?
False
Let z(w) = -819*w + 571. Is 9 a factor of z(-4)?
False
Suppose 5*a + 38 + 2 = 0. Suppose -2*k = 13 + 13. Let p = a - k. Is 2 a factor of p?
False
Let o(x) = -12*x**3 + 4*x**2 + 3*x + 1. Let y be o(-2). Let l = 31 + y. Let g = l - 82. Does 13 divide g?
False
Let t(m) = 4*m**2 - 10*m + 11. Is t(19) a multiple of 23?
True
Suppose 0 = -4*t - 20, -4*u - 135 = -6*u + 3*t. Let c = 75 - u. Is 9 a factor of c?
False
Let d(g) = -g**3 + 8*g**2 + 10*g + 9. Let k(q) = -3*q**3 + 24*q**2 + 30*q + 26. Let c(m) = -8*d(m) + 3*k(m). Let b = 12 + -3. Is c(b) a multiple of 5?
True
Let o(y) = 11*y - 21 - 2*y - 21*y + 1. Does 10 divide o(-6)?
False
Let l(a) = 8*a - 28. Suppose -3*c + 11*z + 29 = 6*z, -3*z + 5 = c. Is l(c) a multiple of 18?
True
Let u = -32 - -35. Suppose -2*l = -2*y + 8, -u*l = 5*y + l - 29. Suppose 5*f + 0*f + 75 = 5*t, t - y*f = 19. Does 4 divide t?
False
Suppose -4*k - 76 = -2*k. Let y = k - -44. Is y a multiple of 3?
True
Let u(q) = -q**3 + 12*q**2 - 16. Is 35 a factor of u(11)?
True
Suppose -12*g = 3523 - 11239. Is g a multiple of 10?
False
Let q = -9 + 3. Let m be (1 - -2) + (9 - q). Suppose -m + 6 = -4*x. Is 2 a factor of x?
False
Let b(j) = -j**3 + 3*j**2 + 4*j + 7. Let s be b(6). Does 19 divide 4/22 - 1834/s?
False
Let x(n) = 17*n**2 - 8*n + 30. Does 28 divide x(8)?
False
Suppose -4*w = v, -3*v = 17 - 5. Let n = 4 + w. Let l(a) = 14*a - 4. Is 22 a factor of l(n)?
True
Let s = -38 + 54. Suppose 12 + s = 2*x. Is 7 a factor of x?
True
Let w = -60 - -133. Suppose 0 = 2*m - 51 - w. Suppose -3*a + a + m = 0. Does 13 divide a?
False
Let y(j) = j + 1. Let t be y(-1). Suppose t = 3*a + 12 + 60. Is 4/a + 1857/18 a multiple of 28?
False
Let j(t) = t**2 + 2*t + 1. Let u be j(-1). Suppose -4*y + 84 = -3*y + 5*k, -5*y + 5*k + 390 = u. Is 32 a factor of y?
False
Suppose -m = -205 + 94. Is 5 a factor of m?
False
Suppose -26*k + 1360 = -21*k. Is 34 a factor of k?
True
Let x(s) be the first derivative of -s**2/2 - 6*s - 14. Is x(-13) even?
False
Suppose 2244 = 7*p + 15*p. Does 34 divide p?
True
Suppose 0 = -4*w + 5*w + 89. Let x = 150 + w. Is x a multiple of 9?
False
Let v(g) = g**3 - 15*g**2 - g + 18. Let j(n) = n**3 + 7*n**2 + 4*n + 3. Let m be j(-6). Does 3 divide v(m)?
True
Suppose 2*m = -2*c + 20, 0 = -0*m + m - c - 4. Let a be (-532)/(-12) - 4/(-6). Suppose -3 = g, -3*g = t - m*g - a. Is t a multiple of 11?
True
Let j be 5/((-15)/(-6))*1. Suppose 0 = 5*n - o + 5, n + j*o - 4 + 16 = 0. Let a = 1 - n. Is a even?
False
Suppose 3*w + 4 = -3*h - 2*w, -14 = -3*h + 4*w. Suppose h*l - 25 = -4*b + 3*l, -2*b + 15 = -l. Suppose -270 = -b*i + 3*k, -10 = 5*k - 3*k. Does 25 divide i?
False
Let h = 490 - 300. Does 2 divide h?
True
Let m = 216 + -36. Is m a multiple of 9?
True
Suppose 0 = -3*o + 8*o - 20. Let w(h) = 22*h - 25. Is 15 a factor of w(o)?
False
Suppose 5*x - 118 = -3*b, -b + 2*b - 30 = -4*x. Suppose -6*l + 2*l - b = -n, 296 = 5*n + 2*l. Does 12 divide n?
False
Suppose 0 = -o - 0 - 20. Let f(a) = a**3 + 21*a**2 + 16*a - 29. Is f(o) a multiple of 17?
True
Suppose -86 - 204 = -l. Is 10 a factor of l?
True
Let i = -96 + 126. Let u = i + 50. Is u a multiple of 5?
True
Let p(o) = -o**2 + 12*o - 13. Let j be p(11). Let b = -5642 - -2254. Is b/(-42) + j/(-6) a multiple of 20?
False
Let u(d) = -1 + 2*d + 4*d - 3*d + 3*d**2. Suppose 4 + 2 = 3*j. Does 11 divide u(j)?
False
Let z = -157 - -155. Is 56 a factor of (144/64)/(z/(-96))?
False
Is 30 a factor of -7 - (13 + -3856) - 4/1?
False
Suppose -5*s - 2*k = -253, 3*s + 4*k = -0*k + 163. Does 49 divide s?
True
Suppose -15*t = -17*t + 68. Suppose 3*i - 26 = k + t, 4*i - k - 79 = 0. Is 12 a factor of i?
False
Suppose s - 4*s = -195. Let k = 101 - s. Is k a multiple of 6?
True
Suppose 5*h = -5*r + 20, 2*r + 33*h = 29*h + 4. Does 3 divide r?
True
Suppose 0 = -4*v - 28 + 2512. Is v a multiple of 27?
True
Let n(g) be the second derivative of -4*g + 0 + 1/12*g**4 + 3*g**2 - 5/6*g**3. Is n(7) a multiple of 5?
True
Is (-123478)/(-58) - 236/(-3422) a multiple of 17?
False
Let l = 15 - 14. Let u(m) = -3*m + 2 + m**2 - 4*m + 2*m + l. Is 28 a factor of u(9)?
False
Let i = -29 - -33. Suppose i*c = -a + 197, -3*c - 2*a + 156 = -4*a. Does 10 divide c?
True
Let j(p) = p**2 - 12*p - 2. Let y(t) = 2*t**2 - 13*t - 3. Let l(h) = -4*j(h) + 3*y(h). Let b be l(-5). Is b*(-5)/(-40)*24 a multiple of 12?
True
Let d = 52 - 31. Suppose -17*r + d*r = 272. Does 17 divide r?
True
Let z(l) be the second derivative of 35*l**4/12 + 3*l. Let x be z(-1). Is 1690/x - 2/7 a multiple of 9?
False
Let q(l) = l**2 + 16*l - 27. Is q(4) a multiple of 7?
False
Let s(l) = 3*l + 41. Let f be s(-13). Suppose -5*n = -f*u + 430, -n = -2*u - 2*u + 824. Does 12 divide u?
False
Let m be (3 - 2 - -2)*1. Suppose 0 = -m*o + 4*h + 72, 4*o + h = -3*h + 96. Is o a multiple of 6?
True
Suppose 5787 = 305*i - 296*i. Is i a multiple of 83?
False
Does 51 divide (-128835)/(-252) + 5/(-4)?
True
Suppose -7*a - 305 = -1313. Does 18 divide a?
True
Suppose l + 4*l - d - 61 = 0, 0 = -2*l - 5*d + 19. Let v = l + 38. Does 12 divide v?
False
Let o be ((-324)/(-10))/(9/30). Let l be ((-1)/((-3)/o))/(-1). Does 18 divide (81/l)/(2/(-40))?
False
Let a(h) = 3*h - 3 + 10 + 0. Let d be a(-7). Let 