Suppose 3*r + 12 = -3*r. Is (-15)/r*160/25 a multiple of 16?
True
Let a(f) = -8*f**3 + 9*f**2 + 28*f + 16. Is a(-4) a multiple of 6?
False
Let f(z) = z**2 - 2*z - 5. Let k be f(4). Suppose 0 = -2*x - o + 421, -k*x - x - 5*o = -827. Is 42 a factor of x?
False
Let x(i) = 11 - i - 11. Let s be x(0). Suppose s = 2*q + 13 - 35. Is q a multiple of 3?
False
Is 59 a factor of 1/(12/752*(-13)/(-156))?
False
Suppose 4*q + 3 = -13, -4*a - 32 = -2*q. Let k = 13 + a. Suppose k*o = 23 + 7. Is o a multiple of 4?
False
Let z be 4 + (-17 + -4 - -2). Let y(w) = -w - 19. Let u be y(z). Is 10 a factor of 1 - (-55 - (-16)/u)?
True
Let o(j) = -7*j**3 + 23*j**2 - 16*j - 7. Let q(w) = -4*w**3 + 11*w**2 - 8*w - 3. Let v(r) = -3*o(r) + 5*q(r). Does 18 divide v(14)?
False
Let d(u) = -1. Let x(p) = -3*p**2 - 4*p + 7. Let f(y) = -2*d(y) - x(y). Let n be f(-5). Suppose 0 = -5*b + n + 30. Is b a multiple of 16?
True
Let x(r) = -r**3 + 83. Let d be x(0). Suppose -w + d = -57. Is w a multiple of 14?
True
Let g(q) = q - 1. Let m(n) = -5*n**2 - n - 10. Let c(h) = 6*g(h) - m(h). Let s(r) = -4*r**2 - 6*r - 5. Let a(d) = -3*c(d) - 4*s(d). Is a(-7) a multiple of 11?
False
Let v(h) = 4*h**2 + 5*h + 1. Let z(r) = 5*r**2 + 4*r + 2. Let p(y) = 6*v(y) - 5*z(y). Let s be p(9). Suppose s*t - 45 + 10 = 0. Is 3 a factor of t?
False
Let s(o) = 2*o**2 - 5*o - 20. Is 76 a factor of s(-24)?
False
Let a(y) be the second derivative of y**4/12 - 5*y**3/6 - 3*y**2 + 3*y. Suppose 2*m - 3 = 15. Is 13 a factor of a(m)?
False
Let t(f) = 25*f**2 - 22*f - 105. Is 9 a factor of t(-5)?
True
Let o = -15 - -17. Suppose -o*w + 44 = u, 4*w + 21 = 5*u - 199. Is u a multiple of 10?
False
Let v(f) = f + 26 - 2*f + 0*f. Let k be v(11). Suppose -75 = -5*i + k. Is i a multiple of 6?
True
Let r(h) be the third derivative of -h**5/60 + h**4/12 + h**3/6 - 11*h**2. Let m be r(1). Suppose -m*x + 7*x - 475 = 0. Is x a multiple of 22?
False
Let n(x) = -x**3 + 2*x**2 + 5*x + 193. Is n(0) a multiple of 21?
False
Suppose 12 - 2 = 5*n. Does 2 divide 1/(-3)*(-54 - (-1 - n))?
False
Let p be 9/42*-2 - 781/7. Let i = 157 + p. Does 5 divide i?
True
Let i = -4 - -8. Suppose i*l - 2*c - 554 = 0, -4*l - 5*c + 2*c + 569 = 0. Does 18 divide l?
False
Suppose -114 = 3*p - 15. Suppose 0*n + n = 4*q - 17, 5*n + q = -43. Let c = n - p. Does 12 divide c?
True
Let y be (-2)/(-6) + (-9688)/(-24). Suppose -2*t = -6*t + y. Is t a multiple of 24?
False
Let z(h) = h**3 - 4*h**2 + 4*h + 4. Suppose -3*c - 6 = -6*c. Suppose 2*w + c*w + 4 = -4*i, -5*w + 40 = -4*i. Is 10 a factor of z(w)?
True
Suppose 0 = f + 3*y - 60, 48*f - 49*f = -y - 40. Is 3 a factor of f?
True
Let i = 31 + -23. Suppose -9 = -q + i. Does 8 divide q?
False
Let k(a) = a. Suppose 0 = -2*l - 5*c - 9, -3*l - 6*c - 6 = -c. Let w be k(l). Is w/6 + (-29)/(-2) a multiple of 15?
True
Suppose 95*v - 1790 = 90*v. Let y = -120 + v. Does 15 divide y?
False
Let c be 18/30 - 114/(-10). Let j(l) = -5 - c*l + 4*l**2 - 2*l**2 - 3*l**2. Does 2 divide j(-11)?
True
Let s(k) = 37*k**2 - 14*k + 30. Is s(8) a multiple of 14?
False
Suppose -15*r + 13*r = -10. Suppose j - 2*j - 132 = -r*s, -j = -3. Is 17 a factor of (s/(-18))/(2/(-68))?
True
Let y(j) = 15*j - 4. Let k be y(7). Let l = k + -97. Does 2 divide l?
True
Let g = 11 - 1. Let n(i) = i**2 - 3*i - 25. Does 9 divide n(g)?
True
Let c = 16 - 18. Let n be 24/(-3)*(-43)/c. Let u = -113 - n. Is u a multiple of 15?
False
Let p(c) = -4*c - 17. Let i(s) = 9*s + 33. Let y(u) = -3*i(u) - 7*p(u). Let g be y(-15). Does 14 divide (14/2)/(g/10)?
True
Suppose -154*n + 1050 = -149*n. Does 13 divide n?
False
Let y = -624 + 912. Is y a multiple of 36?
True
Let q be 9/5 - 2/(-10)*1. Suppose 0 = 3*d + 3*m - 111, q*m - 3*m + 4 = 0. Is 3 a factor of d?
True
Let s(f) = -f**3 + 19*f**2 - 35*f + 19. Let i be s(17). Suppose -5*g - 21 + 89 = i*u, u + 3*g = 34. Is 9 a factor of u?
False
Let p(m) be the first derivative of -m**5/20 - 13*m**4/12 - 13*m**3/6 - 2*m + 2. Let h(s) be the first derivative of p(s). Does 6 divide h(-12)?
True
Let z = 174 - 106. Suppose -2*x + z = -q, 5*x + 2*q = x + 152. Let h = x + -14. Does 11 divide h?
True
Let s(b) = -b**3 + 8*b**2 - 7*b. Suppose -4*f + 16 = -12. Let o be s(f). Suppose o = -4*w + 3*w + 11. Is 11 a factor of w?
True
Let k = -15 - -22. Let b be k + -7 + (1 - 31). Let o = b + 61. Is o a multiple of 9?
False
Let m be 115*1 - (0 - -2). Suppose -b = -s + m, 5*b - s = -0*s - 565. Let q = b + 167. Is q a multiple of 27?
True
Suppose 15*s - 9419 = 2101. Is 24 a factor of s?
True
Let s = 1 - -1. Suppose -2*g + 25 = -s*p + p, p = 3*g - 26. Let t = p - -52. Is t a multiple of 14?
False
Let x(u) = 19*u + 8 - 3 + 3 - 3. Let v be x(7). Let b = v + -81. Is 19 a factor of b?
True
Suppose -2229 = -3*y - 3*i, -3*i = -5*y - 4*i + 3711. Does 5 divide y?
False
Suppose -2*s + 76 = 2*s. Let k = 3 - s. Let r = 33 + k. Is 17 a factor of r?
True
Let c be (-3 - -5)*(-9)/(-6). Suppose -c*b + 6*b = 2*x + 395, -2*x = -2*b + 260. Is b a multiple of 37?
False
Suppose 0*z - 4*z = -232. Does 5 divide z?
False
Let g = 149 - -275. Does 53 divide g?
True
Suppose 6*m = 8*m - 14. Let p = -4 + m. Suppose -p*d + 18 = -0*d. Is 4 a factor of d?
False
Let m = 4 - -6. Suppose -3*z = 6, -4*g + m*z = 5*z - 870. Does 43 divide g?
True
Suppose 0 = 13*l - 6*l - 2121. Is l a multiple of 18?
False
Let z = 374 + -275. Is z a multiple of 4?
False
Suppose 0 = 3*g + 183 - 564. Is g a multiple of 9?
False
Suppose 3*a + 3*f - 755 - 265 = 0, f = 4. Is a a multiple of 12?
True
Let g(x) = 16*x - 16. Let d = -18 - -23. Let n be g(d). Let i = n - -46. Does 24 divide i?
False
Let q be 3/6*6*1. Let r(o) = -4 - q*o**2 + 4*o**2 + 2*o**2. Does 6 divide r(3)?
False
Let a(b) = -b**3 - 31*b**2 + 62*b - 40. Does 3 divide a(-33)?
False
Let r(v) = v**3 - 16*v**2 - v + 15. Is r(18) a multiple of 43?
True
Let r = 188 + -116. Is 5 a factor of r?
False
Let p = -130 - -559. Is p a multiple of 11?
True
Suppose 22*s - 1239 - 741 = 0. Is s a multiple of 2?
True
Let q(g) = -614*g**3 - 6*g**2. Is q(-1) a multiple of 24?
False
Suppose j - 5*d = -2*j + 989, 0 = 2*j - 2*d - 658. Does 30 divide j?
False
Suppose -2*l + v - 3*v + 4 = 0, 0 = l + 3*v - 4. Let c be l*-7*(-45 + 2). Is 23 a factor of (-3)/12 - c/(-4)?
False
Is (8 + -219)*1/((-1)/3) a multiple of 35?
False
Let s = -5 - -25. Suppose -4*n = 2*i - 48, -5*n = -n - s. Does 11 divide i?
False
Does 98 divide (10/(-30)*3)/(2/(-1568))?
True
Suppose 4*x - a = 736, -3*x - 2*a + 152 + 389 = 0. Suppose -s - 5*u + x = 0, -3*s - 2*u + 232 + 317 = 0. Does 22 divide s?
False
Does 27 divide 34*((-14)/(-4) - 3)*27?
True
Let q(v) = v**2 - 2*v + 16. Let k be q(0). Let r be 4 - k/(-12)*3. Suppose -3*f - 3*n + r + 1 = 0, 4*f = -2*n + 18. Is 2 a factor of f?
True
Let w = 40 + -68. Is (144/14)/(-6)*w a multiple of 14?
False
Suppose 9*f = 4*f + 10, w - f = -44. Let g(q) = q**2 - 23*q - 15. Let a be g(24). Let r = a - w. Is 18 a factor of r?
False
Suppose 3*v = -o + 5*v - 1, 4*v - 32 = -4*o. Let z be o/(-25) - (-63)/15. Suppose -3*q + 3*s + 180 = 0, -z*q = -5*q + 4*s + 57. Is q a multiple of 17?
False
Suppose 16*q - 19*q + 210 = 3*u, -76 = -u + 5*q. Is u a multiple of 3?
False
Let z = -319 + 380. Is 7 a factor of z?
False
Suppose 5*r = 7 - 12, 5*r = -4*s + 9931. Is 69 a factor of s?
True
Let f = -9 + 14. Suppose -5*a + 260 = p - f*p, -3*a + 169 = -5*p. Does 15 divide a?
False
Let v(s) = -s**3 + 14*s**2 + 11. Let f(z) = -z**3 - 7*z**2 - 5*z - 21. Let o be f(-7). Does 4 divide v(o)?
False
Suppose -5*c = -3*o + 123, 4*o + c = 7*o - 123. Does 8 divide o?
False
Let a(k) = k**2 - 2*k + 6. Suppose -2*t = -2*l - 6 + 28, 0 = -l - 2*t + 2. Is a(l) a multiple of 6?
True
Suppose 0 = f - 5*f + 5*b + 25, -5*f + b = -5. Let m = f - -4. Suppose m*y + 66 = 202. Does 11 divide y?
False
Suppose 0 = -4*c - c + 1045. Let u be 0 - -3 - 2 - -3. Suppose u*n = c - 9. Is n a multiple of 17?
False
Let r = 56 + -29. Suppose 3*a + r = 171. Is a a multiple of 7?
False
Let m = -52 + 110. Suppose 0 = 5*b - 352 - m. Is 15 a factor of b?
False
Let t = -57 + 90. Let s = -30 + t. Suppose 21 + s = 4*n. Is 3 a factor of n?
True
Suppose 5*p + 3*i = 1695, 12*p = 14*p + 4*i - 664. Is p a multiple of 18?
True
Is ((-66)/(-99))/(4/2334) a multiple of 5?
False
Let o be ((-40)/36)/5 + 457/(-9). Does 2 divide (1/4 - o/4) + -3?
Tru