f i?
True
Let i = -301 - -586. Is 8 a factor of i?
False
Suppose 8*b - 3*b + 115 = 0. Let i = b - -41. Suppose -2*k - 3*r + i = r, -4*r + 48 = 4*k. Is 4 a factor of k?
False
Suppose 4*i - 904 = 2*i. Suppose 4*d = 3*o + i, 5*o + 236 = 2*d + o. Is 54 a factor of d?
False
Let o(n) = 2*n**3 - 9*n**2 + 3*n - 1. Let b be o(4). Let q = b - -38. Is q a multiple of 3?
True
Let i be 3*(-806 - (-4 + 2)). Let c = 3465 + i. Is 26 a factor of c/(-9)*(-4)/6?
True
Suppose 13230 = 52*m - 10*m. Is m a multiple of 35?
True
Let s(m) = 2*m**3 - 43*m**2 + 25*m - 9. Is 10 a factor of s(21)?
False
Suppose -2*d - 5549 = -2*z + 1081, 9943 = 3*z - 4*d. Is z a multiple of 15?
False
Suppose 7*i + 46 + 52 = 0. Let y(l) = -l**2 - 13*l + 27. Is y(i) a multiple of 2?
False
Let p(y) = -y**3 + 13*y**2 + 8*y - 25. Is 2 a factor of p(13)?
False
Let o be 182/2 + -2*1. Let y = o - 38. Does 20 divide (36/(-27))/((-2)/y)?
False
Let p = -8 + 11. Let j = 0 - p. Let a(u) = -u**3 + 3. Is a(j) a multiple of 10?
True
Suppose -5*m + 65 = -0*m. Let h = 18 - m. Let v = 25 + h. Is v a multiple of 15?
True
Let x be (-9112)/(-48) + (-1)/(-6). Let j = 353 - x. Is 33 a factor of j?
False
Let j(o) = 2479*o - 2. Let z be j(-2). Is z/(-55) - 2/11 a multiple of 9?
True
Let k(r) = -3*r - 28. Let t(f) = 7*f + 55. Let s(v) = -5*k(v) - 2*t(v). Suppose 0*h = -h - 0*h. Is 10 a factor of s(h)?
True
Let l be (5 - 3)/(8/28). Suppose -l*d + 245 = -2*d. Does 35 divide d?
False
Suppose 4*c + 4*l = 56, -3*l + 1 = -5. Let f = 110 + c. Does 32 divide f?
False
Suppose 15*v + 172 = 4852. Is 13 a factor of v?
True
Suppose -1725 = 4*y - 19*y. Suppose y = 7*w - 249. Does 26 divide w?
True
Let p be 1/(-15) - (-1365)/225. Suppose 0 = -3*d - 1 + 7. Suppose -p*l - u + 11 = -3*l, 2*u + 2 = d*l. Is l a multiple of 3?
True
Suppose 3*y + 26 = 4*n, -5*n + 0*y + 50 = 5*y. Suppose o - 120 = -2*f, -3*f = -o - n*f + 120. Does 11 divide o?
False
Suppose 7*a - 1083 - 1381 = 0. Is 49 a factor of a?
False
Suppose -u + 3*u + 372 = 0. Let w = -96 - u. Does 18 divide w?
True
Suppose 0 = -3*k + 2 + 1. Suppose 0 = -t + 2 + k. Suppose t*j = -2*q + 11 + 52, -q = -3*j - 27. Is 6 a factor of q?
True
Let x = 84 + -79. Suppose -l + 23 = 3*l + n, x*n = l - 32. Does 3 divide l?
False
Let d(v) = 2*v**3 - 3*v**2 - 2*v - 2. Let x(m) = -m**3 + 2*m**2 + m + 1. Let o(n) = 3*d(n) + 7*x(n). Is o(5) a multiple of 5?
False
Suppose 0 = 29*d - 22*d - 616. Is d a multiple of 11?
True
Let u(q) = 6*q - 23. Let s be u(22). Suppose -2*n + 169 + s = 4*b, 2*n = -6. Does 32 divide b?
False
Let o(q) = 5*q**2 + 6*q - 14. Let f be o(-7). Let x = f + 26. Does 25 divide x?
False
Suppose 2*v - 26 = 5*m, 4*v + 4*m - 4 = -8. Suppose x - 5*q - 100 = -4*x, 0 = -3*x - v*q + 90. Does 8 divide x?
False
Let d(h) = h - 1. Let a be d(3). Suppose 0 = -a*g - g + 12. Suppose -g*t = 3*z - 46, 5*z - 5*t - 66 = -t. Does 7 divide z?
True
Let t(p) = 17*p - 9 - 1 - 10*p - 1. Is t(7) a multiple of 20?
False
Let l(g) = -13*g**3 - 2*g + 2. Let b be l(1). Let f = b - -9. Is 11 a factor of 2/f + 1513/34?
True
Let q(r) = 37*r**2 + 18*r + 94. Is 8 a factor of q(-6)?
False
Let g be 2 - (1 + 1 + -62). Suppose -9*a + 12*a = 9. Suppose -257 = -a*x - g. Is x a multiple of 22?
False
Suppose 1587 - 183 = 6*n. Suppose -8*y + n = -5*y. Is 13 a factor of y?
True
Suppose -116*v + 141*v = 4325. Let c(p) = -26*p**2 - p - 2. Let f be c(-2). Let m = f + v. Is 23 a factor of m?
True
Suppose -j + 124 = -2*m, -2*j + 6*j - 544 = -4*m. Let u = j + -61. Does 4 divide u?
False
Let w(z) be the first derivative of 38*z**3/3 - z**2/2 + 2*z - 6. Is 7 a factor of w(1)?
False
Let a(d) = -3*d**3 + 3*d**2 + d + 2. Let t(c) = 2*c**3 - 2*c**2 - 1. Let i(f) = 3*a(f) + 4*t(f). Let b be i(-3). Let s = b - -85. Is 30 a factor of s?
False
Let h = -21 + 29. Let n be (-2)/(-8) - 34/h. Is 9 a factor of (-218)/(-8) + 1/n?
True
Let x(t) = -t**3 + 8*t**2 - t - 2. Let u be x(8). Let m = 23 + u. Is 13 a factor of m?
True
Let x(t) = t**3 + 5*t**2 - 9*t + 47. Is 11 a factor of x(9)?
True
Let k be 5 - (5 - 3) - -7. Suppose 0 = w + 3*f + 6, -7 = -4*f - 23. Let i = k - w. Does 2 divide i?
True
Let l(y) be the second derivative of -2*y**3/3 + 41*y**2/2 + 46*y. Does 2 divide l(7)?
False
Suppose 24*a = 23*a + g + 9, -3*a + 7 = 2*g. Let m = -7 + 11. Suppose 5*y = -3*t + 147, a*y + m*t = 29 + 122. Is 8 a factor of y?
False
Let w(h) = -2*h**3 + 3*h + 6. Is w(-6) a multiple of 35?
True
Let p be (-2 + -1 - -2)*-122. Let n = p - 74. Is n a multiple of 40?
False
Suppose 0 = 2*c - 5*v - 492, v + 0*v = -3*c + 772. Is 43 a factor of c?
False
Let l(s) be the first derivative of s**4/4 + 2*s**3 + 9*s**2/2 + 2*s + 12. Let b be l(-6). Let u = -30 - b. Is 22 a factor of u?
True
Let u = -20 + 12. Let x be 20/u*16/(-10). Suppose 36 - 12 = x*o. Is 3 a factor of o?
True
Suppose 5*s - 40 = -0*s. Let h be 3*(-1)/(12/s). Is 27/(-6)*(h - 0) a multiple of 9?
True
Let v(b) = b**3 - 7*b**2 - 5. Let z be v(7). Let t = z - -4. Is 7 a factor of 3 + (-30)/(-3) - t?
True
Suppose 435 = 4*t + g, 2*t - 3*g + 55 = 262. Does 6 divide t?
True
Suppose -3*x = -4*x + 314. Suppose x = -5*m - 51. Is 19 a factor of m/(-2) + (-1)/2?
False
Let s = 323 - 262. Does 18 divide s?
False
Let j be ((-51)/(-34))/((-6)/(-32)). Is 12 a factor of (-47)/(-3) + j/24?
False
Let h be 0*(-4)/(-8) + 3. Let s be (12/h - 2) + 36. Suppose -p + 5*d = -s, -2*d - 66 = -3*p + d. Is p a multiple of 15?
False
Suppose 24*j = 37*j - 7254. Does 5 divide j?
False
Suppose 3*i + 5*z - 211 = 0, 0 = -3*i + i + 2*z + 146. Is 6 a factor of i?
True
Let w(a) = -a**3 - a. Let b be w(0). Let g(n) = -2 + b - 2 + 3*n**2 - 2*n + 1. Is 6 a factor of g(-3)?
True
Suppose 3*g + 67 = -l, 5*l - 4*l + 72 = -4*g. Let b = 32 - l. Is 42 a factor of b?
True
Let n be (-4)/14 - (-64)/28. Suppose -3*r - 5*j = -19, n*r + 4*j + j = 16. Suppose -r*k - 46 = -2*u - 2*u, -4*u + 60 = 4*k. Is u a multiple of 2?
False
Let a be (3 + (-7)/2)/(2/(-12)). Suppose a*z + 2 = 2*o - 1, 0 = -2*o - z + 7. Is o a multiple of 3?
True
Does 20 divide (-15)/(-40) - (-11205)/72?
False
Let t = -1 + 3. Let f(z) = 3 - 5*z + 10*z + 4*z**3 - 5 + 7*z**3. Is 31 a factor of f(t)?
False
Let t = -306 + 783. Is t a multiple of 7?
False
Suppose -2*m + 47 = 5*h - 0, 3*h = -4*m + 17. Is h a multiple of 11?
True
Let s(t) = 55*t + 67. Is s(3) a multiple of 7?
False
Let s = 9 + -3. Suppose -2*b = 5*a - a - s, 4*a = 3*b + 31. Does 3 divide a*(-3)/(-8)*6?
True
Let o(b) = -b**3 - 76*b**2 + 77*b + 91. Does 5 divide o(-77)?
False
Suppose -48 + 41 = n. Let j(y) be the second derivative of y**5/20 + 3*y**4/4 + 5*y**3/6 - 17*y**2/2 + y. Is j(n) a multiple of 19?
False
Let f = 420 - 378. Does 2 divide f?
True
Let i = 0 - -3. Suppose 0*p + 12 = 4*p. Suppose -5*j + p*t + 45 = 0, i*j - 2*t - 23 = -t. Is 5 a factor of j?
False
Let i(p) = -3*p**2 - p**2 - 2*p + p**3 - 8 + 0*p. Let x = 85 - 80. Is i(x) a multiple of 7?
True
Let i = -178 + 448. Is 6 a factor of i?
True
Let z(o) = o**3 + 4*o**2 + 7*o + 18. Let i be z(-4). Suppose 3*u = v + 40, -3*u + 80 = 2*u + 5*v. Let p = u - i. Does 5 divide p?
False
Let x = 143 - 236. Let d be (-6)/(-4)*(-18 - 0). Let o = d - x. Does 33 divide o?
True
Is (1 + -16)/(628/64 - 10) a multiple of 10?
True
Let z(l) = 3*l**3 + 144*l**2 - 5*l + 80. Is 20 a factor of z(-48)?
True
Suppose -3*m = -m - 56. Is m a multiple of 2?
True
Let n = -2810 - -4798. Is n a multiple of 28?
True
Suppose 4*r = 4*h + 2012, 5*h = 4*r - 1039 - 968. Let c = -347 + r. Does 23 divide c?
True
Let m(y) = 9*y**2 - 5*y - 23. Let c(u) = -4*u**2 + 2*u + 11. Let a(t) = 13*c(t) + 6*m(t). Is a(6) a multiple of 7?
False
Let i(n) = -n**3 - n**2 + 3*n + 2. Let d be i(-2). Suppose d = -0*h - h + 19. Suppose 0 = 4*m - h - 25. Is m a multiple of 3?
False
Let n(u) = -u**2 + 14*u - 18. Let m be n(10). Let i = m - 19. Suppose -i*a + 33 = 3*y - 36, 15 = y + 3*a. Is 27 a factor of y?
True
Let y = 88 - 51. Let s = 122 + y. Is s a multiple of 27?
False
Suppose -5*f + f = -4*o + 204, -6 = 2*f. Let x = o - 8. Is 8 a factor of x?
True
Let z be (1 - -1)/(2/20). Let n = -46 + z. Let g = n - -58. Is g a multiple of 8?
True
Suppose 19*p + 17136 = 47*p. Is 68 a factor of p?
True
Let b be ((-2)/4)/(4/(-24)). Suppose b*d - 200 = -4*f, -1 = 2*d + f - 136. Is d a multiple of 17?
True
Let c = 128 - -128. Suppose 5*y = -5, 2*y + c = 5*a