*m**2 - 14*m**2. Is u(6) a multiple of 11?
False
Is 12 a factor of 0 - ((-3)/(-2) + (-483)/6)?
False
Let w(b) be the third derivative of b**5/60 + 5*b**4/24 + 4*b**3/3 - 7*b**2. Is w(-7) a multiple of 11?
True
Suppose 3*x + 106 = 7*x - 2*m, -2*x - 5*m + 23 = 0. Is x a multiple of 7?
False
Let f be (-2)/(((-14)/(-4))/(-7)). Suppose f*r + 0*r = 68. Let i = r - 0. Is 5 a factor of i?
False
Suppose -6 = -3*a - 12. Let k = a - -6. Does 2 divide k?
True
Let a be 8*((-2)/(-4) + -1). Let x be ((-5)/(-4))/(a/(-16)). Is (-45)/(-2) + x/(-10) a multiple of 15?
False
Is 37 a factor of ((-14784)/(-30))/2 - (-4)/(-10)?
False
Suppose 0*l + l - 148 = 4*x, -244 = -2*l - 5*x. Is l a multiple of 44?
True
Let l(t) = 2*t**2 - 4*t - 18. Is l(9) a multiple of 15?
False
Suppose -t = -4*d + 20, 20 = 2*d - 4*t + t. Suppose -d*y + 0*y + 68 = 0. Is y a multiple of 7?
False
Let b(m) = 6*m + 4 + 2 - 3*m. Suppose 0 = 2*o + 3 - 17. Is b(o) a multiple of 9?
True
Let y be ((-14)/4)/((-3)/36). Let b = y + -22. Suppose -o + b = 3*j - 2*o, -10 = -5*j - 3*o. Is j even?
False
Suppose 5*s + 2*v + 588 = 5*v, -2*v + 472 = -4*s. Let d be (s/25)/(1/10). Let r = d + 68. Is 10 a factor of r?
True
Let o = 8 + 12. Is 8 a factor of o - 3*(-4)/(-6)?
False
Let d = 29 - 14. Is 10 a factor of d?
False
Suppose -621 = -3*x + 27. Is 12 a factor of x?
True
Suppose -9 = -2*j - h, -3*j + 1 + 2 = 5*h. Does 6 divide j?
True
Let m(h) = 81*h**2 - 1. Let b be m(1). Is b/(-12)*15/(-4) a multiple of 5?
True
Suppose 4*u - 4 + 16 = 0. Let v be (-2)/(-3) + (-280)/u. Suppose -5*l + 26 = -v. Does 13 divide l?
False
Let r be -1 - 0 - (-9)/9. Suppose 5*g - 2*f - 4 = 0, -8 = 5*g - r*g + 4*f. Suppose -y - 4 + 6 = g. Is y a multiple of 2?
True
Suppose 0 = -5*b - 1616 - 1314. Let p = -862 - b. Is 6 a factor of 2/(-5) + p/(-15)?
True
Let c be (6/(-4))/(9/54). Does 12 divide c/(-2)*16/2?
True
Let b = -39 - -77. Does 7 divide b?
False
Let x(o) be the second derivative of o**4/12 + o**3/2 - 7*o**2/2 - 5*o. Is x(-6) a multiple of 11?
True
Let i = 8 + -5. Suppose -4*s = 2*h - 132, i*h + h = 5*s + 238. Does 21 divide h?
False
Let t = 7 + 7. Suppose -l + 25 = j, 5*l - 3*j - 71 - t = 0. Is l a multiple of 10?
True
Does 5 divide (-15)/((-8)/(-12) - 1)?
True
Suppose 3*q + 0*q = -6. Let d = -2 - q. Is d - (-1 + (-15 - -1)) a multiple of 4?
False
Let o(v) = -v**2 + 10*v + 3. Let y(w) = -w**3 + 8*w**2 - 6*w - 2. Let q be y(7). Suppose 0 = 2*m - q*m + 4*c + 29, 3*c - 22 = -4*m. Does 12 divide o(m)?
True
Let z = 227 - 159. Does 17 divide z?
True
Suppose 20 = -q + 69. Is 10 a factor of q?
False
Let r be (108/15)/(2/(-40)). Let g = -62 - r. Is 30 a factor of g?
False
Suppose 2*b - 2*d = 2*d + 16, -5*d - 20 = b. Suppose -v - 3*v + 20 = b. Is v a multiple of 2?
False
Let x = -14 + 20. Suppose -x*o + 2*o = 0. Suppose -3*l + 108 = -o*l. Is 15 a factor of l?
False
Let n(l) be the first derivative of l**2 - 7*l + 3. Let o = 13 + -7. Does 5 divide n(o)?
True
Let m = -14 - -16. Let y(u) = -u + 5*u**2 - u**2 - 2*u**2 + 2. Is 4 a factor of y(m)?
True
Does 8 divide (32/10)/(3/45)?
True
Let x be 0 - (-252)/(-8)*-2. Let y = x - 19. Does 22 divide y?
True
Suppose -5*o + 85 = -0*i - i, -28 = -o - 2*i. Does 6 divide o?
True
Let h(z) = z**3 - z**2 + 2. Let a(f) = f**3 - 2*f**2 + 2. Let i(u) = 4*a(u) - 5*h(u). Is i(-4) a multiple of 7?
True
Suppose -2*q - 15 = -5*q. Suppose -q*r = -4*d - 37, d = 5*r - 3*r - 13. Is r a multiple of 2?
False
Does 25 divide 12/(-28) + 14400/35?
False
Let s = 8 + -4. Suppose 1 + 0 = 4*n - 3*v, s*n - 26 = -2*v. Suppose n*f - 3*f = 12. Is f a multiple of 6?
True
Let o(j) = -4*j + 24. Does 4 divide o(-8)?
True
Does 20 divide (-2 - 21)/((-5)/5)?
False
Let y = 26 + 10. Is 18 a factor of y?
True
Is (-1 + 0)*(-9 + -2) a multiple of 6?
False
Does 32 divide ((-56)/(-20) + -4)/((-3)/160)?
True
Let t be 13/(-2)*28*-2. Suppose -2*h - 2*h = t. Let f = -59 - h. Is f a multiple of 14?
False
Let y be (-58 - -3)*-2*1. Let b = -77 + y. Is b a multiple of 11?
True
Suppose -2*u + 3*u = -19. Let c = u - -43. Is c a multiple of 13?
False
Suppose 3*u - 80 = 82. Does 18 divide u?
True
Suppose 3*d + 4 + 8 = 0. Let h = d + 6. Suppose j - s + 1 = 2*s, -j - h*s = -14. Is 4 a factor of j?
True
Suppose 3*k + 103 = 2*c - 0*k, -183 = -3*c - 5*k. Is c a multiple of 14?
True
Let v = 2 - 0. Let a = v + 0. Suppose -a*q - 3*l = -56, 4*q + 2*l + 3*l = 108. Is q a multiple of 11?
True
Let k = -31 + 56. Let a = k - 15. Does 5 divide a?
True
Let q = 20 + -12. Let i = q - 5. Suppose 0 = p + 2*s + s - 15, -p - 3 = -i*s. Is p a multiple of 3?
True
Let b(m) be the first derivative of -m**4/4 - 2*m**3/3 + 2*m + 4. Is b(-3) a multiple of 11?
True
Let w(d) = d**3 - d - 1. Let z be w(2). Suppose -30 - z = -m - n, -2*n = -m + 38. Is 18 a factor of m?
True
Let q be -2 - 1 - 29/1. Does 3 divide 4*(-4)/q*8?
False
Suppose -l - 17 = -0*l. Let n = -1 - l. Is n a multiple of 7?
False
Let o(s) = 20*s**3 + s. Let u = 4 + -6. Let h = u + 3. Does 8 divide o(h)?
False
Let s be 8/3 - 4/6. Let x = 9 - 15. Is (-8)/(-3) - s/x even?
False
Let j be 2*1 + (-9)/(-9). Does 12 divide j + (-2 - (-10 - 1))?
True
Let j(p) = 10*p + 1. Let t be j(4). Suppose 4*q = -0*q + 5*v + t, v + 39 = 3*q. Is 7 a factor of q?
True
Let u(w) = w**3 + 27*w**2 - 38*w. Is 18 a factor of u(-28)?
False
Let p = -4 - -6. Suppose p*h - 6 = 16. Does 3 divide h?
False
Let d be ((-2)/6)/((-2)/174). Suppose 0 = 2*p - 4*v - 66, 2*p + 2*v = p + d. Is p a multiple of 8?
False
Let p(d) = 11*d**2 + d. Is p(2) a multiple of 8?
False
Let l = -53 + 83. Does 18 divide l?
False
Suppose -6*g - 3*z = -2*g, 5*z = 3*g. Suppose g*m + 4*f + 188 = 4*m, -2*f - 178 = -4*m. Does 14 divide m?
True
Let f be (10/(-2))/(-1 + 2). Is (0 - 2)*f/2 a multiple of 2?
False
Let z = 6 + -9. Suppose 5*v - v - t = -3, v - 2*t = 8. Does 9 divide (-9)/(1 - z/v)?
True
Is 9 a factor of ((-135)/30)/(2/(-4))?
True
Does 4 divide 12 + (0/(-3))/2?
True
Suppose -5 = -s + 6*s. Let m be 1 - s*(-30 + 0). Let r = -13 - m. Is r a multiple of 9?
False
Let s(o) = o**2 - 7*o + 20. Does 10 divide s(5)?
True
Suppose b - 88 = -5*a, 232 = 2*b - 3*a - a. Does 8 divide b?
False
Let u = -18 + 25. Is u a multiple of 3?
False
Let l(y) = y**2 + y + 3. Let o be l(-2). Suppose -9*n + 84 = -o*n. Does 21 divide n?
True
Let p be -2 - (0/(-3))/(-2). Let f(q) = -6*q**3 + 2*q**2 + 2*q - 1. Let b be f(p). Does 9 divide b/(-6)*(-1 - 1)?
False
Suppose 0*w - b = w + 9, w = -3*b - 15. Let q = w + 9. Suppose -36 = -q*x + 24. Does 10 divide x?
True
Suppose -4*g - 104 = -4*a - 20, 5*a - 123 = -g. Let n be (12/9)/(3/(-9)). Let u = a + n. Is u a multiple of 10?
True
Let f be (-2)/11 - 5570/(-22). Suppose 3*g + 3*o - f + 94 = 0, -o = 0. Is g a multiple of 14?
False
Suppose 0 = -d - 0*d + 5, -d = -3*z + 4. Suppose -5*o - 19 = 2*i, i + 0*o = 4*o + 23. Suppose -i - z = -2*w. Does 3 divide w?
True
Does 18 divide (1 + -2)/(-4) + (-2717)/(-76)?
True
Let m(i) = 4 + i - 4 - 5 + 2. Let l be m(5). Suppose l*h - 95 = -5*o, -5*o - 10 = -4*h + 3*h. Is 17 a factor of h?
False
Suppose 44 = -3*s + 2*s. Let m = s + 68. Suppose 0 = 2*u + u - m. Does 3 divide u?
False
Let r(m) = m**2 - 7*m + 3. Suppose 5*j = -2*f + 6*f - 28, -4*j + 28 = 4*f. Let i be r(f). Suppose 42 = i*a - 3. Is a a multiple of 13?
False
Let g(r) = -r + 3 - 3. Let j be g(3). Is 15 a factor of j/5 + (-156)/(-10)?
True
Let u = -10 - -7. Let x = 19 - u. Does 11 divide x?
True
Let z(w) = -w + 6. Let r be z(4). Suppose 5*a = 5*q, 3*q - 16 = -3*a + r*a. Is 2 a factor of q?
True
Let z be (100/(-6))/(9/(-27)). Suppose 0*q + 5*q - z = 0. Is 10 a factor of q?
True
Let z(k) be the second derivative of -k**6/360 + k**5/15 + k**4/12 + k**3/3 + 3*k. Let i(f) be the second derivative of z(f). Is i(7) a multiple of 5?
False
Suppose q + 4*q + 3*m + 15 = 0, q + 2*m = -3. Suppose 3*v - 7*v = -48. Let j = q + v. Does 7 divide j?
False
Let q = 0 + 5. Suppose -q*j + 91 = -64. Does 19 divide j?
False
Let d = -211 - -296. Is d a multiple of 17?
True
Let x(u) = u**3 - u**2 + 1. Let d be x(-1). Let l = 1 - d. Does 3 divide l*2*(-3)/(-2)?
True
Is 19 a factor of (((-32)/(-12))/4)/((-1)/(-57))?
True
Let y = -134 - -193. Let t be (11/(-2) - -1)*-8. Let j = y - t. Is j a multiple of 8?
False
Let v(t) = 7*t**2 + 2*t. Does 16 divide v(2)?
True
Let c(h) = -4*h + 5. Let i be c(4). Let y =