1 a factor of (47 - 53) + j + 892?
False
Let k = -219 + 212. Is (-6 - -6)/k + 50 even?
True
Let c = -20719 - -23129. Is 5 a factor of c?
True
Suppose 43 = z - 2. Suppose -4*n - w + 404 = 0, -n - z = 2*w - 139. Suppose c - 2*c = -n. Is c a multiple of 16?
False
Suppose -7*p + 12*p = -2630. Let g = 814 + p. Does 48 divide g?
True
Let s(y) = -4*y - 37. Let m be s(-10). Suppose -m*x - 2*x = -1170. Does 15 divide x?
False
Suppose -5 = -5*g, 2*g - 3*g - 121547 = -7*d. Is 120 a factor of d?
False
Suppose -4*o = 2*m - 4024, 2*m - 157*o - 4030 = -155*o. Is m a multiple of 19?
True
Let g(p) = -79*p + 1051. Is 37 a factor of g(-34)?
True
Let x = 6541 + -5281. Does 6 divide x?
True
Is -1 - 1 - (21 - (14 - -3524)) a multiple of 29?
False
Let p(g) = 2*g**2 - 31*g + 11. Let h be p(15). Is 19 a factor of -679*1*h/14?
False
Suppose -36*t + 34*t = 0. Suppose 0*c - 3*c + 6 = t, 0 = -f - 3*c. Let q = f - -110. Is 13 a factor of q?
True
Let y = 8114 + -4047. Is y a multiple of 35?
False
Suppose p - 3*p + 5*r = -17, -61 = -4*p + r. Let u = p - 36. Is (u/12)/((-6)/45)*2 a multiple of 2?
False
Let t = -13868 - -25550. Is 28 a factor of t?
False
Let k(c) = 7*c + 61. Let m be k(-9). Is 12 a factor of m - (46/(-3) - 24/(-18))?
True
Let y(t) = t**2 - 49*t + 59. Let v be y(37). Let f = v + 710. Is 13 a factor of f?
True
Suppose -2*g - 63 = 5*v - 7, v + 4*g + 22 = 0. Suppose 25*j - 34*j = -522. Let h = v + j. Is h a multiple of 24?
True
Let b = 704 - -2050. Suppose -388*m - b = -391*m. Is m a multiple of 51?
True
Suppose -3*x + 843 = -330. Let l = x + -251. Is l a multiple of 14?
True
Suppose -2*a + 3*u + 13 = 2*u, u - 15 = -5*a. Suppose -4*v - 4*q - q + 36 = 0, a*q - 28 = -3*v. Let c(n) = -n**3 + 5*n**2 + 5*n - 1. Does 7 divide c(v)?
True
Let t(u) = -2*u**3 + 82*u**2 + 60*u - 104. Does 32 divide t(39)?
True
Let m = -560 - -846. Is 72069/39 + 22/m a multiple of 84?
True
Let r = -17205 + 25746. Does 34 divide r/36 - 3/(-4)?
True
Let m be 80/60 - 16/3. Let k(t) = -9*t**3 + 5*t**2 + 10*t + 11. Is 13 a factor of k(m)?
False
Let x = -3092 - -5038. Does 3 divide x?
False
Let o = -57 + 57. Suppose o = 8*a + 11 - 3. Does 4 divide (-3)/(a + (-60)/(-65))?
False
Let i = 58267 - 40077. Is i a multiple of 214?
True
Suppose -5*w + 4*r = -1877, -119*w + 731 = -117*w + 5*r. Is w a multiple of 7?
False
Suppose 2*c - 33 = 3*a, -4*c + 16 = 4*a - 0. Suppose 2*k + 4*d = c + 25, 5*k - 113 = -3*d. Suppose 3*g = -n + k, 2*n - 3*g = -0*n + 5. Is n a multiple of 10?
True
Suppose 3*t - 107808 = -2*t + i, -i = -t + 21568. Does 35 divide t?
True
Let f be ((-4)/(-10))/(436/40 - 11). Is 6 a factor of ((-822)/(-24) + f)/(1/12)?
False
Does 80 divide (-230)/(-3)*22110/275 + -13?
False
Suppose 5*y - 209095 = -5*n, 154*n = y + 150*n - 41824. Does 205 divide y?
True
Does 42 divide 420/1470 - (-28516)/7?
True
Suppose -17*v = 2*v - 71630. Is v a multiple of 29?
True
Let q be (6 + 10)*(-20 - -1). Let x = q + 704. Does 40 divide x?
True
Suppose -211*s + 68*s + 69804 = -2336886. Is s a multiple of 55?
True
Let f = 6260 - 2699. Is f a multiple of 28?
False
Let q be ((-21)/(147/(-1400)))/(-1). Let o = 386 + q. Is 62 a factor of o?
True
Does 88 divide (0 - (-4)/20 - (-155364)/55) + 3?
False
Suppose 7*z - 2*k - 15 = 4*z, 0 = 4*z - 3*k - 20. Suppose -g = -3*t - 335, 3*t - 2621 + 874 = -z*g. Is g a multiple of 29?
False
Let z = 27 + -21. Let s(u) = u**3 - 7*u**2 + 7*u - 6. Let r be s(z). Suppose r = -q + 51 + 18. Is q a multiple of 13?
False
Suppose 2*a - 283 = 5*y, 0 = 5*a + 5 - 0. Let z = 82 + y. Is 5 a factor of z?
True
Let v(c) be the second derivative of 5*c**4/12 - c**3/3 + c**2 + 13*c. Let h be v(3). Let m = h + 49. Is 30 a factor of m?
True
Suppose -64*t + 46277 = -118*t + 61*t. Does 7 divide t?
False
Let m(i) = 6 - 161*i**3 - 4*i - 5*i**2 + 0*i + 160*i**3. Let y be m(-4). Does 7 divide (4/y)/(((-78)/(-216))/13)?
False
Does 10 divide 1/(2/6) - (-3072 + -8)?
False
Let o be (-3 - (-9 - -3))/(3/(-46)). Let w be o/(-2)*60/(-15). Let a = w + 129. Is 6 a factor of a?
False
Let t(l) = -l**2 - 7*l - 269. Let j be t(0). Let n = j - -599. Is 10 a factor of n?
True
Let o(w) = -w**3 + w**2 + w - 1. Suppose q + 30 = 3*q. Let l(a) = a**2 - 15*a - 3. Let s be l(q). Is o(s) a multiple of 16?
True
Let d(h) = h - 10 - 17 + 35 - 30*h. Suppose 15*o + 20 = 10*o. Is d(o) a multiple of 19?
False
Let m(p) = 2*p**3 - p**2 + p + 1. Let c be (-2)/(3/((-9)/6)). Let j be m(c). Suppose 3*l - j*q + 4*q = 248, l - 92 = 2*q. Is l a multiple of 21?
True
Suppose 313*q - 319*q + 36 = 0. Suppose 2*b - 612 = -2*r, -q*r - 2*b = -9*r + 893. Does 10 divide r?
False
Let l(w) = -56*w - 15. Let r be l(-2). Let h = r + -62. Is h a multiple of 35?
True
Suppose 68 = -8*g + 20. Suppose 0*r + 4*i = -r + 14, -3*i = 3*r - 6. Is 33 a factor of (4 + r + (-27)/g)*18?
False
Suppose 13 = -22*w - 9. Let a(l) be the first derivative of -39*l**4/2 + l**3/3 + 5*l**2/2 + 4*l + 13. Is 13 a factor of a(w)?
True
Let n = 162 + -178. Does 17 divide 2 - (-4)/(n/(-196))?
True
Let h = -33067 - -46798. Is 59 a factor of h?
False
Let q(v) = v - 17. Let f be q(22). Suppose 37 = f*y - 18. Let m = y + 28. Is 13 a factor of m?
True
Let m(i) = 3*i**2 - 9*i + 3. Suppose 40 = 6*h - 26*h. Is m(h) even?
False
Suppose 2*g + 3*a - 5 = 0, -3*g - 12 + 19 = 5*a. Suppose -g*h = -2*y + 4230, 281 + 1828 = y - 4*h. Does 21 divide y?
True
Let n = -8395 - -13036. Is 16 a factor of n?
False
Suppose i - 3*i + 3*r = -1, 0 = 2*i + 3*r - 7. Let q(u) = -12*u - 5. Let j be q(i). Let g = j - -33. Is g a multiple of 3?
False
Let c(p) = -175*p - 2322. Is 42 a factor of c(-44)?
False
Let j be ((-4038)/(-12) - 0) + 3/6. Let b = j + -177. Is b a multiple of 20?
True
Is 5 + (15555 - (3 - 16)) a multiple of 134?
False
Let f = -14904 - -21168. Is f a multiple of 116?
True
Suppose 45*p - 43335 - 52020 = 0. Does 10 divide p?
False
Let m(c) = 1784*c**2 - 157*c - 482. Is m(-3) a multiple of 26?
False
Let w be (16/144)/((-2)/6)*0. Suppose w = 38*x - 28*x - 640. Does 16 divide x?
True
Let a(j) be the third derivative of j**4 - 57*j**3/2 - 186*j**2. Is 9 a factor of a(12)?
True
Let d = -3712 - -3872. Is d a multiple of 5?
True
Let t(q) = 553*q**2 + 26*q - 33. Does 116 divide t(6)?
False
Let i = 2253 + -1020. Let a = -8 + i. Suppose 5*c + 2*c = a. Does 19 divide c?
False
Let l = 90014 + -61124. Does 24 divide l?
False
Suppose 4*o - 19 = 9. Suppose -17 - 25 = o*k. Does 7 divide 4/6*3/k*-117?
False
Let x(i) be the first derivative of 17*i**3/3 - 81. Is x(-2) a multiple of 2?
True
Let u be (-6)/(-8)*(364/21 - 12). Suppose -741 = u*f - 3173. Is 38 a factor of f?
True
Suppose -4*n - 5*x + 26778 = -47812, 0 = -2*n + x + 37274. Is n a multiple of 20?
True
Let y(i) = -i**3 + 27*i**2 + 65*i + 33. Let r be y(29). Let a = -94 + r. Does 3 divide a?
False
Let d = -4339 - -6092. Let g = -934 + d. Is 12 a factor of g/12 + 4/(-16)?
False
Suppose 3*r + 3*f = 4983, 1284*r = 1287*r + 4*f - 4978. Is r a multiple of 6?
False
Suppose 10*d - 7223040 = -72*d - 83*d. Is d a multiple of 12?
True
Let m(l) = 14*l**2 + 8*l - 24. Let u be m(-11). Let d = 4237 - u. Suppose 4*a - d = -11*a. Is 24 a factor of a?
False
Suppose 2*h - 656 - 3998 = 0. Is h a multiple of 14?
False
Let v = -85197 - -119941. Is v a multiple of 86?
True
Suppose -26*v + 25900 = 24*v. Let i = 2023 - v. Is i a multiple of 22?
False
Let q(t) = -5*t**3 + 12*t**2 - 49*t - 63. Let b(w) = 6*w**3 - 11*w**2 + 50*w + 63. Let j(n) = 6*b(n) + 7*q(n). Is 18 a factor of j(-19)?
False
Suppose -9*g + 39*g = 582781 + 331559. Is g a multiple of 49?
True
Let j(x) = 4*x**2 - 51*x - 62. Let h be j(36). Suppose 83*v - h = 21*v. Does 5 divide v?
False
Suppose -x + 4 = 2*b - 2, 3*x = 4*b - 12. Suppose -28 = -b*w + w. Is 7 a factor of w?
True
Let h = 11 - 11. Let n be (-4)/(0 + 1) - h. Let i(o) = -10*o + 14. Is 6 a factor of i(n)?
True
Let b = 83 + -44. Let u = b + 41. Is u a multiple of 8?
True
Let a(u) be the third derivative of u**6/180 + u**5/20 + u**4/8 - u**3/3 + 30*u**2. Let s(f) be the second derivative of a(f). Does 3 divide s(6)?
True
Let u(f) = 13*f**2 - 66*f - 18. Is 18 a factor of u(-12)?
True
Let d = -25919 - -42103. Does 23 divide 2/11 + d/44?
True
Let s = -299 + 143. Does 5 divide (s/(-30))/((-1)/(-25))?
True
Does 54 divide -5840*(2/(-7))/((-120)/(-210))?
False
Let g(f) = -3*f**3 + 5*f*