3*c - 2*j = -c + 38, -20 = 4*j. Does 7 divide c?
True
Let i(g) = -2*g**2 + 9*g - 7*g + 10 + 4*g**2 + 13*g. Suppose -6*r = 35 + 25. Is i(r) a multiple of 12?
True
Let a be (-3)/(-3) - (-4)/(-4). Let b be 4 + (a - (2 - 2)). Suppose -5*y - 5*w + 87 = -93, 5*w - 140 = -b*y. Does 20 divide y?
True
Let d be 0/((-14)/2 - -5). Suppose -3*t - i + 235 - 87 = d, -2*t - 4*i + 102 = 0. Is t a multiple of 7?
True
Suppose m - 32850 = -4*m. Does 13 divide m/54 - (-1 - (-5)/3)?
False
Suppose a - 3*a = 2. Does 7 divide 55 - (-2)/(1/a)?
False
Let w = 5 - 2. Suppose 2*v - v - 3*q + 7 = 0, 16 = 2*v + 4*q. Suppose 0*x + 4*l = v*x - 40, -2*x = w*l - 33. Does 12 divide x?
False
Let n(i) = -i**3 + 7*i**2 - 6*i - 3. Let o be n(6). Let j be 4 - (-1 + 3 + o). Suppose 0 = 4*w - 0*w - 5*a - 127, j*w + 3*a = 205. Is 10 a factor of w?
False
Suppose 3*f - 72 = u + u, 2*f - 48 = -2*u. Suppose 3*s + 3*k = s + f, 4*k = -2*s + 28. Does 2 divide s?
True
Let p(l) be the first derivative of l**6/120 + l**5/60 + l**4/8 + l**3/3 - 5*l**2/2 + 6. Let u(z) be the second derivative of p(z). Is 10 a factor of u(3)?
False
Does 4 divide 64*12/(-4 + 8)?
True
Suppose -9*a + a + 224 = 0. Suppose -11*x - a = -523. Is x a multiple of 5?
True
Suppose -m = -157 - 137. Is m a multiple of 7?
True
Let h(x) = 23*x + 2. Let t(r) = 23*r. Let d(j) = -2*h(j) + 3*t(j). Is 13 a factor of d(3)?
True
Let y(s) = -5*s**3 - 6*s**2 - 21. Let v(l) = -11*l**3 - 13*l**2 - 43. Let j(k) = -6*v(k) + 13*y(k). Let z be j(0). Does 3 divide (-39)/z - (-8)/20?
True
Suppose -44 = -q + u + 1235, -4*q - 3*u + 5095 = 0. Is 20 a factor of q?
False
Suppose -160 = -23*k + 18*k. Is 6 a factor of k?
False
Suppose -3*s = 5*h - 638, -3*h + 0*s = -s - 394. Let g = h - 79. Suppose 0 = -4*u + 3*f + f + 60, -5*u + g = 3*f. Does 4 divide u?
True
Suppose 0 = -5*w + 17 + 3. Suppose 5*r = -w*r. Suppose 2*v - 22 = -r*v. Does 11 divide v?
True
Let i = 1252 + -771. Is 37 a factor of i?
True
Let m = -3 + 2. Let w = -4 + m. Is ((-2)/w)/((-2)/(-120)) a multiple of 8?
True
Let h = 854 + -308. Is 13 a factor of h?
True
Let q = -3 + 7. Suppose 2*f - 2*c - 112 = 76, -q*f + c + 364 = 0. Suppose -3*m - 2*j + 0*j = -f, -2*m + j = -60. Does 15 divide m?
True
Let b(i) = -20*i - 18. Let v(z) = -19*z - 19. Let o(m) = -5*b(m) + 6*v(m). Is o(-3) a multiple of 5?
False
Suppose -877 + 101 = -4*x. Suppose -3*j = -j - x. Does 4 divide j/4 - (-3)/(-12)?
True
Let r(w) = -5*w**3 + 5*w**2 + 25*w + 89. Does 11 divide r(-5)?
False
Let f = 26 + 5. Is 26 a factor of f?
False
Is 10 a factor of 47124/147 - (-12)/(-21)?
True
Suppose -4*x + 13 = 73. Let o be (52 - (-5 + 4)) + -4. Let b = x + o. Is 7 a factor of b?
False
Suppose 6*j - 4*f + 24 = 2*j, j - 4*f = -18. Let d(t) = t**3 + 2*t**2 - 2*t + 1. Let o be d(j). Suppose o*u + 0*u = 60. Does 12 divide u?
True
Suppose 1608 = 28*f - 24*f. Suppose 3*b - f = -3*q, b + 3*q - 134 - 8 = 0. Is b a multiple of 29?
False
Let x(o) be the third derivative of -o**6/120 + 2*o**5/15 + 5*o**4/12 - 2*o**3 - 13*o**2. Suppose 0 = -6*j + 3*j + 24. Does 20 divide x(j)?
False
Let o(z) = z**3 - z + 2. Let m be o(0). Suppose 134 = s + v, -m*s + 2*v + 248 = -0*v. Let q = s - 69. Is q a multiple of 17?
False
Let h = 111 - 62. Is 1 + 0 - (-3 - h) a multiple of 6?
False
Let q = -190 + 266. Suppose 92 = 3*g - q. Does 11 divide g?
False
Suppose -2*w + 50 = -7*w. Let u(m) = 4*m**2 + 17*m - 9. Let c(k) = 3*k**2 + 16*k - 8. Let r(j) = -3*c(j) + 2*u(j). Is r(w) a multiple of 16?
False
Suppose 0*a - 2*a + 131 = -3*n, -3*a + 4*n = -195. Let o = a + -46. Does 15 divide o?
True
Suppose 4*s + 5*b + 29 = -36, 0 = -s + b - 5. Let z(w) = -15*w - 8*w + 2 + 22*w. Is z(s) a multiple of 3?
True
Let m = -20 + 110. Let i = -153 + m. Let k = 123 + i. Is k a multiple of 24?
False
Let c be -1*3*(-2)/(-6). Let v(p) = 6*p + 26. Let l be v(-6). Is (-15)/l*(39 + c) a multiple of 16?
False
Suppose -14*d = -19*d - 350. Let i = d - -129. Is i a multiple of 21?
False
Let q = 141 - -144. Suppose -q - 20 = -5*y. Is y a multiple of 12?
False
Let o(a) = -a**3 - 26*a**2 + 18*a - 9. Is 6 a factor of o(-27)?
True
Suppose -t = 3*y - 7052, 3*t - 19721 = -5*y - 7973. Does 21 divide y?
True
Let w be (6/(-9) + 1)*0. Suppose 2*h - 7*h - 80 = w. Let z(n) = -n - 7. Does 9 divide z(h)?
True
Does 5 divide 66/(-44)*3/(9/(-820))?
True
Suppose -16*r - 7665 + 47777 = 0. Is 23 a factor of r?
True
Suppose 3*d = 151 + 119. Let w = d - 61. Is w a multiple of 10?
False
Suppose -z - 175 = -115. Let m = 86 + z. Is 13 a factor of m?
True
Suppose 84*u = 82*u + 4708. Is u a multiple of 22?
True
Let i = 2597 - 2534. Is i a multiple of 4?
False
Suppose -2*d - 4*c + 104 = 0, d - 63 + 8 = c. Is d a multiple of 3?
True
Is ((-5 - 3)/(-24))/(3/279) a multiple of 5?
False
Let z(c) = -c**3 + 6*c**2 + c - 4. Let k be z(6). Suppose -3*b + 30 = -k*b + 5*a, -4*a + 8 = 0. Let y = b - -7. Is 9 a factor of y?
True
Suppose 0 = -4*s + 4, s = 5*r - 2*s - 147. Is 3 a factor of (r/(-12))/(3 + (-57)/18)?
True
Let q be ((-3)/(-3))/(4/16). Let s be 1/q - 145/20. Is (-11 - s)*(-1 - 2) a multiple of 12?
True
Does 24 divide (-4)/(6/144*-4)?
True
Suppose 0 = -4*h + 7 - 51. Let z(y) = 3*y**2 + 5*y + 1. Let b(s) = -10*s**2 - 15*s - 4. Let i(g) = 2*b(g) + 7*z(g). Is i(h) a multiple of 13?
True
Let s be (-1305)/(-30)*4/(-6). Let y = s - -133. Is y a multiple of 13?
True
Suppose 5*x = 5*r - 410, -x = -0*r - 3*r + 252. Is 17 a factor of r?
True
Let z = 8 - 4. Let j be 9*(-2 - 1*-3). Suppose 5*k - 51 = -z*w, j*w - 41 = -3*k + 4*w. Is 4 a factor of k?
False
Suppose -4*b - 3*u + 928 = -u, 3*b + 2*u - 694 = 0. Does 13 divide b?
True
Let c(s) = -s**3 + 5*s**2 + 5*s - 10. Let p be c(5). Suppose -p = -8*l + 5*l. Is 14 a factor of (-38)/l*20/(-8)?
False
Let n = 85 - 75. Does 14 divide (-1515)/n*(-4)/6?
False
Let w be ((-24)/36)/((-2)/24). Suppose 4*d + j - w = -2, 4*j - 9 = -d. Is (-1004)/(-20) - d/5 a multiple of 28?
False
Let f be -16 - -17 - 1*(12 - -1). Is f/8*192/(-9) a multiple of 32?
True
Let w(d) = -d + 14. Let t be w(12). Let x be ((-2)/3)/(t/(-6)). Suppose x*o = 4*o - 64. Does 16 divide o?
True
Suppose 5*z - 3*c = -26, -2*z - c + 1 = 7. Let r(u) = -3*u - 7. Is r(z) a multiple of 5?
True
Suppose o = -3*o + 148. Does 2 divide o?
False
Suppose s = 3*n + 1578, 0 = 63*n - 59*n. Is s a multiple of 53?
False
Let h be 36/162 - 3244/18. Let r = h + 350. Is 10 a factor of r?
True
Let h(s) = -2*s**2 - 26*s - 35. Let m be h(-14). Let t = 114 + m. Is t a multiple of 17?
True
Suppose 63*k - 180 = 58*k. Let j = 42 - k. Is j a multiple of 3?
True
Suppose -25*n + 31529 = -25421. Is n a multiple of 67?
True
Let h(b) = -b**2 + 16*b - 12. Let z(f) = -f**2 + 9*f - 9. Let i be z(8). Let j be (i + (-6)/(-4))*14. Is 17 a factor of h(j)?
True
Let x(s) = s**2 - s - 8. Let u be x(-3). Suppose 5*w + 400 = 4*b, -341 = -u*b - 3*w + 59. Is 10 a factor of b?
True
Suppose -2*r - 33 = r. Let t = -1 + r. Let o = 62 + t. Is 28 a factor of o?
False
Let g(i) = 142*i**2 + 10*i + 19. Is 81 a factor of g(-2)?
True
Suppose -4*s + 22 = i - 0*s, i - 16 = 2*s. Let a = i + -38. Does 4 divide ((-72)/a)/2*5?
False
Let i(o) = -51*o - 7. Let h(y) be the second derivative of -128*y**3/3 - 18*y**2 + 9*y. Let a(w) = -2*h(w) + 11*i(w). Does 28 divide a(-2)?
False
Suppose 46*x + 3*l = 50*x - 2054, 4*l = 4*x - 2052. Is 4 a factor of x?
False
Let h be 1/1 - (5 + -5). Let w be (1 - h)*(-7)/(-21). Suppose w = -u + b - 4 + 31, -u = 3*b - 7. Is u a multiple of 22?
True
Suppose -5*r + 330 = 5*w, -3*r - 299 = w - 5*w. Let n = 140 - w. Is 17 a factor of n?
False
Let h = 48 + -23. Let o(y) = h*y**2 + 1 - 4 + 1 + 1. Is 8 a factor of o(1)?
True
Suppose -2*n = -2*z - 5388, 3*z = n + 4*z - 2702. Is n a multiple of 71?
True
Let m(l) = -3*l**3 - l**2 - l. Let r be m(-1). Let p = 7 - r. Is 32 a factor of p/(-3)*-12*4?
True
Does 37 divide (5/4)/(9/5076) + -2?
True
Suppose -2*q - 16 = d, 0 = 5*q - 3*q - 4*d - 4. Is 9 a factor of 0/(4 + q) + 1*100?
False
Is (-9)/(-6)*768/9 a multiple of 32?
True
Does 3 divide ((-720)/(-12))/(5/(15/6))?
True
Let v = 655 + -545. Is v a multiple of 4?
False
Let u be (-10)/(-3)*12/(-2). Suppose 5*y - 165 = y - s, -2*y + 69 = 5*s. Let q = y + u. Is q a multiple of 15?
False
Is -6 + ((-55879)/(-95) - 1/5) a multiple of 10?
False
Let k(r) = r**2 - 4*r + 3. Is k(-12) a multiple of 24?
Fals