uppose -5*z - 2*c + 683 = 0, 0 = -2*z + 2*c + 3*c + 250. Let h = 309 + -118. Let b = h - z. Does 10 divide b?
False
Let g = 20242 + -7672. Is (-2)/11 - g/(-165) a multiple of 4?
True
Let w = -114 + 45. Let b = w - -159. Does 30 divide b?
True
Suppose -3*m - 15 = 2*m. Let g be m + 4*132/8. Is (g - 9/(-3)) + 0 a multiple of 22?
True
Let p be 14/(-4)*(0 - 4). Let t be (p - 74)/((-2)/2). Suppose 3*i - 6*i - 3*x + t = 0, -3*i + 85 = -2*x. Is 5 a factor of i?
True
Let y(g) be the third derivative of g**5/15 - 2*g**3 - 4*g**2 - 5. Is 21 a factor of y(-4)?
False
Suppose -3*q + 19 = -i, 7*q - 4*q - 2*i = 23. Suppose 5*t - 210 = k - 3*k, -2*k + 170 = -q*t. Is 18 a factor of k?
False
Let t(d) = 36*d + 1021. Is 81 a factor of t(-5)?
False
Let q be (-10)/(-3) - (-10)/(-30). Suppose -2*t = -0*f + f + 2, q*f = 2*t - 6. Suppose 76 = 2*m + 3*n, 5*m + t*m = 2*n + 190. Is m a multiple of 19?
True
Does 4 divide (9 + -1 - 1) + 12?
False
Suppose 3*y - 2*j - 165 = 151, -2*y + 2*j = -212. Is y a multiple of 4?
True
Let b = 939 - 564. Does 6 divide b?
False
Does 34 divide -9 + -7 + (-6368)/(-8)?
False
Suppose 0 = 2*l - 3*j - 10, -l + 5*j = 2*l - 16. Is 15 a factor of (l - (-30)/(-4))*-12?
False
Suppose -12 = -2*x + 2*c, -19 = -5*c + 1. Suppose -j = -x*j + 369. Is 24 a factor of j?
False
Let l(j) be the third derivative of -j**5/60 - j**4/24 + 10*j**3/3 + 9*j**2. Is l(-4) a multiple of 4?
True
Let m(n) = n**2 + 3*n + 96. Is 5 a factor of m(0)?
False
Suppose 4 = 2*j + 6. Is 31 a factor of (j - 278)*(-15)/45?
True
Suppose 4*i + 7 = -9. Let t be ((-6)/i)/(3/8). Suppose -q - 4*q = 2*s - 128, t*q = 3*s + 84. Does 8 divide q?
True
Let k(v) be the second derivative of -v**5/4 - v**4/6 + 5*v**3/6 + 5*v**2/2 + 8*v. Let r be k(-3). Suppose -4*i = -5 - r. Is i a multiple of 13?
False
Let w(p) = -p**2 + 11*p - 1. Let r be w(7). Let x = -24 + r. Suppose -x*d + 76 + 20 = 0. Is 16 a factor of d?
True
Let t = -7 + 54. Let o = 21 + t. Is o a multiple of 21?
False
Suppose 3*a + 5 = 20. Suppose -19 = a*m - 219. Does 10 divide m?
True
Let q(w) = 3*w + 11. Let p be q(-3). Suppose -p*h - 4 + 18 = 0. Let x(r) = 4*r - 6. Is x(h) a multiple of 11?
True
Let b(v) = -11*v - 14. Suppose -25 = 3*t - 4*u, 4*t - 6 = 5*t + u. Is 8 a factor of b(t)?
False
Let t(o) be the first derivative of -o**4/4 - 8*o**3/3 + 17*o**2/2 + 25*o - 31. Does 17 divide t(-10)?
False
Let n be (8/6)/((-6)/(-27)). Let k(s) = s**3 - 7*s**2 + 6*s + 4. Let p be k(n). Is (22/p)/((-10)/(-80)) a multiple of 11?
True
Suppose -4*j - 23 = -3, -5*j - 13 = 4*q. Suppose -q*a = a - 108. Is 9 a factor of a?
True
Let d(z) = -z**3 - 5*z**2 - 6*z. Let j be d(-4). Let o be -34*(-2 - (-12)/j). Let k(a) = 4*a - 24. Is k(o) a multiple of 11?
True
Suppose -4*t = -4*o - 11808, -2*o + 14961 = 4*t + 3165. Is t/(-15)*24/(-20) a multiple of 35?
False
Does 149 divide (46/10)/(54/40230)?
True
Suppose 0 = -4*s + 5*s + 3*a - 11, -2*a = -3*s - 11. Does 5 divide ((-3 + s)/(-4))/(3/54)?
False
Suppose 0 = -5*p + 25, 5 = 4*x - 5*x + 5*p. Is x a multiple of 4?
True
Let a = 246 - 192. Is a even?
True
Let o = -15 + -24. Let t(x) = x - 1. Let y be t(-5). Let i = y - o. Is 11 a factor of i?
True
Suppose 5*o - 16 = -2*h, -7 = -o + h - 1. Suppose 0*w - 8 = 4*w + 4*z, 5*w + o*z = -7. Does 11 divide 28 - 0 - (-1 - w)?
False
Let m(r) = -2*r + 11*r**2 + r**3 + 0*r + 3*r + 9*r + 2. Let g be m(-10). Suppose 17 = q - 3*p, -2*q = q - g*p - 65. Is 20 a factor of q?
False
Let u be (8/6)/(1/72). Let h = -11 + 51. Let d = u - h. Does 19 divide d?
False
Let u = -1305 + 2639. Is u a multiple of 58?
True
Let r = 456 + -408. Is 16 a factor of r?
True
Suppose -1776 = -127*z + 123*z. Is z a multiple of 12?
True
Let b(k) = k + 3. Let f be b(-1). Is 18 a factor of (-5 - 104)*-1 + f + 0?
False
Let f(i) = -i**2 + 42*i. Is 6 a factor of f(29)?
False
Suppose -4*c - c = 3*y - 7397, -2*c = -7*y + 17246. Does 112 divide y?
True
Let t = -87 - -113. Suppose t = j + v, -v + 2*v - 72 = -3*j. Does 3 divide j?
False
Is 4 a factor of 5847/15 + 32/160?
False
Suppose 2*o = -0*o - 4. Let u be (60/18)/(o/(-3)). Suppose 5*x - 26 = 5*y + 149, 215 = 5*x + u*y. Does 9 divide x?
False
Let k be (-1)/(-2)*(-14 + -18). Does 3 divide ((-3)/(-1))/(k/(-32))?
True
Let o(q) = 26*q + q**3 - 13*q - 6*q - 6*q - 10*q**2 + 2. Is 8 a factor of o(10)?
False
Suppose 0 = 9*s - 13*s + 780. Let h be (-13)/(-26) + (-39)/(-2). Suppose s = h*t - 15*t. Does 8 divide t?
False
Let y = 26 - 28. Let o(p) = -2*p**3 + 2*p**2 + 3*p + 2. Is o(y) a multiple of 4?
True
Let c be (4/6)/(2/9). Is 18 a factor of (-2*6)/c - -60?
False
Suppose q + 5 = -6. Let s(b) = b**2 + 15*b - 14. Let m be s(q). Let t = -25 - m. Is t a multiple of 13?
False
Let l(c) = 138*c**2 - 3*c - 4. Is l(-3) a multiple of 29?
True
Let y = 1 - -1. Suppose 0 = -s + y*s + 7. Let g(b) = -b**3 - 7*b**2 - b + 1. Is g(s) a multiple of 4?
True
Suppose 240 = 11*k - 6*k. Suppose 3*q - k + 3 = 0. Is 30 a factor of (-298)/(-6) - (-20)/q?
False
Let f = -93 - -95. Suppose -2*w + 148 = -f*t, 11*w - 3*t = 6*w + 364. Is w a multiple of 17?
False
Suppose 287 = 5*o - 83. Does 40 divide o?
False
Let w(m) = m**2 + m + 588. Does 14 divide w(0)?
True
Suppose 5*s - 23 + 258 = 0. Suppose 4*o + 3*b = 314, 190 - 577 = -5*o - b. Let f = o + s. Is 5 a factor of f?
True
Let r(t) = 285*t - 171. Is r(7) a multiple of 22?
False
Suppose 2*c - 1714 = 3*a + 35, 5*a - 3553 = -4*c. Does 9 divide c?
True
Let o(a) be the first derivative of a**4/4 - a**3/3 - 5*a**2/2 + 2*a + 8. Let b be o(3). Suppose 4*m = 5*d - 67, b*d - 5*m = -2*m + 64. Is 5 a factor of d?
False
Let p(f) = f + 12. Let r be p(-9). Suppose -10 = -5*o, -4*k - 5*o - 98 = -0*o. Is 17 a factor of k/(-6)*28/r?
False
Is 11 a factor of (-80 - 1)*((-16)/2 - -5)?
False
Let g(l) = 3*l - l**3 - 12 + 12*l**2 + 8*l**2 - 6*l**2. Is 10 a factor of g(14)?
True
Let l = 430 - 253. Is 3 a factor of l?
True
Let p(s) = 2*s - 1. Let o be p(6). Let l be (-3)/(-9) - o/(-3). Suppose 2*t = z + 47, -l*t - 5*z + 99 = -2. Is 6 a factor of t?
True
Is 42 a factor of 30876/21 + ((-224)/98)/8?
True
Suppose -3*v + 61 = -4*m + 6054, -2995 = -2*m + v. Is m a multiple of 44?
True
Suppose 38 + 472 = -3*q. Let w be (6/(-10))/(2/q). Suppose 3*x = g + w, -3*x + 6*g + 42 = 2*g. Is x a multiple of 9?
True
Let v be (-6)/(-3) - 5 - -41. Is 8 a factor of (v/3)/(1/3) + 2?
True
Let g(l) = l + 18. Let m be g(-6). Suppose -6*y + m + 18 = 0. Suppose y*i - 8*i = -63. Is 7 a factor of i?
True
Let d(t) = -7*t**2 - 4*t - 11. Let a(i) = i**2 - i. Let x(y) = 6*a(y) + d(y). Let m be x(-8). Suppose 2*c = 2*p + 17 - 3, -m*p = 5*c - 65. Does 5 divide c?
True
Let i = 1032 - 548. Suppose -h - i = -5*h. Is h a multiple of 24?
False
Let d = -14 + 39. Is 5 a factor of d?
True
Let s(r) = -4*r - 9. Let i be s(-3). Suppose w = -4*p + 20, -i*w + 4*p - 1 = 3. Is 26 a factor of w + (42 - 1) + 1?
False
Let k(m) = -m**2 - 21*m - 45. Does 4 divide k(-5)?
False
Let v = 1683 + -395. Is 8 a factor of v?
True
Let n be (23/(-8) - 2/16)*1. Let b(t) = -10*t + 4. Is 3 a factor of b(n)?
False
Let f(y) = y**3 - 3*y**2 - 5*y + 2. Let o = -6 + 12. Let s be f(o). Suppose 2*k = -3*k + s. Is 4 a factor of k?
True
Suppose 3*i - 4*m = 604, -3*i + 0*m = -m - 619. Does 4 divide i?
True
Suppose 3*r = -0*r + 15, 2*i = r + 95. Let u = i - 41. Does 3 divide u?
True
Suppose 2*r = -4*b + 938, 2*b + 1886 = 24*r - 20*r. Is r a multiple of 18?
False
Let q(x) = 31*x**2 - x - 1. Let u be 9/3 + -1 + -6. Let b = 3 + u. Is q(b) a multiple of 8?
False
Let q = 16 + 67. Let b = q - 27. Is 24 a factor of b?
False
Let m = 226 + -113. Let x = m + -58. Suppose 70 + x = 5*w. Is w a multiple of 14?
False
Suppose -854 = -5*q - 2*n, 5*q - 4*n + 304 = 1176. Does 6 divide q?
False
Let q = 385 + 259. Does 53 divide q?
False
Let z(b) = -b**3 - 4*b**2 + 8*b - 18. Let o be z(-6). Is 1658/14 + o/(-14) a multiple of 45?
False
Suppose 8*i - 11*i + 507 = 0. Suppose -5*u = -m - 23 - 407, -m = -2*u + i. Let r = u + -34. Is r a multiple of 15?
False
Suppose m + 208 = -2*g + 1466, g = -5*m + 6245. Is m a multiple of 96?
True
Suppose 6*d - 747 = 3*d - 2*n, 1243 = 5*d + 4*n. Let l = d - 157. Is 13 a factor of l?
False
Is 972/33*7 + 4/(-22) a multiple of 11?
False
Let y be (-276)/(-5) + (-2)/10. Suppose -4*c = -9*c + y. Let z = -4 + c. Is 5 a factor of z?
False
Let z = 13 - 