- 54 = -b. Does 17 divide s?
False
Let q = -13 - -20. Suppose 3 = -2*f + q. Suppose -f*i + 11 + 15 = 0. Is i a multiple of 6?
False
Does 2 divide ((-594)/77)/(2*(-6)/896)?
True
Suppose 2*a - 7 = -a + y, -3*y = -5*a + 13. Suppose -a*l = -l + 2, 2*i = 2*l + 118. Is i a multiple of 14?
False
Let s = -94 + 159. Is 5 a factor of s?
True
Let o be (-126)/(-7)*(-1)/2. Let l(p) = p**2 + 10*p + 16. Does 6 divide l(o)?
False
Let u(f) = -f + 116. Does 61 divide u(-6)?
True
Let u(k) = k**3 - 15*k**2 - 9*k - 23. Let m be u(16). Let n = 139 - m. Is 25 a factor of n?
True
Let q(c) = 4*c**3 - 13*c**2 + 9*c - 14. Let y(x) = x**2. Let l(k) = q(k) + 6*y(k). Is l(4) a multiple of 28?
False
Let o(b) = 6 + 9*b**2 + 12*b**2 - 16 + 7*b + 3*b**2. Is 24 a factor of o(3)?
False
Let h(p) = 2*p + 43. Let a be h(-20). Suppose -3*s + 87 = a*i, -s + 0 = -5. Does 18 divide i?
False
Let c(u) = -2*u**3 + 2*u**2 + 8*u + 2. Let a be c(7). Let p be (-12)/36 - a/6. Suppose p = 5*o - 27. Is o a multiple of 23?
True
Suppose 3*q - 21 = -3*o, -o - 2*q = 2*o - 19. Is 19 a factor of (o/10)/((-3)/(-12*123))?
False
Suppose 3*i + 5*h = 9, -2*h = h. Suppose 81 = i*m - 5*g - 30, m - 54 = -4*g. Does 10 divide m?
False
Suppose -42*w - 18 = -44*w. Let g(j) = 2 + 3*j - 2*j + 1. Is 4 a factor of g(w)?
True
Let p(h) = -4*h - 21. Let o(c) = c**3 - 6*c**2 + 5*c - 3. Let x(q) = 2*q**2 - 2*q - 1. Let g be x(-1). Let b be o(g). Is p(b) a multiple of 13?
True
Let z be 4/10 + (-10)/25. Suppose -4*l - 4*w + 32 = 0, 3*w + 0*w - 50 = -5*l. Suppose z = -c + 33 - l. Is c a multiple of 5?
True
Is -1*36*(-7 - -2) a multiple of 5?
True
Suppose 10*w = 3312 + 2508. Is 20 a factor of w?
False
Let w(b) = -b**3 + 36*b**2 - 33*b + 64. Does 5 divide w(35)?
False
Let k be 0*((-3)/3)/1. Suppose -212 = -2*h + 5*w - 11, k = -3*h + 3*w + 279. Is h a multiple of 18?
False
Let n = 3329 - 1374. Suppose -5*q = -5*i + n, 4*q = 24 - 4. Is 61 a factor of i?
False
Is 42771/24 + 6/(-48) a multiple of 33?
True
Let y(x) = -x**3 - 7*x**2 - 6*x - 22. Let h be y(-5). Suppose -f - 54 = f. Let m = f - h. Does 3 divide m?
True
Is 236 - -8 - (2 - (-2 - -3)) a multiple of 9?
True
Let x(n) = n**2 + n - 8. Is x(5) a multiple of 22?
True
Suppose -6*f - 568 = -14*f. Does 12 divide f?
False
Suppose -18*a = -13*a - 25. Suppose 2*c - a = 49. Is 3 a factor of c?
True
Suppose 650 = -25*b + 26*b + 3*v, 0 = 3*b - 2*v - 2005. Is 57 a factor of b?
False
Let y = 54 - -5. Let x = y - -9. Is 17 a factor of x?
True
Let p = 140 + -144. Does 6 divide 1*-10*10/p?
False
Suppose 0 = -22*c + 8443 - 1403. Is c a multiple of 64?
True
Suppose -c - 65 - 127 = 0. Let l = c + 429. Does 25 divide l?
False
Suppose 0*u + 2*t + 38 = 5*u, -5*u - 3*t = -18. Suppose -2*i + x = -235, 0 = -u*i + 2*i - 4*x + 488. Is i a multiple of 7?
True
Suppose -7 = a - 5*x, 2*a + 4*x - 38 = x. Is 13 a factor of (8/(-2) + 7)*a?
True
Suppose -4*q + 3*x + 16 = -2*x, 3*x = 0. Suppose -n - q*n = -3*t - 107, 5*t + 20 = 0. Is 3 a factor of n?
False
Suppose d - 4*o = 152, -o + 304 = 2*d - 4*o. Is 4 a factor of d?
True
Let u be 4/(-6)*(-42)/28. Let y(c) = 51*c + 1. Does 13 divide y(u)?
True
Let f(n) = 48*n**2 - n + 5. Let b(c) = -1. Let t(x) = 4*b(x) + f(x). Let z(g) = g**2 + 7*g + 7. Let v be z(-6). Is t(v) a multiple of 12?
True
Let w(z) = z**3 - z**2 + z + 4. Let u be w(5). Let f = u + -90. Is 18 a factor of f?
False
Let y = 32 - -68. Is 50 a factor of y?
True
Let b(k) = 475*k - 35. Does 64 divide b(1)?
False
Let d(i) = -14*i - 35. Let y be 22*(9/(-6) - -1). Is d(y) a multiple of 7?
True
Is 282080/280 + ((-11)/(-7) - 1) a multiple of 19?
False
Let d(o) = 37*o**2 - 5*o - 7. Does 7 divide d(-1)?
True
Let v(o) = -o**3 + o. Let x(h) = -3*h**3 + h**2 + 4*h - 2. Let a(n) = 2*v(n) - x(n). Let c be a(2). Suppose 0 = -4*z + c*z + 66. Is 12 a factor of z?
False
Let t(o) = -o**3 - 6*o**2 - 8*o + 6. Suppose -x - 18 + 12 = 0. Is t(x) a multiple of 9?
True
Let m = 23 + -1. Let h = 38 - m. Is 16 a factor of h?
True
Does 3 divide 4 + -30*(-2)/4?
False
Let o(r) = r**3 - 11*r**2 - 11. Let v be 174/16 - (-11)/88. Let t be o(v). Let k = t + 21. Is k a multiple of 5?
True
Let f = 3476 - 1791. Is f a multiple of 17?
False
Let d = 98 + -54. Let u be (2 + 1)/(-1)*-1. Suppose -4*q = u*n + d - 247, q - 2*n = 59. Is 15 a factor of q?
False
Let p(k) = 4*k**2 + 12*k + 12. Let y be p(-10). Suppose -h = -2*h + 5*z + 52, -y = -4*h - z. Is h a multiple of 9?
True
Suppose -3*g + 10 = -8. Let b(y) = -4*y - y + 9*y - 3. Is 11 a factor of b(g)?
False
Let o be (42/35)/((-2)/(-10)). Let f(h) = 18*h + 8. Is 35 a factor of f(o)?
False
Suppose -s = -2*l + 57 - 16, 0 = -4*l + 4*s + 84. Let z be (-5)/l + (-19)/4. Is (-2 - -32) + 2 + z a multiple of 27?
True
Let r be (3/(-9))/(9/(-189)). Is 20 a factor of r/(-42) - 361/(-6)?
True
Let z = 8 - -860. Is z a multiple of 31?
True
Let i be 14/42*303*1. Let k = i - 63. Is 19 a factor of k?
True
Let b = -7703 + 11419. Is b a multiple of 42?
False
Suppose 7*j + 3*t = 9*j - 154, 5*j - 367 = 3*t. Let b be (10/(-6) - 0)*-21. Let x = j - b. Is 5 a factor of x?
False
Suppose 4*k - 12 = 2*d, 2*d - 4*k = 4*d + 4. Let i(b) = b**3 + 3*b**2 - 6*b + 7. Is 5 a factor of i(d)?
True
Let d(a) = -a**2 - 17*a - 23. Let c(q) = q + 1. Let u(h) = -5*c(h) + d(h). Does 31 divide u(-11)?
True
Let r = 1939 + -1015. Is 62 a factor of r?
False
Suppose 0 = -3*t + 2*s + 7, -s - 14 = -5*t - 0*s. Let u(z) = 2*z**2 - 2*z - 1. Does 3 divide u(t)?
False
Let g(l) = 2*l - 3. Let t be g(9). Let y = t - 12. Suppose 8*v = y*v + 160. Is v a multiple of 8?
True
Let l be (-16)/(4 - 0) + 1. Let m = l - -35. Is 13 a factor of m?
False
Is (-10095)/(-10)*(-2)/(-3) a multiple of 9?
False
Let l(w) = -33*w - 6. Is 10 a factor of l(-9)?
False
Suppose 27 = z - 14. Suppose -43*h + 306 = -z*h. Is h a multiple of 18?
False
Let v be 0 + 0 - 123/3. Let j = -109 - v. Let p = -33 - j. Is p a multiple of 7?
True
Suppose 4953 = 4*i + 5*z, 13*z + 12 = 9*z. Does 84 divide i?
False
Suppose -9085 = -3*u + 5*o, -u + 4*o - 2*o + 3028 = 0. Does 33 divide u?
False
Let w be (9/24)/((-7)/(-56)). Suppose w = 5*m - 22. Is m even?
False
Let o be (-18 - -9)*(1 + -2). Let r = 26 - o. Does 5 divide r?
False
Let k = 35 - -122. Let b = k + -15. Does 23 divide b?
False
Suppose 0 = -5*s - 4*l + 3*l + 20, 3*l = 3*s - 12. Let z = 63 + -162. Is z/(-15) - s/(-10) a multiple of 7?
True
Let v(p) = p - 10. Let h be v(-5). Let c be 1 + -5*3/h. Is 7*c + -7 + 8 a multiple of 3?
True
Let m(b) = -3*b**2 - 2*b - 1. Let j be -1*(3 + (-1 - 1)). Let l be m(j). Does 4 divide l*(5 + -3) - -20?
True
Let r(k) = -k**3 - 14*k**2 + 21*k + 4. Let s = 68 - 84. Is r(s) a multiple of 20?
True
Suppose 4*m + 5*x - 70 - 38 = 0, m = 5*x + 2. Suppose -4*k - 6 = 5*o - 35, -5*o + m = -3*k. Is (-138)/(-10) + k/5 a multiple of 6?
False
Suppose -5*u = -25, -3*u + u = 3*t - 196. Is t a multiple of 14?
False
Let c be 4 + 1 - (12 - 10). Suppose c*l + 272 = 2*j, 4*j + 2*l = -0*l + 544. Is j a multiple of 18?
False
Let a(z) be the second derivative of -2*z**3/3 + 3*z**2/2 + 10*z. Let b be (-65)/5 - (-3 + 1). Is a(b) a multiple of 14?
False
Is 52/(-104)*(1 - 241) a multiple of 12?
True
Let l(v) = v**2 - v - 8. Let k(f) = f**3 - 17*f**2 + 16*f + 22. Let m be k(16). Suppose 0*n - 2*n = -5*s - m, 0 = 4*s + 4*n + 40. Is 29 a factor of l(s)?
False
Let z(p) = -5*p**2 - 3*p - 2. Let k(f) = f**3 - 8*f**2 - 10*f + 6. Let b be k(9). Let c be z(b). Let d = -22 - c. Does 6 divide d?
False
Let o(g) = 6*g + 9. Let z(w) = 5*w + 9. Let s(x) = -4*o(x) + 5*z(x). Let b be s(-9). Suppose b = -3*p - t + 29 + 41, 0 = -4*t + 16. Does 22 divide p?
True
Let g(m) = -m**3 + 14*m**2 - 12*m + 1. Is g(-8) a multiple of 35?
True
Suppose 836 + 2772 = 2*p. Is 44 a factor of p?
True
Suppose -4*p + 3*x + 6 = 29, 3*p = 2*x - 18. Does 2 divide 6 + p/10*65/26?
True
Let c be ((-5)/2 - -4)*2. Suppose -9 = -4*a + c, -b = a - 136. Is 10 a factor of b?
False
Suppose x = -2 + 6. Suppose 14 = -v - x*m, 20 = -6*m + m. Suppose -6*a + v*a + 64 = 0. Is a a multiple of 8?
True
Suppose -6 - 4 = 2*l. Let y(v) = -v**2 + 4*v + 8. Let k be y(6). Does 5 divide (-16)/(-4)*l/k?
True
Suppose 6*f = f. Let o(s) = s**2 + s - 1. Let y(j) = j**3 + 6*j**2 + 7*j - 30. Let k(z) = 6*o(z) - y(z). Does 12 divide k(f)?
True
Let t(q) = -2*q + 1. Let i(a) = -57*a - 9. Let c(r) = i(r) + t(r)