 2*w - 36, 2*l + 3*w - 57 = 0. Is 24 a factor of l?
True
Suppose -f = 3*g + f - 156, -4*g + 208 = 3*f. Is 20 a factor of g?
False
Let t = 37 + 15. Does 13 divide t?
True
Suppose 12*g + 240 = l + 7*g, l = 2*g + 255. Does 14 divide l?
False
Let r(w) = -5*w - 3. Let p be r(-4). Suppose -2*t + p = -t. Is 7 a factor of t?
False
Let v = -1 - -4. Suppose 0 = v*f - 8 + 23. Is 13 a factor of ((-39)/f)/(3/15)?
True
Let r(b) = b**3 + b**2 - b + 1. Let h be r(0). Let w = 1 + h. Suppose t = w*z - 59, 0 = 4*t - 15 + 3. Is 16 a factor of z?
False
Suppose 5*y + 246 - 66 = 5*s, 4*s = -y + 149. Does 17 divide s?
False
Suppose -2*d + 24 = 2*d. Let l(u) = 0*u - u**3 + 2*u + 3*u**2 + d*u**2 + 9. Is 12 a factor of l(9)?
False
Let p(u) = 2*u**3 + 12*u**2 + 7*u + 7. Is 11 a factor of p(-5)?
True
Let b(d) = -d**2 - 8*d + 2. Let v be b(-8). Suppose -3*g = 3*o - 69, g = -v*o + 4*g + 71. Is o a multiple of 14?
True
Let x(q) = 3*q + 2. Let f be (-12)/16 + 11/4. Let m be (-1 + f)/((-3)/(-18)). Does 20 divide x(m)?
True
Let h(o) = 36*o + 12. Let m(u) = -24*u - 8. Let k(b) = 5*h(b) + 7*m(b). Is k(3) a multiple of 20?
True
Let s(i) = i**3 - 4*i**2 - 3*i - 2. Let l be s(5). Let r = -11 + l. Let t = r - -24. Does 7 divide t?
True
Suppose 0*r + 4 = 2*r. Suppose 2*m = 4*b - 12, 0*b = -r*b - 2*m. Suppose -4*i + 3*i = 2*j - 26, b*i = 5*j - 47. Does 5 divide j?
False
Suppose -5*d - 2*h + 6 = 0, -4*h - 6 = -2*d - 3*h. Let o(j) = 3*j**3 + j**2 - 2*j + 2. Let u be o(d). Let x = 6 + u. Is 13 a factor of x?
False
Suppose -r - 208 = -4*d, -2*r = -3*d - 0*d + 156. Does 13 divide d?
True
Let v be -87*-1*4/12. Let x = v - 21. Is 3 a factor of x?
False
Suppose -4*a = -a - 96. Let i = -18 - -18. Is 2 + (a - 0) - i a multiple of 14?
False
Let i = 91 - 53. Does 14 divide i?
False
Let p(a) = a + 17. Is p(12) a multiple of 8?
False
Let l(c) = -c**2 + 5*c. Let x be l(4). Let i = 7 + -3. Suppose 0 = -i*g - 12, 0 = 3*r - 0*r - x*g - 51. Is r a multiple of 12?
False
Let j be 9*((-3)/9 - -1). Suppose -7*r = t - 2*r - 30, -t + r + j = 0. Is 4 a factor of t?
False
Let l(w) = -w - 11. Let p(x) = -x - 11. Let v(t) = 4*l(t) - 5*p(t). Does 7 divide v(10)?
True
Suppose 0*g + 16 = 4*i - 3*g, 2*i - 5*g - 8 = 0. Let p be (i - -34)*14/(-4). Let a = -95 - p. Does 17 divide a?
False
Suppose 2*z = -9 - 11. Suppose s + 0*s = -u - 18, -2*u - 5*s = 42. Does 16 divide (u/z)/(3/60)?
True
Suppose 5*g - 3*j = 129, 0 = 3*g - 2*g - 3*j - 33. Is g a multiple of 12?
True
Let c(n) be the second derivative of 19*n**4/12 - n**3/2 + 3*n**2/2 + 2*n. Is 25 a factor of c(2)?
False
Suppose 4*n + 2*w = 6*w - 116, 2*w = -2*n - 62. Let t = n - -54. Does 8 divide t?
True
Let g(s) = s**2 + s + 9. Is 13 a factor of g(-6)?
True
Let c(f) = 14*f**2 - 50*f + 68. Let d(v) = -5*v**2 + 17*v - 23. Let i(p) = -4*c(p) - 11*d(p). Is i(11) a multiple of 3?
True
Let p = -12 + 3. Let a be ((-3)/(-1))/(p/(-6)). Suppose 13 = q - 4*x, a*x = -0*x. Does 13 divide q?
True
Let a(y) = -y**2 - 11*y + 1. Let o be a(-11). Is ((-13)/o)/((-1)/2) a multiple of 13?
True
Let u(t) = t**2 + 15. Let z be ((0/2)/1)/1. Let p be u(z). Suppose -5*o + 0*f = f - p, 0 = -f. Is o a multiple of 3?
True
Suppose 14 = 4*r - 0*a + a, -6 = -4*r - 5*a. Suppose -4*g = 3*s - 130, -s = -g - r*g + 153. Is g a multiple of 15?
False
Does 20 divide (-3*(-1 - 27) - 4) + 1?
False
Suppose -x = -4*v - 9, 2*x + x - 9 = 3*v. Does 3 divide 4*((-3)/(-2) - v)?
False
Let a(p) = -p + 12. Is a(6) a multiple of 3?
True
Does 14 divide 81 + 0 - (-6)/2?
True
Suppose -4*j = 47 - 159. Is j a multiple of 28?
True
Suppose y - 1 = 2*w - 19, 3*w = 2*y + 27. Does 6 divide w?
False
Let s(y) = -9*y - 21. Let g(n) = -8*n - 22. Let z(i) = 3*g(i) - 2*s(i). Is z(-10) a multiple of 16?
False
Suppose -15 = 2*w - 3*w. Does 15 divide w?
True
Suppose 0 = -s - s + 2. Suppose 135 = -5*i + 630. Does 16 divide i/6 + s/(-2)?
True
Let s = 111 + -63. Does 24 divide s?
True
Suppose 2*r = -70 + 288. Is 31 a factor of r?
False
Let k = -49 - -72. Let w be 7/(28/440) - -1. Suppose w - k = 4*c. Is 11 a factor of c?
True
Suppose -2*l - 10 = -4*l. Suppose 0 = -5*b - 4*s - 15, b - 2*s = 6 + l. Is 17 + 1/b*-2 a multiple of 8?
False
Let n = 16 + 151. Is 14 a factor of n?
False
Let r(c) = 16*c + 3. Let z(a) = a - 11. Let d be z(14). Is 17 a factor of r(d)?
True
Let r(a) = -2*a**3 + a. Let i = 4 - 3. Let z be r(i). Is 10 a factor of (26/4)/(z/(-2))?
False
Suppose u - 5*u + 620 = 4*z, 3*z = 5*u + 441. Suppose -7*v + 3*v = -z. Is v a multiple of 9?
False
Let z = -9 - -6. Let s be (-57)/(-12) - z/12. Suppose -y + 9 = -s. Is y a multiple of 7?
True
Let j(l) be the second derivative of l**4/12 + l**3/3 - l**2/2 + l. Let o be j(-3). Is 1/1*(o + 17) a multiple of 7?
False
Let n = 5 - 1. Suppose -4 + 38 = n*g - 5*m, 45 = 5*g - 5*m. Suppose 3*i = 2*i + g. Is 10 a factor of i?
False
Is 10 a factor of 29 + (4 - 4 - 2)?
False
Let i be (-50)/(-18) - (-2)/9. Is 10/(2/3*i) a multiple of 4?
False
Let a(m) = -m**2 + 8*m - 2. Is 5 a factor of a(6)?
True
Suppose 0 = 5*x + 3 + 27. Let m = x + 13. Is m a multiple of 4?
False
Suppose -6 = -0*g - 3*g. Suppose -1 = -g*j - 5, -2*k + 4*j + 10 = 0. Is k*(-2 + 1)*-22 a multiple of 10?
False
Let b(o) = -4*o. Let q(p) = -20*p. Let f(w) = -16*b(w) + 3*q(w). Does 2 divide f(1)?
True
Let d be 2*2*15/12. Suppose -d*j - 26 = -1, r - 5*j - 38 = 0. Does 13 divide r?
True
Let n(q) = -6 + 3 + 3*q - 4. Is 4 a factor of n(6)?
False
Suppose -5*v = -3*u + 11, 5*u - 2 = 4*v + 12. Is 4/8*u + 71 a multiple of 24?
True
Suppose 127 - 53 = 2*d. Does 4 divide d?
False
Suppose 6*h = 7*h - 30. Is 17 a factor of h?
False
Let t be 148/16 + (-1)/4. Does 10 divide (-3)/2*(-156)/t?
False
Let f(m) = 9*m**2 + 2*m. Does 8 divide f(2)?
True
Let r(t) = -t + 27. Let v be r(12). Let u = 16 - 8. Let i = u + v. Is 12 a factor of i?
False
Let n = -441 + 736. Is n a multiple of 59?
True
Let b = 11 - 8. Suppose 0 = b*r + 2*r - 80. Suppose -2*k - 2*p = -20, r = k + k - 2*p. Does 3 divide k?
True
Let c = 36 - -15. Suppose c = 3*g - 2*g. Is 14 a factor of g?
False
Let k(v) = -8*v**2 - 7*v. Let s(y) = -12*y**2 - 11*y. Let o(a) = -23*a**2 - 21*a. Let f(w) = 3*o(w) - 5*s(w). Let x(c) = 5*f(c) - 6*k(c). Does 16 divide x(2)?
True
Suppose 2*o - 3 = 4*s - 3*s, 3*s = o + 11. Is o a multiple of 2?
True
Is 21 a factor of 0 - (-48 + -3 + 2)?
False
Suppose 8 = 2*l, 3*t - 2 = t + l. Let m be (9/3)/t*4. Suppose 0 + 1 = -n + m*d, -5*n = -5*d - 55. Does 5 divide n?
True
Let j be 24/(-9)*(3 - 0). Let x = j + 11. Suppose x*p = 3 + 3. Is 2 a factor of p?
True
Let n(y) = -4*y**3 - y**2 + 4*y. Let w be n(-4). Let l = -134 + w. Is 14 a factor of l?
False
Is 52 a factor of 156 + 0/(0 - -2)?
True
Let y(t) = -t**3 + 6*t**2 - 3*t + 1. Let c be y(5). Let z = -5 + c. Is z a multiple of 5?
False
Is (4 + 0)/(4*1/8) a multiple of 8?
True
Let r(b) = 6*b + 8. Does 22 divide r(6)?
True
Let u(o) = -o**3 - 8*o**2 - 3*o + 3. Does 7 divide u(-8)?
False
Let u = -165 - -117. Suppose 5*x = 2*m + 2*m - 101, 5*m = -3*x - 68. Let p = x - u. Is 9 a factor of p?
True
Let o = -3 - -3. Suppose c - 7 = -o*c. Suppose 0 = 2*v - 21 + c. Is 3 a factor of v?
False
Suppose 6*q - 2*q + 4 = 0, 5*x = 3*q + 93. Is x a multiple of 6?
True
Suppose a - 4 = 0, 2*f = 5*a + 15 + 5. Does 2 divide f?
True
Suppose -q = 4*q - 3*d + 91, 0 = -q - 2*d - 13. Let l = -1 - -34. Let b = q + l. Does 8 divide b?
True
Let c be (6/9)/(4/18). Suppose 3*o = 5*d - 9, c*d + 4 = o + 11. Suppose r = d*r - 48. Is 8 a factor of r?
True
Let n be -3 + 9 + -3 - -35. Suppose 0 = -3*u + 3*v + 33, -2*v = 3*u - 0*v - n. Is 12 a factor of u?
True
Let x(l) = 14 + 5 + 10 - 11 + 2*l. Is x(0) a multiple of 9?
True
Suppose 0 = -5*s + 4*s. Suppose -6*g + 5*i = -3*g - 17, g + i - 3 = s. Suppose k + 3*o - 28 = 0, g*k + 2*o - 85 = -o. Is k a multiple of 12?
False
Let d = -18 - -13. Let j be ((-2)/4)/(d/20). Does 3 divide (-1)/(j - (-14)/(-6))?
True
Suppose 2*z = 8 + 76. Is z a multiple of 7?
True
Suppose 2*p = 4*p - 200. Does 25 divide p?
True
Let a be 3/((-3)/(-2)) + -44. Let t = a + 109. Suppose -2*y + 14 = 6, -3*d = -2*y - t. Is d a multiple of 11?
False
Let o(f) = -f - 1. Let p be o(7). Let l be ((-26)/p)/((-2)/8). Let d = 6 - l. Is 19 a factor of d?
True
Let o(u) = 5*u - 15. Does 4 divide o(6)?
False
Let n be (3/9)/(2/12). Let v(j) = 5*j + 6*j**2 - 3*j - 2*j**2