e
Let t = -1 + -17. Let a = 6 - t. Is a a multiple of 9?
False
Let h(i) = i - 2. Let l = 19 + -26. Let c be h(l). Is 457/5 - c/15 a multiple of 11?
False
Is 73 a factor of (1452 - 3 - -3) + (-9 - -3)?
False
Let s be 3/((25/(-10))/5). Is 466*((-2)/s)/((-2)/(-3)) a multiple of 14?
False
Is 36 a factor of (1 - (-12736)/14) + 4/14?
False
Suppose -678 = -2*u - 3*p + 710, -4*u + 2744 = -2*p. Is u a multiple of 16?
True
Let v(p) = 12*p**2 - 13*p + 4. Is v(-3) a multiple of 31?
False
Suppose -40 = -2*h - 2*f, -4*f - 75 = -2*h + f. Let k = h + 15. Let v = k - 28. Does 3 divide v?
True
Let h(g) = -159*g - 58. Is h(-4) a multiple of 11?
False
Suppose 1 - 7 = -3*c. Suppose -53 = -c*q + 5. Suppose -11 = 2*v - q. Does 9 divide v?
True
Suppose -5*y = 3*t - 310, 3*t + t + 215 = 3*y. Let o = 121 - y. Does 28 divide o?
True
Suppose -5*r + 3*i + 7659 = 0, -8*i = -12*i - 12. Does 90 divide r?
True
Suppose -s - s = 3*s. Let y = 18 - s. Is y a multiple of 3?
True
Suppose 2*x - 4 = 0, -3*j + 5*x + 1159 = 119. Is j a multiple of 7?
True
Let x(h) be the first derivative of 19*h**2/2 + 22*h - 37. Is 13 a factor of x(5)?
True
Let f(v) = -9*v**3 - v**2 + 1. Let w(a) = a**3 + 6*a**2 - 8*a - 9. Let d be w(-7). Is 23 a factor of f(d)?
True
Suppose 0 = -4*w - 5*f - 33, -w - 15 = 2*f - 3. Is 3 a factor of 16/w*3/(-2)?
True
Let g = 98 + -96. Suppose -g*n - 90 = -2*x - 510, 3*n = -2*x + 655. Is n a multiple of 43?
True
Suppose 7*k - 2*k - 6075 = -5*g, 2*k = 5*g - 6089. Does 6 divide g?
False
Suppose -160 = -b + 293. Is 37 a factor of b?
False
Suppose -4935 = n - 8*n. Suppose 2*t - 5*z - 363 = 0, 4*t - 3*z = -0*t + n. Is 22 a factor of t?
False
Let o = -275 - -402. Let h = 204 - o. Is h a multiple of 16?
False
Let y(j) be the second derivative of -j**4/12 + 2*j**3 - 4*j**2 - 10*j. Let v be y(11). Is 13 - (0 - v/1) a multiple of 8?
True
Let c = -3 + 7. Suppose -4*n - 2*k = n, c*n = -5*k. Suppose n*j = -3*j + 135. Does 9 divide j?
True
Let o(k) = -k**3 - 6*k**2 - 5*k + 5. Let r be o(-5). Let h be (-8)/10 - 360/(-75). Suppose 5*i - r*z - 48 - 62 = 0, h*z = 2*i - 52. Is i a multiple of 9?
True
Does 66 divide 12811/92 - 2/(-24)*-3?
False
Let z(g) = g**3 + 11*g**2 + 6*g - 28. Let x be z(-10). Suppose -2*k = 2*m - 30, -2*m + x + 56 = 4*k. Does 2 divide k?
False
Let j(l) be the third derivative of l**6/120 + 7*l**5/60 + l**4/24 + 2*l**3/3 + 5*l**2. Let w be j(-7). Is 12 a factor of (-5)/(10/(-42)) - w?
True
Let b(u) = -22*u - 8. Let f be b(3). Let p = f - -110. Does 12 divide p?
True
Let h(m) = -m + 132. Is h(18) a multiple of 6?
True
Suppose -3*c + 4 = -2*c. Is ((-71)/c)/(5 + 105/(-20)) a multiple of 9?
False
Let l = 25 - 21. Let q = l + 2. Suppose q*m = 4*m + 50. Is m a multiple of 5?
True
Suppose -4*q + 1134 + 32 = -2*y, -q - 2*y + 279 = 0. Is 9 a factor of q?
False
Let d = 1370 + -749. Does 26 divide d?
False
Let s = -13 - -17. Let q be 24 + s/(-12)*-3. Let c = -14 + q. Is c a multiple of 11?
True
Suppose 4920 = -17*h + 19744. Is 5 a factor of h?
False
Let d = 103 - -989. Is d a multiple of 52?
True
Is ((-372)/24)/(-3 - 251/(-84)) a multiple of 62?
True
Let u = -218 + 241. Is u even?
False
Suppose 15*n + 22 = 13*n. Let i = 101 + n. Does 22 divide i?
False
Suppose 4*a + 0*o - 5*o = 1335, 5*a - 1653 = o. Suppose a = 10*s - 5*s. Does 6 divide s?
True
Let p(l) be the third derivative of l**4/12 - 13*l**3/3 + 14*l**2. Is 3 a factor of p(22)?
True
Let o = -13 - -16. Suppose o*a = 7 - 13. Does 11 divide (1 + a + 3)*18?
False
Let k = 23 - 15. Let d be (-116)/k + (-1)/2. Is 3 a factor of ((-12)/20)/(3/d)?
True
Let s be (19 + 1)/(-5) - -10. Does 16 divide s/(-18) - 628/(-12)?
False
Let g = 706 + -486. Is g a multiple of 10?
True
Is 4 a factor of 3/(-9) + (-27521)/(-87)?
True
Suppose 5*l + 85 = 4*q, -3*l = 3*q - 82 - 2. Suppose -4*h - q = -5. Does 8 divide 4/h*(-225)/6?
False
Let p(u) = -33*u - 126. Is 42 a factor of p(-17)?
False
Let r = -77 + -307. Let s = r + 596. Does 33 divide s?
False
Suppose g + 2 = 2*g. Suppose 3*c = g*c - 1, -4*c = k - 20. Is 14 a factor of (28/(-5))/(k/(-60))?
True
Suppose -5*j - 5 = 0, s + j = 37 + 33. Let w = -44 + s. Does 9 divide w?
True
Let r(a) = 42*a + 12*a + 5 + 17*a + 0. Is 9 a factor of r(1)?
False
Suppose 0 = 3*s, -6*h + 5*h + 2*s = -330. Is h a multiple of 15?
True
Does 8 divide 606/7 + 3 + 144/(-56)?
False
Let k(n) = 4*n**3 + n. Let f be k(1). Suppose -f*i + 399 + 16 = 0. Is i a multiple of 6?
False
Let i be 2 + (0 - -1)/((-3)/(-9)). Suppose 0 = i*d + 2*d - 336. Is d a multiple of 13?
False
Let k(v) = 0 + 2 - 3*v + v**2 + 3*v**2 - 3*v. Let c be k(-11). Does 23 divide (c/30)/((-2)/(-5))?
True
Let y be ((-2)/(-4))/(3/(-1176)). Let h be 2/(-4 - y/50). Let x = h - -30. Is x a multiple of 2?
False
Let m = -12 + 7. Let x(s) = s**2 + 6*s + 11. Let u be x(m). Suppose 60 = u*y - y. Is y a multiple of 6?
True
Let s = 16 - 12. Suppose -k + 0*k = s. Does 5 divide k/(1/(-3) + 0)?
False
Suppose -4*z - 8*z = -1584. Does 17 divide z?
False
Suppose -4875 - 1717 = -4*w. Is w a multiple of 8?
True
Suppose -p + 7 = -0*i - 3*i, 0 = -3*i + 5*p - 11. Let u(r) = -102*r + 8. Does 23 divide u(i)?
False
Let u be 5/5 - 1*-3. Let n(a) = -u + 5*a + 11*a**2 - 3*a + 7. Is 12 a factor of n(-1)?
True
Let m = -51 - -53. Suppose -5*x - m*u = 392 - 1160, -2*x - 5*u = -303. Is x a multiple of 15?
False
Let n(p) = p**2 - 8*p + 9. Let j(s) = s. Let x be j(7). Let r be n(x). Suppose -r*y = 4*t - 58, -2*t + 137 = 7*y - 2*y. Is y a multiple of 12?
False
Let d be (-27)/(-36) - (-1713)/4. Suppose 4*a - 3*n - 339 = 0, 2*n + 0*n = 5*a - d. Is 29 a factor of a?
True
Let r = 164 + -121. Is 2 a factor of r?
False
Let c = 5 + -2. Suppose -3*d = -h + 8, 6*h - d = c*h + 8. Suppose 4*r = -3*t + 36, h*t - 20 = -6*r + 2*r. Does 16 divide t?
True
Suppose -5479 = -4*w - f, -29*f + 25*f = -12. Does 11 divide w?
False
Suppose -41*b = -46*b + 1335. Let v = 488 - b. Is 21 a factor of v?
False
Suppose 3*d - 31 - 224 = -3*u, -3*d = 5*u - 259. Is d a multiple of 11?
False
Let y = -400 + 415. Does 3 divide y?
True
Suppose 2*n - 2*w - 55 = -n, -3*n + 3*w = -60. Suppose m - n = -2*m. Suppose 3 = m*h - 7. Is 2 a factor of h?
True
Suppose -d - 6 = -12. Suppose -5*q + 5*y - 330 = 0, 0 = d*q - 2*q + 2*y + 276. Let i = 75 - q. Is 32 a factor of i?
False
Let u = -89 + 101. Does 24 divide (64/(-1))/(1 - 20/u)?
True
Is -4*(-3)/(96/9448) a multiple of 23?
False
Suppose -x = -0*x - 106. Let g = x - 36. Is 14 a factor of g?
True
Let n(s) = s**2 + 7*s - 2. Suppose -6*a + 20 = -2*a. Does 5 divide n(a)?
False
Let y = 258 - -5. Suppose 5*k - y = 227. Is 14 a factor of k?
True
Suppose -j - 3*w + 4 = -4, j + 4*w - 12 = 0. Let n(o) = -9*o - 16. Is 20 a factor of n(j)?
True
Let u = 35 + 269. Does 30 divide u?
False
Is (-100)/(-550) + 6158/11 a multiple of 8?
True
Let m = 645 - -384. Is 19 a factor of m?
False
Suppose -5*r + z + 445 = -3*z, -2*r + 4*z + 190 = 0. Suppose 3*g - r = 83. Does 14 divide g?
True
Let m be -4 + 2 - 18/(-3). Suppose m*w + 1 = -11, -11 = -4*c + 5*w. Is 18 a factor of (20/(-30))/(c/54)?
True
Let t = -2054 - -2313. Is t a multiple of 7?
True
Let x = -1173 + 2138. Is x a multiple of 18?
False
Suppose 0 = 2*k - 3*b - 16, -5*b = -6*k + 4*k + 24. Let n be -36*k/3*-2. Suppose g - 5*f = 68, 3*g = -f + 76 + n. Is 12 a factor of g?
False
Suppose -9 = 4*m + 11. Let k(h) = -25*h + 43. Is k(m) a multiple of 28?
True
Suppose -19*r + 747 = 2*b - 18*r, r = 2*b - 753. Is b a multiple of 81?
False
Let j = -460 - -664. Let s = j - 112. Suppose -4*g = 4*w - s, 117 = 2*g + 3*g + 4*w. Does 5 divide g?
True
Let q(b) = -8*b**2 + b**3 + 2*b**2 - 2 + 2*b**2 + 4*b. Let j be q(3). Suppose -j = h - 43. Is h a multiple of 14?
True
Suppose 4*r - 2 = 3*r. Suppose y - 13 = u, 2*y + r*u - 14 = -0. Suppose 4*i - 2*j + 3*j - y = 0, -3*i + 3 = 3*j. Is i a multiple of 2?
False
Let v be (0 + 6/8)/(42/(-1680)). Let q = v - -50. Is q a multiple of 4?
True
Does 50 divide ((-2)/(-2) - 6)*3080/(-44)?
True
Suppose -5*o + 1 = 26, 3*o + 679 = 2*n. Does 16 divide n?
False
Suppose 5*c + 4 = -2*x - 15, 0 = -5*c - x - 17. Let b(h) = h + 15. Let d(p) = -p - 16. Let t(u) = 6*b(u) + 5*d(u). Is 5 a factor of t(c)?
False
Let b be 2*(-2 - -5 - 4). Let o(d) = 2*d**2 + d + 1. Is o(b) a multiple of 7?
True
Suppose -u + 6*u - 10 = 0, -5*w - 2*u = -859. Suppose 0 = -11*g +