= y - -6. Is g a multiple of 6?
False
Suppose -5*t + a - 25 = 0, 0*t - t - 5 = 5*a. Let u(o) = o**3 + 8*o**2 + 6*o + 2. Is 8 a factor of u(t)?
False
Suppose 3*l - 4*f - 215 = 0, 0*l + 3*f - 180 = -3*l. Does 9 divide l?
False
Suppose -130 = -f + c, -3*f - c = c - 400. Is f a multiple of 44?
True
Let u(s) = s**2 - 15*s - 6. Let t be u(14). Let q = 50 - t. Is q a multiple of 14?
True
Let c = 12 - 31. Let r = -13 - c. Is 16/r*(-6)/(-4) a multiple of 3?
False
Suppose 0 = 3*b + 3*x - 69, 0*b - 34 = -2*b + 2*x. Let f be (-11)/(-4) + (-15)/b. Suppose -h - 3*y = -f - 15, -2*h = -3*y + 11. Is h even?
True
Let r(v) = -8*v + 0*v + 10 - 11*v - 10*v. Is 17 a factor of r(-2)?
True
Suppose 6 = a + 1, 2*a = -5*m + 2880. Is m a multiple of 41?
True
Suppose 2*a - 5*k + 477 = -0*a, 0 = -4*a + 4*k - 948. Let z = -3 + 15. Does 21 divide -3*(3 + a/z)?
False
Let j(u) = -14*u + 0*u**2 - u**3 - 2*u**2 + 17*u. Let p be j(2). Is (72/p)/(1/(-5)) a multiple of 7?
False
Suppose 0*g = 4*n + 3*g - 1592, 0 = -g. Let k = -32 + n. Suppose -5*h - 4*r + k = -5*r, -156 = -2*h - 2*r. Does 20 divide h?
False
Suppose 11*t - 168 = -36. Is 3 a factor of t?
True
Is 3 a factor of -1*2*55/(-2)?
False
Suppose 3*t + 5*h - 42 = 0, 4*h = -4*t + 11 + 45. Let x = t - 7. Let n = x - -8. Does 15 divide n?
True
Let b be (21/(-7))/(6/(-16)). Suppose l - b = -a - 0, 4*a + 23 = l. Does 11 divide l?
True
Suppose 916*i + 4720 = 924*i. Does 20 divide i?
False
Let o(q) = -q - 6. Let t(f) = f**3 - 7*f**2 + 8*f + 2. Let c be t(5). Let y be o(c). Let m = y - -12. Is m a multiple of 3?
False
Suppose -k - b = 3, 2*k - 9 = -2*b - 3*b. Suppose 5*q - 5*w + 4*w - 111 = 0, 2*q = 5*w + 26. Let n = q + k. Is n a multiple of 15?
True
Let r(n) = 4*n**2 - 11*n + 127. Is 34 a factor of r(16)?
False
Let a = -339 + 532. Is 8 a factor of a?
False
Let q = -1030 - -1862. Is 78 a factor of q?
False
Suppose -n = u - 17 - 14, 0 = u + 1. Let s = n - -108. Does 20 divide s?
True
Suppose 0 = 147*v - 121*v - 92586. Does 24 divide v?
False
Suppose -m + 24*r + 1722 = 29*r, -3*r + 3416 = 2*m. Is 23 a factor of m?
True
Suppose 490 = 49*b - 44*b. Is 4 a factor of b?
False
Suppose -26*l + 73*l = 235. Let n be (-8)/(-3)*(-18)/(-8). Suppose 2*w - 9 = w + 4*p, -n = -w + l*p. Does 13 divide w?
False
Let a(b) = 4*b - 1. Let d be a(2). Suppose 3*k + 4 = d. Is 14 a factor of k + -1 + 43 + -3?
False
Let i be (66/55)/(3/(-10)). Let v(k) = k**2 + k + 2. Is 7 a factor of v(i)?
True
Let h(q) = -q**3 - 9*q**2 - 6*q - 5. Let p be h(-8). Let d = 15 + p. Let i(m) = -m**2 - 8*m - 3. Is 9 a factor of i(d)?
True
Suppose v + 916 = 4*x, -4*x = -x + 5*v - 710. Let w be x/2 + (-3 - 0). Let n = w + -64. Is n a multiple of 16?
True
Suppose -w + 2*r = -56, -5*r = -r + 20. Suppose -w*n + 51*n = 300. Is n a multiple of 30?
True
Suppose 4*t - 3528 = 7*t. Is t/60*(0 + -5) a multiple of 17?
False
Let l(q) = -34*q - 8. Let w be l(-2). Suppose -w = -5*h - 0*n - 5*n, 4*h = 5*n + 48. Does 7 divide h?
False
Let j(p) = -p**2 - 11*p + 2. Suppose s - 22 = 3*s. Let u be j(s). Suppose 2*a + 34 = u*q - 2*a, -a + 32 = 4*q. Is 9 a factor of q?
True
Let z(c) = -156*c**2 + 4*c + 4. Let d be z(-1). Let a = 260 + d. Is a a multiple of 9?
False
Suppose -3*i = -i - 100. Let o be (2*(-52)/14)/(10/(-35)). Let s = i - o. Is s a multiple of 7?
False
Let r(h) = -h**2 + 2*h + 6. Let y be r(5). Let a = 12 + y. Suppose d + 0 - a = 0. Is d even?
False
Let k be 100/(-15)*12/8. Let z(m) = m**3 + 11*m**2 + 10*m + 2. Let r be z(k). Suppose -38 = r*h - 118. Does 20 divide h?
True
Let i(t) = -t**3 + 8*t**2 + 5. Is 25 a factor of i(6)?
False
Suppose 4*d + 10*s = 12*s + 1350, 4*s = 3*d - 1010. Is d a multiple of 13?
True
Let c = -54 + 110. Let m = c - -64. Is 26 a factor of m?
False
Let q = -1356 - -2213. Does 55 divide q?
False
Is (-15)/((-135)/264)*(-81)/(-6) a multiple of 22?
True
Let g(n) = 3*n + 4. Suppose 17 = 6*r - 5*r. Let y = r + -11. Does 6 divide g(y)?
False
Let a(q) = -12*q + 3. Let u be a(4). Let k = -33 - u. Does 4 divide k?
True
Let d = -26 + 38. Let g = 22 + d. Is g a multiple of 17?
True
Let d(b) = -6*b**2 - 51*b - 43. Let u(c) = -3*c**2 - 25*c - 22. Let y(m) = 4*d(m) - 7*u(m). Is 2 a factor of y(-8)?
True
Let v(q) = q**3 + 7*q**2 - 6*q - 4. Is 8 a factor of v(7)?
True
Let o be -1*(-3 + 3 - 3). Suppose o*j - h - 1 - 6 = 0, 0 = 5*h - 25. Suppose 5*p - 119 = 3*k, -3*k - 3 = j*p - 109. Is 25 a factor of p?
True
Let f be (3/12)/(2/16). Let t(m) = m**2 + 4*m + 0*m**f - 9 - m + 13. Is t(8) a multiple of 29?
False
Suppose 8*b - 793 - 1599 = 0. Is b a multiple of 66?
False
Suppose 0 = -1550*q + 1557*q - 735. Is q a multiple of 10?
False
Suppose 7*v = 3*v + 44. Let g = 17 - v. Suppose 0 = 3*n - 3*r - 111, -n + 4*r = -25 - g. Does 13 divide n?
True
Let f(n) = 2*n**3 - n**2 - 2*n + 2. Let g be f(2). Does 4 divide (42/(-10))/((-2)/g)?
False
Let l be (-1)/2*(-42)/7. Suppose -135 + 407 = 5*q - 3*o, 2*q - l*o - 107 = 0. Is 11 a factor of q?
True
Suppose 2*w - w = -2. Does 23 divide w - 9/(-3) - -45?
True
Let x = 1 - -5. Let q(d) = d**3 - 6*d**2 + 4. Let m be q(x). Suppose 0 = -5*z - 6 - m, -p + 21 = z. Does 23 divide p?
True
Suppose 0 = -0*i + 3*i. Suppose i = -2*q + 2*a + 8 - 2, -3*q + 29 = a. Suppose 0 = 4*n - q*n + 204. Is n a multiple of 10?
False
Let a(r) = 3 + 5 + 0 - 1 + r. Let w be a(-7). Suppose w*x = -u - 4*x + 44, -5*u = 2*x - 292. Does 17 divide u?
False
Suppose 6*v - 3164 - 1060 = 0. Does 32 divide v?
True
Let l(f) = -2*f**2 - 20*f - 9. Let g be l(-9). Let q(k) = 2*k**3 - 2*k + 3. Let v be q(2). Let t = v + g. Is 6 a factor of t?
True
Let w be 20/4*(-78)/15. Let j = -27 - w. Is (1 - j)*147/14 a multiple of 18?
False
Suppose 250 = 5*q - 5*j - 70, 0 = -j. Let y = q - 12. Does 3 divide y?
False
Let o be (-79)/3*(-16 - -10). Let x = o + -87. Is x a multiple of 12?
False
Let r = 6 - -5. Let w(j) = -j**2 + 22*j + 14. Is w(r) a multiple of 12?
False
Let s(f) = -f**2 + 5*f + 4. Let x be s(5). Suppose 2*u = 2*p + 6, -x*p - 4 - 13 = -5*u. Suppose -2*v - 63 + 19 = -p*q, -4*v + 104 = 4*q. Is 12 a factor of q?
True
Suppose 2*v = -5*m + 263, 4*m = -2*v + 5*m + 245. Let t = 186 - v. Suppose 0 = x + x - t. Is 13 a factor of x?
False
Suppose 4 = y, f = 2*f + 3*y - 39. Let t = f - 20. Is t a multiple of 6?
False
Let r = 7 - 4. Suppose -r*q + 65 = 2*q. Suppose 5*p - 51 = -4*c, -q = -3*p - c + 12. Is 4 a factor of p?
False
Suppose 22*j - 265 = 27*j. Let v = j + 89. Does 18 divide v?
True
Let n(i) = i**2 + 8*i + 14. Let s be n(-7). Suppose 3*g + 20 = s*g. Is g a multiple of 5?
True
Suppose -120 = -3*p - 0*p. Suppose 2*i - p = v, -2*i = -2*v - v - 48. Let b = i - 3. Is b a multiple of 3?
True
Suppose 7*r + 109 = -10. Let a = r + 67. Is 15 a factor of a?
False
Let k(h) = h**3 - 17*h**2 - 41*h - 56. Is k(20) a multiple of 18?
True
Suppose -5*y + 470 = 5*n, 4*n + y = 131 + 257. Suppose 0 = -4*h + 2*h - a + 66, 2*a - n = -3*h. Is 17 a factor of h?
True
Let t(w) = 2*w**3 - 16*w**2 - 20*w + 72. Does 25 divide t(12)?
False
Suppose -p = -4*j - 0*p + 5535, -3*j = 5*p - 4180. Let t be 1/3 + j/3. Is 6/(-4)*t/(-9) a multiple of 23?
False
Is 10 a factor of 3*(-2)/2 - 0 - -45?
False
Let u(j) = 6 - 38*j + 0 - 6. Is u(-1) a multiple of 19?
True
Let a(w) = 34*w - 582. Is a(50) a multiple of 86?
True
Suppose q = 3*q - 4. Is 7 + (q + 1 - 0) a multiple of 4?
False
Let v(n) = 4*n + 6. Let j(x) = -5*x - 7. Let c(z) = -2*j(z) - 3*v(z). Let f be c(-3). Does 14 divide (15/2)/(f/4)?
False
Let f(s) = s + 13. Let k be f(-11). Suppose 1555 = 7*c - k*c. Suppose c = 5*i + 101. Is i a multiple of 14?
True
Let t = 12 - 9. Suppose 4*w - 9 = t*q, -3*w - 3*q + 10 = -2*q. Suppose 45 = 2*n + w*n. Is n a multiple of 3?
True
Let f(o) be the first derivative of 2*o**3/3 + o**2/2 - 4*o - 3. Let x(q) = q**3 + 8*q**2 + 7*q - 3. Let c be x(-7). Does 2 divide f(c)?
False
Let w(p) = p**3 - 5*p**2 - 7*p + 14. Let g be w(6). Is ((-855)/(-76))/(1/g) a multiple of 14?
False
Let a be ((-9)/2)/((-4)/16). Suppose a = x + 4. Is 2 a factor of x?
True
Suppose 17*b - 12*b = 255. Is b even?
False
Suppose -4*z - 2 = -14. Suppose 2*i + z*i - 960 = 0. Does 32 divide i?
True
Let g = -12 + 13. Let x(m) = g + m - 3*m + 1. Is x(-4) a multiple of 5?
True
Let i = -577 + 1084. Is i a multiple of 52?
False
Let y = 40 - 46. Let o(m) = 2*m + 17. Does 4 divide o(y)?
False
Let a