- 3*l = -94. Is 26 a factor of l?
False
Suppose 4*i - 138 = 54. Does 9 divide i?
False
Let r = 28 - 11. Suppose 0 = -3*y + 6, -4*y + r = 2*x - 7. Is x a multiple of 4?
True
Let n(j) = j**3 - 19*j**2 + 23*j - 35. Is n(18) a multiple of 23?
False
Does 13 divide (-2 + 14)*6 - -1?
False
Let o(j) = 9*j - 3*j**3 + 5*j**3 - 4*j**3 + 4 - 10*j**2 + j**3. Is o(-11) a multiple of 13?
True
Suppose -1 = -3*c - 4. Let y(t) = 35*t**2 + 2*t. Does 11 divide y(c)?
True
Suppose -2*p = 3*p + 5*x - 20, 3*x + 28 = 5*p. Suppose -2*c + 10 = 0, -48 = p*d + c - 198. Is d a multiple of 10?
False
Let u = -39 - -61. Is u a multiple of 11?
True
Suppose 2*n - 4*n - 2*c = -2, 5*c + 5 = -3*n. Suppose -n*j = -2*j - 96. Is 8 a factor of j?
True
Let t = -3 + 6. Let s be 2/(-3) + (-124)/t. Is (1/(-3))/(2/s) a multiple of 5?
False
Is ((-16)/20)/(2/(-355)) a multiple of 55?
False
Let d be 3/(12/(-64)) - 3. Let k = -7 - d. Is k a multiple of 6?
True
Suppose j + j + 18 = 2*g, -4*g = -2*j - 26. Let a be (3 - j)/(-1 - 0). Let h = a - -25. Is h a multiple of 8?
False
Suppose 3*l - 4*l + 255 = 0. Is 29 a factor of l?
False
Let n(u) = -6*u + 10. Let q be n(8). Let p = -7 - q. Is p a multiple of 18?
False
Let f(r) = -r**3 + 4*r**2 + 6*r + 3. Is 8 a factor of f(5)?
True
Let f(i) = i**2 + 5*i - 4. Suppose 3*k + 33 = -3*h, 0*k - 2*k - 29 = 3*h. Does 6 divide f(h)?
False
Let p = 47 + -31. Does 4 divide p?
True
Suppose -q + 3*u - 19 = 0, 4*q - 2*u - 24 = 7*q. Let s = q - -54. Does 11 divide s?
True
Let x be (-2)/(-1 + (-24)/(-21)). Let h = x - -24. Let t = h - -9. Is t a multiple of 19?
True
Let x = -1 + 5. Suppose x*r - 2*r - 6 = 0. Suppose -5*v = -r*v - 30. Does 13 divide v?
False
Is 10 a factor of 3 + 1 - (-2 + 3 - 35)?
False
Suppose 5*j - j = 3*p + 14, -4*p + 2*j - 2 = 0. Suppose t = 1 + p. Suppose 2*b = -z + 16, -5*z + 52 + 28 = t*b. Does 8 divide z?
True
Let p(t) be the third derivative of -t**6/120 + t**5/10 + t**4/24 + t**3/6 - 6*t**2. Does 7 divide p(6)?
True
Is 20 a factor of 1/(4/24)*(-20)/(-2)?
True
Let h be (-10)/((-6 + 2)/2). Suppose 3*x - 10 = -k, 0*k - h*x + 6 = k. Suppose -k = -3*p - 4. Does 4 divide p?
True
Let x = -37 - -59. Is 11 a factor of x?
True
Suppose -27 = -n + 17. Is n a multiple of 10?
False
Let u(d) be the third derivative of 3/4*d**4 + 0 - 2*d**2 + 0*d - 1/6*d**3. Is u(1) a multiple of 6?
False
Let q(r) = r**2 - 6. Let j = -4 + 6. Suppose j*t - 7*t = 30. Does 15 divide q(t)?
True
Let o = 4 + 1. Suppose 3*s - 4*n - 181 = 0, -o*s - n = -298 + 4. Is 21 a factor of s?
False
Let z = 8 - 6. Suppose 120 = -z*v + 7*v. Is 12 a factor of v?
True
Let w(u) = -2*u**2 + 3*u + 3. Let h be w(3). Let p be 3/h + 51/(-2). Let z = 48 + p. Is z a multiple of 11?
True
Let b = -2 - -5. Suppose 9*f = 4*f + 25. Suppose 3*j = 2*j + b*a + 25, 3*a + 101 = f*j. Is j a multiple of 8?
False
Let f(v) = 2*v**2 + 2*v + 2. Is f(-3) a multiple of 7?
True
Let t(m) = 45*m - 3. Does 8 divide t(1)?
False
Suppose -3*l - 6 = -k, l + 2 = -0*l + 2*k. Let r(f) = 6*f**2 + 3*f. Is r(l) a multiple of 9?
True
Suppose -2*o = -43 + 9. Does 14 divide o?
False
Let r(z) = z**3 + 8*z**2 - 9*z + 4. Is r(-9) a multiple of 4?
True
Suppose -2*b = 4*z - 9 - 9, -3*b + 5*z = -5. Suppose 3*o = -b*k + 274, -7*k + 3*k = -4*o - 200. Does 23 divide k?
False
Let o(x) = 4*x + 7. Is o(5) a multiple of 9?
True
Is 30 a factor of (-2)/((-2)/1) + 89?
True
Let x(u) = u**2 - 5*u + 2. Let d be x(5). Suppose -4*o + o + 41 = d*c, c = 5*o - 64. Does 13 divide o?
True
Let i = 113 - 70. Suppose 53 = 4*o - i. Suppose -5*q + o = -4*q. Is 8 a factor of q?
True
Let j = -59 + 96. Let i = j - 1. Does 14 divide i?
False
Let t(g) = g - 2. Let q be 6/(-21) - 46/(-14). Suppose 0 = -2*z + m + q*m + 4, -4*m - 10 = -3*z. Is t(z) a multiple of 4?
True
Suppose -5*w + 5 = 2*j, w - 2 = -w + j. Suppose b + 2 - w = 0. Is (b + 5)/((-3)/(-12)) a multiple of 15?
False
Is (9/(-2))/((-105)/(-110) + -1) a multiple of 11?
True
Suppose -d - d + 194 = 3*o, d = -3*o + 199. Is o a multiple of 13?
False
Suppose b = -5*f + f + 56, 2*f - 46 = -b. Suppose -3*o + o = -b. Is o a multiple of 9?
True
Let k = 14 - 10. Is 5 a factor of k/((-1)/(-12)*3)?
False
Let g be 3 + (-5 - -3) + 102. Suppose 5*q + 87 + g = 5*u, 3*q - 150 = -5*u. Does 13 divide u?
False
Let k(z) = -71*z - 10. Is k(-2) a multiple of 10?
False
Let p(f) = -36*f**3 + f**2. Suppose 0 = -w - 3*w - 4. Does 13 divide p(w)?
False
Let x(f) = 79*f + 2. Does 18 divide x(1)?
False
Let r(j) = 3*j + 4. Suppose 3*t - 2 = -29. Let q(y) = 6*y + 7. Let k(c) = t*r(c) + 4*q(c). Is 12 a factor of k(-10)?
False
Let b(l) = -16*l + 2. Suppose -g + 2*y = 2, 4*g + 2*y = -2*y - 8. Let a be b(g). Suppose -a - 16 = -5*z. Does 10 divide z?
True
Let h be (-13)/(-3) + 2/3. Suppose 0*a - h*a = 0. Suppose a = -z + 9 + 9. Does 9 divide z?
True
Let p = -7 - -12. Suppose 56 = p*y - 109. Does 18 divide y?
False
Let x be 10/25*20/2. Suppose 5*q + i = 5*i + x, 3*q - 20 = -2*i. Suppose -q*r + 53 + 45 = -2*f, -3*r + 2*f = -76. Does 11 divide r?
True
Suppose -5*v - 9 = -o, 0*v - v + 71 = 5*o. Does 7 divide o?
True
Suppose 4*x - 789 = -157. Does 19 divide x?
False
Suppose -2*d - 2 = -14. Is d/2*(-40)/(-12) a multiple of 7?
False
Let l(v) = -4*v**3 + 8*v**2 - 8*v + 1. Let y(r) = -5*r**3 + 9*r**2 - 9*r + 1. Let j(x) = -6*l(x) + 5*y(x). Let n be j(-3). Is 8 a factor of (-1)/(-5) + (-78)/n?
True
Let j(p) = -p + 7. Suppose -2*x - z + 14 = x, -2*z - 8 = 0. Let s be j(x). Let i(g) = 19*g**3 - g**2 + g - 1. Is i(s) a multiple of 9?
True
Suppose 11*c = 15*c - 64. Is 8 a factor of c?
True
Let t(y) = 12*y + 10. Is t(6) a multiple of 17?
False
Suppose -3*a + 156 = -a. Is 1322/26 - (-12)/a a multiple of 17?
True
Is 5 a factor of (8/5)/(10/100)?
False
Suppose 5*x - 198 = -6*x. Is 10 a factor of x?
False
Let j(t) = 12*t + 3. Let d(k) = k - 1. Let i(n) = 3*d(n) - j(n). Let h = -2 - 3. Is 15 a factor of i(h)?
False
Let m = 3 - -107. Is m a multiple of 22?
True
Suppose j + 20 = 2*j. Does 3 divide j?
False
Suppose 5*u + 2*b = u + 46, -5*b - 39 = -4*u. Suppose -291 = -5*w - u. Is w a multiple of 14?
True
Let x(p) = -p**2 - 6*p + 6. Let w be x(-8). Let z = w + 22. Is z a multiple of 12?
True
Suppose -3*k + 4*g + 40 = 0, -2*k - 5*g = -6*k + 52. Let y = k - -59. Is 23 a factor of y?
False
Let y be 2 - -1*(1 + 0). Suppose -27 = -5*l + y*f, -2*l + 7*l = -4*f + 34. Let m = l - -18. Is 10 a factor of m?
False
Suppose -2 - 13 = -5*p. Suppose -r - p*r - 168 = 0. Is (-3)/((-75)/r - 2) a multiple of 7?
True
Let y be 3 + (-2)/((4 + -2)*1). Let k(j) = -2*j + 3. Let z(r) = 15*r - 20. Let w(q) = 20*k(q) + 3*z(q). Is 10 a factor of w(y)?
True
Let s(r) = r**2 + 3*r + 5. Let z = 7 + -11. Let d be s(z). Let h(i) = i**3 - 10*i**2 + 10*i + 3. Is 12 a factor of h(d)?
True
Does 11 divide (-1968)/(-30) + 2/5?
True
Let a be (-42)/(-9) - 4/6. Suppose 3*f - 4 = -8*l + 4*l, -a*l = 4*f. Does 11 divide (-65)/(-2) + (-2)/f?
True
Let w(g) = g**2 + 14. Is w(0) a multiple of 12?
False
Suppose 0*o + 12 = o. Is 4 a factor of o?
True
Let q(s) = 6*s - 4. Does 13 divide q(5)?
True
Does 3 divide (0 - 60)*(115/(-20) - -5)?
True
Let j = -29 - -47. Does 7 divide j?
False
Let x(l) = -l + 7. Let c be x(4). Suppose -5*y = s + c, -4*s + 0*s + 4*y = -12. Does 3 divide ((-2)/5)/(s/(-40))?
False
Let g = 0 - -3. Suppose -2*v + g + 27 = 0. Is 7 a factor of v?
False
Let y(g) = g**2 - g + 8. Does 14 divide y(-4)?
True
Is 9 a factor of (-1 - (-3)/(-6))*-6?
True
Let o(j) = j**3 - 2*j**2 + 2*j - 1. Let y = -1 + 4. Is o(y) a multiple of 7?
True
Is 24 a factor of 39 - ((-3)/(-3) - 4)?
False
Let l = -12 + 1. Let i = 15 + l. Does 4 divide i?
True
Suppose -3*b - 5*x = -x - 36, 0 = -3*b + x + 21. Is 8 a factor of b?
True
Let c(i) = 35*i**2 - i. Is 9 a factor of c(-1)?
True
Let t(d) = -d**3 + 11*d**2 + 12*d - 1. Let x be t(12). Let a(c) be the third derivative of -11*c**4/8 - c**3/6 + c**2. Is 16 a factor of a(x)?
True
Let i = -43 - -86. Suppose 80 = -4*l - 4*q, -2*l + 4*l = 4*q - 70. Let p = l + i. Does 9 divide p?
True
Let r = 3 - 2. Is 5 a factor of (0 - -15) + r - 1?
True
Does 21 divide (-5)/7 + 1 - (-1224)/28?
False
Suppose -i + 3 + 0 = 0. Let x(z) = -1 + 1 - z + 4 + z**2 - i. Is x(2) even?
False
Let q(p) = -2*p**3 + p**2 + 8 - 10 - p**3. Is q(-2) a multiple of 13?
True
Is 35 a factor of ((-13)/26)/((-2)/420)?
True
Let o = 226 - 