le of 7?
False
Suppose -86 - 169 = -5*w. Suppose 8*l - 539 - 629 = 0. Let j = l - w. Is j a multiple of 19?
True
Let s(m) = 178*m**2 - 48*m + 97. Is 27 a factor of s(2)?
False
Suppose 5*l - 3112 = 4*s, -3*l + 125 = -5*s - 1737. Does 48 divide l?
True
Suppose 8580 = 5*i + 780. Does 65 divide i?
True
Let m(h) = 1280*h**3 - 4*h**2 + 4*h - 2. Is m(1) a multiple of 47?
False
Let o(b) = -b**3 + 11*b**2 + b + 6. Does 3 divide o(4)?
False
Let f be (-32)/(-14) - (-8)/(-28). Let k(o) = 16*o**f - 3*o**2 - 8*o**2 + 9 + 2*o**2 + o**3 + 6*o. Is 9 a factor of k(-6)?
True
Suppose -564 = -5*b - 2*q, -10 = 4*q - 9*q. Suppose v - 84 = -4*d + 3*v, -5*v + b = 4*d. Is 5 a factor of d?
False
Let y be 4554/63 - 2/7. Suppose -3*b - 2*v + y = -2*b, -3*b = -5*v - 260. Is b a multiple of 16?
True
Let g(m) = 3*m + 7. Let v be g(11). Let n = v + 69. Is n a multiple of 13?
False
Let p(v) = v**3 + 22*v**2 - 15*v - 5. Suppose -5*y = 2*r + 108, -27 = y - 0*y - 5*r. Is 25 a factor of p(y)?
True
Let w be -1*(-3 + 5)*-1. Suppose -57 = w*v - 381. Is 27 a factor of v?
True
Is (126/168)/((-3)/(-4244)) a multiple of 25?
False
Suppose 3*w - 3*u - 1155 = 0, -w + 2*u = 6*u - 405. Is w a multiple of 39?
False
Let p(k) = k**3 - 4*k**2 - 14*k + 65. Is p(7) a multiple of 19?
True
Let m(x) = x**3 - 18*x**2 + 20*x - 35. Does 13 divide m(18)?
True
Let v(q) = -q**2 - 4*q - 2. Suppose -5*l = 8 + 2. Let j be v(l). Is 1/j*2*79 a multiple of 24?
False
Is 10 a factor of (1116/(-48))/((-6)/16)?
False
Let y = 16 - 12. Let m be y*4/(-8)*-1. Suppose -g - 75 = -m*g. Does 14 divide g?
False
Let t = 773 + -405. Suppose -103 + t = 5*l. Does 13 divide l?
False
Suppose -2*d + 2 = -2. Let z = -1221 - -1229. Suppose z = d*j - 6. Is 2 a factor of j?
False
Suppose 5*u + 466 = 4*d + 2*u, -2*d = -u - 234. Suppose 3 + 0 = -n, -2*h - 4*n + d = 0. Is h a multiple of 5?
True
Let l = 5 - 3. Let r be -3*-2*l/4. Let p = 8 - r. Does 2 divide p?
False
Let d(z) = 34*z**2 + 21*z - 210. Does 24 divide d(8)?
False
Let f = -857 + 951. Does 22 divide f?
False
Let p(q) be the second derivative of q**4/12 - 5*q**3/6 - 5*q. Let c be p(5). Suppose -4*z + 5*z + s - 25 = c, 3*s = -2*z + 45. Is z a multiple of 15?
True
Let d = 35 + 0. Let u = d - 21. Is 20*(-1 - u/(-8)) a multiple of 5?
True
Let v = 555 + -8. Is v a multiple of 27?
False
Let l be (66/10 - (-45)/(-75))*-1. Is 37 a factor of (-2)/l - 377*(-5)/15?
False
Does 14 divide 1 + (-30)/21 + (-71978)/(-238)?
False
Let y = -669 + 2016. Is y a multiple of 37?
False
Suppose 3*c + 0*c = r - 972, -4*r - 972 = 3*c. Let o = c + 490. Is o a multiple of 24?
False
Suppose -2*v - 6*v = 0. Suppose 3*p - 2*l = 4, -5*p - 2*l = -v*l - 28. Suppose -p*m + 5*c = -130, 3*m - 3*c - 58 = 38. Is m a multiple of 10?
True
Suppose 19*b - 17*b = 4. Suppose 0*u - b*u = -30. Suppose 0*f = -2*a + f + 177, -5*f = -u. Is 18 a factor of a?
True
Let p(b) = 14*b**2 + 0*b**3 - b**3 + 14 - 24*b + 12*b. Suppose 78 = y + 5*y. Is p(y) a multiple of 9?
True
Let t(s) = 7*s**2 + 12*s + 16. Let v(b) = 4*b**2 + 6*b + 8. Let l(m) = -3*t(m) + 5*v(m). Let w be l(-5). Is (1/w + 1)*75 a multiple of 11?
False
Let z be 0 + 118 + -1 + (-6)/3. Let n = z - 43. Is 21 a factor of n?
False
Suppose 119*j - 126*j = -63. Is (2 - (6 - -2))/(j/(-108)) a multiple of 36?
True
Suppose -4*b - 5*o = -2471, -2*b + 0*o + 4*o = -1268. Suppose 7*l - b = -6*l. Is 12 a factor of l?
True
Let t(x) = 52*x**2 + 4*x + 1. Let z be t(2). Let j = z + -96. Is 31 a factor of j?
False
Let m(f) = f**3 - 8*f**2 + 5. Let s be m(8). Suppose -2*x + s*x = 78. Suppose -2*t + 10 = -x. Does 6 divide t?
True
Let h be 4/3 + 8/12. Suppose -h*j = -j - 23. Is 15 a factor of j?
False
Let w be (180 - 3) + 0/8. Let k = w + -142. Is k a multiple of 9?
False
Let r be (-2)/(-9) - (-1070)/45. Suppose r = -4*g - 3*l, -2*g - 3*l - 11 - 7 = 0. Does 28 divide 425/15 + 1/g?
True
Suppose 6*f = 5*f + 269. Suppose 4*x - 5*z = -3*z + 218, -z + f = 5*x. Is x a multiple of 23?
False
Suppose -3*z = -2*n + 167 + 20, 2*z = 2*n - 186. Is 8 a factor of (1 + 1)*n/8?
False
Suppose 0 = -7*c + 188 + 358. Let f = c + -40. Does 26 divide f?
False
Let g be (-1 - 2/5) + (-8)/(-20). Let i(k) = -70*k**3 - 2*k**2 + 3*k + 4. Does 5 divide i(g)?
False
Let w = -125 - -251. Is 9 a factor of w?
True
Let x = 177 + -63. Let a = x - 80. Is 17 a factor of a?
True
Let l = -98 + 173. Let s = 250 + l. Suppose 13*t - s = 8*t. Does 34 divide t?
False
Suppose -4*l = -3*i + 36, l - 4*l - 33 = -3*i. Does 8 divide i?
True
Let g(i) = -i**3 + i. Let t(p) = -2*p**2 + 2*p - 1. Let n be t(1). Let k be g(n). Suppose k = 2*j - 81 - 23. Does 11 divide j?
False
Let u(h) = -h**2 - 5*h + 3. Let b be u(-5). Suppose -b*d + 5*d = 10. Suppose w = 2*s - 32, -w - 49 = 2*s - d*s. Does 7 divide s?
False
Let x(k) = k**2 + 16*k - 23. Let t(f) = 3*f + 9. Let r be t(-10). Does 10 divide x(r)?
False
Suppose 0 = 3*n - 1188 - 2130. Does 58 divide n?
False
Let l(x) be the second derivative of -17*x**5/120 - x**4/24 - 2*x**3/3 + 2*x. Let b(c) be the second derivative of l(c). Does 16 divide b(-1)?
True
Let s(f) = -9*f**2 - 256*f - 21. Is s(-15) a multiple of 17?
False
Let f(g) = 11*g + 18. Is 13 a factor of f(9)?
True
Let t(d) = -6*d. Let r be t(-1). Let h = 54 - r. Is 16 a factor of h?
True
Suppose -2*a + 22 = 3*o, -3 = -4*a + 3*o + 5. Suppose s - a = 16. Is s a multiple of 8?
False
Is 715 + -4 + 5 + -9 a multiple of 13?
False
Is (-25)/(-3)*(-6 + -66)*-1 a multiple of 40?
True
Let h(q) = -2*q**3 - 2*q**2 - q - 2. Suppose -27 = -2*v - 3*u, 7*v + u = 4*v + 30. Suppose v*k - 5*k = -8. Is 8 a factor of h(k)?
True
Let u = -12 - -308. Is u/3 - 44/66 a multiple of 9?
False
Let o(m) = 7*m**2 - 15*m**2 + 5*m - m**3 - 1 - 2 + 7. Is 10 a factor of o(-9)?
True
Let q(b) = b**3 + 4*b**2 - 17*b - 12. Let y(z) = -z**2 - z. Let x(m) = -q(m) + 4*y(m). Let p be x(-9). Is 13 a factor of 0 - (3 - 5) - p?
True
Let q = -20 - -12. Let s be -21*q/12 - -2. Suppose 4*x - s - 4 = 0. Does 3 divide x?
False
Let b(j) = 5*j + j + 4 + 2*j. Let i(s) = -2*s - 8. Let k be i(-9). Is 14 a factor of b(k)?
True
Suppose -3*d - b = -287, -d + 0*d - 3*b + 93 = 0. Let f = d + -339. Is (f/(-36))/(6/16) a multiple of 9?
True
Let y be 1/(-4)*(-15 + 3). Let q be (-2 - -4)*(-177)/(-6). Suppose y*l = 170 - q. Is l a multiple of 16?
False
Let r(j) = 6*j**3 - 2*j + 1. Suppose 3*w = 8*w - 5. Let m be r(w). Suppose -5*n - 13 = -3*u, 5*n - m = -0. Is 6 a factor of u?
True
Let h = 15 - 10. Suppose -2*k = 2*y - y - 55, h*k = -y + 133. Let m = k - -10. Is m a multiple of 18?
True
Is 4 a factor of (-2 - -1)/((-20)/1580)?
False
Suppose 0 = h + 1, 2*x = -3*x + 4*h + 964. Suppose f + b - x = 0, 3*b - 198 = -f - b. Does 19 divide f?
True
Let y = -172 - -386. Is 6 a factor of y?
False
Suppose 0 = -22*y + 70*y - 49488. Is 19 a factor of y?
False
Let r = 0 - -4. Suppose -500 = -j - r*j. Let s = -20 + j. Is 16 a factor of s?
True
Let d(w) = 42*w + 21. Is 35 a factor of d(27)?
True
Suppose 5*j + 2*r = -5, -6*j + j + 5*r = 40. Does 21 divide (0 - -3 - -96) + 3 - j?
True
Let h(v) be the second derivative of -v**5/60 - 5*v**4/8 - 7*v**3/6 - 3*v**2/2 - v. Let p(i) be the first derivative of h(i). Does 7 divide p(-9)?
False
Suppose -u - 6*v + 371 = -5*v, 5*u + v - 1875 = 0. Does 8 divide u?
True
Let f(d) = 55*d**2 + 2*d - 5. Let o(p) = 56*p**2 + 2*p - 6. Let g(h) = 3*f(h) - 2*o(h). Does 33 divide g(2)?
False
Suppose -3*x - 2 = o - x, o - x = 7. Suppose 191 = -o*j + 611. Is 21 a factor of j?
True
Let m = 538 - 251. Suppose 60 = -5*w - 3*t + m, -2*t - 2 = 0. Is 25 a factor of w?
False
Suppose -5*w = 17 - 27. Suppose c - 3 = 7. Is -15*c/(w + -4) a multiple of 15?
True
Does 72 divide (10 - (1 + 10)) + 390?
False
Is (2 - 0) + (-2336)/24*-9 a multiple of 15?
False
Let u = 89 + 529. Suppose -13*z = -7*z - u. Does 7 divide z?
False
Let p(f) = -f**2 + 3*f + 21. Let k be p(0). Is 18 a factor of k*(-24)/(-126)*90/4?
True
Let h(q) = -q**3 + 19*q**2 + 59*q - 688. Does 33 divide h(10)?
False
Suppose -4*a + 3*u + 329 = 0, 162 = 3*a + 4*u - 91. Is 4 a factor of a?
False
Suppose 37*c = 42*c + 700. Let k = -95 - c. Does 9 divide k?
True
Suppose 7*p + 10*p - 4658 = 0. Is 5 a factor of p?
False
Let n = 12 - -4. Let k be (-1)/(-2) + 2200/n. Is k/18 + 1/3 a multiple of 8?
True
Suppose -3*f - 6 = 6. Let d(r) = r**3 + 6*r**2 - r - 5. Let k be d(