). Suppose -24*c + s = -21*c. Does 4 divide c?
True
Let k(m) = -1006*m - 510. Let i be k(-6). Let x = i + -3877. Is x a multiple of 17?
True
Let s(l) = -9*l + 620. Is s(0) a multiple of 11?
False
Suppose -205*f + 195*f = -180640. Is 32 a factor of f?
False
Let b(j) = 889*j + 9870. Is b(-10) a multiple of 2?
True
Suppose 23*z - 28*z = 37*z - 731640. Is 13 a factor of z?
True
Suppose -5 = -2*d + 9. Let b(u) = 11 - d + 18*u - 17 + u. Is 7 a factor of b(3)?
False
Let x be (-38 + 5)/(-3) + -6. Suppose x*d - 9600 = -7*d. Is 32 a factor of d?
True
Let p = -2227 - -1196. Let d = -626 - p. Is 14 a factor of d?
False
Let u = -43 + 45. Suppose s - 924 = -2*s + 4*q, u*s + 4*q = 636. Is 52 a factor of s?
True
Let f = 1239 - 574. Let m = f - 574. Is 7 a factor of m?
True
Suppose 6*p - 52 = -7*p. Suppose p*o - 1422 = -t, 4*t + 14 = 6. Does 29 divide o?
False
Let v = -8325 + 17192. Does 8 divide v?
False
Let r(n) = -n**3 - 4*n**2 - 5*n - 4. Suppose -b = -10 + 13. Let s be r(b). Suppose 5*f - f - s*y = 44, -4*y = 16. Is 2 a factor of f?
False
Suppose -9*j + 5*j = -3*m + 63, j + 30 = -4*m. Is 53 a factor of (-2866)/(-6) - (-7 - 138/j)?
True
Suppose -2*t + 74 = 4*y - 60, 3*t = 3*y - 105. Suppose 29*w + 195 = y*w. Suppose 4*l = p - 4*p + 115, -p - 2*l + w = 0. Is p a multiple of 14?
False
Let n(t) = 426*t**2 - 5*t + 20. Is 79 a factor of n(6)?
True
Let d = -7026 + 11395. Is d a multiple of 11?
False
Let f(b) = b**3 + 86*b**2 + 55*b - 64. Does 243 divide f(-83)?
True
Let s(d) = 7*d**3 + 5*d**2 - 4*d - 2. Let k = -32 - -34. Let c be s(k). Suppose -4*j = -5*a - j + c, a - 5*j = 0. Does 5 divide a?
True
Suppose -2*c = -2*r - 1068 - 1410, 2*c = -5*r + 2485. Is c a multiple of 8?
True
Let a(k) = -19*k**2 - 28*k + 6. Let s(t) = -20*t**2 - 33*t + 7. Let c(x) = -4*a(x) + 3*s(x). Is c(5) a multiple of 14?
True
Suppose 23*l - 21*l - 78 = 0. Is l a multiple of 5?
False
Let g(t) = -78*t - 3. Let u(s) = -38*s - 2. Let v(l) = 6*g(l) - 10*u(l). Does 14 divide v(-3)?
True
Let p be (-48)/(-40)*25/2. Let y(v) = 19*v - 15. Does 15 divide y(p)?
True
Let q = -92 - -289. Let g = q + -65. Is g a multiple of 3?
True
Let y be (-1)/(-2*(-5)/(-6470)). Suppose y + 124 = 3*f. Is 13 a factor of f?
False
Let i = -107 - -297. Let r = -135 + i. Let f = 21 + r. Is f a multiple of 41?
False
Suppose 9*r + 11*r = 220. Suppose 0 = -4*b + r*b - 4144. Is 38 a factor of b?
False
Suppose -11*f = -1254 + 418. Suppose 2*j = -50 + 16. Let o = j + f. Is o a multiple of 14?
False
Suppose 21537 = -43*d + 94765 + 7096. Does 2 divide d?
True
Suppose -4*s = -5*i - 20, 6*s = i + 2*s + 4. Let c(t) be the first derivative of -t**4/4 + 4*t**3/3 + 5*t**2/2 + 18*t - 11. Is c(i) a multiple of 18?
True
Suppose 5*s - c - 461 - 3531 = 0, -5*s + 4007 = 4*c. Does 163 divide s?
False
Let d(o) = o**2 + o. Let t(r) = 13*r**2 + 8*r + 2. Suppose 0 = -b - 2*b + 3. Let z(m) = b*t(m) - 6*d(m). Does 12 divide z(2)?
False
Suppose -430 = -3*b + 2*z, -5*z - 139 = -b - 0*z. Let a = 1954 + -1946. Suppose b = a*y - 0*y. Is 13 a factor of y?
False
Let j(n) = n**3 - 2*n**2 + 2*n + 10. Suppose -7*u = -8*u + 12. Let c(h) = -h**2 + 14*h - 24. Let a be c(u). Is j(a) a multiple of 10?
True
Let u = 193 - 371. Suppose 4*l + 335 = p, -p + 2*l - 86 + 419 = 0. Let v = p + u. Is v a multiple of 31?
False
Let h = 172 + -131. Suppose -h*l + 53*l = 1608. Is 67 a factor of l?
True
Suppose 12*m - 12451 = 2*m + 569. Does 5 divide m?
False
Suppose m - 2*u - u + 15 = 0, 5*m + 4*u - 20 = 0. Suppose -d + q + 812 = m, -7*d + 4*d - q + 2452 = 0. Is 19 a factor of d?
False
Let a be (9/(-4))/(22/88). Suppose 8 - 22 = -2*k. Does 7 divide (36/a)/((-2)/k)?
True
Is -38 + 35 + (-1967)/(-1) + -1 a multiple of 7?
False
Let l(s) = 8*s**2 + 4*s. Let x = 5 + -3. Suppose 5*p = -x*q - 26, 3*q + 0 = p - 5. Is l(p) a multiple of 28?
True
Suppose 0*t = h + 2*t + 14, -4*h + t = 11. Let p be 10301/4 - (h - (-78)/24). Is 12 a factor of p/(-42)*6/(-4)?
False
Let k be -10*(1*-2 - 42/(-35)). Let l be (1 + 0)*k/(-2). Is 10 a factor of (-637)/(-21) + (4/3)/l?
True
Let m(q) = -q**2 - 16*q - 23. Let s = -31 - -17. Let v be m(s). Suppose 5*c - 15 = d - 77, -v*d = 2*c - 391. Does 9 divide d?
False
Let g = -150 - -156. Suppose -5*a = -3*z - 626, -4*a = -g*a + 4*z + 256. Is 31 a factor of a?
True
Let p(c) = -2*c**3 - 54*c**2 - 71*c - 551. Is p(-28) a multiple of 83?
False
Let d(x) be the third derivative of x**5/30 + x**4/24 - 5*x**2. Let f be d(0). Suppose -j + 17 = n, f = -2*n + 4*n - j - 37. Is 3 a factor of n?
True
Is 126 a factor of (-2 - -17585)*14/(-504)*-12?
False
Suppose -1260 = -2*d - 10*d. Suppose -d*j + 93*j = -1764. Is j a multiple of 3?
True
Let n be (1*870/20)/(1/(-2)). Let p = 97 + n. Does 10 divide p?
True
Suppose -3*i + 11987 = 4*d - 4580, 0 = 4*i + 12. Does 37 divide d?
True
Let k(x) = -77*x + 1401. Does 27 divide k(-49)?
False
Suppose n - 3295 = -3*n - 3*p, 0 = -2*n - 5*p + 1665. Suppose -7*w + 2*w = -5*r + 1375, -4*w = -3*r + n. Is 14 a factor of r?
True
Let w = 74398 - 50624. Does 68 divide w?
False
Let o = -45 + 50. Suppose 20 = 4*y, -13 = -3*t - o*y + 9. Is 6 a factor of -18*(-3 + 4)*t?
True
Let m(l) be the third derivative of 0*l + 14*l**2 + 0 - 13/2*l**3 + 5/12*l**4. Does 11 divide m(6)?
False
Let o = 3106 + -3040. Is 11 a factor of o?
True
Let o(f) = f**2 - 23*f - 18. Let r be o(24). Suppose 352 = r*s + 64. Is 8 a factor of s?
True
Let g = 103 - 104. Let y be 596/10*g/(2/(-5)). Suppose 3*u + 319 = 4*m, -2*u = 3*m - 103 - y. Is 22 a factor of m?
False
Is 17 a factor of (-250)/30*1530/(-50)?
True
Let f(j) = -j**3 + 11*j**2 + 4. Suppose -4*a + 6 = 2*s + 4, -5 = 2*a - 5*s. Suppose -4*g = -a*g - 40. Does 11 divide f(g)?
False
Let m(v) = 5*v**2 - 32*v + 9. Let d(s) = -14*s**2 + 96*s - 31. Let k(p) = 4*d(p) + 11*m(p). Is 15 a factor of k(7)?
True
Suppose 1342 = 360*h - 349*h. Suppose h*j = 127*j - 980. Does 28 divide j?
True
Let z(x) = -9*x**2 + 55*x - 27. Let b(q) = 5*q**2 - 28*q + 14. Let p(g) = 11*b(g) + 6*z(g). Let n = -286 + 262. Is 11 a factor of p(n)?
False
Let v(w) = 54*w + 45. Let r = 733 + -731. Is 51 a factor of v(r)?
True
Let k be (66 - (-3 + 2)) + -14 + 17. Suppose k*l = 52*l + 15138. Does 12 divide l?
False
Let v = -916 + 2213. Is v a multiple of 17?
False
Suppose -410*o + 621271 = -1100729. Is 70 a factor of o?
True
Suppose -5*m = -2*m - 15*m. Suppose m = -11*z + 9*z + 6. Suppose 98 = 2*l + z*y, -3*y - 182 = -4*l - 2*y. Is l a multiple of 16?
False
Let x be (-8 + 6)/(4/5454). Is 10 a factor of (x/15)/(39/(-260))?
False
Suppose -3*g + 2 + 1 = 0. Let j = 40 + g. Does 13 divide j - 3 - (4 + -3)?
False
Let l = 417 - 318. Suppose q - l = -10. Is q a multiple of 19?
False
Let w(a) = 27*a**2 - 9*a + 18. Let t(d) = 22*d + 244. Let l be t(-11). Does 18 divide w(l)?
True
Let b = -551 - -556. Suppose 680 = d - g, -367 = d + b*g - 1035. Is d a multiple of 48?
False
Suppose -3*r - 4*i - 1420 = 15571, -2*i - 16987 = 3*r. Does 37 divide ((r/18)/(-17))/(1/12)?
True
Let r = -4710 + 4821. Does 10 divide r?
False
Is (14 + 640/(-48))/((-1 - -2)/3408) a multiple of 51?
False
Let g = 6023 + -4886. Does 4 divide g?
False
Suppose 29 = 3*q - 415. Suppose -2*k - q = -4*k + p, -370 = -5*k + 2*p. Is k a multiple of 2?
True
Suppose 0 = 2*h - 2*k - 14435 + 3077, 5*h - k - 28391 = 0. Does 10 divide h?
False
Let o(c) = -11*c - 22. Does 9 divide o(-20)?
True
Does 4 divide -2*(-174)/10*7130/(-276)*-8?
True
Suppose -35*x - 158436 = -62*x. Is x a multiple of 4?
True
Let m = -68 - -132. Let k(s) = -s**2 + 19*s + 4. Let i be k(19). Suppose i*v = m + 20. Is v a multiple of 6?
False
Let d = -5899 - -34699. Is 20 a factor of d?
True
Let d(o) = -325*o + 1040. Does 20 divide d(-4)?
True
Suppose -2*z = g - 4774, 5*g = -167*z + 164*z + 23912. Does 54 divide g?
False
Let k be 10/75*-5 + 52/6. Let g(l) = 2*l**2 - 8*l + 2. Does 11 divide g(k)?
True
Suppose -4*t + 3*b = -651, -17 + 2 = 3*b. Suppose -j - 3*m = -34 - 14, m - t = -4*j. Let f = 22 + j. Is 5 a factor of f?
False
Suppose -6*x + 45 = 9. Is 4 a factor of (-6692)/(-112) + (1 - x/8)?
True
Let m(p) = 4*p + 3*p + p**2 + 828 - 822. Let o be m(-5). Let i(j) = 7*j**2 - 3*j - 5. Does 17 divide i(o)?
True
Let c(h) = 3*h**3 + 16*h**2 + 3*h - 15. Let g(y) = -y**3 - y**2 - 1. Let b(v) = -c(v) - 2*g(v). Let a be (-125)/9 + ((-140)/45 - -3). Does 18 divide b(