r of (-1 - -16) + (-52)/g?
False
Let y be 846/8 - 2/(-8). Suppose -7 = 5*w - i + 13, 4*i = 2*w + 26. Let a = y + w. Is 12 a factor of a?
False
Suppose 0*q = -8*q + 80. Suppose -q*y - 3*y = -2964. Is y a multiple of 19?
True
Suppose -5*t + 30 = 10*t. Let u(x) = -1 - 9*x**3 + 3 - 6 + x**2 - 2*x**t. Is u(-3) a multiple of 25?
False
Let r be (-2 - (-38)/14) + 30/105. Does 4 divide ((-224)/24)/(r/(-12))?
True
Let c = -692 - -730. Suppose -c*i + 23*i = -16500. Is 20 a factor of i?
True
Suppose 4*u - 3*h = h - 2616, 0 = -3*u - 4*h - 1990. Is 20 a factor of u/(-1) + (-3 - -8)?
False
Let p(u) = -1. Let h(x) = -x**3 - 13*x**2 - 15*x - 16. Let i(m) = h(m) + 4*p(m). Let j be i(-12). Does 2 divide j + -9 - (1 - 1)?
False
Let f(w) be the third derivative of w**6/120 + w**5/30 + 4*w**3 + 66*w**2. Let g(q) = -q**3 + 5*q**2 + q - 5. Let l be g(5). Is 6 a factor of f(l)?
True
Suppose 30 = 5*p + 29*a - 26*a, 3*a = 0. Let v = 219 + p. Does 35 divide v?
False
Let h(n) be the first derivative of 2*n**3/3 + 23*n**2 - 4*n + 181. Does 38 divide h(-26)?
True
Let g(q) = -66*q - 49. Is g(-20) a multiple of 13?
False
Suppose 3*s - 5046 = -5*m, 3*m - s - 2855 = 167. Is 7 a factor of m?
True
Let b = -255 - -69. Let w be 16/(-10) - -2 - b/(-15). Let o = 64 - w. Is 16 a factor of o?
False
Suppose 0 = t + n - 821, 3*n + 4 = 4*n. Suppose 2*q = -4*f + 2516, q + 4*f - 439 = t. Is 60 a factor of q?
True
Let l = -33 + 33. Suppose 3*y - 3*p = -y + 252, 2*y - p - 124 = l. Suppose -3*r + y = r. Is 5 a factor of r?
True
Suppose -108 = 4*d - 2*d + 4*s, 0 = -5*d + 3*s - 270. Let r = -262 + 252. Let a = r - d. Is 22 a factor of a?
True
Is (-6)/66 - 1870913/(-121) a multiple of 11?
False
Let f = -17897 + 33632. Is 12 a factor of f?
False
Suppose 0 = -16*m + 5*m - 99. Let h(v) = -4*v + 93. Is 2 a factor of h(m)?
False
Suppose 5*j - 3 + 13 = 0, -5*v + 2753 = -4*j. Suppose -556*i = -v*i - 6006. Is 33 a factor of i?
True
Let v be 0*(-1)/(-5)*(-40)/(-16). Suppose -7*g + 2*g + 15 = v. Suppose 0 = h + g*h - 548. Does 11 divide h?
False
Let f(s) = -76 + 1 + 57*s**2 - 58*s**2 + 22*s. Does 2 divide f(11)?
True
Suppose 4*a - 99*n - 1477 = -100*n, 5*a - 3*n = 1876. Does 32 divide a?
False
Let s = 29 + 4. Let j = -31 + s. Suppose 2*h - 24 = -2*b + 10, j*h - b = 40. Is h a multiple of 19?
True
Let u be (-11)/((-22)/(-8)) - -9. Suppose -r + 3*r - 511 = -5*l, u*r = 3*l + 1262. Does 23 divide r?
True
Let q = -6566 + 7096. Does 3 divide q?
False
Does 75 divide (-37)/((-370)/53700) + 4?
False
Suppose -6 = -d - 1. Let c(z) = 5*z - 60. Let l be c(d). Let u = l + 50. Does 11 divide u?
False
Suppose 4*k + 5*r - 6108 = 0, -2092 - 2492 = -3*k - 3*r. Suppose -2215 = -2*c + 3*o, -3*o = 2*c - 677 - k. Is 31 a factor of c?
False
Suppose 61 = 2*v + 35. Suppose -10*f - 36 = -v*f. Let m(s) = s**3 - 10*s**2 - 16*s - 3. Is 31 a factor of m(f)?
True
Suppose 4*a + 3*h = 24, 2*h - h = -a + 6. Let l(b) = a - 2*b**3 - 16*b + b**2 - 14 - 14*b**2. Does 6 divide l(-6)?
False
Let g(x) = 57*x**3 + x**2 + 18*x + 34. Let r be g(-2). Let w = r - -891. Is w a multiple of 19?
True
Let o be ((-6252)/21)/((-38)/665). Suppose 0 = -5*k + n + o, -5*n + 1042 = -26*k + 27*k. Is k a multiple of 54?
False
Let l(u) = -4 + 3*u + u**3 + 8 + 10*u**2 - 8 - 4*u**2. Let i be 80/32*(-3 - -1). Does 2 divide l(i)?
True
Let h = 206 - 206. Suppose 3 = 5*k - 4*k, -2*s + 4*k + 418 = h. Is s a multiple of 43?
True
Let p(m) be the second derivative of 5*m**4/3 - m**3/3 + m**2 + 6*m - 1. Does 13 divide p(2)?
True
Let w be (-2 + 36/16)*(1 - 1). Suppose w = 4*g + 2*g - 4470. Does 12 divide g?
False
Does 33 divide (-54)/6*-157*(6 + (-3)/1)?
False
Let m(a) = 5*a + 11. Let j be m(8). Suppose 0 = u + 5*t - j, 13*u - 15*u + 3*t = -63. Does 6 divide u?
True
Let q(x) = 68*x**2 - 82*x + 59. Is 95 a factor of q(18)?
True
Suppose -5*j + 164 = -196. Suppose 35 = -22*x + 101. Suppose x*g - j = -6*g. Is 6 a factor of g?
False
Let c(g) = 2*g**2 + 4*g + 4. Let i be c(-1). Suppose -i*b - 31 + 91 = 0. Is b a multiple of 10?
True
Suppose 42*o - 287679 + 109095 = 0. Is 120 a factor of o?
False
Suppose 2*q = q + 2. Suppose y = q*y - f - 514, -2*y = 2*f - 1012. Does 10 divide y?
True
Let c(z) = 451*z**2 - 14*z - 55. Is c(-3) a multiple of 5?
False
Suppose d = v + 5 + 5, 0 = -5*d + 2*v + 41. Suppose d = 3*z + 4. Let k(i) = 71*i + 1. Is k(z) a multiple of 12?
True
Let s(y) = -30*y**2 - 56*y + 70*y**2 + 33*y**2 + 48*y. Does 22 divide s(-2)?
True
Let u be 1 - 3 - -3 - 174. Let j = 44 + u. Let x = j + 184. Does 5 divide x?
True
Let j(z) = z**3 + 8*z**2 + 6*z - 1. Let x be j(-7). Suppose -2*m + 208 = -5*n, -2*n = -5*n - 3*m - 129. Does 41 divide ((-284)/14)/(x/n)?
False
Suppose 1311*k = 1372*k - 987468. Is k a multiple of 76?
True
Let v be (0 - -1) + 63 + (-6)/(-1). Let i = v - 39. Suppose -2*m - i + 49 = 0. Is 7 a factor of m?
False
Let x(w) = 302*w**2 + 270*w + 1657. Is 8 a factor of x(-6)?
False
Let c(t) = 30*t**2 + 12*t - 243. Is 255 a factor of c(9)?
True
Let z be 36/(-16) + (-3)/4. Is (-6 + 7 - z)*(0 + 61) a multiple of 13?
False
Suppose -b - 3*b = -3*t - 374, -t - 123 = -3*b. Let z(y) = -2*y**2 - 6*y + 2. Let i be z(2). Does 8 divide -3*(t/(-12))/(i/8)?
False
Suppose -2*l + 40 = 4*g, 12 + 38 = 4*l + 2*g. Suppose l*r = 16*r - 1224. Is r a multiple of 71?
False
Let o = 1 - -7. Let t be 117/(-12) - 2/o. Is 2 a factor of (t + 1)*-1 - -3?
True
Suppose 109 = 9*u - 323. Suppose -u*m + 48522 = -14118. Is m a multiple of 15?
True
Is 10/(-195)*3*1 - (-560888)/104 a multiple of 4?
False
Let i(u) be the third derivative of u**5/60 + u**4/2 - u**3/6 - 3*u**2. Let a(m) = -2*m**3 + 3*m**2 - 4*m + 25. Let j be a(3). Is 22 a factor of i(j)?
False
Let a = 52 + -45. Let c = 70 + a. Is 11 a factor of c?
True
Suppose u - 28855 = -2*u + 2*s, -5*s + 9641 = u. Does 22 divide u?
False
Let r(s) = -s**3 + 15*s**2 - 13*s - 12. Let v be r(14). Suppose -4*m = -0*m + v*w - 352, 2*m + 3*w = 184. Is 7 a factor of m?
False
Suppose 0 = 8*k + 6*k + 56. Is 15 a factor of (-7516)/(-20) + k/5?
True
Let x be (-6)/(-14) + 139062/(-343). Is x/(-45) - (-1499 + -2) a multiple of 32?
False
Suppose 2*c = 4*g - 170, 0 = -2*c - 0*c - g - 145. Suppose -4*n - 2 + 14 = 0, -5*t + 2*n - 491 = 0. Let w = c - t. Does 4 divide w?
False
Is 0 - 0 - -20050 - (-60 + (29 - -27)) a multiple of 33?
False
Let t be 2*4 + (-12)/(8 + -4). Suppose -t*p + 130 = 5*o - 355, -271 = -3*o + p. Is 3*(-4)/(-24)*o a multiple of 23?
True
Suppose 4*g = -4*k + 6284, 4*g - 6*k = -4*k + 6320. Does 9 divide g?
False
Let h be -34*-6*(-51)/(-6). Suppose -9*w + 26*w + h = 0. Let q = w - -146. Does 11 divide q?
True
Suppose -51*n = -114*n + 854595. Does 11 divide n?
False
Let s(t) = 7*t**2 - 2*t + 24. Let r be 3 - 7/(35/(-675)). Let z be (4 - 64/14) + r/21. Is 51 a factor of s(z)?
False
Suppose 1435 = 5*x + 29*q - 24*q, 5*q - 5 = 0. Is 22 a factor of x?
True
Suppose 0*g + 3 = g. Suppose -g*o - 7 = -10. Is 8 a factor of (4/(-5))/(o/(-20))?
True
Is -114*(0 + 3)*(1 - 4 - 8) a multiple of 18?
True
Let o(a) be the third derivative of -a**8/20160 + a**7/2520 + a**6/4 + a**5/30 + 23*a**2. Let i(v) be the third derivative of o(v). Is 12 a factor of i(0)?
True
Suppose -2*b = b + 159. Let i(d) = -9*d - 64. Let j be i(-18). Let z = j + b. Does 9 divide z?
True
Let a(h) = 8*h - 11. Suppose -3*p + 5*k - 70 = 0, -p - p - 3*k = 15. Let x = -11 - p. Is 6 a factor of a(x)?
False
Let p = 13 - 7. Is (-315)/p*(-16)/6 a multiple of 20?
True
Suppose 12560 = 5*c - 5*j, 0 = -4*c + 3*j + 293 + 9753. Does 5 divide c?
True
Let y(f) = -f - 8. Let b be y(-7). Let x(c) = 68*c - 6. Let h(p) = 67*p - 5. Let i(a) = -7*h(a) + 6*x(a). Does 20 divide i(b)?
True
Suppose 6555 = 106*o - 8846 - 5693. Does 16 divide o?
False
Let q = 53 + -58. Let x be -3 + 4 + q + 226*3. Suppose 5*k + 0*o = 3*o + x, 5*o = -4*k + 517. Does 15 divide k?
False
Let i(u) = 243*u - 426*u - 1 + 211*u. Does 10 divide i(5)?
False
Let y be (-4)/6 - (-84)/(-9). Let p(n) = -4*n**2 + 45*n + 31. Let b be p(12). Does 13 divide ((-15)/y + b)*-46?
False
Is (-30)/(-1065) + 3825395/497 a multiple of 179?
True
Let c(l) = 39*l - 29. Let s(f) = -3*f**2 - f + 5. Let m be s(5). Let i = 81 + m. Is c(i) a multiple of 41?
True
Suppose -4*b = -3*s - 1526, -215 = -4*s + 2*b - 2253. Suppose -r + 2*o - 298 = -0*r, -3*o = -2*r - 594. Let j = r - s. Does