8 a factor of v?
True
Let t = -43 + 107. Is t a multiple of 8?
True
Let c = -51 + 75. Is 6 a factor of c?
True
Does 12 divide ((-16)/(-10))/((-4)/(-90))?
True
Let w(i) = 2*i**2 + 18*i + 12. Does 13 divide w(-12)?
False
Let k(q) = q - 3. Let r be k(5). Let j(v) = 2*v**2 - 2*v**r + 3*v**2 - v. Does 22 divide j(3)?
False
Let m be (0 - -3) + 4/2. Is 9 a factor of (-9)/((15/(-4))/m)?
False
Let o = -4 - -7. Suppose 0 = f - o*t - 1859, -2*t + 1860 = f - 4*t. Does 8 divide (-4)/22 + f/77?
True
Let g(k) = -6*k. Let s(b) = -6*b. Let c(q) = 4*g(q) - 3*s(q). Is 18 a factor of c(-6)?
True
Let h = -4 - -7. Let c = 4 + h. Suppose -c*b + 29 = -6*b. Does 11 divide b?
False
Let f = 60 - -72. Let h = -91 + f. Is 6 a factor of h?
False
Let k(x) = -x**3 - 4*x**2 + 3*x + 2. Does 11 divide k(-6)?
False
Let f = -3 + 3. Suppose f = -4*s - s. Suppose -2*x - x + 57 = s. Is 19 a factor of x?
True
Let z = -11 + 16. Suppose z + 0 = t, -2*j = -5*t - 43. Does 19 divide j?
False
Let j(p) = -p + 75. Does 4 divide j(20)?
False
Let h(u) = u**3 + 4*u**2 - 6*u + 2. Let m = -3 + -2. Is h(m) a multiple of 2?
False
Let y be 2/(-4) - (-5)/10. Suppose 4*x + 41 - 209 = y. Is 21 a factor of x?
True
Suppose 2*b - 3*b = -15. Is b even?
False
Let m(s) = -10*s. Let l be m(2). Let x = l - -41. Does 14 divide x?
False
Suppose 212 = 24*x - 20*x. Is 12 a factor of x?
False
Let k(j) = -j + 2. Suppose -2*g = s + 4 + 2, -5*g = 20. Let i be k(s). Suppose -3*w + 30 = -i*w. Is w a multiple of 5?
True
Suppose -2*s - s - 5*y + 1 = 0, -s + 5 = -3*y. Suppose 0 = s*q - 21 - 11. Suppose 4*o + q = 0, 0*o - o = 4*c - 60. Is 8 a factor of c?
True
Let p(r) = -r**3 - 14*r**2 + 3*r + 17. Is 46 a factor of p(-15)?
False
Let z be 679/(-42) - (-2)/12. Is (-188)/z + 6/(-8) a multiple of 11?
True
Suppose -2*o = 5*v + 1 - 13, 0 = -3*v + o + 16. Does 4 divide v?
True
Let d(z) = z - 6. Let v be d(5). Let p = 3 - v. Is 8 a factor of p/(-8) - (-34)/4?
True
Let r(h) = h**2 + 8*h + 18. Is r(-9) a multiple of 13?
False
Is (-1)/(5/75)*7/(-3) a multiple of 5?
True
Let d(o) = 4*o**2 + 3*o - 9. Does 18 divide d(5)?
False
Let z be (-2)/7 - (-20)/(-28). Let c = z - -3. Suppose k = -c*k + 78. Does 13 divide k?
True
Let s = 102 - 33. Suppose s - 9 = 2*w. Does 10 divide w?
True
Let x(t) = -7*t + 12. Let v(h) = 8*h - 13. Suppose 3*p + 5*d + 35 = -p, 0 = 5*p - 5*d + 10. Let b(m) = p*x(m) - 4*v(m). Is b(6) a multiple of 5?
True
Let l(j) = -5*j - 54. Is l(-24) a multiple of 11?
True
Let o = -10 + 17. Let a be 3 + (70/8 - (-39)/(-52)). Let l = a - o. Is l a multiple of 4?
True
Let q(p) = p + 11. Let d be q(-7). Let i(b) = 4*b + 4*b**2 - 4 - 2*b**2 - b**3 + 3*b**2. Does 11 divide i(d)?
False
Is (0 - (-6)/(-24))*-68 a multiple of 3?
False
Let p(n) = -4*n**3 + n**2 + n + 2. Let x be p(-2). Let d = -11 + x. Is d a multiple of 7?
False
Suppose 2*w - 35 = -j + 298, 163 = w - 3*j. Is 20 a factor of w?
False
Suppose -2*v + 4 = -5*y - 4*v, -y + 2*v + 4 = 0. Suppose -u + 2*l - l = -30, y = -3*l. Is u a multiple of 15?
True
Suppose -2*o + 20 = 2*o. Suppose o*r + 0*r - 25 = -2*f, -2*f = 2*r - 4. Is 3 a factor of r?
False
Let f(c) = c**2 + 9*c + 11. Let x be f(-8). Let t = 50 - x. Does 12 divide t?
False
Let g(r) = -r**3 - r**2 - r + 36. Is g(0) a multiple of 9?
True
Suppose -5 = 5*i - g, 0 = 2*i + 3*i + 5*g + 35. Is 80/12 + i/(-6) a multiple of 3?
False
Is 5 a factor of ((-72)/10)/(4/(-10))?
False
Let y = 2 - 6. Let p = -4 - y. Suppose 5*i = -4*d + 103, p*d - d - 74 = -4*i. Is 15 a factor of i?
False
Let p = -12 + 18. Let y(v) = -v**3 + 6*v**2 + 3*v - 5. Let r be y(p). Suppose 2*m = r - 3. Does 4 divide m?
False
Suppose 0*r = -4*r. Suppose i - 6 = -r*i. Is 2 a factor of i?
True
Suppose 4*i + 284 = 2092. Is i a multiple of 65?
False
Suppose 3*q + 4 = -q. Let w = 7 - q. Does 5 divide w?
False
Suppose -4*k - 4*i = -264, 5*k + 5*i - 266 = k. Suppose 2*g = -2*g + k. Is 7 a factor of g?
False
Suppose -11*v = -8*v - 57. Does 5 divide v?
False
Let l = 29 - 12. Let v = 34 - l. Does 17 divide v?
True
Let o(g) = g**2 - 13*g - 9. Is o(19) a multiple of 9?
False
Let m(c) = c**3 + c**2 - c - 3. Let j be m(0). Does 11 divide j - -36 - (4 - 2)?
False
Let b(q) = -40*q. Let x be b(-3). Let p = -84 + x. Is 12 a factor of p?
True
Suppose -2*t + 0*t = -v + 3, 2*v = 5*t + 6. Suppose -v*a + 5*d + 29 = 0, 2 = -d + 1. Suppose 2*r - 8 = a. Is r a multiple of 7?
False
Suppose 4*h - 7*x + 2*x - 20 = 0, 2*h + 3*x = 10. Suppose 3*a - 1 = -d + 12, h*a - 50 = 4*d. Is 3 a factor of a?
True
Suppose k - 23 = f - 4*f, 2*f = -3*k + 34. Does 2 divide k?
True
Let z(v) be the second derivative of v**6/120 + v**5/10 + 5*v**4/24 - v**3/2 + v**2 + v. Let n(c) be the first derivative of z(c). Is n(-4) a multiple of 9?
True
Suppose -5 = 4*o - 69. Suppose o = 6*q - 2*q + 4*g, 3*q - 2*g = 32. Suppose 0*n - q = -2*n. Is 4 a factor of n?
True
Suppose -3*u + 72 = u. Suppose 3*v + 3*y = 0, -4*v - y = 3 - u. Suppose -4*g - 2*j = -14, 2*g + 0*g - v*j = 13. Is g a multiple of 2?
True
Let v be (-2 - -3)/((-4)/(-44)). Let m = v - -27. Is 14 a factor of m?
False
Suppose -3*z + z = 6. Let k = 5 + z. Suppose d - 16 = -3*u + 74, u = k*d + 23. Does 14 divide u?
False
Let l(f) = -2*f**2 - 2 + 5 - 29*f**3 - 2. Let o be l(-1). Let x = o - 9. Does 16 divide x?
False
Let s be 12/54 + 626/18. Suppose 4*o + 45 = -o. Let k = o + s. Is 13 a factor of k?
True
Let c(y) = -y + 7. Let b be c(5). Does 4 divide (8/(-2))/(b/(-6))?
True
Let l(z) = z + 3. Let a be l(5). Suppose a = g + g. Suppose -73 = -g*m + 3*u, 2*m - 2*u = 4*m - 26. Is m a multiple of 16?
True
Let i = 8 + -14. Let w(a) = -a**3 - 5*a**2 + 2*a - 8. Is w(i) a multiple of 15?
False
Let b = 13 - 5. Let v = b + -8. Suppose v*w - 11 = -w. Is 7 a factor of w?
False
Let k(f) = 2*f**2 - f**2 - 3*f**3 + 6*f**3 + 0*f**3. Suppose 3*c - 2 = 1. Does 2 divide k(c)?
True
Suppose -n + 2*n = 28. Does 7 divide n?
True
Let z(f) = f. Let l be z(3). Suppose -l*s = -3*h + 15, -3*h + 2*h + 3*s + 3 = 0. Is 6 a factor of h?
True
Suppose -38 = 4*v - 154. Let u = v - 2. Does 9 divide u?
True
Let j be 12/54 - (-2)/(-9). Suppose -124 = -4*l - j*l. Suppose 0 = m - 4*p - 36, m - 3*p - l = -0*m. Is m a multiple of 8?
True
Let a(m) = -m**3 - 4*m**2 - 5*m - 4. Let w be a(-3). Let i(z) = 7*z**w + 8*z - 8*z. Is 7 a factor of i(1)?
True
Suppose -25 = -4*r + k, -5*k - 13 = 2*r - 6*r. Suppose 4*x - r = p - x, 0 = -5*p - 3*x + 105. Does 8 divide p?
False
Suppose 0 = 2*o + 2*d - 36, 4*o + 5*d = 65 + 5. Suppose 2*r = 4 + o. Is 5 a factor of r?
False
Let s(o) = -4*o**3 - 1 - 3*o**3 + 3 + 2*o**3. Let t be s(-2). Suppose -54 - t = -4*b. Is 8 a factor of b?
True
Does 13 divide (1570/(-30))/((-1)/3)?
False
Let j(z) = -17*z - 6. Does 15 divide j(-3)?
True
Suppose 2*d + d - 132 = 0. Does 22 divide d?
True
Suppose 0*f - 6 = -3*f. Suppose -4*g = -f*g - 6. Suppose -50 = -g*p - i, i = p - 21 + 3. Does 17 divide p?
True
Let t(b) = 3*b + 35. Does 7 divide t(0)?
True
Let n = -104 + 149. Is n a multiple of 5?
True
Suppose 28 = -5*t + u - 15, 0 = -3*t - 2*u - 31. Let d = 3 - t. Is d a multiple of 11?
False
Let f(z) = z + 2. Let k be f(9). Let a be 4/2 + -2 + -1. Is 4 a factor of (a - (0 - k)) + -2?
True
Let r = 4 - -1. Let m(i) = 8*i + 2. Is m(r) a multiple of 14?
True
Let q be 2/(18/3)*9. Suppose -3*b + 22 = -5*m, b - 2 = q*m - 4*m. Suppose -4*s - b*f = -64, -2*f - 97 = -4*s - 15. Does 12 divide s?
False
Let b = -39 - -81. Is b a multiple of 6?
True
Let w(x) = -x - 1. Let d be w(-1). Suppose 0 = -2*t - 8, 5*i - 2*t - 110 - 78 = d. Is 18 a factor of i?
True
Let g be (-2)/(2/(-87)*3). Let b(f) = f - 5. Let i be b(-4). Let x = g + i. Is x a multiple of 12?
False
Suppose 0 = -2*x - 2 - 4. Does 10 divide 1/(-3*x/108)?
False
Let f = -18 + 26. Suppose -s - 1 = -f. Is 4 a factor of s?
False
Let c = -3 - -16. Is c a multiple of 2?
False
Suppose 67 = 4*i - 45. Does 28 divide i?
True
Let v(b) = 5*b**2. Let s be v(1). Is s/3*1*3 even?
False
Is 290/5 + -2*(-2 - -1) a multiple of 20?
True
Suppose 3*a + 0*k = 3*k + 345, 4*a = -3*k + 467. Let c be (a - (-2 + 4)) + 2. Suppose 5*t + 6 = c. Is t a multiple of 11?
True
Suppose 3*s + 3*r - 8*r - 17 = 0, 4*s - 17 = r. Suppose s*x = 53 - 9. Is x a multiple of 5?
False
Let x(p) = -p**2 - 9*p - 1. Let s(m) = -m. Let f(t) = 5*s(t) - x(t). Let y(l) = -l**2 - 7*l + 13. Let c be y(-9). Is f