t j = 528 - 348. Is 20 a factor of j?
True
Suppose 2*y - 340 = 3*a, -3*a = -2*y - 2*y + 692. Is y a multiple of 38?
False
Suppose -9*g + 56 = -5*g. Is 5 a factor of (18/(-4))/((-7)/g)?
False
Let l be (12/(-3))/1 + -13. Is 21 a factor of (4 + 1*-6)*l?
False
Suppose 0*v = -2*v + 20. Suppose 3*i - 4*m + 5*m - 2 = 0, i = -m. Let y = v - i. Does 5 divide y?
False
Suppose -3*t + 115 = -263. Does 6 divide t?
True
Let c(r) = 13*r**2 + 35*r - 57. Let z(v) = 3*v**2 + 9*v - 14. Let k(h) = 2*c(h) - 9*z(h). Is k(-9) a multiple of 15?
True
Suppose 5*o + j = -5 + 42, -3*j = -3*o + 33. Let i(m) = -m + 18. Let a be i(o). Let w = -3 + a. Is w a multiple of 2?
False
Suppose 345 = -w + 2*w. Suppose -5*h = -w - 55. Suppose b = -3*b + h. Does 16 divide b?
False
Suppose -3*r + 5*r = 30. Let f be ((-10)/(-15))/(2/r). Suppose -f*h + 2*z = -16 - 50, 8 = 4*z. Is 7 a factor of h?
True
Let i(v) be the third derivative of v**7/840 + v**4/12 - 2*v**2. Let s(g) be the second derivative of i(g). Is 12 a factor of s(2)?
True
Let i(r) = -r**3 - 2*r**2 + 9*r - 5. Does 17 divide i(-6)?
True
Does 5 divide (-340)/15*3*(-3 + 2)?
False
Let k = 3 - -5. Let m be 32/5 - k/20. Is 6 a factor of ((-16)/m)/((-2)/9)?
True
Suppose 3*a + 10 = 5*a. Suppose -22 = -a*n - m + 21, 4*m + 53 = 5*n. Does 2 divide n?
False
Let p = -1 + 2. Let r be 7/(-1*p/(-10)). Suppose -2*l + r = 3*l. Does 14 divide l?
True
Suppose 5*u + 66 = 226. Is u a multiple of 16?
True
Let o(w) = 11*w**2 - 2*w - 1. Does 18 divide o(-2)?
False
Suppose -9 = 2*j + 3*s, 4*j = -s - 0*s + 7. Suppose 3*z = -0*p + 3*p + 54, z - j*p - 20 = 0. Is 8 a factor of z?
False
Let v(k) = -k - 4. Let y be v(-6). Let w = 12 + y. Suppose f - 12 = -5*b, -4*b + w = 2*f - f. Is f a multiple of 11?
True
Suppose -3*l = -3*a + l + 37, -5*l = -2*a + 20. Let s = a - 11. Suppose s*j - 92 = -3*h, -3*j + 6*h + 44 = 2*h. Is j a multiple of 10?
True
Let w = 302 + -188. Let a = w + -17. Suppose 4*u - a + 17 = 0. Is 10 a factor of u?
True
Let v(q) = -8*q - 10. Let y(n) = -7*n - 9. Let s(t) = -5*v(t) + 6*y(t). Let h be s(-3). Suppose 52 = 4*m - 2*o, -h*m - o - 12 = -3*m. Is m a multiple of 13?
False
Let a be 0 - -2*(-1 + 2). Let x = a + 17. Let t = 32 - x. Is 5 a factor of t?
False
Suppose -87 = -4*t + 3*r + 59, 179 = 5*t - 2*r. Suppose 4*o - 3 = -7, t = 5*h - 5*o. Does 6 divide 63/h*4/3?
False
Suppose -3*s - 44 = -194. Suppose n + n - s = 0. Is n a multiple of 14?
False
Is (2/(-2))/((-6)/78) even?
False
Let j(r) = -r**3 + 4*r**2 + r + 4. Is j(-3) a multiple of 16?
True
Let u = 39 + 99. Is u a multiple of 28?
False
Let v = -30 - -34. Does 3 divide v?
False
Suppose i - 3*i + 2 = 0. Let h be (-246)/(-8) + i/4. Is (-4)/(-6) - h/(-3) a multiple of 9?
False
Suppose -8 = -m + 43. Let r = m - 24. Does 11 divide r?
False
Let j = -17 - -74. Does 19 divide (j/(-3))/((-3)/6)?
True
Let y = -7 + 12. Suppose y*n + 0*n - 15 = 0. Suppose -78 = -4*v + c, n*v + c - 57 + 2 = 0. Is v a multiple of 19?
True
Let f(z) = z**3 + 11*z**2 + 9*z + 8. Let r(h) = -h**2 - 8*h + 10. Let y be r(-10). Is f(y) a multiple of 7?
False
Suppose 5 = h + 3. Suppose -h*m - 15 = -5*m. Is 3 a factor of m?
False
Suppose -12*g + 6*g = -300. Is g a multiple of 25?
True
Let d(r) = r - 5. Let g be d(7). Suppose 0 = g*i + 2*a - 12, -3*i + 23 = 2*a - 0*a. Is i a multiple of 7?
False
Suppose -8*i - 30 = -3*i. Is i*(24/9)/(-4) a multiple of 3?
False
Does 9 divide (-7)/(944/(-1344) + (-4)/(-6))?
False
Is (-20)/90 - 389/(-9) a multiple of 23?
False
Is 31 a factor of (564/8)/(12/8)?
False
Is 19 a factor of (-1365)/(-24) + 2/16?
True
Let n(g) = 2*g**2 + 9*g - 30. Is 24 a factor of n(8)?
False
Suppose 0 = 4*u + 2*p - 110, p - 30 - 109 = -5*u. Does 5 divide u?
False
Let q(r) = 2*r - 4. Let y be q(3). Let z = 2 - y. Suppose 0 = j + 2*o + 9 - 3, -5*j - o + 15 = z. Does 4 divide j?
True
Let c = 111 + -68. Let t = -4 + c. Is t a multiple of 14?
False
Suppose -k = g - 2*g + 33, -g - 2*k + 30 = 0. Let s(x) = x. Let j be s(3). Let m = j + g. Is 12 a factor of m?
False
Suppose u - 4 = -m + 3, -4*m + 22 = 3*u. Is 6 a factor of u?
True
Suppose -3*r + 0*r + 9 = 0. Suppose r*a = -a - 5*u + 107, -2*u - 63 = -3*a. Suppose 13 = 3*z - a. Is z a multiple of 4?
True
Let f(a) = 2*a. Let k(g) = g + 1. Let b be k(5). Is 6 a factor of f(b)?
True
Let t be 12/(-5) + (-4)/(-10). Let w(x) = 3 + 2*x**2 - 3*x**3 + 4 - 5 + 4*x. Is 8 a factor of w(t)?
False
Let w(o) = o**3 - 4*o**2 + 2*o - 3. Let l be w(4). Is 4 a factor of l - -10 - (-1 - -4)?
True
Suppose 5*r = -b - 11, 5*b - 2*r - 35 = -9. Is -6*(-1 + b/12) a multiple of 4?
True
Does 8 divide 11 + -1 + 3 - -4?
False
Let b(k) = 8*k + 4. Let r be 1/(-4) - (-52)/16. Is 14 a factor of b(r)?
True
Let s be (-6)/(-8) - (-354)/(-24). Let z be 30/(-1)*(-4)/3. Let y = s + z. Is 15 a factor of y?
False
Let s = -53 + 127. Does 12 divide s?
False
Suppose 5*o - 420 = -2*o. Is 12 a factor of o?
True
Suppose 4*d - 1236 = d. Is 24 a factor of d?
False
Let s(y) = y**3 - 3*y**2 + 7*y - 2. Let v be s(7). Suppose 3*c + 3*r = -v, c - r + 0*r + 71 = 0. Let q = -50 - c. Is q a multiple of 13?
True
Does 27 divide 1652/18 + 5*12/270?
False
Let z(k) = k**2 + 3*k + 1. Let l be (8/(-10))/((-3)/(-15)). Let j be z(l). Is (-48)/15*j*-1 a multiple of 8?
True
Suppose -1 = -4*z - g, -g - 6 = 3*z - 6*z. Is 20 a factor of -4 - -25 - (z - 0)?
True
Let z be (-6)/10 - 282/30. Does 9 divide (0 - -2)*(-45)/z?
True
Suppose 44 = 3*k - 4*q, 3*k = 7*k + q - 46. Does 6 divide k?
True
Let t(l) = 11*l + 4. Let u be t(-2). Let w = -1 - u. Does 13 divide w?
False
Suppose 0 = z - 27 - 19. Is z a multiple of 12?
False
Let j = -1 - -2. Suppose 10 = w + j. Does 5 divide (-31)/(-3) + (-3)/w?
True
Let d = 60 - 30. Let b = d + -18. Is b a multiple of 6?
True
Let s = 474 - 299. Is 25 a factor of s?
True
Suppose -333 = -4*u - 3*f - 0*f, u - 69 = 4*f. Suppose 2*b + 3 = u. Is b a multiple of 14?
False
Suppose -4*x - x = -30. Suppose -x*l = -l - 40. Is l a multiple of 4?
True
Let i be (-3)/5 + 184/(-10). Does 5 divide (-2 - 2)*1 - i?
True
Let d be 1/1 - (-9)/3. Suppose d*l = -5*n + 110, 2*n - 5*n + 34 = -4*l. Does 18 divide n?
True
Let r(i) = -5*i + i - 1 + 0*i + 7. Is r(-5) a multiple of 26?
True
Let c(q) = q**3 + 6*q**2 + 2. Suppose 2*h = 3*h. Let n be 20/8*(-2 + h). Does 11 divide c(n)?
False
Let v(w) be the third derivative of w**5/60 + 5*w**3/2 + 5*w**2. Is 26 a factor of v(8)?
False
Suppose 72 = -91*b + 92*b. Does 3 divide b?
True
Suppose 0 = -5*w + 2*n + 16 + 19, -14 = -2*w + 2*n. Let y = 106 + -104. Suppose -5*v = 0, w*b = y*b + v + 110. Is b a multiple of 11?
True
Suppose 16 = -2*t + 2*f, 4*f + 12 = -3*t + f. Let h = t + -5. Let w = h + 19. Is w a multiple of 3?
False
Let n(v) = 8*v**2 + 10*v + 7. Let y(k) = -7*k**2 - 9*k - 6. Let r(t) = 6*n(t) + 7*y(t). Let d be r(-3). Suppose 5*s - s - 152 = d. Is s a multiple of 13?
False
Suppose 5*y - 2*n - 1294 = -0*y, -535 = -2*y - 5*n. Let h be (-2)/(-7) + y/(-28). Does 3 divide (-92)/h - (-4)/(-18)?
False
Let c = -9 + 5. Let b(u) = -3*u + 3. Is 13 a factor of b(c)?
False
Let i(d) = 2*d + 2*d + d - 3. Let f be i(-6). Let l = 57 + f. Is 12 a factor of l?
True
Let y(s) = s**3 + 4*s**2 - 6*s - 6. Let d be 39/(-9) - (-4)/(-6). Let g be y(d). Does 7 divide g/(40/(-38) + 1)?
False
Let y(t) = 4*t - 7. Let n be y(8). Suppose 3*r - 2*r - n = 0. Let o = 38 - r. Is o a multiple of 13?
True
Let u be ((-4)/(-4) - 1) + 4. Suppose -d - 52 = -3*a, u*a = a - 3*d + 60. Is a a multiple of 18?
True
Is ((-2)/3)/((-4)/480) a multiple of 20?
True
Suppose -5*j = 2*s - 80, 57 - 23 = s + 4*j. Suppose 0 = -5*h + 5*m + s, m - 3*m + 6 = 0. Is h a multiple of 13?
True
Suppose 0 = -4*a + 6*a. Let h = 22 + a. Does 9 divide h?
False
Suppose 180 = -2*o - 3*o. Does 19 divide o*((-6)/3)/2?
False
Let q = 171 + -101. Let z = q + -50. Does 10 divide z?
True
Let c be 2/2 + 80/(-20). Let d(f) be the third derivative of -f**4/8 + f**3/6 + 2*f**2. Does 4 divide d(c)?
False
Suppose 2*v + 2*b = b + 121, -3*v + 177 = -3*b. Is v a multiple of 12?
True
Is 33 a factor of 12/(-8) + 1516/8?
False
Let i(k) = k**2 - 6*k - 10. Let s be i(7). Let o(p) be the second derivative of p**4/6 - 5*p**3/6 - 2*p**2 - 3*p. Is o(s) a multiple of 16?
False
Let u = -37 + 52. Suppose -2*g + 37 = -u. Does 26 divide g?
True
Is 2 a factor of (-3)/((21/6)/(-7))?
True
Suppose 5*r