e
Let r(g) = -g**3 + 14*g**2 + 16*g - 6. Suppose -3*i + 5 + 40 = 0. Is r(i) a multiple of 2?
False
Suppose 16*f = 1609 + 295. Is 7 a factor of f?
True
Suppose 0 = -71*z - 6983 + 47240. Is z a multiple of 24?
False
Let y(j) = j**2 - 2*j + 10. Let u be (12/15)/(2/(-20)). Does 12 divide y(u)?
False
Suppose 3*o + 2*v = v + 11, -5*v - 9 = -o. Let w be 124/(-8)*-8 - o. Suppose -s = -4*s + w. Is 23 a factor of s?
False
Let m = 102 + -166. Is 13 a factor of (1 - m)/(13/13)?
True
Let h(i) = -2*i**2 + 16*i + 2. Let j be h(8). Suppose -j*o + 7*o = 80. Let s = 106 - o. Does 15 divide s?
True
Suppose -13*m + 8*m = -3260. Is m a multiple of 12?
False
Let q(w) = 8*w + 0*w**2 + w**2 + 4*w**2 - 41 - 4*w**2. Is q(-17) a multiple of 14?
True
Suppose o - 35 + 32 = 0. Does 7 divide (-4 + -2 + o)*-7?
True
Let v = 899 - 920. Let n be 41*1 - (-1 - -3). Let w = n + v. Is w a multiple of 6?
True
Let q = 8 - 23. Let l be (q/(-2))/(6/(-8)). Does 7 divide (8/l)/((-2)/35)?
True
Suppose 23*m = 7947 + 11212. Does 14 divide m?
False
Suppose -260 = -8*t + 4*t. Let l(f) = f**2 - 38*f - 208. Let b be l(43). Suppose -t = -12*s + b*s. Is s a multiple of 3?
False
Suppose 4 = -2*v, 0*o - o - 5*v = 10. Suppose 5*l - 3*c = -o*c + 328, 360 = 5*l + 5*c. Is 17 a factor of l?
True
Suppose w = -w + 4*a + 48, 5*w - 104 = 2*a. Is 9 a factor of w?
False
Let p(v) = -4*v**2 + 8*v - 6. Let l be p(-8). Let m = l - -481. Is m a multiple of 31?
True
Let t(a) = -363*a + 129. Is t(-2) a multiple of 3?
True
Let t = 82 + -88. Is 20 a factor of (16 - -4)/(2 - t/(-4))?
True
Let r = -821 + 1114. Is 8 a factor of r?
False
Let r = -2590 + 5177. Does 78 divide r?
False
Let z(a) be the second derivative of -a**5/20 + 11*a**4/6 + 9*a**3/2 - 15*a**2 - 37*a. Is z(23) a multiple of 10?
False
Suppose 3*p - 3*z - 25 = 2, 4*z = -12. Let n(u) = -u + 3. Let d be n(p). Is 12 a factor of (18*-1)/(d/2)?
True
Suppose -16 = -43*r + 47*r. Is 2 a factor of -1*((r - 3) + 2)?
False
Let k(o) = -2*o - 23. Let p be k(-13). Suppose 7*q - 6*q = -3*a + 89, -13 = -a + p*q. Is a a multiple of 28?
True
Let n be (-4)/6*(-72)/16. Suppose -25 = -5*o, -5*o + 7 = -5*y + 2. Suppose -n*s + 9 = a - y*a, -4*s - 3*a + 47 = 0. Is 8 a factor of s?
True
Suppose -b - b + 8 = 0. Suppose -b + 0 = -4*r. Suppose -r = -d, 52 + 1 = k - 5*d. Does 29 divide k?
True
Let p = 6 - 2. Suppose -120 = -m - p*m. Suppose 5*f = m + 36. Is f a multiple of 6?
True
Let s be (-5)/7 + 20/(-70). Let k(a) = a**3 - 20*a**2 - 6*a + 6. Let f(h) = -h**2 - h. Let i(l) = s*k(l) + 5*f(l). Is i(15) a multiple of 3?
True
Let r(m) = 2*m + 1. Let l be r(-3). Does 12 divide 1 - l/(20/92)?
True
Let s = -1418 + 1795. Does 13 divide s?
True
Suppose -10*h = 5*m - 7*h - 1049, -5*m = h - 1043. Does 9 divide m?
False
Let w = -9 + 9. Suppose w*l = -4*l + 748. Suppose 9*d + 2*r - 260 = 4*d, l = 3*d - 5*r. Is 18 a factor of d?
True
Let q(u) = -u + 2*u**2 - 11 + 15 - 7. Does 2 divide q(-2)?
False
Let n = 650 + -235. Does 83 divide n?
True
Let i(w) = w**2 + 5*w + 10. Let a be (10/30)/(2/(-30)). Let t be i(a). Let j(c) = c**2 - 9*c + 4. Is 14 a factor of j(t)?
True
Let z = -12 - 12. Let v = -72 - z. Let s = 2 - v. Does 25 divide s?
True
Let l = 54 + -26. Suppose 0 = 3*d - 2*d + l. Let x = d - -52. Does 14 divide x?
False
Let k be 200/90 + (-2)/9. Let m be 3 + (-3 - -1) + k. Suppose -m*u + 36 = -u. Does 6 divide u?
True
Let n(u) = -9*u**2 - 118*u + 41. Is 7 a factor of n(-12)?
True
Suppose -f + 4*j - 10 = 0, -5*f - j = 4 + 4. Let m = 38 - f. Is 7 a factor of m?
False
Suppose 2*r - 813 = 3*s, -3*r + 1210 = 3*s + 2*s. Does 15 divide r?
True
Suppose 4*t - 1785 = t. Suppose 378 = 3*c - 0*p - 3*p, 0 = -5*c - 2*p + t. Does 28 divide c?
False
Suppose -13*t + 5732 = -5760. Does 34 divide t?
True
Suppose 183 = 4*g + 5*h, -7*g + 5*h = -4*g - 146. Is 8 a factor of g?
False
Suppose 0 = -3*l + 6 + 3. Suppose 2*v + r - 68 - 21 = 0, -l*v + 5*r + 153 = 0. Let g = -14 + v. Does 17 divide g?
False
Let o(i) = -5*i**3 - 15*i**2 - i + 6. Is o(-3) even?
False
Let n(r) = 2*r**2 + 17*r - 69. Is 13 a factor of n(4)?
False
Let w(u) = 4*u**2 - 2*u + 4. Suppose -3*g - 25 = -2*g. Let j be g/(-10) - (-2)/4. Is w(j) a multiple of 17?
True
Suppose -3*k - 2*p + 832 = -1211, 4*k - 5*p = 2701. Is 97 a factor of k?
True
Let d(c) = -292*c. Suppose -3*v + 3*y + 6 = 0, 3*v - 4*y - 2 = 7. Does 34 divide d(v)?
False
Is (-1*(-2 + -1))/(39/3757) a multiple of 30?
False
Let a(l) = 240*l**3 + 3*l**2 - 3*l. Does 48 divide a(1)?
True
Suppose -5*c + y = -24, 3*y + 2*y - 10 = -c. Suppose -i = 3*z - 17, -c*i - 3*z = -z - 124. Does 26 divide i?
True
Let p(k) = -2*k**3 - k**2 + k - 54. Let q be p(0). Does 7 divide (12 - q) + (2 - (6 - 1))?
True
Let r(m) = m**2 - 18*m + 23. Let y(z) = z**2 - 5*z + 9. Let d be y(4). Suppose d*f = f + 68. Is 3 a factor of r(f)?
True
Let b = 159 - 29. Suppose 0 = -5*z - 4*p + 690, -284 = -3*z - p + b. Is 28 a factor of z?
False
Suppose 0 = 5*z - 5*s - 226 - 3859, -2*z - s = -1631. Does 6 divide z?
True
Let a = 16 - 4. Let q = a - 10. Let d(m) = 4*m**3 + 2*m**2 - 5*m + 4. Does 34 divide d(q)?
True
Let i = 124 - 120. Suppose i*q + 4*j = 100, -2*j - 61 - 9 = -4*q. Is 2 a factor of q?
True
Suppose 0 = 30*y - 33*y + 1449. Is 21 a factor of y?
True
Suppose 3*x - 9 = -5*t, -3 = 4*x + 5. Let i(p) = p + 2*p**3 - p**t + 7*p**2 + 5 - 8*p + 6*p. Is i(-5) a multiple of 15?
True
Let i = 53 + -53. Suppose -3*v + t + 76 = i, 0 = -t - t + 10. Is 4 a factor of v?
False
Let n(a) = 3*a**2 - 4*a - 10. Let o(k) = k**2 + k - 1. Let x(v) = n(v) + 5*o(v). Is x(-5) a multiple of 45?
True
Let r(m) = 5*m**2 - 2*m + 1. Suppose -p = -5*i + 3*i + 28, 0 = 2*p - 4. Suppose -5*s = 0, 3*s + 0*s = 5*j + i. Is 13 a factor of r(j)?
True
Suppose 6*o - 10 = 8*o, 40 = 5*n - 4*o. Is 4 a factor of n?
True
Let f = -41 + 46. Is 64/f + (6/3)/10 even?
False
Suppose d - 1359 + 804 = 0. Is d a multiple of 48?
False
Let p(g) = -g**2 - 6*g - 6. Let b be p(-4). Let r be 377/58*4/13. Suppose -b*q + 63 = 5*t, 28 = r*t - q - q. Is 13 a factor of t?
True
Let t = -163 + 303. Is t a multiple of 2?
True
Let f = -64 - -66. Suppose 2*c - 5*b - 29 = -0*c, -f*c + 3*b = -35. Does 12 divide c?
False
Let r(c) = -24*c - 10. Let g be 2/(-5) + (-143)/55. Is r(g) a multiple of 13?
False
Let g = -1227 - -2139. Is 24 a factor of g?
True
Let z = -466 - -1227. Does 20 divide z?
False
Suppose z = 3*y - 0*y - 11, 2*y - 13 = -5*z. Suppose -20 = 5*r, 2*p = 5*p - y*r - 1000. Suppose u - p = -4*t, 0 = 5*t + u - 230 - 179. Is 27 a factor of t?
True
Suppose -4*l - 5 = 3*u - 3, 4*u = -3*l - 5. Let k be l*(-3 - 4)*-6. Suppose 6*i = 8*i - k. Is i a multiple of 15?
False
Suppose -1870 = 6*b - 5*b. Is (b/(-33))/((-4)/(-6)) a multiple of 26?
False
Let y(x) = -x**2 - 2*x - 6. Let g be y(4). Let n = g + 57. Is n a multiple of 27?
True
Suppose 9*y + 56 = 479. Let h = y - 22. Does 5 divide h?
True
Suppose 3*j + 5 = 11. Let s = j + 10. Does 12 divide (-1 + 3 + 1)*s?
True
Let c(o) = -o**3 + 5*o**2 + 5*o - 6. Let q = -26 + 32. Let i be c(q). Is (15/(-4))/(i/256) a multiple of 16?
True
Is (64/(-4))/2 + 2746 a multiple of 121?
False
Let u(w) = w**3 - 4*w**2 + w + 1. Let c be u(4). Let h = c + 10. Is h a multiple of 13?
False
Suppose 0 = -8*l - 15 + 39. Suppose -4*o - 74 = -3*i, o + l*i + 66 = -2*o. Does 16 divide 1434/15 - 8/o?
True
Suppose -2*m - 5*n + 1316 = 0, 0*m - 2*n - 667 = -m. Does 17 divide m?
True
Suppose 0 = 5*d - 5*o + 70, 0 = -2*d - 4*o + 5*o - 25. Let p(a) = -2*a + 26 - 35 - 3*a. Is p(d) a multiple of 23?
True
Suppose -c + 0*c = 5, -20 = 5*g + 5*c. Let f be (7/(-21))/(g/(-6)). Suppose -f*z + 43 = -59. Is 17 a factor of z?
True
Let n = 0 - -4. Let o be 33 + (4 - (4 - 3)). Suppose -3*b - n*w + o = b, 3*w - 18 = -2*b. Does 9 divide b?
True
Let j be (-34)/(-6) + (-1)/(-3). Let n be j/(-15) - 1479/15. Let y = 147 + n. Is 17 a factor of y?
False
Let g(o) = -2*o**2 + 7*o + 2. Let l(h) = h. Let d(q) = g(q) - 4*l(q). Let w be d(4). Let i = w + 78. Is 32 a factor of i?
False
Let c(r) = 4*r**2 - 3*r - 4. Let d be c(-2). Suppose 40 = v - d. Is 10 a factor of v?
False
Let a = 7 + -36. Let g = -25 - a. Is g a multiple of 4?
True
Let q be (-12)/(-42) - (-2740)/14. Suppose 5*a + 3*t - q = 100, -3*a + t + 172 = 0. Let g = 110 - a. Is 13 a factor of g?
True
Let u = 51 - 27. Let h be u/9*(-3)/(-2). Does 22 divide ((