 p = 278, -p - 139 - q = -i*y. Does 18 divide y?
False
Suppose 2354 = 5*t + 2*x, -86*t - 5*x = -81*t - 2345. Is 8 a factor of t?
True
Let z(n) = 3*n**3 - 3*n**2 + 2*n + 4. Let p be z(3). Let y = p - -59. Is 41 a factor of y?
True
Let u be 2/(-5) - 260/(-25). Let c = u - 5. Is 5 a factor of c?
True
Let n = -8 - -6. Suppose 3 = 3*j - 3. Does 4 divide j/((-18)/(-8) + n)?
True
Suppose 0*m + m = 0. Suppose -b = -2 + 4, 5*d + b - 433 = m. Suppose 5*a + d = 337. Is 10 a factor of a?
True
Is 1/(-9*(-10)/2520) a multiple of 4?
True
Let g be (-6 - (-6 + 3)) + -159. Let w be g/(-2 - -1 - 0). Suppose 2*u = -u + w. Is 18 a factor of u?
True
Suppose -568 = -11*y + 708. Does 6 divide y?
False
Suppose 3*p - 22 = -f, 0 = 3*p - 2*p - 2*f + 2. Let w be 20 + (-1)/(-2)*p. Let j = w - 18. Is 5 a factor of j?
True
Let j(z) = 2*z**3 - 15*z**2 + 2*z + 28. Is j(9) a multiple of 6?
False
Does 42 divide 26/(-13)*(-902)/4?
False
Is ((-956)/1434)/(-1 - 16430/(-16434)) a multiple of 11?
True
Let l(z) = 3*z**3 + z**2 - z + 2. Let y(u) = u**2. Let o(f) = -l(f) + y(f). Does 11 divide o(-4)?
False
Let g = 30 + -22. Suppose 4*y - 14 = -3*x, -y = -2*y + 5*x - g. Suppose h + y*r - 2 = 0, h + 3*r - 6 = -2*h. Is h a multiple of 2?
True
Suppose -19047 = -11*t + 24073. Is 140 a factor of t?
True
Let b = -173 - -1350. Does 29 divide b?
False
Suppose 3*u = 3*b - 1665, 0 = b + u + u - 570. Is 40 a factor of b?
True
Let v be 10/5*(-1)/(-1). Suppose -2*f - v = -b - 1, 25 = -5*f - 5*b. Does 13 divide (-15 + 17)*(-41)/f?
False
Let b(q) = q**2 + 12*q - 29. Let r(v) = 14 + 30*v + 5*v + 4*v**2 - 102. Let x(g) = -7*b(g) + 2*r(g). Is x(13) a multiple of 5?
False
Suppose 70 = 2*d + 4. Let b = d - -3. Is b a multiple of 3?
True
Let v = -874 + 924. Does 10 divide v?
True
Let o(z) = -z**3 + z**2 - 2*z + 155. Let m be (-1 - (-3 - -5)) + 3 + 0. Does 31 divide o(m)?
True
Let y(o) = o**3 + 13*o**2 - o - 7. Does 2 divide y(-13)?
True
Let f(p) = -p**2 - 15*p - 18. Let d be f(-15). Let s be 21*(-2)/(d/51). Let o = s - 69. Is 25 a factor of o?
True
Let h(q) = 13*q**2 - 6*q - 28. Is h(-4) a multiple of 12?
True
Let k = 312 + 1239. Does 47 divide k?
True
Suppose 28*t = 12*t + 3680. Does 46 divide t?
True
Let l be 0/10*(0 - -1). Suppose l = -2*v - 13 + 65. Does 12 divide v?
False
Suppose 10*m = -0*m + 20. Suppose -d + b = 5*b - 114, -d = -m*b - 114. Is d a multiple of 25?
False
Suppose -2*v - 223 = -4439. Does 29 divide v?
False
Let g(q) = 15*q - 3. Is 21 a factor of g(17)?
True
Is (94/8)/((-57)/(-4104)) a multiple of 94?
True
Let s = -127 - -181. Let w be (-12)/(1/7*2). Is 21 a factor of (w/4)/((-9)/s)?
True
Let a be 2/1 - (-10)/(-1). Let l be (-12)/a*7*10. Suppose -5*j + l = -0*j. Is 6 a factor of j?
False
Suppose 0 = -4*o + 2*s - 0*s + 16, o - 26 = -5*s. Suppose 0 = -4*a + o + 6, 4*k + a - 291 = 0. Is 9 a factor of k?
True
Suppose w = 2*c + 37 + 19, 0 = -w - 3*c + 66. Suppose -36 = -3*r + w. Suppose -r = 12*z - 14*z. Is 5 a factor of z?
False
Does 14 divide 87/(-783) - (-6788)/18?
False
Suppose 4 = -0*r + r. Suppose -5*f + r*x + 18 = 0, -2*x + 11 + 13 = 3*f. Suppose 0 = 5*c + f*w - w - 105, 4*c = 4*w + 44. Is 7 a factor of c?
False
Let h(x) = -x**2 - x - 5. Let a be h(5). Let w = 17 + a. Is 9 a factor of w/(-7)*(-1 + 8)?
True
Let s(v) = v**3 + 5*v**2 + 3*v - 7. Let x be s(-3). Suppose z = x*d + 41, 3*z + z = -4*d + 224. Does 17 divide z?
True
Let h(u) = u**2 - 11*u - 5. Let l be h(17). Suppose 2*r - l = -3*b - 27, -105 = -3*r - 5*b. Is 5 a factor of r?
True
Let c(y) = y**3 + 2*y**2 - y. Let d be c(0). Suppose -2*j + 3*j - 102 = d. Is 21 a factor of j?
False
Let w(h) = -h**2 - 17*h - 16. Does 18 divide w(-10)?
True
Suppose 0 = w + 3, -40*w = -5*o - 39*w + 5673. Is o a multiple of 63?
True
Let d = -243 - -602. Does 6 divide d?
False
Let s = 9 - 4. Suppose 8 + 7 = s*q. Is q/(-1 + 14/8) a multiple of 2?
True
Suppose 4*u = 9*m + 9*u - 18828, 0 = 2*u. Is 7 a factor of m?
False
Let d = -27 - -242. Does 3 divide d?
False
Suppose 0*a + 5*w = -4*a + 166, 154 = 4*a - w. Suppose -6*i = -7*i + a. Suppose 2*y + i = 3*j, 4*j + 3*y - 19 = 16. Is j a multiple of 11?
True
Suppose -r = -5*b - 3*r - 223, 0 = -b + 2*r - 47. Does 28 divide (50/(-6))/(3/b)?
False
Suppose 10 + 0 = 5*f. Let x be ((-1)/(-3))/(f/18). Suppose 2*p - 38 = -5*t + 3*t, -2*t = x*p - 42. Does 5 divide t?
True
Does 18 divide -3 - ((-782)/6 - (-92)/69)?
True
Suppose -1140 + 7965 = 21*z. Is z a multiple of 31?
False
Let y(z) = -z**2 + 5*z - 1. Let o be y(4). Suppose o = -f + 9. Suppose f*u - 24 = 5*u. Does 6 divide u?
True
Suppose -4*b = b. Suppose 5*x + l + 42 = -2*l, 2*x + 4*l + 28 = b. Is (0 - 2)/2*x a multiple of 5?
False
Suppose -2*m - 1 = -7. Suppose -1164 = -6*g + m*g. Is 13 a factor of (-10)/(-50) + g/10?
True
Let v(w) = -10*w**3 - 5*w**2 + 3*w + 19. Is 27 a factor of v(-4)?
True
Suppose 12 = 4*k + 2*k. Suppose 0 = -3*v + 4*w - 255 + 863, -k*v = -4*w - 412. Is 28 a factor of v?
True
Suppose 0 = -111*c + 92*c + 38. Suppose d + 3*q = 5*q + 25, -3*q = 3*d - 102. Does 9 divide (4 - c)*d/2?
False
Suppose 4*d + 8 = 4*y, 3*y - 2*d - 8 = 2*d. Suppose y = -13*z + 10*z. Suppose z = -3*f - 9 + 54. Is 15 a factor of f?
True
Let l(k) = 7*k + 20. Let b be l(-10). Let o = b + 63. Does 3 divide o?
False
Let y(p) = -33*p**2 - 6*p - 12. Let r be y(-4). Let f = r + 756. Suppose 2*m - h = -3*m + f, -10 = 2*h. Is m a multiple of 15?
False
Let a(l) = l**3 + 5*l**2 - 17*l - 9. Does 27 divide a(6)?
False
Suppose 133 = c + 2*s, -4*c + 231 = -5*s - 301. Let z = -52 + c. Is z a multiple of 16?
False
Let m be (-17)/(2 - 0/2)*8. Let x = 99 + m. Does 31 divide x?
True
Suppose -u - 97 = -3*m + 419, -687 = -4*m + u. Is m a multiple of 9?
True
Let h = 724 + -394. Is 66 a factor of h?
True
Suppose 0*v - 20 = -4*v. Let p(j) = 0*j - 2*j - v*j - 3 + 5*j. Is p(-3) a multiple of 2?
False
Suppose 2*o + 18 = d - 5, 0 = -3*d + o + 49. Let h(n) = -n**2 + 19*n - 8. Let q(f) = f**2 - 18*f + 9. Let w(b) = 3*h(b) + 2*q(b). Is 24 a factor of w(d)?
False
Let o(n) = n**2 - n + 29. Suppose -v = v + 2*v. Does 29 divide o(v)?
True
Suppose m + 5*l - 2 = 17, -94 = -4*m - 2*l. Is ((-18)/m)/((-2)/232) a multiple of 15?
False
Suppose 952 = 10*b - 6*b. Is 29 a factor of b?
False
Suppose -8*q + 137474 = -64054. Is 19 a factor of q/189 + (-2)/7?
True
Let w(m) = -m**2 - 21*m - 79. Let j be w(-14). Suppose -5*t = -3*u + 71, -t - 27 - 1 = 4*u. Is 8 a factor of t/(-20)*(j + 1)?
True
Suppose -5*z - 5 = n, 5*z - 15 = -5*n - 0*z. Let b be 1*(-2 + n/1). Suppose 0 = b*r - 0*r + 2*v - 52, -2*r = 4*v - 24. Does 8 divide r?
False
Does 37 divide 37869/234 - (-5)/(-6)?
False
Suppose 43 = 2*o + r, 3*o = 7*o - r - 83. Let m = 50 - o. Is 29 a factor of m?
True
Let c be (1 - 229 - -5)*-2. Is c/10 - (-10)/25 a multiple of 15?
True
Is 17 a factor of 3*((-3204)/135)/(2/(-20))?
False
Let k(w) = -3*w**2 - 58*w - 13. Does 3 divide k(-17)?
False
Let a(q) = -q**3 - 52*q**2 + 41*q - 148. Does 8 divide a(-53)?
True
Let z(l) be the first derivative of l**4/4 + l**3/3 - 11*l**2/2 - 6*l + 2. Let o be z(-4). Is (-1198)/o - (-2)/10 a multiple of 27?
False
Let l = 0 + 8. Suppose l = z + 2. Does 3 divide z?
True
Suppose n - q = -75, 3*n + 215 = 4*q - 6*q. Let y = n - -138. Is y a multiple of 20?
False
Suppose -47*j = -37*j - 1600. Does 6 divide j?
False
Suppose 6*h - 1776 = -1650. Does 2 divide h?
False
Suppose -16 = -5*v + 24. Let g(d) = -d**3 + 7*d**2 + 10*d - 12. Let k be g(v). Suppose k*u = 3*o + 5*u - 49, -o = -u - 23. Is o a multiple of 8?
False
Let w = 765 + 345. Does 15 divide w?
True
Suppose 285 = -5*d + 2*l + 53, 3*l + 12 = 0. Let q be -4*4/(d/9). Suppose 0 = 4*s - 2*b - 3*b - 118, -q*s = b - 79. Does 27 divide s?
True
Is 18 a factor of 43 - (-10)/((-100)/70)?
True
Suppose -6*h + 4320 = 6*h. Is h a multiple of 10?
True
Suppose 316 = 3*z - 4*f - 356, -4*f = -5*z + 1120. Is 12 a factor of z?
False
Suppose 3*l = m + 52, -7*l + 2*m = -2*l - 85. Suppose l + 62 = 9*o. Is o a multiple of 5?
False
Suppose -3*m = 11 - 83. Suppose -5*l + m = -l - 2*w, 4*l = -5*w + 10. Suppose -l*a + 54 = -2*a. Is a a multiple of 9?
True
Let w(r) = 5*r + 244. Is 31 a factor of w(-5)?
False
Let x be ((-284)/12)/((-1)/6). Let w = 206 - x. Is 16 a factor of w?
True
Let o(u) = 14*u + 46. Let x(l) = -20. Let p(j) = j - 1. Let c(v) = 5*p(v) - x(v). Let b(i) = -11*c(