e
Let w = 2979 - 1683. Is w a multiple of 24?
True
Suppose 27 = -6*k + 51. Suppose -2*y = 2*v - 842, k*y - 318 - 1361 = -3*v. Is y a multiple of 27?
False
Let f be 14/(-4)*(-80)/35. Suppose f = -2*b + 3*b. Is b/20 + 416/10 a multiple of 6?
True
Let u = 146 - 129. Suppose -4914 = -u*f + 4*f. Is f a multiple of 18?
True
Let h = 382 - -1440. Suppose -5*m = 2*v - 738, -7*m + 6*m = 5*v - h. Is 26 a factor of v?
True
Let w(m) = 14*m + 20. Let a(z) be the second derivative of 13*z**3/6 + 10*z**2 - 15*z. Let s(v) = -5*a(v) + 4*w(v). Is 13 a factor of s(-6)?
False
Let f = 96 + 62. Suppose -154 = -r + f. Is 39 a factor of r?
True
Let s be 1190/289 - (-2)/(-17). Suppose -s*n + 211 = -153. Is n a multiple of 7?
True
Let c(v) = 8*v**2 + 18*v - 10. Let w(t) = -2*t**3 - 6*t**2 + 7*t. Let i be w(-4). Does 10 divide c(i)?
True
Let c(v) = 22*v - 86. Let x be c(-15). Let i be 2977/(-39) - (-2)/6. Let l = i - x. Does 17 divide l?
True
Is (-2443)/(11/33 - 8/12) a multiple of 96?
False
Let n = 12941 + -9431. Is n a multiple of 6?
True
Suppose -17*h = -4*h - 2353. Let n = h - 16. Is n a multiple of 5?
True
Let f = -541 + 8668. Is 43 a factor of f?
True
Let m = 74 + -56. Let n(l) = -11*l - 2 + m + 14*l**2 - l**3 + 2*l**2 + 1. Does 28 divide n(15)?
False
Let t be (-63)/(-13) + (8 - (-816)/(-104)). Suppose 4*a - 3*n = 242 + 1775, 0 = n - t. Is 24 a factor of a?
False
Let q(j) = j**3 + 6*j**2 - 35*j - 228. Let g be q(-6). Suppose 3*y + 2*y + 15 = 0. Does 9 divide ((-42)/g)/(y/(-63))?
False
Let w(r) = 122*r**2 + 174*r - 1753. Is 12 a factor of w(11)?
False
Let i = 150 + 9671. Is i a multiple of 49?
False
Suppose -10*g + 17*g = -2821. Does 13 divide (90/(-78) - 4/(-26))*g?
True
Let m = -6634 + 11650. Does 114 divide m?
True
Let v(d) = -9*d**3 + 20*d**2 + 183*d + 77. Does 4 divide v(-8)?
False
Let o = -10967 - -17118. Is o a multiple of 42?
False
Suppose 12 = 3*z + 2*z - l, -3 = -5*z + 4*l. Suppose -3*x - 3*t = -105, 0 = -2*x - z*t + 2*t + 72. Let u = x + -7. Is u a multiple of 3?
True
Let f(g) = -21*g**3 + 4*g**2 + 74*g - 5. Does 9 divide f(-10)?
True
Suppose -15162 = -3*t - 5*o, 15153 = 3*t + 1388*o - 1386*o. Is 9 a factor of t?
True
Suppose 0 = 2*x + 2*g + 178, 0 = -3*x - 4*g - 334 + 72. Is (x/3 + -2)*720/(-32) a multiple of 75?
True
Let f = 39 - 39. Let h be (-3 - 1) + 0 + f. Is 14 a factor of (-1)/2*h + 54?
True
Let l be ((-4)/6)/((-2)/(-204)). Let q = 71 + l. Is 26 a factor of (82/(-3))/(q/(-9))?
False
Let c = 171 + -157. Suppose 7*i - c*i = -392. Is i a multiple of 3?
False
Suppose 3*i - 40358 = -5*t, -4*t - 24 = -40. Is 54 a factor of i?
True
Suppose 5 = 2*l + 3*s, 2*s = l + 6*s. Suppose l = -b + 6*c - 2*c, -c = -1. Suppose b = -11*w + 3*w + 792. Does 10 divide w?
False
Let d be (-35)/105 - (-4592)/6. Does 6 divide (17/(d/18))/((-1)/(-425))?
False
Suppose -106 + 197 = f. Let o = 503 + f. Does 33 divide o?
True
Does 84 divide (170729/17 - 3) + (-17)/(289/(-2))?
False
Suppose 4*j + 4 = -2*q, 2*j = -q + 6*q - 26. Suppose 5*c - 2*t - q = 415, c = -3*t + 77. Is 6 a factor of c?
False
Let a(o) = 71*o + 118. Let f(u) = -24*u - 39. Let m(v) = 4*a(v) + 11*f(v). Is 10 a factor of m(12)?
False
Is 131 a factor of 1/(40/(-300) - 3853/(-28860))?
False
Let t(z) = 3*z + 1. Let g be t(0). Let l be ((-96)/28)/(g/7). Let j(f) = -f + 8. Is j(l) a multiple of 18?
False
Suppose 20*q - 30*q + 8240 = 0. Suppose -3*r = -1129 - q. Is 41 a factor of r?
False
Let y be (10/4)/((-1)/(-2)). Suppose 4*o + 9 = 5*q - 16, -y*o - 20 = -4*q. Suppose 4*b = o, 2*n + 0*n + 2*b = 252. Does 21 divide n?
True
Suppose -3*f - 4*o = -918, 95*f - 306 = 94*f - o. Is f a multiple of 9?
True
Let m(z) = 2*z - 25. Let j be m(15). Let w(s) = s - 1. Let p(f) = -6*f**2 + 4*f - 3. Let o(b) = j*w(b) - p(b). Does 4 divide o(-2)?
True
Let n(k) be the third derivative of -2*k**6/5 - 7*k**4/24 - k**3 - 20*k**2 - 2*k. Is n(-1) a multiple of 5?
False
Let p be ((-3)/4)/((-99)/396). Suppose p - 53 = -v. Does 10 divide v?
True
Let a be (-23 + 19)/(1/(-13)). Suppose a*l = 71*l - 760. Is l a multiple of 2?
True
Suppose -n = -5*t - 53, -4*t + 21 = n - 41. Let q(w) = -104 + 55 + n + 2*w. Is q(8) a multiple of 6?
False
Suppose 4*l - 32 = 4*c, 0 = 2*l - c - 6 - 6. Suppose 5*d + x = -768, -2*d + 4*d - l*x = -294. Is 6/(-51) - 10575/d a multiple of 53?
False
Let h(f) = -4*f - 34. Let x be h(-16). Suppose -27*j = -32*j + x. Is -2 + 49 + 1 - (3 - j) a multiple of 19?
False
Let z = -16 + -10. Let s = -25 - z. Is -3 + (-2 - -1)*s + 50 a multiple of 21?
False
Let o = -408 - -708. Suppose -18*i = -16*i - o. Does 24 divide i?
False
Suppose 5*o - 100 = -90. Suppose 2*q = o*k + 4*q - 28, 5*q + 2 = -k. Does 9 divide k?
True
Suppose -f - 2450 = -3*v, 0 = -5*v - 6*f + 10*f + 4067. Does 63 divide v?
True
Suppose 3*g = 9*g - 12. Let f be (2 - g)*(-9)/18. Let u(d) = d + 101. Is 15 a factor of u(f)?
False
Suppose -15*r = 21077 - 140777. Is 57 a factor of r?
True
Let v(h) = 2*h + 11. Let g be v(5). Let z = 17 - g. Let q(k) = -2*k**3 - k**2 + 10*k + 4. Does 18 divide q(z)?
False
Suppose 5*z + 5*l - 8870 = 0, 5*z - 3*l = 6237 + 2649. Does 48 divide z?
True
Let y(h) = -h - 127. Let q be y(-31). Is (44/66)/((-1)/q) + 3 a multiple of 20?
False
Let u be (-1)/(-5) + (-1794)/(-130). Let p(q) = 4*q**2 - 31*q + 39. Is 17 a factor of p(u)?
False
Let i = 123 - 61. Let q be 0 + 4 - (0 - i). Let v = q - -26. Does 29 divide v?
False
Suppose 19*d - 26203 = 32621. Does 72 divide d?
True
Let b(s) = s**2 + 2*s - 6. Let d be b(0). Let u be -6*d/(-27)*-12. Does 7 divide (u/(-4) - -8)*12?
False
Let w(y) = 159*y**2 - 231*y - 45. Does 69 divide w(12)?
True
Suppose u = -4*h + 3764, -75*u + 5*h - 7540 = -77*u. Is 33 a factor of u?
False
Let r(u) = 32*u**2 + 604*u. Is r(7) a multiple of 69?
True
Let u(h) = 18*h + 25. Let v be 6/18 + (-5)/(-3). Let x be 0 - v - (3 + 11/(-1)). Is 19 a factor of u(x)?
True
Suppose -10*s - 108749 = -6*h - 9*s, -h + 2*s + 18134 = 0. Does 92 divide h?
True
Is 94 a factor of (-1294416)/(-54) - ((-6)/15)/(9/(-15))?
True
Let v = 32 - 40. Let z(u) = -u**2 - 11*u - 23. Let g be z(v). Is 28 a factor of (g - 436/(-16)) + 1/(-4)?
True
Does 20 divide 94470/35 - (-138)/161?
True
Suppose -2*s = -4*m - 3*s + 1852, -5*s = -m + 463. Let w = 211 - m. Does 13 divide (-6 - w/(-49))/(1/(-14))?
True
Let f(o) = -o**3 + 12*o**2 + 3*o - 52. Let v be f(5). Suppose -2*r - 24 = -v. Is r a multiple of 15?
False
Let c = 12332 - 12249. Is 2 a factor of c?
False
Suppose -p - 4*m + 6 = 2*p, -4*p = m - 8. Let g(k) = 8*k**3 + 2*k**2 - 5*k + 4. Is 66 a factor of g(p)?
True
Suppose 4*p - 6*p + 16 = 0. Let k be ((-28)/6)/(p/(-108)). Suppose 7*c - k = 6*c. Is 23 a factor of c?
False
Suppose 0 - 32 = i. Let b = i - -37. Is 30 a factor of (-1 - b)*(-35)/7?
True
Suppose -6*c + 5738 - 6671 = -33153. Is c a multiple of 74?
False
Let n(c) = -2*c**3 - 27*c**2 + 35*c + 10. Does 9 divide n(-18)?
False
Let s = 7575 - 3308. Is s a multiple of 132?
False
Let x(a) be the third derivative of 13*a**5/60 - 5*a**4/3 - 89*a**3/3 - a**2 - 124*a. Does 10 divide x(-5)?
False
Let y = 366 + -361. Suppose -2742 = -4*v - 3*m, 18*v = 19*v - y*m - 697. Is v a multiple of 44?
False
Suppose 5*s - 15 = -3*a, -4*a + 10 = 4*s - 10. Suppose -3*z + 572 = 4*r, -a = r - z - 141. Does 7 divide r?
True
Suppose -2*n + 5*n + 12 = 0. Let b(o) be the third derivative of -7*o**4/24 - 2*o**3/3 - 990*o**2. Does 8 divide b(n)?
True
Suppose -y + 4*y + 5*x - 15417 = 0, -5161 = -y + 2*x. Is y a multiple of 29?
False
Suppose -61*o + 28964 = -5*o - 5476. Is o a multiple of 15?
True
Let p be 4*(-4)/72 - (-2680)/72. Suppose 660 = -p*a + 47*a. Is 22 a factor of a?
True
Let v(b) = b**3 + 11*b**2 + 10*b + 22. Let p be v(-10). Suppose 2*k + p = -3*g, 0 = 5*k - 2*g + 3*g + 29. Is 795/k*-1 - 1 a multiple of 8?
False
Suppose -5*k - 4*z = -15766, k + z = -2*k + 9454. Does 45 divide k?
True
Let i = 207 - -829. Suppose -h - t + 760 = 0, 3*h - i - 1242 = -4*t. Does 28 divide h?
False
Let k(a) = 8*a + 1. Let y be k(-1). Let n be (4 - 5)*(y - 0). Suppose 540 = -n*b + 12*b. Is b a multiple of 27?
True
Suppose -n = 3*a - 11, -3*a + 13 = 4*n - 4. Suppose 4*v - 25 = -o, o - 5 = 2*v - n*o. Let l(r) = -r**3 + 8*r**2 - 4*r + 4. Is l(v) a multiple of 11?
False
Let c be ((-173320)/(-12))/5 + (-34)/51. Suppose 11*h - 7*h - c = 2*t, 5*h - 2*t = 3608. Does 16 