 31*x + 2. Let a(m) = -60*m - 4. Let f(z) = -6*a(z) - 11*g(z). Let d be (1/3)/((-1)/(-6)). Is 8 a factor of f(d)?
True
Let x be 139/(-5) - 12/60. Let q = -25 - x. Suppose q*j - 45 = d - 0*d, -3*j = -4*d - 36. Is 7 a factor of j?
False
Suppose -12*w + 5150 = 5*l - 7*w, 2*l + 5*w = 2045. Suppose 4*d = 5*d + 3*m - 188, -l = -5*d + 4*m. Does 20 divide d?
False
Suppose -142688 = 94*r - 120*r. Does 98 divide r?
True
Let f(k) = 3*k**3 + k**2 - 65*k. Let a be f(8). Let j = a + 201. Does 11 divide j?
False
Let q = 123 + -110. Suppose -q*s + 3277 + 6824 = 0. Does 15 divide s?
False
Let n(p) be the second derivative of p**5/20 - 7*p**4/12 + 14*p**3/3 - p**2 + 104*p. Does 13 divide n(9)?
False
Let f = 10608 + -2509. Does 7 divide f?
True
Let p(z) = 2*z**2 + 5*z + 14. Let f be p(12). Does 51 divide f - (-4 - 63/(-7))?
True
Let m(y) = y**3 + 11*y**2 + 7*y + 11. Let i be (-48)/(2 + 21/(-9)). Let a be i/(-14) - (-2)/7. Is 4 a factor of m(a)?
False
Let m = -29 + 102. Let i = m - 13. Suppose i - 12 = 3*u. Does 3 divide u?
False
Let b(c) be the first derivative of -c**3 - 11 - 10*c**2 - 2*c + 8*c**2 + 59*c**3. Is b(-1) a multiple of 23?
False
Let n be 7/28 - (-513)/12. Let b = -40 + n. Is 0 - (-375)/(15/b) a multiple of 14?
False
Let c = 22 + -18. Let m be (-14)/(-8) + (-6)/(-24). Suppose m*r - 100 = -0*o + c*o, 2*o - 210 = -4*r. Is r a multiple of 13?
True
Does 9 divide ((-7119)/(-27) + 9)*54/4?
True
Let g(m) = -28*m - 4. Suppose k - w - 8 = 0, 22 = 2*k - 0*k - 4*w. Suppose -4*p = -3*j - 17, 9*j + k = 4*j - 5*p. Is 20 a factor of g(j)?
True
Let j(a) = 15*a**2 - 3. Let n be j(7). Suppose r = n - 90. Suppose 4*s = 4*w + 516, 5*s - 2*w = 2*w + r. Is 21 a factor of s?
True
Suppose -2*b - 4990 + 1294 = -3*n, 3*b = -9. Suppose 6*p = -n + 6474. Is 23 a factor of p?
True
Let t be (-1)/4 - (-87)/12. Suppose -26*i = -t*i - 16834. Is 10 a factor of i?
False
Let h(u) = u**2 + 46. Suppose -6*f = -l - 2*f + 106, 3*f + 6 = 0. Let t = -106 + l. Does 14 divide h(t)?
False
Suppose -244*a + 150 = -234*a. Suppose 7772 = -a*r + 24782. Is r a multiple of 12?
False
Suppose 2*n + 11*x - 1128 = 14*x, -5*n + 2*x = -2820. Suppose -2*p = a - 568, -15*a = -2*p - 17*a + n. Does 11 divide p?
True
Suppose 1791 = 5*j + l, 2*j - 3*l + 5*l - 718 = 0. Is 2 a factor of j?
True
Let r = 30 - 28. Suppose b + 134 = 3*p, 3*b - 8 = -r*p + 96. Is 23 a factor of p?
True
Let j = 26987 - 13259. Is j a multiple of 18?
False
Is 17292 + (-2 - -8) + 6 a multiple of 7?
True
Let q = 1059 + -2883. Let a = q - -2591. Suppose -a - 313 = -9*x. Does 24 divide x?
True
Let z be (-111)/18*16*6/(-4). Let o = z + 41. Is 27 a factor of o?
True
Let g = 72836 - 50476. Is g a multiple of 10?
True
Let b(o) = -o**2 - 124*o - 730. Is 13 a factor of b(-47)?
False
Suppose -25 = 5*a, -o + 0*o = 3*a - 176. Let z = o + 172. Is 11 a factor of z?
True
Suppose -58*v + 321*v = 22908 - 4498. Is v a multiple of 3?
False
Let y = -5115 - -8978. Is y a multiple of 126?
False
Let b(w) = -392*w - 13608. Is b(-134) a multiple of 40?
True
Let j = 52911 - 32359. Is j a multiple of 56?
True
Does 5 divide (-4)/12*(3 - -27)*(-1 - 21)?
True
Let v = 11666 - 6875. Does 25 divide v?
False
Suppose -2*l = l - 36. Suppose 4*n = 7*n - 5*q - 2100, -l = -4*q. Suppose 5*u = 5*i - n, 5*u - 275 = -5*i + 3*i. Does 20 divide i?
True
Let n be (-5966)/57 + (-2)/(-3). Let b = 118 + -186. Let d = b - n. Is d a multiple of 9?
True
Suppose -2*p + p = -y - 11, 0 = 3*y + 15. Suppose -p*w = -1066 - 1100. Is 30 a factor of w?
False
Does 162 divide (78/18 - 4)/((-8)/(-74904))?
False
Is ((-151232)/48)/(10/(-15)) a multiple of 139?
True
Let m(x) = -x**3 + 19*x**2 + 3*x + 13. Let h be m(18). Let i = h + 55. Suppose 0 = -5*t + 604 + i. Does 15 divide t?
True
Suppose -3*k + 5 = -5*w, -5 = 5*w - 3*k + 6*k. Let f(h) = h - 5. Let j be f(8). Is 9 a factor of (-107)/w - (-3)/j?
True
Suppose -7*f - 4*f + 97360 = 5*f. Does 10 divide f?
False
Suppose -25*k + 37 = -63. Suppose -2*o + 2*v = -42, -o + v = k*o - 101. Is o a multiple of 3?
False
Let r(j) = -j**3 - j**2 + 4*j + 4. Let v be r(-2). Let k be 3 - (v + 0/1). Let u(s) = s**2 - 2*s + 6. Does 2 divide u(k)?
False
Is (3 - 5 - 13) + 7015 a multiple of 140?
True
Suppose 3*i + 5*w - 22846 = 0, 19122 = 3*i + 3*w - 3726. Does 66 divide i?
False
Suppose -4*g + 9399 = m, 3*m = 51*g - 54*g + 28188. Is 67 a factor of m?
False
Let p = -48 - -58. Let a(g) = g**2 - p*g + 2*g**2 + 2*g - 7 + 9. Does 3 divide a(3)?
False
Suppose 4*j = 10*j - 378. Let u be (9*-1)/(j/42). Let x(w) = 3*w**2 + w - 11. Does 13 divide x(u)?
True
Suppose -5*u = 4*r - 39237, u = 37 - 32. Is 12 a factor of r?
False
Is 97 a factor of 1531708/(-69)*(3/(-5) - 18/20)?
False
Suppose -7*k = 17*k + 40*k - 274048. Is k a multiple of 16?
False
Suppose -5*f = 5*s - 80, 3*s + 4*f = 60 - 11. Suppose -21*i + 120 = 15. Suppose i*q = -2*t + 34, -s = -5*q + t + 13. Is q a multiple of 3?
True
Suppose 13*f - 3 - 23 = 0. Suppose -v = h - 5*v - 35, h - 41 = -f*v. Does 4 divide h?
False
Suppose 5*o + n = 3167, 3*n - 4*n = 4*o - 2533. Let f = -2227 - -1857. Let h = f + o. Does 22 divide h?
True
Let d = 41 - 89. Let c be 72/(-21) - -3 - d/14. Suppose 2*j = -3*o + 54, -29 = -c*o + 3*j + 10. Is 4 a factor of o?
True
Let f be ((-10)/3)/(2*(-4)/156). Suppose f = 9*c - 349. Is 23 a factor of c?
True
Let s(d) = -5683*d**3 + 6*d**2 + 4*d - 1. Is 49 a factor of s(-1)?
True
Let h = -12186 + 29526. Is h a multiple of 68?
True
Let f be (2 - (-25)/(-10))/(4/8). Is 13 a factor of f + (7 - 2) - -9?
True
Let n(s) = 3*s + 18. Let j(x) = x - 12. Let o be j(16). Suppose -2*y - 3*m = -32, 3*y + o*m - 66 = -2*y. Is 8 a factor of n(y)?
True
Let v(s) = s**3 + 7*s**2 - 7*s - 15. Let u be (2/(-2))/(22/7 + -3). Let y be v(u). Let g = -28 + y. Does 2 divide g?
True
Suppose 8 = g + 4*f, -2*f = -g + 2 - 0. Suppose -g*m - 3*w + 240 = 0, 6*m + w = m + 311. Let j = 78 - m. Is 5 a factor of j?
True
Let h be -5*1*(-4 + (7 - 4)). Suppose -h*j - 30 = -115. Is 17 a factor of j?
True
Let v(n) = n - 18. Let p be v(7). Let u = p - -9. Let j(g) = -2*g**3 - g + 3. Is 3 a factor of j(u)?
True
Let y(j) = 198*j - 22. Let m be y(3). Suppose 4*l - 556 = 2*h - h, -4*l + 5*h = -m. Does 6 divide l?
True
Does 52 divide (22/(660/(-88875)))/((-9)/12)?
False
Let w = 63 + -83. Is 9 a factor of (19 + w)/((-2)/698)?
False
Let c(j) = 3*j. Let u be c(0). Let g(y) = -y**2 + 2*y + 4. Let a be g(u). Suppose q + 2*b - 96 = 0, 4*q + a*b - 390 = 2*b. Does 18 divide q?
False
Let j(m) = 223*m - 6. Let c be (-44)/(-8) + 6/(-4). Let s(h) = -222*h + 5. Let y(i) = c*s(i) + 3*j(i). Does 17 divide y(-1)?
True
Suppose -22*h - 37*h - 11581 = -665773. Is h a multiple of 126?
True
Is 168 a factor of 264/(-121) + 2 + (-144183)/(-33) + -1?
True
Let z = 857 + 512. Is z a multiple of 2?
False
Let t = -7 - -11. Is (-28)/42*(-78)/t a multiple of 13?
True
Let q = -93 + 378. Suppose 5*y = 6*y - q. Suppose 4*a + 2*p = 4*p + 366, -3*a = -5*p - y. Is 30 a factor of a?
True
Suppose 0 = 13*f - 592 - 32. Is 25 a factor of -1 - f/6 - -168?
False
Let d = 356 - 591. Let z = d + 333. Is 14 a factor of z?
True
Suppose 5*n - 42320 = -3*d, 13*d - 8*d - 25392 = -3*n. Does 23 divide n?
True
Suppose m + 59 = -2*w + 8, 0 = -4*w + 5*m - 109. Let q = w - -37. Suppose -14*o + q*o + 396 = 0. Is o a multiple of 33?
True
Let i = 720 + -1496. Let k = -552 - i. Does 14 divide k?
True
Suppose -25282 = -6*k + 2*q, -12*k - 5*q + 21035 = -7*k. Is k a multiple of 18?
True
Suppose -u - 5*l + 8*l + 168 = 0, -320 = -2*u - 2*l. Is u/5 + (-4 - (-108)/30) a multiple of 8?
True
Let g(j) = -j**2 - 11*j - 19. Let y be g(-8). Let k(z) = 11*z - 4. Let q be k(y). Suppose 0 = a - 209 + q. Is a a multiple of 13?
False
Let k(y) be the first derivative of y**4/4 + 22*y**3/3 + 12*y**2 - 7*y + 12. Is k(-11) a multiple of 66?
False
Let l = 554 - 514. Suppose -l*f + 44825 = 4545. Is 53 a factor of f?
True
Let k(f) = -59*f + 280. Let j(d) = -20*d + 93. Let l(i) = -17*j(i) + 6*k(i). Is 11 a factor of l(-11)?
True
Let h(u) = u - 13. Let s be h(17). Suppose 4*k - 1359 = 9*v - s*v, 3*v + 1689 = 5*k. Is 24 a factor of k?
True
Suppose -53*u = -432536 - 624602. Does 132 divide u?
False
Let q = -5979 + 8811. Does 34 divide q?
False
Suppose -32*f - 6016 - 1312 = 0. Let q = f - -261. Is 16 a factor of q?
True
Let y(u) = 6*u**3 - 5*u**2 +