*5/60 - 5*b**4/12 + 2*b**3 - 4*b**2. Is k(-9) a multiple of 20?
False
Is 41 a factor of (5 + -11)*82/(-6)?
True
Let c = 18 - 13. Is 15 a factor of (-203)/(-5) - (-2)/c?
False
Let m(z) be the third derivative of -23*z**6/60 - z**5/60 + z**4/24 + z**3/6 + 3*z**2. Is m(-1) a multiple of 15?
True
Let z = -22 + 49. Suppose -4*j + z = -29. Suppose -t - 2 = -j. Is 6 a factor of t?
True
Let z(p) = 49*p**3 - p**2 - p + 1. Let i be (-4)/5 - 36/(-20). Does 16 divide z(i)?
True
Suppose -v - 5*o = -2*o - 18, v + 2*o = 13. Suppose 0 = k - v - 14. Is 6 a factor of k?
False
Let t(z) = z**2 + 2*z - 1. Is 17 a factor of t(8)?
False
Let m(z) = -z - 14. Let n(l) = -15. Let w(q) = 4*m(q) - 3*n(q). Is w(-12) a multiple of 12?
False
Let f(g) = -g + 16. Is 12 a factor of f(-8)?
True
Let p = 3 + -1. Suppose 42 = n + p*n. Is 12 a factor of n?
False
Let w = -4 + 8. Suppose -w + 11 = t. Is t a multiple of 7?
True
Let a(x) = 20*x**2 - 30*x - 26. Let k(b) = 7*b**2 - 10*b - 9. Let d(h) = -h**2 + 4*h - 6. Let g be d(4). Let z(i) = g*a(i) + 17*k(i). Is z(7) a multiple of 12?
True
Let n = -8 + 74. Is 11 a factor of n?
True
Suppose -5 = -4*v + 11. Suppose 2*n = -v*p + 146, 0 = p + 4*n - 31 - 16. Does 9 divide p?
False
Suppose -r = 4*w - 0*r - 21, -6 = -4*w + 2*r. Let z(c) = 2*c**3 - 3*c**2 - 5*c. Is 30 a factor of z(w)?
True
Suppose 0*m + 2*m - 10 = 0, 4*r + 2*m = 90. Does 5 divide r?
True
Suppose -4*o - c + 25 = -94, 0 = -5*c - 5. Does 5 divide o?
True
Let p(j) = -j**2 + j + 47. Let h be p(0). Suppose 2*i - 7*i + k + h = 0, -28 = -4*i - 4*k. Is i a multiple of 4?
False
Let i(n) = -2*n + 10. Let j be i(-12). Let x = j + -21. Is x a multiple of 6?
False
Let v = -79 + 111. Does 13 divide 95/(-2)*v/(-20)?
False
Suppose -2*w + 0*w = -4*b - 50, -3*b = 5*w - 151. Is 19 a factor of w?
False
Does 21 divide 26/(-39) + (-364)/(-6)?
False
Let y(u) = -u**3 + 10*u**2 - 10*u + 7. Is 21 a factor of y(7)?
True
Let d = -36 - -43. Is 3 a factor of d?
False
Suppose -2*j = -j. Does 18 divide 19 + -1 - j/(-1)?
True
Is 2 a factor of (-4)/(((-6)/(-4))/(-3))?
True
Let l(i) = i**3 + 5*i**2 - 8*i + 5. Let m be l(-6). Let u be 6/3 + -5 - m. Is 13 a factor of (-8)/u - 266/(-10)?
False
Let s be ((-15)/20)/((-1)/12). Suppose h + 1 = s. Is h a multiple of 8?
True
Is (133/(-42))/(1/(-3))*2 a multiple of 6?
False
Let h(m) = m**2 + 9*m - 10. Let l be h(-10). Suppose b = -l*b. Let c = 6 + b. Is c a multiple of 6?
True
Let n(q) = -q**2 + 5*q - 3. Suppose -2*r = -3*k + 11, -r = -k + 3*r + 7. Let u be n(k). Does 16 divide ((-19)/(-3) - 1)*u?
True
Suppose 5*t = 8 - 3. Let u(s) = 52*s + 1. Is 21 a factor of u(t)?
False
Let k = 99 + -53. Does 10 divide k?
False
Let r = 2 + 1. Suppose -r*m - 27 + 210 = 3*b, -b + 91 = -5*m. Suppose 0*w = -3*w + b. Does 11 divide w?
True
Let x = 198 - 137. Is x a multiple of 25?
False
Is (-2 + 2 + 1)/((-4)/(-272)) a multiple of 16?
False
Suppose -18 = -2*t - 4*x, -3 = -2*t + x + 5. Suppose 2*v - 125 = -5*w, -t*v + 3*w + 9 = -288. Is v a multiple of 30?
True
Let z(b) = b**3 + 4*b**2 - 5*b. Let r be z(-5). Let h = r + 3. Suppose 4*a = -h*g + 83, 2*g + 2*g - 104 = -2*a. Does 14 divide g?
False
Is 30 a factor of (-1300)/(-21)*3 - 2/(-7)?
False
Let f(n) = -89*n**3 + n**2 - n - 1. Let p be f(-1). Is 6 a factor of 1632/p - 4/30?
True
Let j = -72 - -138. Is j a multiple of 11?
True
Suppose 17*k = 15*k + 120. Is k a multiple of 20?
True
Let m(d) = -d**3 + 2*d**2 + 11*d + 6. Does 40 divide m(-6)?
False
Is 16 a factor of (-8)/((-16)/(-3))*-64?
True
Let j be (3 - 1)*(2 + -1). Suppose 0 = 5*i, -4*i = 3*r - 1 - j. Is (r*-2)/((-1)/31) a multiple of 17?
False
Is 4 a factor of (-6)/(-4)*5/(75/40)?
True
Suppose -4*q - 4*j - 7 = 5, -25 = 5*j. Let f(i) = 11*i. Does 10 divide f(q)?
False
Let y(t) = 1. Let c(a) = 6*a + 14. Let r(f) = 3*c(f) - 42*y(f). Does 9 divide r(2)?
True
Let g be 48/9*18/(-4). Let r = -3 + g. Does 19 divide (r + 0)*(-2 + 1)?
False
Let d = -2 + 27. Is d a multiple of 7?
False
Let r = 19 - -6. Is 25 a factor of r?
True
Let o(y) = y**3 + 14*y**2 + 11*y - 18. Does 17 divide o(-11)?
False
Suppose 17 - 215 = -6*n. Is n a multiple of 33?
True
Suppose 0*i + 2*i - 201 = -5*t, -3*t = i - 103. Is i a multiple of 22?
True
Let s(w) be the first derivative of -1/2*w**2 + 22*w + 1. Does 11 divide s(0)?
True
Suppose 3*o - 34 = -391. Let c = -71 - o. Does 16 divide c?
True
Let k(f) = 7*f**2 + 3*f + 4. Is 7 a factor of k(-3)?
False
Let l(v) = v + 12. Let z be l(-7). Suppose -t + 7 = z*m - 8, 3*t - 45 = -5*m. Is 1/((-9)/(-24))*t a multiple of 15?
False
Let a(h) = h**2 - 4*h + 7. Let v be a(6). Suppose 0 = -3*f + v + 2. Does 7 divide f?
True
Let k(m) = -m**2 - 7*m - 1. Let v be k(-6). Suppose 5*i - 53 - 17 = -5*s, v*i - 58 = s. Does 12 divide i?
True
Suppose 4*x - 16 = 152. Let p = 64 - x. Suppose -a + i = 3*a - p, -i = a - 8. Is 3 a factor of a?
True
Suppose 170 = 4*s + 2*x - 4, 2*s = -3*x + 77. Let v = -27 + s. Suppose 5*o - 56 = 2*w, -o + 2*w + v = -w. Is o a multiple of 5?
True
Suppose -7*w = -11 - 24. Does 2 divide w?
False
Let w = 13 + 2. Suppose h - 59 = w. Is h a multiple of 14?
False
Suppose 5*i - 25 = 0, 0 = -y + i - 2 - 1. Suppose g = 4, -g + 168 = y*z + 2*z. Is z a multiple of 14?
False
Let w(u) = 52*u + 1. Let r be w(3). Let j = r - 66. Let p = -60 + j. Is 19 a factor of p?
False
Let u(k) = 2*k + 2. Is 3 a factor of u(2)?
True
Let w(c) = -c**3 + 2*c**2 - 11. Is w(-4) a multiple of 20?
False
Let k(g) = g - 3. Let s be k(7). Suppose -3*v + v - s = 0. Let q(d) = 4*d**2 + 1. Does 14 divide q(v)?
False
Let q = -10 - -12. Suppose 4 = -y + q*y. Is y a multiple of 4?
True
Is 3 a factor of (3/(-2))/(3/(-16))?
False
Let t be 9/2 - 18/12. Suppose 5*v - 54 = -t*p + 70, -p - 106 = -4*v. Is v a multiple of 17?
False
Suppose f + 3*p + 51 = p, p + 114 = -2*f. Let d = f - -86. Does 12 divide d?
False
Suppose -2*t = 3*i - 101, 29 = -4*t - 2*i + 235. Is 13 a factor of t?
True
Let h = 25 - 25. Is 46 + h + -5 + 7 a multiple of 12?
True
Let q be 0/(-2*1/2). Suppose -4 = -t - q. Suppose 5*a + l - 47 = 6, 3*l - 49 = -t*a. Is a a multiple of 10?
True
Let j(c) be the first derivative of -c**3/3 + c**2/2 + 2*c + 1. Let w(u) be the first derivative of j(u). Is w(-2) even?
False
Let m = -49 - 39. Let t = -62 - m. Suppose -2*v - t = -3*v. Is 13 a factor of v?
True
Is 14 a factor of (-124)/(2/(-1)) + 3?
False
Let q(z) be the third derivative of -z**6/15 - z**5/60 - z**4/12 - z**3/6 - 2*z**2. Suppose 0 = -0*f - f - 1. Is q(f) a multiple of 8?
True
Let t(b) = 3*b**2. Let g be t(-2). Is g + 0*1/(-2) a multiple of 6?
True
Suppose 5*k - k - 72 = 0. Is 37 a factor of (-1116)/(-10) + k/(-30)?
True
Suppose -l - 8 = 5*h + 1, l + 9 = -3*h. Let u be l/(-3) + -2 + 3. Suppose -107 + 7 = -u*d. Is 15 a factor of d?
False
Let o(w) = w**3 - 11*w**2 + 11*w - 8. Let q be o(10). Let i(m) = 2*m**2 - 5*m**q - 1 - 2*m**2 + 6*m**2 - 3*m. Does 11 divide i(7)?
False
Let o = -35 - -92. Is 3 a factor of o?
True
Let k be 2/(4/30) + 1. Suppose q + 1 = 0, m - q - 11 = 2*q. Let y = k - m. Is 7 a factor of y?
False
Let v = 2 + 3. Suppose v*s - 80 = 85. Does 11 divide s?
True
Suppose -8 = -2*k + 2, 10 = -3*y + 2*k. Suppose -5*f - 3 + 133 = y. Is f a multiple of 13?
True
Suppose 3*f - 12 = 9. Does 3 divide f?
False
Suppose s - 5*y + 23 + 17 = 0, 0 = 5*s + 2*y + 92. Let d = 67 + s. Is d a multiple of 10?
False
Is (-22)/4*-1*24/3 a multiple of 11?
True
Let o = 279 + -148. Is 31 a factor of o?
False
Let m = -1 - -11. Is 5 a factor of m?
True
Suppose -q = 5, 0 = -g - g - 3*q + 69. Does 14 divide g?
True
Let a(u) = 3*u - 14. Is a(9) a multiple of 13?
True
Suppose -u + 9 = -b, -4*u - 2*b = b - 29. Let r(n) = n**2 - 7*n + 9. Let q be r(6). Let t = q + u. Is 4 a factor of t?
False
Let j(i) = i**3 - 8*i**2 + 12*i - 24. Is 12 a factor of j(8)?
True
Suppose -20*l + 940 = -16*l. Is 14 a factor of l?
False
Is 12 a factor of 3/((15/12)/5)?
True
Let k(q) = q**2 - 8*q + 11. Let g(w) = 7*w + 1. Let u be g(1). Does 10 divide k(u)?
False
Let j = -9 - -18. Is 1*(-3)/(j/(-66)) a multiple of 11?
True
Let b(d) = 2*d + 55. Is 14 a factor of b(5)?
False
Suppose -2*c + 5*l - 103 = 0, 0*l = -5*c - 3*l - 211. Is 11 a factor of c*1*(-5)/10?
True
Let x(n) = -5*n**3 - 1. Let s be x(-1). Suppose -s*b + 8 = 52. Let w = b + 27. Does 5 divide w?
False
Suppose -4*p + v = -303, 3*p - 213 = 