 -18. Suppose a - r = 72. Does 18 divide a?
False
Let p = -80 + 78. Does 11 divide (108/30)/(p/(-25))?
False
Let f(h) = 2*h**3 + 20*h**2 - h + 2. Let z be f(-10). Let y be z/4 - 0 - 4. Let c(j) = -27*j**3 + j**2 + 2*j + 2. Is c(y) a multiple of 4?
True
Suppose -h + 48 = 2*h + 3*s, 4*h - 3*s - 71 = 0. Let y = h - 18. Is (-1 + -5)*4/y a multiple of 7?
False
Let a be (2 + -1)*-1 + 6. Suppose -a*g = 4*y - 286, -3*g + 8*g - 5*y - 295 = 0. Suppose 5*b - 13 = -i, 2*i + b + b - g = 0. Does 13 divide i?
False
Let h(s) = 2*s**2 - 7*s - 15. Suppose 5*w + 4*d = 5*d + 38, -2*w + 17 = -d. Let r(m) = 3*m**2 - 15*m - 30. Let i(n) = w*h(n) - 4*r(n). Is 14 a factor of i(-6)?
False
Suppose 51*u - 46*u - 640 = 0. Is 13 a factor of u?
False
Let t be (6/8)/(21/56). Suppose -2*m = t*z - 26, 4*m + 2*z - 12 - 46 = 0. Suppose -j + 2*j = m. Is j a multiple of 8?
True
Suppose 833 = 6*f + 11*f. Does 11 divide f?
False
Let q(r) be the first derivative of r**4/4 + 7*r**3/3 - 3*r**2/2 - 11. Is 20 a factor of q(-4)?
True
Let s = 42 + 109. Let d = -75 + s. Let f = 126 - d. Is f a multiple of 10?
True
Suppose 0*p - 812 = -4*p - 2*i, -i = 2. Is p a multiple of 22?
False
Let a(k) = 2*k + 7. Let p be a(5). Suppose -59*j + 305 = 2*j. Let r = p + j. Is 22 a factor of r?
True
Let w be 6/(-9) - (-32)/(-6). Let x = 8 + w. Suppose -i - 4*q = -46, x = -3*q - 4. Is i a multiple of 27?
True
Suppose 4*u + 26 = 2*v, -v - 4*u + 4 = 3*v. Let k = 12 + -7. Suppose -100 = -5*d + k*q - 0*q, 20 = v*q. Does 8 divide d?
True
Let i be ((-12)/(-2))/((-4)/4). Let j be (-2)/3 - 4/i. Suppose 3*f = 5*a - 117, -f + 73 = 3*a - j*f. Does 6 divide a?
True
Suppose -2*q - 2*q = 0. Suppose 4*i - 656 = -q*i. Let v = i + -107. Does 19 divide v?
True
Let l be (-3)/12 + (-7)/4. Let t(z) = 4*z**3 - 3*z**2 - 3*z - 1. Let s be t(l). Let r = -23 - s. Does 8 divide r?
True
Let f(t) = -t**3 - 14*t**2 - 2*t + 17. Let x be (-3774)/(-30) + 2/10. Let j be 28/x + (-256)/18. Is f(j) a multiple of 15?
True
Let p(w) be the first derivative of 1 - 7/3*w**3 + 1/4*w**4 - 9*w + 9/2*w**2. Does 9 divide p(6)?
True
Let g(i) = 0*i**2 - 447*i + 9*i**2 + 438*i - 6. Is g(5) a multiple of 14?
False
Let s(i) be the first derivative of 4*i**3/3 - i**2 - 20*i + 40. Is s(5) a multiple of 35?
True
Suppose 2 = -h + 5. Let w(d) be the second derivative of d**4/12 + d**3/2 + d**2 - 12*d. Is w(h) a multiple of 20?
True
Suppose 0 = 2*g - 2 - 4. Suppose s + 4*f = -1, 3 = -3*f - g. Let h = 11 - s. Is 4 a factor of h?
True
Let c(w) = 2*w**2 - 24*w + 5. Is c(28) a multiple of 17?
True
Let c(k) = k**3 + k**2. Let p(r) = r**3 + r**2 + r + 1. Let g(b) = 5*c(b) - 3*p(b). Does 10 divide g(3)?
True
Let j(b) be the third derivative of 0*b + 0 - 1/6*b**4 + 1/3*b**3 - 4*b**2. Is j(-2) a multiple of 5?
True
Suppose 0 = -0*t + 5*t - 30. Suppose -3*j = -t - 6. Suppose 0 = -2*x + 2*o + 68, -j*x - 3*o - o = -176. Is x a multiple of 24?
False
Suppose 0 = 5*r + g + 3*g + 92, -6 = -3*g. Let y = r - -27. Suppose -3*h + 75 = 2*t, 2*t = -3*h + y*h + 68. Does 26 divide t?
False
Let s be 4/3*(3 + 0). Suppose -4*i + s = -20. Is i a multiple of 6?
True
Let s(v) = 12*v + 15. Let m be s(-5). Let i = m - -20. Is 10/i - (-624)/10 a multiple of 34?
False
Let u(y) = -y**2 - y + 8. Let g(r) = -3*r + 10. Let a be g(5). Let v be u(a). Does 10 divide (-28)/(-8)*v/(-2)?
False
Let w be 8/((-4)/((-6)/(1 - 0))). Suppose -w*i + 672 = -8*i. Is 11 a factor of i?
False
Let w = 38 - 38. Suppose 4*b = -4*r + 364, w = 5*b + 12 + 3. Is r a multiple of 35?
False
Suppose -3*p = -r - r - 740, -520 = -2*p - 4*r. Does 5 divide p?
True
Is 25 a factor of (-22)/3 + 7 - 9854/(-6)?
False
Let s = 29 + -20. Does 4 divide 120/s - 2/(-3)?
False
Suppose t = -2*m + 381, 3*t - m = -t + 1542. Is 35 a factor of t?
True
Let j = -158 - -97. Let s = j - -103. Is s a multiple of 6?
True
Suppose -2 = 4*m + 2*r, -5*m - 4*r = -r. Let u be 1*(37 + 5 + m). Let a = u - 12. Is 10 a factor of a?
False
Let w = 5 - 4. Does 10 divide 7*28/(4/w)?
False
Suppose -2*j + 42 - 34 = 0. Suppose j*a = 3*a + 106. Is a a multiple of 26?
False
Let m(d) = -3*d**2 + 2*d**2 + 5*d**2 + 4*d + 4*d**2 + d**3 + 5. Let o(h) = h - 11. Let i be o(6). Is m(i) a multiple of 19?
False
Let j(t) = -3*t + 17. Let p(q) = 2*q - 11. Let g(w) = 5*j(w) + 8*p(w). Let k be g(6). Is 17 a factor of (k - 9)*92/(-8)?
False
Suppose 6*z - z - 25 = 0. Suppose -2*a - 3*a + 649 = -4*g, 5*g + 650 = z*a. Suppose -5*i - 4*f = -211, 2*f - a = -3*i - f. Is 26 a factor of i?
False
Suppose -1 = -3*b + 2. Let v be b + 6 + (-21)/7. Suppose 2*d = 6*d + 3*t - 69, -3*t - 75 = -v*d. Is d a multiple of 9?
True
Let r(y) = y - 13. Let n be r(-6). Let c = n - -25. Is c a multiple of 2?
True
Suppose 0 = q + 5*q - 12. Is 124 - ((2 - q)/(-3) + 1) a multiple of 7?
False
Let l(k) = -6 - k**2 - 297*k - 3 + 288*k. Suppose -4*z + 0*z = 24. Is l(z) a multiple of 6?
False
Let t = 7 + -5. Let u be t - (-5)/(20/(-48)). Let g = u + 16. Is g a multiple of 3?
True
Suppose -14*r + 45*r - 93589 = 0. Is 19 a factor of r?
False
Let g(v) = -v**3 + 2*v**2 - 4*v + 82. Is g(0) a multiple of 12?
False
Let d(o) = -o**2 + 13*o + 14. Let v be d(14). Suppose -4*u - 19 + 231 = v. Does 17 divide u?
False
Let y = 283 - 185. Is y a multiple of 2?
True
Let s = -553 + 663. Does 18 divide s?
False
Let w = 0 + -1. Let b = -616 - -619. Let d = b - w. Is d a multiple of 2?
True
Does 25 divide (5 - 55)/(-5) + 365?
True
Let q = -876 - -1212. Is 28 a factor of q?
True
Suppose -3*r + 4*k + 448 = 0, -k - 572 = -4*r - 2*k. Is 9 a factor of r?
True
Let a be (-4)/(-10) - (-161)/35. Suppose -2*h + 6*o = 2*o - 48, h + a*o - 38 = 0. Does 4 divide h?
True
Let f = -117 + 117. Suppose 4*d - 4*p - 576 = f, -5*d + 447 = -2*d + 2*p. Does 11 divide d?
False
Is 22 a factor of 1*(3 - 1 - -219) + -1?
True
Suppose -4*a + j - 3 = 0, 0 = 2*a + 4*j - 9*j + 15. Suppose a = -6*t - 102 + 768. Does 20 divide t?
False
Let o(c) = 9*c + 39. Let p(q) = -4*q - 20. Let i(z) = -2*o(z) - 5*p(z). Does 19 divide i(0)?
False
Let a = 1040 + 54. Is a a multiple of 12?
False
Let a = -399 + 463. Is 7 a factor of a?
False
Let p(h) = -2*h + 8. Let a = -25 - -10. Is p(a) a multiple of 7?
False
Let j be (-2)/(-2)*-1*22. Let g = j - -58. Is 3 a factor of g?
True
Suppose 8*l - 72 = -0*l. Let p(k) = 3*k**2 + 7*k. Does 51 divide p(l)?
True
Let f = 0 + 6. Is 200/f + 2/3 a multiple of 8?
False
Let c = 16 - -2. Suppose 2*w - 5*o = -3*w + 60, w - c = -2*o. Is w a multiple of 7?
True
Let f(a) = 63*a + 212. Is f(15) a multiple of 89?
True
Let q(v) = -301*v - 484. Does 33 divide q(-7)?
False
Let q = 1 + -9. Let u = 13 + q. Suppose -u*a = 3*b - 88, 2*b - 125 = -2*b + a. Is b a multiple of 11?
False
Let v = 3920 - 2246. Is v a multiple of 54?
True
Let k(b) = -8*b - 1. Let p be k(-1). Let g(n) = p*n + 0*n**3 - 33 + n**3 + 35 + 10*n**2. Does 11 divide g(-9)?
False
Suppose -49*j + 47*j = -702. Does 8 divide j?
False
Is 7 a factor of (210/(-9))/((-183)/(-63) - 3)?
True
Let n(i) = i**2 - 4*i + 6. Let x be n(7). Let g be (-130)/8 - 15/20. Let b = x + g. Is b a multiple of 5?
True
Suppose -68 = 4*d - 4*v, d = 3*v - 5*v - 2. Let u be 1606/18 + d/54. Suppose 4 = -i, -2*l + u = -2*i - 5. Does 15 divide l?
False
Suppose -2*b - 107*h = -104*h - 2205, 3*h - 9 = 0. Is b a multiple of 26?
False
Let p(u) = -139*u + 16. Is p(-6) a multiple of 10?
True
Suppose -39*u + 4038 = -4386. Is u a multiple of 36?
True
Suppose 0 = 3*z - 93 - 90. Suppose v - z - 56 = -2*q, 0 = -3*v + q + 337. Does 20 divide v?
False
Let w(t) = -t**3 + 16*t**2 + 125*t - 24. Is 25 a factor of w(21)?
False
Suppose 22023 + 4953 = 16*z. Is 26 a factor of z?
False
Let v be 1*-8*3/(-2). Let d = -60 - -62. Let p = d + v. Is p a multiple of 7?
True
Suppose -4*r - 18 = -r. Let q = 4 - r. Is 4/q + (-326)/(-10) a multiple of 11?
True
Let v(p) = p**2 - 2. Let l be v(-2). Suppose l*j - 1 - 7 = -4*m, m + 5 = 3*j. Is 12 a factor of m/2 + 23/2?
True
Suppose -6*b = -b + 25, 137 = 2*m - 5*b. Suppose n - 3*n - 3*f = -10, 2*f + 4 = 0. Let r = m - n. Is 17 a factor of r?
False
Let k(v) = v**3 + 6*v**2 - 12*v - 10. Let x be (-2)/10 + ((-145)/25 - 0). Is 31 a factor of k(x)?
True
Let a = 24 + -4. Suppose l = -5*t - l + a, -2*t = -5*l - 8. Does 3 divide t?
False
Let l = -157 + 224. Is l a multiple of 3?
False
Suppose 2*b - 106 = 194. Is 6 a factor of b?
Tru