e
Suppose -5*s = -5*j - 1695, -2*s - 2*j + 679 = -3*j. Is s a multiple of 20?
True
Suppose 10*m - 5*m - 15 = 0. Suppose 4*f - 3*z = 7, 0*z = -f - m*z + 13. Suppose 3*y + f = 5*y. Is y a multiple of 2?
True
Let x be 1/(-1*(-1)/3). Suppose -x*c = r + 2*c + 7, -5*r = -4*c - 23. Suppose 29 + 28 = r*i - 5*v, 4*v = -5*i + 95. Is i a multiple of 8?
False
Let l(k) = k**2 - 14*k + 308. Is l(56) a multiple of 133?
True
Suppose n - g = -4*n + 45, -3*n - g + 19 = 0. Let k = n - 8. Suppose 4*s + 5*j - 250 = k, -6*s + 3*s = 3*j - 186. Is s a multiple of 18?
False
Let a(r) = r**3 + 4*r**2 - 2*r - 5. Let i be a(-4). Suppose i*h = 3*f + 4*h - 814, 4*h + 20 = 0. Is f a multiple of 21?
True
Let l = 38 + 329. Does 26 divide l?
False
Let c(f) = f**3 + 18*f**2 + 37*f + 23. Is 20 a factor of c(-9)?
False
Let t(m) be the second derivative of 1/20*m**5 - 10/3*m**3 - 12*m + 0 - 2*m**2 + 1/4*m**4. Does 5 divide t(-6)?
False
Suppose -4*b + 16 = -r, r - 3*b = -0*r - 11. Suppose -5*g + q - 2*q + 246 = 0, -r*g + 196 = q. Suppose -6*t + 184 = -g. Is t a multiple of 13?
True
Suppose 4*g + 133 = 1529. Suppose -8*s + r - 182 = -9*s, 2*s - r - g = 0. Is s a multiple of 40?
False
Let x be -2*(3 + 44/8). Let q = x - -31. Does 3 divide q?
False
Let x(w) = 6*w**3 - 7*w**2 + 5*w + 14. Is x(7) a multiple of 28?
True
Let c = 13 - 6. Let l = -55 + 55. Suppose 2*h - 5 - c = l. Is h even?
True
Let q = 234 + -74. Is 18 a factor of ((q/(-12))/(-2))/((-4)/(-150))?
False
Let w = 481 - 162. Let y = -167 + w. Does 38 divide y?
True
Suppose 40*p = 54*p - 8344. Is 34 a factor of p?
False
Is 22 - 2 - -2 - 5 even?
False
Let q be 4760/77 + 2/11. Suppose -v - q = -k + 83, 0 = -k - 2*v + 142. Suppose 0 = -0*f - 4*f + k. Is 18 a factor of f?
True
Let y = -132 + 228. Does 9 divide y?
False
Suppose w = 2*w + 4*w. Suppose f + 33 = 3*g + 105, w = -2*g + 4. Does 13 divide f?
True
Suppose 937 = 4*h - 571. Does 41 divide h?
False
Let k(h) = -h. Let s(t) = -6*t - 21. Let q(y) = -4*k(y) + s(y). Is 6 a factor of q(-16)?
False
Let q(w) = 2*w**3 + 22*w**2 + 33*w + 18. Let g(r) = -r**3 - 11*r**2 - 16*r - 9. Let x(h) = -5*g(h) - 2*q(h). Is x(-9) a multiple of 3?
True
Let v(w) = -w**2 + w. Let m(b) = -4*b**2 + 5*b + 2. Let r(h) = m(h) - 6*v(h). Let f be r(-2). Is (f/5)/((-6)/(-30)) a multiple of 9?
False
Let f(t) be the third derivative of -t**4/24 + 95*t**3/6 - 10*t**2. Is 19 a factor of f(0)?
True
Let q(d) be the second derivative of -d**5/20 + 5*d**4/2 - 13*d**3/3 - 28*d**2 - 34*d. Does 24 divide q(29)?
False
Is (-41)/((9/(-102))/(3/2)) a multiple of 62?
False
Suppose i - 1245 = 5*v - 0*i, -4*v = -i + 997. Is 31 a factor of v*10/(-8)*(-2)/(-5)?
True
Let i = 10 - 10. Let p = 6 + -6. Suppose i = -p*o - 2*o + 84. Is o a multiple of 14?
True
Let g(h) = -h**3 + 9*h**2 + 8. Suppose t = 5*c + 21, 0 = 4*t + 3*c - 0*c - 38. Suppose 10 = 3*d - t. Does 29 divide g(d)?
False
Let j = 45 - 39. Suppose j*a = a + 150. Does 15 divide a?
True
Let f(g) = g + 4. Let u be f(9). Let t = 14 + u. Is 19 a factor of t?
False
Let v = -841 - -1322. Is 29 a factor of v?
False
Let y be (-28)/(-6) + (-2)/3. Suppose 3*b - 156 = i + 2*i, 2*i + 206 = y*b. Does 17 divide b?
True
Let w(d) = -d**2 - 15*d + 19. Let n be ((-14)/8)/((-1)/4). Let g = -19 + n. Is w(g) a multiple of 11?
True
Let m(x) = -2*x**3 - 2*x**2 - x. Let j be m(-1). Let o = -13 + j. Let s = o - -40. Does 14 divide s?
True
Suppose -97*g + 228 = -94*g. Does 41 divide g?
False
Let v(n) be the first derivative of -16*n**3/3 - n**2 - 2*n + 1. Let l be v(-1). Let s(c) = -7*c - 11. Is 36 a factor of s(l)?
False
Let c = -7 + 12. Suppose 0*w = 3*w + a + 42, w + c*a = 0. Let i = w - -37. Does 22 divide i?
True
Let n be (-8)/5*30/4. Let r be (-2)/(n/5 - -2). Suppose 3*t - f = 18 + 21, -71 = -4*t - r*f. Is 14 a factor of t?
True
Is (-56 - -64) + (-1464)/(-2) a multiple of 23?
False
Let b(t) = 7*t**2 + t. Let d be b(2). Suppose s = 3*s + 3*c + d, -2*s = -5*c + 46. Let r = s + 53. Is 13 a factor of r?
False
Let r be (-11)/(-2) + (-5)/10. Suppose -4*s = 2*m - 586 + 160, 0 = r*s + m - 540. Does 18 divide s?
False
Suppose 5*w + 5*z - 17 = 3, 0 = -2*w - 4*z + 16. Suppose w = 3*j - 12, 5*p + 0*j - 12 = -3*j. Suppose p = 3*f - 0*f - 45. Is 15 a factor of f?
True
Let c = 85 - 39. Is 4 a factor of c?
False
Let x(y) = -y + 8*y - y**3 - 10*y**2 + 18 + 11*y. Is x(-12) a multiple of 30?
True
Let p(k) = 4*k**2 + 12*k - 20. Is 12 a factor of p(-11)?
False
Let v(n) = n - 6. Let i be v(11). Suppose -y + i = 5*x - 388, -4*y = 5*x - 402. Does 13 divide x?
True
Let k(y) = -4*y**2 - y + 110. Is k(0) a multiple of 16?
False
Suppose 0 = -u, -3*b = -2*u - 3*u. Suppose -5*y - 19 + 119 = b. Is y a multiple of 3?
False
Let t(m) = 3*m**2 + 5*m - 82. Is 18 a factor of t(7)?
False
Let p(o) = o**3 + o**2 - 5*o + 31. Is p(7) a multiple of 97?
True
Let a(t) = -16*t + 43. Let h be a(21). Let k = -172 - h. Is 11 a factor of k?
True
Let g(x) = 73*x - 1. Let z be g(-4). Let r = -173 - z. Is 8 a factor of r?
True
Suppose -22*y = -2026 - 14936. Is y a multiple of 3?
True
Suppose 2*j = -2*x, j = -5 + 2. Suppose 2*h - 3 = x*h. Let d(u) = 2*u**2 + u - 1. Is d(h) a multiple of 10?
False
Let x = 85 + -123. Let n = x - -42. Suppose -3 = 3*f, -r + 33 = n*f - 9*f. Is 4 a factor of r?
True
Is 113/(-2)*-1 + 2/4 a multiple of 19?
True
Let j be ((-10)/(-3) - -1)*-3. Let r = 16 + j. Suppose -v = h - 64, -r*v - 5*h + 184 = -18. Is v a multiple of 18?
False
Let l = -1 - -4. Suppose -2*h + 4*h - 142 = -2*t, -5*h = -l*t - 315. Is h/((-2)/(16/(-12))) a multiple of 11?
True
Let p(o) = -o**2 - 8*o - 1. Let w(y) = -4*y + 4. Let r(a) = 7*a - 7. Let c(i) = 3*r(i) + 5*w(i). Let j be c(-5). Is 4 a factor of p(j)?
False
Suppose 2*o + 3*f = o + 2, 3*o = f - 24. Let l = 19 + o. Is l a multiple of 5?
False
Suppose -4*p + 1554 + 358 = 0. Is 86 a factor of p?
False
Suppose d - 10*d + 45 = 0. Suppose -l + 14 = -2*a, -4*a = 4*l - d*a - 56. Does 2 divide l?
True
Suppose -3*t - 1707 = -3*m, m - 2266 = -3*m - t. Is m a multiple of 27?
True
Let p(x) = -x**3 - 14*x**2 + 13*x - 15. Let u(d) = -d**2 + 5*d - 9. Let c be u(6). Is 4 a factor of p(c)?
False
Suppose k + 3*n = 12, 12 = -k + n + 4. Let s(t) = -t - t**3 - 4*t**3 - 4*t**2 + 2*t**3 + 4. Does 14 divide s(k)?
False
Does 17 divide (-3 + 2)*-2623 - (-95)/(-19)?
True
Let h(u) = 4 + 2*u**2 + 2*u + 0*u + u + 2*u**2. Is 23 a factor of h(4)?
False
Let g = 10 + 6. Let j(w) = 4*w**3 + 80*w**2 - 2*w - 37. Let i be j(-20). Suppose g = i*m - 17. Does 11 divide m?
True
Let q(a) = 2 + 4 - 2 - 3 + 7*a**2. Let v be q(1). Suppose 0 = -u + 34 + v. Is u a multiple of 10?
False
Let d(r) = -r. Let z(s) = 26*s + 2. Let l(p) = 5*d(p) + z(p). Does 3 divide l(1)?
False
Let w(g) = -3 - 4 + 9*g + 11. Does 4 divide w(2)?
False
Suppose -2410 = -11*n - 606. Suppose 4*x - 3*t - 157 = 166, -4*t = -2*x + n. Does 20 divide x?
True
Let n(y) be the third derivative of y**4/8 - 2*y**3/3 + y**2. Let d = 210 - 202. Is 20 a factor of n(d)?
True
Suppose -v + 3*i + 4 = 24, 0 = 5*v + 4*i + 176. Let k = v + 52. Is k a multiple of 10?
True
Let z(p) = p**3 + 8*p**2 - 2*p - 8. Let v be z(-8). Let a = 19 + v. Is a a multiple of 27?
True
Let x(p) = 2*p - 7. Let z be x(-7). Let u = -15 - z. Suppose 0 = u*n - n - 140. Is n a multiple of 14?
True
Suppose 5*a - 3*h = 142, -5*a + 37 = 3*h - 81. Does 15 divide (-4 - -6) + 2 + a?
True
Let x = -11 - 9. Is 76/(-10)*x/8 a multiple of 18?
False
Let j = 24 - 19. Suppose j*n + 0*n = 2*b - 138, 0 = -2*b + 2*n + 150. Does 5 divide b?
False
Suppose 0 - 3 = -z. Let v be (-6)/(-21) + (-7176)/(-21). Suppose z*o + 2*w = 6*o - 268, -v = -4*o - 5*w. Is 22 a factor of o?
True
Let u = -39 + 139. Is u a multiple of 20?
True
Let c = -158 - -101. Let h = c + 192. Is h a multiple of 27?
True
Let h(w) = 118*w**2 + 46*w + 21. Is 115 a factor of h(-4)?
True
Suppose -16218 = -7*w - 4962. Does 10 divide w?
False
Suppose -3*z = -3*f + 5574, 0*f + 2*z = 3*f - 5576. Suppose 5*o = -5*o + f. Is 31 a factor of o?
True
Let q(z) = z**2 - z + 36. Let j(o) = -o - 7. Let f be (7/(-21))/((-1)/(-21)). Let p be j(f). Does 12 divide q(p)?
True
Let q(g) = 17*g - 29. Is 11 a factor of q(14)?
True
Let r(z) = 3*z**2 + 2*z - 5. Let q = -8 - -11. Suppose -2*b - q = 3. Does 3 divide r(b)?
False
Suppose -s - 4 = -4*j + 2, -4*s = -j - 51. Suppose -2*c - 2*m + 0*m = -