t - 2*g + 0*g = 56, -3*t + 32 = -2*g. Suppose -c - 45 = 3*i, 0 = 4*c + 8*i - 11*i + 105. Let d = t - c. Is d a multiple of 22?
False
Let q(c) be the first derivative of 3*c**3 - 22*c**2 - 23*c + 6. Let s(a) = -14*a**2 + 66*a + 35. Let u(p) = 8*q(p) + 5*s(p). Does 5 divide u(12)?
True
Suppose 2*s = 5*k + 3714, -2*s + 815*k - 819*k = -3768. Is s a multiple of 26?
True
Let n = -6 + 18. Suppose -n = c - 16. Suppose r + 0*r = 2*d + 47, c*d = 4. Is r a multiple of 7?
True
Suppose 5*n + 3*f + 29 = 0, -2*n + 5*f = 4*f + 5. Is 10 a factor of 114 - -2*(-2)/n?
False
Let v(j) = -90*j**3 + 3*j - 2. Let a = -27 + 28. Let q be v(a). Let k = -44 - q. Is 17 a factor of k?
False
Suppose 10*l + 11 = 41. Suppose 3*o + l*p - 1380 = 0, 0*p - 2288 = -5*o + p. Suppose j + 2*g - o = -4*j, 0 = -4*j + 4*g + 372. Is j a multiple of 46?
True
Suppose -5*r + f + 2 + 11 = 0, -1 = -r + f. Suppose q - 6 = v, 3*v + 6 = -4*q + r*q. Suppose q*c - 155 = 46. Is 21 a factor of c?
False
Let c = 6577 - 2365. Is c a multiple of 162?
True
Suppose 4*c - 5*x - 980 = 12630, -c - 5*x + 3440 = 0. Does 27 divide c?
False
Suppose 29*l = 11*l - 5*l + 125925. Is l a multiple of 73?
True
Suppose 10*r - 2*r = -0*r. Suppose -46*k + 51*k - 3420 = r. Does 36 divide k?
True
Let m(f) = 11*f**2 + 30. Let l be m(-10). Suppose 1450 = 6*j - l. Is j a multiple of 10?
True
Is (-240730)/(-608) + (31/(-16) - -2) a multiple of 18?
True
Let i = -65 - -65. Let d(f) = f**2 - 4*f + 88. Let b be d(i). Let w = -58 + b. Is 8 a factor of w?
False
Let a(g) = 2*g**2 + 4*g - 15. Suppose 5*k - 3*n + 91 = -n, 5*k - 3*n = -89. Let b = 23 + k. Does 10 divide a(b)?
False
Let c = -479 - -852. Let a = -251 + c. Is 8 a factor of a?
False
Let w = 1049 + 308. Is 23 a factor of w?
True
Let g(w) = -w**2 - 16*w + 41. Suppose q + 18 = -3*y, -2*q - 3*y = 2*q + 63. Is 28 a factor of g(q)?
True
Suppose 3*o + 17 = 2. Is (-15)/o + 429 + -6 a multiple of 14?
False
Is 15 a factor of 20 + -39 + 117376/4?
True
Let g = -14882 + 28215. Is 9 a factor of g?
False
Let t(r) = -r**3 - 5*r**2 + 6*r + 7. Let i be t(-6). Let o(n) = 9 + 0 + n + 2 - i. Is o(3) a multiple of 7?
True
Let l(t) = 50*t - 13. Suppose 0 - 12 = -3*b - 3*a, 2*b = 5*a + 8. Let z be l(b). Let o = z - 108. Is o a multiple of 14?
False
Is -5 + 13 - -3825 - 13 a multiple of 38?
False
Let u(d) be the second derivative of 95*d**4/12 - d**3/2 + 2*d**2 - 22*d + 7. Does 4 divide u(1)?
True
Let z(c) = -c**3 - 11*c**2 - 9*c + 42. Let f = -92 + 82. Is 13 a factor of z(f)?
False
Let s(b) = -b**3 - 12*b**2 + 22*b + 45. Let n be 92/(-6) + (26/(-3) - -9). Is 45 a factor of s(n)?
False
Let a = -11 - -16. Suppose 7*k - f = 3*k - 98, a*f - 15 = k. Let t = -14 - k. Does 11 divide t?
True
Let o(l) = l**3 - 15*l**2 - 80*l - 79. Does 4 divide o(20)?
False
Let w(o) = 5*o**2 + 3*o - 4. Let b be (6/27 - (-34)/9)*-25. Let z be ((-18)/(-15))/((-30)/b). Is w(z) a multiple of 44?
True
Let p = 49 + -23. Suppose 26 = 4*v + 4*c + 6, 0 = 5*v + 4*c - p. Suppose 60 + 1002 = v*r. Is 37 a factor of r?
False
Let p(c) = -2*c - 110. Let y(g) = -3*g - 165. Let o(j) = -8*p(j) + 5*y(j). Let n be o(-16). Suppose 4*a = -w + 158, -a - 139 = -w + n. Does 13 divide w?
False
Suppose -14*z = -15*z - 5*s + 3414, 5*z - 2*s = 16935. Suppose 815 - z = -6*f. Is f a multiple of 39?
True
Suppose 20 = -4*g, t = -g - 0*g + 4190. Is t a multiple of 74?
False
Let u = -74 + 103. Let m(d) = 32 - u + 116*d**2 - 5*d - 29*d**2. Is 25 a factor of m(1)?
False
Let b = -54 + 12. Let x = b + 26. Is 10 a factor of (-708)/x + 1/(-4)?
False
Suppose 109 + 125 = 3*u. Suppose 2*r - 3*m = -141, -2*m - 2*m = -r - u. Let s = r + 226. Does 32 divide s?
True
Let t(u) = 7*u**2 - 224*u - 124. Is t(51) a multiple of 10?
False
Let q(s) be the second derivative of 2/3*s**3 + 7*s + 0 - 21/2*s**2 + 1/20*s**5 + 4/3*s**4. Is 35 a factor of q(-15)?
False
Suppose 4*x - 16 = -0. Suppose 11*f = x*f + 833. Suppose -3*h + c + 227 = -h, -5*c = h - f. Is h a multiple of 37?
False
Let q(d) = 165*d**2 + 15*d + 150. Let p(v) = -41*v**2 - 4*v - 37. Let t(r) = -25*p(r) - 6*q(r). Is 8 a factor of t(-5)?
False
Suppose -j - 46 = -6. Let g = j - -33. Let h = 100 + g. Does 31 divide h?
True
Suppose -4*r + 8 = -0. Suppose -r*g = 5*m - 290, 2*g - 149 - 81 = -4*m. Is m a multiple of 19?
False
Let d(p) = 5*p - 25. Let x be d(5). Suppose 7*c - 3367 = -x. Does 20 divide c?
False
Suppose 0 = 2*x + x + k + 16, 4*k = x - 12. Let d(v) be the first derivative of -v**4/4 - v**3 + v**2/2 + 4*v - 14. Is 2 a factor of d(x)?
True
Let i = 141 + -65. Suppose 0 = i*b - 85*b + 9729. Is 23 a factor of b?
True
Suppose -900 = -0*h - 2*h. Suppose 18*w = 13*w + h. Is w a multiple of 45?
True
Let y(l) = 8*l**2 + 5*l - 7. Suppose 3*a - r - 5 = 0, 0*r + 3*r = 12. Let u be y(a). Suppose -4*w = 2*p - u - 110, 3*w + 3*p - 150 = 0. Is 9 a factor of w?
True
Suppose 26 = 5*j + 1, -2*n + 5*j + 31 = 0. Suppose -n - 476 = -3*f. Does 12 divide f?
True
Let w(j) = -j**3 + 17*j**2 + 6*j - 9. Suppose -2*i + 42 = i - 3*y, -2*i + 4*y = -28. Suppose 6*c + i = 116. Does 36 divide w(c)?
False
Suppose 0 = 3*m + 26 - 458. Suppose -38 = -7*o + m. Is 18 a factor of ((-4)/26 + (-22)/o)*-110?
False
Let o(a) = 14*a + 12. Let i be o(2). Suppose -3*t = 4*h - i, 3*t + 28 = 7*t - h. Let q(y) = 2*y**2 - 4*y + 17. Does 13 divide q(t)?
False
Suppose -4*w = 8, w = z - 4*z - 14. Let t be z/6*(-18)/(-12). Is 3 a factor of 8*-1*t/((-24)/(-90))?
True
Let k(h) = -3*h - 13. Let g be k(-12). Let x be (-1 + g/(-2))*32/(-20). Suppose -x = -4*o, -o + 141 - 38 = b. Is b a multiple of 22?
False
Let z be (-21)/6 + 15/10. Let f(d) = -3*d**2 - 3*d. Let k be f(z). Does 17 divide (-4)/108*k + (-151)/(-9)?
True
Let z(m) = -4*m**3 - 19*m**2 - 21*m + 18. Let l(j) = 5*j**3 + 20*j**2 + 20*j - 19. Let t(d) = -3*l(d) - 4*z(d). Does 6 divide t(-14)?
False
Let n be 8 + (39 - (-8 + 9)*-3). Let u = 29 + 26. Let f = n + u. Is 35 a factor of f?
True
Suppose -3*s = -n + 8, 2*n - 18 = -n + 3*s. Is n/10*114*(-1)/(-3) a multiple of 19?
True
Is 137 a factor of (1 - (-2 + 1))/(5 + (-247515)/49505)?
False
Let n be -5*(-1 + (-4 - -4)). Suppose n*v + 79 = -286. Let o = v + 109. Does 18 divide o?
True
Suppose -5*o + 81 = -0*v - 4*v, -5*v = 20. Suppose 9*b + 5 + o = 0. Does 23 divide (75/(-6))/(b*(-3)/(-24))?
False
Is 13 a factor of 8/((-8463)/770 + 7 + 4)?
False
Let k(r) = -1638*r**3 + 17*r**2 + 51*r + 13. Does 83 divide k(-3)?
True
Let t = -57424 - -96064. Does 140 divide t?
True
Let h = -19 + 1727. Is 6 a factor of h?
False
Let u = 18372 - 13106. Does 43 divide u?
False
Let u(f) = f**3 - 85*f**2 - 156*f - 438. Is u(87) a multiple of 6?
True
Suppose -41*g + 75*g - 35*g + 2759 = 0. Is 35 a factor of g?
False
Suppose 3*b + 3663 = -4*q + 9239, 0 = q - 2*b - 1383. Is q a multiple of 3?
False
Suppose -1 = -k, k + 30 = 2*c - 3. Suppose 4*r + 49 = c. Does 8 divide (91/28)/((-2)/r)?
False
Let d(b) = -74*b + 18. Let v be (6/(-7))/((-4)/(-1 - 27)). Does 33 divide d(v)?
True
Suppose 2*v + 2*x - 396 = -0*v, -3*x + 988 = 5*v. Let z = 469 - v. Is 4 a factor of z?
True
Let g(t) = 11*t - 83. Let w(p) = -10*p + 83. Let j(n) = -2*g(n) - 3*w(n). Is 2 a factor of j(18)?
False
Let n(q) = -92 + 87 + 7*q**2 - 8*q - 6*q. Let z be n(-6). Let u = z + -217. Does 19 divide u?
True
Let h be -2*16/20*(-25)/2. Suppose 388 = h*r - 692. Is 8 a factor of r?
False
Suppose -2*v + 2568 = t, -146*t - 5*v = -147*t + 2582. Is t a multiple of 7?
False
Let r(k) = -k + 16. Let w be r(9). Suppose 0 = w*m - 3*m - 104. Suppose 0 = 5*p - 34 - m. Is p a multiple of 9?
False
Suppose -15 = -k + 4*w - 13, 4*k + 32 = -4*w. Is 12 a factor of (-12)/((k/(-30))/(6/(-10)))?
True
Let w = -523 - -943. Let q = w + -189. Is 21 a factor of q?
True
Suppose 7*g - 21 = -0*g. Suppose -4 = -2*s, u - 268 = -g*s - 42. Suppose 5*n = h - 100, -2*n = -3*h - 7*n + u. Is 20 a factor of h?
True
Suppose 23*i = 186020 + 162016. Does 8 divide i?
False
Is 3 + (-3010)/(-25) + (-2)/5 a multiple of 6?
False
Suppose -20*n = 18*n - 492738 + 638. Is n a multiple of 74?
True
Let j = -29921 + 44757. Is 31 a factor of j?
False
Suppose 5*v = 5*g - 350, 2*v - g = -2*g - 134. Let o = v + 109. Does 5 divide o + (-5)/(5/(-3)) + -2?
False
Suppose 4078 = 4*z + 4*z + 974. Does 10 divide z?
False
Is 5 a factor of (-9*(-4)/42)/((-6)/(-756))?
False
Let b be ((-2380)/(-51))/((8/(-15