ose -478*s + 462*s = -57984. Does 61 divide s?
False
Let f(d) = 11*d - 130*d**2 - 14*d + 11*d - 1. Let m be f(1). Is 22 a factor of (4 - 2)/(3/m*-1)?
False
Let w(m) = 7*m - 15. Let c(v) = -22*v + 44. Let b(i) = -2*c(i) - 7*w(i). Let p(d) = d**2 - 11*d - 113. Let t be p(17). Is 7 a factor of b(t)?
False
Let f(t) = t + 14. Let v be f(-8). Let h(l) = 5*l**2 - 9 - v*l + 6*l. Is h(3) a multiple of 12?
True
Suppose u = -0*n - 3*n - 7, 3*u + 3*n = 9. Let q be (2 + 1*38)/(10/60). Suppose 6*g = u*g - q. Is g a multiple of 24?
True
Let y be 752 + 20/(-6)*(-21)/(-14). Let a = 1044 - y. Does 30 divide a?
False
Is 30 a factor of (-16095)/(-3) + (-1)/(-3)*-18?
False
Let b = 775 - 1559. Let d = -397 - b. Does 8 divide d?
False
Let a(x) = -19*x**3 - x**2 + 4*x + 3. Let u(w) = -w**2 - 10*w - 18. Let n be u(-6). Suppose n*v - 2 = 7*v. Does 13 divide a(v)?
True
Is 19 a factor of (178/8)/(1530/(-768) + 2)?
False
Let q(h) = 947*h**2 + 77*h + 241. Is 14 a factor of q(-3)?
False
Let b(q) = 72 - 3*q**3 - q - 30 + 4*q**3 + 72. Let m = 7 + -7. Does 19 divide b(m)?
True
Does 14 divide 358760/90*-3*(-9)/4?
False
Suppose 62*t - 58*t - 4516 = 0. Is t a multiple of 2?
False
Suppose -147 = -4*o - 3*g, 4*g = -g + 5. Suppose 9 + o = 9*k. Let x(s) = s**3 - 2*s**2 - 7*s - 1. Does 13 divide x(k)?
True
Suppose -6*v = -v + 2*q - 4112, -4*v = -5*q - 3283. Does 2 divide v?
True
Suppose -3*o - x = -11612, 0 = 142*o - 144*o + 2*x + 7736. Does 45 divide o?
True
Suppose -6*g - 739 = -5683. Is g a multiple of 8?
True
Suppose 6 - 13 = b. Let y be ((-4)/1)/(b - 119/(-21)). Suppose y*c = -4*a + 162, -a - c = -5*c - 50. Is a a multiple of 10?
False
Suppose -119*a = -57*a - 61*a - 6113. Is a a multiple of 20?
False
Suppose l = -36 + 39. Let q(b) be the first derivative of -b**4/4 + 8*b**3/3 - 3*b**2/2 - b - 2. Does 18 divide q(l)?
False
Let b(t) be the second derivative of t**4/12 + 3*t**3/2 - 99*t**2/2 - 124*t. Is b(19) a multiple of 18?
False
Suppose 2*b - 445 - 21 = -4*u, 2*b = 4*u + 426. Suppose 4*a = -n + b + 34, 0 = 3*n - 4*a - 771. Let p = -153 + n. Is p a multiple of 26?
True
Let w be (-1)/2*(0 - (-640)/8). Let k be 21/15 - (-16)/w. Does 10 divide (3/(-2))/(3/(-258)*k)?
False
Suppose -63*x + 5175 = -38*x. Does 9 divide x?
True
Suppose 5*p - 107 - 153 = 0. Suppose -f - 4*x = -0*f - 49, -5*x = f - p. Let l = 54 - f. Is l a multiple of 8?
False
Let i(v) = 97*v**2 - 50*v - 75. Does 117 divide i(-10)?
False
Suppose -10*z = 12*z - 3388. Suppose 0 = 2*s + 3*c - z, s + s + 5*c = 154. Is s a multiple of 4?
False
Does 32 divide ((-33)/(-6))/(((-225)/10944)/(-25))?
True
Let v be 29 - -2 - (1 - (3 - 3)). Does 25 divide 57*22/(-10)*v/(-9)?
False
Let l(i) = 34*i**2 + 60*i - 2522. Is l(26) a multiple of 154?
True
Suppose 3*h + 374 = 7*h - 2*p, h + p - 86 = 0. Let x = -529 + 667. Let q = x - h. Is 10 a factor of q?
False
Let c(v) = v**3 - 24*v**2 + v - 24. Let z be c(24). Suppose 4*r - 9*r + s + 2998 = z, 4*r = 2*s + 2396. Does 12 divide r?
True
Let k(v) = 3*v + 37. Let t(w) = 8*w + 8. Let a be t(0). Does 14 divide k(a)?
False
Suppose 2*j = -5*x, -4*j - 2*x = -13 - 3. Suppose -4*c - c - 18 = -2*o, -j = 5*o. Is 68 - (80/5)/c a multiple of 14?
False
Let t = -3148 + 8137. Does 111 divide t?
False
Let u be (3 - (1 - 3))/((-3)/(-3)). Suppose 17 = -u*g - 4*w, 4*g - 10 = 2*g + 4*w. Let a(y) = 22*y**2 + 1. Is 6 a factor of a(g)?
False
Suppose 19*h = 17*h - 2*f + 456, h - 5*f = 246. Does 21 divide h?
True
Suppose 0 = 290*v - 293*v - 48. Is (-1 - -772)/((-12)/v) a multiple of 80?
False
Suppose 4*n = -2*u + 2978 + 948, -n - u + 985 = 0. Is n a multiple of 3?
True
Suppose 5*s = 4*a - 2*a + 353, -5*s - a = -341. Suppose 5*q - 92 = j + 3*j, -3*q = -3*j - s. Let p = 7 - j. Does 15 divide p?
True
Suppose y + 639609 = 33*i, 2*i = 4*y + 45 + 38731. Is i a multiple of 22?
True
Let y = 42 - 39. Let g = -292 + 481. Suppose g = y*d + 9. Does 12 divide d?
True
Let a(u) = -u**3 + 94*u**2 - 561*u + 276. Does 21 divide a(87)?
True
Let p(o) = 5 - 6 + o - 15. Let t be p(7). Let u = 59 + t. Is u a multiple of 10?
True
Suppose -82*c + 105805 = 9*c - 53536. Does 146 divide c?
False
Let m be -2 - -4 - ((-28)/4 + 4). Suppose -m*i - 3*o + 427 = 0, -2*i + 77 + 98 = -3*o. Is 24 a factor of i?
False
Suppose -8*s = -4*d - 29584, -5*d = s - 5002 + 1326. Does 176 divide s?
True
Let l(x) = -12*x**2 - 19*x - 203. Let m(u) = -7*u**2 - 10*u - 101. Let y(n) = -3*l(n) + 5*m(n). Does 59 divide y(-23)?
True
Let u(r) = 3*r**2 - 38*r + 89. Is 69 a factor of u(-26)?
True
Let g = -7863 - -10821. Is g a multiple of 34?
True
Let q(z) = 18*z**2 + 21*z + 381. Is q(-9) a multiple of 22?
True
Suppose 0 = 134*w - 126*w. Let u(b) = -b**3 - b**2 - 8*b + 42. Does 14 divide u(w)?
True
Suppose -7*x + 35 = -0*x. Suppose x*a + 19 = 34. Suppose -2*c - q = -50, -3*c - a*q - 93 = -6*c. Does 2 divide c?
False
Let d be (-212)/(-159)*(-6)/8. Let i(x) be the third derivative of -23*x**4/8 - 5*x**3/6 - 9*x**2. Does 16 divide i(d)?
True
Suppose 0 = -m + p + 18079, -3*m + 72260 = m + 4*p. Does 95 divide m?
False
Suppose -4*y = -q + 602, 3*y = -106*q + 102*q + 2389. Is 2 a factor of q?
True
Let a(t) = t**2 + t - 2. Let q = -26 - -24. Let d(o) = 2*o + 7. Let g be d(q). Is a(g) even?
True
Suppose -3*a = -3*i + 101 + 28, 0 = -3*a + 12. Suppose -4*f = -d - 223, 3*d - 12 - i = -f. Suppose 14*c - 13*c = f. Is c a multiple of 13?
False
Suppose 2*r - 1236 = -650. Let u = 45 + r. Is 21 a factor of u?
False
Let g(a) = -31*a**3 + 19*a**2 - 17*a - 73. Let b(s) = -19*s**3 + 11*s**2 - 10*s - 44. Let t(v) = 13*b(v) - 8*g(v). Let c = 17 - 8. Is t(c) a multiple of 33?
True
Suppose -3*i - 6*h + 28 = -11*h, -5*h + 20 = 0. Suppose -i*a + 22*a = 306. Is 2 a factor of a?
False
Let q(a) = a**2 - 3*a - 5. Let t be q(5). Suppose -2*z = 3*z + t*i - 70, -4*i = 3*z - 47. Suppose z*v - 440 = 4*v. Does 10 divide v?
False
Let x be (-348)/8 + 0 + 6/(-4). Let p be -2 + (-80)/x + 2678/(-18). Let s = -71 - p. Is s a multiple of 14?
False
Suppose -9*k - 14 = -10*k - 5*c, 4*k + 3*c = 5. Does 5 divide k/(-8) + (-67551)/(-264)?
False
Let n(v) = -v**2 + 7*v - 3. Suppose -5*d + 0*d + 2*c + 58 = 0, 0 = -d + 2*c + 18. Suppose 0 = 9*u - d*u + 5. Is 2 a factor of n(u)?
False
Let b be (-4)/(-18) - (-5 + 40/18). Let z(k) = k. Let l be z(b). Suppose 0 = 2*q + 4*o - 134, l*o = 4*q - o - 220. Is 20 a factor of q?
False
Let r(s) = s**3 + 92*s**2 + 1758*s - 27. Is r(-29) a multiple of 17?
False
Let k(t) = -199*t + 4. Let z be k(-21). Suppose -15*x - 1423 = -z. Is x a multiple of 8?
True
Let k(y) = -27 + 0*y**2 + 9*y + 0*y**2 + y**2. Is k(4) a multiple of 5?
True
Suppose 4*j + 3*m - 2 = 5, -3*j - m = -9. Suppose -22 = -j*h + w, w = -w + 4. Let b(g) = 6*g - 12. Is b(h) a multiple of 8?
True
Suppose 4*i + 4 - 16 = 0. Suppose 1505 = i*p - 4*o + 312, 4*p = 5*o + 1591. Does 60 divide p?
False
Is 12 a factor of (-84)/9*(-697983)/572?
False
Let g be 5 + 5 + 42 + -4. Let o = g + -35. Suppose o*u = 11*u + 122. Does 17 divide u?
False
Let m be (-4)/(-8)*(-18)/(-12)*-4. Suppose -2*v - 11 = -k, -v - 3*v = -3*k + 21. Is 12 a factor of 42 - v/2 - m?
True
Let i = 63 + 44. Let f = i - 108. Does 6 divide f/((-4 - -2)*(-1)/(-60))?
True
Let u(b) = 247*b**2 - 7*b + 48. Is u(-8) a multiple of 72?
True
Suppose 4*p - 1636 = -3*x, 0 = -94*x + 91*x - 3*p + 1632. Does 18 divide x?
True
Let o(g) = -2*g - 7. Let c be o(-4). Suppose -7 = -4*t + 2*q - c, 0 = -4*t + 4*q. Is 6 a factor of t*(48/20 - (-2)/(-5))?
True
Let m(c) = -11*c**3 - 8*c**2 - 14*c - 144. Is 12 a factor of m(-8)?
True
Let v be (-11330)/(-15) + 4/6. Let a = -713 + 839. Suppose v = 6*x - a. Is x a multiple of 21?
True
Suppose 0 = -349*v - 6731703 + 23014647. Does 144 divide v?
True
Let v be (2 + -3 + 0)/(-1 - 0). Let u(o) = 12*o. Let x be u(v). Suppose c + x - 66 = 0. Does 18 divide c?
True
Let a = 731 - 724. Suppose a*q - 2575 + 293 = 0. Is 8 a factor of q?
False
Let j(x) = -482*x - 3714. Does 134 divide j(-28)?
True
Let o(t) = -62*t + 8. Let q be o(-1). Let k = q + 60. Is k a multiple of 26?
True
Let u(d) = 6*d**2 + 110*d - 207. Does 19 divide u(-42)?
True
Let d = -4204 - -26090. Does 16 divide d?
False
Let z = -1657 - -4003. Does 51 divide z?
True
Suppose x + 4*j + 13 = 0, -2*x - 5*j - 5 = 3*x. Suppose -19 + x = 4*g. Let s(a) = 4*a**2 - 4*a - 6. Is s(g) a multiple of 11?
False
Let c =