 3 a factor of 6 - -5 - (-6)/(-2)?
False
Let t = 51 + -19. Does 16 divide t?
True
Let w = 72 - -27. Does 9 divide w?
True
Suppose 5*k = -2*a + 462 + 246, -5*k + 712 = 3*a. Is k a multiple of 37?
False
Let m(v) = 2*v + 6*v**3 - 5*v**3 - 3*v**3 - 1. Let d be m(-2). Is 22 a factor of 6*-1*d/(-3)?
True
Let m = -3 - -4. Suppose -4*i + 5*i + m = 0. Let d = 5 - i. Is 6 a factor of d?
True
Suppose -58 = -3*f - 2*b + b, -5*b = -5*f + 90. Let k = -16 + f. Is 3 a factor of k?
True
Suppose w = 2*w + 4*h - 37, 4*h - 20 = 0. Does 2 divide w?
False
Suppose 0 = 6*x - 2*x - 20. Let m = -2 - -4. Suppose x*k + o - 176 = 0, 4*o + 33 - m = k. Does 16 divide k?
False
Let s = 121 + -51. Suppose 0*y + 2*y - s = 0. Is 16 a factor of y?
False
Let m(r) = r + 2. Let n be m(0). Suppose n*x - 1 = 23. Is 12 a factor of x?
True
Suppose 10*y + 105 = 15*y. Does 7 divide y?
True
Let b(a) = -3 - a - 3*a**3 + 2*a**3 + 2*a**2 - a**2. Let r be b(-3). Suppose r = s + 7. Does 15 divide s?
False
Let d = -32 + 144. Is 28 a factor of d?
True
Let u(s) = -s + 5. Let m be u(4). Let t be (-7 - -3)*m/(-2). Suppose 2*v - 104 = -t*v. Does 13 divide v?
True
Suppose -5 = 4*a - 3*y, -2*y + 4 + 7 = 5*a. Let q = a + -4. Does 13 divide -13*q/(-12)*-4?
True
Is 51 a factor of (-2 + 1)*(1 - 222)?
False
Let t be ((-2)/(-3))/2*9. Is 1 + 3 + 33/t a multiple of 11?
False
Let v(x) = -x + 18. Let l be v(8). Let y be ((-45)/l)/((-2)/(-4)). Let f = y - -22. Is 8 a factor of f?
False
Suppose -8*z + 10 = -166. Does 9 divide z?
False
Suppose -5*p + 0*p - 10 = 0. Let k(a) = -14*a - 1. Let s be k(p). Suppose q - 2*q = -s. Is 8 a factor of q?
False
Suppose j + 2 = 0, -j - 2*j = 5*x - 539. Is x a multiple of 14?
False
Suppose 4*p - 5*p = -4*t + 815, 4*p - 430 = -2*t. Does 41 divide t?
True
Let s be 373/2 + (-2)/(-4). Let d = -99 + s. Suppose -4*a + 0*a = -d. Is 11 a factor of a?
True
Suppose 2*i - 3 = 7. Suppose 0 = -i*h + 2*h + 36. Does 6 divide h?
True
Is 24 a factor of 3 + 95 + -2 + 0?
True
Suppose 7*b = 3*b + 416. Is b a multiple of 26?
True
Let s(l) = l + 5. Let x be s(-5). Suppose x = 2*k + k - 21. Does 3 divide k?
False
Let h(i) = i**2 - 12*i + 14. Let w be h(11). Suppose j - 3*k + w = 0, 5*j - 65 = -0*j - k. Is j a multiple of 4?
True
Let j(s) = -39*s + 2. Is 10 a factor of j(-1)?
False
Suppose -3*k = -12 + 78. Let a be k/(-2) + (-1 - 0). Let y(s) = 2*s - 7. Is 13 a factor of y(a)?
True
Suppose -32 = -3*i + 1. Suppose 0 = 5*w - 2*o - i, 0 = -0*w + 3*w + o - 11. Suppose -j = -w*j + 6. Does 2 divide j?
False
Let h(u) = u**2 + 12*u + 28. Is h(-12) a multiple of 14?
True
Suppose -y + 2 = -6. Is 8 a factor of y?
True
Let g = 199 + -121. Is g a multiple of 6?
True
Suppose 5*o = 2*a + 27, 0*o + a = -o + 11. Suppose o*j - 4*j = 0. Suppose j*q = -3*q + 120. Does 20 divide q?
True
Let d(h) = -h**3 + 4*h**2 - 3*h + 4. Let r be d(3). Let l be (-8)/6*(-6)/r. Suppose -50 = -l*u - 0*u. Is u a multiple of 9?
False
Let t(m) = -m**2 + 10*m + 10. Is 5 a factor of t(10)?
True
Suppose 5*d + t = -29, -4*d + 0*t + 3*t - 27 = 0. Let r(j) be the first derivative of -j**2 - 3*j - 1. Is 9 a factor of r(d)?
True
Let f(h) = 1 + 4 + 10*h - 6. Does 14 divide f(3)?
False
Is 6/(-10)*-11*10 a multiple of 11?
True
Let h(w) be the second derivative of 1/6*w**3 - w**2 + 0 - 2*w. Is h(7) a multiple of 4?
False
Let g be (16/20)/((-2)/45). Does 9 divide -2 + 3 - -1 - g?
False
Let c(b) = b**3 + 6*b**2 + 6*b - 1. Let o be c(-5). Does 11 divide (o*1)/(9/(-66))?
True
Let q = -2 + 4. Does 4 divide q - (-4 - -9) - -11?
True
Let l(p) = p**3 + 9*p**2 + 5*p - 9. Suppose -4*w + 0*w = 32. Is l(w) a multiple of 15?
True
Let p(h) = -h**2 + 5*h - 2. Let n be p(4). Let l(r) = -r - 4*r**n + r**3 + r**2 + 2*r**2 + 2. Does 14 divide l(3)?
False
Suppose 2*w - 10 + 0 = 0. Suppose -5*r - o - 10 = -66, w*r - 5*o = 50. Is r - -2*(0 + 1) a multiple of 13?
True
Let x(w) = -4*w + 8. Let j(p) = -9*p + 17. Let u(z) = -2*j(z) + 5*x(z). Suppose 12 = -2*a - 2. Is u(a) a multiple of 10?
True
Let y be ((-2)/2)/((-2)/28). Suppose 3*g = 2*c - 4*c + y, 4*g - 20 = -4*c. Suppose -g*a + 8 + 36 = 0. Is 6 a factor of a?
False
Suppose -y + 17 = 3*f + 4*y, 4*f - 3*y + 16 = 0. Let i = f - -4. Suppose i*q = 42 + 21. Is 8 a factor of q?
False
Let o be 7/2 + 8/(-16). Suppose -a + 0*a - 2*x = -3, o*x = 5*a - 15. Suppose a*d - 11 = 1. Is d a multiple of 4?
True
Let y(o) = -2*o**2 + 15*o + 22. Does 6 divide y(8)?
False
Let h(g) be the third derivative of 1/6*g**4 + 0*g + 1/30*g**5 + 1/3*g**3 + 0 + g**2. Is h(-4) a multiple of 9?
True
Let h = 1 - -3. Suppose h*m = -14 + 110. Does 8 divide m?
True
Let c(x) = -x + 2. Let y be c(6). Let k be (3 - 1)*6/y. Does 11 divide -123*(20/(-6) - k)?
False
Let q = -2 - 0. Let o(v) = -3*v**3 + v**2 + 2*v. Does 13 divide o(q)?
False
Suppose -4*t + 3*p = -10 + 4, 3*p = 2*t - 6. Suppose -5*s = 3*h + h - 42, 4*s + h - 27 = t. Is 8/s*3/2 even?
True
Let k be (-4)/(-3)*(-36)/(-6). Let b be 4/(k/6) - -2. Suppose -150 = -4*u + w, -u - b*w + 29 = -19. Is u a multiple of 19?
True
Let a be (-4)/10 + 187/5. Suppose 3*y = 8 + a. Is 15 a factor of y?
True
Let g = 2 - 2. Suppose f - 4*f + 6 = g. Is 13 + (f - 1) + -2 a multiple of 6?
True
Suppose 8 = 6*w - 2*w. Suppose w*d + 2*d - 36 = 0. Is d a multiple of 4?
False
Let y(f) = -f**2 + 6*f + 7. Let a = -2 + 8. Is 7 a factor of y(a)?
True
Suppose 4*h = -7 + 27. Suppose 2*m + h = 3*m. Is m even?
False
Let t(u) = 0*u**2 - 2*u + u**2 + 4 - 5*u. Let n be t(6). Does 8 divide 6*(-7)/n - -1?
False
Suppose 0 = -2*v + 3*t + 7, -3*t + 21 = 4*v - 2. Suppose -2*o = o - 3*g, g = -v*o + 12. Is 3 a factor of ((-18)/(-21))/(o/14)?
True
Let d(w) = -w**3 - 23*w**2 - 7*w + 21. Is d(-23) a multiple of 42?
False
Let l = 5 - -4. Let t = l - -4. Is t a multiple of 13?
True
Let q(g) = -9*g**3 + 2*g**2 + 4*g + 3. Is q(-2) a multiple of 25?
True
Let m = -50 + 65. Is m a multiple of 5?
True
Let j(m) = -31 - 2*m + 9 + 15. Is j(-7) even?
False
Suppose -2*x = -5*s - 79 + 5, -3*s = -x + 36. Is 14 a factor of x?
True
Suppose -4*m + 153 = r, -4*m + 2*r + 162 = -0*r. Is m a multiple of 13?
True
Suppose -248 - 91 = -3*k. Does 15 divide k?
False
Let c = 143 - 102. Suppose -5*t - 1 = -c. Is t a multiple of 8?
True
Let b(s) = 2*s + 6. Is 7 a factor of b(3)?
False
Suppose 3*b - 60 = -12. Is b a multiple of 8?
True
Suppose -2*o - 50 = -7*o - u, 16 = o - u. Does 7 divide o?
False
Let b(i) = -i**3 - i**2 + 2*i + 6. Does 16 divide b(-5)?
True
Suppose 0 = -3*t - 9, -2*t = -4*x - t + 7. Let m be -153*(0/(-2) - x). Suppose y = -2*y + m. Is y a multiple of 17?
True
Let z(p) be the first derivative of -p**4/4 - 8*p**3/3 + 4*p**2 + 2*p + 5. Is z(-9) a multiple of 5?
False
Suppose 5*r = -c + 116, 3*r - 380 = -3*c - 20. Is 11 a factor of c?
True
Suppose 4*b = -12, 3*n = -6*b + 2*b + 168. Is n a multiple of 15?
True
Suppose 3*p = -80 - 169. Let d = -32 - p. Is 17 a factor of d?
True
Suppose 0 = j - 1 - 4. Let o = 9 - 21. Is o/j*80/(-6) a multiple of 16?
True
Let w = -11 + 2. Let i(y) be the third derivative of -y**4/24 - 2*y**3/3 + y**2. Is i(w) a multiple of 5?
True
Let v = 38 + 11. Suppose -3*g = -4*x + v, 11 = 3*x - 2*x - 2*g. Is 13 a factor of x?
True
Suppose l + 27 = -11. Let g = l - -64. Does 15 divide g?
False
Is 99 + (0*3/(-6))/(-1) a multiple of 18?
False
Suppose 2*p - 17 = p. Let f = p - 8. Does 4 divide f?
False
Suppose -26 = l + 10. Let j = -6 - l. Is 15 a factor of j?
True
Let x(u) = 0*u**2 + u**3 + 0*u**3 - 5 + u**2 + 3*u**2 - 3*u. Does 5 divide x(-4)?
False
Suppose -2*z = 5*m - 12, 0 = m + 3*z + 5 + 3. Suppose -h + m*h = 150. Suppose 0*x - x + 5 = -3*r, -4*x + 2*r = -h. Is 5 a factor of x?
False
Let u(r) be the first derivative of 33*r + 1/2*r**2 + 0*r**3 - 1/4*r**4 - 2. Does 16 divide u(0)?
False
Let t = -2 - -2. Suppose -3*f + 88 - 16 = t. Does 8 divide f?
True
Let y be (-25)/(-1*(-1)/(-2)). Let f(i) = 5*i - 5. Let x be f(8). Let d = y - x. Is d a multiple of 5?
True
Let b(a) = -2*a - 1. Let j be b(-2). Let z(d) be the first derivative of d**3/3 - d**2/2 + d + 5. Is 3 a factor of z(j)?
False
Let x = 96 - 9. Suppose -2*c - 8 = 4*r - 6*r, -c - 31 = -4*r. Suppose 5*a = 2*a + n + x, 3*n = -r. Is a a multiple of 14?
True
Let q = 78 + -36. Is q a multiple of 21?
True
Suppose -z = 5*w - w - 2, -3*z - 5 = w. Let h(j) be the first derivative of -2*j**2 + 1. Does 8 divide