e 4/(-10) + 52/(-20). Is -4 + 1 + 35 - z a multiple of 15?
False
Suppose -2*k = 5*l - 424, 0 = -5*l - 4*k + 171 + 257. Is l a multiple of 12?
True
Let r(w) = -w**2 + 10*w. Suppose -k = 4*k - 35. Is 10 a factor of r(k)?
False
Is ((100/(-12))/5)/((-4)/612) a multiple of 15?
True
Let h(f) = 2*f**3 - 13*f**2 + 8*f - 9. Is 3 a factor of h(6)?
True
Let o(v) = -v**2 + 7*v - 7. Let c be (-1)/(-4) - 234/(-24). Suppose 15 = 5*n - c. Is o(n) even?
False
Suppose -5*z + 175 = -0*z. Does 12 divide z?
False
Let m(s) = 35*s**3 + s**2 + 3*s - 3. Is m(1) a multiple of 22?
False
Suppose -3*k + 37 = 10. Does 5 divide ((-6)/4)/(k/(-60))?
True
Let s(n) = 2*n**2 + 3*n - 6. Suppose 3*c + 12 = 0, -2*a - 9 = -3*a + c. Let z be 19/a - (-3)/15. Is s(z) a multiple of 17?
False
Suppose 0 = -0*t + 3*t - 36. Is 12 a factor of t?
True
Let d = -3 + 8. Let r be (-1)/(-5) + 14/d. Suppose 6 = -6*a + r*a, 3*o - 30 = 3*a. Is o a multiple of 6?
False
Suppose -5*l + 20 = 5. Let n(b) = -b. Let y be n(2). Does 6 divide 8/l*(-9)/y?
True
Suppose -3*d - 53 = -4*r, r + 5*d = -3*r + 93. Is r a multiple of 10?
False
Suppose 55*h - 56*h = -27. Is 9 a factor of h?
True
Suppose -2*u = k + k, 30 = 4*u - 2*k. Let l(c) = -c**2 + 5*c + 5. Let y be l(u). Let n = y + -2. Is 3 a factor of n?
True
Suppose 0 = j + 3*u - 15, 2*j - 20 + 5 = -3*u. Let a be (-6)/(-1) + (j - -1). Suppose -h + a + 2 = 0. Is h a multiple of 5?
False
Let m(z) = z**2 + z + 8. Let t = 4 - -12. Suppose 0 = -3*k - 8 - 4, -2*l - 4*k = t. Is m(l) a multiple of 4?
True
Suppose f = 2*g + 17 + 28, 3*g + 239 = 5*f. Is f a multiple of 15?
False
Let a = 51 - 19. Is 8 a factor of a?
True
Let r = -53 - -38. Let b = 30 + r. Is 6 a factor of b?
False
Suppose -737 = -5*k - 2*r, -2*k - 2*r = -176 - 114. Is 10 a factor of k?
False
Let s(b) = -b**3 - 4*b**2 - 5*b - 3. Let n be s(-3). Suppose -n*z - 6 = 0, -3*z = 3*l - 7 + 1. Does 2 divide l?
True
Suppose 2*x - 6*x + 272 = 0. Does 24 divide x?
False
Suppose 12*w - 49 = 5*w. Does 2 divide w?
False
Let k(i) = -i**2 + 6*i + 3*i + 0*i - 6 - 2*i. Is 6 a factor of k(4)?
True
Let p(g) = 6*g**3 - g + 1. Let a be p(1). Let s(i) = i**3 - 6*i**2 + 6*i - 2. Is 6 a factor of s(a)?
False
Let n(v) = 16. Let q(h) = 481. Let o(b) = 91*n(b) - 3*q(b). Let t(j) = -j - 13. Let d(x) = 2*o(x) + 3*t(x). Is d(-9) a multiple of 14?
True
Suppose 4*y + 20 = 0, r - 2*r = 3*y + 7. Suppose -l + 2*l - 50 = -2*h, 0 = 4*l + r. Is 15 a factor of h?
False
Is 17 a factor of ((-76)/(-8) + -1)/((-1)/(-22))?
True
Suppose -g - 2*y = -7 - 8, -45 = -5*g - 4*y. Does 5 divide g?
True
Suppose 4*g + 4*l = -l + 55, -l + 29 = 2*g. Is g a multiple of 4?
False
Let n = 10 + -103. Let p be 2 + (6/2 - n). Suppose -4*x + 3*x = 5*w - 190, 0 = -2*w + 4*x + p. Does 13 divide w?
True
Suppose 0 = 5*p - 25, -r + p = -1 - 34. Is 19 a factor of (r - 2) + (1 - 1)?
True
Let p(f) = -f**2 - 8*f - 2. Let z be p(-6). Let j = z - 0. Does 5 divide j?
True
Let n(c) = -c**2 + c - 1. Let p(g) = -7*g**2 + 13*g + 5. Let q(u) = -6*n(u) + p(u). Let k be q(8). Suppose -6 = m - k*m. Is m a multiple of 3?
True
Suppose 0 = f + 4*g + 9 + 10, -f + 2*g = 31. Let r(o) = 29*o - 1. Let l be r(2). Let h = f + l. Is 13 a factor of h?
False
Suppose 0 = 2*z + 10, -w + 27 = -3*w - 3*z. Let a = 11 - w. Let i = 39 - a. Does 12 divide i?
False
Let f = 128 + -45. Is f a multiple of 43?
False
Suppose -2*c - 370 = -7*c. Suppose -2*q = -4*k + 2*k - c, -k = 2. Suppose q = m - 4. Does 18 divide m?
False
Suppose 2*c + 16 = 6*c. Suppose 3*u + 63 = c*x, -2*x + 5*u + 57 = 2*x. Is x a multiple of 9?
True
Let w = -2 - -5. Suppose -4*f + 70 = 5*c, w*c - 23 = -3*f + 22. Is c a multiple of 10?
True
Let v(f) = f**3 + 5*f**2. Let n be v(-5). Suppose -3*t + n = -3. Does 3 divide ((-1)/(-3))/(t/21)?
False
Is 4 a factor of 1/(3/(-39)*-1)?
False
Suppose 2*o - 18 = 5*m + 23, -3*o = -2*m - 34. Does 9 divide 1 - -11 - (7 - o)?
False
Let z be (-2 - (-1 + 0))/1. Is 13 - (z + 2 - 1) a multiple of 5?
False
Let f be ((-4)/(-6))/((-1)/(-6)). Suppose -y + 3*z - 17 = -z, f*y - 2 = 2*z. Suppose -3*w + 3 + y = 0. Is 2 a factor of w?
True
Let k = -65 - -159. Is 24 a factor of k?
False
Suppose 0 = 4*p - 62 - 2. Let w(m) = -33*m**3 - m**2 - 2*m - 2. Let i be w(-1). Let y = i - p. Does 9 divide y?
False
Suppose 0*z = -z + 14. Suppose -z = 2*s - 3*s. Is s a multiple of 14?
True
Suppose -3*f = f - 5*t - 209, f - 3*t = 61. Let x = 68 - 100. Let k = x + f. Does 5 divide k?
False
Let r = 2 - 2. Suppose 0 = -2*v - r*v - x + 30, -2*v + 20 = -4*x. Suppose 0 = -d + 3*d - v. Is 3 a factor of d?
False
Let h be (-2)/(-2*2/4). Suppose 2*n - 43 - 22 = -3*o, h*n - 71 = -o. Does 10 divide n?
False
Let b = -31 - -55. Does 6 divide b?
True
Suppose -23*t + 21*t + 138 = 0. Is 23 a factor of t?
True
Let d = 112 - 76. Does 8 divide d?
False
Does 15 divide 4/(-18) + (-1360)/(-45)?
True
Let s = 128 - 28. Does 20 divide s?
True
Let u(h) = -h**3 - 3*h**2 + 7*h - 1. Suppose 0 = -s - 5*b + 23, -2*b + 20 = 2*s + 2*s. Suppose 0 = 3*d + s + 12. Does 7 divide u(d)?
True
Suppose -3*c + 5*l + 0*l = -61, c = -3*l + 25. Is 11 a factor of c?
True
Let t = 130 + -88. Is 17 a factor of t?
False
Let z = -15 - -21. Suppose -b = -4 + z, -l + b = -96. Is 26 a factor of l?
False
Let s = 135 - 131. Is s a multiple of 2?
True
Let y(m) = -239*m**3 + 2*m**2 + m. Is 10 a factor of y(-1)?
True
Suppose g + g = 666. Let d = g - 232. Suppose 74 = 3*z - 2*s, 0*z + d = 4*z - 5*s. Does 12 divide z?
True
Suppose 5*q + 37 = 4*b, 5*b + 4*q = -6 + 1. Let t(l) = 2*l**2 - 1. Is 16 a factor of t(b)?
False
Let r be 2/6 + 8/3. Suppose r*l - 2*l - 33 = 0. Suppose 3*b + o + o - l = 0, -5*o = -3*b + 12. Is 3 a factor of b?
True
Let a(h) = h**2 - 4*h - 4. Let b be a(-5). Suppose b = 5*j - 2*s, 2*j - s - s = 20. Is 7 a factor of j?
True
Suppose -5*q = -46 - 199. Does 27 divide q?
False
Let o be 4/3*6/4. Let z(u) = 14 + o*u + u - 2*u - 1. Does 13 divide z(0)?
True
Let d = -10 + 10. Suppose d = -4*c + 2*c + 40. Does 7 divide c?
False
Let u(x) = x - 5. Is u(8) even?
False
Suppose 4*n - 575 = -63. Suppose -i = -5*i + n. Is i a multiple of 9?
False
Suppose 16*h = 5*h + 3289. Is h a multiple of 13?
True
Let x(m) = 64*m**2 - 3*m + 3. Is 10 a factor of x(1)?
False
Suppose -185 - 23 = -4*u. Suppose 9 = r + 3*b, 2*r - 3*b - u = 11. Is 6 a factor of r?
True
Let n = 9 - 19. Let c(y) = y**3 + 9*y**2 - 14*y - 10. Is 15 a factor of c(n)?
True
Let f(h) = -h**2 - 2. Let u be f(0). Does 8 divide 1/(-1 - u) + 23?
True
Suppose 3*a = -3*a + 138. Is 6 a factor of a?
False
Let m be (-14)/(-4) - 1/2. Suppose z = -4*z + 2*x + 158, 78 = 3*z + m*x. Let w = z - 17. Is 13 a factor of w?
True
Suppose -3*b = -2*j - 2*b + 73, j - b = 38. Does 7 divide j?
True
Suppose -3*d - 3 = -3*u, 3*d + u - 3*u - 2 = 0. Suppose -r - d*r = -15. Suppose 0 = -r*y + 8 + 28. Does 9 divide y?
False
Suppose -3*v - 167 = 5*q - 592, -4*q = v - 340. Is q a multiple of 17?
True
Let k be (10/(-25))/(1/(-10)). Suppose -23 = -k*w + 97. Is w a multiple of 10?
True
Let x = -13 - -6. Let b = x - -16. Is 9 a factor of b?
True
Let p = -9 - -11. Suppose 4*w - 2*d - 31 = 39, -w + 15 = p*d. Does 11 divide w?
False
Let d(n) = -n + 6. Let a be d(0). Does 14 divide 11/66 + 257/a?
False
Let f = 10 + -4. Let s(p) = -p**3 + 5*p**2 + 5*p + 8. Let g be s(f). Suppose -2*t + 3*m = -21, -3*t - t + g*m + 30 = 0. Is 6 a factor of t?
True
Is 15/(-12)*(-72 - 4) a multiple of 12?
False
Let h(p) = -2*p + 36. Let a be h(16). Let g = -2 + 6. Suppose a*f = 20 + g. Is 4 a factor of f?
False
Is (((-42)/(-5))/3)/(14/35) even?
False
Suppose -5 = -3*y + 10. Suppose -3*h - 17 = y*s, -s = 4*h - 0*h. Let f(g) = -4*g - 6. Does 5 divide f(s)?
True
Suppose -5*a + 167 = z, z + 64 = -0*a + 2*a. Does 18 divide a?
False
Suppose 5*j = -0*j + 30. Suppose -2*y = -j*y + 108. Is 10 a factor of y?
False
Is 24 a factor of 139 - (20/5 - 5)?
False
Let v = 9 + -5. Let f(t) = 0*t**3 + 2*t**3 - 9 - v*t**2 + 3 - t**3. Is f(5) a multiple of 6?
False
Let z = 15 + -32. Let a = z - -35. Does 18 divide a?
True
Let h(y) be the first derivative of -y**2 + 18*y + 3. Is 18 a factor of h(0)?
True
Let o = 4 - 5. Let q(c) = -15*c. Is q(o) a multiple of 15?
True
Suppose 2*j - 2 = -5*l, j = -4*l + 2*j + 12. Let w(b) = 2 + 2 + 1 + 2*b - 3. Is w(l) a multiple of 3?
True
Let g be -2*165/12*-2. Let x = 170 - g. Is 29 a factor