?
True
Let n(v) be the first derivative of -v**4/4 + 7*v**3/3 - 5*v**2/2 + 4*v + 2. Is n(6) a multiple of 9?
False
Let f(y) = -y**3 - 3*y**2 - 4*y - 1. Let m be f(-3). Suppose -2*k + m = -k - 3*b, 0 = -k - 4*b - 10. Suppose 114 = k*l + 30. Is 13 a factor of l?
False
Let j = 351 + -213. Is 22 a factor of j?
False
Suppose 3*p = -4*f - 28, -f = -3*f - 3*p - 14. Let r(a) = -7*a - 2. Let l(g) = -8*g - 1. Let u(d) = -5*l(d) + 6*r(d). Is u(f) a multiple of 6?
False
Let o(n) = -n**3 + 2*n**2 + 3*n - 3. Does 7 divide o(-2)?
True
Suppose g - 7*g = -48. Is g a multiple of 8?
True
Suppose 2*c - 68 = -2*c. Suppose c + 47 = 4*r. Is 14 a factor of r?
False
Let d be 2 - (-3)/((-9)/(-12)). Suppose 108 = -2*z + d*z. Is z a multiple of 17?
False
Let x = 68 + -59. Is x a multiple of 3?
True
Suppose 3*a - 6*v + v = 295, 4*v + 8 = 0. Does 19 divide a?
True
Suppose -5*y + 4*l + 27 = 0, -3*l + l = 5*y - 9. Is 13 a factor of 1*(y - -10)/1?
True
Let u be -1 - -3 - (-8 + -6). Suppose h + 41 = 4*w, 0 = 2*w - 0*w - 2*h - u. Does 11 divide w?
True
Suppose 2*y - 4*l = 32, -43 = -3*y + 2*l - 11. Does 5 divide y?
False
Suppose -3*f + 0*f + 29 = 5*p, 0 = 3*f + 2*p - 17. Suppose b + 5*u - 21 = 0, 5*b - f*b + 4*u = 24. Suppose -b*o = -4*o - 40. Is o a multiple of 13?
False
Let y(r) = r**2 - 5*r + 8. Let s be y(7). Suppose -23 = 5*o + s. Let a = 17 + o. Is a a multiple of 6?
False
Let j(z) = 108*z**2 - 3*z + 2. Is 6 a factor of j(1)?
False
Let q(t) = -12*t - 12. Does 28 divide q(-8)?
True
Let l be 9*3 - (3 - 2). Suppose 0*f = -2*f + l. Does 9 divide f?
False
Let t(f) = -f**3 + 10*f**2 + 2*f + 7. Let l be 6/8 - (-148)/16. Is 27 a factor of t(l)?
True
Suppose -34 = -3*d + 251. Suppose -5*u - 3*v = -0*u - 95, 5*u - v = d. Let y = u + -10. Is 9 a factor of y?
True
Let v(f) = 35*f + 16. Is 61 a factor of v(10)?
True
Let i be (2 + 0 + -3)*27. Let y = i - -34. Is y a multiple of 5?
False
Suppose 3*s + 4*h - 20 = 0, 3*h - 8*h + 16 = 3*s. Is 4 a factor of s?
True
Suppose -3 = -l - 5*m + 18, 4*l - 68 = -4*m. Is l a multiple of 2?
True
Suppose -88 = -5*u + u. Is 11 a factor of (u/(-4))/(2/(-4))?
True
Let c = 24 + -12. Suppose -v - c = 3*v. Does 3 divide ((-9)/(-6))/v*-6?
True
Let v be (-4 + (-2)/(-2))/(-1). Suppose c = -2 - v, 3*q - 4 = -c. Is 3 a factor of q?
True
Is (4/6)/((-9)/(-81)) a multiple of 3?
True
Suppose -270 = -j + 5*x, -j + 0*x = x - 288. Does 15 divide j?
True
Let h = -194 + 344. Is h a multiple of 10?
True
Let r be (-2)/(-5) + 38/5. Is 3 a factor of ((-12)/10)/(r/(-20))?
True
Suppose 9*i = 6*i - 5*s + 375, -i + s + 125 = 0. Is i a multiple of 8?
False
Let o = 8 - -67. Does 15 divide o?
True
Suppose 0 = -41*g + 39*g + 122. Is g a multiple of 22?
False
Is 7 a factor of (-28)/(-154) + 163/11?
False
Let h = 78 - 51. Let z = -4 - h. Let j = 63 + z. Does 11 divide j?
False
Suppose -2*d = -5*d - 5*r + 78, -r + 87 = 4*d. Does 15 divide 2 + (-1)/((-1)/d)?
False
Suppose -704 = -2*y - k, 0 = 4*y - 7*y + k + 1051. Is y a multiple of 41?
False
Is 25 a factor of (-15)/2*10/(-3)?
True
Let f(r) = 3*r**2 - 6. Does 17 divide f(-5)?
False
Let i(y) be the first derivative of -y**5/60 - y**4/12 - y**3/3 - 1. Let t(u) be the third derivative of i(u). Is t(-3) a multiple of 2?
True
Let b(n) = 22*n**2 + 2*n + 2. Is b(-1) a multiple of 11?
True
Suppose 3*z = 12, -7*z + 14 = -3*x - 2*z. Suppose 0 = 4*o - x*o - 10. Is 3 a factor of o?
False
Suppose 0 = m + 4*m + 205. Let a = m - -89. Does 16 divide a?
True
Let m(w) = 8. Let p(q) = -q - 1. Let r(k) = m(k) + 5*p(k). Let t be r(-6). Let i = t - 13. Is 10 a factor of i?
True
Let q = 100 + -54. Let a = -31 + q. Does 9 divide a?
False
Let o(u) = -2*u**3 - 10*u**2 + 10*u + 8. Let k be o(-8). Does 9 divide k/22 - 4/22?
False
Suppose -5*f = -f - 2*x + 2, -5*f = 4*x - 4. Let a(b) = b + 4. Let j be a(f). Suppose 2*q - 26 = -j*m, -26 = q - 5*q + 5*m. Does 9 divide q?
True
Suppose 9 = 2*p - 13. Suppose -5*a = -2*m - 2*a - 15, 5*a = -5*m + 25. Is 11 a factor of m + p + (0 - -2)?
False
Suppose 335*y = 330*y + 275. Is y a multiple of 6?
False
Let y(z) = 59*z**2 - 4*z + 5. Is y(1) a multiple of 20?
True
Let f = -4 - -28. Does 8 divide f?
True
Suppose -s - 4*s + w - 2 = 0, 4*s = -3*w + 6. Suppose 4*j = 3*h + 90, 2*j - 4*h + s - 40 = 0. Does 7 divide j?
False
Suppose 5*a + 24 = 3*a. Let m = a + 44. Suppose p = 2*k + m, 0 = 2*p - 0*k - 3*k - 59. Is p a multiple of 16?
False
Let c(q) = -q**3 - 4*q**2 - 4*q - 30. Does 6 divide c(-6)?
True
Let w(b) = 2*b**2 + 4*b. Let y(i) = 3*i**2 + 9*i - 1. Let f(d) = -5*w(d) + 3*y(d). Does 4 divide f(5)?
False
Let v = 62 + -36. Let f = 51 - v. Is 10 a factor of f?
False
Suppose -4 = 19*d - 15*d. Is d*8/2 - -15 a multiple of 11?
True
Let n = 32 - 6. Does 26 divide n?
True
Let k(w) = 17*w + 8. Is 42 a factor of k(2)?
True
Suppose 5*i + y + 5 = 462, 0 = -2*i + 2*y + 178. Is 28 a factor of i?
False
Suppose n + 2*x - 26 = -4, n + x - 24 = 0. Does 9 divide n?
False
Suppose u = -0*u + 2. Let b be (-3)/u - (-55)/2. Let r = b - -1. Is r a multiple of 9?
True
Let a be 5*((-26)/10 + 3). Let k = a + 7. Is k a multiple of 9?
True
Let r(n) = n**3 - 2*n + 1. Let k be r(1). Suppose 0 = -5*d - 20, 4*o - d + 3*d - 176 = k. Does 10 divide o?
False
Suppose -4*m + 204 = -0*m. Is 15 a factor of m?
False
Let u = -81 + 140. Is u a multiple of 17?
False
Let n = -57 + 126. Let w be -1 + 5 + 2 + -1. Suppose -2*c + w*c = n. Is 23 a factor of c?
True
Suppose -34 = 2*u - 6. Let c = -2 - u. Is 4 a factor of c?
True
Suppose -4*i = -t - 190, 2*i - 50 = i - t. Is i a multiple of 48?
True
Is 29 a factor of (-5 - -46*2)*1?
True
Let o(r) = r**3 - 5*r**2 - r + 7. Let i be o(5). Suppose -k + 5*n + 76 = 0, 5*n + 18 = i*k - 119. Suppose -k = -5*s + 79. Is 14 a factor of s?
True
Suppose 0*c - 205 = -5*c. Is c a multiple of 11?
False
Suppose 0 = 3*u + 4*v - 164, -2*u + 7*u - 285 = 5*v. Is 21 a factor of u?
False
Let c = 1 - -2. Suppose 3*l - 18 = c*j, -2*j - 18 + 5 = -3*l. Let p = l + 10. Does 11 divide p?
True
Let h(c) be the second derivative of c**6/60 - c**5/60 + c**4/12 - c**3/3 + c**2 + c. Let u(f) be the first derivative of h(f). Does 6 divide u(2)?
False
Let a be -6*7/((-42)/4). Suppose 0 = 2*t - 0*t - 8. Is 7 a factor of (a/10)/(t/140)?
True
Let r(g) = 16*g - 12. Is r(2) a multiple of 5?
True
Let u(c) = -c**3 - 2*c**2 + 3*c + 4. Let x be u(-3). Suppose -3*g - 5*k = -1, -2*g - 3*k - 7 = -x*g. Is g even?
True
Let q(c) be the third derivative of -c**5/60 + c**4/4 + c**3/2 + c**2. Let k be q(6). Suppose 4*l + 4*m - 32 = 0, 2 = 4*l - k*m + m. Does 2 divide l?
False
Let q be 84/18 - 2/3. Suppose 0 = -2*d - j - 3*j + 90, -q*d + 188 = 4*j. Is 33 a factor of d?
False
Suppose 2*w + 122 = -0*p + 3*p, -3*w - 88 = -2*p. Is 19 a factor of p?
True
Let i(b) = -b**2 + 15*b + 10. Does 19 divide i(10)?
False
Suppose 1 = 4*z - 11. Suppose 2*s = 4*m - 76, m + 0 = -5*s - z. Is 7 a factor of m?
False
Suppose 11 = x + 6. Is 3 a factor of x?
False
Let o be (-1050)/(-9) - 4/6. Let r = o + 1. Suppose 0*h - 3*h + r = 0. Does 18 divide h?
False
Let r(b) = b + 1. Let x be r(-2). Let z(y) = -25*y**3 - 3*y - 2. Is 13 a factor of z(x)?
True
Suppose 10*i - 5 = 5*i. Suppose v = i - 36. Let z = v - -73. Does 19 divide z?
True
Suppose 0*a = -2*l - 3*a + 7, l - 2 = -a. Let s(z) = -10*z**2 - 5*z - 4. Let g(n) = 30*n**2 + 14*n + 11. Let h(r) = 3*g(r) + 8*s(r). Is 3 a factor of h(l)?
True
Suppose 0 = -4*k + 2 + 6. Suppose k*a - 56 = -v, v = 2*v - 4. Is 26 a factor of a?
True
Let c = 43 + -7. Is c a multiple of 6?
True
Is 13 a factor of (-6)/4*156/(-9)?
True
Let l(g) = g**3 - g**2 - g + 3. Let k(d) = -2*d**3 + d**2 + d - 2. Let a(i) = 2*k(i) + 3*l(i). Does 5 divide a(0)?
True
Let t(q) = -q + 110*q**2 + 2 + 19*q**2 - 1. Let o be t(1). Suppose -5*b + o = 44. Does 5 divide b?
False
Suppose -1 = -a + 1. Suppose a*g = -g. Suppose g = u + u - 24. Is u a multiple of 6?
True
Let x(s) = -s**3 - 8*s**2 + 13*s - 5. Let c(b) = 2*b**3 + 16*b**2 - 27*b + 11. Let z(g) = -2*c(g) - 5*x(g). Is 5 a factor of z(-9)?
False
Let c(l) = l + 13. Let i be c(-6). Let v(f) = -f**3 - f**2 + f + 10. Let r be v(0). Let o = i + r. Is 17 a factor of o?
True
Let i(l) = -2*l + 2*l - 4 + 4*l. Let s = -1 + 7. Is i(s) a multiple of 20?
True
Does 8 divide -2*((-125)/2)/5?
False
Suppose 0 = -5*k - 9 - 1. Let b(g) = g + 2. Let n be b(k). Let x(y) 