factor of o/4 - (-87)/6?
False
Suppose 2*b - 24 = 4*h, -b = 2*h - 0*h. Is b a multiple of 3?
True
Let n = 34 + -10. Does 6 divide n?
True
Let t = -3 - -5. Does 16 divide (-10)/(t + 9/(-4))?
False
Let j(u) = -u + 12. Let y be j(0). Suppose -3*c = c - y. Suppose 5 = i - c. Is i a multiple of 4?
True
Let n(t) = 2*t - t**3 - 6 + 2*t**2 - 3 + 2*t**2 + 2*t**2. Let p be n(6). Suppose -2*d - p*d + 31 = a, 2 = d - 4*a. Is 6 a factor of d?
True
Let y(t) = -t**2 - 5*t + 6. Let f be y(-6). Suppose -2*c = -f*c - 28. Is c a multiple of 5?
False
Suppose -2*u + u + 4 = 0. Suppose 11 = u*i + 3. Suppose 0 = -i*y - 14 + 44. Is 7 a factor of y?
False
Let z = -40 + 150. Does 11 divide z?
True
Let k = -25 - -43. Does 9 divide k?
True
Let k(s) = s**3 + 5*s**2 - 2*s + 6. Suppose 0 = -4*g - 2*u - 30, -30 = -2*g + 4*g + 4*u. Is k(g) a multiple of 11?
False
Suppose 0*u = -u. Let z(a) = -5*a**2 + 6*a - 13. Let y(x) = -x**2 + x - 1. Let o(l) = 6*y(l) - z(l). Is 4 a factor of o(u)?
False
Does 44 divide ((-71)/(-5) - 1)/(108/720)?
True
Suppose 0 = 5*m - 9 - 61. Does 8 divide m?
False
Let w be 0*((-2)/4 - -1). Let y(l) be the first derivative of -l**4/4 + l**2/2 + 51*l + 21. Is y(w) a multiple of 17?
True
Let t be (6 + -7)/(4/96). Let s(m) = -2*m**3 - m + 1. Let a be s(1). Is 4 a factor of (-186)/t + a/(-8)?
True
Does 8 divide (-686)/(-42) - 2/6?
True
Let u(y) = -y**2 - 9*y + 12. Let l be u(-10). Suppose 0 = a + l, a - 94 = -2*g - g. Does 13 divide g?
False
Let o(s) = 2*s + 40. Is 20 a factor of o(0)?
True
Suppose 0 = -2*j - 3*j + 2*o + 26, 2*j - 18 = -3*o. Is (-19 - -1)*(-9)/j a multiple of 21?
False
Suppose -48 = 4*v - 0*v. Let a = v + 14. Is 2 a factor of a?
True
Let i be ((-44)/8 - -1)*-2. Suppose -4*v + 7*v - i = 0, 4*u - 37 = v. Is u a multiple of 2?
True
Let x(m) = -3*m - 21. Let t be x(18). Let p(h) = -h**3 + 4*h**2 + h + 1. Let l be p(4). Is 5 a factor of (4/l)/((-6)/t)?
True
Let i be (-6)/30 - (-49)/(-5). Let p = i - -13. Suppose 4*s = -p*w - w + 48, 3*s - w - 40 = 0. Does 5 divide s?
False
Let x = -2 + -4. Let s be (6/(-3))/(x/3). Does 3 divide (12/(-14))/(s/(-7))?
True
Let m(z) = -106*z**3 + z**2 + z. Let h be m(-1). Let r = h + -16. Is r a multiple of 33?
False
Let z be (-1)/4 + (-9)/(-4). Let i(b) = b**2 - 6*b + 7. Let v be i(5). Suppose z*u = -v + 10. Is u a multiple of 4?
True
Let p be (1/(-3))/(1/(-3)). Let a(r) = -2*r + 7. Let n be a(3). Is 11 a factor of 2*p - (-16)/n?
False
Let w = -8 - -9. Let f be (-2 - 63/(-3))*w. Suppose -3*j - f = -y - 3*y, -3*y + 9 = 3*j. Is 4 a factor of y?
True
Let k be (-4)/5*(-1650)/12. Suppose -4*q = q - k. Is q a multiple of 11?
True
Suppose -x + 5*a = 14, -3*x = 2*x + 5*a - 20. Let t be (x/2)/(2/44). Let r = -1 + t. Does 10 divide r?
True
Let l = -33 - -65. Let i = l + -6. Is i a multiple of 7?
False
Let a(z) = -z**3 - 3*z**2 + 2. Suppose -4*o + 34 = -7*o - 5*r, 5*o + 5*r = -60. Let t = o - -9. Does 9 divide a(t)?
True
Suppose -3*k - 9*k = -2760. Is k a multiple of 42?
False
Suppose -105 = -4*h + m, -3*h - 4*m + 126 = 2*h. Is 11 a factor of h?
False
Let t(s) = -11*s - 4*s**2 - 4 + 6*s**2 - 3*s**2. Suppose w = -2*w - 21. Is 12 a factor of t(w)?
True
Let z(q) = 3*q**3 + 5*q**2 + 3*q - 2. Let l(r) = -4*r**3 - 5*r**2 - 3*r + 3. Suppose -3*y + 1 = -8. Let w(j) = y*z(j) + 2*l(j). Is 4 a factor of w(-3)?
False
Let g(z) = 15*z**2 + z - 2. Is g(1) a multiple of 2?
True
Suppose q + 2*o - 3*o - 15 = 0, 4*q - 88 = -3*o. Is 4 a factor of q?
False
Suppose 12 = 3*h - 0. Suppose -u = -5*f - 17, -h*u - 7*f + 2*f = -168. Is 14 a factor of u?
False
Suppose -u - 12 = -5*u. Suppose 6*d = 2*d + 3*q + 120, u*d = -q + 103. Is 26 a factor of d?
False
Let i(s) = -21*s - 1. Let t be i(2). Let u = -7 - t. Is u a multiple of 18?
True
Let u be 92/10 + (-2)/10. Let j be ((-1)/(-3))/(3/u). Is 18 a factor of 106/(2/j + 0)?
False
Suppose -6 = -4*a + a. Suppose 70 = 3*j + a*j. Does 14 divide j?
True
Suppose -5*n - 10 = 2*h - h, 4*n + 37 = 5*h. Is h/((-15)/6) + 12 a multiple of 7?
False
Let h(s) = -s**2 - 7*s - 10. Let f be h(-5). Suppose d - 95 + 35 = f. Is 15 a factor of d?
True
Is (-11)/(11/(-10))*20 a multiple of 34?
False
Suppose p - 6 = 1. Suppose -2*o - p = -5*d + 157, 5*d - 5*o - 155 = 0. Does 17 divide d?
True
Let g be (-2)/(-6) - 39/9. Is 819/14 + 2/g a multiple of 18?
False
Suppose -2*x - 8 = -0*x. Let b = 12 + x. Suppose -1 - b = -o. Does 9 divide o?
True
Let y = 72 + 27. Is y a multiple of 33?
True
Suppose 99 + 306 = 9*w. Does 45 divide w?
True
Let a = 173 + -161. Is a a multiple of 9?
False
Let y(b) = 2*b. Let h be y(2). Suppose 180 = 4*l - h*f, -5*f = -l + 38 + 27. Suppose 0 = p, -w + 2*p - l = -3*w. Does 6 divide w?
False
Let d(h) = 3*h**3 - 4*h**2 + 4*h + 2. Is d(2) a multiple of 8?
False
Let z be (-6)/9 - (-68)/3. Suppose 3*k - z = 4*v + 61, 5*v - 34 = -k. Is 19 a factor of k?
False
Let p(d) = -d**2 - 8*d - 4. Let o be p(-7). Suppose o*c + 4*l = 393, -3*l + 129 = c - l. Suppose c = 5*i - j, 2*i - 43 = -2*j + 11. Is i a multiple of 13?
False
Let o(a) = -2*a - 11. Let g be o(-8). Let l(z) = -2*z - 7. Let b be l(-6). Suppose b*j = h + 32, g*h = -2 + 17. Is j a multiple of 7?
True
Suppose -12*l = -14*l + 100. Is l a multiple of 10?
True
Let w = -6 + 12. Is 6 a factor of (8/w)/(6/54)?
True
Let v = -9 + 11. Let b(y) = 4*y. Is b(v) a multiple of 3?
False
Let m = 140 + -52. Suppose 47 = 5*f - m. Is f a multiple of 8?
False
Let t(p) = 8*p + 24. Is 21 a factor of t(10)?
False
Is 91 - (-1 - 3) - (-1 + 0) a multiple of 28?
False
Suppose 29 = -2*j + 85. Let t be (-3 + 0 + 3)/2. Let n = t + j. Is 14 a factor of n?
True
Let j = 249 + -112. Let u = j + -79. Let q = u + -21. Does 16 divide q?
False
Let g = -1 + 26. Suppose 0 = t + 4*t - g. Let r(q) = 4*q + 5. Is r(t) a multiple of 17?
False
Let j(q) = -13*q + 2. Does 26 divide j(-8)?
False
Let u = -11 - -8. Is (14/u)/((-2)/3) a multiple of 6?
False
Let u = 11 - 9. Suppose 52 + 116 = u*m. Is m a multiple of 28?
True
Is 9 a factor of ((0 - 0) + 2)/(4/18)?
True
Suppose -3*y + 4*c + 56 = -106, 0 = 4*c + 12. Does 50 divide y?
True
Let w be -4*2/(-2) - -1. Suppose -u = -w*u + 20. Is u a multiple of 5?
True
Suppose 0 = 4*i - 57 - 19. Is 19 a factor of i?
True
Let m be (-4 + 3)*(-3 + 0). Suppose 0 = z + m*z - 112. Does 6 divide z?
False
Let c(v) = -v**2 - 2*v + 3. Let g be c(-3). Suppose g = -p - 2*p + 48. Is 8 a factor of p?
True
Does 6 divide -6 + 9 + 2*(-29)/(-2)?
False
Let u = 77 - 56. Does 6 divide u?
False
Let h(s) = 2*s**2 - 8*s + 4. Is h(-3) a multiple of 10?
False
Suppose -108 = -l + 5*l. Does 7 divide 1*((-3 - l) + -3)?
True
Let m = -14 - -16. Suppose -h - m*h + 150 = 0. Is 17 a factor of h?
False
Let x(o) = -o**2 - 4*o + 2. Let i be x(-4). Suppose -5*k + 4*q + 42 = -3*k, 5*q - 24 = -i*k. Is k a multiple of 9?
False
Let t = 16 - -12. Is t a multiple of 28?
True
Let r(c) = 2*c**2 - 2*c - 1. Let y be r(-1). Suppose -3*z - 2*z = 3*a - 32, 3*a - y*z = 0. Suppose 32 = -2*n + a*n. Does 7 divide n?
False
Let a be 3/2 + (-22)/(-4). Let y = 7 + a. Is y a multiple of 14?
True
Is (2 + 203/14)*(-4)/(-3) a multiple of 11?
True
Let l(z) be the first derivative of -21*z**2/2 - 2*z + 2. Is l(-2) a multiple of 20?
True
Let h = 6 + -12. Let w = 0 - h. Does 9 divide (-1)/((-3)/w) + 12?
False
Let a(s) = -93*s - 20. Is 14 a factor of a(-3)?
False
Let v be -8 - 1/((-3)/6). Let d be (-2 + v/(-4))*-4. Suppose 4*n = d*w + 6 + 4, 2*w - 35 = -5*n. Does 2 divide w?
False
Let o be 0 + -1 + (-5 - -19). Suppose 5*c = 33 - o, 142 = 2*y - c. Does 17 divide y?
False
Suppose 0 = 3*x + 19 + 23. Let g = -1 - x. Suppose -g = -c - 3*r, -4*c + 21 = 2*r - 61. Does 11 divide c?
True
Is (-6 + 4)/((-2)/50) a multiple of 10?
True
Let v(l) = l + 9. Let h be v(-9). Suppose 3*s - 7 = -2*o, -o = -h*o - 3*s - 26. Is 5 a factor of o?
False
Let b = -9 - -13. Suppose 0 = -m - b*m + 80. Is m a multiple of 4?
True
Let j(r) = 7*r + 13. Let i(w) = 7*w + 12. Let g(k) = -4*i(k) + 3*j(k). Is 11 a factor of g(-8)?
False
Let s = -1 + 3. Suppose 0 = v - 5, k + s*v + 17 = 54. Does 9 divide k?
True
Suppose -11*n - 12 = -15*n. Is 11 a factor of (-11)/(-1)*(-2 + n)?
True
Let k(w) be the second derivative of 3*w**3/2 - w**2/2 - w. Suppose -5*o + 4*s + 7 = -2*o, -3*s - 4 = -o. Is k(o) a multiple of 4?
True
Suppose -3*h + 48 = d, -193 - 75 = -5*d - h. Does 19 divide d?
Fa