 p(-6) a multiple of 7?
True
Let c = 31 + 89. Suppose x + 31 - c = 0. Is x a multiple of 16?
False
Let n be 2/6 + (-232)/(-24). Suppose 0*y + 5*y = n. Suppose 3*p = 5*h + 85, 0*h - 44 = -y*p - 3*h. Is p a multiple of 25?
True
Suppose -43*u + 45*u + 2*a - 304 = 0, 5*u - 796 = 4*a. Does 26 divide u?
True
Let n = -172 + 186. Is n a multiple of 7?
True
Let r(n) = -n**3 - 9*n**2 - 10*n - 7. Let v be (24/(-9))/((-2)/(-6)). Is r(v) even?
False
Suppose 7*n = 2*n + 280. Suppose 0 = -5*y + 300 + 115. Let d = y - n. Does 13 divide d?
False
Let w(j) = 5*j - 9 + 27 - 16*j + 8*j. Is 3 a factor of w(-5)?
True
Let d(n) = -n**2 - 42*n - 51. Is d(-25) a multiple of 22?
True
Let r(a) = -97*a**2 - 2*a + 1. Let v be r(1). Let b = -148 - v. Let k = b - -108. Does 27 divide k?
False
Let r = -2 - -2. Suppose 6*s - 2*s + 120 = r. Does 3 divide s/(-25)*45/6?
True
Let n be (-66)/18 - 3/(18/(-4)). Is (-1202)/(-8) - 1*n/(-12) a multiple of 15?
True
Let j be (1 + ((-63)/6)/7)*-6. Let u(l) = -l - 2*l + 7*l - 2. Is u(j) a multiple of 3?
False
Let m = -125 - -274. Let b = -90 + m. Is b a multiple of 3?
False
Suppose 16674 = 84*t - 42*t. Does 105 divide t?
False
Let c(q) = 575*q - 78. Does 16 divide c(4)?
False
Let b(z) = z**3 - 9*z**2 + 15*z - 3. Let a be b(11). Suppose -380 = -3*l + 2*i + 206, 2*l = -2*i + a. Does 4 divide l/24 + (-1)/4?
True
Let d(h) = 331*h**2 + 5*h + 4. Is 33 a factor of d(-1)?
True
Let z(r) = 9*r - 16. Suppose -5 = -q + 2*n - 0, 4*n = -q + 11. Let x be z(q). Suppose -5*j + 42 - 1 = 3*f, x = 4*f - j. Is 12 a factor of f?
True
Suppose -2*z - 5 = -z. Let u(m) be the first derivative of -m**3/3 - 11*m**2/2 - 7*m + 5. Is u(z) a multiple of 13?
False
Let y(a) = a**3 - 9*a**2 - 8*a - 18. Let h be y(10). Does 2 divide 14 - h/(-2)*0?
True
Suppose 5*f = 35*f - 7980. Does 19 divide f?
True
Suppose -575 = -5*y - 4*i, -5*y - i + 712 = 137. Does 18 divide y?
False
Suppose -2*k + j = -10, 2*k + 3*j - j = 4. Suppose -k*t - 6 = -5*l - 4, -2*t - 2*l + 8 = 0. Let r = t - -8. Is 10 a factor of r?
True
Let w be (-22)/(-8) - (-5)/20. Suppose 2*l = -w*l + 90. Is 9 a factor of l?
True
Let v(t) = -t**3 - 3*t**2 - 3*t - 2. Let u be v(-2). Suppose 2*o = 2*m - 126, 3*m - m - 138 = -4*o. Suppose u = 4*h - m - 59. Does 31 divide h?
True
Let m(l) = l**2 + 13*l - 6. Does 12 divide m(6)?
True
Let o = 20 + -18. Suppose 2*q = -o*f, -q - q = -4. Let s = f - -14. Is s a multiple of 3?
True
Suppose 3*z - 462 + 28 = -4*i, -2*z = -2*i - 308. Is z a multiple of 7?
False
Let z(c) = 2*c + 6. Suppose -m = -6*m + 25. Suppose u = -m*t - 0*u + 29, 3*t - 3*u - 3 = 0. Does 8 divide z(t)?
True
Let q(y) = -16*y + 12. Let o be q(7). Suppose 2*k + k = 498. Let f = k + o. Is 17 a factor of f?
False
Let o be 9/(-45) + (-7832)/(-10). Does 12 divide 1/(-2) - o/(-18)?
False
Let v be (-16)/4 - 3 - -3 - 0. Is 11 a factor of ((-201)/v)/((-9)/(-24))?
False
Let s(c) = c**3 + 3*c**2 + 6. Let a be s(3). Suppose 12 = 4*j - a. Is 10 a factor of j?
False
Let p = 6 - 6. Suppose p = -3*t - t + 16. Suppose t*c - 9 = 267. Does 20 divide c?
False
Suppose 1700 - 64 = m. Is m a multiple of 27?
False
Let f = -44 + 49. Suppose d - 246 = -f*d. Is 5 a factor of d?
False
Let p(n) = -169*n + 90. Does 42 divide p(-13)?
False
Let j = 139 + -53. Suppose 0 = -5*d - 6 + j. Does 20 divide 121/2 - 8/d?
True
Let b(r) = 50*r - 7. Is 2 a factor of b(1)?
False
Let h(j) = -4 + 3*j**2 - j + 0*j**2 + 4. Let i be h(-1). Suppose -7*v = -i*v - 63. Is 10 a factor of v?
False
Let g(j) = 46*j**2 + 43*j + 11. Is 16 a factor of g(5)?
True
Let i = 212 + -186. Is 20 a factor of i?
False
Let d(x) = 2*x**2 - x + 55. Suppose 0 = -3*h + 5*h. Suppose -10*i + 6*i = h. Is 15 a factor of d(i)?
False
Is (289/17 - -118)*(-1)/(-3) a multiple of 2?
False
Let o(f) = 12 - 3 + 22 + 19 - 2*f. Is o(-24) a multiple of 9?
False
Suppose 0 = 27*x - 20*x + 56. Is (-5*3)/(x/24) a multiple of 9?
True
Suppose -5*i + 321 = -334. Let m = 183 - i. Suppose -40 = -3*t + d, 3*t - m = -0*d - 5*d. Does 7 divide t?
True
Is 47 a factor of ((20 - 10) + -5)/(3/564)?
True
Let f = 10 + -6. Let b(t) = -3 + t + 1 + 7 - 2. Is 7 a factor of b(f)?
True
Let v(t) be the second derivative of t**4/4 - 13*t**3/6 - 6*t**2 - 55*t. Is 44 a factor of v(12)?
True
Let w = -13 + 14. Let m be -1 - -5 - (1 + w). Suppose m*d = -2*d + 124. Does 14 divide d?
False
Let j(w) = w**3 - 10*w**2 - w + 16. Let p be j(10). Let l be 1/p - (-872)/(-48). Is 11 a factor of 2*-1*(l - 1)?
False
Is 6 a factor of (-444)/296*920/(-3)?
False
Let l(m) = m**2 + 12*m. Let z be (-76)/(-18) - (-26)/(-117). Let k = z - 18. Is 7 a factor of l(k)?
True
Let g(v) = 6*v + 17. Let n(r) = 3*r + 9. Let d(q) = -6*g(q) + 10*n(q). Does 5 divide d(-6)?
False
Let q(g) = 77*g + 13. Let i be q(-6). Let x = i - -815. Suppose x = 4*y + 2*y. Is y a multiple of 24?
False
Let p(o) = 2*o**2 + 5*o. Let c be p(4). Let i = 102 - c. Is 25 a factor of i?
True
Suppose -4*d + 16 = -2*d. Let b = d + 21. Does 4 divide b?
False
Let c = -20 + 23. Suppose -3*o = f - o - 174, 0 = -c*o - 12. Is f a multiple of 14?
True
Suppose 21*n = 20*n + 1. Does 10 divide (n - (-1827)/35) + (-4)/(-5)?
False
Let l be 3*(2 - 3)*2/(-3). Suppose 0 = 3*r - l*r - 22. Is 3 a factor of r?
False
Let q = -10 + 12. Suppose s = 4*t + t - 75, -2*s = -q*t + 30. Is t a multiple of 15?
True
Let v = -1 + 21. Suppose -v = -3*a + a. Is a a multiple of 4?
False
Let l be 0 - -3 - (2 - -1). Suppose 5*n - 7 - 3 = 5*k, -3*k + n + 2 = l. Suppose q - 6*q + 42 = k*j, 4*j - 4*q = 112. Does 8 divide j?
False
Let t = -761 - -1117. Is 49 a factor of t?
False
Let j(r) = -r + 81. Let z be j(24). Let i = z + 24. Is 9 a factor of i?
True
Suppose -3*t = -6*t + 6. Suppose 0 = f + t*f - 105. Does 11 divide f?
False
Does 3 divide (-2 + -34)/((-60)/80)?
True
Suppose 46*r + 34*r - 142800 = 0. Is 51 a factor of r?
True
Let c(h) = -h**3 - h + 1. Let v(x) = -x**3 - 7*x**2 + x - 8. Let j(b) = c(b) + v(b). Is 10 a factor of j(-5)?
False
Let s(y) be the third derivative of 1/24*y**4 + 1/120*y**6 - 3*y**2 - 1/60*y**5 + 7/3*y**3 + 0*y + 0. Does 14 divide s(0)?
True
Suppose 0 = j - 3*m - 199, 23*j - 21*j - 425 = -3*m. Does 16 divide j?
True
Suppose -2*l - d = -6 - 109, 5*l + d = 280. Does 4 divide l?
False
Let o be (1/(-1))/(12/(-24)). Let d(x) = x**2 + 6*x + 7. Let a be d(-5). Suppose 0 = -2*m - o, -a*t + m = -3*t + 39. Is 9 a factor of t?
False
Let m = 1010 + -891. Is 31 a factor of m?
False
Suppose -j + 3 = 0, -5*d - 4*j - 9 + 36 = 0. Suppose -5*z + d*z + 14 = -4*l, -3*z = -15. Is 10 a factor of 1/((-4)/(-244)) + l?
True
Let n(a) = -3*a**3 - 4*a + 2*a**3 + 7*a**2 - 5 - 4. Let f be n(6). Suppose -f*l - l + 240 = 0. Is 12 a factor of l?
True
Let x be 14/(-28) + (-15)/(-2). Let w = x + 5. Does 12 divide w?
True
Let y be ((-20)/30)/((-4)/6). Let a = 0 - y. Is (-6)/(a - (-8)/12) a multiple of 18?
True
Let h(u) = -2*u - 5. Let s = -24 + 18. Let x be h(s). Let f(w) = 2*w**2 - 6*w - 8. Does 13 divide f(x)?
False
Suppose -56 = -36*r + 38*r. Let s = 34 + r. Let v(j) = 16*j - 23. Does 16 divide v(s)?
False
Let y be -27*6/(-54)*-6. Let s = y - -66. Is s a multiple of 4?
True
Let v(n) = -77*n - 576. Is v(-9) a multiple of 21?
False
Let l(h) = 17 + 3*h**2 - 9 - 2*h - 5*h. Is 16 a factor of l(5)?
True
Let l(v) = -13*v**2 - 3*v - 4. Let i(z) = -25*z**2 - 6*z - 9. Let c(f) = 2*i(f) - 5*l(f). Is 28 a factor of c(-2)?
True
Let o(v) be the third derivative of 4*v**5/15 + v**4/24 + 2*v**3/3 + 5*v**2. Is o(-2) a multiple of 14?
False
Let n(o) = 7*o**2 - 72*o - 42. Is n(17) a multiple of 48?
False
Suppose -2*n + 10 = -0*a + 3*a, -6 = -n - a. Suppose -2*v - x = -n, -v + 4*x + 10 = 6*x. Suppose -37 + 93 = v*s. Is s a multiple of 14?
True
Suppose -652 = 5*q - 9*q. Let b = 167 - q. Is b a multiple of 2?
True
Let u(b) be the second derivative of -b**4/12 - 7*b**3/6 - 3*b**2 + 6*b. Let d be u(-5). Suppose -52 = -d*m - 16. Does 9 divide m?
True
Is 49 a factor of ((-16)/12)/(23/(-20286))?
True
Let n = -1452 - -2362. Does 23 divide n?
False
Let v = 1013 - 607. Suppose -5*g = 16 - v. Let d = g - 54. Does 23 divide d?
False
Suppose 5*a - 1617 = -4*b, a = -5*b + 6*a + 2055. Is 12 a factor of b?
True
Is 9/(54/(-12)) - 191*-5 a multiple of 9?
False
Let w(d) = 59*d - 97. Is 7 a factor of w(8)?
False
Let r(q) = -248*q - 236. Does 27 divide r(-4)?
True
Suppose 2*p + p 