- 2*l = -g. Is 8 a factor of l?
False
Let b be 2 - 2 - (-30)/3. Suppose 0 = -2*d - 4*v + b, -2*d + 2*v = -4*d + 6. Is 25 a factor of d/2*-6 + 28?
True
Suppose -r + 100 = -4*y + y, -300 = -3*r + 2*y. Let f(m) = -m + 7. Let u be f(3). Suppose -k = 2*q - u*q - 32, 0 = 5*k + 2*q - r. Does 10 divide k?
False
Let l = -33 + 3. Suppose -v + 49 = 5. Does 11 divide (v/6)/((-20)/l)?
True
Suppose -2*b = 5*k + 15, 5*k - 4 - 11 = 0. Let z be (-1)/3 + (-5)/b. Is (-40 + z)*(-2)/5 a multiple of 16?
True
Let t(h) = 27*h**3 + h**2 - h. Does 4 divide t(1)?
False
Suppose 3*f = 3*u + 43 + 5, 2*f = u + 36. Is 8 a factor of f?
False
Suppose 2*z + 10 = 4. Let u = 5 + z. Does 2 divide u?
True
Suppose -7 = 2*u + 2*w + 9, 0 = -2*u + 4*w - 40. Let k = 7 + u. Is 3 a factor of ((-3)/k)/((-2)/(-10))?
True
Suppose 5*i + 0*i - 5*y = 385, -i + 5*y + 65 = 0. Suppose -p + i = 26. Does 24 divide p?
False
Suppose -5*k = -9*k. Suppose -c - c - 8 = k. Let p(q) = -3*q + 5. Is p(c) a multiple of 16?
False
Let s(l) = l**3 + 13*l**2 - 4*l - 13. Is 13 a factor of s(-13)?
True
Let b = -3 + 5. Let z(x) = 4*x**2 + 1. Is 11 a factor of z(b)?
False
Let b = -84 + 204. Does 10 divide b?
True
Let m(g) = 5*g**3 + 12*g**2 - 2*g - 7. Let n(v) = -11*v**3 - 25*v**2 + 5*v + 15. Let x(z) = -9*m(z) - 4*n(z). Does 22 divide x(-9)?
False
Let c(j) = j**3 + 5*j - 4. Let f be c(-5). Is f/(-8) - (-1)/(-4) a multiple of 19?
True
Suppose -3*q = -4*d - 2*q + 151, 3*q = 3*d - 120. Suppose -d = -2*f + 3. Does 5 divide f?
True
Suppose 3*j = 3*x + 30, 3*x + 2*x = j - 10. Suppose -3*n = -n - 2. Let t = n + j. Does 11 divide t?
True
Let f = -149 - -98. Let d = 16 - f. Is d a multiple of 20?
False
Suppose -3*j + 252 = j. Is 12 a factor of (-3)/27 + 2338/j?
False
Let x = -5 - -5. Suppose -2 = -x*t - 2*t. Let a(f) = 22*f**3 - f**2. Does 8 divide a(t)?
False
Suppose 369 = 5*h - 306. Let s = h - 73. Suppose 7*n - 3*n - 2*r - s = 0, -5*n - 4*r = -84. Does 10 divide n?
False
Is 14 a factor of 9/6*(-300)/(-18)?
False
Let o(j) = j**3 + 5*j**2 - 7*j - 2. Let a be o(-6). Suppose -2*r + 3*f = a*f - 23, -5*r + 58 = 2*f. Does 6 divide r?
True
Let i = -2 + 2. Let d be 7 + (i - -1 - 3). Suppose 2*p - f = 29 + 78, -2*f - 267 = -d*p. Is p a multiple of 20?
False
Let i(f) = -10*f**3 - 36*f**2 - 23*f - 4. Let d(m) = -7*m**3 - 24*m**2 - 15*m - 3. Let p(t) = 7*d(t) - 5*i(t). Does 8 divide p(-11)?
False
Suppose 7*y - 162 = 2*y + 4*a, -4*a = 12. Is 10 a factor of y?
True
Let f(x) = x**2 - 8*x + 7. Let z(a) = -a - 3. Let r(w) = -w. Let c(s) = -5*r(s) + z(s). Let o be c(3). Is 6 a factor of f(o)?
False
Let s(v) = v**2 + v + 2. Let t be s(6). Suppose 0 = -4*c - 3*h - 0*h + t, 5*c = h + 55. Does 5 divide c?
False
Suppose 8*g - 5*v + 5 = 3*g, 2*g + 4 = v. Let w be (-8 - -7)/(1/g). Is 1/w + 372/18 a multiple of 7?
True
Suppose -3*k + 2*k + 7 = 0. Is 7 a factor of k?
True
Let w = -16 + 54. Is w a multiple of 11?
False
Suppose h + 4*d = -2, -2*d = -3*h + 9 + 41. Let u = 99 + -63. Suppose -h = -5*a + u. Does 5 divide a?
True
Suppose -4*m = -0*m + 40. Let i(l) = l**3 + 9*l**2 - 12*l - 10. Is i(m) a multiple of 4?
False
Let w(l) = -12*l - 12. Does 15 divide w(-6)?
True
Let r = 6 - -36. Suppose q - 303 = -3*p, 4*q - r = -2*p + 170. Suppose 0*j = 5*j - p. Is 12 a factor of j?
False
Suppose -41 = -5*o + 4*o. Is o a multiple of 14?
False
Let h(s) = -2*s**2 - s + 7. Let i(t) = -5*t**2 - 2*t + 21. Let z(y) = -11*h(y) + 4*i(y). Is z(-5) a multiple of 21?
True
Let g = 15 - 12. Suppose g*y - 51 = -3*d, -4*d + 40 = 4*y - 2*y. Is 6 a factor of y?
False
Let q be (-2 - -2)*(-2)/(-4). Suppose 4*c = -q*c + 160. Is c a multiple of 23?
False
Is 12 a factor of ((-16)/6)/((-4)/108)?
True
Let r(m) = 3*m**3 + 2*m**2 - m - 6. Does 18 divide r(3)?
True
Suppose -4*f = 4*w - 64, 4*w - 29 + 9 = 0. Let j = -8 + f. Suppose -4*v = 3*m - 27, m - j*v = -4*v + 8. Is m a multiple of 4?
False
Let k(d) = -d - 6. Suppose -4*o + 2*a - 24 = -2*a, -o - a = 6. Let s be k(o). Let l = 2 - s. Does 2 divide l?
True
Suppose -4*a = -2*a - 4*r - 90, 89 = 2*a - 3*r. Is 12 a factor of a?
False
Let y = 10 + -5. Suppose -12 = y*u - u, 0 = 4*r + u - 97. Is r a multiple of 15?
False
Suppose 12 = 4*c - 0*c. Suppose -57 = -3*n + c*s, -3*s + 15 = 5*n - 48. Is n a multiple of 5?
True
Let f be 0 + 0 + 2 + 17. Suppose -2*t + 22 = 5*n - n, f = 2*t + 3*n. Does 5 divide t?
True
Let f = 34 - 6. Let a(h) = 4*h - 2. Let p be a(4). Let l = f - p. Is l a multiple of 6?
False
Is 25 a factor of -8 - -3 - (-54 - 1)?
True
Let n be (-2)/(-10)*-2*-10. Let s(q) = -6*q + 3 - 1 + 6*q**3 - 4*q**3 - 5*q**2 + 4*q. Is s(n) a multiple of 18?
False
Suppose 6*d = 2*d + 108. Does 6 divide d?
False
Let d be ((-27)/(-6) - 4)*-26. Let r(w) = w**3 - 3*w**2 - 4*w + 4. Let u be r(3). Let a = u - d. Is a a multiple of 2?
False
Let x(v) be the first derivative of -4*v + 2 + 3*v**2 + 1/3*v**3. Is 6 a factor of x(-8)?
True
Suppose 3*r - 93 = 3*m, 5*r + 4*m - m - 163 = 0. Is r a multiple of 8?
True
Let f = -12 - -20. Let u = f - 0. Is 8 a factor of u?
True
Suppose -w = -2*d - 144, 3*d = 2*w - 463 + 176. Does 24 divide w?
False
Let l(x) = 2*x**2 + 3*x - 4. Let n be ((-6)/(-12))/((-1)/8). Does 16 divide l(n)?
True
Let g = 11 + -2. Does 2 divide g?
False
Suppose 3*o + 89 = 2*n - 0*o, 3*o = -2*n + 71. Is 3 a factor of n?
False
Suppose -8*g = -3*g. Suppose 2*k = g, -4*x + 80 = -2*x - 5*k. Does 20 divide x?
True
Does 5 divide (-10)/(-50) + 148/10?
True
Let u(k) = -k**3 - 3*k**2 + 5*k - 4. Let h be u(-5). Let s = 60 - h. Suppose -w + 39 = 3*a - 6*w, -2*a - w = -s. Does 16 divide a?
False
Suppose -7*j + 3*j + 108 = 0. Suppose y = -0*y + j. Is y a multiple of 9?
True
Suppose -2*s + 3 + 8 = u, 5*s - 40 = -5*u. Let t(c) = -4*c**3 + 5*c**2 - 2*c + 1. Let v be t(s). Let n = v + 119. Is n a multiple of 19?
False
Let o(f) = -f + 91. Is 21 a factor of o(28)?
True
Let a be -7 + 0/(-3) + -1. Let j(x) = -x - 1. Let i be j(a). Let b(r) = r + 9. Does 9 divide b(i)?
False
Let v(d) = 1 + 1 + d - 5. Does 4 divide v(8)?
False
Let i(o) = -o - 3. Let z be i(-5). Suppose z*s - 5*s + 120 = 0. Is 8 a factor of s?
True
Let k = 16 + -11. Does 4 divide k?
False
Let c(f) = 3*f**3 + 7*f**2 - 7*f - 2. Let a(i) = -i**3 - i**2 - i. Let p(o) = 2*a(o) + c(o). Let h(q) = q - 6. Let b be h(0). Is p(b) a multiple of 16?
True
Suppose 15*j - 905 = 2245. Does 42 divide j?
True
Let g(o) = -2*o**2 - 13*o - 6. Let q be g(-9). Let k = 81 + q. Does 11 divide k?
False
Is 45 a factor of -2*-38*20/16 + 2?
False
Let h(j) = j**2 + 4*j - 5. Let p be h(-7). Let t = p + 23. Is t a multiple of 16?
False
Let y = 104 - 31. Suppose -4*l + y = -23. Suppose -6*w = -2*w - l. Is w a multiple of 4?
False
Suppose -4*c - j + 12 = 0, c - 2*c + 2*j + 3 = 0. Suppose 5*t - 4 = c*t. Is t even?
True
Let j(g) = -g**2 + 5*g + 4. Let z be j(5). Suppose 0 = 7*h - z*h - 135. Is h a multiple of 15?
True
Suppose 2*g + 2*g - 3*d - 115 = 0, 0 = -g - 5*d. Let h = -15 + g. Is h a multiple of 6?
False
Let u = 224 + 92. Is u a multiple of 21?
False
Suppose -5*r = -4*r + 5*w + 1, 4*r = -5*w - 19. Let f(y) = -y**3 - 6*y**2 + 8. Is 4 a factor of f(r)?
True
Let m be 1 - -26 - (1 + -2). Suppose y + 0*w + m = -4*w, -4*y = 4*w + 52. Let f = -4 - y. Is f a multiple of 3?
False
Suppose -38*c = -36*c - 64. Is 16 a factor of c?
True
Let p be 128/48*(-1 + 5/2). Suppose 5*u = -5*h + 50, -3*u - 9 - 5 = -h. Suppose -n + p*d = 4, -5*d - h = -5*n + 14. Is 8 a factor of n?
True
Suppose -25 = -5*s, -2*s - 2*s + 20 = 2*v. Suppose v = -5*r + 2*a + 115, 0 = r + 4*a - 0*a - 1. Is r a multiple of 12?
False
Let q be 4/(-6) + (-11)/(-3). Suppose -7*t + q*t = -32. Is 3 a factor of t?
False
Suppose 2*o - 4*o = -5*g - 106, 2*g - 5*o = -55. Let k = 8 - g. Suppose 0*q + k = i - 4*q, 5*q = -4*i + 133. Is 16 a factor of i?
True
Let i be ((-103)/1)/(1 + -2). Let y = 172 + i. Suppose 0 = 5*d - y + 100. Does 17 divide d?
False
Suppose 5*h + 4*p + 4 - 61 = 0, 0 = -h - 5*p + 24. Does 10 divide h - 2 - (-3)/1?
True
Suppose -125 - 190 = -3*n. Is n a multiple of 13?
False
Let s = -10 - -16. Suppose s + 3 = 3*m. Is m a multiple of 3?
True
Let g = 39 - 3. Is g a multiple of 9?
True
Let t(w) = -3*w**2 + 7*w - 1. Let j(r) = 4*r**2 - 8*r. Let g(q) = -2*j(q) - 3*t(q). Suppose -y = y - 12. Is g(y) a multiple of 6?
False
Suppose u - 3*w - 35 = 4, -w = 3*u - 157. Is u a multipl