of 10?
False
Suppose -2*i + 8 = 0, -c - 3*i = -2*c - 6. Let u be 9/c*4/3. Suppose 10 = 3*r - u*z, r - 3*z = -4 - 2. Is 6 a factor of r?
True
Let h(n) = -42*n + 2. Let v be h(4). Let c = 236 + v. Suppose 6*z - c = z. Is 14 a factor of z?
True
Let f = 5 - 5. Let d(j) = 14 + j + 0*j + 0*j. Is 14 a factor of d(f)?
True
Suppose 4*n - 240 = n. Is 11 a factor of n?
False
Let w = -25 - -53. Does 9 divide w?
False
Suppose -22 - 62 = -2*n. Is 7 a factor of n?
True
Suppose 0 = -5*h + 10, b - 5*h = -4*b. Let m be b/4*(7 - -1). Suppose m*c - 1 - 7 = 0. Is 2 a factor of c?
True
Let m(n) = n**3 - 7*n**2 - 7*n - 5. Let v be m(8). Suppose -i = -t - 71, -2*i + 352 = v*i - 4*t. Does 17 divide i?
True
Suppose -3*m + 2 = -28. Let b be 1 + (-1)/(-1) + -2. Suppose -3*g + 2*g + m = b. Does 5 divide g?
True
Let o(p) = 2*p**3 - 9*p**2 + 12*p - 5. Is 18 a factor of o(5)?
False
Is 0 - (-2700)/33 - 10/(-55) a multiple of 20?
False
Let r = 32 - 5. Suppose -5*l - 45 = 2*o, -o - 4*l + 3 - r = 0. Let f = 29 + o. Is 4 a factor of f?
False
Suppose 5*r = 25 - 10. Suppose 5*q - r = -4*y - 12, -23 = -2*y + 3*q. Is y a multiple of 3?
False
Let w = 87 - 71. Is w even?
True
Let x(g) = -g**3 + 8*g**2 + 3*g + 8. Let u be x(8). Suppose 3*i - 5*j - u = -j, 2*j + 10 = 0. Is i a multiple of 4?
True
Let p(c) = -c**3 + 5*c**2 - 6*c. Let s be p(5). Is 20 a factor of (-204)/(-10) - (-12)/s?
True
Let f(x) = -x**3 - 3*x**2 - 4*x - 2. Let v = -11 + 7. Is f(v) a multiple of 10?
True
Suppose k = 3*k - 104. Suppose 0 = 5*s - s - k. Is 13 a factor of s?
True
Suppose 4*o - 19 = 3*o + 5*b, -39 = 4*o + 3*b. Let c = 25 + o. Is 8 a factor of 3*(-1 + c/3)?
True
Let n be (4/(-5))/(12/30). Let g be 117/2 - n/(-4). Suppose 2*s + 3*f - g = 5*f, 2*s = -2*f + 62. Is s a multiple of 12?
False
Let b(a) = -5 - a - 2*a + a**3 + 6*a**2 + a. Does 7 divide b(-6)?
True
Suppose -r + 2 - 1 = 0. Suppose 4*k = 3 + r. Let g = k - -7. Does 8 divide g?
True
Is 87*(-1 - 2/6 - -2) a multiple of 29?
True
Let q(d) = -8*d + 14. Let s(g) = 1. Let v(f) = q(f) - 8*s(f). Is 19 a factor of v(-4)?
True
Is 162/108*228/((-2)/(-1)) a multiple of 5?
False
Suppose 2*i + 0*l + 4*l - 92 = 0, 0 = -4*l - 16. Does 30 divide i?
False
Suppose 20 = -5*c, -3*s - 3*c = -c - 106. Let v(n) = -2*n**2 + 2*n + 2. Let g be v(3). Does 9 divide -5*(s/g - -2)?
True
Suppose -87 = 3*n - 243. Is 13 a factor of n?
True
Let p = 0 - -16. Does 3 divide p?
False
Suppose -b + 10 = x, b - 4*x = -2*x + 16. Suppose -5*y = -b - 8. Is y a multiple of 4?
True
Does 14 divide 66/(-4)*80/(-15)?
False
Let g = 12 - 10. Suppose -6*w + w = 2*k - 51, g*k - 71 = -w. Does 19 divide k?
True
Suppose 4 = -2*d + 3*d - a, 9 = -3*d - 4*a. Let q(s) = -7*s + 9*s**2 + s**3 + 0*s**3 + 14*s - d. Is 5 a factor of q(-8)?
False
Suppose 4*p - 1 = 11. Suppose -21 - 60 = -p*b. Does 9 divide b?
True
Let t(a) = -a**3 - a**2 + a - 8. Let k be t(0). Let f(d) = -2*d + 8. Is 7 a factor of f(k)?
False
Let x = 2 + -3. Let q be ((5 - 2)*x)/(-1). Suppose 0*p - 3*p + k = -79, 2*p - q*k - 41 = 0. Does 10 divide p?
False
Let b = 220 - 103. Does 13 divide b?
True
Is 11 a factor of (-51)/(-3) - (-6)/2?
False
Let m(p) = 11*p - 1. Let t = 10 - 9. Is 5 a factor of m(t)?
True
Suppose -x - 2 - 2 = 0. Let q = x + 10. Suppose 0 = -2*b - q, -5*g - 4*b + 3*b + 162 = 0. Is g a multiple of 11?
True
Let v(x) = x - 9. Let t be v(7). Let l be (0 + t - -1) + 6. Let z(d) = 10*d - 7. Is 17 a factor of z(l)?
False
Let d be (-1)/((-3 - -1)/(-18)). Let x = -41 + 62. Let q = x + d. Does 12 divide q?
True
Is -175*(24/10)/(-6) a multiple of 14?
True
Let b(z) = z - 1. Let c be b(9). Suppose -3*v - 5*j = -v - 16, v = -4*j + c. Is 7 a factor of v?
False
Let s = 4 - 5. Let h(p) = -3*p**3 - p**2. Let d be h(s). Suppose d*o = -4*r + 18, -33 = -3*o + r + 1. Does 4 divide o?
False
Suppose -288 = -5*c + 3*c. Is c a multiple of 24?
True
Suppose 2*a = -2*w - a - 33, -5*w + 2*a - 54 = 0. Let r be 2*(2 + (0 - w)). Suppose 0 = -4*l + 6*l - r. Is 14 a factor of l?
True
Suppose 0 = 3*c + 2*g + 50, 2*g + 0*g = 3*c + 34. Let x = c + 24. Is x a multiple of 4?
False
Suppose -5*p = -4*q + 41, 5*p = -2*q + p + 14. Does 3 divide q?
True
Let r(d) = 6*d - 2 - 2 - 2*d. Let h be (11/((-308)/(-32)))/(2/7). Is r(h) a multiple of 6?
True
Suppose 9*q - 114 = 3*q. Is q a multiple of 4?
False
Let k(j) be the third derivative of -j**4/24 - j**3/6 + j**2. Let r(o) = o + 6. Let c(f) = -5*k(f) - r(f). Is 7 a factor of c(2)?
True
Let q(p) = 2 + 7*p - 8*p + 9*p + 10*p. Let k be q(2). Suppose -2*r - k = -5*t, 6*r - 14 = -5*t + 2*r. Is t a multiple of 3?
True
Let g(x) = x**3 + 5*x**2 - 11*x - 15. Is g(-6) a multiple of 5?
True
Let l = 5 - -1. Let u be 1 + (0 - 2) + l. Suppose 0*i - 2*i = 0, -u*i = 2*b - 10. Is b a multiple of 5?
True
Let w = 78 - 52. Is w a multiple of 11?
False
Suppose 86 = -4*o + 338. Let d = o - 44. Is d a multiple of 8?
False
Let h = -2 - -6. Is ((-6)/h)/(30/(-80)) a multiple of 2?
True
Let o(p) = p**3 - 6*p**2 - 27*p - 15. Is 23 a factor of o(10)?
True
Suppose 155 = -17*y + 22*y. Is y even?
False
Let w be (-2 - 1)*(-2)/(-3). Let i be (-5)/w - 1/2. Does 14 divide 53/3 + i/(-3)?
False
Let p be 17/(-5) + 9/(-15). Is 3 a factor of (p/4)/(2/(-26))?
False
Let l(y) = 15*y + 7. Is 14 a factor of l(7)?
True
Is 17 a factor of (-7)/(-35) + (-254)/(-5)?
True
Is 28 a factor of -7*12/(-15)*10?
True
Let p = 9 + -6. Suppose -5*h - 2*m + 96 = -4*m, -p*h + 2*m = -60. Does 9 divide h?
True
Let o = 87 + -35. Is o a multiple of 13?
True
Let r(s) = -s**2 + 9*s + 2. Let d be r(8). Suppose 0 = 5*w + d, 2*w = -b + 6*w + 60. Does 15 divide b?
False
Suppose -15*f = -1378 + 118. Does 14 divide f?
True
Let f be (-32)/(-40)*(41 + -1). Let b = f - 17. Does 5 divide b?
True
Let n(m) = m**3 + 7*m**2 + 3. Let r be n(-7). Suppose 0*o - 24 = -r*o. Is o a multiple of 6?
False
Suppose 2*g + 30 = -g. Let f = 5 - 2. Is g/(-15) + 100/f a multiple of 17?
True
Let u be (-4)/(-12) - 28/(-6). Let a(k) = k**3 - 5*k**2 + 2*k - 4. Let g be a(u). Does 5 divide (45/6)/5*g?
False
Let l = 87 - 46. Suppose -v + l = -0*v. Is v a multiple of 19?
False
Suppose w + 24 = 5*w. Is 4*w/(-15)*-5 a multiple of 8?
True
Let n = 5 - 5. Let a be n - (38 - (1 + 2)). Is 13 a factor of (182/a)/((-2)/10)?
True
Suppose -5 = 3*b + 7. Is (2 - 1)*b*-4 a multiple of 4?
True
Let o(t) = -t**3 - 11*t**2 - 11*t - 8. Let q be o(-10). Suppose -19 = -k + q. Does 21 divide k?
True
Suppose 0 = 2*v + 2 - 56. Suppose -v = -c - 4. Is c a multiple of 23?
True
Let h = -296 + 504. Does 13 divide h?
True
Let b(y) = -8*y**3 - 2*y**2 - 5*y. Let g(w) = -8*w**3 - 3*w**2 - 6*w. Let f(v) = -5*b(v) + 4*g(v). Let c = 0 - -1. Does 3 divide f(c)?
False
Let j(w) be the first derivative of -w**3/3 - 5*w**2/2 + 4*w - 3. Let g be j(-5). Suppose g*r - 72 = 2*r. Does 18 divide r?
True
Let y(q) = -122*q**3 - q**2 + 1. Is y(-1) a multiple of 6?
False
Let p(y) = y**3 - 11*y**2 + 5*y - 15. Let c(t) = 11*t**2. Let h be c(-1). Is p(h) a multiple of 8?
True
Let v(j) be the second derivative of j**6/360 - j**5/30 - j**4/8 - j**3/3 - 2*j. Let h(r) be the second derivative of v(r). Is 9 a factor of h(7)?
True
Let l(n) = n**2 + 13*n - 50. Is 6 a factor of l(-22)?
False
Suppose 3*b = -18 + 117. Suppose k + 0*k = b. Is k a multiple of 11?
True
Suppose 0 = -4*u + 40 + 16. Is u even?
True
Let l(s) = -s**3 + 7*s**2 - 4*s - 7. Let x be l(6). Let o = 2 - -1. Suppose -x*m = -o*d + 62, -12 = 5*m - 2*m. Is d a multiple of 5?
False
Suppose 3*d = -0*d + 54. Does 12 divide 2/4*2*d?
False
Is -1*(1 + 2)/(-3)*49 a multiple of 7?
True
Let c(t) = 10*t - 2. Let d(f) = 3*f - 1. Let z(j) = 4*c(j) - 11*d(j). Let l(s) = s**3 - 5*s**2 + s - 2. Let x be l(5). Does 9 divide z(x)?
False
Let h(b) = 11*b**2 + 3*b. Suppose 3*d + 8 = 2. Is 14 a factor of h(d)?
False
Let r be (-57)/(-21) - (-6)/21. Suppose z - r*z + 36 = 0. Is 10 a factor of z?
False
Suppose 2*s = 2*c - 150, -3*s + 4*c = -0*c + 224. Does 19 divide 3*(0 + s/(-6))?
True
Suppose 0 = -k + 3, 0 = 4*x - 4*k + 21 + 15. Let b = 4 - x. Does 10 divide b?
True
Suppose n = 2*y + 41 + 10, -4*y = 4*n + 132. Let f = 41 + y. Is f a multiple of 13?
True
Suppose 5*w = -5*p + 470, -2*p = 6*w - w - 197. Does 14 divide p?
False
Let w be (-6)/8*72/(-27). Suppose -2*l + 5*n + 104 = 0, -w*n + 12 = -3*l + 190. Is l a multiple of 15?
False
Let n = 2 - -2. Supp