 7*h**2 + h + 2. Let n be s(8). Let m be (-252)/n + 2/(-3). Suppose -10*f = -m*f - 24. Is 3 a factor of f?
False
Let j(k) be the second derivative of -13*k**3/6 - 17*k**2 + 16*k. Does 2 divide j(-3)?
False
Let y be 100/16 + 3/4. Suppose -6*o + 5*f - 1 = -4*o, 4*o - 5*f = -y. Is 14 a factor of 15/(-4 - o - -2)?
False
Suppose 45 = 5*s - 5. Is 8 a factor of 385/s + 6/4?
True
Suppose 0 = -5*p - 5*h + 635, -p = 2*h - 0*h - 122. Is p a multiple of 6?
True
Let a = 313 + -92. Does 17 divide a?
True
Suppose -6*f = -7*f. Suppose f = 4*j - j - 3*r - 375, r = -j + 117. Suppose -47 = -2*a - 3*b + 6*b, -j = -4*a - 3*b. Does 14 divide a?
True
Suppose 5*d = -4*u + 22, 4*u - 4 = 6*u. Suppose -3*c = -5*z + d, -z - 2*z + 9 = 0. Suppose -3*y + 66 = c. Is 11 a factor of y?
False
Suppose -25 = -h + 18. Suppose 2*r = h + 43. Is r a multiple of 5?
False
Let i(y) = y**3 + 5*y**2 + y + 7. Let l be i(-5). Suppose l*u - 13 = u. Let f = -8 + u. Is f a multiple of 5?
True
Suppose 3*v = -6*u + 5*u + 322, -2*v + 640 = 2*u. Is 9 a factor of u?
False
Suppose t - 5 = -2*w - 75, 135 = -2*t - 3*w. Let q = t + -103. Let n = 237 + q. Is 14 a factor of n?
False
Let z be 2 + (3 + -3)*(-1)/2. Suppose -u + 91 = -0*u + 2*j, 0 = 5*u - z*j - 395. Is u a multiple of 32?
False
Let s(x) = 2*x**2 + 17*x + 28. Is s(19) a multiple of 37?
True
Suppose 0 = 5*x - x - 556. Is 10 a factor of x?
False
Suppose 6*l = 1153 + 1607. Is 59 a factor of l?
False
Let u be (91/(-84) - (-1)/3)*-8. Suppose 1 = k, u*o - k = o + 1424. Is o a multiple of 58?
False
Suppose -s - 154 + 777 = r, 0 = -s + 4*r + 628. Is s a multiple of 13?
True
Suppose -9110 = -10*f - 1200. Is 25 a factor of f?
False
Suppose 0 = 3*w - 6 + 3. Does 7 divide (7 + -7 - (43 - w))*-2?
True
Suppose -6*v = -5*v. Suppose 0 = -3*c - 3*t + 234, 82 = c - v*c + 3*t. Is c a multiple of 13?
False
Let m(f) = 15*f**2 - 2*f. Let h be (-16)/(-12)*(-9)/(-6). Suppose h*y - y = 2. Is m(y) a multiple of 14?
True
Suppose 682 = 3*r - 2375. Suppose -r + 119 = -5*o. Does 12 divide o?
True
Suppose -2*w = -h + 44, 2*w + h + 0*h + 44 = 0. Is 8 a factor of 16/((-11)/w - 7/18)?
True
Let h(l) = -l**3 + 9*l**2 + 11*l - 4. Let g be h(10). Suppose -g + 14 = 4*d. Is 4695/105 - d/(-7) a multiple of 15?
True
Let j = -162 - -380. Is 55 a factor of j?
False
Let l = 51 + -42. Let y = -1 + l. Is y a multiple of 8?
True
Suppose -4*k - i + 14 = i, 0 = -k + 3*i - 7. Let j(y) = 3*y**2 - 4*y**k + 4*y**2 - 4*y**2 - 11*y - 9. Is j(-9) a multiple of 3?
True
Suppose f - 4 + 1 = 0. Let p be ((-2)/(-5))/(f/30). Suppose p + 16 = 2*q. Does 3 divide q?
False
Let s(z) = z - 1. Let g(u) = -u**2 + 4*u + 5. Let t(j) = g(j) + 5*s(j). Let d be t(7). Suppose 5*c + d = 199. Does 37 divide c?
True
Suppose -3*x + 464 = -2*p, 9*x - 4*x = 4*p + 774. Is 11 a factor of x?
True
Let p(f) = f**2 - 9*f - 9. Does 9 divide p(-6)?
True
Let j(l) = l**2 - 18*l - 22. Is j(20) a multiple of 3?
True
Suppose -4*k - 49 = -177. Let v = k - -31. Is 21 a factor of v?
True
Suppose 5*u = -w + 89, 0 = -w + 3*w + 4*u - 148. Does 64 divide w?
True
Let s = -1 - -16. Suppose 3*c = -l - 23, -c - 6*l = -2*l + s. Let j = c - -15. Is 8 a factor of j?
True
Let h(g) = -3*g - 31. Let t(b) = 3*b + 2*b**2 + b**3 - 7*b**2 + 8 - 3*b**2 + b. Let y be t(7). Does 4 divide h(y)?
True
Let u = 310 + 61. Does 22 divide u?
False
Does 26 divide (1128/4)/(4/((-936)/(-27)))?
True
Suppose 25*z = 8741 - 2591. Is 2 a factor of z?
True
Let q be 5/2 - (-1)/(-2). Suppose -4*x + 136 = -q*x. Does 34 divide x?
True
Let v(c) = -10*c**3. Let l be v(-1). Let s = l + 5. Is s a multiple of 5?
True
Let h = -22 - 11. Let u = -23 - h. Is 3 a factor of u?
False
Let p = 302 + -176. Does 7 divide p?
True
Suppose 3*h + 32 = 3*y + 2*y, 2*h + 30 = -y. Let t = h + 59. Is 9 a factor of t?
True
Is 11 a factor of (286/4)/(9/90)?
True
Let p be 0/(-2 - 2) - -7. Suppose p*x - 11*x = -8. Suppose -97 = -x*w + 3*y, -4*w + 147 = -w - 3*y. Does 25 divide w?
True
Let f = 361 - -183. Is 34 a factor of f?
True
Suppose 6*g - 7068 = 288. Does 25 divide g?
False
Suppose 67392 = 3*b + 3*b. Let x be 3/(-7) + b/91. Let j = -53 + x. Does 31 divide j?
False
Let q(t) = -t**3 - 14*t**2 + 15*t + 7. Let d(i) = 3*i**2 - i + 3. Let h be d(-3). Let l = h + -48. Is 2 a factor of q(l)?
False
Let f(y) = -15*y - 45. Does 30 divide f(-23)?
True
Let z = 11 + -6. Is 27 a factor of 1/z + 1 + (-2058)/(-10)?
False
Suppose 2*u = -7*u + 4950. Is 11 a factor of u?
True
Suppose -3*w + 2800 = 2*o, -83 = 3*o - 71. Is w a multiple of 36?
True
Let p(c) = 2*c**2 + 9*c + 9. Let b be p(-8). Let g = b - 44. Is 3 a factor of g?
True
Suppose -73 = -2*n + x, -4*n - 63 = 2*x - 205. Let g = -24 + n. Is 22 a factor of (g/(-7))/((-2)/42)?
False
Let u(b) = -b**3 + 6*b**2 + 7*b + 17. Let p be u(7). Let y = 115 + p. Is 11 a factor of y?
True
Let w(p) = p**3 - 3*p**2 + 4*p - 3. Suppose -v - 2 = -c, 0*c = 5*c - 3*v - 10. Let j be w(c). Is 251/5 + j/(-5) a multiple of 25?
True
Suppose 28*n - 2628 - 20892 = 0. Does 12 divide n?
True
Suppose 9*p - 10*p = q - 164, p = -5. Is q a multiple of 13?
True
Let y = 38 + -34. Does 8 divide (y + -14)*32/(-5)?
True
Let c(x) = -x**3 + 11*x**2 + 4*x - 15. Let h be c(11). Let o = -17 + h. Is 3 a factor of o?
True
Let b(n) = n**3 - 38*n**2 - 78*n + 100. Is b(40) a multiple of 45?
True
Let w = 8 + -6. Suppose -4*u - w + 6 = 0. Let c(b) = 14*b**2 + 3*b - 2. Is 4 a factor of c(u)?
False
Let f(x) = 436*x**2 - 7*x + 30. Is f(-4) a multiple of 24?
False
Let k(m) = -m - 2. Let x be k(-6). Let p = 16 + -2. Let s = p - x. Is s even?
True
Let m(i) = 78*i**2 - 33*i**2 + i - 42*i**2 - i**3. Is m(-3) a multiple of 7?
False
Let y be (-1)/(3 - (-13)/(-4)). Suppose -4*t - y*k - 77 = -k, -3*k = -5*t - 103. Is 666/15 + (-12)/t a multiple of 8?
False
Suppose -2*g = -2*l + 1240, 11*l - 14*l + g + 1868 = 0. Is 16 a factor of l?
True
Suppose -22 = -4*c + 82. Let a = 12 + c. Is 19 a factor of a?
True
Let n(l) = -l**2 - 11*l + 4. Let x be n(-9). Let r = -17 + x. Is r a multiple of 5?
True
Is ((-21)/(-6)*4)/(12/42) a multiple of 18?
False
Let y = 241 + -59. Does 14 divide y?
True
Suppose -3*c = 4*l - 41, -2*c - 7 = -2*l + 3. Suppose -12*d = -l*d. Suppose d*q + 2*q = 0, 13 = p + 4*q. Is p a multiple of 13?
True
Let r(a) = -4*a**2 - 4*a + 1. Let k be r(-3). Let j = k + -153. Let m = 279 + j. Is 25 a factor of m?
False
Suppose 3*j + 4*r = 202, -j + 5*r = -32 - 29. Suppose 2*d = -49 - 27. Let s = j + d. Does 10 divide s?
False
Let m = 34 - 21. Let g = -20 + m. Is 13 a factor of 360/70*g/(-2)?
False
Let r = 2127 - -2063. Does 68 divide r?
False
Suppose -3*j = -4*q - 3, -5*j + q = -3*q - 13. Suppose 4*s + 2*m + m - 29 = 0, 5*m + j = 0. Suppose 228 = 5*p + 4*o, 4*o + 204 = s*p - 4*p. Is 24 a factor of p?
True
Suppose 0 = -3*h + 6*h - 15. Does 7 divide 26 + h*(-6)/(-15)?
True
Suppose 4*a = g + 40 + 119, -125 = -3*a - 5*g. Does 13 divide a?
False
Let w = -10 - -16. Suppose -w*x + 27 = -3*x. Let b = 13 - x. Does 4 divide b?
True
Suppose 0 = -3*w + 1560 + 60. Does 12 divide w?
True
Let m(s) be the third derivative of s**6/120 + s**5/40 - s**4/8 + s**3 - 2*s**2. Let o(a) be the first derivative of m(a). Is 17 a factor of o(-5)?
False
Suppose 5*r + l - 31 = 0, 2*r - 3*l = -2*r + 21. Suppose -r*n = -3*n. Suppose n*m = -3*m + 126. Is m a multiple of 6?
True
Suppose -3*p - q = -312, -2*q + 1 = -5. Suppose -3*d + p + 9 = -2*k, 3*k = 3*d - 108. Suppose 3*y = 14 + d. Does 9 divide y?
True
Let z = 4965 - 3061. Does 16 divide z?
True
Suppose 2*c = 4*y + 638, -325 = -c - y + 6*y. Suppose -26*j - c = -31*j. Does 23 divide j?
False
Let k(h) = 64*h**2 - 2*h + 6. Let c be k(3). Is 12 a factor of ((-1)/2)/((-6)/c)?
True
Suppose 0*i = 2*i + 4, 5*i + 140 = 5*r. Does 42 divide 1742/r - -1*1?
False
Suppose -21*a = -18*a - 1746. Is a a multiple of 15?
False
Let j(d) = 4*d - 15. Let r be j(7). Let s = r - 13. Let g(t) = -t**2 + t + 24. Is 24 a factor of g(s)?
True
Let d(s) = 17*s - 114 + 25 + 51. Is 7 a factor of d(8)?
True
Suppose 0 = 2*j - 3*o - 716, -j - 1404 = -5*j - o. Does 16 divide j?
True
Suppose 0 = -3*k + 5*m + 5, -4*k - m - 1 = -6*k. Let n(l) = l. Let w be n(2). Suppose k = w*s - 14. Is s even?
False
Is 63 a factor of ((-8146)/(-2))/(-54 + 55)?
False
Let u(s) = -10*s**2 - 8*s + 5. Let g(c) = 9*c**2 + 7*c - 4. Let j(x) = 6*g(x) + 5*u(x). Let k be j