 - 6/r?
False
Let i(m) = 2*m**3 + 17*m**2 + 14*m - 9. Let g(z) = 3*z**3 + 18*z**2 + 14*z - 8. Let k(l) = 3*g(l) - 4*i(l). Does 9 divide k(15)?
True
Suppose 3*x = -2*x. Is 14 a factor of (-54 + x)*(-16)/24?
False
Let l(h) = h**2 - 4*h - 7. Let o be l(6). Let u(c) = o*c + 7 - c - 2*c. Is 21 a factor of u(7)?
True
Suppose -h + 0*h - 16 = 0. Let a = 8 + h. Does 22 divide (-4)/a - (-87)/2?
True
Suppose -t + 587 = 4*x + 2*t, -x + 3*t + 158 = 0. Does 8 divide x?
False
Let r(y) = 15*y**2. Let h be r(1). Let d = 86 - h. Is d a multiple of 15?
False
Suppose -2*t - 32 = -6*t. Is t a multiple of 4?
True
Let k be (-264)/(-27) + 6/27. Suppose k*a - 5*a = 210. Does 15 divide a?
False
Let f(j) = 44*j - 4. Let o be f(4). Let q = -122 + o. Does 18 divide q?
False
Let z(t) = 12*t - 3. Let p be -2 - -1 - 8/(-1). Let m(b) = -b**2 + 8*b - 5. Let v be m(p). Is z(v) a multiple of 11?
False
Let z(w) = 2*w**2 - 12*w - 11. Does 9 divide z(9)?
False
Let c(h) = 4*h**2 - 8*h + 8. Does 8 divide c(4)?
True
Suppose 0 = -r + 21 + 69. Is r a multiple of 40?
False
Let y be (-16)/40 + (-134)/(-10). Suppose 4*f - 37 = -y. Is 3 a factor of f?
True
Suppose 0 = 4*j - 0*j - 1404. Does 27 divide j?
True
Let l(o) be the first derivative of o**3/3 + 5*o**2 - 2*o - 1. Let v be l(-7). Is (1 - v) + -2 + 0 a multiple of 11?
True
Let x(f) = -f**2 + 7*f - 1. Let n(w) = -2*w - 4. Let m be n(-5). Does 5 divide x(m)?
True
Let r(w) = -3*w**3 - w**2 + w + 1. Let q be r(-1). Suppose 3*f - 11 = 4*f - 5*l, 0 = -5*f + q*l + 60. Is 14 a factor of f?
True
Let b(s) = 5*s - 21. Is 6 a factor of b(6)?
False
Let h(f) = f**2 - 18*f + 24. Is 5 a factor of h(19)?
False
Suppose 0 = -p - 3*q + 5*q + 74, 352 = 5*p - q. Is 6 a factor of p?
False
Let g = 29 + -49. Let r = g + 34. Let m = r - 7. Is 4 a factor of m?
False
Suppose 4*j + 4*p - 172 = 0, 0 = 5*j + 10*p - 6*p - 216. Is j a multiple of 22?
True
Let o = 6 - 7. Let m(h) = -52*h + 13. Let l(n) = 13*n - 3. Let f(a) = -9*l(a) - 2*m(a). Is f(o) a multiple of 9?
False
Let d = 7 + 3. Is 9 a factor of 9/(-1)*(-11 + d)?
True
Let j(w) = -w**2 + w + 12. Let b be j(0). Suppose -3*g = -4*g + b. Is g a multiple of 4?
True
Suppose -2*l - 34 = -4*s, 5*s - 4*s - 6 = -2*l. Is 4 a factor of s?
True
Let y = 115 + -50. Suppose -4*d + v + y = 2*v, -2*d + 5*v + 5 = 0. Is 4 a factor of d?
False
Let t be ((-28)/(-6))/(1/(-15)). Let m = t - -120. Does 25 divide m?
True
Suppose -4*b = -5*b - 5, 0 = -2*v + 3*b + 19. Let c = v + 10. Suppose -88 = -4*a - c. Is a a multiple of 7?
False
Let b(h) = -20*h + 34. Is 28 a factor of b(-11)?
False
Let m be 48/20*(-75)/2. Let t = 192 + m. Is 7 a factor of t/14 - 2/7?
True
Let u be (-165)/(-9) - 6/(-9). Is -1*(0 - u)*1 a multiple of 10?
False
Let u be (-1)/2 - 8/(-16). Let n = 50 - u. Does 10 divide n?
True
Let i(o) be the first derivative of -o**3/3 + 15*o**2/2 - 13*o - 2. Does 13 divide i(10)?
False
Suppose -3*k - 2*t = -4*k + 14, -5*k = 5*t - 130. Suppose -2*u + 17 + k = 5*x, -u + 27 = 4*x. Does 4 divide u?
False
Suppose 2*h - 29 = 27. Suppose -8 + h = -d. Let m = 42 + d. Is m a multiple of 22?
True
Let n(t) = -6*t - 2. Let x be n(1). Let r = 58 + x. Is 18 a factor of r?
False
Let k be 0*((1 - 1) + 1). Suppose k = 3*g - 8*g. Does 7 divide (-1 - -16) + -2 + g?
False
Let y be ((-20)/6)/5*3. Is 5 a factor of 48/9 + y/6?
True
Let g(x) = 29*x**2. Let d = -3 - -2. Does 15 divide g(d)?
False
Suppose 187 = 2*b - 2*o - 67, -b + 2*o = -125. Suppose n = b + 3. Suppose -2*u = -2, -2*v - 2*u + n = 3*v. Is v a multiple of 13?
True
Suppose -9 + 3 = -f. Let y(z) = 2*z - 4. Is 4 a factor of y(f)?
True
Is -2 + (-2 - 286/(-2)) a multiple of 26?
False
Let k(j) = 2*j - 5*j**2 - 3 - 8*j - 5 + j**3. Is 16 a factor of k(7)?
True
Let a be (-2 + (-4 - -6))/2. Suppose -4*r - 3*p - p = 24, -p - 1 = 0. Let h = a - r. Is 4 a factor of h?
False
Suppose -3*g + 55 = -2*v, 89 = 5*g - 2*v - 2*v. Let c = -9 + g. Is c a multiple of 5?
False
Suppose -3*m = 2*i, 3*i + 14 = -m + 7*i. Does 5 divide m/3 + (-40)/(-6)?
False
Suppose 3*g - 192 = -g. Does 10 divide g?
False
Is (-4 + (0 - (-33)/2))*2 a multiple of 4?
False
Let y = 6 + -6. Let a(c) = c + 2. Let d be a(y). Suppose 0*q - 110 = -3*h - d*q, 0 = 3*h - q - 107. Is h a multiple of 16?
False
Suppose -4*t + 0 = 5*u - 160, -15 = -3*t. Is 14 a factor of u?
True
Let i = -5 + 9. Let s = i - 0. Suppose 30 - 8 = s*w + 2*c, 23 = 4*w + 3*c. Is w even?
False
Suppose 5*w - 497 = o, 9 = 2*o + o. Is w a multiple of 25?
True
Suppose 5*w - 204 = 2*w. Is w a multiple of 25?
False
Let v(w) = -w**3 - 8*w**2 - 10*w - 6. Is v(-7) a multiple of 5?
True
Is 13 a factor of ((-13)/(-4))/(5/20)?
True
Let s = 64 + -25. Is 13 a factor of s?
True
Suppose -f = 3*u - 2*f - 2, -3*f - 16 = u. Let g = 8 + u. Is g a multiple of 3?
False
Let u = -6 + 7. Let g be 83/4 - u/(-4). Let s = g - -2. Is 11 a factor of s?
False
Let l(k) = -2*k + 5. Let u be l(8). Let w be -1*(-1 - u) + 1. Let v = 4 - w. Does 5 divide v?
False
Suppose -2*z = 2*z. Suppose -3*l - 3*v = -5*l + 24, 3*l + 3*v - 6 = z. Does 5 divide l?
False
Suppose -2*v = -3*s + 6*s - 3, -2*s + 2 = 4*v. Suppose v*g = -g + 24. Is g a multiple of 10?
False
Let d = -12 - -20. Does 11 divide (-9)/36 + 266/d?
True
Let i(m) = -17*m + 17. Is 15 a factor of i(-4)?
False
Suppose 0*c + 2*c = 128. Is 11 a factor of c?
False
Is 2 + 1 + (3 - -1 - -97) a multiple of 10?
False
Suppose -5*k + 12 = -13. Suppose 0 = 4*d - 4*x - 56, -x + 20 + 26 = k*d. Is 5 a factor of d?
True
Let o = 74 + -30. Suppose o = 4*c + 4*m, c = -5*m + 37 - 6. Suppose 51 = -3*w + c*w. Is w a multiple of 10?
False
Let j be 5 + 0 + 6/2. Suppose 2 = -2*n + j. Is n even?
False
Suppose 6*x + 0*x = 288. Is x a multiple of 12?
True
Let f = -9 + 3. Is -1*(f + (1 - 2)) a multiple of 7?
True
Let v = -27 + 57. Is 7 a factor of (v/20)/((-2)/(-52))?
False
Let n = 59 - 22. Is n a multiple of 19?
False
Let m(f) be the second derivative of f**3/3 - 9*f**2/2 + 2*f. Is m(8) a multiple of 4?
False
Suppose -5*g = 2*f - 10, 2*g = -2*g + 2*f - 10. Suppose 3*j = 5*r + 40, -2*j + 2*r + 2*r = -30. Suppose -45 = -g*k - j*k. Is k a multiple of 3?
True
Let g = -14 + 9. Let c(o) be the second derivative of -7*o**3/6 - 5*o**2/2 + 2*o. Is c(g) a multiple of 15?
True
Let z(u) = 2*u**2 + 3*u + 2. Suppose 6 = -3*l - 0*l. Let i be z(l). Suppose 7*g = i*g + 18. Is 3 a factor of g?
True
Suppose b - i = 0, -b - 4*b - 2*i = 0. Let o(q) be the third derivative of q**6/120 + q**5/60 - q**4/24 + 9*q**3/2 - 2*q**2. Does 12 divide o(b)?
False
Let y = -12 + 11. Does 14 divide -2 - (43 - 3)/y?
False
Let o be ((-27)/4)/((-5)/(-20)). Let g be 106/(-10) + (-8)/20. Let m = g - o. Is m a multiple of 8?
True
Let y(o) = -o**3 - 5*o**2 - 3*o + 2. Let z be y(-4). Is z/((-3)/54 + 0) a multiple of 16?
False
Let s be 1/4 + 3477/12. Suppose -3*l = -2*z + 191, -3*z + 0*l + l = -s. Suppose -2*u - u = q - z, 5*u = 3*q + 143. Is u a multiple of 17?
False
Suppose 2*l = -0*l. Let f = l + -1. Let a(t) = 6*t**2 + t + 1. Is a(f) a multiple of 6?
True
Let a(c) = 6*c + 12. Does 14 divide a(5)?
True
Let a(z) = 4*z**2 + z + 1. Suppose 4*c = 14 - 2. Let y be (4/6)/((-2)/c). Does 3 divide a(y)?
False
Let n = -5 + 15. Let q be n/2*(-10)/(-2). Let v = q - 13. Is v a multiple of 6?
True
Let l(h) = 2*h**2 + 8*h + 14. Is 16 a factor of l(-7)?
False
Let f be -1 + -1 + 44 + 2. Let s = 2 + f. Suppose -5*z + s = -4. Is 10 a factor of z?
True
Let s be (2/(-3))/(4/6). Let q = 0 - s. Does 13 divide 2 + 3/q + 21?
True
Suppose 1 = 5*d + 3*v, v - 2 - 1 = -3*d. Is (-76)/(-8) - 1/d a multiple of 5?
False
Let j(l) = -3*l + 16. Let f be j(8). Does 9 divide (f/(-6))/(18/513)?
False
Let n(a) = 2*a**2 - 7*a - 3. Let c be n(6). Let v = -49 + c. Let y = v - -41. Is 7 a factor of y?
False
Let a(m) be the second derivative of m**3 - 5/2*m**2 - m + 0. Does 9 divide a(4)?
False
Let j = 40 - 13. Is 12 a factor of 32/6*j/12?
True
Let s be 1/(-2)*-2 + 1. Suppose -3*z = j - 29, -s*z = 4*j - 4*z - 74. Is 10 a factor of j?
True
Suppose 0 = -2*h + h - 4*x + 40, 0 = h - x - 15. Let q = h - -8. Does 14 divide q?
True
Suppose -3*t + 5*i = 0, -i = -6*i. Suppose t = m + 1. Is 5 a factor of 1 + m - (-20)/2?
True
Let p(b) = 30*b - 24. Let l(i) = -6*i + 5. Let g(d) = 24*l(d) + 5*p(d). Is 15 a factor of g(5)?
True
Suppose -3*q + 148 - 4 = 0. Does 8 divide q?
True
Suppose