 93 = -4*u - s + 256. Let x = -9 + 9. Suppose 0 = -2*i - x + u. Is 8 a factor of i?
False
Suppose -2*a + 12 = -8. Suppose 5*z + 0 = a. Is 2 a factor of z?
True
Suppose 0 = z - 5*y + 47 + 15, -270 = 5*z - 5*y. Let i = z - -82. Does 15 divide i?
True
Let c be 3 - 2 - 3 - -4. Suppose 5*f + r - 94 = 0, 4*f + r - 40 = c*f. Suppose -f = w - 53. Is w a multiple of 11?
False
Let o(h) = -h**2 + 9*h - 7. Suppose 2*u + 2*y = -0*y + 2, -3 = y. Suppose -2*m + 32 = -3*p - 2*p, -5*m - u*p = -14. Does 11 divide o(m)?
True
Let x = 368 + -236. Does 12 divide x?
True
Suppose 6*j + 0*j = 0. Suppose 0*u + 2*u = 10. Suppose j*o = u*o - 50. Is 5 a factor of o?
True
Let p(z) be the first derivative of z**4/4 - 7*z**3/3 + 10*z - 9. Suppose -3*x + 35 = 14. Does 4 divide p(x)?
False
Let a(t) = 23*t**3 + 17*t**2 + 20*t + 14. Let s(u) = 8*u**3 + 6*u**2 + 7*u + 5. Let g(v) = 6*a(v) - 17*s(v). Does 9 divide g(2)?
False
Let d be 3/2*10/15. Suppose 0 = -3*n - d + 133. Does 16 divide n?
False
Let d be -1*((-2)/2 - -1). Suppose -3*f - f - a + 280 = d, 3*a = -4*f + 288. Is 19 a factor of f?
False
Let i(a) = -a**2 + 3*a + 10. Is i(3) a multiple of 2?
True
Let r be 1*(3 + -5) + -3. Let s = 7 + r. Suppose s*p = -0*p + 12. Is p a multiple of 6?
True
Suppose 0 = 4*m - 4*t - 28, 3 - 7 = 2*t. Suppose r - 26 = -0*z - z, -m*r + 5*z = -90. Does 11 divide r?
True
Let l = 152 + -85. Is 15 a factor of l?
False
Let v(q) = 3*q + 5. Let a(z) = -z**3 + z + 1. Let l(x) = 4*a(x) - v(x). Does 6 divide l(-2)?
False
Let h be 6 - (2 + -3)/1. Let x(y) = 2*y - 8. Is x(h) a multiple of 2?
True
Suppose -k + 27 = -0*k. Is k a multiple of 9?
True
Let j(b) = -31*b - 1. Let u be 0/(0 - -2) + -1. Let k be j(u). Suppose 21 = 2*t + a, -2*t + 0*t - 4*a = -k. Does 9 divide t?
True
Suppose c + 8*v = 3*v + 11, c - 15 = -4*v. Let t = -17 + c. Is 5 a factor of t?
False
Let t be 1*(-1)/((-3)/15). Suppose 3 = 2*l + t, -2*g - 59 = 3*l. Let c = g + 39. Is 11 a factor of c?
True
Let z(q) = -6*q + 4. Let g be z(4). Is (-1 + -1)/(1/g) a multiple of 12?
False
Let p(d) = -25*d. Let f be p(-5). Suppose 4*u - 337 = -f. Is u a multiple of 11?
False
Let q = -9 - -13. Suppose 4*y = -4*k + 100, 0 = -y - q*y - 3*k + 133. Let g = -18 + y. Is g a multiple of 3?
False
Let c(p) = 86*p - 5. Let q be c(5). Suppose -5*d - 4*n = 141 - q, n = -3*d + 176. Is d a multiple of 17?
False
Let r(y) = 52*y + 2. Let h be r(2). Let d = -72 + h. Does 17 divide d?
True
Suppose 2*s = -0 + 10. Suppose -s*g + 180 = -0*g. Is 19 a factor of (g/10)/((-3)/(-40))?
False
Suppose -3*g - 8 + 68 = 0. Is g a multiple of 10?
True
Let f(y) = y**2 - 5*y + 9. Is f(6) a multiple of 9?
False
Let y(x) = -7*x - 42. Does 26 divide y(-12)?
False
Is 369/(-6)*(-2)/3 a multiple of 29?
False
Let w = 2 - -5. Let z(k) = 3*k**2 + 5*k + 10. Let q be z(w). Suppose 3*c - q = -0*c. Is 22 a factor of c?
False
Suppose r - 85 = -5*c, -c + 0*r = -5*r - 43. Does 9 divide c?
True
Let s(b) = 6*b - 3*b**3 + 2*b**3 - 2 - 4*b**2 - 2*b**2. Let o be s(-7). Suppose v + o*p - 3 = 2, -4*p = v - 6. Is 5 a factor of v?
True
Let g(r) = 13*r - 2. Let v(i) = i**3 - i**2 - 2. Let o(f) = f**2 + 2*f + 2. Let u be o(-2). Let n be v(u). Is g(n) a multiple of 13?
False
Suppose 4*m + 3*a = -6, 0*a + 5*a = m - 10. Suppose -2*p + 0*p + 30 = m. Does 7 divide 14/(-5)*p/(-6)?
True
Suppose 3*h + 4*k = -4, h - 5*k - 5 = 3*h. Does 12 divide (h/(-2))/(-2) - -20?
False
Let f(m) = 7*m**2 - 2*m - 6. Is f(-3) a multiple of 9?
True
Suppose 5*b = -2*d + 235, 0 = 3*d + b - 123 - 197. Does 15 divide d?
True
Let v(j) = 2*j**2 + 3*j + 3. Let d be v(-2). Suppose 2*b - 34 = 50. Suppose -d*p + 4*t - 13 = -85, -3*p = -2*t - b. Is 6 a factor of p?
True
Let j(c) = -2*c + 2. Let i be (-2)/(-5) + (-27)/5. Is j(i) a multiple of 6?
True
Suppose 0 = -2*n - n - 36. Let w = n + 26. Is w a multiple of 7?
True
Let v(c) = 7*c**2 + 5*c + 26. Is v(-5) a multiple of 22?
True
Let u = 65 + -45. Is 2 a factor of u?
True
Let m = 127 - 120. Let f be ((-2)/(-4))/((-2)/(-128)). Suppose -m = -b + f. Does 15 divide b?
False
Suppose 48 = 3*b + 3*y, -2*b + 2*y + 0*y = -28. Is b a multiple of 3?
True
Suppose c - 9 - 11 = 0. Let p = c - 10. Is p a multiple of 7?
False
Suppose 20 = b + 4*b. Suppose 20 = -0*v + b*v. Is 2 a factor of v?
False
Let c be -116*(9/(-6) - -1). Suppose -c = -5*w + 3*q, -5*w + 4*q - 10 = -64. Let p = w + -4. Does 10 divide p?
True
Let t = 68 + -36. Suppose -3*f = -t - 25. Is 19 a factor of f?
True
Let x be 1/(-3) - (-35)/(-3). Does 8 divide 5*-10*6/x?
False
Let j be (-1)/(24/(-21) + 1). Let u(k) = 2*k**2 - 7*k - 9. Let n be u(j). Suppose -3*s - s = -n. Is s a multiple of 5?
True
Let p be 69/21 - (-2)/(-7). Suppose 0 = -r + 8 - p. Is r a multiple of 2?
False
Let a = -6 - -9. Suppose -114 = -a*y + 99. Does 27 divide y?
False
Let v = 10 - 1. Let i(k) = 8*k + 8. Let u be i(7). Suppose -5*x + u = 2*q, v = -3*x - 4*q + 39. Is x a multiple of 6?
False
Let d(w) = 3*w**3 + 2*w**2 - 2*w + 2. Let g be d(2). Let p = 53 - g. Is 23 a factor of p?
True
Let s(n) = -50*n - 30. Does 17 divide s(-4)?
True
Let j = 147 - 117. Does 6 divide j?
True
Let q be (-92)/(-12)*12*1. Suppose q = 5*m - 8. Is 20 a factor of m?
True
Let n(m) = m**2 - m. Is 6 a factor of n(3)?
True
Let v = -44 + 64. Suppose 4*w - 6*p + v = -2*p, -4*p + 10 = w. Is 18 a factor of 106/6 + w/(-6)?
True
Suppose -3*f - 2*f = 30. Let y be -93*-2*(-1)/f. Suppose 5*r - 4*r = y. Is r a multiple of 14?
False
Suppose -12*f + 0*f = -432. Is f a multiple of 2?
True
Suppose -8*l + 3*l + 65 = 0. Does 9 divide l?
False
Suppose f - 358 = -3*g, -4*f + 0*g = -2*g - 1502. Is 30 a factor of f?
False
Suppose -5*c - 1 = 3*k, -5*c - 3*k - 7 = -2*k. Let o be c/(-4) + (-110)/(-4). Is o/((-2)/(-1)) + -1 a multiple of 13?
True
Suppose -3*u = -8*u. Suppose -p + u*p + 7 = 0. Suppose 0 = 2*s - p - 43. Is 14 a factor of s?
False
Let o(c) = -c - 4. Let l be o(-6). Let s(b) = 3*b - b - 2 + 5*b**l + b - 2*b**2. Does 6 divide s(2)?
False
Suppose 2*v - 6 = -v. Suppose -v*i + 0*i = -36. Suppose 3*w + i - 60 = 0. Does 8 divide w?
False
Let s(n) = n**3 + 5*n**2 - 9*n - 8. Let w be s(-6). Let b(m) = -m**3 + 11*m**2 - 8*m - 1. Does 8 divide b(w)?
False
Let h(k) = 20*k - 7. Let y(q) = -1. Let l(w) = h(w) - 6*y(w). Does 13 divide l(2)?
True
Suppose -5*o - 2*s = -18, 2*o - 5*s - 21 = -2*o. Suppose o*u = -3*n + 48, -4*u = -u - 9. Is 5 a factor of n?
False
Suppose q + q - 64 = 0. Does 9 divide q?
False
Let k = -107 - -191. Suppose 0 = 5*c + 32 + 128. Let r = k + c. Is 22 a factor of r?
False
Suppose 4*l + 5*q = -188, 5*l = -4*q - 121 - 123. Is 5 a factor of (l + 7)*2/(-6)?
True
Let r(c) = c**2 - 15*c + 18. Suppose 13*u - 11*u - 32 = 0. Is r(u) a multiple of 7?
False
Suppose 3*l = 2*a + l - 72, 72 = 2*a - 3*l. Is a a multiple of 6?
True
Let r be ((-4)/(-6))/((-2)/30). Let h be (0 - 4/12)*-48. Let o = r + h. Does 6 divide o?
True
Let i(u) = -u**3 - 4*u**2 + 1. Suppose 3*d + 7 + 8 = 0, -z - 5*d = 23. Suppose 2*s = 2*k - 3*s + 10, 0 = -z*k - 2*s - 10. Is 12 a factor of i(k)?
False
Let c(w) = -w**2 - 8*w. Let y be c(-8). Let m = y - -6. Suppose -110 = -m*k + k. Is 11 a factor of k?
True
Suppose -3*y + 5*y - 38 = 0. Let p = y - 10. Is p a multiple of 4?
False
Suppose 117 = -4*o + 21. Is 6 a factor of 6/o + (-146)/(-8)?
True
Is ((-28)/(-12) + -4)*-12 a multiple of 2?
True
Suppose 0 = -z + 54 - 27. Does 5 divide z?
False
Suppose 0 = -m + 6*m. Let z(f) = f + 11. Is 7 a factor of z(m)?
False
Let h be (456/10)/((-15)/(-50)). Suppose 2*x - 2*w - h = 0, 151 + 71 = 3*x - w. Is x/4 - 6/(-8) a multiple of 12?
False
Let d(c) = 8*c**2 - 5*c - 11. Is d(-3) a multiple of 18?
False
Is 19 a factor of 4 + (-152)/((-10)/5)?
False
Suppose -156 - 243 = -7*c. Does 5 divide c?
False
Let n = 95 + -44. Is n a multiple of 17?
True
Suppose 4*k + 32 = -2*s, s + s = 2*k - 8. Let u(x) = x + 8. Let a be u(s). Suppose a*j - 13 = -j. Is 6 a factor of j?
False
Suppose -45*k = -46*k + 449. Does 33 divide k?
False
Is -5 - ((-72)/(-2))/(-4) a multiple of 2?
True
Suppose 8*q + 47 = 9*q. Does 18 divide q?
False
Is 8 a factor of (5/((-10)/16))/(-1)?
True
Suppose -2*w - 4*n - 8 - 8 = 0, -5*n = 3*w + 20. Let s be (w/3)/(1/(-1)). Suppose 5*v - 5*z - 45 = s, -2*z + 14 = 4*v - 28. Does 6 divide v?
False
Let f(b) = b**3 - 2*b**2 - b - 3. Let d be f(5). Suppose 4*j + k - 220 = -d, 5*j 