 3*b. Is b a multiple of 6?
False
Let u(n) be the first derivative of -n**3/3 - 22*n**2 + 60*n + 65. Does 23 divide u(-26)?
False
Let r(w) = 55*w + 10. Let x(z) = -18*z - 3. Let a(t) = -6*r(t) - 21*x(t). Let p be (48/(-456))/(3/(-57)). Is 11 a factor of a(p)?
True
Let r = 179 + -231. Let k = 54 - r. Does 53 divide k?
True
Let w(k) = -k**2 + 13*k + 2. Let j be w(13). Suppose -4*h = p - 136, -24 = j*h + 5*p - 110. Suppose -4*z - h = -113. Does 20 divide z?
True
Let i(b) = -b**3 - 10*b**2 - 3*b - 15. Let y be i(-10). Suppose -4*f = -3*c - 31, -2*f - 2*c + 11 = -y. Does 19 divide 8022/105 + (-4)/f?
True
Does 38 divide (-28)/(-140) - (-72233)/35?
False
Suppose 0 = -38*d + 36*d + 4*l + 18, -3*d + 23 = -2*l. Is 22 a factor of (-565)/(-10)*-2*(d - 12)?
False
Let k be -33 - 5/((-35)/49). Let r = k + 158. Does 2 divide r?
True
Suppose -2*j + 21942 = -c, 3*c - 21835 = -4*j + 22019. Does 48 divide j?
False
Suppose 3*w - 190*l + 189*l - 29567 = 0, -5*w + 3*l + 49277 = 0. Is 88 a factor of w?
True
Is ((-18)/(-4))/(2737/912 + -5 + 2) a multiple of 114?
True
Suppose 0 = -35*j + 9370 + 15585. Let v = -564 + j. Does 31 divide v?
False
Suppose 1004040 = 297*w - 2879510 - 2110801. Is 32 a factor of w?
False
Suppose -7 = j - 24. Suppose -3*m + 143 = -2*d, -j*m - 106 = -19*m + 4*d. Is 17 a factor of m?
False
Suppose 3*h = 5*x - 7019, -x = 6*h - 5*h - 1407. Let i = x - 713. Is i a multiple of 33?
False
Let x(y) = y**2 - 5*y + 7. Let w be ((-22)/4)/((-7)/(-70)). Let i = w + 59. Does 3 divide x(i)?
True
Let n = 1112 - 846. Let g = 443 - n. Is 3 a factor of g?
True
Let o(c) = -51*c + 71. Let g be o(10). Let u = 15 - g. Is u a multiple of 69?
False
Let x be 8/44 + (-40)/(-22). Let l(v) = -2 + x*v**2 - 3 - 4 + 8*v + 32*v. Is 6 a factor of l(-21)?
False
Let d = -2203 + 9008. Is d a multiple of 12?
False
Suppose 44*u - 60*u = 66*u - 294462. Is 57 a factor of u?
True
Suppose -26 - 28 = -6*u. Suppose 32 = 3*g - u*z + 4*z, g + z = 0. Suppose 33 + 267 = g*x - 5*i, 4*x + i = 300. Does 9 divide x?
False
Let k = -19696 + 19956. Is k a multiple of 5?
True
Let p = -1 + 4. Let k(i) be the third derivative of 9*i**4/8 - i**3/6 - 20*i**2 + 26. Is k(p) a multiple of 10?
True
Let w be 268/24 - (0 + 2/12). Suppose w*g = -647 + 2737. Is 19 a factor of g?
True
Let j(i) = 8*i**2 - 11*i + 18. Suppose -13*u + 24 = -10*u. Let z be j(u). Let x = z + -256. Is x a multiple of 31?
True
Let x = 14 + -14. Suppose -4*y - 23 - 1 = x. Is y/33 + 1623/33 a multiple of 12?
False
Let h = 286 + -282. Suppose -j = 5*r - 144 - 573, -h*r = -5*j - 591. Is r a multiple of 12?
True
Suppose -275 = 4*t + t + 5*j, j = t + 49. Is 16 a factor of (2 - (-1 - t - 1))/(-1)?
True
Let m(u) = 3*u**2 + u - 11. Let r be m(3). Suppose 0 = -r*c + 76*c - 23199. Is 11 a factor of c?
True
Suppose 0 = a + 2*a - 4*g - 41, 0 = -4*a - 2*g + 18. Let b(p) = -p**3 + 7*p**2 - 2. Let m be b(a). Is 15 a factor of 0 - (-1776)/15 - m/(-5)?
False
Let x(c) = -c**3 + 6*c**2 + 10*c - 16. Let h be x(7). Suppose -4*s - 252 = -d, 7*s = h*d + 6*s - 1241. Does 23 divide d?
False
Suppose -18*w + 145156 = -2*w + 25892. Is w a multiple of 39?
False
Let b = 158 + -134. Let r = -5 + 6. Let c = r + b. Is 11 a factor of c?
False
Let q(g) = -g**2 - 634*g + 34. Does 71 divide q(-55)?
True
Let j = 46359 - 20496. Is 111 a factor of j?
True
Let y(x) = 107*x**3 + x**2 + 8*x - 5. Is 13 a factor of y(3)?
False
Suppose 0 = -a - a + 8. Suppose -28*n = -673 + 673. Suppose -t - a*t + 70 = n. Does 14 divide t?
True
Suppose 4*b - 52788 = -3*u, 2*u = u - b + 17596. Is u a multiple of 212?
True
Suppose -44 = -3*q + 5*n, -5*q + 106 = 2*n - 19. Let z = q - 1. Is z - 0 - (1 + 1) a multiple of 10?
True
Let f = 158 - 158. Suppose -5*b - 2*r + 402 = f, -3*r = -3*b - 0*r + 237. Does 43 divide b?
False
Let t(j) = -j**2 - 55*j + 744. Is 14 a factor of t(-26)?
True
Suppose 5*r + 88 = 4*p, 85 = 3*p - 0*r + r. Suppose -p*l = -8*l - 836. Is l a multiple of 21?
False
Suppose -954 = -u + o, -6*o + 8*o + 2867 = 3*u. Let d = u + -394. Is 13 a factor of d?
False
Is 8 a factor of (((-4)/(-15))/(26/195))/((-1)/(-464))?
True
Suppose r + 5*n - 214 = 2*n, -2*r - 3*n + 422 = 0. Let o = -100 + r. Is 12 a factor of o?
True
Let h = 51 + -44. Let q be h + 0 + (2 + -2)/(-4). Is (-155)/(q + -4 - 4) a multiple of 31?
True
Suppose 5*a + 67 = -2*k - 18, k - 2*a + 38 = 0. Let j = k + 52. Does 3 divide j?
True
Let l(d) = 142*d - 45. Suppose 2*p - 4*p = 4*i - 22, -2*p + 10 = i. Is 48 a factor of l(p)?
False
Suppose -3*x = -2*x - 6. Let n be (265/30 - (-4)/x)*2. Suppose -18*c - 36 = -n*c. Is c a multiple of 6?
True
Suppose 5*l - 544*z = -543*z + 7155, -20 = 4*z. Does 65 divide l?
True
Let s(n) = -15*n**2 - 1206*n + 97. Is s(-78) a multiple of 32?
False
Is 90 a factor of (7 + -5)*(6 - (-25170)/(0 + 5))?
True
Let v(j) = j**3 - 49*j**2 - 85*j + 1715. Is v(55) a multiple of 17?
False
Let b = 4680 - 4542. Let d be 4/(-10) + (-977)/(-5). Let p = d - b. Does 14 divide p?
False
Does 31 divide 416232/(-324)*(-3)/2?
False
Let z be (-37046)/(-26) + (-34)/(-221). Suppose -23*k = 2*k - z. Is k a multiple of 19?
True
Suppose -6*k = 4*y - k - 15, -6*y + 75 = -3*k. Is 8 a factor of 264/y*(-160)/(-16)?
True
Let c be -3 + ((-4644)/(-6) - -3). Suppose -3*s - 3*a = -c, s - 5*a = 173 + 61. Does 3 divide s?
False
Let k(y) = 2*y**3 - 27*y**2 + 11*y - 29. Let g be k(14). Let w = g - -8. Is 7 a factor of w?
True
Suppose 532*m = 544*m - 3504. Suppose -20*o = -228 - m. Is 2 a factor of o?
True
Let o = -20 + 72. Let g = 68 - o. Suppose 496 = g*w - 0*w. Is w a multiple of 10?
False
Let l(p) = 5*p**2 - 24*p - 657. Is l(33) a multiple of 54?
True
Suppose 36 = 4*n - 3*o - 4, 0 = 4*o + 16. Suppose 0 = -0*c + n*c - 2114. Let b = -195 + c. Does 17 divide b?
False
Is 23 a factor of 286084/20 - (152/160 + (-12)/16)?
False
Let s = 262 + -264. Is (294/28)/(s/(-36)) a multiple of 21?
True
Suppose -5*n - 128 = -4*v - 4*n, 0 = 3*v - 5*n - 96. Suppose l - v - 6 = 2*j, -2*l - 2*j = -70. Does 2 divide l?
True
Let m = -41 + 47. Let p(x) = -4*x**2 + 13*x + 5. Let w be p(m). Let k = 85 + w. Is 8 a factor of k?
True
Suppose 0 = 4*z - 4*a - 100620, -30*z + 32*z + 5*a = 50345. Does 34 divide z?
True
Let o = 25656 + -17898. Is o a multiple of 102?
False
Let z(p) = -6*p - 1. Let y be z(0). Let j(n) = -109*n**3 + 3*n**2 + 2*n. Is j(y) a multiple of 14?
False
Let z(x) = -x**2 - 15*x - 24. Let t be z(-13). Let y(d) = 5*d**2 + 4*d**2 + 5*d**t + 4 - 3*d + d**3 - 6*d**2. Is 20 a factor of y(-4)?
True
Let n be (-5)/((-45)/12)*(-7 + -2). Let h be 3 + (-10)/6*n/2. Let k(y) = 2*y + 8. Is k(h) a multiple of 3?
False
Let g = 20 - 45. Let u = 25 + g. Suppose u = -6*t + 5*t + 32. Is t a multiple of 16?
True
Suppose 0 = -12*y + 132*y - 262920. Is y a multiple of 10?
False
Suppose 0 = 229*f - 231*f + 1476. Suppose -f = 2*n - 8*n. Is 27 a factor of n?
False
Let y(o) = 201*o**2 - 18*o + 3. Does 93 divide y(1)?
True
Let q(a) = 27*a**2 - 25*a + 158. Is 18 a factor of q(29)?
True
Suppose 13*n + 5184 = 21*n. Let p = -459 + n. Is 21 a factor of p?
True
Let s(u) = 196*u + 1. Let j be s(2). Let i = j - 296. Does 15 divide i?
False
Suppose 4*s + 844 = 4*p, 2*p - 594 + 175 = s. Suppose 2*d + 66 = j - d, -2*d + p = 4*j. Is 9 a factor of j?
True
Is (28095/(-55))/(12/(-132)) + 9 a multiple of 3?
True
Let i(c) = 1747*c - 3105. Is i(5) a multiple of 24?
False
Suppose -2*n + 27 - 9 = -4*c, -4*n + 48 = 4*c. Suppose -3*j = -6*j - h + n, 13 = j + 5*h. Suppose -q = -3*s - 214, -422 = -q - q + j*s. Does 19 divide q?
False
Is 16 a factor of 2 + (2/(-27) - 629680/(-540))?
True
Let s(r) = 12*r**2 - 171*r - 3042. Is s(-20) a multiple of 39?
False
Let y(q) = 36*q**2 + 13*q + 56. Is 141 a factor of y(-8)?
True
Let i(b) = -95*b**3 - 91*b**2 - 543*b - 7. Does 15 divide i(-7)?
True
Let m(c) = -c**3 - 7*c**2 - 10*c + 5. Let b be m(-5). Suppose -b*s - 4*t + 1672 = 0, 0*t = 5*s - 3*t - 1686. Does 14 divide s?
True
Suppose s - 26461 = -6*w + 32812, 0 = 5*w - s - 49396. Is 13 a factor of w?
False
Let z = 10574 - 4549. Does 13 divide z?
False
Suppose -t + 2 = 0, -4*i = 4*t - 3*t - 370. Let w = -144 - -147. Suppose -3*n + i = s, 0*n + 4*n + 211 = w*s. Is s a multiple of 8?
False
Suppose 4*m - 19 + 59 = 0. Let w(k) = 4*k**2 - 61*k - 23. Let y(q) = q**2 - 20*q - 8. Let t(g) = -2*w(g) + 7*y(g). Is 7 a factor of t(