266 - -280. Is 8 a factor of b?
False
Let r be (-22)/(-4) + 3/(-2). Let p = 86 - 68. Suppose -r*g + b = -p - 22, 37 = 3*g + b. Is 11 a factor of g?
True
Let x = 173 + -19. Is 11 a factor of x?
True
Let i = -8 + 12. Suppose -13 = -l - i. Is 22 + (-9)/(l/(-4)) a multiple of 26?
True
Let z = -22 + 56. Let s = 57 - z. Is 8 a factor of s?
False
Suppose -6179 + 99 = -4*r. Is r a multiple of 19?
True
Let z(d) = 10*d**2 - 8. Suppose 5*a - 5*b = -20, 5*a + 4*b = 4*a - 9. Let s(k) = 19*k**2 + k - 17. Let q(t) = a*z(t) + 3*s(t). Does 29 divide q(-4)?
False
Suppose -3894 = -27*a + 21*a. Is a a multiple of 31?
False
Does 25 divide (2890/68)/((-2)/(-20))?
True
Let l = 531 - 395. Is 8 a factor of l?
True
Suppose 2*s + 2*o = 204, -3*s + o + 6 + 284 = 0. Does 7 divide s?
True
Suppose 0 = 3*t - 735 - 3. Let x = t + -147. Is x a multiple of 19?
False
Does 16 divide ((-3041)/5)/((-156)/780)?
False
Let c = 89 + -53. Let x = 46 - c. Is -140*(-1)/(25/x) a multiple of 29?
False
Let j(m) = 71*m**2 + 4*m + 3. Let u be j(-3). Suppose -3*y + u = 2*w + 2*y, 5*y = 0. Does 35 divide w?
True
Let a(k) be the first derivative of -k**3/3 + 9*k**2 + 25*k + 12. Is 30 a factor of a(17)?
False
Suppose 6*y - p = 3*y - 13, y + 7 = p. Let b(f) = -16*f + 4. Let c(q) = 65*q - 17. Let v(j) = 9*b(j) + 2*c(j). Is v(y) a multiple of 11?
True
Let w be (-1)/(4/(296/(-2))). Let z = w + 62. Is z a multiple of 11?
True
Suppose 4*d = 51 + 413. Let o = d + 79. Does 15 divide o?
True
Let v(u) = 86*u**2 + 2*u. Does 28 divide v(-2)?
False
Let c(t) = -t**2 - 4*t + 18. Let y be c(-6). Suppose 769 = -y*a - 371. Let n = -128 - a. Does 31 divide n?
True
Let c = -88 + 97. Does 12 divide 3/c + 1004/12?
True
Suppose 3*l + l + 3832 = 5*p, -3*p - l = -2306. Is (-3*1)/9 - p/(-36) a multiple of 21?
True
Is 6/(-12)*-10 + 455 a multiple of 68?
False
Let l be (-42)/28 + (-29)/(-2). Suppose 0 = 2*m - 35 + l. Is 11 a factor of m?
True
Let k be 8/(-10)*(-15)/(-3). Let y(f) = -f**3 - f**2 - f + 1. Let v(h) = -2*h**3 + 3*h**2 + 3*h + 9. Let o(j) = v(j) - 3*y(j). Is o(k) a multiple of 14?
True
Suppose 0 = s - 124 + 358. Let c be (-2)/3*s/(-12). Let m = 38 + c. Is m a multiple of 5?
True
Let z = -88 + 28. Let m be (-2 + -1)*z/(-45). Let c(p) = p**3 + 6*p**2 + 4*p - 4. Is 12 a factor of c(m)?
True
Suppose -5*i - 5 = 5*d, -8 = -0*i - 2*i + 3*d. Let f be 3/i + (-51)/(-3). Is 417/15 - 16/f a multiple of 27?
True
Let z = -75 - 17. Let f = -52 - z. Does 11 divide f?
False
Let j(k) = -k**2 + k. Let v(p) = -5*p - 2*p + 8*p - 3*p + 65 + p**2. Let w(m) = 2*j(m) + v(m). Is 14 a factor of w(0)?
False
Let o = 1322 - 503. Is o a multiple of 25?
False
Let k = 9 - 9. Suppose k*n = -2*n - l + 83, -172 = -4*n - 4*l. Suppose -j - z = 3*z - 39, j - n = -3*z. Is 18 a factor of j?
False
Suppose 23 = -2*y - 5*x, 5*y - 2*y + 7 = -2*x. Does 13 divide 37*y + -3 + 5?
True
Let o(n) be the second derivative of n**4/6 - 8*n**3 - 19*n**2 + 25*n. Is 5 a factor of o(25)?
False
Let j be 2/6*(1 + -1). Let q be -1 + 5 - (j - -4). Suppose 4*r = -q*r + 240. Is r a multiple of 12?
True
Let j(d) = 34*d + 2430. Does 37 divide j(0)?
False
Let z = 1755 - 811. Does 59 divide z?
True
Is 68 a factor of 1/4 + 60808/352?
False
Suppose -i + 584 = -2*x, i + 3*x - 211 = 353. Does 36 divide i?
True
Let f be (-1)/(5*4/20). Does 8 divide (3 - -1)*f - -60?
True
Suppose 0*a = -2*a - 2. Let g(x) be the second derivative of -13*x**5/10 + x**3/3 + x**2/2 + x - 15. Is 7 a factor of g(a)?
False
Let g(c) = 88*c**2 + 2*c. Is 6 a factor of g(1)?
True
Let l be (2*(-2)/8)/((-2)/1032). Suppose 2*q = -2*x + l, 2*x - 151 = 3*q - 553. Is q a multiple of 12?
True
Let f(h) = 127*h + 3. Let i(s) = -s + 10. Let q be i(8). Let z be f(q). Let p = z - 173. Is 12 a factor of p?
True
Let c(k) = -4*k - 49. Let w be c(-13). Suppose 2*h - w*h = -255. Does 18 divide h?
False
Let n(a) = -a - 5 + 2 + 7*a + 8*a. Is 9 a factor of n(2)?
False
Suppose 6*n - 2*n - 1440 = 0. Suppose -2*r + n = r. Suppose 0*j - 2*y + r = 2*j, -5*j = -3*y - 292. Is j a multiple of 26?
False
Let w be -52*4/(80/15). Let z = -36 - w. Does 2 divide z + -1 - 2 - -5?
False
Let d(v) be the second derivative of 55*v**3/6 + 3*v**2/2 - 10*v. Let t be d(2). Suppose 2*a = t + 55. Is a a multiple of 20?
False
Suppose -k - 294 - 565 = -4*r, -668 = -3*r - 4*k. Does 13 divide r?
False
Suppose -2*q - 3*c = c - 3620, 5*q - 2*c - 9002 = 0. Is 106 a factor of q?
True
Suppose -3*s + l + 63 = 23, 3*l + 15 = 2*s. Does 3 divide ((-44)/(-55))/(2/s)?
True
Let h = 2 - -26. Let l = 37 - h. Does 4 divide l?
False
Suppose -s + 10 = 4*s. Suppose s*v = -0*v. Suppose 214 = 3*h + 5*i, -2*h + v*i = 4*i - 144. Does 25 divide h?
False
Let s = -6 - -10. Suppose y + 2*y + 7 = s*b, 0 = -2*b + 3*y - 1. Suppose 0 = b*n - 87 + 7. Does 8 divide n?
False
Let v(i) = 2*i**2 + 2*i - 33. Is 3 a factor of v(-8)?
False
Suppose 0 = 5*z - 5*a - 10, -5*a = 4*z - 4*a - 13. Let o(b) = b**2 - 6*b. Let u(r) = 1. Let t(y) = -o(y) + 2*u(y). Does 11 divide t(z)?
True
Let h(q) = 3*q**2 + 5*q + 4. Let d(n) = n**3 + 3*n**2 - 5*n + 3. Let a be d(-4). Let b = 5 - a. Is 2 a factor of h(b)?
True
Let s be (-112 + 5)/((2/2)/(-1)). Let j = s - 27. Is 20 a factor of j?
True
Suppose 5*l = 10*l + 175. Let i be l/1 - (1 + -1). Does 14 divide (-276)/(-14) + (-10)/i?
False
Suppose 0 = 3*s + 2*o - 5*o - 2862, 4*s + 4*o - 3824 = 0. Suppose 14*y = 9*y + s. Is y a multiple of 23?
False
Let z be -11*(-3 + 2 + 0). Suppose -23*l = -27*l + 28. Let f = z + l. Does 6 divide f?
True
Suppose -142 = 5*i + 8. Let q = 78 + i. Is q a multiple of 18?
False
Let k = -541 + 185. Let h be k/(-7) - 1/(-7). Let g = h + -31. Does 8 divide g?
False
Let u = -1182 + 1752. Is 15 a factor of u?
True
Let a(o) = o**3 - 6*o**2 - 7*o + 6. Let b be a(7). Let t(i) = 2*i**2 - 10*i + 6. Let m be t(b). Does 10 divide ((-228)/m)/(1/(-6))?
False
Let z(x) = 6*x**2 + 4*x + 4. Let v be z(-3). Suppose 3*q - 544 = -5*l, 2*l + 3*q - 168 - v = 0. Suppose -4*d = d - l. Is 9 a factor of d?
False
Let y(i) = -7*i**3 - 4*i**2 + 3. Let c be y(-3). Let m be 24/c + (-48)/(-26). Suppose 5*u - 55 = -5*s, s + 73 = m*u + 3*u. Is u a multiple of 6?
False
Let q(m) = 18*m - 14. Let c be q(1). Suppose c*x + 79 = 271. Does 12 divide x?
True
Let p = -4 - -8. Let b(m) = 2*m**2 - 4*m + 2. Let a be b(p). Suppose -8*g - q + a = -3*g, 20 = 3*g - 4*q. Is 4 a factor of g?
True
Let p(t) = -4*t + 57. Suppose -w - 7 = -4*q - 3, 1 = q. Is p(w) a multiple of 19?
True
Let o = 26 + -53. Let t = 46 + o. Is t a multiple of 19?
True
Suppose 11*s = 10*s + 3. Suppose 0*i = -s*i + 15. Suppose 0 = i*x + y - 3 - 30, 4 = -2*y. Is x even?
False
Suppose 0 = 2*x + 3 - 1. Let p = x + 82. Let o = p - 43. Is o a multiple of 12?
False
Suppose 5*u - 29 + 4 = 0. Suppose -2*z = u*r + 2*z - 20, 12 = 3*r - 4*z. Is 4 a factor of -1 - (1 - r) - -3?
False
Let u(f) = -f**3 - 5*f**2 - f - 51. Is u(-7) even?
True
Suppose 5*m - 2*h - 21 = 2, 3*h = 4*m - 24. Let s = m + 9. Suppose 4*z - s = 4*k + 12, 3*k - 3 = 0. Is 3 a factor of z?
False
Suppose 0 = 7*l - 1671 + 320. Is l a multiple of 4?
False
Let u(d) = 4*d - 13. Let r be u(5). Suppose 0*w + 21 = r*w. Suppose 0 = 7*b - w*b - 228. Is 13 a factor of b?
False
Let d = 2511 + -1531. Does 55 divide d?
False
Suppose t + 30 = -4*t. Let i(d) be the first derivative of d**4/4 + 3*d**3 + 3*d**2 - 6*d - 16. Is i(t) a multiple of 11?
True
Let t(m) = -18*m**2 - 17*m - 20. Let f(y) = 9*y**2 + 8*y + 10. Let l(k) = -7*f(k) - 4*t(k). Let r(q) be the first derivative of l(q). Does 31 divide r(6)?
False
Does 14 divide ((-378)/24)/(2/(-24))?
False
Suppose 0*o - 6*o + 1584 = 0. Is o a multiple of 3?
True
Let m = 68 + -57. Is 9 a factor of m?
False
Let b = -16 + 20. Does 6 divide b/(-10) + 4/10 - -126?
True
Let x = -894 + 1608. Does 14 divide x?
True
Let t(m) = -m**2 + 8*m - 8. Let r be t(6). Let z(s) = s**3 + 4*s**2 - 4*s + 7. Let h be z(-5). Suppose -a + h*a = -p + 20, 3*a = r*p - 80. Is 9 a factor of p?
False
Suppose 0 = 2*r - 4 - 2. Suppose -5*n + 173 = 3*a, -5*a - 3*n = -r*a - 115. Let d = a + -26. Is d a multiple of 16?
False
Let r = 339 + -211. Suppose 7*v = 5*v + r. Does 26 divide (13/(-4))/((-4)/v)?
True
Let i(m) = 4*m**2 + 2*m - 3. Let a = 15 - 9. Let j = -9 + a. Is 5 a factor of i(j)?
False
Suppose 12054 = -107*b + 121*b. Is b a multiple of 7?
True
Let f(o) = o**2 