8). Suppose 0 = f + 4*f - t. Is 3 a factor of f?
True
Let k = 25 + 11. Does 18 divide k?
True
Suppose 5*l = -3*x + l + 18, 0 = -2*x - 5*l + 19. Suppose x = -s + 10. Suppose 0 = -2*n + 3*n - s. Is n a multiple of 4?
True
Let r(l) = -7*l**2 + 1 - 3*l - l**3 + 0 - 9. Is r(-7) a multiple of 13?
True
Let i = -5 - -7. Suppose i*t + 2*t = 40. Suppose -2*y = -4*h + t, 7 = 3*h + y - 2*y. Does 2 divide h?
True
Suppose 0 = a - 3*k - 7, a + 4*k = -0*a. Let q be (-6)/(-8) - (-197)/a. Does 7 divide q/5 - (-6)/2?
False
Let g(p) = -p**2 - p + 33. Let i be g(0). Suppose -2*b = b - i. Is b a multiple of 7?
False
Suppose 5*q - 15 - 10 = 0. Suppose -2*p - q*v + 20 = p, 4*p + 12 = 3*v. Suppose 3*g - 26 - 7 = p. Does 11 divide g?
True
Suppose -4*f = -22 - 66. Is f a multiple of 22?
True
Let q be 9/18 - 18/(-4). Suppose 0*c - 11 = -3*s - 4*c, -q*c = -s - 9. Is (3/2)/(s/22) a multiple of 10?
False
Let q(v) = 25*v**2 - 2*v - 1. Let n = 5 - 6. Is q(n) a multiple of 7?
False
Let n = 28 + -17. Suppose n = i + 2*j, 64 = 4*i + 2*j + 14. Does 13 divide i?
True
Suppose -17*x + 15 = -16*x. Is x a multiple of 7?
False
Suppose -4 = s + 5*c, 3*s = c - 2*c + 2. Let x = s + 4. Is x even?
False
Suppose 4*s - 5*u - 117 = 0, -2*u + u - 1 = 0. Let y = 46 - s. Does 12 divide y?
False
Let u(l) = -l**3 - 5*l**2 - 5*l - 4. Let a be u(-4). Suppose a = 3*d - r - 107, -d + 2*r = 2*d - 103. Suppose -f - 11 = -d. Is f a multiple of 13?
True
Let f = -21 + 53. Is 13 a factor of f?
False
Suppose -31 = -2*f + 35. Is f a multiple of 21?
False
Let q = -4 - -6. Let c = -21 + 7. Is 2 + -1 - c/q a multiple of 4?
True
Suppose 0 = 10*j - 6*j - 56. Is j a multiple of 5?
False
Let r(a) = a**2 + 6. Let o be r(5). Let v = -21 + o. Is v a multiple of 3?
False
Is (20/6)/((-1)/(-18)) a multiple of 15?
True
Let s(o) = -o**2 - 11*o - 5. Let b = 12 + -22. Let a be s(b). Does 10 divide 196/10 + 2/a?
True
Let u be 128/12*6/4. Suppose -u + 11 = -r. Is 5 a factor of r?
True
Let q(z) = -7*z - 4. Is q(-12) a multiple of 20?
True
Let c(f) = -f**2 + 19*f - 9. Let b be c(8). Let y = b + -44. Is 17 a factor of y?
False
Let r(x) = 5*x - 1. Let d be r(2). Let p = d - 2. Does 3 divide p?
False
Suppose -5*y - 20 + 90 = 0. Suppose 44 = 2*b - y. Is b a multiple of 10?
False
Let i be (-2)/(0 - 2/(-20)). Let c = i + 29. Does 9 divide c?
True
Let a(r) = r**3 + 10*r**2 + 7*r - 8. Let d be a(-9). Let x = d + -21. Let v = x - -16. Is v even?
False
Let j(r) = -10*r**2 + 15*r - 21. Let w(t) = -7*t**2 + 10*t - 14. Let n(l) = -5*j(l) + 7*w(l). Is 6 a factor of n(7)?
False
Let m = -209 - -300. Is m a multiple of 7?
True
Let j be (-19)/5 - (-36)/45. Let y(s) = -s**3 - 6*s**2 - 5*s + 4. Let f(o) = o**2 + o. Let u(i) = 2*f(i) + y(i). Does 4 divide u(j)?
True
Suppose 0 = -4*r + 5*a + 245, 0*r + 2*r - 116 = -4*a. Does 12 divide r?
True
Suppose 4*h - 2*u + 4*u - 10 = 0, 5*h - 8 = -4*u. Does 3 divide (-32)/20*(-10)/h?
False
Suppose 0 = 5*b + 3*k - 22, -3*b = -0*b - 2*k + 2. Does 5 divide (3/(-6))/(b/(-56))?
False
Suppose -40 = y - 3*y. Is 4 a factor of y?
True
Let q(z) = -4*z + 3 + 4*z**2 - 2*z**2 - 3. Is q(-3) a multiple of 15?
True
Is 19 a factor of ((-38)/6)/(1*(-2)/48)?
True
Let w(x) = 13*x**3 - 11*x**2 + x - 4. Let d(m) = -6*m**3 + 5*m**2 - m + 2. Let p(h) = -5*d(h) - 2*w(h). Is p(2) a multiple of 12?
True
Suppose -5*g = -0*g - 460. Let z = -26 + -29. Let b = z + g. Is 12 a factor of b?
False
Suppose -17 = y - 3*g - 94, 5 = -g. Suppose -5*k + y = -38. Does 20 divide k?
True
Let s be (-24)/10 - 2/(-5). Let j(y) = -21*y - 3. Let l be j(s). Suppose l + 45 = 3*i. Is i a multiple of 11?
False
Let v(a) = -38*a**3 + 2*a**2 - a - 2. Does 39 divide v(-1)?
True
Suppose -3*x - 68 = -14. Let g = -2 - x. Suppose 3*n + n - g = 0. Is 2 a factor of n?
True
Let n be -29*(-3 + (-6)/3). Suppose -2*t - 3*t = -n. Is 8 a factor of t?
False
Let w be 101/2 + (-2)/(-4). Let x = w + -12. Suppose 5*t = 2*p - 48 - 6, 3*t - x = -3*p. Does 14 divide p?
False
Suppose -4*t - 50 + 230 = 0. Does 15 divide t?
True
Let g(h) = -3*h**2 + h - 1. Let z be g(-2). Let u = z + 36. Does 7 divide u?
True
Suppose -15 - 15 = -j. Suppose 3*m - 5*t - 152 = 0, 3*m - j = -t + 98. Is m a multiple of 11?
True
Let c = 111 - 37. Suppose 2*g - c = -3*g - 2*w, -g + 25 = -3*w. Does 8 divide g?
True
Let m(k) = -k**3 + k**2 - k - 30. Let s be m(0). Is 5 a factor of 1/2 + s/(-4)?
False
Suppose -76*l + 70*l = -198. Does 11 divide l?
True
Let t(o) = -5*o - 1. Suppose 5*y - 3 - 7 = 5*x, 5*x + 25 = 0. Is t(y) a multiple of 7?
True
Suppose m - 3*m + 6 = 0. Let p = -1 + m. Suppose -c + p = -0. Is 2 a factor of c?
True
Let c = 38 - -95. Does 7 divide c?
True
Suppose -26 - 9 = -u. Suppose -5*z + u = -25. Suppose 0 = 5*l - l - z. Is 3 a factor of l?
True
Is 43 a factor of (-1 - -18)*(-3)/(-1)?
False
Let f(d) = -9*d + 2. Let p(l) = -17*l + 4. Let w(z) = -7*f(z) + 4*p(z). Is 16 a factor of w(-6)?
True
Let p(u) = -3*u**2 + 20*u + 1. Is 11 a factor of p(4)?
True
Let f = 27 - -81. Does 18 divide f?
True
Is 11 a factor of (10/15)/((-6)/(-693))?
True
Let k(l) = -5*l - 7. Let j(b) = -6*b - 6. Let g(c) = 6*j(c) - 7*k(c). Let y = -72 - -72. Is g(y) a multiple of 5?
False
Let b(u) = -9*u - 11. Is 24 a factor of b(-13)?
False
Suppose -j + 9 = 2*u - u, 3*u - 2*j - 47 = 0. Does 13 divide u?
True
Let x(y) = y**3 - 16*y**2 + 16*y + 9. Let l be x(15). Suppose 3*j - l = -0*j. Is 5 a factor of j?
False
Let t be 36*(28/8 + -3). Suppose c + t - 32 = 0. Is c a multiple of 14?
True
Suppose -5*s + 2*k = -332, -s + k = -3*s + 140. Is s a multiple of 30?
False
Let c = 7 - -3. Is 9 a factor of c?
False
Is 21 a factor of 2/((-7)/((-903)/6))?
False
Suppose -26 - 14 = -2*v. Suppose -c + v = c. Does 5 divide c?
True
Suppose 381 = 3*a - 87. Let x = -86 + a. Is 14 a factor of x?
True
Let c(z) = -z**2 + 20*z - 17. Let k be c(15). Let i = k + -24. Is 17 a factor of i?
True
Let i(c) be the second derivative of -5/6*c**3 + 0 - 7/2*c**2 + 2*c. Does 11 divide i(-6)?
False
Suppose -s = -4*h + 4*s + 60, -6 = h + 4*s. Let r(k) = -k - 6. Let p be r(-5). Is 15 a factor of (-7)/(p/h*2)?
False
Let l = 4 + -11. Let s(w) = -3*w - 10. Does 11 divide s(l)?
True
Suppose -4*n - 26 = -78. Is 13 a factor of n?
True
Let z = -31 + 88. Is 12 a factor of z?
False
Let l(i) = -i**3 + 10*i**2 + 5*i - 12. Let k(j) = -j**2 - 8*j - 2. Let w be k(-6). Does 19 divide l(w)?
True
Suppose -4*v = v - 5*t - 315, -2*v = -3*t - 125. Let w = 4 + v. Let o = w + -36. Is 15 a factor of o?
False
Let j(k) = -4*k - 39. Does 7 divide j(-14)?
False
Let m = -116 - -61. Let g = m - -100. Does 15 divide g?
True
Suppose 24 = -0*b - 2*b. Let o = 28 - b. Is o a multiple of 16?
False
Suppose 0 = -2*j + w + 113, -3*j - 67 = -4*j - 3*w. Is 28 a factor of j?
False
Suppose 5*d - 582 - 38 = 0. Does 22 divide d?
False
Suppose -3*c + t = -94 - 121, -2*t = 10. Let f(j) = 3*j**2 + j - 4. Let p be f(4). Let l = c - p. Does 12 divide l?
False
Let p(g) = g**3 + 12*g**2 + 11*g. Let c be p(-11). Suppose c*z - 13 = -z. Is z a multiple of 5?
False
Suppose 0 = 5*x - 2*a - 25, -4*x + 2*x + 2*a = -16. Suppose x*g + g = 16. Is g even?
True
Let r be -18*(-17 - -1)*-1. Is ((-1)/2)/(4/r) a multiple of 12?
True
Suppose -3*g + 8*g = 150. Is g a multiple of 8?
False
Let q be 16/(-56) + (-117)/7. Let v = 24 + q. Is v a multiple of 6?
False
Let y(s) = -2*s**3 + 10*s**2 + 13*s + 9. Let b(r) = -r**3 + 5*r**2 + 6*r + 4. Let n(u) = 13*b(u) - 6*y(u). Is n(3) a multiple of 8?
True
Let b = 7 + -3. Suppose b = 5*u - 41. Does 3 divide u?
True
Suppose -5*w + 6 = -2*w. Suppose 0 = w*j + 2*x + 14, -2*j + 5*x + 11 = 60. Does 6 divide ((-27)/j)/((-3)/(-16))?
True
Let y(v) = v**2 + 3*v - 4. Suppose 0 = 2*j - 0*j - 6. Does 14 divide y(j)?
True
Suppose 0 = -4*x, -x + 147 = -3*d - 0*x. Let k = d + 74. Is k a multiple of 11?
False
Let t(k) = k**3 + 8*k**2 + 11*k + 9. Let c be t(-7). Let z = 23 - c. Is 15 a factor of z?
False
Is 12 a factor of -5 - -3 - -1 - -13?
True
Let y be (0 + -2)/(16/(-40)). Suppose 0*k - y*k - 90 = 0. Let u = -12 - k. Is u a multiple of 5?
False
Let q(k) = -2*k**2 + 6*k. Let y(v) = -v + 3. Let o be y(-3). Let r be q(o). Let d = r - -60. Does 12 divide d?
True
Is 21 a factor of ((-749)/28)/((-1)/(-4))*-1?
False
Let l(t) = 24*t**2 + 2*t - 7. Is 33 a factor of l(3)?
False
Suppose -2*z + 3 = -5. Suppose 0*i + z = i. Does