3?
True
Let m(y) = -y + 11. Let x be m(0). Let a(b) = b**2 - 11*b + 1. Let n be a(x). Does 10 divide n*6/2 - -7?
True
Suppose 0 = -7*n + 51 + 40. Is n a multiple of 4?
False
Let y = -85 + 116. Is 17 a factor of y?
False
Suppose -2*l - 164 = -4*l. Let z = l - 19. Let h = z - 41. Does 11 divide h?
True
Suppose -49 - 74 = 3*n. Suppose -2*v - 2*v = g + 23, -4*v - 11 = -3*g. Let r = g - n. Is r a multiple of 19?
True
Let k = 11 - 6. Suppose 32 = d + k*s, 3*d - 3*s = 4*d - 24. Is 12 a factor of d?
True
Let d(v) be the first derivative of v**3/3 + 5*v**2/2 + 1. Let y be d(-5). Suppose -2*q + q + 10 = y. Is q a multiple of 10?
True
Let g = 10 - 6. Suppose t = -3*i + 2*i + g, 2*i = 0. Is t a multiple of 2?
True
Let c = -238 + 516. Is c a multiple of 13?
False
Let f(c) = 2*c**3 - 3*c**2 + 2*c - 2. Let s(b) = 3*b**3 - 5*b**2 + 3*b - 3. Let w(z) = -5*f(z) + 3*s(z). Does 6 divide w(-2)?
False
Let i(z) be the second derivative of 5*z**3/6 - 2*z**2 - 4*z. Let j be i(4). Let o = j - -8. Does 10 divide o?
False
Suppose 5*j - 320 = 3*u - 8*u, 3*j + 4*u - 191 = 0. Does 13 divide j?
True
Let d = -145 + 147. Let g(u) = u - 1. Let s be g(5). Suppose s*p - 10 = d*p. Is p a multiple of 5?
True
Let j(i) = -4*i**3 - 4*i**2 - 4 - i**3 + 3*i**3 - 2*i. Is j(-3) a multiple of 20?
True
Suppose p - 10 = -4*p. Let y be (-330)/18 - p/(-6). Is 5 a factor of 2/9 + (-86)/y?
True
Let a(u) = 2*u. Let g be (-1)/6 - (-172)/24. Is 6 a factor of a(g)?
False
Suppose 5*l = q - 4*q + 9, -4*l - q + 3 = 0. Suppose l = -3*v + 6 - 0. Is 9 a factor of (11 - 2)*(v - 0)?
True
Let p be -16*(-1 + -1)/(-2). Let d = -2 - p. Does 5 divide d?
False
Let j be 4 + -4 + 91 + -1. Suppose -70 = -4*a + j. Is a a multiple of 15?
False
Let z(i) = -54*i - 2. Is 4 a factor of z(-1)?
True
Suppose 0 = u + u. Suppose 0 = -2*v - 0*v, u = -3*t - 3*v. Suppose -2*j + 7*l - 3*l = -36, -2*j - 5*l = t. Is j a multiple of 9?
False
Let y(a) = 162*a**2 - a. Let t be y(1). Suppose -t = -5*n + 19. Is 18 a factor of n?
True
Suppose 5*f - 94 = v + 2, -3*v - 68 = -4*f. Does 20 divide f?
True
Suppose 31 = 2*z + 3*u - 44, -z - 5*u + 27 = 0. Is 14 a factor of z?
True
Let u(l) = -l**3 - 12*l**2 - 28*l + 23. Is 34 a factor of u(-12)?
False
Suppose -10 = -3*z - 4. Is 7 a factor of 0 + 20 + z + -1?
True
Let w = -1 + -2. Is 54 + 9/3 + w a multiple of 18?
True
Let u(y) = 2*y + 21. Let d(v) = 2*v + 2. Let n be d(-1). Is 7 a factor of u(n)?
True
Suppose 27*d - 201 = 24*d. Is d a multiple of 5?
False
Let z be (1 - 1) + -17 + 2. Let f = z + 10. Is 7 a factor of (-186)/(-10) - 2/f?
False
Does 23 divide (7/(-21))/((-2)/276)?
True
Let w(m) = -m - 1. Let j(f) = 40*f + 44. Let c(r) = 2*j(r) + 88*w(r). Let q be c(3). Let k = q + 59. Does 12 divide k?
False
Let d be ((-4)/6)/(2/(-3)). Does 5 divide ((-1)/d)/(1/(-5))?
True
Suppose 3 = 5*h - 4*h. Suppose 0 = -h*t + 21. Is 7 a factor of t?
True
Let a = 5 + -3. Let l = a + 20. Is l a multiple of 22?
True
Let o be (20/(-6))/(6/(-9)). Let a(m) = 5 - o - 1 + 8*m**3 - 21*m**3. Does 4 divide a(-1)?
True
Let q be (-3 - 1)*(-2)/4. Suppose 0 = 2*a - 3*v - 8, -q*a + 2*v - 58 = -7*a. Does 6 divide a?
False
Let a = -4 + 10. Suppose a = c - 6. Does 5 divide c?
False
Suppose -5*a + 19 = 3*o, -o + 2*a = -4 + 5. Suppose o*f + 11 = 4*d - 9*d, -2*f = 4*d + 6. Let k = f + 10. Is 2 a factor of k?
False
Let i(b) = 18*b - 1. Let j be i(1). Let d = j - -4. Is 21 a factor of d?
True
Suppose 12 = 3*p - p. Suppose -4*n + 4 = 0, -p*x + 3*x = 5*n - 11. Suppose -5*f + 100 = 5*b, f - x*f + 5*b = 10. Is f a multiple of 15?
True
Suppose 0*h - 5*h + 673 = -4*p, -5*h - 2*p + 661 = 0. Is 19 a factor of h?
True
Let x(o) = o - 10. Let y be x(-6). Let f = -11 - y. Is 5 a factor of f?
True
Let n(a) = -3*a - 6. Let v be n(-4). Let m(z) = -z**3 + 7*z**2 - 7*z + 7. Let g be m(v). Is 8 a factor of ((-20)/(-25))/(g/10)?
True
Let x = -6 + 9. Does 2 divide x?
False
Suppose 0 = 5*g + 25, -i + 4*g + 14 + 9 = 0. Let u = 23 - 2. Does 23 divide 0 + (u - -2) + i?
False
Let p = 5 - 9. Let c = p + 5. Is 15 a factor of c + (1*-29)/(-1)?
True
Suppose 2*m - 5 = m - o, -5*o = 4*m - 20. Suppose m*g + 19 - 89 = 0. Is 7 a factor of g?
True
Let f be (93/(-2))/(3/(-4)). Let p = f - 26. Is p a multiple of 8?
False
Let s = 28 + 8. Is 18 a factor of s*(-1 - 3/(-2))?
True
Let o(p) = 23*p**2 - p - 6. Let q(i) = -1. Let v(d) = o(d) - 5*q(d). Let m be (-9)/15 - 14/35. Does 23 divide v(m)?
True
Suppose 0 = -2*w + w - 5*b + 25, 0 = -5*w + 3*b - 15. Suppose -3*l = -4*c - 484, -3*l + 2*c = -w*c - 482. Suppose 0 = -5*a + l - 50. Is 14 a factor of a?
False
Does 4 divide (0 - 1)*2 - (7 - 19)?
False
Is 15 a factor of 7/(70/(-25))*-42?
True
Suppose 3*n - 28 = 7*n. Let q = n + 40. Is 11 a factor of q?
True
Let p = 23 + -15. Does 8 divide p?
True
Let z(v) = -6*v - 2. Let y be z(-2). Suppose -5*j - 450 = 2*q, 3*q + 680 = 5*j - y*j. Is 3 a factor of (-2)/3 + q/(-30)?
False
Suppose -120 = -2*r - 2*r. Is r a multiple of 10?
True
Let g = 23 - -25. Does 16 divide g?
True
Let q(s) = -s + 1 - 6*s**2 + 5*s**2 + 2*s. Let j be q(2). Let o(r) = 22*r**2 - 1. Is o(j) a multiple of 13?
False
Suppose -28*z + 27*z + 33 = 0. Is 18 a factor of z?
False
Suppose -2*c + 15 = 3*c. Suppose 0 = u - 2*l - 3 - 2, 4 = -2*u - c*l. Suppose -u = 3*z - 127. Is z a multiple of 11?
False
Let l = 5 - 3. Suppose 2*x = -l*d - 38, -5*x - 3*d + 2*d = 99. Is 19 a factor of x/(-12)*(19 + -1)?
False
Let i(g) = -g - 977. Let t be i(0). Let f = -305 - t. Is f/20 + (-4)/(-10) a multiple of 15?
False
Suppose 60 = -3*x + 9. Let n = 13 - x. Is 10 a factor of n?
True
Let q(s) = s**2 - 5*s + 3. Let r be q(4). Let b(g) = 9*g**2. Is 9 a factor of b(r)?
True
Let w(s) = s**2 + s. Suppose 0 = 2*f - f - 2*u + 3, 2*u + 22 = -4*f. Does 12 divide w(f)?
False
Suppose 0*b + 2*b = -5*g + 10, -5*b + 25 = -g. Let m(x) = -x**3 + x**2 - x + 1. Let c be m(g). Let t = c - -38. Does 14 divide t?
False
Suppose -3*k + 2*f = 6*f - 14, 4*k + 4*f - 16 = 0. Is 0 + (19 + k - -1) a multiple of 8?
False
Let f be (-2)/(((-3)/(-9))/(-1)). Let p(j) = -j**3 + 5*j**2 + 6*j + 4. Is 4 a factor of p(f)?
True
Let b(w) = w. Let l be b(2). Suppose -153 = l*k - 5*k. Suppose -4*v = -7*v + k. Is 11 a factor of v?
False
Let g be (58/(-8))/((-4)/48). Let c = -58 + g. Is 6 a factor of c?
False
Suppose -4*o = -0*o + 28. Let g(c) = 6*c - 4*c + c**2 - 11 + 2. Is g(o) a multiple of 13?
True
Let q(x) = x**2 + 9*x + 5. Let b(p) = -2*p**2 - 7*p - 5. Let c be b(-4). Does 4 divide q(c)?
False
Let j = 9 + 19. Does 11 divide j?
False
Let w(c) = -c**3 - c**2 + 1. Let k be w(-2). Suppose -20 = k*a, 0*p + p + a - 27 = 0. Is 11 a factor of p?
False
Let g(c) = 13*c**2 - c + 1. Does 6 divide g(-1)?
False
Suppose 4*v = -3*q + 7*q + 104, 2*q + 79 = 3*v. Is v a multiple of 9?
True
Let s(u) = 6*u**2 + 5*u + 2. Let o be s(-6). Suppose -2*v - v = -n - 147, -4*v = -4*n - o. Does 25 divide v?
True
Let u(w) = -114*w - 3. Is 12 a factor of u(-1)?
False
Suppose 20 = 5*n, 0 = 6*d - 2*d + 2*n - 120. Is d a multiple of 7?
True
Let c(k) = -3*k**3 + 3*k**2 - 3. Let i = -20 + 18. Is c(i) a multiple of 8?
False
Let h = -16 + 28. Let i be (2 + -2)/1 - -25. Let t = i - h. Does 7 divide t?
False
Let c be 31/((-4)/(-1*8)). Let f = c - -1. Is f a multiple of 13?
False
Let s be 27/18*(-8)/(-3). Suppose -15 = -7*j + s*j. Does 2 divide j?
False
Let a(u) = 2*u**2 + 6*u + 34. Is 30 a factor of a(-11)?
True
Let i(a) = -a**2 - 9*a + 30. Does 13 divide i(-7)?
False
Is (-2)/(5/((-285)/6)) a multiple of 9?
False
Let p(s) = 6 + 11*s - 1 + 3*s**3 + 3 + 13*s**2 - 2*s**3. Does 15 divide p(-12)?
False
Let n(h) = h**2 - 9*h + 11. Is 3 a factor of n(8)?
True
Let b = -41 + 65. Let m = 35 + b. Suppose -4*s = -101 - m. Does 14 divide s?
False
Let j = -3 - 9. Let o = j + 18. Does 4 divide o?
False
Let u = 56 - -127. Does 8 divide u?
False
Let y = 1 + 1. Suppose 5*m - 39 = -f, 81 = f + y*f + 3*m. Does 8 divide f?
True
Let y(g) = -g - 1. Let z be y(-1). Suppose z = -3*h + 2*h + 36. Does 18 divide h?
True
Let p = 173 - 98. Is p a multiple of 15?
True
Let p = 13 - 10. Let m = 4 + p. Does 3 divide m?
False
Let w = 9 + 15. Is w a multiple of 7?
False
Is 14 a factor of 2 - 4/(-2) - -12?
False
Let x = 44 + -12. Does 8 divide x?
True
Let g = 36 - 14. Suppose -2*x = 2*t - 8, -x = 4*t - 1 - 0. Suppose 4*q + c - 49 = 0, x*q - 33 = 5*c + g. D