2. Is 4 a factor of t(f)?
False
Let a(p) = 7*p - 1. Let u(o) = -4*o. Let f be u(2). Let q(k) = 11*k - 1. Let c(n) = f*a(n) + 5*q(n). Does 3 divide c(-7)?
False
Suppose -3*w + 18 = p, p + 4*w - 7 = 16. Suppose u = p*u + 4. Is 4 a factor of (u + 14)/((-1)/(-1))?
True
Let s(h) = -h**2 - 7*h - 7. Let d be s(-5). Suppose -4*v + 1652 = d*v. Does 12 divide v?
False
Let t = 43 - 27. Let i be (-1 - -1)/(t/8). Suppose -3*s - s - 12 = i, -s = -4*f + 59. Is f a multiple of 5?
False
Let w(p) = -89*p + 67. Does 30 divide w(-7)?
True
Let o be 3/2 - (-7)/14. Suppose -5*x = -o*h + 57 + 93, 0 = -5*x + 4*h - 140. Let q = x + 71. Does 13 divide q?
True
Let g be (2 - 2) + 6/3. Suppose -4*l - w + 37 = 1, 0 = 3*l + g*w - 27. Is 35 a factor of (42/l)/(3/45)?
True
Suppose -5*v + 10 = -10. Let w(p) = -6*p - 3*p + v*p - 1 - 3*p. Does 7 divide w(-1)?
True
Let j = 3 + 30. Let k = j - -9. Does 14 divide k?
True
Let g = 6961 - 2942. Is g a multiple of 11?
False
Suppose -10*f + 2323 - 423 = 0. Suppose -z = z - 8, f = 5*g - 5*z. Does 7 divide g?
True
Suppose -73*f + 1120 = -66*f. Does 8 divide f?
True
Let n(h) = -11 + 4*h**3 + 10*h**2 - 11*h - 3*h**3 + 0 - h**2. Let d be n(-10). Is d*132*4/(-8) a multiple of 17?
False
Let z(k) = -2*k**3 + 44*k**2 - 28*k - 39. Is z(21) a multiple of 17?
True
Let j = -45 + 129. Does 6 divide j?
True
Is 1/(-13) - (-103215)/273 a multiple of 18?
True
Let q = 30 + -26. Let y(t) = q*t**2 + t + 4 - 3*t**2 - 2*t - 4*t. Is 10 a factor of y(9)?
True
Suppose -20*x + 15*x = -3*f + 10724, 10721 = 3*f - 2*x. Is f a multiple of 147?
False
Let a be 1 - 2/((-4)/(-70)). Let p = 92 + -43. Let z = a + p. Does 7 divide z?
False
Let n(z) = z**3 + 7*z**2 + 5*z - 6. Let h be n(-6). Suppose -13*t - 15 = -18*t. Suppose 4*c - 5*y = t, y = 3*c - h*y - 5. Is c even?
True
Let p(q) be the first derivative of -q**3/3 - 3*q**2 + 4. Let r be p(-6). Let n = 4 + r. Does 4 divide n?
True
Let t be (2 - (-40)/(-12))*-12. Is ((-315)/12)/((-6)/t) a multiple of 35?
True
Let h(q) = -2*q + 14. Let d be h(6). Let g(l) be the second derivative of l**4/4 - l**2 + 2*l. Is g(d) a multiple of 5?
True
Let j(v) = 2*v**2 - 11*v + 5. Let d be j(8). Does 3 divide (-146)/(-9) + (-10)/d?
False
Suppose r - 9 = 2*n, 5*n = r - 28 + 1. Is 30 a factor of 20*1/(n/(-9))?
True
Suppose 9*p - 5140 + 1792 = 0. Is p a multiple of 8?
False
Suppose -9*h - 4*b = -11*h + 40, -4*h + 5*b = -68. Is 21 a factor of 2/(-4) - (-2274)/h?
True
Suppose 10 = 2*t, 4*t - 2*t = 3*r - 47. Let n = r + -27. Is 6 a factor of ((-20)/n)/((-4)/(-56))?
False
Let p = -75 + 40. Let q = p - -31. Is 46 - (q + 3)*1 a multiple of 33?
False
Let z(j) = j**3 + 3*j + 3. Let x be z(-2). Let g = x + 16. Does 9 divide 2 + g/((-10)/(-44))?
False
Let k = 43 + -26. Suppose -23 = 5*i + k. Let y(o) = -o**3 - 7*o**2 + 5*o - 1. Is 13 a factor of y(i)?
False
Let g = 15 + -17. Is 17 + ((-12)/g - 4) a multiple of 8?
False
Let g(x) = -2*x**3 + 5*x**2 + 2*x - 3. Let a(m) = m**2 + 6*m + 6. Let z be a(-3). Is g(z) a multiple of 9?
True
Let g(b) = 3*b - 1. Let m be g(1). Suppose 72 = m*w - 62. Suppose -38 = -3*t + w. Is t a multiple of 11?
False
Let c = -7 + 12. Suppose 2*b - 12 = 2*q, 2*b = 4*b + 5*q - 40. Is (c/b*-14)/(-1) a multiple of 7?
True
Let h be (-4 - -16)*(1 - (-4)/(-6)). Suppose 9*l - 3*s - 174 = 5*l, 4*s - 188 = -h*l. Does 2 divide l?
False
Suppose a = -0*a - 3. Let k be (-12)/(-4) - 11 - a. Let q(p) = -5*p - 12. Is q(k) a multiple of 9?
False
Suppose -r + 4*r + 9 = 0, -n = -r - 72. Is n a multiple of 6?
False
Let c(p) = 5*p - 17. Let z be 12/(0 + 4) + 5 + -1. Does 6 divide c(z)?
True
Suppose -5*c - 4*c = -3150. Is c a multiple of 70?
True
Suppose u + 38 - 23 = 0. Let s(p) = -p**2 - 15*p + 4. Does 4 divide s(u)?
True
Suppose 6*t - 3*t = -66. Let l = t - -26. Suppose -35 = -l*m + 5. Is 6 a factor of m?
False
Let b be 28/(-21)*(-21)/4. Let p = 52 - b. Is 2 a factor of 1/((-4)/(1 - p))?
False
Let z = -2 - -741. Does 9 divide z?
False
Let t = 110 - 142. Let k = t + 62. Is k a multiple of 30?
True
Let y be (-7)/(28/8) + 48. Suppose -2*c + 64 = -y. Is 11 a factor of c?
True
Suppose -3 = 11*x + 41. Let z(l) = -58*l - 18. Is z(x) a multiple of 46?
False
Let l = 1853 + 802. Is l a multiple of 11?
False
Let d(n) = 3*n - 5*n - 5*n + 8 - 3*n. Let l be d(4). Let q = 45 - l. Is q a multiple of 15?
False
Let k be (-9)/(-4) + 3/4. Let b = 800 + -544. Suppose b = 5*x - 3*f + 4*f, 148 = k*x + 2*f. Is 19 a factor of x?
False
Let n(k) be the third derivative of k**5/60 + 6*k**2. Let i be n(-5). Suppose 0 = 5*v - c - 300, 2*c - i = -3*c. Is v a multiple of 28?
False
Let m = 7 + -2. Suppose -10*w - 105 = -m*w. Is 294/w*1/(-2) even?
False
Let r(j) = 19*j**2 + 99*j + 6. Is 12 a factor of r(3)?
False
Let j(o) = o + 1. Let q(c) = -3*c**2 + c - 1. Let u(x) = -j(x) - q(x). Is u(-6) a multiple of 25?
False
Let p = 640 + -563. Does 3 divide p?
False
Let l be (-9)/15 + (-3)/(-5). Suppose 5*c - 59 - 1 = l. Does 3 divide c?
True
Suppose -18 = -4*k - 2*i + 6, 4*i - 32 = -4*k. Suppose k*y = 6*y - 108. Suppose -y = -q - 2*q. Is q a multiple of 12?
False
Let f(i) = -i**3 + 4 + 5 - 3 - 2 + i**2 + 2*i. Let o = -4 - -1. Is f(o) a multiple of 17?
True
Let d = 640 + -172. Does 12 divide d?
True
Suppose v = 3*v - 6. Let i = -11 - v. Is 12/(-42) - 340/i a multiple of 7?
False
Let h(x) be the third derivative of x**7/2520 + x**6/180 - 7*x**5/120 + x**4/6 + 7*x**2. Let g(p) be the second derivative of h(p). Is g(-6) a multiple of 4?
False
Let d = -13 + 13. Suppose -4*l = 4*j - 72 - 32, 0 = 2*j - 8. Let w = l + d. Does 22 divide w?
True
Let z be 12/15*(-2 + 117*1). Suppose 88*a + 836 = z*a. Is 11 a factor of a?
True
Does 9 divide 3853/3 - -4 - (-2)/3?
False
Let s = -100 - -48. Let g = s - -142. Suppose g = -2*d + 5*d. Does 15 divide d?
True
Let k(i) = -2*i + 1. Let r be k(5). Let t(x) = x - 4. Let f be t(r). Let h(c) = -3*c - 15. Is h(f) a multiple of 8?
True
Let h(r) = -3*r + 5. Let z be h(-3). Does 3 divide 1 + ((-4)/(-14))/(2/z)?
True
Let b(a) = 4*a**3 + 5*a**2 - 10*a - 3. Does 8 divide b(7)?
True
Suppose 15*f - 17*f = 0. Let t be (0 - 1)*(f - -1). Does 9 divide t/6 + 217/6?
True
Let u be (0 - -119)/(-1) + 1 + -2. Is 3/((-2)/u*1) a multiple of 36?
True
Let w(a) = a**3 + 19*a**2 + 18*a + 1. Let c be w(-18). Let f be c*648/(-4 - -2). Does 6 divide f/(-16) + (-3)/(-4)?
False
Suppose 0 = -4*j - 5*z + 1436, 2*j + 4*z - 720 = 2*z. Is 4 a factor of j?
True
Suppose -2*j = -3*c + 5 - 0, 0 = -4*c + 4*j + 4. Suppose c*g - 2*g = 6. Suppose 0 = -5*a + 3*r + 217, -2*a + 92 = -2*r + g. Does 11 divide a?
True
Suppose 0 = -r + 2*m - 65 + 206, -4*r = -m - 550. Let n = -21 + r. Suppose 2*i + o - 163 = -2*i, -n = -3*i - 2*o. Is i a multiple of 11?
False
Let z(s) = 8*s**2 - 2*s**2 + s**3 + 8*s**2 + s - 4*s**2. Is z(-7) a multiple of 35?
True
Suppose -3*p + p = c + 44, -3*p = 3*c + 66. Let i = -26 - p. Let u(t) = t**3 + 7*t**2 + 8*t - 4. Is 12 a factor of u(i)?
True
Suppose 4860 + 1258 = 7*i. Is 46 a factor of i?
True
Let v be 0 - 12/(-3) - 2. Suppose -4*k + 3*k - 793 = -3*r, v*r - 4*k - 532 = 0. Is r a multiple of 22?
True
Suppose -10*o - 3295 = -1155. Let m = -114 - o. Is 5 a factor of m?
True
Let k(x) = 350*x**2 + 19*x + 17. Is 61 a factor of k(-1)?
False
Let a = 24 - 35. Let q = 12 + 6. Let g = q + a. Does 7 divide g?
True
Let t = -184 + 332. Suppose 208 = 4*z - 4*v, -3*z + 0*v = -5*v - t. Suppose -2*m + 44 = 2*g - 6, -2*g + z = -4*m. Does 13 divide g?
True
Suppose -93 = -d + 4*r + 17, 5*d - 625 = -5*r. Suppose -2*x = g - 52, 18 = -3*x + 5*g + d. Does 4 divide x?
True
Let y be -5*(-10)/25 + 29. Suppose -y*x = -28*x - 30. Is x a multiple of 5?
True
Suppose -32*a - 117 = -41*a. Is 2 a factor of a?
False
Let l(x) = -x**3 - 9*x**2 - 5*x - 26. Does 3 divide l(-9)?
False
Suppose d = -2, 2015 - 315 = 4*l + 2*d. Is l a multiple of 6?
True
Let p = -21 - -504. Does 17 divide p?
False
Suppose 0 = 4*y - 1732 - 824. Is 71 a factor of y?
True
Suppose 0 = -3*b + 10*r - 15*r + 2391, -b = -r - 789. Is b a multiple of 14?
False
Suppose 2*c - 5 - 5 = 0. Let d(y) = 3*y**2 - 7*y - 4. Let a(t) = 9*t**2 - 21*t - 13. Let l(n) = -2*a(n) + 7*d(n). Is l(c) a multiple of 23?
False
Let c be ((-66)/(-8))/(6/(-24)). Let u be (-44)/(-4)*(-2)/2. Let d = u - c. Is d a multiple of 11?
True
Let r = 327 - 174. Does 2 divide r?
False
Let x be 