derivative of j**5/60 + j**4/12 - j**2 + 4*j. Let f(z) be the first derivative of u(z). Is f(4) a multiple of 8?
True
Let j(h) = -h - 2. Let a be j(-3). Let l = a - 3. Does 17 divide (1/l)/((-2)/68)?
True
Let f be (20/25)/(2/10). Let a be 18/4*f/3. Let i(z) = 2*z + 6. Is i(a) a multiple of 9?
True
Let q = -90 + 3201. Is 61 a factor of q?
True
Let t = -53 - -67. Suppose t*k = 11*k + 33. Does 3 divide k?
False
Suppose -4 + 1 = -5*z - 3*x, 2*x - 2 = 0. Suppose 0 = -4*n - z*n + 116. Does 6 divide n?
False
Let k = 92 - 53. Suppose -73 = -2*u + k. Does 8 divide u?
True
Suppose 5*c + 95 = w + 2*w, 4*c = 8. Let o(t) = -t**2 + t + 6. Let f be o(-5). Let i = f + w. Is 11 a factor of i?
True
Let q = 1369 + -1282. Is q a multiple of 29?
True
Let a = 2708 - 1783. Is 25 a factor of a?
True
Let w(a) = -13*a**2 + 65*a - 65. Let b(h) = 0*h + 24 - 25 + h. Let t(n) = 65*b(n) - w(n). Is 13 a factor of t(1)?
True
Let a(i) be the third derivative of i**6/120 - 2*i**5/15 + i**4/12 - 13*i**3/6 - i**2. Let l be a(8). Suppose -l*o - 3 + 24 = 0. Is o a multiple of 2?
False
Let g be 6/2*(-318)/(-18). Suppose l - g = -14. Suppose -3*r + 144 - l = 0. Is 7 a factor of r?
True
Suppose -4 = -i + 1. Suppose 3*a - 60 = -i*w, 5*a - 32 = 5*w - 92. Suppose 2*v - 3*v = 3, -3*n - 2*v = -w. Is n a multiple of 4?
False
Suppose 0 = -3*o + 2*j + 34, 4*j = -2*o + 3 + 25. Suppose -4*k = o - 120. Is k a multiple of 6?
False
Suppose -3*k + z = 150, -4*k - 190 = -z + 3*z. Let i = 121 + k. Is i a multiple of 9?
True
Suppose -5*y = 2*p + p - 35, 5*p - 2*y - 48 = 0. Is 17 a factor of 43 - (p - 5) - 4?
True
Let r(o) = -37*o + 578. Is r(0) a multiple of 34?
True
Let y be -1 + -4*(-3)/4. Suppose 3*s = -y*s, -5*s = 4*k - 12. Let r(h) = 3*h**2 - 3*h + 3. Does 21 divide r(k)?
True
Let p(q) = q**3 - q**2 + q. Suppose 0*z = 5*z. Let k be p(z). Suppose k = t, -4*u + u - 2*t = -24. Is 8 a factor of u?
True
Suppose -626 = -5*i - 3*b, -2*b = -i - b + 122. Let x = -49 + i. Let f = -45 + x. Is f a multiple of 6?
True
Does 44 divide (-15)/(-9)*-3 - -357?
True
Let x(a) = a**2 - 12*a + 16. Let l be x(11). Suppose 21 = 3*d + 3*u, -d = -l*u - 1 - 18. Suppose d + 17 = o. Is o a multiple of 8?
False
Let n be (0 + -2)/((-4)/(-58)). Let a = 47 + n. Does 6 divide a?
True
Let s = 316 + -206. Is s a multiple of 5?
True
Suppose -3*o = 3*r - 7407, -3*o = r - 6*o - 2449. Is 112 a factor of r?
True
Suppose -405 = -2*v + 219. Does 12 divide v?
True
Let q(k) = -k**2 + 3*k + 12. Let x be q(5). Suppose 0*c + 128 = x*c. Does 32 divide c?
True
Does 14 divide ((-70)/(-6))/((-15)/(-18))?
True
Suppose -n = -6*n + 1050. Let q = -233 + 117. Let b = q + n. Does 31 divide b?
False
Let y(s) = 415*s**3 + s**2 - 7*s + 10. Does 20 divide y(2)?
True
Is 11017/17 + (-40)/680 a multiple of 24?
True
Let x be (1 + (-9)/6)*0. Suppose 5*g + x*g = 0. Suppose -2*k + 44 = -g*k. Is k a multiple of 22?
True
Let c(r) = -4*r**2 - r - 1. Let y be c(-1). Is ((-20)/y)/((12/(-88))/(-3)) a multiple of 11?
True
Let h(k) be the second derivative of k**4/12 + 5*k**3/6 - 8*k. Let t be h(-5). Suppose -5*b + 0*b = -4*n + 80, -b = t. Is 5 a factor of n?
True
Let j = -424 - -546. Is 39 a factor of j?
False
Let x = 354 + -592. Let b = -122 - x. Is b a multiple of 9?
False
Let i = 15 - 30. Is 14 a factor of -1*3/3 - i?
True
Is -8*(24/(-8) + -248) a multiple of 86?
False
Suppose 4*c - 13 = 3, -4*c = 4*i - 28. Let b be (19 + -4)*4/10*1. Suppose i*k - b*k = -150. Is k a multiple of 10?
True
Suppose 0 = 3*y - 13 - 2. Suppose 5 = q - r + 4, 0 = -q - 4*r + 6. Suppose -q*g = y*h - 19, 2*g = -4*h - 0*h + 16. Is 3 a factor of h?
True
Suppose 12*w - 7 - 41 = 0. Suppose -t + 240 + 165 = w*x, -3*x + 3*t = -315. Does 7 divide x?
False
Let w(x) = 22*x + 9. Let n be w(-5). Let k = 168 + n. Is 9 a factor of k?
False
Suppose 20 = -14*p + 18*p. Suppose -p*v - 380 = -10*v. Is v a multiple of 38?
True
Let h(q) = -25*q + 10. Let f(t) = 5*t - 2. Let b(a) = 11*f(a) + 2*h(a). Let s be b(1). Suppose 18 + 6 = 3*j - s*g, g + 24 = 3*j. Is 4 a factor of j?
True
Suppose -6 = -5*v + 5*p + 9, -3 = -3*p. Is (0 - 2)*(-94)/v a multiple of 7?
False
Suppose -3*w + 76 = -134. Does 10 divide w?
True
Let j(q) be the second derivative of -q**5/20 + 5*q**4/12 + 5*q**3/6 + 7*q**2 - 6*q. Let b be j(6). Let p = b - -20. Does 14 divide p?
True
Let g(s) = -s**2 - 17*s + 15. Let n = 87 + -101. Does 8 divide g(n)?
False
Let z = 14 - 26. Let k = z + 14. Is 26 a factor of 186/k + 1 + -2?
False
Let r(b) = b**3 + 6*b**2 - b - 9. Let c be r(-6). Does 2 divide 2*(-4)/(-8) - c?
True
Let q be 10/35 - 30/7. Let x(p) = -p**3 - 4*p**2 - 3*p - 2. Let v be x(-3). Is v/(q/46)*1 a multiple of 7?
False
Let u(w) = -w**3 - 4*w**2 + 4*w + 1. Let i be u(-5). Suppose c - 21 = -6*c. Suppose -98 = -c*d - 5*b, -i*d + d = -b - 182. Is d a multiple of 13?
False
Let y = 30 + -25. Suppose y*t + 15 = 65. Is t a multiple of 7?
False
Let l = 372 - 304. Does 13 divide l?
False
Let h(s) = s**3 + s**2 - s + 18. Let k = -14 - -14. Is h(k) a multiple of 18?
True
Suppose 240 = 21*w - 5745. Is w a multiple of 31?
False
Let j(f) = -17*f + 18. Suppose 0 = -3*z - n - 16, -4*z - n - 3*n - 32 = 0. Is 17 a factor of j(z)?
False
Let z = -74 + 226. Does 3 divide z?
False
Let t(a) be the first derivative of a**3/3 - 11*a**2/2 + 5*a + 9. Let n be t(10). Is 4 a factor of ((-1)/(-1))/(n/(-60))?
True
Let w(u) = 18*u**2 - 29*u - 56. Is w(9) a multiple of 14?
False
Let h(n) be the first derivative of n**3/3 - 6*n**2 - 3*n - 10. Is h(14) a multiple of 25?
True
Let s(d) be the third derivative of 2*d**3 + 2/15*d**5 + 0*d - 1/24*d**4 - 3*d**2 - 1/120*d**6 + 0. Is s(8) a multiple of 4?
True
Suppose 3*u = 5*x + 300, u + 4*u = -2*x + 469. Is (54/(-30))/((-1)/u) a multiple of 8?
False
Suppose 4*q + 5*g - 2*g + 1190 = 0, -5*q - 1470 = -5*g. Let n be 3/(-1)*q/12. Suppose -2*m = -3*t + 94, 0 = -3*t - 3*m + n - 5. Does 7 divide t?
True
Suppose 0 = -595*c + 600*c - 595. Is 7 a factor of c?
True
Let q = 62 + -174. Is 2/(q/(-22) - 5) a multiple of 18?
False
Let k(f) = f**2 + f + 14. Suppose 3 = 5*y + 2*g + 5, -3*g = -y - 14. Let v(o) = -o**2 - 3*o - 2. Let m be v(y). Does 7 divide k(m)?
True
Let k(g) = -110*g - 25. Is k(-2) a multiple of 39?
True
Suppose -o + 13 = -h, 3*o + 0*o - h = 37. Suppose -a - 5*a = -o. Suppose 183 = a*z + z. Does 21 divide z?
False
Let s(n) = n**3 + 4*n**2 + n - 4. Let x be s(-3). Suppose -3*w + 16 = -x. Suppose 0 = -4*d + w + 102. Is d a multiple of 9?
True
Let s(b) = b**2 - 30*b - 13. Let a be s(23). Is 27 a factor of a/(((-2)/4)/((-9)/(-18)))?
False
Suppose 6 - 18 = -4*x. Let b(r) = r**x - 8*r**2 - 11*r + 11 + 5*r - 4*r. Is b(9) a multiple of 2?
True
Let h(c) = 107*c**2 - 8*c - 52. Does 94 divide h(-4)?
True
Let n = 419 - -107. Suppose -3*t - 46 + n = 0. Does 34 divide t?
False
Suppose 26*u = 146 + 4456. Is u a multiple of 6?
False
Let k = -206 - -464. Suppose -3*j + k = 2*j + m, 3*j - m = 158. Does 11 divide j?
False
Does 5 divide -23 + 23 + 5/((-5)/(-6))?
False
Suppose 4*d - 191 = 77. Let r = d + -19. Does 12 divide r?
True
Suppose -2*f - 2*g - g - 14 = 0, -5*f - 4*g - 28 = 0. Let k = 1 - f. Suppose 3*p + 135 = 5*l, -2*p - 15 = -k*p. Is l a multiple of 22?
False
Is 26 a factor of (176/110)/(2/390)?
True
Let i = -113 + 115. Is i - 6/(-12)*134 a multiple of 38?
False
Let l(p) = -3 + 3*p**2 - 2*p - 2*p - 6*p**2 - p**3 - 1. Does 12 divide l(-5)?
False
Suppose 3*n = -5 - 37. Let o = n - -32. Is o a multiple of 9?
True
Let x(d) = 5*d**2 - 3*d + 1. Let g be x(2). Let j = 15 - g. Is 9 a factor of j - -1 - (-156)/6?
True
Let l(g) = -2*g + 33. Let z be l(14). Suppose 3*q + 4*i + 38 = 4*q, -4*i + 118 = z*q. Does 13 divide q?
True
Suppose 0 = -55*j - 8119 + 39359. Does 2 divide j?
True
Let y be -1*-2*((-22)/(-4) - 1). Is (18/(-5))/(y/(-300)) a multiple of 20?
True
Does 4 divide 4/14 + 8/(168/2913)?
False
Let m be ((-10)/(-7))/((-3)/21). Suppose -16 = 4*l - 4, l = 2*v + 41. Let n = m - v. Does 6 divide n?
True
Suppose 2*v - 48 = 4*s, 3*s + 57 = 3*v - 30. Let h = -16 + v. Is h a multiple of 2?
True
Suppose 5*t = -13 - 2, -h - 3*t = -2. Suppose 69 = -h*m + 531. Is m a multiple of 14?
True
Suppose 6 + 2 = 2*f. Suppose -2*m + m = 4*n - 230, -4*m + f*n = -980. Does 22 divide m?
True
Is 14 a factor of 1/((-39)/(-6)) - (-3868280)/845?
True
Let b = 1258 + -654. Is 17 a 