Suppose 3*x = 5*i - 24, 8 - 5 = x + 2*i. Is 13 a factor of 65*((-34)/(-10) + x)?
True
Let c be (-162 + -1 - 2)*-1. Let o be (-1 - c/(-12))*8. Does 2 divide 6/(-4) + o/12?
False
Let m(z) = -z**3 + 25*z**2 + 30*z - 46. Does 33 divide m(13)?
False
Let r(l) = 0*l**2 + 4 + 1 + 4 - l**2 - 16*l. Does 13 divide r(-7)?
False
Suppose -2*x + 2*s = 20, 4*x - s + 25 = -2*s. Let v(q) = -q**3 - 11*q**2 + 3*q + 20. Let h be v(x). Let p = h - -277. Does 40 divide p?
True
Let y = 132 + -79. Let c = y + -3. Is c a multiple of 18?
False
Suppose 56*r = 11*r + 23535. Is r a multiple of 4?
False
Let p(n) = -581*n + 25 + 590*n - n**2 + 12. Is 5 a factor of p(11)?
True
Is (278 + -1)/(58/290) a multiple of 42?
False
Suppose -13*h = 10*h - 9108. Does 8 divide h?
False
Let m(i) = -287*i**3 + 2*i**2 + 2*i + 1. Is 39 a factor of m(-1)?
False
Let o(m) be the first derivative of m**7/420 - m**6/90 - m**5/20 + m**4/6 + m**3/3 - 4. Let l(b) be the third derivative of o(b). Is l(4) a multiple of 22?
True
Let i = 212 - -13. Is 15 a factor of i?
True
Let o = 130 - 75. Is 5 a factor of o?
True
Let h(y) = 22*y - 5. Let p be h(4). Suppose p = 7*v - 6*v. Let g = v - 44. Is g a multiple of 13?
True
Let u = -1 - -1. Let l(c) = -c**2 - 11*c - 11. Let x be l(-8). Suppose -j + x + 0 = u. Is j a multiple of 3?
False
Does 27 divide 10 - -17 - 0/2?
True
Let r(s) = -3*s**3 + 45*s**2 - 18*s + 16. Does 16 divide r(14)?
True
Let y = -23 - -27. Suppose -y*h + 3*l + 207 = 0, 0*h - h = 3*l - 63. Is h a multiple of 9?
True
Let y = 45 + -19. Let c be (y/4)/((-2)/(-4)). Let j = c + -3. Is 4 a factor of j?
False
Let k = -32 + -124. Let a = 336 + k. Is 18 a factor of a?
True
Suppose 12 = -8*p + 3*p - 4*c, 3*p + 3 = -c. Suppose 2*k = -3*s + 74, p = 6*k - 10*k - 8. Is 26 a factor of s?
True
Suppose 14 = 5*t - a, -2*t + 6 = -2*a - 6. Suppose -2*l = t*l. Suppose s + 4*s - 3*g - 147 = l, 5*g = 5. Is 12 a factor of s?
False
Suppose n - 252 = -5*n. Is 17 a factor of -2 + 45/21 + 708/n?
True
Let l = 454 - 244. Suppose -23*i = -18*i - l. Is 14 a factor of i?
True
Suppose 0 = -5*w - 10*m + 6*m + 22, 2*m - 6 = 0. Let i(l) = 2*l**2 + l + 1. Let x be i(-1). Suppose -k = -x*z - 16, 2*k - w*z - 32 = -0*z. Is 12 a factor of k?
False
Suppose -4 = l - 2*l - y, -5*l + y + 20 = 0. Suppose -48 = -2*v + 2*m, -l*m + 87 = -5*v + 212. Is 3 a factor of v?
False
Let j = 148 - 60. Suppose u = -3*u + j. Suppose -18 - u = -2*b. Is 15 a factor of b?
False
Let h(s) = 5*s**2 + 4*s + 3. Let f(a) = 15 - 24 + 13 + 5*a + 6*a**2. Let c(x) = -3*f(x) + 4*h(x). Is c(-3) a multiple of 10?
False
Suppose -c + 4*g = -18, c + 4*g + 20 = 3*c. Is 0 + (-2)/(c/(-13)) a multiple of 2?
False
Let n(p) = -p**2 - 3*p + 2. Let j = -46 + 46. Is n(j) even?
True
Let f(u) = -u**3 - 9*u**2 + 10*u + 8. Is 5 a factor of f(-11)?
True
Suppose -49 = -r + 4*s, -s + 0*s = -r + 40. Suppose 4*k - r = 215. Does 9 divide k?
True
Let b = -22 - -40. Suppose 2*x - 5*o - b = 0, o = -4*x + 4*o + 22. Suppose -2*j + x*j - 12 = 0. Is j a multiple of 2?
True
Let d be -138 - -1 - ((-4)/(-4) + 3). Let j = d - -304. Is j a multiple of 13?
False
Suppose 3*v - 4*v - 4*n = -44, n + 49 = v. Suppose -2*k + 27 = j, -2*j - 2*k + 10 = -v. Is j a multiple of 14?
False
Suppose -3*u + 5*u - 604 = 0. Suppose -3*d - 74 = -u. Is 11 a factor of d?
False
Suppose 3*q + 5*t = 155 + 704, 293 = q - 5*t. Is 48 a factor of q?
True
Suppose 1 - 6 = -j. Let s(m) = 3*m**2 - 25*m + 13. Let r(b) = -5*b**2 + 37*b - 19. Let c(y) = j*r(y) + 8*s(y). Does 5 divide c(-14)?
False
Is ((-252)/6 + -18)*(-6)/2 a multiple of 7?
False
Let d(j) be the third derivative of j**7/140 - j**5/40 + j**4/12 - 5*j**3/6 + j**2. Let c(r) be the first derivative of d(r). Does 13 divide c(2)?
False
Suppose -d = -b - 687, 5*d + 15*b - 16*b = 3423. Does 18 divide d?
True
Let l(y) = -y - 25 - 5 + 95. Is l(-16) a multiple of 9?
True
Suppose -935 = -89*f + 84*f. Does 3 divide f?
False
Let k = 1285 - 448. Is k a multiple of 28?
False
Suppose 5*t - 2*v = -10, 0 = -4*t - 3*v - 1 - 30. Is t + (9 + -1)*6 a multiple of 37?
False
Suppose 55*p = 17*p + 15010. Is p a multiple of 79?
True
Let f = -8 + 5. Let c(x) = -5*x + 31. Let z be c(8). Is (f - -29) + z/3 a multiple of 8?
False
Let u(p) = -2*p + 12. Let z be u(6). Suppose 2*w - 31 - 1 = z. Does 4 divide w?
True
Let g be (-8)/(-44) - (-42)/11. Suppose j = -c + 315 - 50, g*c + 536 = 2*j. Let p = j - 154. Is p a multiple of 28?
True
Let t be -8 + (-6 - -11) - (1 + 1). Let w(h) = 5*h**2 + 10*h - 6. Is 19 a factor of w(t)?
False
Suppose -h - 2 = -0. Let k(c) = -4*c - 51. Let r be k(-15). Let a = r - h. Is a a multiple of 3?
False
Let z(u) = -u**3 - 8*u**2 - 8*u - 9. Let q = -14 + 7. Let x be z(q). Does 17 divide ((-114)/9)/(x/6)?
False
Suppose 173 = 6*p - 307. Is 168/(-20)*p/(-6) a multiple of 28?
True
Suppose 36*a - 12 = 33*a. Suppose a*z - 23 = 17. Is z a multiple of 10?
True
Let g(d) = 2*d**2 + 4*d + 122. Is 55 a factor of g(15)?
False
Let y be (20 + -15)*(2 - 1). Suppose 0 = 5*n + q - 602, 0*q - 606 = -y*n - 3*q. Is n a multiple of 30?
True
Does 63 divide 4243/3 - (2 + 15/(-9))?
False
Let d(v) = -9 - 7 - 5*v + 4 - 2*v. Is 11 a factor of d(-5)?
False
Let c(x) = 3*x + 572. Does 11 divide c(0)?
True
Suppose -2*q - 2 = -8. Suppose -q*b + 9 = -x, 2*b - 2*x + 0 - 2 = 0. Suppose 3*v - 205 = b*j, -4*j + 271 = 4*v - 21. Is 20 a factor of v?
False
Let t = -24 - -18. Let x be 27/18*(-92)/t. Let i = 29 - x. Is 6 a factor of i?
True
Let d(j) = 5*j**2 + j. Let c be d(1). Suppose -4*b + b = -c. Suppose 34 = s + 2*a - 29, b*a - 282 = -4*s. Does 15 divide s?
False
Suppose -26 - 16 = b. Let u = b - -56. Is u a multiple of 2?
True
Let v(k) = 2*k**3 + k**2 - 10*k - 3. Is v(7) a multiple of 20?
False
Suppose 1010 = -4*u + 1554. Is u a multiple of 3?
False
Let s = -7 + 11. Let r(w) = -12*w - 5. Let c be r(-10). Suppose u - j = s*j + 34, -4*u + c = j. Is u a multiple of 9?
False
Suppose i = -5*q + 3*q + 381, 0 = -5*i - 4*q + 1893. Does 30 divide i?
False
Let k(i) = -10*i - 38. Let p(x) = -21*x - 74. Let m(g) = -5*k(g) + 3*p(g). Does 44 divide m(-16)?
True
Let a = -85 - -124. Suppose -j = a - 48. Does 8 divide j?
False
Let b(o) = 53*o - o**2 - o**2 + 7 - 2*o**3 - 3 - 49*o. Is 3 a factor of b(-2)?
False
Suppose 3*i + 4*r - 1295 = 0, 0*r - r + 433 = i. Is 23 a factor of i?
True
Suppose 0 = -7*j + 306 + 51. Suppose -21 = -i + j. Is i a multiple of 12?
True
Let x(m) = m**3 + 8*m**2 - 3*m + 3. Let j be x(-7). Let k = -18 + j. Is 12 a factor of k?
False
Let t = 27 - 36. Let f = t - -6. Is (f - -10)/(2/2) a multiple of 6?
False
Suppose -2*d - 2*b + 1314 = -136, 3*d - 2183 = 5*b. Is 33 a factor of d?
True
Let t(m) = -8*m**3 + 4*m**2 - 8*m - 16. Let j(p) = p**3 + p + 1. Let a(g) = -10*j(g) - t(g). Does 8 divide a(-4)?
False
Let f(q) = -2*q - 9. Let n be f(-6). Suppose -132 - 156 = -4*y + 4*g, -g = n. Is 14 a factor of y?
False
Let j be (-6 + 0)*3/(-6). Let a be 9/j*(-1 + 8). Let k = a - 14. Is k even?
False
Let l(o) be the first derivative of -o**4/4 - 2*o**3 - o**2/2 + 17*o - 7. Is 9 a factor of l(-6)?
False
Let p be (18/(-10))/((-9)/495). Let y = -2 - -4. Suppose 0 = y*h - 43 - p. Is h a multiple of 12?
False
Suppose 908 - 252 = 4*x. Does 35 divide -3*(-2 - -5)*x/(-12)?
False
Let h = 361 - -29. Is h a multiple of 5?
True
Let i be (-400)/22 - (-2)/11. Is (-976)/i + 2/(-9) a multiple of 12?
False
Let v = -82 + 126. Suppose -i = i - v. Suppose 40 = -i*r + 24*r. Does 5 divide r?
True
Is (-2*2)/((-14)/252) a multiple of 18?
True
Let i = 124 - 64. Suppose -i = -t + 28. Is 22 a factor of t?
True
Let k(v) = -47*v - 27. Let q(n) = -6*n**3 - 2*n**2 + n. Let z be q(1). Is k(z) a multiple of 25?
False
Let y(n) = 4*n**2 + 2*n - 17. Let j be y(-7). Suppose j = 7*o - 2*o. Is o a multiple of 33?
True
Suppose 0 = 12*u + 6*u + 1602. Let k = 169 + u. Is 16 a factor of k?
True
Suppose -4*a = -3*a. Suppose a = t + 5*x - 200, -5*x = -0*t - 2*t + 445. Let g = t - 124. Does 29 divide g?
False
Suppose 3*d - 7 = -g, 0 = -5*g - 3 - 22. Suppose 15 = 3*k, -3*m + d*k - 30 = 8. Is 5*((-396)/15)/m a multiple of 17?
False
Is 55 a factor of (-20)/(1 + -2)*(2 - -20)?
True
Let s(d) = 5*d**2 + 94. Let n be s(0). Suppose 0 = 2*v + 16 - n. Is v a multiple of 10?
False
Let o = -11 + 6. Let d be -3 - ((o - -3) + -3). Does 20 divide -3 + 1 + d - -104?
False
Suppose 0 