-78. Let s = -14 + v. Does 8 divide s?
True
Suppose 0 = 3*f - p - 16, 0 = -2*f - 2*f + 3*p + 28. Suppose -5*v + 107 = -2*v + 5*s, f*v + 5*s = 141. Does 17 divide v?
True
Let w(j) = j + 2. Let p be w(3). Suppose 0 = s + c - 7, -12 = -5*s + 4*c + p. Does 2 divide s?
False
Suppose -10 = -x + 61. Is x a multiple of 12?
False
Is (-6)/(-4)*(1 + 1) a multiple of 2?
False
Let h(s) be the third derivative of -3*s**4/2 + s**3/6 + 6*s**2. Is h(-1) a multiple of 10?
False
Let h(w) = w**3 - 5*w**2 - 5*w - 4. Let o be h(6). Let j(x) = x**2 - 12 - 2*x**o + 18 + 8*x. Does 13 divide j(7)?
True
Let i(b) = b**3 - b**2 + b. Let o(r) = 3*r**3 + 4*r**2 - 2*r + 9. Let x(m) = 2*i(m) - o(m). Suppose 2*a + 35 = -3*a. Does 12 divide x(a)?
True
Let y = -7 + 12. Suppose -74 = -4*z + s, 0*s - 86 = -4*z - y*s. Suppose 0 = -p + z - 6. Does 13 divide p?
True
Let b be 81/15 - 4/10. Let x(p) = 3*p - 1. Let l be x(b). Let s = l + -8. Is s a multiple of 6?
True
Suppose 0*k - k = -5. Let r(o) = 3*o + 6. Is 10 a factor of r(k)?
False
Is 7 a factor of (-82)/(-3)*33/22?
False
Suppose -5*t + 4*g + 160 = 0, -5*t + 2*t + 96 = -4*g. Is 15 a factor of t?
False
Suppose 4*h + 2*l - 118 = -0*h, -5*h + 3*l + 120 = 0. Suppose 0*g = 4*g + 2*o - 42, o = 2*g - h. Is 3 a factor of g?
True
Suppose 4*s + 5*a - 55 = 0, s - 8*a + 3*a - 45 = 0. Does 9 divide s?
False
Let m(o) = -o**3 - 6*o**2 - 2*o + 6. Let v be (-2)/6 - 51/9. Is m(v) a multiple of 5?
False
Let b = -7 - -5. Let v be 3 + -3 + (b - -3). Is 11 a factor of 1 - 1 - -23 - v?
True
Let t(o) = -6*o - 5. Is 7 a factor of t(-2)?
True
Let n = -112 + 116. Let c(a) be the second derivative of a**4/6 - a**3/3 - a**2/2 + a. Does 6 divide c(n)?
False
Let w(x) = x**2 + 16*x - 72. Does 22 divide w(-32)?
True
Suppose 4*s + 65 = -3*d + 250, -s - 293 = -5*d. Is d a multiple of 11?
False
Suppose -2*y + 7*y - 60 = 0. Suppose -5 - 4 = 3*o. Let h = o + y. Is 9 a factor of h?
True
Let d be 8/(-4) + 4 + 1. Suppose 0 = -4*y - 4*u + 36, d*y = -4*u + 29 + 3. Suppose 5*j - 22 = -y*n, n = 5*j - 2*j - 3. Is j even?
True
Suppose -2*c + 278 = 3*b - 0*b, 283 = 3*b + c. Suppose -5*w = -3*w - b. Does 24 divide w?
True
Suppose -4*f - 17 + 65 = 0. Does 4 divide f?
True
Suppose 4*j + 5*g = -7, -4*g - g - 13 = j. Suppose 2 = j*a + 2*s, -4*a + 9*a + 3*s - 15 = 0. Does 5 divide a?
False
Let o = -2 + 4. Suppose o*p + 0*p + l = 18, -l - 15 = -p. Does 11 divide p?
True
Let j be (-11 - 4)*(-1)/3. Suppose -j*n + 15 = 5*f, -4*n - 4 - 4 = 0. Does 5 divide f?
True
Suppose 0 = 5*u - 721 + 116. Is 19 a factor of u?
False
Let v = -17 - -42. Is 13 a factor of v?
False
Let y(x) be the first derivative of 3*x**2 + 6*x + 4. Let j be y(9). Suppose -c - 3*c + 3*d + 67 = 0, 5*c + d - j = 0. Does 11 divide c?
False
Suppose 2*a + a = 48. Let j(s) = 7*s - 9*s + a*s + 13*s - 1. Is 13 a factor of j(1)?
True
Does 2 divide -1 - 0 - -1 - -4?
True
Suppose -2*f = -4*x + 119 - 3, -5*x - 305 = 5*f. Let i be f/(-16) - (-2)/8. Suppose 3*o + 3*m = o + 32, i*m + 48 = 3*o. Is o a multiple of 5?
False
Does 5 divide 4/(-10) + (-5)/(75/(-681))?
True
Suppose 0 = z + 2*z - 99. Is z a multiple of 11?
True
Let p = 151 - 31. Does 32 divide p?
False
Suppose -p + 3*h = 7, 7 = 4*h - 5. Let b(j) = j - j + 3*j**p + 1. Is b(-2) a multiple of 13?
True
Suppose -302 = -4*i + h - 0*h, 85 = i - 5*h. Is i a multiple of 25?
True
Suppose 5*t - 185 = -5*h, -3*t = -7*t + 4*h + 180. Is t a multiple of 17?
False
Let v be (-2)/(-9) - (-374)/18. Let i be 6/v - (-362)/7. Suppose -2*p + i = -0*p. Is p a multiple of 9?
False
Let t(p) = 2*p**2 - 5*p - 11. Let k(r) be the second derivative of -r**4/4 + 7*r**3/6 + 17*r**2/2 + r. Let l(h) = 5*k(h) + 8*t(h). Is l(7) a multiple of 6?
False
Suppose 6*c + 550 = c. Let b = c + 163. Suppose -3*j + 37 = -b. Is 18 a factor of j?
False
Does 21 divide 3/(-9) + 626/6?
False
Let s(h) = h - 3. Let t be s(9). Let y be (-1 - 29)*t/15. Is ((-17)/4)/(3/y) a multiple of 12?
False
Let x(v) = v - 1. Let t be x(3). Let a be 0 + (t - 1) - 2. Does 11 divide 3*9 - a - 0?
False
Suppose -4*j = -2*u - 18, -j - u - 4 = -2*j. Suppose -j*h = -48 - 117. Is 12 a factor of h?
False
Let x = 17 + -15. Suppose x*g - 156 = -g. Is g a multiple of 13?
True
Let s = 13 - 10. Suppose -s*c + 165 = 2*c. Does 25 divide c?
False
Let b(h) = -h**3 + 4*h**2 + 4*h - 1. Does 5 divide b(3)?
True
Suppose 213 = 3*b + 4*t, b - 51 = -t + 20. Does 12 divide b?
False
Is (4/8)/(1/86) a multiple of 9?
False
Let g be ((-17)/1)/(-3 - -2). Suppose -16*m + 15*m = -g. Does 17 divide m?
True
Suppose 3*r + r = 640. Suppose 4*o = -3*q + q + r, 4*o + 5*q = 166. Let v = o - 9. Does 15 divide v?
True
Let f = -52 + -11. Let x = -43 - f. Does 20 divide x?
True
Suppose 12 = 7*q - 86. Is 7 a factor of q?
True
Suppose -p = p + 5*f - 3300, -p + 2*f + 1668 = 0. Suppose -5*w + 0*w = -p. Suppose 5*n + 117 = w. Does 12 divide n?
False
Let y = -5 - -1. Let m = 14 - 20. Let a = y - m. Is a a multiple of 2?
True
Let x = -28 - -57. Let t = 40 - x. Is t a multiple of 11?
True
Let r(y) be the second derivative of y**4/12 + 16*y**2 - 2*y. Does 16 divide r(0)?
True
Let r be (-8)/((-4)/2 - 0). Suppose 124 = -r*x - 172. Is x/(-4) - (-6)/12 a multiple of 14?
False
Let x = -36 - -22. Is 25 a factor of (-746)/x - 8/28?
False
Let w = -73 + 112. Does 10 divide w?
False
Let h be (-6 - -8) + 1 + -1. Suppose 3*o = -0*k + 5*k + 116, -80 = -h*o + 4*k. Is 8 a factor of o?
True
Suppose 3*f - 4*z - 7 = -0, -5*z = -2*f. Suppose f*q - 10 = -2*m, 9 = 5*q - 2*m - 1. Suppose -7 = -q*p + 7. Is 6 a factor of p?
False
Let j(b) = 2*b**2 - 11*b - 6. Let a(h) = 9*h. Let t be a(1). Does 19 divide j(t)?
True
Let p = -111 + 251. Is 14 a factor of p?
True
Suppose 0 = 5*i - 3*v - 9, -2*i = 2*v + 3*v + 15. Suppose i = 5*f - f - 12. Suppose z = f*z + 2*l - 30, z = -5*l + 15. Does 7 divide z?
False
Let a = 8 + -3. Suppose -w - 5 = 0, -2*w - 36 = -a*r - 11. Does 14 divide r/(-6) - (-170)/4?
True
Suppose 0 = -5*i - 5, -6*i + 4*i = 2*o - 70. Suppose 5*w - 124 - o = 0. Does 7 divide w?
False
Suppose -2*n + 6*n = 52. Is 7 a factor of n?
False
Suppose 0*i + 5*i - 15 = 0. Suppose i*c = 4*c. Let m(y) = y**3 - y**2 - y + 13. Does 13 divide m(c)?
True
Let d = 39 - 55. Let f = -3 + 39. Let x = d + f. Does 10 divide x?
True
Suppose 5*m = -4*r + 280, 3*r + r + m = 280. Does 11 divide r?
False
Let w(l) = l**3 + 6*l**2 - 6*l + 12. Let a(s) = s**3 + s. Let j(m) = 2*a(m) - w(m). Does 12 divide j(6)?
True
Let y(x) = -x**3 + 3*x**2 - 5*x - 5. Let t(m) = -2*m + 8. Let l be t(6). Let q be y(l). Suppose 5*d = -5*b - 47 + q, -3*d - 2*b + 52 = 0. Is 6 a factor of d?
False
Suppose -z = -2*z + 6. Is z even?
True
Let h(w) = w - 7. Let k be h(7). Let p be (-39)/(-4) - 1/(-4). Suppose k = -5*u - 0*u + p. Does 2 divide u?
True
Let p(z) = 122*z + 1. Let t be p(1). Let f = -80 + t. Is f a multiple of 22?
False
Suppose g = 4*y + 211 - 638, -4*g + 236 = 2*y. Is 24 a factor of y?
False
Suppose -8*i + 86 - 14 = 0. Does 3 divide i?
True
Let t(c) = 10*c + 4. Let f = -6 - -11. Does 19 divide t(f)?
False
Suppose 4*d - 7*d + 39 = 2*t, -18 = -2*t + 4*d. Is t a multiple of 4?
False
Suppose 3*v - 7*v + 104 = 0. Let s = v - 12. Does 7 divide s?
True
Suppose -5*q + 54 = t - 3*q, -4*q + 270 = 5*t. Does 6 divide t?
True
Let c(r) = -r**2 - 14*r - 6. Is 6 a factor of c(-13)?
False
Let r = 104 + -46. Suppose -n = -1, 0*n + 4*n - r = -3*g. Is g a multiple of 4?
False
Let g(d) = -71*d**3 + d**2 + 2*d + 1. Let q be g(-1). Let t = 3 - 0. Suppose 37 = -5*u + 2*l + 106, t*l = 5*u - q. Is u a multiple of 5?
False
Let h(s) = 3*s - 3. Let m be h(5). Suppose 4*f = f - m. Is 380/(-25)*10/f a multiple of 19?
True
Let u = -8 + 16. Let b = u - -7. Is b a multiple of 5?
True
Suppose -4*y + 2*y + 88 = -4*j, -4 = j. Let p = y + -20. Does 8 divide p?
True
Let t be ((-2)/3)/((-7)/(-21)). Does 2 divide 1 + 1 + 5 + t?
False
Suppose 0 = 5*b - 198 + 63. Does 3 divide b?
True
Let x be (20/2)/(2/36). Suppose h - x = -2*h. Suppose -2*g - g = -h. Is 10 a factor of g?
True
Let z(t) = -t**3 + 9*t**2 - 18. Does 14 divide z(8)?
False
Suppose 0*x + 1425 = 5*x. Suppose 3*m + 2*m = x. Suppose 2*c - s = 29, -5*c + s + 11 = -m. Is 10 a factor of c?
False
Suppose -4*f = -x - 24, -3*f + 38 - 3 = -5*x. Let p = 24 + -22. Suppose p*n - f = n. Is 4 a factor of n?
False
Let j = 19 + 24. Does 15 divide j?
F