Suppose 5*g - 8 = -2*z + 35, z = -i*g + 23. Is z a multiple of 7?
True
Let z(q) = q + 19. Is z(-7) a multiple of 12?
True
Let j = -111 + 166. Is j a multiple of 9?
False
Suppose -2*r - p = r - 2, 0 = -3*r + 5*p + 26. Suppose 2*g + 2*y = 18, -3*g - g + 26 = r*y. Suppose -g*v + 2*v = -8. Is 3 a factor of v?
False
Let r = -5 + 8. Suppose -r*k + 2*k = -18. Is 6 a factor of k?
True
Let l(i) = i**3 + i**2 + 3*i - 1. Does 17 divide l(2)?
True
Suppose v + 2*v = 9. Suppose -2*s + 9 = q, v*s + q + 4 = 3*q. Let m(w) = 5*w**2 - w + 2. Is m(s) a multiple of 10?
True
Suppose 3*w = 4*r + 4 - 14, -16 = -4*r. Suppose 0 = 2*g + 3*g + 2*s - 61, 0 = -5*g + w*s + 49. Does 6 divide g?
False
Let n be 1640/(-24) + 2/6. Let a = n + 106. Is a a multiple of 19?
True
Let l be (1 - -7) + (-2 - -1). Suppose 0 = -q - 1 + l. Suppose q*g - 28 = 2*g. Is 2 a factor of g?
False
Is 3 a factor of (2/5)/(7/105)?
True
Suppose -3*y + 11 = -j + 2*j, 2*y = 3*j + 11. Suppose -y*u = -30 - 26. Is u a multiple of 8?
False
Suppose 4784 = 18*x + 104. Is x a multiple of 18?
False
Let g(p) be the first derivative of p**4/6 - p**2/2 + 2. Let l(n) be the second derivative of g(n). Is l(3) a multiple of 5?
False
Suppose 4*r - 30 - 126 = 0. Suppose -4*d + 2*t + r = -49, 4*d = -4*t + 76. Does 9 divide d?
False
Let d = -2 - -26. Is 10 a factor of d?
False
Let j(c) = c**2 - 2*c - 1. Let n be j(3). Suppose -n*i - 50 = -4*i. Is i a multiple of 8?
False
Let m be (1 - -28) + (-9)/(-3). Suppose 8*i - 3*i = 3*q + 136, -i = -3*q - m. Is i a multiple of 13?
True
Suppose 0 = 5*g - z - 52, -3*g + 2*g + z = -8. Does 11 divide g?
True
Suppose -3*m + 420 = -6*m. Let b = 204 + m. Is 13 a factor of b?
False
Suppose 5*s - 401 = -4*b - 85, 3*b - 264 = 3*s. Does 28 divide b?
True
Suppose 4*u + 0*u - 16 = 0, -p = 4*u - 45. Let o = p + -20. Is 4 a factor of o?
False
Suppose 0 = u - 4*j - 137, 575 = 6*u - u + 2*j. Is u a multiple of 13?
True
Suppose -h = -n, -3*h - 5*n - 12 = -44. Suppose 6*k - 2*k = h*c + 72, -3*k = 2*c - 44. Is k a multiple of 16?
True
Suppose -444 - 24 = -12*p. Is p a multiple of 10?
False
Let m(w) = -w + 1. Let n be m(-7). Suppose -2*j - y = -65, j + y - n = 25. Suppose -3*i + 0*x - 2*x + 62 = 0, -x = -2*i + j. Does 18 divide i?
True
Let d be 0 + (0 - -1) - -33. Let m(l) = l - 4. Let y be m(0). Let i = d + y. Is i a multiple of 15?
True
Let f(y) = -4*y**3 + y**2 - y - 1. Let g be f(-1). Suppose 0 = 2*z - 4*d - 1 - g, z + d - 6 = 0. Let t(u) = 2*u + 1. Is t(z) a multiple of 11?
True
Let w = 18 + -11. Does 3 divide w?
False
Let p = 260 - 2. Does 18 divide p?
False
Suppose 3*b + 2*l = 2*b + 25, -5*l = -4*b + 100. Is 9 a factor of b?
False
Let m = 26 + -22. Suppose 2*w - i + 23 = m*w, 5*i + 28 = w. Does 13 divide w?
True
Let n = -51 + 85. Suppose -4*x = -n + 6. Is x a multiple of 7?
True
Suppose -9*h + 460 = -4*h. Does 23 divide h?
True
Let d be 15/(-6)*(-14)/5. Let s(c) = -c**3 + 9*c**2 - 6*c + 2. Is 15 a factor of s(d)?
False
Let p = -10 + 10. Suppose 21 = -p*o + o. Is 11 a factor of o?
False
Let j = 420 - 288. Is j a multiple of 33?
True
Let y = -251 - -359. Is y a multiple of 23?
False
Let t be 6/(-21) + (-88)/(-14). Let x(y) = -y**3 + 3*y**2 + y - 3. Let g be x(2). Suppose t*l - 72 = g*l. Is 12 a factor of l?
True
Suppose -2*g + 4*j = -g - 155, 0 = -4*g + 4*j + 656. Let d = g - 117. Is 21 a factor of d?
False
Let z be (-22)/(2 + -3 - 1). Suppose z = j - 7. Does 14 divide j?
False
Let r(v) = v**2 + v - 4. Let b be r(-4). Let j = b + 8. Does 16 divide j?
True
Let o = 3 + 2. Does 21 divide 2/o - 624/(-15)?
True
Let s = 5 - 2. Suppose 0 = -0*x - 5*x + 15. Suppose -s*b = b - x*v - 45, 2*v = 3*b - 35. Does 6 divide b?
False
Let h be (-4)/18 - 938/(-9). Suppose -2*q = -374 + h. Let g = q + -82. Does 18 divide g?
False
Does 20 divide (280/6)/(4/24)?
True
Does 13 divide (1 + 51)/(1 - 0)?
True
Is 15 a factor of (-3)/(-8) + 6195/56 + -6?
True
Let t be (-2)/(-4)*12/(2*-1). Let k(b) = 3*b**3 + 2*b**2 + 2*b + 1. Let g(f) = 13*f**3 + 9*f**2 + 9*f + 3. Let m(p) = 2*g(p) - 9*k(p). Is 9 a factor of m(t)?
False
Suppose -b - 30 = -13. Let l = b + 60. Suppose -16 = o - l. Is o a multiple of 11?
False
Is 33 a factor of (1 + (-1814)/(-4))*(-76)/(-114)?
False
Let c = 9 - 14. Is ((-37)/(-5))/((-1)/c) a multiple of 13?
False
Suppose 5*x + 5*v + 10 = 0, 0 = -3*x - 4*v + 3 - 9. Does 18 divide x*(-2)/(-8)*-42?
False
Let v be -1 - (12/(-4) + -2). Is 18 a factor of 3/9*408/v?
False
Let k be ((-2)/1)/(4/(-8)). Suppose -10 = -k*g + 6. Suppose -j - 4*j = 4*z - 43, 0 = g*j + 20. Does 9 divide z?
False
Suppose -2 = -q + 3*v - 4, -14 = q + 3*v. Let p = q - -22. Does 6 divide p?
False
Let g be 18/(-27)*(-15)/2. Suppose 0 = 2*v - g*c + 21 - 104, -5*v + 3*c + 255 = 0. Is v a multiple of 14?
False
Let a(n) = 2*n**2 - 3*n - 5. Is 16 a factor of a(15)?
True
Let z = 538 + -160. Is z a multiple of 63?
True
Suppose -3*b + 114 = 2*j, -2*b + 77 = -0*b + j. Is b a multiple of 21?
False
Suppose o - 35 = 104. Is 41 a factor of o?
False
Let x = -54 - -81. Suppose 0 = -l + 235 - x. Suppose -u - 4*q + 201 = 4*u, -l = -5*u + 3*q. Is u a multiple of 15?
False
Let z be (-1)/(((-3)/15)/1). Suppose -k + z*h + 31 + 31 = 0, 2*h = -10. Does 8 divide k?
False
Let t be (0 + -1)/((-2)/6). Let n(s) = 2*s - 11. Let v be n(9). Let d = t + v. Does 10 divide d?
True
Suppose 4*f + x = 116, -5*f - 4*x = -0*f - 134. Does 10 divide f?
True
Suppose -2*t = -2*b - 16, -6*b + b = 5*t + 30. Let q(f) = -f**2 - 5*f - 3. Let r be q(b). Let h = -1 - r. Is 6 a factor of h?
False
Let k(n) = -n - 4. Let r be k(0). Let y be ((-3)/r)/((-5)/(-40)). Let u = y + -3. Is 2 a factor of u?
False
Let o = 8 - 5. Suppose 0 = -g - 5*j + 11, g - o*j + 4 = 7. Let x(n) = n**3 - 5*n**2 - 4*n + 5. Does 17 divide x(g)?
True
Let b = -4 - -5. Let w be 15 - (1 + 0 + b). Let x = 26 - w. Is 13 a factor of x?
True
Suppose 5*k - 3*k = 6. Suppose 4*d - k*d - 6 = 2*m, -d - 2 = 0. Is (-66)/(-4) - (-2)/m a multiple of 8?
True
Let h be ((-3)/(-6))/(1/(-6)). Let z be 0/(-2*h/(-6)). Suppose 5*s + z*s = 70. Is s a multiple of 12?
False
Let u be ((-15)/(-10))/(2/12). Suppose 1 = t - u. Is t a multiple of 10?
True
Let h be 42/5 - (-4)/(-10). Let p(o) = -6*o**2 - 56*o + 71. Let l(n) = -n**2 - 11*n + 14. Let b(t) = 11*l(t) - 2*p(t). Is b(h) a multiple of 4?
True
Let w be ((-5)/2)/5*18. Is (1 + -5 + 2)*w a multiple of 13?
False
Suppose 3*b = -5 + 47. Does 7 divide b?
True
Let q(i) = 2*i**3 - 5*i**2 - 4*i + 1. Let b(k) = k**3 + k. Let t(x) = -3*b(x) + q(x). Does 18 divide t(-5)?
True
Suppose 0*h + 2 = h. Suppose 0 = -5*v - 0*v - 20, h*v = 4*c - 168. Is c a multiple of 20?
True
Suppose -a + 50 + 7 = 0. Is a a multiple of 19?
True
Let o be (-2)/7 + (-240)/(-7). Suppose 4*a - o + 2 = 0. Suppose -4*b = t + 2*t - 23, -b + a = t. Does 5 divide t?
False
Let u(x) = -6*x**2 + 3*x + x**3 - 5*x + 15*x**2 + 6 - 2*x. Does 21 divide u(-9)?
True
Suppose -4*k = -g - 274, 5*k - 203 = 3*g + 143. Is 14 a factor of k?
False
Suppose -4*x = -3*x - 4*c + 10, 0 = -3*x - 5*c - 13. Let k(i) be the third derivative of -i**5/60 - 3*i**4/8 - i**3/2 + 4*i**2. Is 6 a factor of k(x)?
False
Let l = -20 + 42. Suppose 3*x - 68 = l. Does 15 divide x?
True
Is (2/(-4))/(3/(-1296)) a multiple of 12?
True
Suppose -4*i - 2*v + 220 = 0, 3*i + 2*v = 3*v + 170. Is i a multiple of 13?
False
Let m(k) = 2*k**2 - 11*k + 16. Is 3 a factor of m(6)?
False
Let d = -4 + -1. Let a be (1 - -1) + 1 + d. Is a/10 - 48/(-15) a multiple of 3?
True
Suppose 2*i - 1 = 1. Let s = i - 5. Is 1/2 + (-242)/s a multiple of 24?
False
Suppose 5*v - 195 = -15. Is v a multiple of 6?
True
Let j be 1/(-4) + 114/8. Let f = j - -10. Is f a multiple of 15?
False
Let w = -10 - -3. Let l(g) = -g**2 - 3*g - 6. Let p be l(w). Let f = p + 56. Is 21 a factor of f?
False
Let m be 17*(1 - 0) - 1. Let h(l) = l**2 + 7*l + 8. Let r be h(-7). Suppose -3*u = -r - m. Is u a multiple of 6?
False
Suppose 4*v - 4*l - 4 = 6*v, 2*l = 4*v + 18. Let r = -2 - v. Suppose 6*y = y + r*n + 71, 3 = -n. Is y a multiple of 9?
False
Suppose -92 = -4*q - 2*n, 0 = 3*q - n - 48 - 26. Is 15 a factor of q?
False
Suppose 0 = 4*m - 0*m. Suppose m = r - 5*r + 76. Is 19 a factor of r?
True
Let o(v) = -v**3 + 5*v**2 + 5. Let y be 38/8 - (-3)/12. Suppose -2 = -2*g - 4*k, 23 = y*g + k - 0*k. Is 5 a factor of o(g)?
True
Suppose 0 = -0*z