3*h + 5*z + 515. Let u = h + 23. Is u a multiple of 8?
False
Let n = 116 + 45. Suppose -o - 2*o = 2*i - n, 2*o + 298 = 4*i. Is i a multiple of 38?
True
Let i = -519 - -530. Let u(l) be the second derivative of l**3/2 - 11*l**2/2 + l. Is u(i) a multiple of 18?
False
Suppose -1 = -q - 2. Let y = 4 + q. Suppose -181 - 125 = -y*i. Does 31 divide i?
False
Suppose 3*k - 146 = 5*p, 5*k + p + 3*p = 268. Let g = -11 + k. Let q = -24 + g. Does 17 divide q?
True
Let d = -7 - -37. Let i = -6 - -11. Suppose d + 5 = i*w. Is w a multiple of 7?
True
Let h(g) = 6*g**3 - 8*g**2 + 14. Is h(5) a multiple of 12?
True
Let h = 437 - 133. Suppose 7*m - 5*m = h. Is m a multiple of 38?
True
Let z be 60/(-36) + (-2)/6 - 1. Is z*(2 + 2)/(-4) a multiple of 2?
False
Is 5 a factor of (-4 - -95) + 6 + 3?
True
Let b = 42 - -99. Is 37 a factor of b?
False
Let v(d) = 4 + 3*d + 2 + 0*d. Suppose -3*k - 19 = -4*s, -2*s + 1 = -2*k - 7. Is v(s) a multiple of 5?
False
Let k = 21 - 14. Is 8 a factor of 5*6 + k + (6 - 14)?
False
Let a(k) = 2*k**3 - 3*k**2 + k - 2. Suppose 3*d - z = -3*z + 8, 3*d - 2*z = 4. Let x be a(d). Is (3 - 4)*x + 13 a multiple of 3?
True
Suppose 592 = 4*m + 2*y, m + 5*y = -m + 312. Let u = -126 + m. Is u a multiple of 2?
True
Let x(p) = -p + 5. Suppose -3*j + 24 = -4*i, 4*i - 3*i = -3. Let o be x(j). Is 9 a factor of 8/(o + -3)*-5?
False
Suppose -f = -2*k - 5*f + 2544, 3*k = -4*f + 3816. Suppose -5*d = 5*h - 2*h - k, 5*d - 4*h - 1244 = 0. Is 42 a factor of d?
True
Let y = -13 + -20. Let r be 8/44 + 3768/y. Does 19 divide ((-4)/3)/2*r?
True
Let z(p) = 6*p - 10. Let f be z(4). Suppose 0 = 3*i + 5*s + 3, 0 = -4*i - s + f - 1. Suppose 36 = x + i*u, 5 = -2*u + 3. Is x a multiple of 20?
True
Suppose -q - 2*x - 1 = 0, -5*q - 4*x + 13 = -0*q. Suppose -2*b = -4, 5*f + 0 = -q*b - 15. Let z = 37 - f. Does 21 divide z?
True
Let v(x) = 492*x - 58. Does 37 divide v(2)?
False
Let o(t) = -t + 3. Let d be o(10). Let s be (-552)/28 + 2/d. Is 4 a factor of (-5)/(s/8) + 14?
True
Let v = -19 + 23. Let o(b) = -b**3 + 10*b**2 + 7*b - 1. Does 41 divide o(v)?
True
Suppose 0 = -60*d + 49*d + 1529. Does 15 divide d?
False
Suppose 7*u - 772 = 3*u. Let a = 77 + u. Does 23 divide a?
False
Suppose 2*g + 3*q - 4 + 31 = 0, -5*g - 4*q - 64 = 0. Let j = g - -49. Suppose 0 = 2*t - j - 29. Is 17 a factor of t?
False
Suppose h + 4*h = 90. Suppose -322 = -8*z - h. Is 20 a factor of z?
False
Let o(q) = 12*q. Is 7 a factor of o(4)?
False
Let k = -58 + 49. Let a(v) = -v**2 - 12*v - 1. Is 15 a factor of a(k)?
False
Suppose -2*p = 37 - 237. Let q = 2 - 0. Suppose 7*u - p = q*u. Is 5 a factor of u?
True
Let x be (-5)/((-15)/(-4))*-6. Suppose -x = 2*q + 4. Does 10 divide (2 - -1)/(q/(-32))?
False
Let g(r) = r**2 + 1. Let v(z) = z**3 - 3*z**2 - 5*z - 6. Let a(c) = 5*g(c) - v(c). Is a(8) a multiple of 14?
False
Suppose -125 = -c + 83. Is c a multiple of 16?
True
Let l(d) = d**2 - 8*d + 2. Let v be ((-10)/35 - 116/(-14)) + 1. Is l(v) a multiple of 11?
True
Let n(c) = 42*c + 16. Does 7 divide n(6)?
False
Let x = 95 + -54. Suppose x = 5*u - 4*u. Is 8 a factor of u?
False
Let x be 1724/6 - 10/(-15). Suppose -8*t - x = -16*t. Is 15 a factor of t?
False
Let u(h) = 2*h**2 + 43*h - 5. Does 64 divide u(-23)?
True
Let h(d) = -2*d**2 - 5*d - 6. Let w be h(-3). Let a be (-1 + 1)/(w/9). Suppose 5*n - 2*n - 9 = a, 0 = 3*k + 3*n - 105. Is 11 a factor of k?
False
Suppose 4*c - 12 = 4*o, -2*c + 14 = -3*o - o. Let a(d) = -7*d**2 + 13*d + 4. Let v(y) = 3*y**2 - 6*y - 2. Let w(f) = -4*a(f) - 9*v(f). Does 3 divide w(o)?
False
Suppose -60 = 4*w - 5*d, d + 16 = -2*w - 0. Let l be (-454)/w - (-15)/25. Let i = 4 + l. Is 25 a factor of i?
True
Suppose v + 3*h - 2*h - 7 = 0, 4*v - 2*h - 4 = 0. Suppose 4*b = r - 9, -3*r + 0*b - v*b = -57. Is r a multiple of 8?
False
Suppose -101*n = -35*n - 153252. Does 43 divide n?
True
Suppose u + 4*h - 6*h = 135, 4*u = -4*h + 576. Is u a multiple of 47?
True
Let m(n) = -n + 11. Let g be m(6). Let h(x) = x**3 - 3*x**2 - 3*x - 6. Let t be h(g). Let i = t + -1. Is 21 a factor of i?
False
Let z = -443 + 928. Is z a multiple of 30?
False
Suppose k - 2 = 2*a - 53, -3*a = 5*k + 203. Let u = k + 25. Does 25 divide (-3)/u*3*62?
False
Let y = 13 - -12. Does 2 divide (-15)/y*(-4 - 1)?
False
Let s be 115/(-25) - (-4)/(-10). Is 10 a factor of (-3)/(-5) + (-97)/s?
True
Let x be (-2)/(1 - (-8)/(-6)). Suppose 14 - 4 = l. Let f = l - x. Does 3 divide f?
False
Let r be (3 - (-5)/(-2)) + 747/6. Is 11 a factor of (-13 - r)*(-2)/4?
False
Let z = 309 - 171. Let m = -48 + z. Is m a multiple of 30?
True
Let t = -36 + 30. Does 7 divide (-2394)/(-27)*(-9)/t?
True
Suppose -653*r = -652*r - 2163. Does 21 divide r?
True
Let q = 450 + -228. Does 8 divide q?
False
Let l = -1 + 7. Suppose 5*q - l*q + 2 = 0. Does 7 divide -3 + q + 1 + 14?
True
Is 4 a factor of (159/(-3))/(2/(-12))?
False
Let c be (-20)/4 + 0 - -3. Let r be c/(4/19)*-16. Let n = r + -84. Is n a multiple of 32?
False
Let y(r) = -2*r - 4. Let u be y(-3). Does 41 divide (u + -104)/(1 - (-2 - -5))?
False
Let m be -3 - 0 - 0 - -25. Let n = -20 + m. Suppose -n*w = -7*w + 30. Is 3 a factor of w?
True
Let a(r) = -503*r + 79. Does 18 divide a(-2)?
False
Let n = -74 - -568. Does 13 divide n?
True
Let w(m) be the third derivative of m**5/60 - m**4/4 - 5*m**3/6 + 4*m**2. Is w(9) a multiple of 10?
False
Let b = -422 + 2126. Is b a multiple of 71?
True
Let r(j) = 27*j + 3. Let y(o) = 56*o + 7. Let w(p) = 5*r(p) - 2*y(p). Suppose c + 3*x = 1, -x - 2 = -2*c - 5*x. Does 8 divide w(c)?
True
Let r(j) = j**2 - 20*j - 40. Is r(-7) a multiple of 12?
False
Let o(j) = 7*j**2 + 6*j + 7. Let p be o(-3). Suppose -67 = -4*t + 5*x, 2*t = 5*t - 2*x - p. Suppose 0 = r - 11 - t. Is 12 a factor of r?
False
Does 28 divide 170/(-425) + 4632/5 + -2?
True
Let i be (-916)/(-6) + (-10)/15. Suppose -9*h = -5*h - i. Is h a multiple of 8?
False
Let w(v) = -3 + 3 + 2 + 5*v - 5. Is 7 a factor of w(2)?
True
Let q be (-1200)/(-26) - 14/91. Suppose -74 = -4*z + 2*o, -2*o = z + 3*o - q. Does 6 divide z?
False
Suppose -7*a + 1573 = 6*a. Let w = a + -60. Does 11 divide w?
False
Suppose 4*s = 14*s - 4140. Is 7 a factor of s?
False
Suppose 1367 = 3*m - y, 2*m - 5*m + 3*y = -1365. Is m a multiple of 12?
True
Suppose 58*i - 56*i = s + 4551, i + 3*s = 2272. Does 26 divide i?
False
Let t(b) = -3*b. Let x = -14 + 13. Let o be t(x). Suppose 5*c = -3*u - 3 + 31, 4*c + o*u - 23 = 0. Is 4 a factor of c?
False
Let h = -1590 + 2106. Does 3 divide h?
True
Let x = 0 - -18. Let w = x + -20. Does 17 divide (85/(-10))/(w/8)?
True
Suppose -m - 2 + 3 = 0. Let u = m + 23. Is 10 a factor of u?
False
Let s(i) = -i**3 + 14*i**2 - 3*i + 12. Is 23 a factor of s(10)?
False
Suppose 8*m = 3*m + 30. Suppose -2*b = -4*b + m. Suppose -59 = -3*r + 5*y + 4, b*y + 21 = r. Does 7 divide r?
True
Let z(l) = 6*l**2 + 7*l - 37. Is z(-6) a multiple of 9?
False
Let g(f) be the first derivative of 7*f**3 - 9*f**2/2 - 16*f - 7. Is g(-3) a multiple of 40?
True
Let t = -103 - -222. Is 17 a factor of t?
True
Let h(t) = 119*t - 46. Is 43 a factor of h(4)?
True
Suppose m = 6*m + 15, 0 = w + 5*m + 13. Let g be (16/(-10) - -2)*5. Suppose -2*h = 2*c - 16 - 46, w*h - g*c - 82 = 0. Does 16 divide h?
False
Let f(x) = 5*x**2 + x - 1. Let b = -46 - -51. Is f(b) a multiple of 11?
False
Let p = 194 + 103. Is 33 a factor of p?
True
Let i(d) = d**2 - d - 1. Let j(q) = 12*q**2 - 24*q - 11. Let l(n) = -6*i(n) + j(n). Let o(x) be the first derivative of l(x). Is o(9) a multiple of 25?
False
Let u(r) = -r**2 - r + 79. Let s be 4/8*(-1 - -1). Let n be u(s). Let c = n - 23. Is 28 a factor of c?
True
Is (18 + 120)*5/6*9 a multiple of 148?
False
Suppose 4*z + 3*w - 20 = 0, -3*z + w + 3 = 1. Suppose -4*q - 92 = -z*a, 5*a + 5*q + 4 = 249. Does 16 divide a?
True
Let o = 42 + 29. Let i = 139 - o. Is 7 a factor of i?
False
Suppose -4*s + 6*s + 4 = 0. Is 23 a factor of (-210 + s + 5)*(-1 - 0)?
True
Let z = 2361 + -1400. Does 31 divide z?
True
Suppose -8*m = -4*m - 8. Let b(a) = -2*a**2 + 17 + 3*a**2 - 2*a**2 - a**3 - m*a. Is b(0) a multiple of 5?
False
Does 9 divide (-12)/(-18)*(1150/4 + -1)?
False
Let g(a) = -a**3 - 2*a**2 + 6*a + 5. Let j be g(-4). Let y = 12 - j. Is 1035/36 + y/(-4) a multiple of 15?
False
Suppose q + r - 1 - 1 = 0, 5*q - 2*r - 31 = 0. Suppose 5*y = 2*h - 27, 9*y - 