-5*l + 156, 0 = 2*l + 3*b - 77. Is l a multiple of 9?
False
Let u = 20 - 11. Is u a multiple of 2?
False
Let o = -3 + 5. Suppose -4 = -o*v - 22. Let x = v + 14. Does 5 divide x?
True
Let h = 3 + -7. Let n = 8 + h. Is 2 a factor of n?
True
Let l(d) = 152*d + 2. Is 11 a factor of l(1)?
True
Suppose -5*f - 7 = -62. Does 3 divide f?
False
Let b(f) be the third derivative of 7*f**6/20 - f**4/24 + 2*f**2. Does 12 divide b(1)?
False
Let t be 1*(6 - 0)/2. Suppose 0 = 4*o + 2*v - 290, 0*o - 4*v - 284 = -4*o. Suppose 2*b - o = 2*a, t*b + 2*a - 3*a = 104. Is b a multiple of 17?
True
Is 8 a factor of 6/51 - 15960/(-170)?
False
Suppose -6 = 2*n, -2*w - 2*n + 4*n = -62. Suppose -38 + 2 = -2*j + s, 2*j = 3*s + w. Does 10 divide j?
True
Let t = -18 + 21. Does 3 divide t?
True
Let g(r) = r**2 - 8*r + 7. Let l be g(7). Suppose l*j + 5*h = 2*j - 9, -95 = -5*j - 2*h. Is 10 a factor of j?
False
Let x(f) be the second derivative of f**5/20 - f**4/6 + f**3/6 + 2*f. Let z be x(2). Does 16 divide (-176)/(-6) + z/3?
False
Suppose -3*s + 2*s = -1. Let t(z) = s + z**2 - 3*z + 0 - 3. Is 8 a factor of t(6)?
True
Suppose -4*a - 48 = -2*d + 52, 3*a - 25 = -d. Suppose -d - 32 = -3*z. Does 12 divide z?
True
Let f = 16 + -17. Is f*(-1 + -23) - 0 a multiple of 8?
True
Let k(l) = 5*l**3 - 3*l**2 - l + 2. Is k(2) a multiple of 11?
False
Suppose 5*a - j - 2*j = 171, -2*a + 84 = 4*j. Does 12 divide a?
True
Let t(w) = -w**3 + w**2 - w + 4. Let f be t(0). Suppose 5*p - 5*d - 75 = 0, -f*p - 4*d + 31 = -29. Is 5 a factor of p?
True
Let l = 0 - -103. Is 43 a factor of l?
False
Let t be 0 - (-9)/3 - 1. Suppose -77 - 14 = -q. Suppose 4*l = 5*r - q, t*l + 2*l = -16. Does 11 divide r?
False
Suppose 18 = -2*n - 5*w, -2*n + 5*n - 2*w - 11 = 0. Let x(t) = -70*t. Let d be x(n). Let i = 109 + d. Is i a multiple of 19?
False
Suppose 89 = -3*u + 587. Does 24 divide u?
False
Suppose -2*k = 2*k - 4. Is 3 a factor of k - (-11 - (1 + -2))?
False
Let w(j) = -3*j - 13. Let i be w(-6). Suppose -i*b + 4*p - 3*p + 218 = 0, 0 = b - 5*p - 34. Does 8 divide b?
False
Let n = 89 + 68. Is 23 a factor of n?
False
Let b be (-3 - -6 - 3)/(-1). Suppose 2*l + 2 = -b. Is l + 4 + (-6)/(-6) a multiple of 4?
True
Is 6 a factor of 1/(-2) - 79/(-2)?
False
Let w(y) = y**3 - 2*y**2 - 2*y + 9. Is w(4) a multiple of 11?
True
Let h(l) = -33*l**2 - 1. Let v be h(-1). Let q = -22 - v. Is 12 a factor of q?
True
Suppose 0 = 4*j - 4 + 156. Let u = j - -73. Is 17 a factor of 2/2 + -2 + u?
True
Let v = -25 + 0. Let q = v - -45. Is q a multiple of 3?
False
Let m(p) be the third derivative of 7*p**6/60 - p**5/60 + p**4/12 - p**3/6 + 3*p**2. Does 14 divide m(1)?
True
Let w = -143 - -201. Is w a multiple of 58?
True
Let m(x) = 5*x**2 - 2*x + 4. Let j be m(-4). Let t = 178 - j. Suppose 5*n - t = -26. Does 12 divide n?
True
Let q = -2 + -2. Is 22 a factor of (-2)/q - (-215)/10?
True
Suppose -3*b = -5*b, 5*b = 5*u + 10. Let m be u - 6/(1 - 2). Suppose -5*h + 32 = 5*c - 2*c, m*h = 16. Is 4 a factor of c?
True
Let k be 1 + -2 - (-9 + 8). Suppose i - 2 = k, 16 = -4*g + 2*i + 2*i. Is 13 a factor of g - 2/(-2) - -34?
False
Let a(g) = -g**3 - g**2 - g - 2. Let u be a(-2). Let l(f) = 19*f + 4. Does 23 divide l(u)?
False
Let g(x) = 2*x**2 + 2*x - 1. Let n be g(-2). Suppose -4*l + 9 = -i, l - n = 3*i - 2*i. Suppose -l*v = 4*z - 6, -3*v + 0*z + 19 = -4*z. Is 3 a factor of v?
False
Suppose 2*r = -r - 135. Let v = r + 117. Is (8/(-6))/((-3)/v) a multiple of 11?
False
Let y be (-1 + 2/(-6))*-3. Let r(z) = 0*z + 4*z - y*z + 3*z**3. Is 2 a factor of r(1)?
False
Let b = 10 - 7. Let h = b - -2. Is 3 a factor of h?
False
Let r(d) = -d**3 + 4*d**2 - 3*d + 2. Suppose -3*h + 9 = -0. Let v be r(h). Suppose g = -o + 12, -4*g + 21 = v*o + 5. Is 8 a factor of o?
True
Suppose 4*t = 3*s + 3*t + 111, 5*t = -2*s - 91. Let z = -23 - s. Is 15 a factor of z?
True
Suppose 0 = 3*y - 29 - 16. Suppose y + 9 = 4*x. Let n = 30 - x. Is 12 a factor of n?
True
Suppose 3*d - 135 = -3*o, -d - 5*o + 71 = 18. Suppose -2*a + 50 = 3*l - d, -a + 2*l = -29. Is a a multiple of 11?
False
Let o(m) = 4*m - 18. Is o(7) a multiple of 2?
True
Let w = -4 - -5. Let d(s) = 3*s - 1. Let q be d(w). Suppose 5*j + 2*y = 6*j - 16, -5*y = -q*j + 37. Does 6 divide j?
True
Let q(p) = 4*p + 24. Does 16 divide q(11)?
False
Let f be 105/12 - 3/(-12). Suppose -m = -15 - f. Does 9 divide m?
False
Let a = 11 - 7. Suppose c - 11 = -a*s + 16, 3*s + 126 = 3*c. Is 10 a factor of c?
False
Let h = 128 + -107. Is h a multiple of 3?
True
Let x = 43 - 30. Is x a multiple of 3?
False
Is 55 - (6 - -3)/(-3) a multiple of 24?
False
Suppose -2*a = -2*s - 10, a - 2 = -s + 3. Let j be 1/(-2)*(s - 4). Suppose n = j*n - 11. Is 7 a factor of n?
False
Is 23 a factor of ((-30)/7)/((-5)/35)?
False
Suppose 3*i = i - 8. Suppose -120 = 6*n - n. Does 9 divide ((-5)/(-3))/(i/n)?
False
Suppose -5*m - 4*q = -27, 2 = m + q - 3. Let d(k) = -k**2 + 4*k**2 - 2*k - 2*k**2 - 3*k - 10. Is 4 a factor of d(m)?
True
Let c be (-2)/7 + 47/(-7). Let g(w) = -3*w - 2. Does 13 divide g(c)?
False
Is 4 a factor of 4/18 - (-61)/9?
False
Let f = 10 + -7. Let u = 4 + f. Suppose 49 = 3*c + u. Does 4 divide c?
False
Suppose 13*x - 305 = 176. Is x a multiple of 10?
False
Suppose 0 = -2*s + 2*m - 1 + 15, 3*s + 5*m = -3. Let n = -41 + 176. Suppose -s*o = -o - n. Is o a multiple of 15?
True
Let s(j) = -j**3 - 12*j**2 + 20*j + 27. Does 46 divide s(-14)?
False
Suppose -g - 134 + 262 = 0. Does 32 divide g?
True
Suppose w = -0*w + 53. Is 5 a factor of w?
False
Let g(y) be the third derivative of -y**2 - 1/24*y**4 + 0*y + 0 - 1/24*y**6 + 0*y**3 - 1/60*y**5. Is 5 a factor of g(-1)?
True
Let h(t) = 7*t - 3. Let r = 4 - 0. Suppose r*j + j = 10. Is h(j) a multiple of 11?
True
Let m = -45 + 82. Is m a multiple of 37?
True
Suppose 4 = z - 8. Is 4 a factor of z?
True
Suppose 4800 = 18*s - 2328. Is 22 a factor of s?
True
Suppose 6 + 104 = -5*l. Let h be (-180)/l + 4/(-22). Let j(c) = c**3 - 9*c**2 + 11*c + 6. Is 15 a factor of j(h)?
True
Let j(o) = 43*o**2 + 4*o - 2*o + 2 - 37*o**2 - o**3. Is j(4) a multiple of 14?
True
Is 14 a factor of (-2)/(-9) + (-376)/(-9)?
True
Suppose 0 = 3*i - 3 - 18. Suppose -5*y + 78 = -i. Is 14 a factor of y?
False
Let k(v) = -v + 1. Let r = -5 + 3. Let s be k(r). Suppose -q + m = -3*q + 19, -s*q = m - 31. Is 5 a factor of q?
False
Let o(g) = -5*g + 9. Is o(-7) a multiple of 18?
False
Suppose -2*i = -r - 110, -3*r + 102 = 3*i - i. Is 9 a factor of i?
True
Let h be 12/(-4*1) - -42. Let d = h + -19. Is 20 a factor of d?
True
Let g(d) = -2*d + 11. Does 9 divide g(-8)?
True
Suppose y = 6*y + 5*x - 270, -4*x + 16 = 0. Does 8 divide y?
False
Is -3 + 1 + 158 + -2 a multiple of 11?
True
Let a be 6/(-9)*6/(-2). Suppose 0 = -3*k + 12, 3*k - 31 - a = -3*g. Suppose -4*f = -12, 87 = 4*m - g*f + 4*f. Is 12 a factor of m?
True
Let g be (38/4 - -2)*2. Suppose 101 = 2*m + 3*m - 2*z, -5*z + g = 2*m. Suppose 24 = s - m. Is 21 a factor of s?
False
Let u = -4 + 3. Let k be (-1)/((-3)/(-18))*u. Does 5 divide (-1)/((k/15)/(-2))?
True
Let s(y) = -y + 4. Let f be s(0). Suppose 2*z - f - 10 = 0. Suppose -j + z = -19. Is 13 a factor of j?
True
Let d(w) = 3*w**2 - w. Suppose 2*k + 2 = 2*m, m - 2*k = k + 11. Is d(m) a multiple of 11?
False
Let h = -73 - -22. Let y = -24 - h. Is y a multiple of 12?
False
Suppose -a + 368 = 7*a. Is a a multiple of 18?
False
Let y = 184 - 7. Is y a multiple of 25?
False
Suppose -2 = -2*j + 3*j. Let k(w) = 6*w**2 - 1. Is k(j) a multiple of 10?
False
Let z(k) = -5*k**3 - 3*k**2 + 4*k + 7. Does 13 divide z(-3)?
False
Suppose -3*j - 69 = -6*j. Let p = j + 1. Does 7 divide p?
False
Let d(z) be the first derivative of 11*z**2/2 - 4*z + 2. Let x(r) = -r**3 - r**2 + r + 2. Let o be x(-2). Does 20 divide d(o)?
True
Suppose 4*u - 311 = 3*o, -2*u - 4*o + 151 = -7*o. Suppose 2*y - 26 = u. Does 24 divide y?
False
Let o be 4/(-10) - 296/10. Let d be (2/6)/((-2)/o). Suppose -5*a = -3*l - 86, a - d*l = 4*a - 38. Is 12 a factor of a?
False
Let n(s) = 6*s + 5. Let f be n(4). Suppose 24 = 2*u + p, p + 7 = 3*u - f. Is u a multiple of 5?
False
Suppose 0 = 3*m - 134 - 37. Does 19 divide m?
True
Let u = 4 + 7. Does 3 divide u?
False
Suppose 5*b - b = r + 386, 4*r = 2*b - 186. Suppose 5*z + b = -178. Is 14 a factor of (z + -1)*(-3)/6?
True
Is (5 - 2)/(-15) + (-1280)/(-25