s 8 a factor of w(-7)?
True
Is 22 a factor of (-8)/36*-3*66?
True
Suppose 0 = 3*d - 1 - 11. Let j be (-5)/(3/(-9)*3). Suppose d*a - 58 = -j*x, 8*a - 4*a - 8 = 0. Does 4 divide x?
False
Suppose -o + 36 = 1. Let z = -24 + o. Is 11 a factor of z?
True
Let v(o) = o**2 - 10*o + 12. Let t be v(9). Suppose 5*l - t*l = 18. Suppose 0 = 3*z - 2*z - l. Is 3 a factor of z?
True
Does 17 divide ((-418)/(-11))/((-1)/(-2))?
False
Suppose -4*z = o - 23, -2*o + 1 = 3. Let p = z - 3. Suppose -2*n + 49 = 5*t, t + 70 = 5*n + p*t. Is 11 a factor of n?
False
Let r(i) = i**3 - 11*i**2 - 16*i + 5. Let p(g) = -g**3 + 10*g**2 + 15*g - 5. Let x(t) = 5*p(t) + 4*r(t). Is 13 a factor of x(7)?
False
Let h be (-9 + 2)/(-5 - -4). Is 14/h + 13*1 a multiple of 15?
True
Let w be 26/(-12) - 3/(-18). Let p = 5 + w. Is p a multiple of 2?
False
Does 12 divide -3 + (-8)/(24/(-45))?
True
Let l(b) = -b**2 + 5*b + 4. Let s be l(6). Is 7 a factor of (-2)/(-1)*(-9)/s?
False
Let b = -323 - -547. Is b a multiple of 14?
True
Suppose -6*s + 9*s = 390. Is s a multiple of 34?
False
Suppose 2*m - 4*t = 358, 2*m = -6*t + 2*t + 398. Is m a multiple of 27?
True
Let m(u) = -u**3 - 13*u**2 - 10*u + 19. Is m(-13) a multiple of 32?
False
Let u = 31 + -19. Suppose -u = -t - 3*t. Does 2 divide t?
False
Suppose -4*q + 9*q = -135. Let o be (3 + -1)*q/6. Let t = o - -19. Does 4 divide t?
False
Let j(o) = o**2 + 5*o + 2. Let c be j(-3). Is -22*(-1)/(-2)*c a multiple of 22?
True
Let u(c) = 3*c + 2. Suppose 4*m + 28 = 4*l, 5*l + 17 = -2*m + 52. Does 16 divide u(l)?
False
Let q(w) = 86*w**2 + 3*w - 2. Does 15 divide q(1)?
False
Suppose -60 = -5*n + 5*f, -4*f = 4*n - 3*f - 38. Does 5 divide n?
True
Let f(h) = h**3 - 15*h**2 + 15*h - 2. Is f(14) a multiple of 9?
False
Let u = 0 + 3. Suppose -g + 2*i - 15 = -u*i, -25 = -3*g + i. Does 10 divide g?
True
Let w(b) = 190*b**2 - 3*b + 2. Let g be w(1). Let l = g + -101. Does 25 divide l?
False
Let u(z) = 3*z**3 + 7*z**2 + 4*z - 5. Let o(s) = 3*s**3 + 8*s**2 + 5*s - 6. Let g(d) = 5*o(d) - 6*u(d). Let f be 12/(-8)*4/3. Is 7 a factor of g(f)?
True
Suppose g - 174 = 2*t + 230, 4*g - 1646 = -2*t. Is g a multiple of 42?
False
Suppose 0*g - 147 = 3*g. Let f be 40/7 + (-14)/g. Is 291/f + (-2)/(-4) a multiple of 19?
False
Let u be -2*((1 - -41) + 2). Let y = 278 + u. Suppose 0*l - y = -5*l + 2*q, -5*q = 0. Is l a multiple of 13?
False
Let u(k) = 4*k + 6 - 2*k + 3*k. Let r be u(5). Let w = r - 20. Does 11 divide w?
True
Let t(l) = l**2 - 9*l - 3. Is t(14) a multiple of 10?
False
Let x = 10 + -4. Let r be -5*3/x*-2. Suppose 3*j - r*a - 6 = 70, 0 = j - a - 24. Is j a multiple of 13?
False
Let b = -86 + 124. Is 25 a factor of b?
False
Let k = -2 + 5. Let g(c) = -c**3 + 5*c**2 - 3*c + 1. Is g(k) a multiple of 5?
True
Let i(v) = 2*v + 3. Let l = -1 + 1. Suppose l = 5*f - 24 - 6. Is 15 a factor of i(f)?
True
Suppose -2*s = 2*k - 422, -k + 3*s = 3*k - 830. Is k a multiple of 47?
False
Let s(b) = -b**2 + 16. Let w(f) = f**3 + 3*f**2 - 6*f - 4. Let r be w(-4). Suppose 0 = 3*d - 3*k + 9, r*d + k = -0 + 3. Is s(d) a multiple of 8?
True
Suppose -84 = -2*r + 4*j, -6*r + 3*j + 148 = -2*r. Does 17 divide r?
True
Suppose 5*k + 4428 = 728. Is k/(-9) - (-4)/(-18) a multiple of 29?
False
Suppose 200 + 56 = 4*m. Does 11 divide m?
False
Let u be 0 - -2 - (-2 - 0). Suppose -u*q = d - 52, -3*q + 6*q - 20 = 4*d. Is 7 a factor of q?
False
Let x(a) = -3*a - 14. Does 10 divide x(-8)?
True
Let h be (-114)/2*(-4)/6. Let i = h - 26. Is i a multiple of 6?
True
Let q(w) = w**2 - 4*w + 3. Let p be q(3). Suppose p*i = i - 16. Let l = i - 11. Is l a multiple of 5?
True
Let u(y) = -y**3 - 13*y**2 + y + 19. Let v(c) = -8*c + 3. Let p be v(2). Is u(p) even?
True
Suppose 4*w - 196 = -2*x, 4*x = -w - x + 40. Is w a multiple of 12?
False
Let y(q) be the first derivative of q**6/360 + q**5/20 - q**4/12 + q**3/3 - 2. Let v(d) be the third derivative of y(d). Is v(-7) a multiple of 2?
False
Let n(a) = -2*a - 7. Let o(p) = 3*p + 7. Let d(u) = 2*n(u) + 3*o(u). Let t be ((-28)/(-16))/(1/4). Is d(t) a multiple of 21?
True
Suppose -5*p - 192 = 78. Let i = 90 + p. Is i a multiple of 9?
True
Suppose -28 = 2*c - 4*g, -3*c + 32 = -6*c - 4*g. Does 3 divide (c/(-14))/((-2)/(-14))?
True
Does 24 divide (18/(-21))/(1/322*-2)?
False
Suppose 5 + 7 = 4*m. Suppose 0*i - 9 = -m*i. Suppose 0 = i*h - 4*h + 6. Is 3 a factor of h?
True
Suppose -t + 55 = 4*t. Is t a multiple of 11?
True
Suppose 2*f = 2*a - 82, f - 119 = -3*a - 16. Does 18 divide a?
True
Suppose 0 = -2*l - 2*l + 24. Suppose o - l*o = -125. Is o a multiple of 25?
True
Let r be 7/28 + (-19)/(-4). Let l be 4/14 - 4/14. Let i = l + r. Does 2 divide i?
False
Let u(f) = f - 7*f**2 + 2*f + 6 - f + f**3. Let m be u(5). Let i = -10 - m. Is i a multiple of 12?
True
Let w = 113 - 44. Is w a multiple of 19?
False
Let x be (-6 - -7)/(1/5). Suppose 0*y + x*y - 90 = 0. Is y a multiple of 9?
True
Does 20 divide (-1708)/(-10) + (5 - 203/35)?
False
Let f = -39 + 81. Let n = 90 - f. Is n a multiple of 12?
True
Suppose -16*i + 87 = -13*i. Is 11 a factor of i?
False
Let l(j) be the first derivative of 2*j**3/3 - 4*j**2 + 6*j + 2. Suppose g - 1 = 4. Does 8 divide l(g)?
True
Suppose 3*n + 0*k - 30 = 3*k, 3*k - 33 = -4*n. Is n a multiple of 4?
False
Let f = -35 + 59. Let a = -45 - -31. Let x = a + f. Is 10 a factor of x?
True
Let x = -585 + 921. Let v be (-4)/22 - x/(-33). Is (22 - 1)/(15/v) a multiple of 9?
False
Let a = 135 - 87. Does 7 divide a?
False
Suppose -r - 39 = 2*r. Let y = r - -21. Is y a multiple of 7?
False
Let m be -1*0/(-2 - -1). Suppose -3*j - j - 8 = m. Let n(i) = -10*i - 2. Does 9 divide n(j)?
True
Suppose 7*k - 3*k - 148 = 0. Does 2 divide k?
False
Let v = -6 + 9. Let l = 7 + -4. Suppose l*p + 8 = -2*k + 38, 0 = -3*k - v*p + 48. Does 9 divide k?
True
Is (-2)/(((-6)/49)/3) a multiple of 15?
False
Let u = -68 - -98. Is 10 a factor of u?
True
Let y(u) = 3*u - 7. Is 3 a factor of y(6)?
False
Let o(i) = -i**2 - 5*i - 1. Let k be o(-2). Suppose y = k + 16. Is 7 a factor of y?
True
Let u be 4 + (-1 - (2 - 1)). Let h(v) = -11*v**2 + 4*v - 2. Let m be h(u). Let j = m + 58. Is 7 a factor of j?
False
Let s be (0/(-4))/(4/2). Let b(q) = -q**3 + q**2 + 38. Is b(s) a multiple of 19?
True
Suppose 4*u = 3*q + 14, 9 = 2*u - q + 3. Let x(s) be the first derivative of 8*s**3/3 + s + 14. Is x(u) a multiple of 19?
False
Let k(d) = d**2 + 2*d + 1. Is k(3) even?
True
Let w(s) = -s**2 - 2*s + 7. Let g be w(-5). Let j = g - -3. Let v = j + 9. Is 4 a factor of v?
True
Suppose 0 = 4*v - v - 156. Does 9 divide v?
False
Suppose 42 = 2*y + 4*b, 4*y + 47 = -5*b + 119. Suppose 5*f - y = 2. Suppose 2*k + 6 = 2*g + 7*k, -3*g + f*k + 9 = 0. Does 3 divide g?
True
Let m(i) = -i + 3. Let t be m(-11). Is 7 a factor of t/21 - 80/(-6)?
True
Let o(l) = l - 2. Let c be o(3). Let p = -19 + 20. Is 0 + p - (-38 + c) a multiple of 16?
False
Suppose 0 = 2*l - 4*r + 13 + 15, 3*l + 22 = 2*r. Let d(o) = o**2 + 4*o + 6. Let m be d(l). Let c(i) = -i**2 + 7*i + 1. Is c(m) a multiple of 3?
False
Let f = 1 - 2. Let g = f + 29. Is 16 a factor of g?
False
Let c(w) = 2*w - 8. Let h be c(9). Let j(s) = -s**3 + 7*s**2 - 5*s - 8. Let t be j(6). Is 14 a factor of (-218)/(-10) - t/h?
False
Suppose u + 2*u = -2*w + 34, 3*w = -12. Suppose -p - 8 = k + 2*p, 4*p = -2*k - 8. Suppose u - k = 2*g. Is 2 a factor of g?
False
Suppose 0*k - 4*k - 4*c - 56 = 0, c = -4*k - 65. Let y = k + 9. Is y/6*132/(-8) a multiple of 22?
True
Is 14 a factor of (-2)/(-11) + 4600/110?
True
Let o(i) be the second derivative of 7*i**5/10 - i**4/12 + i**2/2 - i. Is o(1) a multiple of 7?
True
Suppose 0 = -5*n + 587 + 673. Is 14 a factor of n?
True
Suppose -112 = -3*l + 8. Does 23 divide l?
False
Let q(i) = -i**3 + 8*i**2 + 2*i - 10. Let o be q(8). Let w(a) be the first derivative of 3*a**2/2 + 7*a - 3. Is w(o) a multiple of 10?
False
Let r = 384 - 105. Does 9 divide r?
True
Suppose 2*q - 35 = 4*w - 7*w, 20 = 5*q. Does 9 divide w?
True
Let u(z) = -z**3 - z - 1. Let p be u(-2). Let l = p + -2. Let g = l + 15. Does 11 divide g?
True
Let g be (1/3)/((-3)/(-18)). Suppose g*w - 124 = -2*w. Is w a multiple of 14?
False
Let b = -2 + 4. Suppose -b*m - 3*u = -12, 2*m + m - 20 = -4*u. Does 3 divide (2/4)/(1/m)?
True
Suppose 5 = -5*d - 0. Suppose 0 = -4*t - 4*s, -2*s - s = 0. Is d - ((t