5?
False
Suppose 37*u + 35553 = 111921. Is u a multiple of 16?
True
Suppose 5*f - 10*n - 2773 = -7*n, -f + 565 = 2*n. Is f a multiple of 62?
False
Suppose 4*o = -131 - 209. Let q = -42 - o. Does 10 divide q?
False
Suppose 0 = 3*g + 7*g - 4680. Does 18 divide g?
True
Suppose -m = m - 6, 4*i - 2*m + 6 = 0. Let g(v) = v**3 - 9*v**2 + 8*v - 12. Let p be g(9). Suppose 2*z + i*z - p = 0. Is 10 a factor of z?
True
Let o be (-6)/(-9) + 8/6. Suppose 0 = -5*f - q + 281, q - 114 = -o*f - q. Suppose -4*b + 48 = -x + 2*x, 4*b + 3*x = f. Is 9 a factor of b?
False
Let p(l) = -4*l + 4. Suppose 0 = -4*m + 4*o + 40, 0*m - 5*o - 35 = -2*m. Let r = m + -11. Is 15 a factor of p(r)?
False
Suppose -4*c = -6*c - 32. Let n = 44 + c. Is n a multiple of 26?
False
Let a(q) = -q**3 + 4*q**2 - q + 4. Let m = -16 + 18. Suppose k - 9 - 3 = 3*c, m*k - 2*c = 12. Is 4 a factor of a(k)?
False
Let y(u) = 2*u**2 - 8*u - 8. Let o be y(5). Suppose -2*b + 5*g + 525 = 0, o*b + g = -3*g + 498. Is 17 a factor of b?
True
Let m(k) = 117*k**3. Is m(2) a multiple of 18?
True
Suppose -36*o + 43*o - 154 = 0. Let a(l) = l**2 + 3*l - 8. Let t be a(6). Let c = t - o. Is 7 a factor of c?
False
Let m(h) = -h**2 - 13*h - 8. Suppose -2*z - 3 - 5 = 0. Let l(r) = r**3 + 2*r**2 - 7*r - 5. Let g be l(z). Does 14 divide m(g)?
True
Let d(g) be the first derivative of g**4/4 - g**3/3 - g**2 + 10*g + 1. Let q(o) = -o**3 + 2*o**2 + 2*o - 9. Let p(s) = 6*d(s) + 7*q(s). Is p(8) a multiple of 3?
False
Suppose -n + 41 = -2*h, 0*h - 4*n = -3*h - 69. Let p = h - -43. Is 8 a factor of p?
True
Does 50 divide ((-224)/(-8))/(8/200)?
True
Suppose 0 = -4*h, -4*j + 0*h = -2*h - 12. Suppose -15 = 5*z - 5*a, 3*z + a = j*a - 4. Suppose 0 = -z*l - 8, 3*n = n + 5*l + 60. Is 7 a factor of n?
False
Let a be -5*(-1)/15*0. Let y(v) = v + 71. Does 16 divide y(a)?
False
Let r be 4 - 0/(-1 - 2). Suppose -c + 2*y = r*c - 404, 4*c + 2*y - 316 = 0. Let o = c - 46. Is o a multiple of 17?
True
Let n = -551 - -1115. Does 10 divide n?
False
Suppose -5*q = -10*q + 30. Let r be 1035/(-60)*16/q. Let k = 130 + r. Is k a multiple of 14?
True
Let z(c) = -6*c - 16. Let r = 10 + 13. Let q = -31 + r. Is 19 a factor of z(q)?
False
Let x(s) = -235*s - 71. Is x(-6) a multiple of 15?
False
Let g(z) = -3*z. Let s be g(-2). Let j be (-536)/s*54/(-36). Suppose j = 4*o + h + 15, -92 = -3*o + 2*h. Is 6 a factor of o?
True
Suppose -5*c = -5*o + 10 - 0, 24 = -2*o - 5*c. Does 12 divide o/8 - (-201)/4?
False
Let j be (-5)/(-2)*16/20. Is 19 a factor of 4 - (j + -45 - 2)?
False
Let z(n) = -n**3 + 24*n**2 - 20*n - 55. Let f be z(23). Suppose -380 = -6*r + r. Suppose f*b - 10*b = r. Is b a multiple of 9?
False
Suppose 216 = 3*b - 4*q, -2*b - 2*q - 2*q + 144 = 0. Suppose -12*s = -1008 - b. Does 18 divide s?
True
Let z be -9*6*6/4. Let y = -109 + 60. Let t = y - z. Is t a multiple of 15?
False
Let p = -1265 - -1838. Is p a multiple of 38?
False
Does 8 divide (-37 + -1)/((-8)/192)?
True
Let j(p) = -p**3 + 11*p**2 + 2*p - 16. Suppose -2*b + 55 = h, 0 = -h + b - 4*b + 60. Suppose 3*l = -f + 36, -2*l - l + h = 4*f. Is j(l) a multiple of 3?
True
Suppose 0 = 19*a - 23*a + 16. Suppose 4*w + 0*l - a*l - 260 = 0, -5*l = -25. Is 7 a factor of w?
True
Suppose -2*l + 4*n = -3412, 9*l + n - 8563 = 4*l. Is l a multiple of 26?
False
Let w = 510 - 40. Is 79 a factor of w?
False
Suppose 0 = 15*n - 16*n + 24. Does 17 divide (186*(-3)/n)/((-3)/8)?
False
Let c = 37 + 11. Suppose 4*a - 5 = -5*k + 5*a, -2*k + 9 = a. Suppose -k*j + 80 = -c. Is 8 a factor of j?
True
Suppose -k + 4 = 0, 10*l - k + 42 = 12*l. Does 3 divide l?
False
Suppose 4 + 16 = 4*v. Suppose 3*s - 21 - 9 = 0. Let t = v + s. Is 5 a factor of t?
True
Suppose -n - 5*p = -3, -36 - 3 = -5*n - p. Suppose 6*u + 72 = n*u. Is 4 a factor of u?
True
Let s(g) = 24*g**3 - 6*g**2 + 6*g + 8. Does 43 divide s(3)?
False
Suppose 4*b + 5 = -4*d + 61, -2*d + 10 = 0. Suppose -3*i = -4*l - b, -3*l - 17 = -5*i - 2. Suppose 2*u - 20 = 3*g, 5*g + 15 = i*u - 17. Is u a multiple of 4?
True
Let a = 8 - 5. Let z(s) = -s**3 + 5*s**2 - 5*s + 2. Let p be z(a). Suppose 3*k - 69 = -3*h, -4*h + p*k + 7 = -112. Does 9 divide h?
False
Suppose -3*q = -6*q - 114. Let u = q + 86. Is 12 a factor of u?
True
Let b = 626 - -431. Is 24 a factor of b?
False
Let y = 902 + -532. Is 37 a factor of y?
True
Let l = 23 + -15. Suppose -l*p = -7*p - 15. Let f = 15 + p. Is f a multiple of 8?
False
Let t be (-555)/(-20) - 1/(-4). Suppose -2*x + t + 30 = 0. Is 10 a factor of x?
False
Let l = -42 - -42. Suppose 22 = -l*o + o + f, 4*f = 5*o - 65. Does 4 divide o?
False
Let k = -627 - -1511. Does 13 divide k?
True
Let f = -1732 + 4768. Does 11 divide f?
True
Suppose -h + 2*h = 5. Let t = -4 - -6. Suppose 2*y + t*y = 2*g - 72, -h*g - y + 180 = 0. Does 21 divide g?
False
Suppose 5*f = j - 5*j - 1, -4*j = -4*f - 44. Suppose 0 = 2*r - j - 2, -118 = -5*o + 3*r. Let h = -20 + o. Does 4 divide h?
False
Let c(s) = 24*s**2 + s + 1. Let p = 11 - 9. Let h be 3/p*4/(-6). Does 12 divide c(h)?
True
Let h(p) = 5*p**2 - 3*p - 12. Suppose 0 = -2*y - 2*g + 4*g + 2, 0 = -2*y - g - 10. Is h(y) a multiple of 21?
True
Let j(x) = 119*x + 99. Is 12 a factor of j(7)?
False
Suppose 391 + 74 = 93*p. Let x be 472/3 - (-2)/(-6). Suppose q = p*o - 4*q - 155, 5*o - x = 3*q. Is o a multiple of 12?
False
Suppose -7*x + 12*x - 2030 = 0. Is 29 a factor of x?
True
Let t be 2/(-20) + (-3094)/(-340). Suppose -4*k + 39 = 6*s - s, -5*s = 3*k - 33. Is (-1 - -9)/(k/t) a multiple of 12?
True
Let z be (-3)/(-3)*0/(-8). Let p(v) = v**2 + 1 + 0*v + 3*v**2 + z - 4*v. Is p(2) a multiple of 7?
False
Let w = 133 + -16. Is 8 a factor of w?
False
Suppose -4 = -5*f + 16. Suppose -2*y + 32 = -f*j, 39 = 4*y - 5*j - 10. Does 6 divide y?
True
Let o = -66 + 52. Does 9 divide ((-1950)/(-14))/3 - (-6)/o?
False
Does 16 divide 5480/6*(-10 + (-806)/(-65))?
True
Suppose -7*t + 44 = 212. Let l = 114 + t. Does 14 divide l?
False
Let t = -209 - -738. Is 23 a factor of t?
True
Let g(h) = 4*h - 1. Let m be g(1). Let t be 49/(-35) + m/(-5). Does 5 divide (2 - 3)/(t/28)?
False
Suppose 4*f = 2*j + 358, 97 = f - 4*j + 5*j. Does 16 divide f?
False
Suppose 0 = -53*q + 86*q - 96228. Does 108 divide q?
True
Suppose 0 = -4*o + 590 - 26. Let z = o - 36. Let k = z - 75. Is k a multiple of 9?
False
Let i be ((-5)/2)/((-3)/6). Suppose 5*q = -0*q + 20, i*q + 108 = 4*j. Is j a multiple of 4?
True
Let n be 100 + (-9)/(-4 + 1). Let z = n - 53. Suppose z*a + 70 = 51*a. Is 14 a factor of a?
True
Suppose 3*w = 2*q, -4*q - w = 2*w. Suppose q = y + 3*r - 14, -r = -0*r. Let a = y + -4. Does 3 divide a?
False
Let g(k) = 14*k**3 + 2*k + 1. Let t be g(2). Suppose -t = -6*w + 3*w. Let m = w - 24. Is 15 a factor of m?
True
Let i = 218 - 220. Let m(o) = -2*o**2 + o - 12*o**3 - 2 + 4*o**2 + 2*o**3. Does 28 divide m(i)?
True
Let z(x) = -x + 9. Let m be z(4). Suppose -393 = -2*b + m*u, b + 6*u = 2*u + 177. Is b a multiple of 49?
False
Suppose 3*w - 833 = 490. Suppose w = 3*g + 4*g. Does 9 divide g?
True
Let n(t) = -28*t**3 - 2*t**2 - 2*t - 1. Suppose d - 2*a + 36 = 3*d, 5*d - 2*a = 83. Let z = d + -18. Does 12 divide n(z)?
False
Let u(p) = 9*p**3 - 6*p**2 - 5*p - 5. Let l be u(5). Suppose g = 6*g - l. Suppose -4*j - 3*j + g = 0. Does 9 divide j?
True
Let i(w) = 4*w**2 + 49*w - 2. Is 8 a factor of i(-18)?
False
Let i(k) = 42*k + 2. Let t be i(-2). Let o = t + 56. Is 26 a factor of (o/(-3))/(1/6)?
True
Suppose 2*b + 0*b - c = 113, 0 = c + 3. Suppose -3*s + b = 2*s - f, 2*s - 22 = 4*f. Suppose -3*j - s = -65. Is 9 a factor of j?
True
Let c be 39/3*2/2. Let w = c - -20. Is 11 a factor of w?
True
Suppose 3*z - 5*q = 80, 0 = 2*z - q - 80 + 29. Is z a multiple of 11?
False
Suppose 0 = -u - 0*u - 2. Let h be (2/6)/(u/(-30)). Suppose 21 + 107 = 5*f + 4*w, 0 = -h*f - w + 137. Is f a multiple of 7?
True
Let s be (-7816)/(-120) - 4/30. Let b = -40 + s. Is 12 a factor of b?
False
Is 14 a factor of (((-375)/2)/1)/(185/(-740))?
False
Let g(d) = -184*d - 8. Is g(-9) a multiple of 9?
False
Let i(m) = -5*m - 48. Let z(p) = -p - 1. Let o(r) = -i(r) + 6*z(r). Is 3 a factor of o(16)?
False
Let i(o) = o**2 + 4*o + 14. Suppose -5*b + 8 = -2, 2*b = 2*s + 18. Does 7 divide i(s)?
True
Let j(r) = -34*r + 5. Is j(-5) a multiple of 7?
True
Suppose -18*u + 24370 - 160 = 0. Is 19 a factor of u?
False
Suppo