w = -2*l + 89, -2 = -2*w. Let o = l + q. Is o a multiple of 16?
True
Let r = 10 - -3. Is 5 a factor of r?
False
Let s(o) = 4*o**3 + 4*o**2 + 3*o + 4. Let y(r) = -r**3 + r**2 - r. Let m(d) = s(d) + 3*y(d). Let x be m(-7). Suppose -5 + 21 = x*w. Does 2 divide w?
True
Let o = -4 - -4. Suppose o = 5*a - 112 - 23. Is a a multiple of 15?
False
Let n(s) = s - 6. Let q(x) = x - 3. Let j(l) = 6*n(l) - 13*q(l). Is j(-3) a multiple of 8?
True
Let y(z) = -z**3 + 2*z**2 + 8*z - 4. Let f be y(5). Let s = f - -68. Does 29 divide s?
True
Let y be (3/(-3) - -62)/(-1). Let s = y + 19. Let k = s + 66. Does 10 divide k?
False
Suppose 4*m = 2*t - 182, -2*t + 276 - 70 = 2*m. Is t a multiple of 33?
True
Let u be (-3)/((-9)/(-3) + -4). Suppose -144 + 45 = -u*i. Suppose -4*r + 75 = -i. Is r a multiple of 8?
False
Suppose 0 = 3*u + 3*f, 5*u + 4*f = 2*u. Let d = -3 + 5. Suppose -s + d = -u*s. Is s even?
True
Suppose -2*z = 2*z + x - 137, 2*x = -5*z + 169. Suppose 4*u - z = -u. Does 3 divide u?
False
Suppose -4*j - 3*o = -2*o - 480, -j + 4*o + 120 = 0. Is j a multiple of 15?
True
Suppose -4*y = -2*n - 3*n + 14, -7 = -n + 5*y. Does 4 divide (-3 + n + -4)/(-1)?
False
Let a(l) = l - 5. Let g be a(10). Suppose 0 = -2*p - 2*y + 80, -2*p - g*y = -0*p - 86. Suppose -h + p = -w, -2*h - h + w = -106. Is 17 a factor of h?
True
Let s = 0 - 9. Is 6 a factor of s/2*(-12)/9?
True
Let j(g) = -g**2 - g - 2. Let b be j(3). Let i be (0 + b)/(2 + -3). Let c = i - -26. Is c a multiple of 14?
False
Let l(x) = 3*x - 18*x - 2 - 1. Is 9 a factor of l(-2)?
True
Suppose 2*s = -3*s + 1545. Suppose 306 = 5*o + 3*g, -o + 6*o + 2*g - s = 0. Does 19 divide o?
False
Is 1/3*(13 + 2) a multiple of 4?
False
Suppose -4*n - n = -5. Let v(w) = w + 4. Let q be v(2). Suppose -q = -j - n. Is 5 a factor of j?
True
Is 9 a factor of ((-15)/10)/(3/(-164))?
False
Suppose -3*a - 95 = -2*b, 2*a + 2*b + 71 = 1. Is ((-4)/6)/(11/a) even?
True
Let t(a) = -2*a + 10. Let d be t(-10). Suppose -2*x - d = 2*u - 132, u = 2*x - 87. Is 12 a factor of x?
False
Let z(p) = 4*p**3 + 2*p**2 - 1. Let l be z(-1). Is l*7*4/(-3) a multiple of 14?
True
Let a be (-3 - -2)/((-2)/(-16)). Let i = a + -11. Let w = i - -32. Does 13 divide w?
True
Let r(b) = -b + 1. Let d be r(1). Suppose d = -3*w + 5 + 1. Suppose 2*o + w*o = 28. Does 3 divide o?
False
Suppose 108 = 5*f - 2*f - 3*j, 2*f = -4*j + 90. Is f a multiple of 13?
True
Let y = 4 + -4. Suppose 5 = x - 0*x, -t + 3*x - 39 = y. Let b = 42 + t. Is b a multiple of 14?
False
Suppose s = 2*i + 19, -s + 13 = 2*i - 2. Suppose 5*v - s - 13 = 0. Is 16 a factor of (16/v)/(3/18)?
True
Let v = 44 - -52. Suppose 0*w = -3*w + v. Is w a multiple of 12?
False
Suppose -4 = f + f, 169 = 3*v + 4*f. Does 17 divide v?
False
Let h(u) = -5*u**2 + 8*u - 1. Let v(c) = -11*c**2 + 17*c - 3. Let r(n) = -7*h(n) + 3*v(n). Suppose -3*w + 25 - 7 = 0. Does 14 divide r(w)?
False
Let w(y) = -16*y**3 - y**2 - y. Let p be w(-1). Does 8 divide (-16)/3*(-72)/p?
True
Let m(k) = 4*k + 3. Let l(w) = w - 1. Suppose 4*i = -2*c + c, 2*i + 2 = -c. Let x(v) = i*m(v) + l(v). Does 4 divide x(2)?
True
Let l(m) = 2*m**3 - 3*m**2 + 4*m + 1. Let r be l(3). Suppose 0 = -7*w + 5*w + r. Is 10 a factor of w?
True
Suppose u - 7 + 3 = 0. Suppose -s + u*s = 0. Suppose s = -w + 9 - 1. Is w a multiple of 8?
True
Suppose 0 = r - 1, r - 85 = -4*k - 0*k. Does 3 divide k?
True
Let s(k) = k**2 - 18*k + 26. Is s(20) a multiple of 33?
True
Let x(i) be the third derivative of -i**5/60 + 3*i**4/8 + 2*i**3/3 + i**2. Let t be x(9). Is 14 a factor of 2/t + 135/6?
False
Suppose 4*x = 301 - 61. Does 10 divide x?
True
Let q(s) = s**3 + 8*s**2 - 4*s - 6. Let j be (-3)/1*(-42)/(-18). Is 18 a factor of q(j)?
False
Let t(v) = -2*v - 2. Let u be t(-5). Is 8 a factor of (u/5)/(15/75)?
True
Let v(x) = 2*x**2 - 2*x - 1. Let h be v(2). Suppose -u + 4*d - 4 = 0, h*u - 3 - 3 = 3*d. Suppose 3*n - 7 = -2*s, u*n - 40 = 5*s - 0*s. Does 4 divide n?
False
Let b be 6/15 + 107/(-5). Is (3/(-9))/1*b a multiple of 7?
True
Suppose 0*j - 1091 = -5*j + 3*b, -426 = -2*j - 4*b. Does 12 divide j?
False
Let f(b) = 7*b**3 - b**2 + b. Let o be f(1). Suppose o = c - 38. Is c a multiple of 13?
False
Let p be (-1 + -2)*2/(-3). Let i = p + -2. Suppose 3*a - 27 - 33 = i. Is 10 a factor of a?
True
Let n be (-13)/(-3) + 2/3. Suppose 26 = -2*t - 0*t + 4*h, h - n = 0. Is 4 a factor of 32/6*t/(-2)?
True
Suppose 0 = -u - 1, -902 = -5*f + 5*u - 3*u. Is f a multiple of 20?
True
Suppose -4*h + 27 - 167 = -3*r, 2*r + 2*h = 112. Suppose -3*o = o - r. Is 8 a factor of o?
False
Let o(s) = -s**2 + 29*s - 27. Is o(26) a multiple of 17?
True
Is (-10)/((-12)/90 - 2/10) even?
True
Suppose 3*f + 4*d = 404, f - 4*f + 5*d = -440. Does 22 divide f?
False
Let n = 39 - 20. Is 7 a factor of n?
False
Let t(j) = -j**3 + 4*j**2 + 8*j + 5. Is 5 a factor of t(5)?
True
Let z = 0 + -3. Let h be (-18)/(z/(9/6)). Suppose 4*n - 47 = h. Is 4 a factor of n?
False
Suppose 5*i - 44 = -2*f - 19, 29 = 3*i + 4*f. Let v be (-33)/(-9) - (-2)/6. Suppose 0 = -i*x + v*x - 15. Is 14 a factor of x?
False
Suppose -2*y + 169 = -167. Is y a multiple of 42?
True
Let g(t) = 4*t**3 - t**2 + 2*t - 2. Suppose v + v - 12 = -4*b, 3*v - 16 = -5*b. Does 15 divide g(b)?
True
Suppose 0*k = 3*k + 3. Let n be (-3)/(((-6)/(-20))/k). Suppose 2*s = -3*s + n. Is s a multiple of 2?
True
Let v(y) = -5*y + 3. Let o(w) = 14*w - 9. Let h(m) = -2*o(m) - 7*v(m). Suppose -3*k = -4*j + 20, 2*k - 6*k - 26 = -5*j. Is h(j) a multiple of 4?
False
Let o(u) = u**3 - 11*u**2 - 9*u + 30. Is o(14) a multiple of 21?
False
Suppose 6*v = 1086 - 192. Is 17 a factor of v?
False
Let c = -16 + 15. Let h = c - -48. Is 28 a factor of h?
False
Suppose 0 = -k + 4, 3*o - 7 = 3*k - 7*k. Let y(w) = w**3 - 2*w**2 + 2*w - 4. Let j be y(3). Let p = j + o. Is 4 a factor of p?
True
Let i = -12 + 17. Suppose -20 = -4*l - 3*g, l - 2*g + i*g - 14 = 0. Suppose 5*h + 78 = 4*p, -h + 0 = -l. Is p a multiple of 8?
False
Let y be 3/(-12) - 41/(-4). Suppose -3*i = -y - 26. Is i a multiple of 12?
True
Suppose 0 = r - 4*k - 5, 0*r = r - 2*k - 11. Does 4 divide r?
False
Suppose 147 = 5*u - 33. Does 2 divide u?
True
Suppose -4*j - 3*p + 4 = -16, 15 = 3*j - p. Let q = 6 + j. Is 4 a factor of q?
False
Let w(b) = b**3 + 6*b**2 - 7*b + 9. Is w(-7) a multiple of 9?
True
Suppose j = 4*j. Suppose 3*n + 0*n = j. Suppose -3*f - 9 - 3 = n, -2*a - f = -10. Does 2 divide a?
False
Suppose -j + 5*k = -3*j - 24, 2*j - 4*k + 6 = 0. Let g = j + 20. Is 5 a factor of g?
False
Suppose 2*i = -0*i - 3*s - 39, -14 = 2*i - 2*s. Let o = 25 + i. Is o a multiple of 6?
False
Suppose p = 2*h + 4 + 17, -h = -5*p + 69. Does 13 divide p?
True
Suppose -5*f = -5*p - 45, 3*f - 5 = 4. Let y = p + 9. Suppose -5 = l, -z - 4 - y = 3*l. Is 8 a factor of z?
True
Let i(o) = 4*o**2 - 4. Let b be i(3). Let u = b - 8. Is 8 a factor of u?
True
Let n(z) = 7*z - 1. Let r be n(1). Suppose 0 = 3*o + 3*h - 42, -2*o + 29 = 3*h + 1. Suppose r*y - o = 5*y. Does 14 divide y?
True
Suppose 47 = -9*k + 263. Does 24 divide k?
True
Suppose -3*p + 4*p = -61. Let o = p + 90. Does 29 divide o?
True
Suppose j - 2*t - 2*t - 128 = 0, -3*t = 4*j - 531. Let w = j - 69. Is 21 a factor of w?
True
Suppose 7*t = 10*t - 87. Is 11 a factor of t?
False
Suppose -13*m + 17*m - 2*j = 510, 0 = -4*m + 5*j + 507. Is m a multiple of 16?
True
Suppose -4*k = -k - 246. Suppose -q + 8*c + k = 3*c, -122 = -2*q - 4*c. Suppose q - 23 = 4*u. Is u a multiple of 6?
False
Let q be 26/(-10) - (-6)/(-15). Does 22 divide (14/q)/(2/(-12))?
False
Let h = -2 + 4. Suppose h*d - 3*p = 16, -3*d + 0*p + 18 = -3*p. Let g(y) = -y**3 + 4*y**2 - 2*y + 3. Is g(d) a multiple of 3?
False
Does 21 divide (-4313)/(-57) + 1/(-3)*-1?
False
Let u = -15 - -48. Does 33 divide u?
True
Let p(v) = v**3 + 10*v**2 + 18. Is p(-8) a multiple of 12?
False
Let p(u) = -u**2 - 11*u - 2. Let c(t) = 2*t**2 + 23*t + 5. Let v(s) = 4*c(s) + 9*p(s). Suppose 0 = -3*n, 15 = -7*m + 4*m + 2*n. Is v(m) a multiple of 6?
True
Let k(o) = -o**3 - o**2 + o + 10. Suppose 2*a - 4 = -2*s, -a - 2*s - 2 = -3*s. Suppose r = -a*r. Is 10 a factor of k(r)?
True
Suppose 21*b = 18*b + 63. Does 9 divide b?
False
Suppose 0*u - 4*u + 32 = 4*w, 4*w - u - 7 = 0. Suppose 2 = -w*r - 1. Is 40*(-1 - 2/r) a multiple of 16?
False
Let w(q) = q**2 - 8*q + 9. Let s be w(7). Suppos