 j**3 - 53*j - 6. Is i(9) a multiple of 3?
True
Let c(w) = 17*w + 5 - 3 + w**2 - 2*w**2. Let a = 139 - 126. Is 14 a factor of c(a)?
False
Let o(b) = 8*b + 4. Let h(a) = -24*a - 12. Let q(p) = -5*h(p) - 14*o(p). Does 3 divide q(2)?
False
Let i(u) = -u**2 - u + 8. Let c be i(5). Let t be 224/c + 2/11. Does 2 divide 0*4/16 - t?
True
Suppose 3*g = 5*g - 56. Is -2*21/(-4)*g/14 a multiple of 19?
False
Let z be (3 + -5 - 6) + (-4)/(-2). Is 9 a factor of (-4)/6 + -3 + (-328)/z?
False
Suppose -y = -0*y - 32. Suppose 5*t + 117 = y. Let i = 7 - t. Is i a multiple of 12?
True
Suppose -3*p - 9*l + 3394 = -7*l, 5*p - l = 5635. Is p a multiple of 24?
True
Let q be -11 - -38 - (-1 + 0). Suppose 1 = a - q. Is a a multiple of 13?
False
Let a(r) = r**2 + 2*r + 1. Suppose 0 = -5*t + t - 8. Let d be 5/t*48/(-40). Does 16 divide a(d)?
True
Let z be (-3)/(-2) + (-430)/20. Let p be (-16)/4*255/z. Suppose 3*q = 4*m - 68 - 109, m - 3*q = p. Does 6 divide m?
True
Let c be (-39)/(-2)*10/5. Let i be 189/c - (-6)/39. Suppose 2*p = i*o - 63, -5*o - 40 = -5*p - 115. Does 11 divide o?
True
Let c(g) = 2*g. Let d be c(-6). Let v(x) = 5*x**2 + 17*x + 12. Let t be v(-6). Is 7 a factor of d/t - (-214)/30?
True
Suppose -c + 8408 = 4*c - 3*l, -2*l + 8428 = 5*c. Is c a multiple of 47?
False
Let j = -2187 + 3497. Is 23 a factor of j?
False
Let f(w) = -2*w + 2. Let r be f(-4). Let h be 7 + (-5)/(r/8). Suppose -4*a + 2*x = x - 92, 5*a + h*x = 98. Is a a multiple of 11?
True
Let z(l) = -8*l**2 - 85 - l**3 - 3*l - 86 + 163. Is z(-9) a multiple of 20?
True
Let v(w) = -34*w - 146. Does 12 divide v(-5)?
True
Let a(n) = n**3 - 22*n**2 - 62*n - 43. Is a(25) a multiple of 7?
False
Let p(m) = m + 140. Let l be p(0). Suppose -2*q - 3*q = -l. Does 14 divide q?
True
Let l = 267 - 87. Is l a multiple of 17?
False
Let p(c) = 11 + 9*c**2 + 6 - 8*c**2 - 20 + 9*c - 2*c. Let t(n) = -2*n**2 + 5*n + 2. Let h be t(4). Does 6 divide p(h)?
False
Let j = -73 + 81. Let x(y) = -2*y + 33. Is x(j) even?
False
Suppose l + 282 - 32 = 0. Let a(q) = 8*q - 64. Let c be a(8). Does 13 divide (-3 - c) + l/(-5)?
False
Let c = 19 + -15. Let y be 3 + -3 + c + 0. Suppose -t = y*t + 5*z - 105, 5*t - 2*z = 70. Does 8 divide t?
True
Let m(h) = h**3 - 7*h**2 + 5*h + 6. Let j be m(6). Let c(d) = d**2 + d + 291. Let i be c(j). Suppose -5*f + i = -3*o, 5*o - 6 - 69 = -f. Does 10 divide f?
True
Let r(x) = -2*x**2 + 14*x - 3. Let d be r(7). Is (219/(-9) + -4)*d a multiple of 44?
False
Let d be (-1)/7 - 2/(-14). Suppose -5*p + 2*m = -267, m + d*m = 3*p - 160. Does 21 divide p?
False
Let o be ((-4)/(-6))/((-3)/(-18)). Suppose 0*l + 128 = 3*l + 4*c, 0 = o*l + c - 149. Is 12 a factor of l?
True
Let q be (-272)/(-44) + (-2)/11. Suppose 0 + q = 2*k. Suppose -4*z - f + 80 = k*f, -2*z = -2*f - 40. Is 10 a factor of z?
True
Suppose 0 = -3*n + 247 - 76. Is n a multiple of 19?
True
Suppose 19 = -5*i + 59. Suppose i*w - 184 = -40. Is w a multiple of 9?
True
Suppose 5*z - 8 = 2. Suppose 146 = -5*f + z*c + 417, -5*c + 120 = 2*f. Does 11 divide f?
True
Is (-19)/((-1045)/484)*(-450)/(-4) a multiple of 14?
False
Let k = -550 + 998. Does 16 divide k?
True
Let g(n) = 10*n**2 - 7*n - 38. Is g(6) a multiple of 20?
True
Is 6/33 - 4*516/(-22) a multiple of 2?
True
Let s(t) = t**3 + 3*t**2 + t - 3. Let h(j) = -j**3 + j + 1. Let k(c) = 2*h(c) + s(c). Is 5 a factor of k(-3)?
False
Let f(v) be the second derivative of 67*v**3/3 + 9*v**2/2 - 25*v. Is 13 a factor of f(1)?
True
Let a = -1468 + 2310. Is 43 a factor of a?
False
Suppose -3*v + 409 = 4*t, -20*t + 207 = -18*t - v. Is t a multiple of 4?
False
Let s(f) = f**3 + 2*f**2 + 3*f + 1. Let w be s(-2). Let z = 29 + w. Suppose -g = -70 + z. Is 19 a factor of g?
False
Let g(k) = -3*k**2 + 21*k + 4. Let y(h) = h. Let r(j) = -g(j) + 5*y(j). Does 19 divide r(9)?
True
Does 12 divide (9 - 7 - (-184 + 1)) + 2?
False
Let y(n) = 2*n**3 - 52*n**2 + 57*n - 141. Is 6 a factor of y(27)?
True
Let t be 0 + 12/(-4) - -19. Suppose -t*g - 12 = -17*g. Suppose 182 = 3*s + 2*j + g, 3*j - 52 = -s. Is s a multiple of 13?
False
Let n = -43 - -58. Suppose -920 - 205 = -n*d. Does 31 divide d?
False
Let u(s) = -s**3 + 8*s**2 + s - 9. Let x be u(8). Does 18 divide 76 - -1 - (1 - x)?
False
Suppose -169 = -12*f + 491. Is f a multiple of 11?
True
Let i(b) = -b**3 + 27*b**2 - 8*b + 54. Is i(25) a multiple of 69?
True
Suppose 0 = 5*i + 5*l - 3640, i + 2*l + 722 = 2*i. Is i a multiple of 6?
True
Let n = -121 + 67. Let b = n - -167. Is b a multiple of 11?
False
Let h(w) = -67*w**2 + 1. Let n(q) = 135*q**2 - 2. Let l(b) = 9*h(b) + 4*n(b). Let g(m) = 125*m**2 - 2. Let r(o) = -2*g(o) - 5*l(o). Does 15 divide r(1)?
False
Suppose 2*h + r - 990 = 0, 0 = -5*h + h + 3*r + 1980. Is h a multiple of 45?
True
Let u = -11 - -25. Suppose -10*l + u*l - 120 = 0. Is l a multiple of 9?
False
Let l(h) = h - 18. Let n be l(13). Let c(a) = -a**3 - 3*a**2 + 11*a + 5. Let s be c(n). Suppose 15 = -3*y - s*y, -5*v + 55 = -5*y. Is 3 a factor of v?
True
Let p = -7 - -105. Suppose l + l = p. Is l a multiple of 14?
False
Let l(r) = 2*r - 2. Let w be l(2). Suppose -5*y + 8*y = 54. Suppose -y = -w*q + 4. Does 4 divide q?
False
Let t = 6 - 2. Let v = 127 + -23. Suppose t*a + 2*f - v = 0, 4*a - 2*f - 58 - 38 = 0. Is a a multiple of 8?
False
Let d(s) = 5*s**3 - 7*s**2 - 3*s - 1. Let a(y) = -2*y**3 + 2*y**2 + y. Let g(k) = 8*a(k) + 3*d(k). Let f be g(-5). Suppose -4 = -f*m + 14. Does 7 divide m?
False
Let i(w) be the first derivative of w**3 - 19*w**2/2 + 2*w + 1. Does 12 divide i(8)?
False
Suppose v + 20 = 5. Is 24 a factor of 1/5 + ((-6453)/v)/9?
True
Is 8 a factor of ((-234)/12)/(36/(-1344))?
True
Suppose -3*d - w + 13 = 0, -2*d - 1 = -w - 3. Let m(l) = -2*l**2 + 2*l**3 + l**3 - 5*l - 19*l - 2*l**3 + 27*l + 4. Is m(d) a multiple of 18?
False
Let k(c) = 2*c**2 - 8*c + 8. Let p be k(6). Suppose d - p = -d. Is 2 a factor of d?
True
Let l(z) = z**3 - 7*z**2 + 10*z - 4. Let a be l(5). Is 25 a factor of (a - -1) + (-56)/(-2)?
True
Let u(t) = -2*t**3 - 2. Let v be u(2). Let o = v + 114. Is o a multiple of 29?
False
Let x be 130/25 + (-2)/10. Let m = x - 2. Is m a multiple of 3?
True
Suppose 5*f + 2*n - 996 - 764 = 0, 4*f - 4*n = 1408. Is 25 a factor of f?
False
Suppose -x = 23 - 31. Let v be 18/(-27) - x/(-3). Suppose b = -t - 19 + 59, 228 = 5*t - v*b. Is 8 a factor of t?
False
Suppose p + 162 = 5*u - 798, -5*p = 4*u - 797. Suppose -2*g + 4*l + u = -193, l = -g + 184. Is g a multiple of 17?
True
Let n = 400 + 330. Is n a multiple of 10?
True
Let x = 642 + -436. Let m = 346 - x. Does 14 divide m?
True
Let c(p) = -p**3 - 5*p**2 - 3*p + 36. Does 15 divide c(-6)?
True
Let s(g) be the second derivative of g**5/20 - g**4/4 + g**3/2 - 3*g**2 - 2*g. Let h = 50 + -46. Is 15 a factor of s(h)?
False
Let u be (9/(-6))/(-6*(-5)/(-40)). Is 31 a factor of (46 + -1)/((-1)/(u/(-2)))?
False
Let b = 1621 + -841. Suppose -15*m = -19*m + b. Does 39 divide m?
True
Let l(g) = -g - 1. Let r(j) = -5*j**2 + 1. Let t be r(2). Is 18 a factor of l(t)?
True
Does 33 divide 3 + (1 + 7)*(-4521)/(-44)?
True
Suppose 3*t - t + 6 = -3*i, -4*t + 24 = -3*i. Suppose -25 = -5*n + j, -2*n + 3*n = t*j + 5. Is 4 a factor of n?
False
Let y = -1162 - -1936. Is y a multiple of 43?
True
Suppose -18 + 3 = -5*o. Let i be 3 - (3 - (3 + o)). Suppose -2*j - 4*a = -44, i*j - j + 2*a - 134 = 0. Is j a multiple of 19?
False
Suppose 8*l = 2*l + 210. Suppose -2*v = 5*i + 2*v - 255, -2*i = -4*v - 130. Let y = i - l. Is 15 a factor of y?
False
Suppose -4*k - 4*f + 7 + 5 = 0, k = -3*f + 11. Does 31 divide 12/20 - (k + 2294/(-10))?
False
Is (-2372 + 0)/(-1) - (-122 - -119) a multiple of 17?
False
Let k(s) = 3*s**2 - 15*s + 8. Suppose 0 = 3*a - 2*l + 2, 5*l - 24 = 3*a - 5*a. Suppose 3*i + 4*j - 20 = 5*j, -3*j = -a*i + 18. Is 13 a factor of k(i)?
True
Let j = -209 + 207. Let o(r) = -2*r + 6. Let c(w) = 3*w - 12. Let m(v) = 3*c(v) + 7*o(v). Is m(j) a multiple of 8?
True
Let d = -107 - -55. Let j = -35 - d. Does 3 divide j?
False
Let w = 196 - 106. Does 5 divide w?
True
Let u(c) = -2*c + 6. Let q be u(6). Let l = 11 + q. Suppose 0 = -l*b - 20 + 90. Is b a multiple of 4?
False
Let n be 1770/(-6)*((-9)/15 + 1). Let x = -89 - n. Is x a multiple of 29?
True
Suppose 142 - 505 = 11*j. Let v be 4/14 - (-298)/(-14). Let h = v - j. Is h a multiple of 6?
