r of u?
True
Let l be 3/(-15) - (-26)/5. Let h = l + 58. Is 14 a factor of ((-16)/(-6))/(6/h)?
True
Let f be (3 - (2 - 0)) + 4. Suppose 0 = -f*q + 2*n + 18, 2*q = -2*q - 3*n + 19. Suppose 2*v + 4*m + 6 = 0, q*v - m - 32 = 2*m. Is v a multiple of 2?
False
Suppose 3*w - 4*w = -2. Does 2 divide w?
True
Let l(o) = -o**3 + 5*o**2 - 7*o + 5. Let r be l(5). Let s = r - -54. Is 24 a factor of s?
True
Suppose 2*q - 2*n = 5*q - 79, 5*n = -q + 35. Does 5 divide q?
True
Let h = -64 - -97. Does 11 divide h?
True
Let u(y) = y**3 + 8*y**2 + 3*y + 8. Does 18 divide u(-7)?
True
Let t = 17 + 37. Is 18 a factor of t?
True
Let h(s) = 3*s**2 + 2*s - 1. Let k be h(1). Suppose 0 = -3*p + 5*v + 32, 0 = -3*p - 6*v + 2*v - k. Is p even?
True
Suppose -5*h - 110 = -7*h. Does 11 divide h?
True
Let k(h) = 4*h**3 + 7*h**2 + 5*h - 7. Let q(m) = 7*m**3 + 13*m**2 + 9*m - 13. Let u(v) = -11*k(v) + 6*q(v). Does 2 divide u(-1)?
False
Let h be (16/6 + -3)*-6. Suppose 5*z + 4*f = -5, 0*z + h*f = 2*z + 2. Is z/2 - (-50)/4 a multiple of 6?
True
Let k be (-578)/(-8) - 5/20. Let j = -34 + k. Suppose -57 = -5*l + j. Does 8 divide l?
False
Suppose 4*c + 400 = 9*c. Does 24 divide c?
False
Is 4 a factor of (12/5)/((-6)/(-20))*2?
True
Suppose 2*u - o + 237 = 0, -2*u = -5*u + 5*o - 345. Suppose l = -15 + 183. Let k = l + u. Does 16 divide k?
True
Suppose -703 = -5*x + f, 149 = x - 3*f + 7*f. Does 47 divide x?
True
Let x(g) be the first derivative of -g**3/3 + 3*g**2 - 1. Is 8 a factor of x(4)?
True
Let p(x) = x + 6. Let s(i) = i**2 + i - 3. Let n be s(0). Let o be p(n). Let m = 6 + o. Does 5 divide m?
False
Let i = 91 - 17. Is i a multiple of 9?
False
Let f = -14 - -23. Suppose -2*t - f + 21 = 0. Does 6 divide t?
True
Is 45 a factor of (-4)/(-20) + 2 + (-229)/(-5)?
False
Suppose -9*j - 30 + 336 = 0. Is j a multiple of 11?
False
Let d = -20 + 20. Suppose d = -4*y + 13 + 7. Is y a multiple of 2?
False
Let l(r) = r**3 - 2*r - 1. Let v be (8/6)/(2/3). Let t be l(v). Suppose t*d - d - 14 = 0. Is d a multiple of 5?
False
Suppose 0 = -5*b, a = 5*b - 2*b - 1. Let q = a - 1. Let l = 26 + q. Does 14 divide l?
False
Let n = -11 - -14. Let t(x) = -x**3 - 3*x**2 - x + 4. Let s be t(-3). Suppose 4*j = 4*u - 156, u - n*j - 36 - s = 0. Does 16 divide u?
False
Let y be (-5 + 5)/(1 - 0). Suppose y*w = w - 1. Let k(c) = 8*c**3 - c**2 + c. Is 4 a factor of k(w)?
True
Let k = 8 - 5. Suppose k*h = -2*h - 105. Let j = h - -40. Is 8 a factor of j?
False
Let i be (-198)/(-45) + (-2)/5. Suppose 0 = -i*y + 16, -w + 3*y + 220 = 3*w. Does 29 divide w?
True
Suppose -9 = -3*f - 3. Suppose 3*q = 2*y - 113, -y - 234 = -5*y - f*q. Is 23 a factor of y?
False
Suppose -2*o = -2*n - 4, -4*o + 20 = 4*n - o. Suppose -3*x + 15 = n*x. Suppose 30 = x*b + 3. Is b a multiple of 9?
True
Suppose -2*c + 3 = -5. Suppose 64 = c*n - v, -n + v - 3 = -19. Is n a multiple of 16?
True
Suppose -6*h = -4*h - 30. Is h a multiple of 15?
True
Let t = 0 - -1. Let l = 1 - t. Suppose 0*g - 3*g + 78 = l. Is g a multiple of 13?
True
Let m(n) = -1. Let b(t) = 2*t - 3. Let c(a) = -b(a) - m(a). Let j be c(7). Let r = -6 - j. Does 4 divide r?
True
Let m = -16 - -161. Is m a multiple of 29?
True
Let v(g) = -6*g**3 - g**2 - 4*g - 2. Is v(-1) even?
False
Let m(q) = -q**2 + 3*q + 2. Let d be m(3). Suppose -3*c - d*c = -110. Is c a multiple of 11?
True
Let x = -3 - -17. Let c be 9/(-15)*(-1 + 6). Let i = c + x. Is 11 a factor of i?
True
Let x = 74 - -15. Is x a multiple of 21?
False
Let w be (1 - (-6)/(-4))*-10. Let x(j) = -j**2 - 6*j + 3. Let v be x(-6). Suppose w*o - 39 = -2*y, y - 21 = o - v*o. Is y a multiple of 10?
False
Let s be ((-18)/(-10))/(-3)*5. Does 10 divide (-429)/(-12) - s/12?
False
Let m be 0/(3 + -5) + 1. Is 19 a factor of (-41 - m)/((-17)/17)?
False
Suppose -a = -4*a + 78. Suppose -2*y = -4*r + r - a, -2*r = 5*y - 65. Is 9 a factor of y?
False
Let p = -1 - -1. Let o(l) = -l**2 + l + 24. Is 14 a factor of o(p)?
False
Suppose 4*p - 25 = 55. Let j = -12 + p. Does 4 divide j?
True
Let w be (12 - 5) + -2 + -1. Suppose m = -w*y + 22, 2*y - 10 - 10 = 4*m. Does 4 divide y?
False
Let n = 68 - 19. Is n a multiple of 4?
False
Suppose j = -2*x + 78, -j = -0*x - x + 33. Is 37 a factor of x?
True
Let v be (-267)/2*(-32)/24. Suppose 4*y - v = 126. Is 19 a factor of y?
True
Suppose -f = -5*a - 43, 0*a + 3*a = 3*f - 81. Let i = -11 + f. Is i a multiple of 6?
True
Let b(z) = -7*z - 1. Let o be b(-1). Let p = 64 - 37. Suppose -3*a + 3*i + p = 0, -a + 5*i = i + o. Is a a multiple of 14?
True
Let r(w) = -3*w + 2*w**2 + 0 - 4 - 3*w**2 - 1. Let j be r(-6). Let q = 28 - j. Is 17 a factor of q?
True
Suppose -3*r - 2*k = 5 + 7, -5*k = -5*r + 5. Is r/3*(-105)/2 a multiple of 16?
False
Let o(g) = -8*g - 12 - g**2 + 3*g**2 - 4*g. Is 21 a factor of o(9)?
True
Let d = 38 - 27. Is d a multiple of 10?
False
Suppose 5*t - 117 + 4 = -2*z, z = 3*t + 29. Is z a multiple of 11?
True
Suppose 8 = 4*z - 2*z. Suppose z*k - 192 = -5*v, k + 0*k + 82 = 2*v. Does 20 divide v?
True
Suppose 4*y + 2*h = -3*h + 26, -3*y = -2*h - 8. Let w be (-1526)/(-77) + y/22. Suppose b = w - 4. Is b a multiple of 8?
True
Suppose -3*h + 4*g + 14 = 0, -g - 16 = -2*h - 5*g. Suppose -3*j - 2*m = -h*j + 21, 2*j + 5*m - 14 = 0. Is j a multiple of 5?
False
Suppose 2*h - 4 = h. Suppose -76 = -h*s + 20. Does 12 divide s?
True
Is 36 a factor of 327 + -2*(-18)/(-12)?
True
Suppose -q = 2*q. Suppose -u = -q*u - 61. Is 17 a factor of u?
False
Let w(a) = -13*a - 27. Let k(u) = 7*u + 14. Let m(n) = -11*k(n) - 6*w(n). Let l be m(-7). Suppose 35 = 3*r - l. Does 5 divide r?
False
Let q = -5 + 9. Suppose n + 2*l + 0*l - 5 = 0, q*n - 5*l - 72 = 0. Is n a multiple of 6?
False
Let y be 1/5 - 36/(-20). Suppose -1 + 213 = y*h. Is 6 a factor of h/9 + (-2)/(-9)?
True
Let f be 2/(-11) + (-360)/(-44). Suppose -f = -2*q + 2. Let k = 10 - q. Is k a multiple of 2?
False
Suppose -2*k + 5 = 13. Let v be 102/12 + 2/k. Is 6/v*(45 + -1) a multiple of 11?
True
Let i(s) = -s**2 - 10*s - 9. Let k(r) = 5*r**2 + 50*r + 46. Let a(y) = 11*i(y) + 2*k(y). Is 17 a factor of a(-6)?
True
Suppose 7 - 3 = g. Let d be (-10)/6 - g/(-6). Is (1/d)/((-2)/22) a multiple of 6?
False
Let f be (-3)/(-1) + 2 + 7. Suppose n - 1 = f. Is n a multiple of 11?
False
Let q = -69 - -83. Does 14 divide q?
True
Let o(n) = 11*n + 5. Let v(g) = -g + 1. Let r be v(-3). Is o(r) a multiple of 22?
False
Let t(a) = -3 + a**3 - 2*a**2 - a**2 - 2*a**2 + 0*a**3. Let y be t(5). Does 14 divide (y + 50)*2/2?
False
Let l(i) = -i + 2. Let o be l(7). Is 8 a factor of -2*(3 + o + -2)?
True
Suppose 2*t = -2*k - 161 + 49, k = -2. Let x = -23 - t. Let w = 47 - x. Is 6 a factor of w?
False
Let m(h) = -h - 12. Let b be m(-11). Does 3 divide 1/((-8)/(-7) + b)?
False
Let v(z) = -z**2 - 5*z - 2. Let x be v(-5). Is 4 a factor of (x/(-6))/((-7)/(-357))?
False
Let s = 19 - 14. Let j = s + 45. Is 25 a factor of j?
True
Is 10 a factor of 40/(2/(-4)*-2)?
True
Suppose -2*o = 5*h - 120, -2*h - 5*o + 96 = 2*h. Let n = -5 - -6. Suppose p = -n + h. Is p a multiple of 13?
False
Suppose 105 = 3*c + 5*m - 31, 89 = 2*c + 3*m. Is 13 a factor of c?
False
Suppose 4*k = 3*k - 2. Let d = -3 - k. Is (1 - d)*5/2 a multiple of 5?
True
Let s(b) = 3*b - 9. Suppose -r + 3*z = 2*r - 33, -5*z = r + 13. Is 10 a factor of s(r)?
False
Suppose 3*j - 2*p - 155 = 3*p, j - 4*p = 47. Does 11 divide j?
True
Let h(s) be the second derivative of 3*s**3 + s**2/2 + 2*s. Is h(1) a multiple of 5?
False
Suppose -4*b - 16 = 0, 0 = a - b - 4 - 5. Suppose -2*p = -4*o, 9*p - 4*p = -a*o + 15. Is p even?
True
Let r = -1 + -1. Let i(u) = -13*u. Does 9 divide i(r)?
False
Let n(o) = 2*o + 38. Is 3 a factor of n(-16)?
True
Suppose 0 = 6*d - 2*d - 5*j - 7, 4*j = 4*d - 8. Suppose -4*g + 120 = 4*a, 4*a + a - 88 = -d*g. Suppose 0 = -4*l + 209 + g. Is l a multiple of 21?
False
Suppose 2*v = 4*q + 32 - 10, 3*q - 5*v - 1 = 0. Let z(a) = -a**3 - 9*a**2 - 5*a - 12. Let r be z(q). Does 3 divide (r/(-10))/((-8)/(-20))?
True
Let t be (48 - 4) + -2 + 1. Suppose -f + t = 5*s + 14, 0 = 5*s - 25. Suppose 5*l + 2*p = 42, l + f*p + 5 - 17 = 0. Is 4 a factor of l?
True
Let w(b) = -b**3 + 9*b**2 - 7*b + 7. Is 5 a factor of w(8)?
True
Suppose 4*s + 130 - 706 = 0. Is s a multiple of 24?
True
Suppose 2*c + 34 = 3*c. Is 6 a factor of c?
False
Does 2 divide (55/10 - 6)*4*-7?
