f t?
True
Let k(i) = -i**2 - 11*i - 7. Let g(h) = h**3 + 4*h**2 - 2*h + 6. Let d be g(-5). Is k(d) a multiple of 11?
True
Let x(m) = 2*m**2 + 7*m - 11. Is 13 a factor of x(-6)?
False
Suppose -2 = -3*k + k. Let j be (-2)/k + (-2)/1. Does 4 divide (j + 2)/(-1) - -7?
False
Let r = -12 - -33. Let s = r - 9. Is s*2/(-12)*-3 a multiple of 5?
False
Suppose 4*q - 4*a + 8 = 0, 5*q - a = 2*q + 4. Does 23 divide ((-2)/(-4))/(q/138)?
True
Suppose -b + 3*c = -1, 3*c - 1 = 5*b - 3*b. Let d be (2 - (0 - b))*1. Suppose 0 = p - 4 - d. Is p a multiple of 2?
True
Let s = -14 - -50. Suppose 0 = -4*x + 20, -c + 0*c - 3*x + s = 0. Let d = -9 + c. Is 6 a factor of d?
True
Suppose k = 4*i - 124, 2*k = -i + 6*k + 46. Suppose -u = 4*n - 8*n + 36, 5*n - 45 = 2*u. Suppose -3*g = n - i. Is g even?
False
Does 13 divide (3 + 0)*(-26)/(-3)?
True
Let p(m) be the third derivative of m**5/60 + m**4/4 + 2*m**3/3 - 4*m**2. Is p(-6) even?
True
Let y(k) = 4*k + 1. Let l = 17 - 15. Is y(l) a multiple of 3?
True
Let r(d) = -5*d - 4. Is r(-5) a multiple of 4?
False
Suppose -4*w - 25 = -x, 2*x + w - 15 = -2*x. Let b = x + 25. Does 10 divide b?
True
Let g(q) = q**2 + 1. Let o be g(1). Suppose o*u = -2*u - f + 17, -4*f = -4. Let a = 13 - u. Is 5 a factor of a?
False
Let x be ((-3)/9)/(4/(-36)). Suppose -4*m + 11 + 15 = -x*a, -4 = -2*m - 3*a. Does 5 divide m?
True
Let p be (4 - (-78)/3) + -1. Is 12 a factor of (-7)/(7/3) + p?
False
Suppose 0 = 2*i + 5*k + 66, -i - 7 - 4 = -3*k. Let a = i - -39. Is 10 a factor of a?
False
Let l be 1/(-3) + 80/6. Let h = l + -5. Is h a multiple of 8?
True
Let j = -56 - -96. Is 8 a factor of j?
True
Suppose -c = -5*c + 2*m + 138, -5*c = -2*m - 174. Is c a multiple of 9?
True
Is (3 - -22)/(2*(-2)/(-20)) a multiple of 25?
True
Suppose 2*s - 4*s - 1086 = -4*j, 797 = 3*j - 5*s. Does 31 divide j?
False
Let a(z) = -3*z - 9. Let y(l) = l. Let h(w) = a(w) + y(w). Let k be h(-6). Suppose 0*o + 60 = k*o. Is 10 a factor of o?
True
Suppose -2*d + 3*d - 144 = 0. Is d a multiple of 9?
True
Let l(z) = 3*z**2 + 10*z - 16. Does 31 divide l(-9)?
False
Let t = 25 + 67. Is 6 a factor of t?
False
Let f be ((-8)/(-12))/(1/36). Does 12 divide f - 0*(-1 + 2)?
True
Let m(a) = a**3 + 6*a**2 + 2. Let q be m(-6). Let p be (0 + q)*(1 + 0). Suppose -30 = -u - p*u. Is u a multiple of 7?
False
Let k(q) = q + 6. Suppose -2*r + 0 = 4*n + 26, 16 = -2*n - 4*r. Let p be k(n). Suppose -32 + p = -d. Is 16 a factor of d?
True
Suppose s - 8 = -3*c, s - 9 = -2*c - 2. Let h = 9 - c. Is 4 a factor of h?
True
Suppose -76 = -2*g - 2*g. Suppose -5*y - g - 6 = 0. Does 14 divide (-2)/(-5) + (-128)/y?
False
Let g = -26 - -40. Is g a multiple of 14?
True
Let d = -172 - -272. Is 19 a factor of d?
False
Suppose -3*v = -7 - 74. Is v a multiple of 15?
False
Suppose 5*g - 40 = 3*h, 0 = 2*h - h. Let y be 258/(4/2 - 1). Is y/g + (-3)/12 a multiple of 14?
False
Let d(w) = -47*w**3 - 2*w**2 + 1. Let b be d(-1). Let r be 624/21 + (-2)/(-7). Let h = b - r. Does 6 divide h?
False
Let t be -2*(-3)/(-3) - -5. Does 14 divide 3 - (t + (-2 - 33))?
False
Suppose -h + 43 = 4. Suppose 0*x = 3*x - h. Is x a multiple of 13?
True
Let b(x) = 20*x - 3. Suppose 2*p = 3 - 9. Let d = -1 - p. Is b(d) a multiple of 15?
False
Suppose -4*n - 5*x + 211 = -214, 3*x = -9. Is 22 a factor of n?
True
Let s(m) = m**3 - 4*m**2 + 5*m + 38. Is 22 a factor of s(7)?
True
Let l = 9 + -6. Let d be 3 + (0/(-1) - l). Suppose d = -3*h + h + 52. Is 7 a factor of h?
False
Let r(g) = g**3 - 3*g**2 - 2*g - 2. Is 3 a factor of r(4)?
True
Let t be (-2 + 3 + -4)*-1. Suppose -t*x = 3*p - 111, x + 0*x = -5*p + 29. Does 13 divide x?
True
Let x(a) be the second derivative of 7*a**3/3 + a**2 - 4*a. Is 15 a factor of x(2)?
True
Suppose -2*g - 3*g - 30 = 0. Let z(j) = -2*j**2 + 12*j - 2. Let f(h) = -h**2 + 6*h - 1. Let n(p) = g*z(p) + 13*f(p). Is n(5) a multiple of 2?
True
Let o(b) = 14*b + 3. Let z be o(-3). Let q = 14 - z. Is q a multiple of 14?
False
Let l(v) = v**3 + 9*v**2 + 12*v + 4. Is l(-6) a multiple of 8?
True
Suppose 0*q - 112 = 4*q. Is q/(-6)*(-6)/(-1) a multiple of 10?
False
Suppose 0 = 2*v - 0 + 18. Does 5 divide (-3 - -2 - v) + 1?
False
Suppose 195 = q + 4*r, 5*q - 247 - 812 = r. Is q a multiple of 10?
False
Let a be 7/21 - 335/(-3). Suppose 3*m = a + 68. Does 16 divide m?
False
Suppose -3*i - 3 - 6 = 0, 0 = -5*c + 5*i. Does 24 divide (-6)/18 + (-154)/c?
False
Let n(u) = u**3 - 5*u**2 - 8*u - 8. Let v be n(7). Suppose -v = -p + 2*s + 36, 5*p - 4*s - 356 = 0. Does 15 divide p?
False
Let m(g) = g. Let t(a) = 9*a - 1. Let x(s) = 4*m(s) - t(s). Let u(q) = q**2 - 4*q - 5. Let j be u(4). Is x(j) a multiple of 13?
True
Let q be (1/(-3))/((-2)/30). Suppose -4*r + 3*c = -q, -10 = -0*r + 2*r - 4*c. Does 2 divide r?
False
Let f(b) = -b**3 + 10*b**2 - 11*b. Does 17 divide f(8)?
False
Is 27 a factor of ((-36)/(-14))/(2/42)?
True
Suppose 3*c + c = 20. Let r be (-488)/(-10) - (-1)/c. Let v = r + -33. Is v a multiple of 11?
False
Let h(s) be the second derivative of 5*s**4/12 - s**3/6 + s**2/2 - 2*s. Does 14 divide h(2)?
False
Suppose -3*o - 2*o - 2*x = -6, -4*x = -12. Let u(y) = 3*y - 1. Let z be u(5). Suppose o*a - 2*a + z = 0. Is a a multiple of 7?
True
Let t(j) = -j**3 - 4*j**2 + 5*j - 7. Let o be t(-5). Let v be 4/(-18) - (-16)/(-9). Is v/o + 40/7 a multiple of 3?
True
Suppose -4*b = -7*b - 42. Let o = b + 31. Does 17 divide o?
True
Suppose 5*u - 29 = -4. Suppose -u*g + 2*g + 21 = 0. Does 3 divide g?
False
Does 23 divide 114 + (-3)/(-3) + 0/(-3)?
True
Is 3 a factor of (-4)/22 + (-70)/(-22)?
True
Is 2 a factor of ((-4)/(-6))/(6/(124 - -2))?
True
Let u = 60 - 32. Does 6 divide u?
False
Let q(p) be the first derivative of -5*p**2/2 - 7*p - 4. Does 19 divide q(-9)?
True
Let v = -11 - -15. Suppose 2*n = s + v*s - 4, 0 = -5*n - 3*s + 21. Suppose 0 = -n*y + 2*d + 27 - 3, -4*y + 39 = -5*d. Is y a multiple of 3?
True
Suppose 0 = -22*l + 8*l + 3444. Does 21 divide l?
False
Suppose -1778 - 606 = -8*l. Does 11 divide l?
False
Let o = 20 + 54. Suppose -s - 2*s + 67 = 5*u, -u - o = -4*s. Is s a multiple of 15?
False
Let n(k) = -k**2 + 11*k + 4. Let a be n(11). Is (2 + -8)*(-2)/a a multiple of 3?
True
Suppose 2*w - 6*w = -c + 2, -2 = -2*w. Does 2 divide c?
True
Let t(w) be the third derivative of w**5/60 + 3*w**4/8 + 2*w**3/3 + w**2. Is 6 a factor of t(-11)?
False
Let o(q) = q**2 - 2*q + 5. Let w(d) = d**2 - 6*d - 10. Let k be w(8). Is 14 a factor of o(k)?
False
Let n = -13 - -12. Does 13 divide (n + 4 - 3) + 33?
False
Suppose -4 = -5*x + 6. Suppose k = 6 - x. Suppose -26 = -k*m + 106. Is m a multiple of 9?
False
Suppose 4*z + 127 - 27 = 0. Is 14 a factor of z/(-1) - (-3 + 0)?
True
Let x be (-756)/(-24) - 1/2. Suppose 3*p - 184 = 3*m - x, m = -2*p + 114. Is 32 a factor of p?
False
Suppose 2*f - 5*f = h - 128, -44 = -f - h. Does 21 divide f?
True
Suppose -4*h + 0*h = 0. Suppose 0*t + 4*t + 4 = h. Is 3 a factor of t - (1 + 3)*-2?
False
Let k be 164/9 + 12/(-54). Suppose 0*o = -4*o + 5*q + 55, 0 = -3*o - 4*q + k. Is o a multiple of 5?
True
Let y(a) = 21*a - 4. Let l be y(4). Suppose -2*j + 30 = -l. Is 10 a factor of j?
False
Let w(f) = -20*f - 5. Let c(s) = 7*s + 2. Let m(y) = 17*c(y) + 6*w(y). Let p be m(5). Is 11 a factor of p/(((-6)/(-22))/(-3))?
True
Suppose -3*t + 0*t = 30. Let m(l) = -2*l + 8. Is 14 a factor of m(t)?
True
Suppose 4*z = 2*z + 8. Let v(s) = -s + 146. Let x be v(0). Does 13 divide x/z - 1/2?
False
Suppose -2*b + 1 = -5*t, -3*b - 4*t + 7 = -2*b. Let g(c) = -c**3 + c**2 + c - 3. Let d be g(b). Does 4 divide (-1)/2 - d/4?
True
Let m = 460 + -237. Does 21 divide m?
False
Is 5 a factor of 312/20 - 6/10?
True
Let b(t) = -t + 1. Let v(s) = 6*s + 6. Let j(x) = -2*b(x) - v(x). Is j(-8) a multiple of 12?
True
Suppose -2*g = -q + 9, -2*g - 15 = -4*q - g. Suppose 3*u = -0*u - 4*f + 51, -q*f = -5*u + 114. Does 14 divide u?
False
Let a(f) = f**2 - 3*f - 3. Let i be a(4). Let c(y) = 8*y**2 - 1. Is 7 a factor of c(i)?
True
Let y = 24 + 27. Is y a multiple of 3?
True
Suppose 0*p - 2*p = 0. Let b = 0 + p. Suppose 3*h + 14 = s, b*s - 2*h - 15 = -s. Is s a multiple of 7?
False
Let h be 4*(27/12)/3. Suppose -17 = -3*u + 2*z, 4*z - h*z = 5*u - 19. Suppose -3*t = -5*o - 57, -t = -u*o + 3 - 26. Is t a multiple of 8?
False
Suppose 16*j = 19*j - 192. Does 4 divide j?
True
Let j(q) = 4