 b?
False
Is 19 a factor of 6/27 + 3950/45?
False
Suppose 4*z = -0*z - 16. Let d be z/(-8)*(2 + 110). Suppose 2*g + 0 + 2 = 0, -5*l + d = 4*g. Is l a multiple of 6?
True
Let n = -4 + -2. Is 2 a factor of 9/(-2)*4/n?
False
Suppose 0 = -5*p - 0*p + 1070. Is 40 a factor of p?
False
Suppose 189 = 3*x - 0. Is 18 a factor of x?
False
Let m(c) = -15*c + 1. Let r be m(-3). Suppose 3*y + r = 4*y. Let p = y - 29. Does 11 divide p?
False
Let b = 115 - 63. Is 13 a factor of b?
True
Let z(y) = -115*y**2 + 2*y - 1. Let c be z(1). Let m = -80 - c. Is m a multiple of 17?
True
Let s be 266/8 + 2/(-8). Suppose -6*f - 88 = -2*f. Let v = s + f. Is v a multiple of 3?
False
Suppose 4*v - c - 75 = 0, c - 41 = -3*v + 10. Suppose 3*q - v = 4*q. Does 12 divide (-8)/(-3)*q/(-4)?
True
Let x = -14 - -28. Let y = x - 1. Is 4 a factor of y?
False
Let u(t) = t - 1. Let g(o) = 4*o - 3. Let s(y) = g(y) - 3*u(y). Is s(6) a multiple of 4?
False
Suppose -3*d = d - 16. Suppose j - 3*i + d = 0, 3*j = -0*j + 3*i + 12. Suppose 3*t = j*t + 4*u - 64, 16 = 2*t + 4*u. Is t a multiple of 16?
True
Suppose 76 = 4*l - 4*x, l - x = 5*l - 81. Let j = 11 - l. Let m(v) = -v + 7. Is m(j) a multiple of 6?
False
Let c(x) = 8*x**2. Let p be c(-1). Let h(w) = 6*w + 11. Let r be h(p). Let y = -26 + r. Is 19 a factor of y?
False
Suppose 5*d = -0 + 20. Suppose -5*x - d*n = -x - 76, 0 = -5*n + 15. Does 15 divide x?
False
Let y(u) = u + 1. Let o(h) = -h**2 + 3*h + 4. Let q(c) = -o(c) + 4*y(c). Let w be q(-1). Let b(a) = a**2 - a + 30. Is b(w) a multiple of 14?
False
Let r = -1 - -2. Let t be ((-12)/8)/(r/(-2)). Suppose 5*w + 40 = s - 19, 4*s = t*w + 168. Is 14 a factor of s?
False
Let r(t) = 30*t**2 + 6*t + 6. Let g be r(-5). Is 12 a factor of (-6)/15 + g/15?
True
Suppose x = 6*x - 120. Is 9 a factor of x?
False
Let l be 0*-1*(-1 + 0). Suppose l = m - 2*g - 20, 0 = 2*m - 3*g + 8*g - 13. Is 7 a factor of m?
True
Let k = 24 - -2. Is 7 a factor of k?
False
Let b = 34 - 14. Is b a multiple of 20?
True
Suppose 0*z + 48 = 2*z. Let o = 35 - z. Is o a multiple of 11?
True
Let j(b) be the second derivative of b**5/20 - b**4/12 + b**3/6 - 13*b**2/2 + 2*b. Let w be j(0). Let a = w - -36. Is 11 a factor of a?
False
Suppose 0 = -5*y - 142 + 772. Does 18 divide y?
True
Suppose -4*m - t + 16 = 0, -4*m + 3*t + 16 = -0*m. Suppose -2*g + m + 6 = 0. Suppose -2*j + 7 = -x, -3*j + g*x - 7 = -0*j. Is 5 a factor of j?
False
Let k = 43 - 1. Is 6 a factor of k?
True
Does 11 divide 20*1/(12/33)?
True
Let p = 240 - 135. Is p a multiple of 21?
True
Is 21 a factor of (4/3)/((-1)/(-48))?
False
Let y(s) = 9*s - 59. Let a(j) = -j**3 - 6*j**2 - 2*j + 1. Let w be a(-2). Let l(m) = -5*m + 29. Let b(x) = w*l(x) - 6*y(x). Does 15 divide b(0)?
False
Let b be (-75)/(-5) - (2 - 1). Let o = b + 18. Is o a multiple of 16?
True
Suppose t = 4*i + 72 + 107, 4*t + 3*i = 792. Is t a multiple of 15?
True
Suppose 2*y - 192 = -2*y - 4*b, b = 2*y - 99. Is 36 a factor of y?
False
Let d(x) = -4*x. Let a be d(-5). Let j be (24/10)/(6/20). Suppose -2*b + j = -a. Does 4 divide b?
False
Suppose 2*o - 10 = 0, 3*q - 5*o = 5*q - 29. Let b be q/(1/(27/6)). Does 18 divide 4*b + 0/(-5)?
True
Let r(k) = -k**3 - 2*k**2 + 4*k + 10. Is r(-7) a multiple of 26?
False
Let k(f) = 1 + 1 - 5*f**2 + f + 2*f**3 + 1. Is k(3) a multiple of 6?
False
Suppose -4 = -4*m, 0 = 3*g - 8*g + 2*m + 523. Does 37 divide g?
False
Let m(c) = 2*c - 3. Let j be m(4). Let a = j + -11. Is 9 a factor of 33*(-1)/(a/4)?
False
Is (-30)/(2 + 0 + -3) a multiple of 6?
True
Let j(t) = -t - 1. Let a be j(-1). Suppose -3*s + a*s + 186 = 0. Suppose 3*c = 76 + s. Is 12 a factor of c?
False
Let h(l) = 5*l. Let k(w) = 20*w + 1. Let z(a) = 9*h(a) - 2*k(a). Let y = 6 + -2. Is 9 a factor of z(y)?
True
Suppose -4*w - 4*c - 1 - 3 = 0, 4*w + 3*c = 1. Let r = w + -1. Is r a multiple of 3?
True
Let v(s) = 2*s**3 + 1. Let c be v(1). Let u = -50 - -110. Suppose c*t = -t + u. Does 15 divide t?
True
Suppose -2*j - k + 30 = 0, j + 8*k - 3*k = 24. Let w = j - 2. Is 3 a factor of w?
True
Suppose 4*v + 10 = 2*x, x + 15 = 3*v - 5*v. Does 24 divide (v - -2) + (-36)/(-1)?
False
Suppose 0*z + 480 = 2*z. Suppose -6*q + 2*q = -z. Does 20 divide q?
True
Let j = -114 - -190. Does 19 divide j?
True
Let u(d) = d**3 + 6*d**2 - 5. Let n(b) = -b**2 + 8*b + 4. Let a be n(9). Does 3 divide u(a)?
False
Let t = 7 + -11. Is 18 a factor of ((-1)/2)/(t/144)?
True
Let q = 368 + -214. Is 21 a factor of q?
False
Let h = -54 - -25. Let l be (1 - -2)/(-3) - h. Let n = l + -8. Does 10 divide n?
True
Let v(u) = 1. Let d(g) = g - 3. Let q(j) = 2*d(j) + 5*v(j). Let k be q(3). Suppose k*t = -2*y - y + 142, 4*t = -4*y + 112. Is 14 a factor of t?
False
Let x(v) = -v**2 + 7*v. Let h be x(5). Let y be 2/(-5) + 24/h. Suppose -5*a - 2*m = -m - 125, -y*a - 2*m + 42 = 0. Is 13 a factor of a?
True
Let r(g) = 5*g**2 - 3*g**2 - 4 - 3*g - g**2. Suppose 1 = -3*l - 8. Is r(l) a multiple of 14?
True
Let q(z) be the third derivative of -z**5/60 + 13*z**3/2 - z**2. Let o be q(0). Let w = 93 - o. Is 27 a factor of w?
True
Let z be 3/(-9)*(2 - 23). Let n(h) = -h**3 + 6*h**2 + 8*h + 3. Is n(z) a multiple of 10?
True
Let w(h) = h**2 - 3*h - 6. Let m be w(7). Let v = m + -7. Does 15 divide v?
True
Suppose -v - 2*g = -15 + 3, -5*g = 3*v - 31. Suppose -22 = -2*y - 5*o, v*o = y - o - 11. Is y a multiple of 11?
True
Let x = -6 + 9. Suppose x*q - 57 = 5*p, -q + 2*p = -7 - 12. Is 11 a factor of q?
False
Let v = -12 + 9. Is v/(-2) - 204/(-24) even?
True
Suppose -r - 9 = -4*r. Suppose -4*i = -r*i - 24. Does 11 divide i?
False
Let o(d) = d**3 - 8*d**2 + 9*d + 9. Does 5 divide o(7)?
False
Let f = 208 - 145. Is f a multiple of 55?
False
Let y(h) = -2*h - 1. Let r be y(-7). Let i = r - 1. Is 4 a factor of i?
True
Is ((-540)/42)/(3/(-14)) a multiple of 11?
False
Let j = 4 + -5. Let s be (-4 - -10)/(j - -2). Suppose -r + s = -0*r. Is 6 a factor of r?
True
Let k = -88 + 159. Suppose 26 = -b + k. Does 15 divide b?
True
Let s(c) be the second derivative of c**6/360 - c**5/60 - c**4/3 - c**3/6 - 4*c. Let g(o) be the second derivative of s(o). Does 8 divide g(6)?
True
Suppose -d - 4*d - 50 = -s, 3*d - 113 = -2*s. Is 9 a factor of s?
False
Suppose -c = c - 8. Suppose 2*f = c*f + 4*w, 2*f = 2*w + 24. Suppose 16 = 3*t - f. Is 3 a factor of t?
False
Is 10 a factor of 442/8 + (-1)/4?
False
Suppose 0 = -r + d + 5, 4*r - d = -3*d + 26. Is r a multiple of 3?
True
Let f be 21/2*(-6)/(-9). Suppose f*m - 2*m = 210. Does 15 divide m?
False
Let o = 8 - 6. Suppose o*p = -0*p - 36. Let v = 33 + p. Is 7 a factor of v?
False
Suppose -h - m + 17 = 0, -5*h + 99 = -4*m - 4. Suppose 0 = -l - 2 + h. Is 7 a factor of l?
False
Let q = 9 + 5. Let p = -8 + q. Suppose -89 = -5*i + t + 109, 2*t = -p. Is 17 a factor of i?
False
Is -3*(-3 - (-5)/3) a multiple of 2?
True
Suppose -4*h = 5*f - 164, 4*f + 176 = 5*h + 3*f. Does 9 divide h?
True
Let l = -10 - -13. Suppose l*v + 2*o - 194 = 0, 47 = v - 2*o - 15. Is v a multiple of 16?
True
Let x be 0/(0 + (-8)/(-4)). Suppose -4*q + 3*k + 8 = 0, x = -q - 3*k + 2*k + 9. Is 2 a factor of q?
False
Let d be -1*26/2*3. Let o be 0 + 3 - (-2 - -14). Let j = o - d. Is j a multiple of 9?
False
Let o be 1/(-3) - (-253)/3. Suppose 5*f + o = 4*m - 9, -5*f = -5*m + 90. Let y = f - -29. Is y a multiple of 8?
True
Let l = 0 - -20. Does 22 divide ((-16)/l)/(4/(-110))?
True
Suppose 2*t + t = -9, 2*m - 16 = 4*t. Does 14 divide 380/9 - m/9?
True
Let w(b) = -b + 7 - 3*b + 0*b + b**2. Is 14 a factor of w(7)?
True
Suppose -5*i + l = -4*l - 65, 2*l + 42 = 3*i. Let v = 29 + -18. Suppose 3*b - i = v. Is b a multiple of 6?
False
Let g = -24 + 27. Does 11 divide 37 + (g - 2 - 3)?
False
Let j(z) be the first derivative of 5*z**3/3 - z**2/2 - 19*z + 2. Let o(l) = -4*l**2 + l + 20. Let c(n) = 3*j(n) + 4*o(n). Is c(0) a multiple of 10?
False
Let s(l) = -l + 13. Let g be s(9). Let a be ((-4)/g)/(3/(-6)). Let j = a - -13. Is j a multiple of 15?
True
Suppose -3*x = -8*x + 25. Let a be 118/x + (-12)/(-30). Let y = a + -12. Is 4 a factor of y?
True
Suppose 4*x - a + 17 = -6*a, -3*x + 4*a = 5. Does 18 divide (x + 2)/1 - -20?
False
Suppose -3*i = 10 + 5, 0 = -3*m + 5*i + 49. Does 10 divide (-2)/8 - (-162)/m?
True
Suppose -u - 2*u + 9 = 0. Suppose -u*t = t. Does 3 divide (-2)/(t - 2/5)?
False
Suppose -5*v = -3*f - 52,