z a multiple of 20?
False
Let v be (-43)/2 - (-8)/(-16). Let f = 43 + -1. Let i = f + v. Does 20 divide i?
True
Let l be (-4 - -10)/(6/(-8)). Is 11 a factor of 1/(-2) - 220/l?
False
Let f = 5 - -4. Does 4 divide (f/6)/((-6)/(-16))?
True
Let w(v) = 2*v**3 + v**2 + v. Let b be w(-3). Is (b/20)/(6/(-45)) a multiple of 9?
True
Let x(c) = -9*c**3 - 2*c**2 + c - 2. Is x(-2) a multiple of 17?
False
Suppose -2*u + 5*c + 188 - 40 = 0, 5*c = 5*u - 355. Is u a multiple of 4?
False
Suppose 2*g = 2, -3*w - 6 = 2*g - 89. Is 8 a factor of w?
False
Is 588/27 + ((-60)/(-27) - 2) a multiple of 14?
False
Let k(b) = b**3 - 12*b**2 - 12*b + 10. Is k(13) a multiple of 7?
False
Let j(b) be the first derivative of -b**3/3 + 4*b**2 + 8*b + 2. Is 15 a factor of j(7)?
True
Let k be (1/2)/((-4)/(-24)). Suppose 31 + 11 = k*r. Is 14 a factor of r?
True
Let r = -35 - -52. Is 13 a factor of r?
False
Let f(m) = m**2 + 3. Let d be 1/(-3) - 8/3. Is 4 a factor of f(d)?
True
Suppose 0 = 12*m + 37 - 1069. Is m a multiple of 31?
False
Suppose 0 = m + 3. Is 15 a factor of 4*m/12*-38?
False
Let c(s) = 9*s + 6. Let b be c(7). Let t = b - 25. Let f = t - 23. Is 7 a factor of f?
True
Suppose 0*k = -k + 6. Suppose -k*q = -4*q - 64. Does 16 divide q?
True
Suppose -2*u - 4*f - 16 = -0*u, 25 = -5*u - 5*f. Is u/(-3) - 136/(-12) a multiple of 3?
True
Let j = 31 + -55. Is 7 a factor of 1*(-2 + -1) - j?
True
Suppose c + 179 = 2*j, 0 = -2*c - 0 + 2. Suppose -4*v - v = j. Does 13 divide 392/18 - 4/v?
False
Let j(m) = m**3 + 7*m**2 + 5*m - 6. Let v be j(-6). Suppose 5*w = 190 - v. Is w a multiple of 19?
True
Let t(b) = 3*b + 8. Let c be t(-10). Let l = c + 42. Does 10 divide l?
True
Is (13 + 3)*(-2 - -20) a multiple of 18?
True
Suppose 0 = 2*z - 5*g - 162, z = 3*z + 5*g - 202. Does 23 divide z?
False
Suppose 2*d = 5*v - 65, -2*v + 95 = 3*v + 4*d. Suppose 2*u - 1 = 3. Suppose -u*a - v = -113. Does 20 divide a?
False
Let y = -6 - -10. Suppose 30 = y*a - 5*a. Let l = -18 - a. Does 6 divide l?
True
Let s(p) = 3*p - 13. Let i(r) = -4*r + 19. Let v(y) = 5*i(y) + 7*s(y). Let w be v(0). Let x(u) = 9*u - 4. Is 11 a factor of x(w)?
False
Does 10 divide -4 - -14*1 - -3?
False
Suppose -11*o + 7*o + 1000 = 0. Is o a multiple of 10?
True
Let a be 4 + -1 + 0/(-1). Let v(d) = -8 - 1 + a*d - d. Does 2 divide v(6)?
False
Suppose -74 = 16*a - 18*a. Does 3 divide a?
False
Suppose 68 = -5*i + i. Let a = 3 - 0. Let k = a - i. Is k a multiple of 7?
False
Suppose 5*s = 25, -4*y - s - 216 = 327. Is (y - -3)/(2/(-1)) a multiple of 17?
False
Does 34 divide (4/(-5))/((-4)/170)?
True
Suppose 5*i + 5*z - 65 = 455, 5*z = 3*i - 336. Is i a multiple of 20?
False
Let s(v) = -54*v + 10. Is 9 a factor of s(-4)?
False
Suppose 5*c = -3*r + 13, 2*r - 6*r = 3*c - 10. Let a(q) = -4 - 2*q - 3*q + 2*q - 2 + q**c. Is 22 a factor of a(-4)?
True
Let q be (945/(-14))/(1/(-2)). Suppose 4*x + c = 267, -c - q = -3*x + x. Suppose -53 - x = -3*t. Does 20 divide t?
True
Let m(g) = 3*g + 53. Does 3 divide m(10)?
False
Let u(y) = -9*y + 2*y + 0*y - 6. Does 11 divide u(-4)?
True
Let v be (-3)/2*-2 + -2. Let p be (v/3)/(2/12). Suppose -6 - 4 = -p*z. Is z a multiple of 5?
True
Suppose 0 = 4*z - 92 - 48. Is 13 a factor of z?
False
Let p be (616/42)/(2/3). Let i(k) = k**2 - 5*k - 7. Let v be i(5). Let n = v + p. Does 15 divide n?
True
Let u be ((-10)/(-3))/(2/(-6)). Does 9 divide u/(-15) + (-164)/(-6)?
False
Let u = -88 - -166. Is u a multiple of 26?
True
Let v(g) = 4*g**3 - 3*g**2 + 3*g - 3. Let c be v(2). Let d(w) = 2*w**2 - 2*w - 3. Let i be d(-5). Suppose 5*s - c = i. Is s a multiple of 16?
True
Let g(z) = 2*z**2 + z. Let x = 6 - 9. Let h(q) = q**3 + 3*q**2 + q. Let r be h(x). Is g(r) a multiple of 6?
False
Suppose 0 = 5*a - 4*i - 4, a + 2*i = -0*i + 12. Suppose -u = -3*f + 147 - 8, -a*u = 16. Is 15 a factor of f?
True
Let l = 115 + -164. Let d = l - -73. Is 12 a factor of d?
True
Suppose 270 = 5*n + 5*c, -c - 2 + 5 = 0. Is n a multiple of 17?
True
Does 11 divide (4 - 10/2)*-55?
True
Is ((-96)/(-10))/((-3)/(-30)) a multiple of 20?
False
Let o(x) = 11*x + 0*x + x**2 + 5 + 3. Let l be o(-11). Is (-1)/((-9)/l + 1) a multiple of 4?
True
Suppose f = -3*f. Suppose -2*d + 5*r + 14 = f, 0 = -3*d - 6*r + 3*r. Suppose -m + d = -3. Is m a multiple of 3?
False
Let g(k) = -k**3 + 3*k**2 + 2*k - 2. Suppose 5 = -r + l - 1, -3*r = 4*l - 10. Is g(r) a multiple of 5?
False
Let j(w) be the third derivative of w**6/720 + w**5/24 - w**4/24 - 2*w**2. Let m(o) be the second derivative of j(o). Does 10 divide m(5)?
True
Let v(z) = 8*z**2 - 8*z + 9. Let g be v(7). Suppose 2*l + 3*l = g. Is l a multiple of 19?
False
Suppose -r - r = 4, 5*r + 43 = 3*y. Is 5 a factor of 1/2*(y - -1)?
False
Let f(y) = -y**2 - 21*y - 8. Let d be f(-9). Let q = -48 + d. Does 15 divide q?
False
Let b(w) = -3*w**2 + 7*w + 3. Let h be b(-5). Let f = h + 160. Suppose 5*y - 5*z - f = 42, 0 = -y - z + 29. Is y a multiple of 16?
False
Let f(l) = 2*l**3 - l**2 + 1. Let d be f(-1). Let p(g) = -g**3 - 2*g**2 - 2*g. Let y be p(d). Suppose -y = -0*k - k. Is k a multiple of 3?
False
Suppose -o + 0*o - 6 = -3*m, 0 = 2*o + 4*m - 28. Let b(n) = 9*n + 8. Let g(a) = -5*a - 4. Let r(f) = -6*b(f) - 11*g(f). Does 2 divide r(o)?
True
Let r be (-40)/25 - 2/5. Let k(v) = -10*v. Is 20 a factor of k(r)?
True
Suppose -2*o + 12 = -2*i, -4*o + 12 = 4. Let z = 26 - i. Does 22 divide z?
False
Suppose -16 - 56 = -4*m. Is 984/14 + m/(-63) a multiple of 33?
False
Let b = 55 - -68. Does 22 divide b?
False
Let f(o) = o**3 + 5*o**2 + 3. Let s be f(-5). Let y be 2*7 - (s - 3). Suppose y = 4*r - 38. Does 6 divide r?
False
Let s(c) = 2*c**2 - 6*c + 44. Is 8 a factor of s(9)?
True
Does 6 divide (-1 - -3)*(-108)/(-8)?
False
Let q(n) = n**2 - n + 1. Let m(r) = 38*r**2 - 4*r + 3. Let t(h) = m(h) - 2*q(h). Is t(1) a multiple of 9?
False
Suppose 0 = l + 4*l - 10. Let d be (l/(-3))/(2/24). Let b = d + 24. Does 12 divide b?
False
Suppose -35 = -5*y - 5. Is 1/((y/(-3))/(-48)) a multiple of 12?
True
Suppose 4 = -5*m - 6, -5*c - m + 173 = 0. Suppose 3*i - 4*p - 23 = 0, -3*p = -4*i - 2*p + c. Does 3 divide i?
True
Suppose y + 3*y = 20. Suppose -y*l + 135 = 5*m, -m + 145 = 5*l + 2*m. Is 11 a factor of l?
False
Suppose 8 = -2*u + 2. Suppose 0 = -4*k + k + 3. Let m = k - u. Is 3 a factor of m?
False
Let d be (-1)/(-1*1/86). Suppose 34 = i + 5*j, 3*i - d = -j + 2*j. Is i a multiple of 11?
False
Let o(g) = 5*g**2 + 2*g - 1. Let c be o(1). Let p be c/(-4)*(-16)/12. Suppose b + w - 19 = 0, -p = -w + 3. Is 7 a factor of b?
True
Let l = -8 - -28. Does 6 divide l?
False
Suppose 0*s = -5*m + s + 10, -5*s = 3*m - 6. Suppose x + 67 = 3*p - p, 5*x = m*p - 71. Does 9 divide p?
False
Let k = 19 + 198. Is 31 a factor of k?
True
Let s(j) = j + 4. Let g be s(-2). Suppose 0 = 3*w - 4*k + 14, 11 + 3 = g*w + 2*k. Let m(t) = t**3 + t**2 - t + 1. Is 11 a factor of m(w)?
True
Let j = 12 + -9. Suppose 6 = w + j*a - 2, 4*a = 4*w - 80. Is 4 a factor of w?
False
Suppose 385 = 14*p - 175. Is p a multiple of 5?
True
Let g(i) = 3*i**2 + 2*i. Is 8 a factor of g(-4)?
True
Is 17 a factor of (-6)/(2 + 144/(-68))?
True
Let z be 2/2 - 14/(-7). Suppose z*i - 5 = 7. Is 2 - (i*-1 + -1) a multiple of 7?
True
Suppose -s - 3*u = 1, 0 = -3*s - u - 1 - 10. Let g = s - 3. Let x(o) = -3*o + 10. Is 12 a factor of x(g)?
False
Suppose 7*s - 4*s - 168 = 0. Does 28 divide s?
True
Suppose 0 = 2*n - 4*c + 4, 10 = n - 6*n - 2*c. Is (64 - 0)*(-1)/n a multiple of 12?
False
Let f = -7 - -115. Is 18 a factor of f?
True
Let c = -13 - -18. Suppose -c*w + 2*j + 452 = 0, 0 = 4*w - j - 2*j - 363. Let n = -60 + w. Does 15 divide n?
True
Is (-2464)/(-12) - (1 + 6/(-9)) a multiple of 41?
True
Suppose -5*a - 130 = -3*f, 55 - 5 = f + 5*a. Does 2 divide f?
False
Let n = 247 - 139. Is 18 a factor of n?
True
Suppose -7*v = -5*v - 8. Suppose z + 66 = v*z. Is z a multiple of 17?
False
Let r = -12 + -13. Is 5 a factor of 144/10 + (-15)/r?
True
Let b(n) = -n**3 - 6*n**2 - 6*n - 3. Let a(s) = -s**3 - 7*s**2 - 7*s - 3. Let k(g) = 2*a(g) - 3*b(g). Let o be k(-3). Is (o + -14)/(-3 - -2) a multiple of 7?
True
Let w be (16/2)/(2/32). Suppose 4 - 2 = j. Suppose w = 4*z + 2*v, j*z + 3*v = -z + 102. Is z a multiple of 10?
True
Let d be 2*9/6 - -1. Suppose -43 = -4*x + 2*j + 61, -d*x - 5*j = -118. Is 12 a factor of x?
False
Let b 