9 a factor of v?
False
Does 48 divide (2340/(-120))/(1/(-54))?
False
Let w(l) = 25*l + 8. Let u(s) = -s - 1. Let q(m) = -3*m - 3. Let a(d) = -3*q(d) + 8*u(d). Let t(n) = 2*a(n) - w(n). Does 34 divide t(-5)?
False
Suppose 5*d + 134 = 2*y, 5*d + 16 - 98 = -y. Does 14 divide y?
False
Let p(r) = r**2 - 14*r - 6. Let g be p(15). Suppose -s = 5*k - 10, 3*k = -4*s - 3 + g. Suppose -3*v + 3*h + 71 = k, 3*h - 39 = -v. Is v a multiple of 8?
False
Suppose -2278 = -8*b - 38. Is 20 a factor of b?
True
Suppose 0 = -5*n - 103 + 583. Let x = n + -80. Does 8 divide x?
True
Let k = -62 + 63. Is 14 a factor of ((-42)/k)/(10/(-20))?
True
Let p be 19 + (-1 - 2/(-3 + 1)). Let n be (2 - 0)*25/10. Suppose -3 + p = 3*t + c, -n*t - 4*c + 15 = 0. Is t a multiple of 7?
True
Suppose -159 - 786 = -3*z - 3*c, 0 = 5*c. Let f = 554 - z. Does 12 divide f?
False
Suppose 3*u - 8*n - 2186 = -9*n, 4*u + n - 2913 = 0. Does 5 divide u?
False
Let s = -1349 - -1650. Is 5 a factor of s?
False
Is (-822720)/(-190) + 10/(-95) a multiple of 65?
False
Is 9 a factor of 15*16/(-20)*4968/(-32)?
True
Suppose 3*o = -o + 3*w + 2636, -4*o = 2*w - 2616. Is 15 a factor of o?
False
Suppose 3*g - 10 = -1. Suppose 8*d - 21 = g. Is d even?
False
Let c(s) = -s - 6. Let v be c(-6). Suppose 0 = -3*j - a - 0*a - 12, v = 3*j - 2*a + 3. Is 3 a factor of j*((-10)/6 + -3)?
False
Suppose 20271 - 1043 = 11*h. Does 19 divide h?
True
Let p(v) = 1 - 3*v - 6 + v + 3*v + v**2. Is 5 a factor of p(-5)?
True
Suppose 154 = -3*y + 4*y + 3*b, 6 = -2*b. Is y a multiple of 14?
False
Let r(k) = 115*k**3 - 4*k**2 + 9*k - 16. Let o be r(5). Is 45 a factor of (o/9)/4 - 8/6?
False
Let x(m) = -m**2 + 12*m + 7. Is 18 a factor of x(11)?
True
Let h = 29 + -27. Let i(c) = 11*c**3 + 3*c**2 - 3*c + 2. Does 32 divide i(h)?
True
Let n be (6/(-4))/((-3)/18). Let z(y) = y**3 - 9*y**2 + 7. Let f be z(n). Suppose 5*o + 50 = f*o. Is o a multiple of 6?
False
Let w(y) = 31*y + 13. Let d(i) = 21*i + 9. Let j(p) = -8*d(p) + 5*w(p). Is 12 a factor of j(-7)?
True
Suppose -572 = 2*f + 2*f. Let x = 218 + f. Is x a multiple of 13?
False
Let r(l) = 37*l - 11. Let c(f) = -19*f + 6. Let v be 2/11 - (-280)/(-88). Let o(s) = v*r(s) - 5*c(s). Is 38 a factor of o(-8)?
False
Let t be (20/4)/(-1)*(-3)/(-3). Let d(w) = w**3 + 5*w**2 - 8*w - 21. Is d(t) a multiple of 13?
False
Let l(x) = x**3 - 8*x**2 + 6*x + 12. Does 10 divide l(15)?
False
Let a be ((-10)/(-8))/((1 + -7)/(-24)). Suppose 6*w + 8 = 2*w, a*w + 1002 = 4*x. Is x a multiple of 52?
False
Let v = -461 - -665. Is v a multiple of 13?
False
Let l = 2 + 29. Suppose 3*x + 3*c = 4*c - l, 5*x - c + 55 = 0. Is 9 a factor of (-172)/(x/3) - -2?
True
Let i(q) = -q**3 - 13*q**2 - 22*q - 13. Let b be i(-11). Let y = b - -24. Is y a multiple of 6?
False
Let k(o) be the second derivative of o**4/3 + 7*o**3/6 + 7*o**2/2 - 7*o. Is 18 a factor of k(-5)?
True
Let n(m) = 20*m**2 - 11*m - 47. Let j(b) = -7*b**2 + 4*b + 16. Let x(d) = 17*j(d) + 6*n(d). Is x(-6) a multiple of 4?
False
Suppose 541 = 3*m + i, 3*m + 2*m = -2*i + 902. Does 15 divide m?
True
Let h(j) = 115*j + 26. Does 25 divide h(2)?
False
Let v(w) = w**2 - 7*w - 102. Does 38 divide v(-20)?
False
Suppose -7*o + 3*o = 5*u - 4727, -3*u - 4*o + 2841 = 0. Does 6 divide u?
False
Let u(s) = 3 + s**2 + 3*s + 0 - 10*s. Let c = 65 + -57. Is u(c) a multiple of 3?
False
Let o = -60 - -62. Is (2/(-8))/(o/(-536)) a multiple of 22?
False
Suppose -37*j = -43*j + 3720. Is 20 a factor of j?
True
Suppose -2*k = 2*k - 48. Suppose -2*s + 6*s - 33 = q, s - k = -q. Suppose 0 = -8*i + s*i - 90. Is i a multiple of 26?
False
Let k be ((-360)/27)/((-2)/36). Suppose 4*y + k = 3*g, 3*g = -g - 5*y + 289. Is g a multiple of 19?
True
Suppose -5*n - 185 = -5*p, -4*n - 3 + 35 = p. Let j be 8*(-6)/12 - -4. Suppose -o + 0*o + p = j. Is o a multiple of 7?
False
Let s(x) = -3*x + 6. Does 13 divide s(-42)?
False
Suppose 3*o = 2*l - 0*o, -3*l = -2*o - 5. Suppose -5 = -l*w + 4, -363 = -5*q - w. Is 18 a factor of q?
True
Let c = -2 + 8. Suppose -3*a + 11 = -3*z - z, -z = a - 6. Suppose -c*f + a*f = -56. Is 19 a factor of f?
False
Let t be (-25)/(-6) - 4 - 357/(-18). Is 21 a factor of 2530/t - -1*1/(-2)?
True
Suppose 11*k = 1868 + 2092. Is 18 a factor of k?
True
Let n(c) = -c - 10. Let p be n(-10). Does 8 divide (p + (-3)/2)*(-800)/15?
True
Let o = -14 + 20. Suppose -32 - 16 = -o*c. Is 4 a factor of c?
True
Let m = -1 + 3. Suppose -2*g = -10 + 6. Suppose 0 = -2*u - 5*t + m, -g*u + t = -u - 8. Does 6 divide u?
True
Suppose 16*a - 34050 = -9*a. Is a a multiple of 16?
False
Let t = -3 - 9. Let p(c) = c - 14. Let f(q) = -6*q + 99. Let s(n) = -4*f(n) - 27*p(n). Does 6 divide s(t)?
True
Suppose -9*n + 0*n + 2*n = 0. Let b = n - -52. Is b a multiple of 8?
False
Let k = 1020 + -655. Is 5 a factor of k?
True
Let g(f) = 3*f**2 - 4*f - 158. Is 14 a factor of g(-12)?
True
Let u(x) = -167*x**3 - x**2 + 13*x + 14. Is u(-1) a multiple of 17?
False
Let b(f) = f**2 - 2*f + 2. Let k be b(2). Suppose 289 = k*j + 77. Let m = j - 46. Is 12 a factor of m?
True
Let x(q) be the second derivative of -q**4/4 + 4*q**3/3 - q**2 + 8*q. Let f be x(3). Does 18 divide -4 - (-59 + (-5)/f)?
True
Let l(v) = v**3 - v - 1. Let n(d) = 4*d**3 - 2*d**2 - 5*d - 32. Let w(k) = 5*l(k) - n(k). Is 8 a factor of w(0)?
False
Let z(y) = 197*y**2 - 10*y + 6. Is z(1) a multiple of 3?
False
Let n = 94 + -178. Let r(c) = -5*c**2 + 3*c - 9. Let g be r(6). Let v = n - g. Is v a multiple of 22?
False
Let o be 4/(-5) - 343/(-35). Is 126 - o/6*(-6)/(-9) a multiple of 25?
True
Let u(p) = p**2 + 3*p + 4. Let o be u(-3). Suppose -285 = -o*h - h. Let f = 81 - h. Is f a multiple of 12?
True
Let q(r) = -68*r**2 - 10*r + 22. Let a be q(4). Is ((-4)/(-18) - 0) + a/(-126) even?
False
Is 37 a factor of 15/10*4 + 589?
False
Let o be ((-12)/(-8))/((-3)/(-14)). Suppose -267 = 6*h - o*h. Suppose -4*b = 3 - h. Does 22 divide b?
True
Let g = -6 + 74. Let r = g - -8. Is r a multiple of 12?
False
Let l be (-6 - 0)*15/(-6). Let r = 92 + l. Is 6 a factor of r?
False
Suppose 34118 = 38*o + 2920. Does 12 divide o?
False
Let a be (1 - 0)/(2/(-8)). Let i = 9 - a. Is 13 a factor of i?
True
Suppose 7*t - 2*t - 5*x = 15, -x - 3 = 2*t. Suppose t = -7*z + 9*z - 512. Is 16 a factor of z?
True
Let n = 5659 + -3979. Does 74 divide n?
False
Let h(g) = g**2 + 4*g + 6. Let m(c) = -c**2 + c + 1. Let k(b) = h(b) - m(b). Let l be k(8). Suppose 4*w - j - l = 0, 3*w + j = 5*j + 134. Is 31 a factor of w?
False
Suppose 4*a - 16 = -x + 3*x, a = -3*x + 4. Suppose -z - 4*p + 56 = -0*z, 4*p = x. Does 8 divide z?
True
Let g = 87 + -163. Let y = 152 + g. Is y a multiple of 19?
True
Suppose 363 = -0*f + 3*f. Suppose r - f = -29. Is r a multiple of 28?
False
Suppose 2*g - 3*j - 6 = -0*j, 5*g + 6 = -3*j. Suppose g = -7*a + 3*a + 32. Does 2 divide a?
True
Suppose 2875 = 2*z + 3*z. Is z a multiple of 49?
False
Let o(s) be the first derivative of -6*s**2 - 25*s + 8. Is o(-4) a multiple of 2?
False
Let f = 52 + -48. Suppose 5*v = f*t - 330, -4*v - 512 = -5*t - 104. Does 18 divide t?
False
Let i(z) = 2*z**3 - 16*z**2 + 25*z - 38. Does 9 divide i(10)?
True
Let w(d) = 236*d - 569. Does 13 divide w(8)?
False
Let h(g) = g**2 + 2*g + 5. Let f be h(-5). Suppose -f*q + 56 = -16*q. Let b = 13 + q. Is b a multiple of 7?
False
Let j = -4228 - -7297. Is 99 a factor of j?
True
Let i(l) = -11 - 10 - 131*l + 126*l + 6. Let a = -15 - -6. Does 6 divide i(a)?
True
Let f be (-4)/(4/20*5). Is 2/f - (-1141)/14 a multiple of 14?
False
Let k be (-1532)/8 - 4/8. Let i be ((-17)/(-4))/((-16)/k). Let s = i - -9. Is 15 a factor of s?
True
Does 5 divide (0 + 1)*(152 + 0)?
False
Let n = -3 + 5. Let r be -46 + 4 - n - 4. Is 15 a factor of (20/16)/((-2)/r)?
True
Suppose 10*t - 7180 = 4150. Is t a multiple of 34?
False
Let n be 3/(-2)*(552/(-9) - 0). Suppose -3*p + 379 = -n. Does 29 divide p?
False
Let o(i) = -2*i**2 - 2*i - 3. Let t be o(0). Is 7 a factor of (2/(-4))/(t - (-285)/96)?
False
Suppose 65*f = 45589 - 349. Does 22 divide f?
False
Is 7 a factor of (-19 - 61)*(-2 - 1/(-1))?
False
Let z = 3338 + -1812. Is z a multiple of 37?
False
Suppose x + 3*x = 2*w + 4588, -3*w = 3*x - 3450. Does 17 divide x?
False
Suppose -4*x - 92 = -5*u + u, 5*x = 4*u - 95. Does 2 divide u?
True
Let m = 2714 - 1274. Is m a multiple of 15?
True
Let z = 25 - -6