k - 5*g + 10*g = -o, -24 = -4*k + 2*g. Is 3 a factor of k?
False
Let g = -39 + -13. Let f = g - -85. Is 9 a factor of f?
False
Let s(r) = r**3 + 2*r**2 - 4*r. Let x be s(-3). Suppose 0*k + x*k = 15. Suppose -k*p = -p + 4*c - 28, 5*c = 3*p - 61. Is 4 a factor of p?
True
Suppose 0*s + k - 16 = -5*s, -5*k = 4*s + 4. Is (90/s)/(27/36) a multiple of 6?
True
Suppose f + 4 = -0*f, 0 = -4*i - 2*f - 4. Is 22 - (-2 + 2 - i)*2 a multiple of 3?
True
Let q = 75 + -23. Suppose 148 = 2*n + q. Is 6 a factor of n?
True
Suppose b - 2 - 9 = 0. Suppose 8*k + 240 = b*k. Does 16 divide k?
True
Let u = -9 - -110. Suppose -u = 4*i - 673. Suppose -3*r - 99 = -2*b, -3*b + 0*r = r - i. Is b a multiple of 15?
False
Suppose -6*s = 213 + 123. Let o = s - -164. Is o a multiple of 10?
False
Let k = -232 - -1178. Is 86 a factor of k?
True
Suppose 4*u - 16 = -0. Suppose 0 = -4*t - q + 13, -u*q = 2*t - 3*q - 5. Suppose 95 = 5*m + t*i, m + 2*i + 3*i = 40. Is m a multiple of 3?
True
Suppose q = -3*q + 16. Suppose -112 = -8*a + q*a. Suppose 5*n - 2*k = 47, 5*n - 15 = -2*k + a. Is 3 a factor of n?
True
Let s(i) = -i + 14. Let d be s(12). Does 32 divide d*2 - 341/(-11)?
False
Let p(x) = -x + 122. Let i be p(0). Suppose -5*o - 5*v + 305 = 0, v - i = -2*o - 3*v. Suppose 84 = 5*b - o. Does 17 divide b?
False
Suppose -2*j - 5*q + 3 + 59 = 0, -20 = 5*q. Let u = 4 + j. Is u a multiple of 45?
True
Let i = 9 - 7. Suppose -44 - 333 = -4*y - v, y - 92 = i*v. Is y a multiple of 23?
False
Is ((-8)/(-12))/(6 - 1276/213) a multiple of 4?
False
Suppose a = -4*t + 6*a + 2148, -5*t + 2685 = 5*a. Is 42 a factor of t?
False
Suppose 2*n - 285 = y, -7*n + y + 571 = -3*n. Let k = -114 + n. Is 9 a factor of k?
False
Is 104 a factor of (23386 - -5)/9 + 1?
True
Let z(m) = 5*m - 16. Let v(g) = -1. Let n(d) = -4*v(d) + z(d). Let f be 26/3 - 2/(-6). Is n(f) a multiple of 11?
True
Let c be 11/44 - (-22)/8. Let y = c + 60. Is 25 a factor of y?
False
Let q = 25 - 31. Let r = 13 + q. Is 4 a factor of r?
False
Let h(j) = j + 17. Let s be h(-12). Suppose -2*k - 3*x + 293 = 0, s*k - x - 618 = 140. Does 42 divide k?
False
Let f = -1 + 4. Let m(u) = 11*u. Let k be m(f). Suppose 5*a - 84 = -3*i + k, -4*i = -3*a + 47. Is a a multiple of 5?
False
Let g = 26 + -27. Is ((-12)/10)/(g*(-3)/(-345)) a multiple of 46?
True
Suppose -t - 7 = 5*f, -4*f - 14 = -0*t + 2*t. Let r(z) be the first derivative of -z**4/4 - 2*z**3 + 7*z**2/2 + 8*z + 1. Does 8 divide r(t)?
True
Suppose 4 = -2*o, 6 = -a + 3*a + 3*o. Suppose -7*t = -a*t - 60. Does 15 divide t?
True
Let t(x) = x**2 - x - 182. Let v be t(0). Let w = 87 - v. Is 45 a factor of w?
False
Suppose -13*l = 463 + 2514. Let f = l + 320. Is f a multiple of 7?
True
Suppose 45*t - 44*t = 100. Suppose 7*p = -4*h + 2*p + t, 5*h - 154 = p. Is 8 a factor of h?
False
Let z = 78 + 175. Is z a multiple of 87?
False
Suppose -4*o - 6 = 3*p, -5*p - 10 = 4*o + o. Suppose -3*j = -k - 0 - 53, -5*j + 3*k + 87 = o. Is 15 a factor of j?
False
Suppose d - 3 = -2*r, 4*r + r = 2*d + 12. Suppose h - 675 = -r*h. Does 44 divide h?
False
Is 74 a factor of 1/5*(-2 - -2) - -1554?
True
Suppose -4*o + 17 = j + 45, 0 = 4*j + o + 112. Let d = -123 + 162. Let n = d + j. Is 9 a factor of n?
False
Suppose -12*b + 14*b = -2. Is ((-81)/(-15) - b)*15 a multiple of 16?
True
Suppose -12 + 0 = -4*i. Suppose -3 - 3 = i*u. Does 4 divide 16*((-44)/(-16) + u)?
True
Let a(t) = t**3 + 2*t**2 - 7*t + 4. Is a(6) a multiple of 10?
True
Suppose 2*i + 1 = 5*s - 5, -5*i + 10 = 0. Suppose s = g - 40. Does 4 divide g?
False
Suppose -a = -n - 599, -2*a + 7*a - 2*n = 2998. Is a a multiple of 10?
True
Let b(n) = -117*n - 420. Does 3 divide b(-6)?
True
Let j(a) = -173*a - 26. Is 11 a factor of j(-5)?
False
Let j = 117 - -479. Is j a multiple of 33?
False
Let m(i) = 11*i**2 + 36*i + 19. Does 3 divide m(10)?
True
Let u = -1279 - -6183. Is u a multiple of 32?
False
Let u be ((-76)/20)/(7/(-35)). Let m(h) = -h**2 + 24*h + 43. Is 31 a factor of m(u)?
False
Suppose -3*m = 2*t - 28, 0 = m - 5*m + 5*t + 45. Let c(o) = o**3 - 9*o**2 - 5*o - 13. Is 9 a factor of c(m)?
False
Let q(a) = 51*a**2 + a. Let o(t) = -t - 6. Let c be o(0). Let g = 5 + c. Is q(g) a multiple of 17?
False
Let d(x) = x**2 + 8*x - 7. Let t be d(-9). Suppose -s - 177 = -t*i, 0 = -i + s - 6*s + 61. Does 9 divide i?
False
Is 29 a factor of 2039/5 + (-20)/25?
False
Suppose -v + 0*b + 141 = b, -4*b + 419 = 3*v. Suppose -2*s + 185 = v. Is s a multiple of 20?
True
Suppose 0 = -2*n - 23 + 29. Suppose -n*v - v + 12 = 0. Does 2 divide v?
False
Suppose -5*n + 2*y = -66, -4*y + 28 + 8 = 4*n. Let s be (-1)/4 - (-75)/n. Does 23 divide ((-460)/8)/(-5)*s?
True
Let j = 33 - -29. Let o = j - 22. Let n = o - 12. Is n a multiple of 8?
False
Suppose -12640 = -7*z - 3*z. Suppose 29*x - z = 21*x. Is x a multiple of 8?
False
Let u(m) = -m**2 - 6*m + 5. Let y be u(-5). Let f be (-1 - -3)*y/4. Suppose -3*q + 4*p = q - 48, f*q = 2*p + 63. Is q a multiple of 13?
True
Suppose 42 = 28*f - 22*f. Let h(c) = 2*c**2 + 2*c + 8. Is 17 a factor of h(f)?
False
Let x(r) = r**3 + 11*r**2 - r - 12. Let z be x(-11). Let q = z + 3. Is 21 a factor of 0 + 1 + q - -25?
False
Let m(x) = -2*x + 39. Let b be m(16). Suppose b*g - 350 = 287. Is g a multiple of 13?
True
Suppose -9*n = -4*n + 3*h - 5553, 2217 = 2*n - 3*h. Is 37 a factor of n?
True
Let r be (-235 + 18)*(-19 - 1). Suppose r = 2*s + 12*s. Does 31 divide s?
True
Suppose 37*p - 33*p = 52. Does 12 divide p?
False
Suppose 12 = 2*p + 4. Suppose a + p*z - 11 = 0, 21 = 2*a - 5*z - 1. Does 2 divide a?
False
Let q(k) be the third derivative of k**5/60 + 11*k**4/24 - 6*k**2. Let a be q(-11). Suppose a = -u - 4 + 22. Does 18 divide u?
True
Let p(d) = 57*d - 33. Does 9 divide p(11)?
True
Let w(v) = -v**2 - 11*v + 26. Let p be (-1 - (4 + -2)) + -9. Is w(p) a multiple of 2?
True
Let j = 57 - 36. Let n be 51/j + 9/(-21). Suppose n*t - 16 = 104. Is t a multiple of 26?
False
Let t(d) = -d**3 + 6*d**2 + 3*d - 13. Let v be t(6). Suppose 0*o = 2*o - 10, 5*z - v*o = 615. Is 11 a factor of z?
False
Let x be -1 - (5*(-1 + 0) + 0). Suppose 2*a - 4*a = -4*m - 174, 79 = a - x*m. Is a a multiple of 36?
False
Suppose -8*u = -6*u - 400. Let r = 282 - u. Does 27 divide r?
False
Suppose 2*s - 2*a + 34 = 4*s, 61 = 3*s + 5*a. Let y be 6 - (s/2)/2. Suppose 169 = y*x - 2*q, 2*q = 2*x - q - 121. Does 26 divide x?
False
Let v(j) = 2*j**2 - 14*j - 3. Does 20 divide v(36)?
False
Suppose -2*u = -f - 5, -2*u + 7 = -0*f + f. Suppose 3*s + 5 = 8*s. Let r = u + s. Is 3 a factor of r?
False
Let f be (41/(-6)*4)/((-50)/75). Suppose -51 - f = -s. Is s a multiple of 23?
True
Let d(j) = j**2 - 3 + 6*j + 6*j - 4*j + 5. Is 11 a factor of d(-9)?
True
Let d(t) = 3*t**2 - 7*t - 1. Let r be d(-5). Let b = r + -39. Does 10 divide b?
True
Let b = 1335 - 978. Is b a multiple of 11?
False
Let d(s) = 2 - 7 + 1 - 23*s + 6. Is d(-3) a multiple of 21?
False
Let w(c) = -2*c + 38. Let l be w(18). Does 18 divide (-18 + 21)/(1*l/106)?
False
Let r(g) = g**3 + 8*g**2 - g - 3. Let z be r(-8). Suppose -3*x + z*k = 35, 2*x = 4*x + 4*k - 6. Does 4 divide (-8 - -1)*(-6 - x)?
False
Is 1285 + (11 + -7 - 1) a multiple of 46?
True
Let y(z) = -28*z + 441. Is 18 a factor of y(-29)?
False
Suppose -2*m = i - 3, i + 3*i + m - 19 = 0. Suppose 1 = -i*p + 156. Suppose -n + 3*c + p = 0, c = -5*n + 2*c + 225. Does 23 divide n?
True
Let b = 1326 + -906. Does 4 divide b?
True
Let s(h) = 124*h**2 + 2*h + 3. Does 33 divide s(-2)?
True
Let r = -72 - 87. Let i = r - -319. Let y = -101 + i. Is y a multiple of 16?
False
Let m(p) = -4*p**3 - 11*p - 11. Let s(y) = 52*y - 2*y**2 + y**2 - 10 - 62*y - 3*y**3. Let x(z) = -5*m(z) + 6*s(z). Is x(5) a multiple of 14?
True
Let l(y) = -y**2 - 7*y + 11. Let a(j) = -j**2 - 8*j + 11. Let r(t) = 3*a(t) - 4*l(t). Is 8 a factor of r(-7)?
False
Let y(m) = m**2 - 6*m + 1. Let p be y(-3). Suppose 4*g - 6*g = -p. Is 14 a factor of g?
True
Let k = -2203 + 3490. Is 23 a factor of k?
False
Is 31 a factor of 6 - 1/(6/(-2940))?
True
Let k(v) = -2*v**3 + 24*v**2 - 14*v + 20. Is k(11) a multiple of 6?
True
Let t = 2887 + -2717. Does 2 divide t?
True
Let d(o) = -12*o + 9. Let z(x) = 11*x - 10. Let n(u) = 3*d(u) + 4*z(u). Let l be n(4). Suppose r - 5*b = l, r + r - 3*b = 31. Is r a multiple of 7?
True
Suppose -y - 60 = -4*y. Let k be 10*18*(