8*w + 108. Let t(c) = r(c) - 4*v(c). Does 5 divide t(0)?
False
Suppose -4*r + 43 = 5*f, -f + 3*f = -r + 16. Let i(m) = m**3 - 9*m**2 + 8*m + 13. Let x be i(f). Let o = -17 - x. Is o a multiple of 4?
True
Let f(s) = s**3 - s**2 + 2*s - 3. Let t be f(2). Suppose -t*j - 5*p + 3580 = 0, 5*p - 2*p - 2863 = -4*j. Is 55 a factor of j?
True
Let g = 336 - 138. Suppose -189*v + g*v = 99. Does 2 divide v?
False
Let c(x) = 5*x - 23. Let g be c(4). Let n(t) = 4 + 2*t**2 - 11 + 210*t**3 - 211*t**3 + t. Is n(g) a multiple of 5?
True
Let o(u) be the first derivative of -1/4*u**4 - 8/3*u**3 - 2*u**2 - 4*u + 15. Is 17 a factor of o(-9)?
False
Let w(o) be the third derivative of 4/15*o**5 + 0*o**3 - 1/24*o**4 + 0 + 7*o**2 + 0*o. Is w(2) a multiple of 3?
False
Suppose 4 = 2*p, -5*w + 6*w + 18 = -3*p. Let s = w - -55. Let y = s - 10. Does 3 divide y?
True
Is 39 a factor of (-34)/(-153) + 133460/45?
False
Let v(f) = 6*f**2 - f - 795. Let w be v(0). Let a = 1816 + w. Is a a multiple of 64?
False
Suppose -5*l = 3*w - 5653, 42*l - w = 45*l - 3391. Let f = l + -444. Is 16 a factor of f?
False
Let c(n) = 22*n**2 - 30*n + 2097. Is c(0) a multiple of 5?
False
Suppose l - 11861 = -5*s, l = 66*s - 62*s + 11798. Is l a multiple of 70?
False
Let y(s) = 4*s - 16. Let u be y(3). Let a be 214/u - 3/2. Let x = 22 - a. Is 36 a factor of x?
False
Suppose -208*t = -281*t + 1270202 - 243676. Is 6 a factor of t?
False
Let i = 2021 + -1785. Does 2 divide i?
True
Let i(f) = -336*f - 365. Is i(-3) a multiple of 2?
False
Suppose n - 2*n = 36. Let b be (n/5)/(690/175 + -4). Suppose 3*v = 135 + b. Does 9 divide v?
False
Let x = 6793 - 2720. Is x a multiple of 9?
False
Let x = 67 + -65. Let a(u) = 35*u**x + 1 - 564*u + 564*u. Does 9 divide a(-1)?
True
Suppose -74*s - 17250 = -89*s - 100*s. Is s a multiple of 3?
True
Suppose -36*s + 94 = -1166. Let q be 1 + -2 + 1 + 91. Suppose 2*u = q - s. Does 8 divide u?
False
Let v be (-20)/(-6)*(1 - 63/9). Is (-456)/v*400/12 a multiple of 23?
False
Let d(l) = -4*l + 21. Let o be d(5). Suppose -5*y + 2*q = -313, -3*y + 195 = 5*q + o. Is y a multiple of 4?
False
Let t = -118 + 118. Suppose t = 19*c - 18*c - 9. Is c a multiple of 2?
False
Let t = -45 + 34. Let m = t + 14. Suppose 2*u + m*u - 120 = 0. Is 8 a factor of u?
True
Is 18 a factor of ((-4 - -519) + 2)/(18/18)?
False
Let a be (0 + (-4 - 0))/(140/(-52290)). Suppose 38*c - 29*c - a = 0. Is c a multiple of 5?
False
Suppose 56*y = 6509 + 9395. Let q = 260 + y. Is 20 a factor of q?
False
Suppose -49 + 45 = 2*g. Is 16 a factor of (-6 + g)*102/(-3)?
True
Suppose 11*v = 280 - 60. Let u = v + -17. Suppose -17*c = -u*c - 434. Does 8 divide c?
False
Let u(j) be the second derivative of -j**3/6 + 6*j**2 - 9*j. Let z be u(8). Suppose -315 = -x - z*x. Is 21 a factor of x?
True
Let y be (175/20)/5*-1*68. Let p = 67 + y. Let q = p - -66. Is 14 a factor of q?
True
Suppose 5*d - 2*g - 18 = 0, -5*g + 3*g = 2*d + 4. Suppose 7 = d*q + 35. Is ((-837)/6)/(q/8 - -1) a multiple of 31?
True
Suppose 3*t - 3140 = 4*v - 2*v, -5*t + 2*v + 5240 = 0. Suppose 20*p - 17*p - t = 0. Does 14 divide p?
True
Let r be (-1345)/(-5) - (1 + -5). Suppose -4*o = -o + r. Let n = o + 119. Is 28 a factor of n?
True
Let j(x) = x**2 - 96*x + 471. Let r be j(5). Suppose 4*q + 2*v + 42 = 0, 1 = 2*q + 5*v + 18. Let p = q + r. Does 3 divide p?
False
Suppose 2*j - 13274 = -r, -3*r = -12 - 0. Is j a multiple of 177?
False
Let n(k) = k**2. Let r(d) = -5*d**2. Let j(x) = 4*n(x) + r(x). Let v(y) = 3*y**2 - 4*y + 21. Let c(b) = -4*j(b) - v(b). Is c(-8) a multiple of 6?
False
Suppose -75*z = -79*z + 2680. Suppose a + 8*b - z = 12*b, 5*a = -b + 3287. Is 12 a factor of a?
False
Let c be ((-3710)/(-25))/7 + 2/(-10). Suppose c + 115 = g - 2*u, 4*g - 4*u = 552. Is g a multiple of 12?
False
Let q = -397 - -389. Let n(b) = -b**3 - 9*b**2 - 11*b + 28. Is n(q) a multiple of 4?
True
Suppose 426*g = 429*g - 78. Let i = g - -99. Is 10 a factor of i?
False
Let g(f) be the second derivative of 15*f**3/2 + 155*f**2/2 + 318*f. Is g(17) a multiple of 20?
True
Let f = -5 + 29. Let i be 25 - f - (-4 - 0). Suppose 0 = i*m - 3*d - 49, 0 = -3*m - 2*d + 6 + 12. Does 5 divide m?
False
Suppose 28*s - 78870 = 18*s - 12*s. Is s a multiple of 15?
True
Let v(s) be the first derivative of -5*s**2 - 12*s - 6795. Let d be (-9)/(-3)*-1*1. Is v(d) even?
True
Let p(n) = n - 10. Let g be p(12). Suppose g*z = -v + 93, -9*z = -10*z + 3*v + 57. Is z a multiple of 16?
True
Is 2 a factor of 30269/19 - (-9 + (-540)/(-76) - -2)?
False
Let j be (-141)/94*(-1420)/6. Let p = 711 - j. Is p a multiple of 12?
False
Suppose -1314 = -n + 4*i, -5*n - 24*i + 6670 = -19*i. Is n a multiple of 95?
True
Let r(c) = -14*c - 17. Let b = 96 - 101. Is r(b) a multiple of 4?
False
Let u = 34998 + -23194. Is 13 a factor of u?
True
Suppose 5*d - d - 20 = 0. Suppose 0 = -4*t - 5*m + 3113, d*t + 3*m - 3898 = -m. Is 46 a factor of t?
True
Let m = 75 + -162. Let w = m - -187. Is 3 a factor of w?
False
Let r = 20907 + 7661. Does 6 divide r?
False
Let a(t) = 795*t - 237. Is a(17) a multiple of 6?
True
Let h(q) = 115*q**2 - 5*q + 4. Let f be h(1). Suppose -24*u = -21*u - 5*v - 342, u = -v + f. Is 6 a factor of u?
True
Does 110 divide (10192/520)/(1/280)?
False
Let l = 8585 + -7328. Is l a multiple of 5?
False
Let s be (-3 - 3)*(-3 + (-8)/(-4)). Suppose 5*x + h = s*x - 261, 0 = 3*h - 12. Is 26 a factor of x?
False
Suppose -4770 - 1570 = -5*y. Let t = 2708 - y. Does 12 divide t?
True
Suppose 68*d - 144 = 64*d. Suppose -p - 11*p + d = 0. Suppose -8 = -2*i + 2*m + 208, 0 = i + p*m - 108. Is i a multiple of 16?
False
Suppose -22 = 4*x + 18*x. Is 9 a factor of (3 - x) + (-5 - 1083)/(-8)?
False
Suppose -2*i + 11 = -2*p + 3*i, -11 = -4*p - i. Let k be -1 + 37/1 - p. Suppose -4*z = -190 + k. Is 13 a factor of z?
True
Suppose 366707 = -1041*a + 1058*a. Is 27 a factor of a?
False
Let x = -238 - -243. Suppose 26*l - 21*l = -x*y + 75, -3*l = -y + 27. Does 3 divide y?
True
Suppose -142*u = -2*j - 138*u + 4160, -4*j + 3*u + 8300 = 0. Is 97 a factor of j?
False
Let l(q) = -28*q + 168. Let p(y) = -3. Let j(v) = l(v) - 5*p(v). Does 33 divide j(-21)?
False
Let c = 35 + -42. Let h be 5/(10/4) + (-10 - c). Does 14 divide (h + -2 + -3)/(11/(-231))?
True
Suppose -y - 3*t = -220, 5*t - 101 = -5*y + 1019. Suppose 7*w - 105 = -15*w + w. Suppose -w*k = y - 801. Is k a multiple of 23?
True
Let w = 2641 + 830. Does 11 divide w?
False
Let r(m) = 12 - 3*m**2 - 4 - 13*m**2 - 3*m + m**2. Let h be r(-3). Let d = h - -236. Does 20 divide d?
False
Let h = 148 - 154. Does 38 divide (266/(-6))/(h/((-180)/(-5)))?
True
Let v(d) be the second derivative of -19/6*d**3 + d**4 + 0 + 17/2*d**2 - 1/20*d**5 - 27*d. Is 6 a factor of v(10)?
False
Let i = 71 - 71. Suppose -3*j = 9, i*y = 4*y + 5*j - 1281. Does 27 divide y?
True
Does 12 divide 3545*-63*(-24)/210?
True
Let j = 41425 + -22153. Is j a multiple of 33?
True
Let x = -2318 - -1115. Is 46 a factor of 16 + -6 - 8 - x/3?
False
Let p = 38 + -39. Let l(h) = 8*h + 10. Let i be l(p). Is 14 a factor of (-165)/(-6) + 3/i?
False
Suppose 0 = 42*p - 1298 - 1432. Does 15 divide 5202/13 + (-10)/p?
False
Suppose 5*q - 3*x = 15, -3*x - 2*x = -4*q + 12. Let o be (-24)/9*q*-1. Suppose o*g = 5*g + 36. Is 12 a factor of g?
True
Let p = 3142 + 411. Does 11 divide p?
True
Let f = -6244 - -17577. Is f a multiple of 12?
False
Let o(s) be the first derivative of 7*s**5/60 - s**4/4 - 8*s**3/3 + 41*s**2/2 + 41. Let i(c) be the second derivative of o(c). Is 9 a factor of i(-5)?
True
Let b be (-2)/12 + 2/12 + 0. Let h(a) = -a**3 - a**2 - a + 110. Is 11 a factor of h(b)?
True
Suppose 201*v - 199*v = -4*c + 48584, 2*v = 5*c - 60766. Does 29 divide c?
False
Let k be ((1 - 2) + -3)*(1218/(-56))/29. Let l be 2/(-9) + 20/9. Suppose -3*f = 4*q - 82, -6*f - l*q + 86 = -k*f. Does 15 divide f?
True
Let d(r) = 1691*r + 691. Does 19 divide d(6)?
False
Suppose 0 = 221*n - 247*n + 160888. Is 26 a factor of n?
True
Let w = -53 - -53. Suppose q - 3*q + 6 = w. Does 16 divide (969/4)/q + 21/(-28)?
True
Suppose -2088 = 35*v - 38*v. Let l = -401 + v. Is 32 a factor of l?
False
Suppose -3 + 58 = -5*t. Let y(i) be the first derivative of -i**3/3 - 19*i**2/2 - 15*i + 3. Does 40 divide y(t)?
False
Let t = -2937 + 27712. Is t a multiple of 77?
False
Suppose 55*a - 8518