- 9*y**2/2 - y. Is 2 a factor of r(6)?
False
Let s(l) = 19*l - 13. Is 30 a factor of s(7)?
True
Let i(z) = z**3 + 7*z**2 - z + 2. Let n be i(-6). Suppose 4*t = 6*t - n. Is 7 a factor of t?
False
Suppose -10 = -3*i - 4. Let o = i + 0. Suppose d = -c - o*d + 4, 2*d = 2*c - 40. Is c a multiple of 16?
True
Let v be (-4 - -3)/((-1)/23). Let m = v - 10. Is m a multiple of 2?
False
Let y = 0 - 3. Let s(t) be the first derivative of -t**2/2 - t + 1. Is 2 a factor of s(y)?
True
Let w = 27 + -1. Is 3 a factor of w?
False
Suppose -2*u + 4*z = -5 - 9, -3*z = -u + 8. Suppose 2*k + 158 = u*j + 6*k, -3*j = -2*k - 86. Is 14 a factor of j?
False
Let u(p) = p**2 + 4*p. Let r be u(-4). Suppose 3*h - h - 54 = r. Does 19 divide h?
False
Let j = 3 + -3. Suppose 2 + j = 2*g. Suppose g - 5 = -s. Is s even?
True
Suppose b - 2*b + 144 = 2*h, 4*h - 5*b - 260 = 0. Does 35 divide h?
True
Suppose 5*k - 3*k + 12 = 0. Is 15 a factor of (68/12)/((-2)/k)?
False
Is 8 a factor of 9/(-6) + 141/6?
False
Suppose 30 = 5*x - 3*s, -2*x = -x - 3*s - 18. Suppose 0 = -5*a + x*c + 2*c + 110, -4*a = 5*c - 43. Does 9 divide a?
False
Let h = -11 + 6. Let f = h + 19. Does 14 divide f?
True
Suppose -2*k + 2 = -2. Suppose 2*a - 30 = -2*b, -k*b = 5*a + 2*b - 77. Does 11 divide a?
False
Let l(a) = -2 + 1 + a**2 + 2*a + 4*a**3 - 1. Let q be l(-3). Let y = 172 + q. Is 23 a factor of y?
False
Let g be (-3 - (-3 - -2))*-1. Let y(k) = -k**3 + 3*k**2 - 2*k. Let z be y(g). Suppose 3*p + z*m = 3*m + 90, -156 = -4*p - 5*m. Is p a multiple of 11?
False
Suppose -t + 140 = t. Does 23 divide t?
False
Let r be (17 - -2) + -4 + 4. Suppose 3*f - f - r = -3*k, 2*k + 9 = 3*f. Does 2 divide f?
False
Let n be (-9)/12 - 831/12. Let l = -38 - n. Is 9 a factor of l?
False
Let t(h) = -2*h**3 - 4*h**2 + 2*h + 7. Let d(f) = f - 2. Let x be d(-1). Does 7 divide t(x)?
False
Let v(q) = -3*q**2 - 2*q - 1. Let o(r) = r**2. Let l(z) = 4*o(z) + v(z). Let m be l(3). Suppose a - 4*t - 23 = m, 5*t - 16 = -4*a. Does 9 divide a?
True
Let l = -3 + 2. Let w be ((-2)/5)/(l/25). Is 2 a factor of 10/4*8/w?
True
Suppose -g - 4 = -2*a, 4*g = -a + 5*g. Let n = a - -3. Does 6 divide n?
False
Let w(z) = 2*z**2 + 10*z + 24. Is 12 a factor of w(-3)?
True
Let k = -17 + 23. Is k a multiple of 3?
True
Suppose -3*k + 237 = 3*d + k, 4*k = 0. Let f = d + -10. Is f a multiple of 15?
False
Let y = 15 + -10. Suppose 5*q = q - 20, 4*q = y*t + 30. Is (-180)/3*4/t a multiple of 24?
True
Suppose -180 = 2*a - 6*a. Let n = a + 1. Is 15 a factor of n?
False
Suppose 3*n = -9 + 45. Let o = 17 - n. Suppose -4*t - 2*m = -62, -o*t - 2*m + 23 + 54 = 0. Is t a multiple of 10?
False
Suppose 13*f + 15 = 12*f. Is 125/10*(-72)/f a multiple of 15?
True
Suppose -3*w - i = -17, 0*w + 4*i + 2 = -2*w. Does 2 divide w?
False
Let t(h) = h - 4. Let l be t(-12). Let m = 23 + l. Does 7 divide m?
True
Let h be 2/(-13) - 76/13. Is (4/h)/((-6)/90) a multiple of 5?
True
Suppose -5*s + 5*l - 5 = 0, 3*s = 6*l - l - 11. Suppose -u + 44 = -2*r, 2*u - s*r - 47 - 44 = 0. Is 25 a factor of u?
True
Let j = 191 - 135. Does 19 divide j?
False
Let l(u) = -u**2 - 6*u + 4. Is l(-6) a multiple of 4?
True
Let g be (-6 - -8)/(2/68). Suppose -g - 100 = -2*a. Does 21 divide a?
True
Let s = 1 - 1. Suppose s = -0*w + w. Suppose w = -4*v - 4*r + 3*r + 20, -16 = -4*r. Does 2 divide v?
True
Let j = -1 - -1. Suppose j*p = -3*p. Suppose -s + 2*s = 5*z - 117, p = z - s - 25. Is z a multiple of 13?
False
Let t(a) = 7*a - 3*a - 3 + 4. Let d be t(-2). Let m(k) = -k**2 - 8*k + 4. Does 10 divide m(d)?
False
Suppose 75 - 19 = 4*x. Does 5 divide x?
False
Suppose 5*j + 3*m = 118, -j + 5*m + 150 = 4*j. Suppose 4 + j = 3*p. Does 10 divide p?
True
Let w be (-10)/3*(-3)/1. Let y = 17 - w. Does 4 divide y?
False
Let z = 3 + 11. Is 14 a factor of ((-14)/(-2))/(z/112)?
True
Suppose l + 13 = -5*n + 188, -n - 3*l + 49 = 0. Is n a multiple of 17?
True
Let z = 24 - -143. Is 11 a factor of z?
False
Suppose 0 = 3*b - 7*b + 96. Let t be 8/(-2)*(-42)/b. Is 3 a factor of -9*(2 + t/(-3))?
True
Let q = -9 - -88. Suppose 4*d - 85 = 5*f, -f + q = -4*d + 8*d. Does 8 divide d?
False
Let a(c) = c**2 + c - 2. Let g be a(2). Suppose 4*d - 8 = 0, -5 = -4*y + g*d + 7. Suppose -y*b + 60 + 60 = 0. Is 9 a factor of b?
False
Let d = -147 + 195. Does 24 divide d?
True
Let v = -192 + 273. Is 13 a factor of v?
False
Let s(h) = 20*h - 109. Is 15 a factor of s(11)?
False
Let o = 6 + -18. Let m be o/15*5/(-2). Is 18 + (-6)/(m - -1) a multiple of 12?
False
Suppose 4*w - 3*b - 40 - 76 = 0, 4*b = 3*w - 80. Suppose w + 5 = -f. Let t = f - -64. Is t a multiple of 9?
True
Let c(t) = -10*t - 9. Let q be c(-6). Let x = q - 31. Is 10 a factor of x?
True
Suppose 73 = 3*s - 95. Is s a multiple of 14?
True
Let c(v) = 28*v - 6. Let a(h) = 9*h - 2. Let n(z) = -16*a(z) + 5*c(z). Suppose -4*r + 21 = -2*o - o, 0 = 4*o - r + 15. Is n(o) a multiple of 7?
True
Let s = -35 - -95. Is s a multiple of 20?
True
Let a(r) be the third derivative of r**5/60 + 5*r**4/24 - 5*r**2. Suppose 0*v - 3*v - 24 = 0. Is 8 a factor of a(v)?
True
Let m(w) = 14*w**2 + w. Does 18 divide m(2)?
False
Let r = 7 + -5. Suppose -r*a = a. Suppose d - 2 - 3 = a. Is 2 a factor of d?
False
Let y(n) = 9*n + 14. Let v(s) = -35*s - 55. Let o(w) = 4*v(w) + 15*y(w). Is o(-7) a multiple of 16?
False
Let a be (-3)/6 - (-1)/(-2). Let m be (1 + 9)/(a + 2). Does 6 divide 4/(-10) + 64/m?
True
Suppose -8 = 2*b - 0*b. Let q be (-6)/2 + (-3 - b). Let o = q + 10. Is 3 a factor of o?
False
Suppose -3*v - 50 = -8*v. Is v a multiple of 10?
True
Let j(c) = -4*c - 3. Let s be j(-2). Suppose v + 3*v - 107 = -i, -4*v + s*i = -137. Does 15 divide v?
False
Suppose -p - 15 = -a, -4*a + 39 = -3*p - 17. Suppose -l - 5 = -2*h - 0*h, 5*h - l - a = 0. Suppose h*t - 9 = 51. Is 15 a factor of t?
True
Let f(l) = 3*l**2 + 16. Is 14 a factor of f(5)?
False
Let m = -64 + 142. Is m a multiple of 26?
True
Suppose 3*l = 5*l + 82. Let c = -20 - l. Is 7 a factor of c?
True
Suppose 5*b = -0*b + 660. Is b a multiple of 12?
True
Let n(v) = 6*v**2 - 3*v + 24. Is 54 a factor of n(4)?
True
Let z(s) = -10 - 2*s - 2*s + 0 - 2*s + 2*s**2. Does 23 divide z(7)?
True
Suppose -3*d = 4*f + 62, -3*f - d - 32 = 17. Suppose 4*i - 15 - 85 = 0. Let l = f + i. Is l a multiple of 8?
True
Suppose q + 3*s - 3 = -s, 0 = -3*q + s + 9. Suppose 11 = -2*z - 4*o - 31, 0 = -q*z - 2*o - 59. Does 16 divide (-2)/(((-4)/z)/(-4))?
False
Let a = -97 - -149. Does 13 divide a?
True
Suppose -i - 4*i - 25 = 0. Let h(y) = -y**3 - 4*y**2 + 4*y - 2. Let u be h(i). Suppose -u*o - 2*o + 8 = 3*r, 4*o = r - 14. Does 3 divide r?
True
Let l(y) be the third derivative of y**5/60 - y**4/4 + y**3 - 2*y**2. Let z be l(5). Let g = z + 44. Is g a multiple of 14?
False
Suppose -2*o - 40 = -2. Suppose 4*m = -8 - 28. Let w = m - o. Does 5 divide w?
True
Let w(b) = -b**3 - 9*b**2 - 11*b - 12. Let f(t) = t**3 - 2*t**2 + 4*t + 5. Let x be f(4). Suppose -5*i - x + 13 = 0. Is w(i) a multiple of 12?
True
Suppose k - 33 = -4*a, -k + a + 20 = -38. Is k a multiple of 8?
False
Let i(m) = -10*m - 3. Suppose 3*g - 9 = 6*g. Is 14 a factor of i(g)?
False
Let k(r) = -r**3 - 6*r**2 - 6. Let h be k(-6). Let x = h - -9. Suppose -6 = -x*l + 15. Is l a multiple of 7?
True
Suppose -4*o - 38 = -o + 4*m, -4*m = -4. Is 18 a factor of (-3)/(-1) - o - -1?
True
Let d be (16/10)/(20/850). Suppose -4*s = 4*q - 88, -2*s + d = 4*q - 3*s. Does 9 divide q?
True
Let k(q) = -56*q. Is 14 a factor of k(-1)?
True
Let l = -38 + 2. Let z = l + 64. Is 14 a factor of z?
True
Let h(j) = 4*j + 6. Let u be h(7). Suppose -a = -2, -3*f - 2*a + 15 = -u. Is f a multiple of 8?
False
Let z be 164/20 + 1/(-5). Let b be (z/(-10))/(12/(-30)). Suppose 2*o - 200 = -b*o. Is 22 a factor of o?
False
Let w(b) = b**2 + 4. Is 11 a factor of w(-8)?
False
Let u be -23 - 0/(4 - 3). Let a = u - -37. Is a a multiple of 8?
False
Suppose -2 - 110 = -4*k - f, -k = 5*f - 28. Suppose -5*a + 14 = v - 16, -2*v + k = 2*a. Let i = 15 - v. Is i a multiple of 2?
False
Let x(f) = -f**3 + 6*f**2 - 3*f + 3. Is x(3) a multiple of 8?
False
Let c = 16 + -8. Does 4 divide c?
True
Suppose 2*m + 0*m - 102 = 0. Is 10 a factor of m?
False
Let w(n) = 2*n**2 + 3*n + 14. Does 7 divide w(-5)?
True
Is (-18)/(0 + 2 - 4) a multiple of 8?
False
Suppose 0 = 3*a - 5*b - 37, a + b - 5 = -b. Suppos