-416. Is n a multiple of 40?
False
Let k = 1 - -17. Does 17 divide k?
False
Suppose -4*f + 5 = -7. Suppose f*w + 8 - 68 = 0. Is 20 a factor of w?
True
Let k = 22 - 27. Let u(w) = -4*w**3 - 10*w**2 - 6*w + 5. Let d(h) = h**3 + h**2 - 1. Let f(l) = -3*d(l) - u(l). Is 9 a factor of f(k)?
True
Let u = 59 - 15. Let a = u - 29. Is a a multiple of 15?
True
Suppose 4*u = -3*z + 11 + 24, 5*u = 5*z. Suppose 0 = -4*n - 4, -z*n + 235 = -2*a + 7*a. Is 24 a factor of a?
True
Does 4 divide 1/(2/20) - 3?
False
Let f = 75 + 5. Suppose 6*a + f = 8*a. Does 28 divide a?
False
Suppose -3*d + 676 = 2*d - 2*f, -2*d = -f - 270. Is d a multiple of 17?
True
Let n = -3 - -6. Suppose -5*z + n*z + 26 = 0. Is z a multiple of 13?
True
Suppose -30 = -a - 4*a. Let d(q) = -q**3 + 5*q**2 + 10*q - 8. Let s be d(a). Let x = -6 + s. Is x a multiple of 5?
True
Suppose -5*r + 451 = n, 226 = 2*r + 4*n + 42. Is 6 a factor of r?
True
Let x(v) = v**3 + v**2 - 8. Let h be x(0). Let z = 3 + h. Let s = z - -16. Is s a multiple of 11?
True
Let y = 122 + -37. Is y a multiple of 7?
False
Let n = 200 + -90. Does 5 divide n?
True
Suppose -3*t + 2 - 1 = -y, -7 = -3*y - t. Is 10 a factor of 3/2*y - -7?
True
Suppose -h + 39 = -1. Suppose l = -3*l + h. Is l a multiple of 6?
False
Let r = 26 + 101. Does 10 divide r?
False
Let r be (-18)/(-10) + (-6)/(-30). Suppose 0 = -h + r*q + 5, 5*h - 2*q - 10 = 7. Does 3 divide h?
True
Let h(a) = -a. Let g be h(5). Let q be 2/g - (-2)/5. Suppose q = -2*s - 4*m - 2, -4*m = -5*s - 3*m + 39. Is s even?
False
Let d(m) = -m**3 + 6*m**2 - m. Let g be d(6). Is 17 a factor of ((-68)/(-6))/(g/(-18))?
True
Let d(f) = -3*f + 4. Let m be d(3). Let z(t) = 4*t**2 - 1. Let h(u) = -7*u**2 + u + 1. Let g(y) = 6*h(y) + 11*z(y). Is 6 a factor of g(m)?
False
Suppose a + 15 = -2*a, -z + 3*a = -40. Suppose 4*r - 93 = -z. Does 16 divide r?
False
Suppose 3*w - 33 = -3*v, w = 5*v - 18 + 5. Does 7 divide w?
True
Does 29 divide (0 - (-174)/5)*5/2?
True
Suppose 0 = 5*s - 5*l + 20, 3*s + 6*l = 2*l - 5. Let p(i) = -7*i + 2. Does 7 divide p(s)?
False
Let h = -41 + 69. Does 18 divide h?
False
Suppose 3*y + r + 32 = 0, 0*y + 5*y + 30 = 3*r. Let f = -5 - y. Is 2 a factor of f?
True
Suppose 3*q - 3*z = -3, 0 = 2*q + 2*z - 10. Suppose -2*o + 73 = -7*i + q*i, 78 = 3*o + 3*i. Let w = 90 - o. Is w a multiple of 21?
False
Suppose -3*w = 2*w - 10. Let q(g) = 5*g + 5. Does 4 divide q(w)?
False
Suppose -6*y - 5*s = -2*y + 31, 4*y - 4*s = -4. Does 7 divide (42/y)/(3/(-4))?
True
Let j(c) = -c + 6. Suppose -z - 1 - 5 = 0. Let q be j(z). Suppose -q = 4*w, -5*w = -6*b + 3*b + 186. Does 19 divide b?
True
Suppose 14 = -m + 154. Is m a multiple of 10?
True
Let g(a) be the third derivative of -a**4/8 - a**3/6 + a**2. Is 10 a factor of g(-5)?
False
Let d(x) = 2*x**2 + 4*x + 2. Let a be d(-2). Suppose a*q - 71 = 3*g, 2*g = g - 1. Is 12 a factor of q?
False
Suppose -2 = -3*z + 10. Is 4 a factor of z?
True
Let c = 4 + -6. Is 2 a factor of c*1*1 + 7?
False
Let q = -170 + 260. Is 31 a factor of q?
False
Let h(p) = -7*p + 6. Is h(-6) a multiple of 16?
True
Let v = 12 - 6. Is 5 a factor of v?
False
Suppose -2*f - 2*m = 2*m - 56, -2*m + 140 = 5*f. Suppose p - 4*y = -2*p + f, 2*p - 3*y - 20 = 0. Is 4 a factor of 0/(-2) - (p + -8)?
True
Suppose -3*f = -7*j + 2*j - 295, 3*f = -2*j + 260. Is 10 a factor of f?
True
Suppose 4*r - 2*r + 12 = 0. Suppose 0 = 3*o - 59 + 23. Let k = r + o. Is k a multiple of 4?
False
Suppose 3 = -2*x + 3*x. Is (3/3 - 1) + x a multiple of 3?
True
Let r(y) be the second derivative of -y**4/12 + y**3/6 + y**2 + 3*y. Let k be r(2). Suppose k*a + 11 = a. Is a a multiple of 5?
False
Suppose -h - 2*t - 41 = 63, -2*h = -5*t + 253. Let g = -57 - h. Does 19 divide g?
True
Let m = -130 - -245. Suppose -f + m = 4*f. Is 8 a factor of f?
False
Let w(m) = -m**2 - 18*m + 4. Let x be w(-8). Suppose -2*q + x = -0*q. Is q a multiple of 14?
True
Let z be (-13)/(-3) - 2/(-3). Suppose -2*j + 30 = 2*o, -o + 0*o = 4*j - 15. Suppose o = 4*u - 3*m, u = 2*u + z*m + 2. Does 2 divide u?
False
Suppose o + 4*o = 135. Let a(s) = s**2 + 4*s + 1. Let u be a(-4). Let d = u + o. Is 10 a factor of d?
False
Suppose -4*w + 2*u = 46, -u + 6 = -w - 8. Let j be (-2)/4 - w/2. Suppose -j*s + 5*s = 5. Does 5 divide s?
True
Suppose 4*k - 103 = 5*v, 2*v + 20 - 22 = 0. Does 8 divide k?
False
Let i = 17 - 2. Is i a multiple of 13?
False
Suppose 5*p = -5*g + 1110, 0 = -3*g + p + 509 + 161. Is g a multiple of 15?
False
Let k(d) = -9*d**3. Let z be k(-1). Let p be 2*11 - (2 + -5). Let t = p - z. Does 16 divide t?
True
Let v(j) be the second derivative of -7*j**3/6 - 3*j**2 - 3*j. Is v(-4) a multiple of 20?
False
Let o = -5 + 5. Suppose o = -5*b + 2*f + 14, -3*b + 5*f + 1 = b. Is b a multiple of 4?
True
Let v(n) = -n**2 + n + 118. Is v(0) a multiple of 24?
False
Suppose j = -3 + 5. Let s(d) = d**3 - 36 + 21 - 3*d + 17. Does 4 divide s(j)?
True
Let k = 914 - 546. Suppose -j - j - k = 0. Is j/(-10) - (-2)/(-5) a multiple of 9?
True
Suppose -w - w + 195 = 5*s, 5*s - 5*w = 160. Is s a multiple of 11?
False
Suppose -f + 0*f - d + 67 = 0, 134 = 2*f + 3*d. Is 17 a factor of f?
False
Suppose -2*p - 4*n - 5 - 15 = 0, -3*p - 34 = 4*n. Suppose 0 = 3*o + 23 - 125. Let s = p + o. Is 20 a factor of s?
True
Suppose -4*g - 33 = 5*w - 7, w - g - 2 = 0. Let r be (-3)/((-22)/10 - w). Let h = -8 + r. Is 6 a factor of h?
False
Let l = 6 - 4. Let r(b) = b**3 - 3*b + 1. Does 3 divide r(l)?
True
Is 16 a factor of 1/5 + 2128/10?
False
Is -1 + 152/12*18 - 2 a multiple of 21?
False
Suppose 2*n - 20 = -3*n. Let p = 5 - n. Let v = 8 + p. Does 4 divide v?
False
Let y = 150 - -11. Is y a multiple of 23?
True
Suppose -x + 0*x = -6. Does 6 divide 2/x + (-318)/(-18)?
True
Is 26*((-15)/(-6) - -1) a multiple of 19?
False
Let h = 19 + -13. Let y = h - -1. Is y a multiple of 7?
True
Suppose 4 = 4*j - 2*j. Suppose j + 5 = x. Is x a multiple of 2?
False
Suppose -5*s - 4 = -19. Suppose -4*p - z + 40 = 0, -61 = -2*p - s*p - 4*z. Is 9 a factor of p?
True
Let g = -4 + 4. Suppose g = z - 2 - 1. Let n(k) = -k**3 + 2*k**2 + 4*k + 1. Is n(z) a multiple of 3?
False
Suppose 0 = -p - 2*p + 204. Suppose 4*d + p = 2*w - 0*d, -108 = -4*w + d. Is 9 a factor of w?
False
Let r = 4 - 2. Let t be ((-20)/1)/r*-3. Suppose 4*u - u - t = 0. Does 5 divide u?
True
Let q be 0*(-2)/(-6) - -4. Suppose 2 = -4*i - 2, -56 = -q*p - 4*i. Is p a multiple of 5?
True
Let f(q) = q**3 - 6*q**2 - 2*q - 4. Let o be f(7). Suppose 45 + o = t. Suppose 4*m - t = 4*i, -m + 0*m + 17 = -2*i. Is 8 a factor of m?
False
Let r = 42 - -18. Is 6 a factor of r?
True
Let w be (-2)/(-4)*(-4)/(-1). Let g be (6/(-10))/(2/(-20)). Let f = w + g. Does 8 divide f?
True
Let b = -189 - -296. Suppose -4*v + o + 161 = 0, 0 = -3*v - o - o + b. Is 13 a factor of v?
True
Let a be (-2 + -3)*-1 + -1. Suppose 0*c = a*c - 56. Is 7 a factor of c?
True
Let f(m) = m**2 + m + 5. Suppose 0*t + o + 4 = 2*t, 0 = 4*t + 5*o - 36. Let s = -4 + t. Is f(s) a multiple of 2?
False
Let a(o) = -3*o - 10. Let y(n) be the second derivative of -2*n**3/3 + 2*n**2 - 2*n. Let l be y(3). Does 14 divide a(l)?
True
Suppose 18 = 4*j + 5*l - 3, -3 = -3*l. Suppose j*u - 16 = i, -u - 3*i + 7 = -2*u. Is u a multiple of 4?
False
Let q(i) be the third derivative of i**4/4 + i**3/6 + 2*i**2. Let d be q(-1). Is 23 a factor of ((-116)/(-5))/((-2)/d)?
False
Let y(l) = l**3 - 6*l**2 - 2. Is y(8) a multiple of 14?
True
Let d be 1/2 - 101/(-2). Let a = 78 + -47. Let w = d - a. Is w a multiple of 10?
True
Let j(g) = -4*g**3 - 7*g**2 + 3*g + 9. Let b(l) = -6*l**3 - 10*l**2 + 4*l + 13. Let q(x) = 5*b(x) - 7*j(x). Is 4 a factor of q(-2)?
True
Suppose -5*k = 3*t, 0*t = -5*t + 4*k. Suppose t*a = -3*a + 18. Let h = 0 + a. Is h a multiple of 5?
False
Let v = 12 - 7. Suppose v*y - 17 = -2. Is 3 a factor of y?
True
Suppose 3 = 3*u, 3*r = -10*u + 5*u + 41. Is r a multiple of 11?
False
Let j = -2 - -3. Is 6 a factor of (j*4)/(7/14)?
False
Suppose 0 = -2*r - r - 9. Let k be -4 - r - 1*-3. Is 6 a factor of k*4*12/16?
True
Let f be (-9)/6*20/(-6). Suppose -4*s = -f*v + 1, 0 = 7*s - 2*s - 2*v - 20. Is 6 a factor of s?
True
Suppose 2 = 3*h + 11. Does 9 divide 8/(-12)*h*9?
True
Suppose -4*t + 7 = 31. Let y(g) be the second derivative of -2*g**3/3 + 3*g**2/2 + 2*g. Does 9 divide y(t)?
True
Suppose 4*j - 7 = -2*a +