 + i. Let o(t) = -t**3 + t - 2. Let q(w) = 4*w**3 - 11*w**2 - 4*w + 9. Let k(u) = -3*o(u) - q(u). Does 8 divide k(g)?
True
Let a be 9 + -14 + 21/1. Suppose -a*t + 1752 = -10*t. Does 8 divide t?
False
Suppose 2370*r = 2387*r - 43639. Is r a multiple of 3?
False
Let i(o) = -o**2 - 13*o + 21. Let r be i(-14). Suppose r*b - 263 = 73. Is b a multiple of 3?
True
Suppose 0 = -3*z + 547 + 2996. Let w = z - 461. Does 20 divide w?
True
Suppose 0*y - 3*n = y - 203, -3*n - 645 = -3*y. Suppose 4*d - 20 = 0, 2*b + 2*d = -0*d + y. Does 15 divide b?
False
Suppose 0 = -48*f + 7126 - 742. Is f a multiple of 7?
True
Suppose -65*p = 6*p - 2977953. Does 242 divide p?
False
Let z(d) be the second derivative of -d**6/720 - d**5/30 - 19*d**4/12 + 19*d. Let y(p) be the third derivative of z(p). Is y(-8) even?
True
Let j = -4134 - -14486. Is j a multiple of 15?
False
Suppose 3*o - 16 = -o, 0 = i + 2*o - 1792. Let w = i - 1019. Suppose 386 = -5*c + 5*t + 1331, 0 = -4*c + t + w. Is 32 a factor of c?
True
Let x(i) = -2*i**3 - 30*i**2 - 7*i - 17. Let q(a) = -a**3 + 13*a**2 + 14*a - 15. Let n be q(14). Is x(n) a multiple of 39?
False
Let n = 21 + 12. Let p = -33 + n. Suppose p = -5*m + 274 + 236. Does 14 divide m?
False
Suppose 0 = -3*c + 12077 + 1720. Is 116 a factor of c?
False
Suppose 2*c - x = 7, 5*c = 4*x - 3*x + 19. Suppose c*z = 2*o + 25 + 617, -2*z = 2*o - 324. Is 23 a factor of z?
True
Let z = 28 - 19. Suppose z*a - 24 = 12. Suppose -8 + 129 = h + 3*j, a*h - j = 549. Does 17 divide h?
True
Suppose -44*n + 38*n + 1638 = 0. Let w = 338 - n. Does 13 divide w?
True
Let f be (-455)/140 + (-2)/(-8). Is -2 - f*-4*215/(-30) a multiple of 28?
True
Let v(g) = 5*g - 3. Let d be v(5). Let y = 7 + d. Suppose -y = -k - 8. Is k a multiple of 11?
False
Suppose 0 = d + 4*v - 22193, 5*d = 3*v + 23122 + 87682. Is 55 a factor of d?
True
Let c = 142 - 88. Is 33 a factor of ((-12)/(-18) + 4)*c?
False
Let c = 1745 + -1255. Does 108 divide c?
False
Suppose i + 3*i = 5*n + 36, -5*n - 2*i - 12 = 0. Let k be n - -1 - 20/2*-2. Suppose k*u - 930 = 11*u. Is u a multiple of 49?
False
Let y(p) = -4*p**3 + 6*p - 2. Let k be y(4). Let w = k + 295. Does 5 divide w?
False
Let a(s) = 9*s**3 + 2*s**2 + 6*s + 14. Let l be a(-4). Let w = l + 798. Is 6 a factor of w?
False
Let p = 63 + -22. Let l = 45 - p. Suppose l*s - 146 = 2*s. Does 23 divide s?
False
Let y be -1*3*(-6)/6. Suppose -4*x - 182 = y*x. Does 41 divide 494/3 - x/(-39)?
True
Let h(n) = n**3 + 6*n**2 - 6*n - 1. Let b be h(-5). Suppose b*t - 145 = 49*t. Is t a multiple of 5?
False
Let r be 8 - -5805 - (4 + -1). Suppose 5*g = 19*g - r. Is g a multiple of 11?
False
Let b(g) = -4*g**3 + 6*g**2 + 5*g**3 + g**3 + 2*g - 3*g**3 - 9. Let r(h) = 3*h - 9. Let m be r(5). Does 3 divide b(m)?
True
Suppose 47*v - 22344 = 43*v. Is v a multiple of 42?
True
Let f = 1020 + 9140. Does 16 divide f?
True
Let c(s) = s**3 - 24*s**2 - 14*s - 16. Let g be c(26). Suppose -172 - g = -4*b. Is b a multiple of 19?
False
Suppose 15 = -3*u + 3*o, o - 4 + 3 = 0. Let k be -4 + (u - -3) + 13. Suppose -2*x - k*x + 2950 = 0. Is 12 a factor of x?
False
Suppose 112*a - 2*k = 110*a + 2240, 0 = 2*a - k - 2244. Does 4 divide a?
True
Suppose -29*b + 11944 + 3344 = 2122. Is 69 a factor of b?
False
Let j be 9 + 3632/11 - (-4)/(-22). Let p = j + -332. Does 2 divide p?
False
Let w(a) = 6*a**2 + 46*a - 1017. Is 136 a factor of w(-38)?
False
Suppose -87176 + 26676 = -20*b + 9*b. Does 63 divide b?
False
Suppose f - 2 = -l - 3, 5*l - 35 = 3*f. Suppose -3*y - m + 17 = 0, y + m - 1 = l. Is 4/y*3 - -5 a multiple of 2?
False
Suppose 5*x = m - 34, -3*m + 89 = -0*m - 2*x. Let h = 38 - m. Suppose 0*r = -2*q - 4*r + 228, 0 = 3*r + h. Is 20 a factor of q?
True
Let y = -1892 + 6788. Is 29 a factor of y?
False
Let k = -28786 - -30116. Does 19 divide k?
True
Let z = -69 - -83. Suppose -17 + z = -l. Is 3 - (380/(-5) + l) a multiple of 8?
False
Suppose -4*u = 4*f + 24, -22 = 4*u + 2*f - 2. Is (-4)/(u + 0) + (5 - -690) a multiple of 29?
True
Does 34 divide -8 + 1 + (-510)/9*(-546)/4?
False
Is 72 a factor of 20/70 + 602758/91?
True
Let u be (-22)/8 + (76/16 - 4). Does 30 divide 374 + 20/5 - u?
False
Let m = 33240 - 6682. Does 48 divide m?
False
Let s(i) = -37*i + 17. Let r = -118 - -106. Let h be s(r). Let m = -241 + h. Is 11 a factor of m?
True
Let l(d) be the third derivative of 3*d**4/8 + 2*d**3/3 - 11*d**2. Let y be l(5). Suppose -5*m + y = -61. Is m a multiple of 7?
False
Does 48 divide -976*((-4)/54 + 8372/(-702))?
True
Let h(m) be the first derivative of -15 - 11/3*m**3 + 9*m + 6*m**2 - 1/4*m**4. Is h(-12) a multiple of 3?
True
Let c be 72*(-18)/120*-5. Suppose -2*l - f = -c + 12, -3*l + 69 = 3*f. Is 15 a factor of l?
False
Suppose 0 = -a - 2*h - 28, 7*h + 81 = -3*a + 4*h. Let j = -21 - a. Suppose -2*t - 3*i = -i - 162, -147 = -2*t - j*i. Is t a multiple of 7?
False
Suppose -5*j = 3*f - 91815, 206*j - 203*j - 2*f - 55070 = 0. Is j a multiple of 9?
True
Let o(b) = 17*b**2 - 2*b + 25. Let m be (4/6)/(1776/180 + -10). Does 10 divide o(m)?
True
Suppose 0 = r - 3*l - 657, 2 - 2623 = -4*r + 5*l. Suppose -17*j = -15*j - r. Is j a multiple of 24?
False
Suppose 2*f - w = 14 - 9, -4*f + 4 = 4*w. Suppose 0 = -f*v + 5*l + 1449, -22*v + 21*v - l + 735 = 0. Does 54 divide v?
False
Let w be (-108459)/(-90) + 3/(-30). Suppose -529 = -2*r + w. Does 17 divide r?
True
Let c(r) = 5*r**2 + 23*r - 75. Is 12 a factor of c(-10)?
False
Let a be 4 - (2 + 2 + -5). Let s = a + 6. Suppose s = 3*u - 307. Does 31 divide u?
False
Suppose 5*t - 19 = v, -2*t + 3*v = 3 - 21. Suppose -2*j = t*f - 6, -f + 4*j + 2 = 5*j. Suppose -x - 442 = -6*x + 2*l, 368 = 4*x + f*l. Is x a multiple of 11?
False
Let s(z) = 11*z + 536. Is s(8) a multiple of 12?
True
Let h(z) = -z**2 - 7*z + 46. Let i be h(-11). Suppose -2*s + i*q + 3*q + 919 = 0, 5*q = -4*s + 1823. Is 40 a factor of s?
False
Suppose -3*w + 5 = -7. Let d be (3 + 473)/w + 0. Suppose 25 + d = 3*r. Is 17 a factor of r?
False
Let j be (-461440)/(-176) - (-2)/11. Suppose 11*b = j - 37. Does 7 divide b?
False
Suppose 0 = 3*w + y - 12, 0*w - 5*y + 12 = -w. Let c(f) = -11*f - 176. Let n be c(-16). Suppose 5*t = -k + 7, n = -3*t - w - 3. Does 7 divide k?
False
Suppose 4*d + 362 = -2*i, 4*i + 6*d = 9*d - 724. Suppose w = 2*n + 299, -3*n + 161 = w - 153. Let r = i + w. Is 13 a factor of r?
False
Is 9 a factor of ((-3)/(-3)*-2596)/(-1) + 151 + -146?
True
Is 58 a factor of (-2237)/(-2)*((-5)/2 + 171/38)?
False
Suppose 0 = -0*r - 3*r - 5*b + 37, -4*b = -5*r. Let u(j) = -366*j + 122. Let q be u(5). Is 43 a factor of q/(-16) - (-1)/r?
False
Let z = 624 - 289. Suppose -1364 + z = -3*m. Is 7 a factor of m?
True
Suppose 3*t - 3991 = -556. Suppose -k + 4*o = -209, -5*o = 9*k - 4*k - t. Is k a multiple of 33?
False
Let y = -359 - -124. Let u = 680 - y. Is u a multiple of 27?
False
Let s(b) = -240*b + 324. Is s(-17) a multiple of 49?
False
Suppose 0 = -3*i + 3*o + 4236, i + 2818 = 3*i - 5*o. Is 29 a factor of i?
False
Suppose 0 = 4*g + 4*z + 40, -4 = 2*z - z. Let l(m) = 16*m**2 - 31*m + 12. Is l(g) a multiple of 9?
True
Let r = 6 + -1. Suppose -r*a = -25 + 125. Let z = 2 - a. Is 15 a factor of z?
False
Let m = 54815 - 27081. Suppose -960 = 22*n - m. Does 8 divide n?
False
Let t be 2/(-6) - (-132)/(-36). Let b be t + (15 + -5)/(-2). Let i(f) = f**3 + 12*f**2 + 13*f + 14. Does 10 divide i(b)?
True
Suppose -46*z + 979356 = -0*z + 43*z. Is 9 a factor of z?
False
Suppose 64288 = 57*f - 15056. Is f a multiple of 24?
True
Let u be (1 - 4)*-6*(-5)/6. Is 29*(-8)/(40/u) a multiple of 6?
False
Let d be (-2)/8*(-20 + 16). Let b(m) = 231*m**3 - 4*m**2 + 6*m - 2. Is 21 a factor of b(d)?
True
Suppose 11*r - 42 = 4*r. Suppose 0 = 4*c - r*c + 92. Suppose 5*i = -3*d + 158, -c = -d - 0*d - 5*i. Does 8 divide d?
True
Suppose -2*b + 90 = -7*b - v, 5*v = 3*b + 82. Let n(m) = -m**3 - 17*m**2 + 29*m + 43. Let p be n(b). Let u = p + -138. Is u a multiple of 24?
False
Suppose 11*g + 7875 - 19271 = 0. Is 37 a factor of g?
True
Let c(l) = 955*l + 105. Does 110 divide c(3)?
True
Let c(k) = 8*k**3 - 3*k**2 + 5*k - 2. Let o be c(9). Suppose -23*w = -15*w - o. Is 64 a factor of w?
True
Let i(t) = -t**2 + 8*t - 1. Let o be i(8). Let l(x) = -14*x + 1. Let m be l(o). Let f(r) = 4*r + 15. Does 15 divide f(m)?
True
Let a(v) = v**3 - 7*v**2 - 5*