- c. Is 14 a factor of k?
True
Let j = 6 + 7. Is 4 a factor of j?
False
Let g = 17 - -51. Let f = 114 - g. Is f a multiple of 11?
False
Let q(h) = 16*h + 0 + 6 - 15*h. Does 8 divide q(7)?
False
Let h(b) = b**2 + 2*b. Let o be 1*7 - (-3)/(-1). Let f be h(o). Is 4/f - (-143)/6 a multiple of 12?
True
Let b = -10 + -1. Let n = 10 - b. Is 10 a factor of n?
False
Suppose -4*q - 32 = -o, 4*o - 109 = -0*o - 3*q. Let v = 37 - o. Does 6 divide v?
False
Let g(h) = -4*h + 5. Let q be g(-6). Suppose 4 = 2*y + 4*c + 16, 4*y - 4*c = 24. Suppose q = y*n - 19. Is n a multiple of 10?
False
Suppose -4*m + 3*q = m - 134, 0 = -3*m + 5*q + 74. Does 10 divide m?
False
Suppose -5*x + 446 = -a, -3*x + 168 = -x - 3*a. Is x a multiple of 18?
True
Suppose 2*d = 2*n - 6*n + 2, -2*n = -4*d + 24. Suppose 2 = -k + d. Is k/((-9)/(-30)) + -1 a multiple of 6?
False
Let y = 0 - -10. Suppose -y = -7*l + 2*l. Suppose 25 = l*w - 29. Is w a multiple of 13?
False
Let l(t) = t**3 + 6*t**2 + 2*t - 8. Does 3 divide l(-5)?
False
Suppose 3 + 2 = 5*d. Suppose 3*b - 10 = z, 11 - d = 2*z + 4*b. Is z/2*(-24 - 0) a multiple of 6?
True
Suppose 12 = 3*z + 3. Suppose -x - 4*h + 10 = 0, -z*x + 0*h + 115 = -5*h. Suppose n - x = -n. Does 8 divide n?
False
Let d = 265 + -83. Does 13 divide d?
True
Let t(a) = a**2 + 3*a - 2. Let i be t(-5). Let g(v) = -4*v - 4. Let h be g(-3). Does 7 divide 2/i + 70/h?
False
Let p(a) = a**3 - 5*a**2 + 10. Does 26 divide p(7)?
False
Let n = 6 - 5. Let h be (n*8)/((-6)/(-195)). Suppose 2*w = -3*w + h. Is w a multiple of 14?
False
Suppose 346 - 886 = -3*i. Is 36 a factor of i?
True
Let v be 36/6 + (-1)/(-1). Let l be (1/(-2))/(v/(-42)). Suppose 36 = -l*x + 6*x. Is 4 a factor of x?
True
Is (15 - 4 - -1) + 4 a multiple of 5?
False
Suppose 0 = -l + r - 5 - 8, 2*l + 5 = -5*r. Let m = l + -14. Let z = -17 - m. Does 7 divide z?
True
Let o(r) = -2*r**2 + 7*r + 3. Let j be o(6). Let w = j - -44. Does 16 divide w?
False
Suppose -4*a = 3*g - 97, -3*g = g + 20. Is a a multiple of 13?
False
Let m(y) = y**2 - y + 2. Let f be m(0). Let k(d) = 6*d - 2. Is k(f) a multiple of 3?
False
Let w(t) = t**3 - t**2 - 1. Let r(a) = 6*a**3 + a - 1. Let k(n) = -r(n) + 3*w(n). Is 3 a factor of k(-2)?
True
Let q = 3 + 1. Does 3 divide q/6*231/14?
False
Let c be (-6)/(-4)*(-8)/12. Is (3 - -1) + c + -1 a multiple of 2?
True
Let o be ((-125)/(-20))/(2/8). Suppose -5*x + 10*x - o = 0. Suppose x - 25 = -b. Does 16 divide b?
False
Let h be ((-9)/6)/((-1)/2). Suppose 0 = m - 4, -h*n + 8 = n + 5*m. Is 3 a factor of n/(3/2) - -10?
False
Is 14 a factor of (2/4)/(6/876)?
False
Suppose -4*i = -10 - 30. Let u(w) = 2*w - 1. Does 19 divide u(i)?
True
Let r be 0*2/6 + 0. Does 6 divide 6 + 2 + r - 2?
True
Is 6 a factor of (27/36 + 0)*(-160)/(-2)?
True
Is 2 a factor of ((-12)/(-9) + -1)*18?
True
Suppose 85 = 5*i - 5. Is i a multiple of 6?
True
Let t = 5 - -20. Is t a multiple of 9?
False
Let l = -12 - -14. Let c = 2 + 0. Suppose l*q + 4*o = -11 + 33, -2*q + c*o = -28. Is 13 a factor of q?
True
Let n be (-4)/(-14) - 108/(-14). Let d = 2 - n. Is (26 + (-3 - d))*1 a multiple of 14?
False
Suppose -5*m = o - 4*o - 121, 3*o + 69 = 3*m. Let b be 30/4*(-4)/(-2). Let k = m - b. Does 5 divide k?
False
Let s = 7 - 4. Suppose 4*p - 5*t - 57 = s*p, -4*p + 164 = -4*t. Does 12 divide p?
False
Suppose 5*x + 274 - 1764 = 0. Is 22 a factor of x?
False
Let a = -54 - -83. Let c = 50 - a. Is c a multiple of 7?
True
Is (-194)/(-7) + 10/35 a multiple of 13?
False
Let q = 1053 - 506. Does 22 divide q?
False
Let s(q) = -4*q - 12. Is s(-9) a multiple of 8?
True
Let g(x) = 9*x**2 + x - 1. Suppose 0 = 5*f - 10. Let o be g(f). Let p = 2 + o. Is p a multiple of 13?
True
Let s(l) = 0 + 3 + 36*l**2 + 2 - 4. Is 13 a factor of s(1)?
False
Let y(l) = -8*l**2 - l + 1. Suppose 0 = -k + 5*o - 2, -o = k + 2. Let z be y(k). Let m = z + 50. Does 10 divide m?
False
Suppose 7 - 312 = 5*i. Let w be i*(-2 - (-3 - -2)). Suppose 2*v + 23 - w = 0. Is v a multiple of 17?
False
Let s be 0*(-1 - -2) + 6. Suppose 177 = -3*r + s*r. Is r a multiple of 11?
False
Suppose 4*c = -4*a + 304, -3*c + 58 = -2*c - 5*a. Is c a multiple of 20?
False
Suppose -4*d - 11*d + 1320 = 0. Is 11 a factor of d?
True
Let t = 223 - 61. Is t a multiple of 19?
False
Let b(o) = o**3 - 6*o**2 + 6*o + 1. Suppose -k + f + 5 + 5 = 0, -5*f = -3*k + 40. Is 6 a factor of b(k)?
True
Let z = 41 + -11. Does 7 divide z?
False
Let c = -4 - -1. Let a be (-4)/((-2)/18*c). Is -9*-2*a/(-9) a multiple of 9?
False
Let y(v) be the third derivative of -v**6/120 + 2*v**5/15 - 7*v**4/24 + v**3/3 - 3*v**2. Let g be y(7). Is g/(-5) - 216/(-15) a multiple of 8?
False
Let g(z) = -33*z + 3. Does 45 divide g(-3)?
False
Let q(h) = h**2 + h - 3. Let w be q(-3). Suppose -3*o = 5*p - 17, w*o + 5*p = o + 3. Does 7 divide o?
True
Is 14 a factor of (-6)/2 - (-30 - 1)?
True
Let g(k) = -k + 15. Is g(6) even?
False
Let h(x) = -x**3 - 6*x**2 - x - 3. Let d(q) = 2*q + 2. Let v be d(-4). Let r be h(v). Suppose 5*o = r*o + 6. Is 3 a factor of o?
True
Suppose -2*i + 4*i = -4. Does 7 divide i + 1 - (-12 + -1)?
False
Let k be (1 + -1)/((-1)/(-1)). Suppose k = g - 6*g + 360. Suppose 5*z - g = z. Is 10 a factor of z?
False
Suppose 3*t - 2*t - 2 = 0. Does 3 divide (6 - 1) + -1 + t?
True
Suppose 2*h = 7*h - 4*u - 274, h + 4*u - 74 = 0. Is h a multiple of 20?
False
Let l be 2/(-8) + 170/40. Suppose -3*d + l*d - 17 = 0. Does 17 divide d?
True
Let y be 2 + (5 + -2)/(-3). Let i(t) = 8*t**3 - t**2 + t - 1. Let l be i(y). Suppose l + 39 = 2*x. Is 12 a factor of x?
False
Let o(z) = -2*z + 45. Let j be o(0). Suppose -10*a = -5*a - j. Is a a multiple of 7?
False
Let g(a) be the first derivative of a**3/3 - 7*a**2/2 + 6*a + 2. Is 6 a factor of g(7)?
True
Let n(g) = g**3 + 7*g**2 + 3*g + 6. Let z be 2/(-1 - 4/(-6)). Is 12 a factor of n(z)?
True
Suppose -4*n + 0*i = 4*i + 12, -5*n + i = -15. Suppose -n*b = 2*m - 71 + 15, 0 = -m - 2*b + 33. Does 10 divide m?
False
Is 4 a factor of (-4)/14 + (-2)/28*-116?
True
Let f be 24/4 + 0 - 2. Suppose -2*y - 4*z = -20, f = -5*z + z. Does 6 divide y?
True
Suppose -45 = v - 155. Suppose -n = 4*b - 217, 2*b = 2*n - 4 + v. Is b a multiple of 18?
True
Let b = 6 + -4. Suppose 4*f - b*l - 4 = 56, f + 2*l - 15 = 0. Does 4 divide f?
False
Let a(n) = -n + 12. Let w be a(9). Suppose 0*q = w*q - 18. Does 6 divide q?
True
Let g(j) = 3*j**3 + 2*j**2 - 2*j + 1. Let p be g(1). Suppose p*w - 3*w - 5*a - 34 = 0, 5*w - 66 = -a. Is 12 a factor of w?
False
Let f = 20 - 9. Suppose 3*m = j - 15, 5*m + 21 + 12 = -j. Let l = m + f. Does 4 divide l?
False
Suppose -27*m - 378 = -33*m. Does 10 divide m?
False
Suppose 3*m + 11 - 38 = 0. Is m a multiple of 5?
False
Suppose 55 + 203 = 2*c. Does 18 divide c?
False
Let c(a) = 8*a**2 - a. Let d be c(1). Suppose 4*n - 60 = -4*j, -2*j + d*n = 3*n - 24. Is 5 a factor of j?
False
Let s be (-1 - -2)*2*1. Suppose 3*b - a = 19, 4*a = -s*b + 3*a + 6. Does 2 divide b?
False
Let q be (-2)/7 + (-24)/14. Let d be (-186)/q - (-1 - -3). Let j = d + -57. Is j a multiple of 14?
False
Suppose 2 = i - 1. Let y = i - 7. Let v = y - -25. Is 11 a factor of v?
False
Suppose -3*s + 2 = -13. Is 5 a factor of s?
True
Let h(f) = -10*f - 11. Is 9 a factor of h(-2)?
True
Suppose 3*y + 10 = -14. Let r(v) be the first derivative of v**3/3 + 3*v**2 + 3. Is 8 a factor of r(y)?
True
Let w = 0 - -3. Suppose p = 2*p - w. Suppose -36 = -3*r - 2*b, 2*b = 4*r + p*b - 53. Does 7 divide r?
True
Let y(f) = -f**3 - 4*f**2 + 5*f - 4. Let g be y(-5). Is ((-1)/(-2))/((-1)/g) even?
True
Suppose -3 + 1 = -2*g, 4*h - 5*g - 155 = 0. Is h a multiple of 5?
True
Suppose -3*l = -102 - 39. Does 16 divide l?
False
Let h(n) = -n**3 + 11*n**2 - 6*n + 9. Is h(8) a multiple of 24?
False
Suppose 343 - 43 = 10*p. Is 3 a factor of p?
True
Let b = 111 - 89. Does 5 divide b?
False
Let y = -18 - -11. Let k = y + 10. Suppose -72 = -k*w - w. Is w a multiple of 18?
True
Let v = 21 + -6. Suppose a = -v - 8. Let o = a - -36. Is o a multiple of 6?
False
Let m = 7 + -4. Suppose -m*f - 2*f = -175. Let g = f - 15. Is g a multiple of 8?
False
Suppose -4*c + i + 123 = -c, 5*c = -2*i + 216. Is 29 a factor of c?
False
Let t(k) = 6*k**2 - 14*k - 12. Let h(s) = 5*s**2 - 13*s - 12. Let g(z) = -7*h(z) + 6*t(z). Is 20 a factor of g(-8)?
True
Let c be (36/(-15) + 2)*5. Let a = 0 