 g a multiple of 4?
False
Does 27 divide 6*27*(-15)/(-10)?
True
Let w = 62 - 29. Is 31 a factor of w?
False
Let t(a) be the second derivative of a**6/120 + a**5/15 + 2*a**3/3 - a**2 - a. Let l(j) be the first derivative of t(j). Is 10 a factor of l(-3)?
False
Let n = -26 - -142. Is 29 a factor of n?
True
Let f = -6 - -11. Suppose f*o - 9 = -2*u, o - 21 = -2*u - 8. Is 2 a factor of u?
False
Suppose j - 5*j + 309 = w, 2*w = 10. Let q(h) = -h**2 + 7*h + 13. Let b be q(8). Suppose l + j = b*l. Is 19 a factor of l?
True
Let m be 14/10 - 6/15. Let n = m - 1. Suppose n = -4*w + 7 + 5. Is 2 a factor of w?
False
Let q(o) = 9*o + 15. Let u(g) = 4*g + 7. Let d(i) = 2*q(i) - 5*u(i). Let v(a) = -a**2 + 8*a - 4. Let p be v(8). Is d(p) a multiple of 2?
False
Let c = -29 + 9. Is 5 a factor of (-4 - c) + 4/1?
True
Suppose 9 = 3*p - 18. Suppose s = 5*s - 28. Suppose s + p = 4*v. Is v a multiple of 3?
False
Suppose 6*h - 195 = h. Does 14 divide h?
False
Suppose 25*k = 27*k - 438. Is k a multiple of 39?
False
Does 3 divide (-33)/(-5) + 6/(-10)?
True
Let j be 234/4 + (-1)/(-2). Let q = j + -32. Let g = -9 + q. Is g a multiple of 6?
True
Let b(c) = 1 - 2 + 7 + 4 + c. Let w be b(-5). Suppose x = w + 5. Does 10 divide x?
True
Suppose 0 = -5*z - 2 + 12. Suppose 9 + 41 = z*y. Does 9 divide y?
False
Suppose -3*g - g = -5*f - 204, -4*g = f - 228. Is g a multiple of 13?
False
Suppose -280 = -2*n - 2*n + 3*v, 5*n = 3*v + 350. Does 14 divide n?
True
Suppose 4*w - 28 - 56 = 0. Is 8 a factor of w + (-2 - (-5 - 0))?
True
Let r(c) = -62*c - 3. Let l be r(-4). Suppose 2*b - a - l = -2*a, 4*a = b - 100. Suppose -p + b = 3*p. Is 10 a factor of p?
True
Let v be 2 + -1 - 0 - -1. Let o(u) = -14*u - 3. Let s be o(-2). Suppose -4*l = -5*l - v*x - 4, s = -5*x. Is l a multiple of 3?
True
Let y = -41 + 24. Let z = 4 - y. Is 7 a factor of z?
True
Suppose 260 = 4*l + l. Does 13 divide l?
True
Let l(r) = r**2 + 4*r + 1. Let p be l(-4). Suppose -w + 2 + p = 0. Let o = 2 + w. Is o a multiple of 5?
True
Let m(v) = 143*v**2 + 2*v. Is m(1) a multiple of 29?
True
Let o be -6 - (-1 + 1 + 0). Let q = o - -14. Does 4 divide q?
True
Let x(b) = -b**3 + 7*b**2 - 7*b + 6. Let v be x(6). Suppose l - 5*k + 15 = v, 4*k - 9 = l + k. Suppose -3*n + 20 + 19 = l. Does 13 divide n?
True
Let j(n) = n + 39. Is 14 a factor of j(0)?
False
Let p = -44 + -46. Let s = -132 - p. Is 10 a factor of s/(-4 + 2) + -1?
True
Suppose -4*r + r = -12. Suppose p - r*p = t + 1, -p = -t + 3. Let n = p - -19. Does 14 divide n?
False
Suppose -3*a - 3*i = -12, 6*i - 10 = -3*a + i. Suppose a*y - 7*y + 10 = 0. Suppose y*r = 3*r - 2*u + 38, -2*u + 80 = 4*r. Is r a multiple of 9?
False
Suppose -t + 101 = -2*c - c, 2*t - 209 = -c. Is 26 a factor of (t/(-14))/((-2)/7)?
True
Let h(k) = k**2 - 2*k. Let w be h(2). Suppose n + 5*c - 6 = 0, w = 2*c + 6 - 2. Is 11 a factor of n?
False
Suppose -36 = y + a - 6, -3*y = 5*a + 84. Let r be 2/(-4) - (-328)/(-16). Let t = r - y. Is t a multiple of 12?
True
Is 0/(2 - 4) + 15 a multiple of 4?
False
Suppose 0 = 3*v - 3*h - 24, 0*h - 16 = 4*h. Suppose b + 18 = v*b. Is b a multiple of 6?
True
Let h(j) be the first derivative of -j**4/4 - j**3/3 - j**2/2 - 2*j + 1. Let k be h(-2). Suppose k*u - 20 = 24. Does 11 divide u?
True
Let h(x) = x**3 - 2*x + 2. Let j be h(2). Let c(f) = -f**3 + 5*f**2 + 6*f + 6. Does 3 divide c(j)?
True
Is 13 a factor of (-78)/(-4)*(-104)/(-39)?
True
Suppose 0 = -5*k + 3*k - 2. Let d = 3 + k. Suppose 28 = d*n + a + 9, 0 = -2*n + 2*a + 10. Is n a multiple of 4?
True
Let b(k) = 8*k + 9. Is b(9) a multiple of 27?
True
Let a(t) be the first derivative of -t**4/4 + 5*t**3/3 + 7*t**2/2 - 5*t - 1. Is a(5) a multiple of 14?
False
Let z(q) = 27*q**2 - q. Does 23 divide z(-1)?
False
Suppose -8*p - 6 = 3*m - 4*p, 0 = -4*m - 3*p - 15. Let d be (-2)/m - (-48)/(-9). Let n(x) = x**2 + 3*x - 2. Does 8 divide n(d)?
True
Let o = 111 - 75. Is 16 a factor of o?
False
Let y(a) = -9*a - 6. Let k be y(-6). Let x = -22 + k. Is x a multiple of 22?
False
Let c = -3 - -8. Suppose 120 = -0*t + c*t. Is 9 a factor of t?
False
Let b = 47 - 5. Does 14 divide b?
True
Suppose 1 = -g + 6. Suppose 0*k - g*k + 175 = 0. Suppose k = 2*z + 3. Is z a multiple of 8?
True
Suppose 0 = -3*z + 42 - 6. Is z a multiple of 4?
True
Let d be (-42)/8 + 2/8. Let r = d + 18. Does 5 divide r?
False
Suppose 4*x + 57 = 13. Let d(a) = 0 - 5*a + 2 - 5. Is d(x) a multiple of 26?
True
Suppose 5*x + 1 = 11. Suppose 0 = -n - 3*n - 5*i + 28, -n - x*i = -10. Let t = n + 3. Is t a multiple of 2?
False
Let o(m) = -m + 9. Let p be o(6). Suppose -p*d + 65 = 5. Suppose 2*w - 4*l = 52 + d, -2*l - 104 = -3*w. Is w a multiple of 17?
True
Let s = 6 + -6. Suppose 0 = -2*c + c + 3*p + 66, s = 5*c - 4*p - 275. Does 20 divide c?
False
Let q be (-1)/(-2) + (-228)/(-24). Let s = -6 + q. Is 4 a factor of s?
True
Suppose 3*s = b + 4*b - 30, 4*b + 3*s = -3. Suppose -b*f - 4 + 16 = 0. Is 4 a factor of f?
True
Suppose -3*d + 140 = -d. Let w be -44 + 2 + 0/2. Let u = d + w. Does 14 divide u?
True
Let y(f) = f - 27. Let m be y(0). Let b be (-4)/18 + 129/m. Does 16 divide 1/b - 424/(-20)?
False
Let t(a) = -3*a - 10. Let w be t(-6). Suppose 13*l = w*l + 40. Is 4 a factor of l?
True
Let b(p) = -p**3 + 6*p**2 + 6. Let n be b(6). Suppose -n*j + 5*j = -68. Suppose 5*k = k + j. Does 12 divide k?
False
Let z(d) = -d - 3. Let p be z(8). Let l = p + 31. Does 20 divide l?
True
Let l be (2/4)/(4/16). Let f be l/(-8) + 25/4. Suppose -f*i + 60 = -3*i. Does 7 divide i?
False
Suppose 24*c = 31*c - 154. Is 12 a factor of c?
False
Let a = -20 + 30. Let x(v) = -v**3 + 13*v**2 - 10*v + 15. Let p be x(a). Suppose -4*z + p = z. Is z a multiple of 22?
False
Let y(k) = 4*k**2 - 4. Does 29 divide y(-6)?
False
Suppose w = 5*m, -4*w = 3*m - 3*w. Let q = 4 - m. Does 4 divide q?
True
Let c = 37 + -15. Let q = 112 - c. Is 30 a factor of q?
True
Suppose l = 6 + 3. Is 5 a factor of l?
False
Suppose -79 = -5*j + 281. Does 8 divide j?
True
Suppose -2*f + w = -0*w - 8, 0 = f - 2*w - 4. Is f a multiple of 3?
False
Is 8 a factor of (-15)/(-5 - 22/(-5))?
False
Let w be -16*(-3 - 9/(-6)). Let h = 11 + w. Is h a multiple of 9?
False
Suppose 0 = -i - 2*i, -5*t - 3*i = -475. Is 19 a factor of t?
True
Suppose 2*u + 4*p - 84 = 0, -u + 2*u + p - 39 = 0. Does 14 divide u?
False
Suppose -4*o + 105 = 3*o. Does 5 divide o?
True
Let y(a) be the third derivative of -a**5/60 - 3*a**4/8 - 7*a**3/6 + a**2. Suppose 0*f = f + 5. Is y(f) a multiple of 13?
True
Let z(i) = i**3 + 5*i**2 - 6*i + 5. Let c be z(-6). Suppose -r + 5*r = 5*d - 146, 2*d + c*r - 32 = 0. Does 14 divide d?
False
Let q = -10 - -6. Is 19 a factor of 405/21 - q/(-14)?
True
Let s(w) be the first derivative of 1/3*w**3 + 16*w - 1 - 1/2*w**2. Is 6 a factor of s(0)?
False
Let z(u) = u**3 + 7*u**2 - 8*u - 5. Let j be z(-8). Let v(f) = f**2 + 3*f - 7. Let y be v(j). Suppose -76 = -y*m - m. Is 19 a factor of m?
True
Suppose 2*k = -0*k, 6 = 3*f - k. Let y(h) = -f*h + 3*h**3 - 2*h**2 - 7 - h**3 + 3. Does 13 divide y(3)?
True
Let g = 4 + -12. Let b be 21/2*(-60)/(-18). Let h = g + b. Is h a multiple of 12?
False
Let u(t) = 6*t**3 + t. Is u(1) a multiple of 7?
True
Let a = 248 + -147. Is 12 a factor of a?
False
Suppose -6 = i + 5*d - 21, 0 = -i - 3*d + 13. Is 3 a factor of i?
False
Suppose 4*c = -p + 2, -4*p + 15 = 5*c - 37. Let i = p + -9. Is 4 a factor of 3/(-1*i)*-21?
False
Is -2 + (-2662)/(-12) + 5/30 a multiple of 10?
True
Let j be -3*(-3 + 2)*-6. Let k = 15 - j. Is k a multiple of 24?
False
Let k = 17 + 24. Let j = k + -29. Does 3 divide j?
True
Let f(p) = -p**3 + 16*p**2 - 27*p + 21. Is 7 a factor of f(14)?
True
Let a(f) = f**2 - 5*f - 8. Suppose 0 = -m + 2*c - 3, 3*m + 0*c = -3*c + 36. Let q be a(m). Let x = 10 - q. Is 3 a factor of x?
False
Let f(a) = a**2 - 4*a + 10. Let g be f(8). Let s = 74 - g. Is s a multiple of 16?
True
Suppose -4*u + 13*u - 828 = 0. Does 23 divide u?
True
Let s = -83 + 35. Let r = s - -80. Does 16 divide r?
True
Suppose 0 = 3*i - 4*i + 235. Suppose -4*x = x - i. Does 17 divide x?
False
Let y(r) = -7*r**2. Let s be y(1). Let d be (-3)/9 + s/(-3). Suppose 2*a = -d*a + 248. Does 21 divide a?
False
Suppose -4*g + 14 = 2*i, i + 0*i - 2*g - 3 = 0. Does 2 divide i?
False
Suppose -4*u - 3*w + 23 = 0, w = 2*u + 3*u - 24. Suppose -2*j - u*d 