*g**2 + 7*g - 6. Is v(-6) a multiple of 20?
True
Let m(a) = -a + 224. Let d be m(0). Suppose d = 3*n + 5*j, -3 = -3*j - 9. Does 20 divide n?
False
Suppose 0 = 2*r + 2*r - 12. Suppose -r*f - 21 = -225. Is 8 a factor of f?
False
Let j(f) = -3*f. Let i(c) = 7*c. Let o(a) = 2*i(a) + 5*j(a). Does 7 divide o(-7)?
True
Suppose -2*c + 3*c - 90 = 0. Suppose 12*i - c = 7*i. Let z = i - -3. Does 7 divide z?
True
Suppose 3*f - j + 1456 = 7146, -f = j - 1902. Does 73 divide f?
True
Suppose -31 = 3*s - d, -2*s - 2*d - 15 = 3*d. Let o be (-9)/2*s/15. Suppose o*f + 114 = 4*b - 0*f, -4*f - 112 = -4*b. Is b a multiple of 10?
True
Let n = -565 + 957. Does 40 divide n?
False
Suppose 7 = -2*b + 3, -2*x = -b - 1228. Is x a multiple of 18?
False
Suppose -765 = -3*w + 5*f, 2*f + 514 = 2*w - 0*w. Does 10 divide w?
True
Let r be -14 - -15 - (1 + -3). Suppose r*y + 3*h - 2 - 4 = 0, -5*h - 11 = 2*y. Does 2 divide y?
False
Let q(u) = -17*u - 5. Let j(h) = -18*h - 6. Let m(v) = -2*j(v) + 3*q(v). Let l(c) = c**2 + 4*c - 7. Let y be l(-5). Is 8 a factor of m(y)?
False
Let o(z) = -2*z - 6. Let r be o(6). Suppose c = 2*a - 76, a + 0*a = 5*c + 29. Let j = r + a. Does 15 divide j?
False
Let o(w) = -2*w + 0 - w**3 - 4*w**2 - 1 + 2. Let p be o(-3). Is 2 a factor of (72/(-42))/(p/7)?
True
Let m(j) = 5*j - 176. Let k be m(32). Suppose 4*n - 45 - 157 = 5*w, 0 = -4*w - 2*n - 172. Let u = k - w. Is 13 a factor of u?
True
Let m(x) = -20*x + 52. Let o(l) = -39*l + 106. Let s(r) = -13*m(r) + 6*o(r). Does 8 divide s(8)?
True
Let l = -24 + 24. Is (l + (-110)/25)/(1/(-30)) a multiple of 22?
True
Suppose 98 = -4*o - 2*m - 0*m, 5*m = o + 8. Let t = o - -5. Let p = t + 42. Is p a multiple of 8?
True
Let l(d) = -d**3 + 14*d**2 - d + 13. Let h be l(14). Let c be 4 - -346*h/(-2). Let g = c - 75. Is g a multiple of 17?
True
Let c = -445 - -757. Suppose 7*a = 13*a - c. Does 15 divide a?
False
Let r be (3 - (-1625)/(-15))/((-1)/(-3)). Is 3*1 - (9 + r/2) a multiple of 19?
True
Suppose 1176 = 4*f - 2*l, -f + 294 = 7*l - 4*l. Suppose -3*i + f = 4*i. Is i a multiple of 14?
True
Let m(c) = -3*c + 1. Let d be m(-7). Suppose 0*b + b = 4*n - 106, 0 = n + 2*b - d. Is n a multiple of 3?
False
Suppose 1683 = 12*q - 429. Is 56 a factor of q?
False
Let t(l) = l**3 - 3*l**2 + 3*l - 1. Let x be 3/(1/(6/9)). Let j be t(x). Is 20 a factor of (-1 - j) + (46 - -2)?
False
Let g = 2509 + -1191. Does 79 divide g?
False
Let q be -6 - -1 - 0/1. Let u be 7 - (-1 + (-1 - q)). Suppose -n = -u - 3. Does 2 divide n?
False
Suppose h - 17 + 24 = 0. Let q(y) be the first derivative of -y**2/2 + 9*y - 2. Is q(h) a multiple of 16?
True
Let l = 129 + -81. Suppose -l = 3*n + n. Is 1 + -1 + (-420)/n a multiple of 13?
False
Let s(x) = 19*x**2 - 28*x - 12. Does 60 divide s(-6)?
True
Let v be (1 - 37)/(-3 + 2). Let d = v - -9. Is d a multiple of 15?
True
Suppose 0 = -3*k - 15, 0 = -o - 2*k + 6 - 14. Suppose 0 = -o*q - 0*q - 10. Let z = q - -10. Does 2 divide z?
False
Let a be ((-1340)/25)/((-2)/15). Suppose -3*j + 276 = 3*b, 5*b - 23 - a = 2*j. Is b a multiple of 25?
False
Let b(t) = 2*t**2 + 2*t + 1. Let q be b(-2). Let h be (-58)/(-2)*(-6 + q). Let i = h + 49. Does 10 divide i?
True
Let d = 15 - 3. Does 3 divide (3 - -1) + d + -5?
False
Suppose -3*k = -k - q + 4, 3*k + 4 = q. Suppose k*m = -3*m. Suppose m*g - g + v + 47 = 0, 3*g + 5*v - 141 = 0. Is g a multiple of 12?
False
Let o be 4/(-6) - 24/(-9). Let w(t) be the second derivative of t**4 - t**3/3 + t**2 - 3*t. Does 11 divide w(o)?
False
Does 3 divide 316*(15/(-40))/((-1)/2)?
True
Let i be (-2)/(-3) + (-161)/3. Let b(r) = 2*r**2 - 33*r - 12. Let x be b(19). Let f = x + i. Is f a multiple of 10?
True
Let r(f) = 3*f - 4. Let q be r(3). Suppose 79 = w + 3*y, -q*w - 5*y = -523 + 108. Is w a multiple of 26?
False
Let v = 42 + -17. Suppose 0*h - 5*h = -v. Suppose -4*t + 2*w = -0*t - 14, -h*t + 13 = 2*w. Is 3 a factor of t?
True
Let c(u) be the third derivative of u**4/2 - 14*u**3/3 + 5*u**2. Is c(8) a multiple of 8?
False
Suppose m + 773 = 3*l, l - 4*m = 6*l - 1294. Is l a multiple of 9?
False
Let h(s) = s**3 - 18*s**2 + s - 1. Let k be 6*6/(-9)*-1. Suppose k*n - 70 = 2. Does 17 divide h(n)?
True
Let y(w) = -w**3 + 28*w**2 - 50*w - 65. Is 20 a factor of y(25)?
True
Does 14 divide (-38 + -10)*(-847)/33?
True
Let f = -56 + 49. Is 14 a factor of 14/f + 68 + 1 + 3?
True
Suppose -5*w = -2*i - 24 + 144, -w = -3*i + 154. Suppose 7*j - 2*j - i = 0. Is j a multiple of 4?
False
Is (-273)/1001 + 5019/11 a multiple of 19?
True
Suppose q = -12*q + 8385. Is 14 a factor of 3*-1 - 2*q/(-10)?
True
Suppose 9 = -3*j - 3, -3*j - 121 = -q. Suppose -y + 4*y = y. Suppose -4*t + q = -0*k - k, y = -t - 3*k + 11. Is 13 a factor of t?
True
Suppose -5*i + 2 = -4*i, 0 = 2*a - 4*i - 280. Is 2 a factor of a?
True
Suppose -3*k = 4*p - k - 24, -5*k + 30 = 4*p. Suppose -3*j + p*c + 475 = -0*j, 2*j - 3*c = 317. Is j a multiple of 20?
True
Suppose 0 = 3*r + 5*x - 2819, -5*r + 2*x + 2003 + 2716 = 0. Is r a multiple of 32?
False
Let j = -22 - -44. Suppose 0 = -2*n + j + 38. Is 15 a factor of n?
True
Suppose 2*z + 3*z - 6865 = -5*d, 2*d + 4*z = 2756. Does 19 divide d?
True
Let r be (-260)/(-117) + (-4)/18. Let l(y) = -9*y + 6 - 1 - 2*y - r*y. Is 35 a factor of l(-5)?
True
Let d(a) be the second derivative of a**5/20 + a**4/12 - 4*a**3/3 - 2*a**2 + 9*a. Let k be d(-3). Suppose k*v - 48 = 66. Is 10 a factor of v?
False
Suppose -w = 3*v - 2*w - 303, 2*w = -4*v + 414. Let a = v + -72. Is a a multiple of 6?
True
Suppose 5*y + 1700 = 3*k + 4*y, 0 = -k - 5*y + 572. Is k a multiple of 63?
True
Let m be (-8 + 2)*(-2 + 0). Suppose -3*y + 5*d = -30, -4*d = y - 5*d - m. Is y a multiple of 2?
False
Is 2 a factor of ((-2499)/102)/((-1)/2)?
False
Let z(q) = 2*q**2 - 3*q - 26. Let d be z(13). Suppose 2*k = 5*k - d. Is 16 a factor of k?
False
Is 96 a factor of 784 - (99/9 - 4)?
False
Let z(t) = 3*t + 4. Let l(y) = -3*y. Let a(c) = -7*c + 1. Let x(f) = -2*a(f) + 5*l(f). Let b(o) = 5*x(o) + 3*z(o). Is 6 a factor of b(4)?
True
Suppose 5*x + 513 = 5*n - 107, 4*n - x - 508 = 0. Suppose -26 = -2*l - 5*v + n, -4*l + 308 = 3*v. Does 19 divide l?
False
Suppose -4*s = -2*g - 7*s + 7, -2*s = -5*g + 8. Does 9 divide (-394*g)/(-2)*82/164?
False
Let k(q) = 25*q + 21. Let i(v) = 25*v + 22. Let s(n) = 2*i(n) - 3*k(n). Does 9 divide s(-4)?
True
Let f = 6 - 66. Let h = f + 114. Is 4 a factor of h?
False
Let x(c) = -c**3 + 2*c**2 + 77*c + 30. Is 66 a factor of x(-12)?
True
Suppose 107*u - 330 = 101*u. Does 25 divide u?
False
Suppose -5*g = 5*u + 10, 3*g - 2*u + 3*u = -4. Suppose 2*i - 48 = -2*i. Is 12*(76/i + g) a multiple of 16?
True
Let h(s) be the first derivative of 1/2*s**2 + 8*s - 3. Is h(0) even?
True
Let k(y) = -y**2 - y + 120. Let o be k(0). Suppose 0 = -19*l + 22*l - o. Is 20 a factor of l?
True
Let j = -581 - -938. Is j a multiple of 21?
True
Let p(x) = 4*x**2 - 24*x - 71. Does 78 divide p(32)?
False
Let m = 262 + -155. Is m a multiple of 18?
False
Let s be 2/(-5) - ((-1192)/(-20) + 0). Let g = s + 112. Is g a multiple of 13?
True
Is 3 a factor of (2/(-6))/(52/(-74412))?
True
Let d = 316 - 161. Is d a multiple of 44?
False
Suppose -4*x - x + 70 = 0. Suppose -4*b + x = 2. Suppose u + 130 = b*u. Does 25 divide u?
False
Suppose -4*q - 90 + 30 = 0. Let b = q - -66. Does 9 divide b?
False
Let c(o) be the third derivative of o**8/20160 - o**6/80 - 7*o**5/60 + 3*o**2. Let g(w) be the third derivative of c(w). Is 9 a factor of g(-7)?
False
Suppose -231997 = -84*l - 9229. Is 17 a factor of l?
True
Suppose -o = -14*o + 507. Does 14 divide o?
False
Let h = -118 - -1425. Is 40 a factor of h?
False
Suppose -5*o - 4*c + c + 7 = 0, 0 = 3*o + c - 5. Let a be -24*(5/3)/(-5). Does 2 divide o/(-8) - (-42)/a?
False
Let f = 575 - 301. Is f a multiple of 12?
False
Suppose 0 = -21*p + 2385 + 3726. Is 4 a factor of p?
False
Suppose 14*b - 12*b - 3606 = -3*a, -a + 1195 = 3*b. Is 28 a factor of a?
True
Suppose x - 128 = 4*c, -2*c + 724 = 5*x - c. Does 4 divide x?
True
Let r(i) = 5*i - 6 + 4 - 11. Let d be r(10). Suppose 6*m - d = 29. Is 9 a factor of m?
False
Let c = -1 - -24. Suppose -x - c = -2*s, s = -4*s + 4*x + 53. Is s a multiple of 13?
True
Let a = -16 - -19. Suppose -2*k = -a*k + 1. Suppose 2*q = q - i + 24, 0 = -i - k. Is 7 a factor of q?
False
Let z be 197/((-6)/(