= -l + y, 0 = 4*l - 3*r - 47. Does 8 divide l?
True
Suppose 1125 = -5*k - 3065. Let p be 14/(-49) - k/(-7). Is 36 a factor of (-5)/(3 - (-364)/p)?
False
Let l be (-8)/(-4) - (-1 + 0). Let z(j) = 17*j + 5. Is z(l) a multiple of 8?
True
Let m(q) = 26*q + 76. Is 14 a factor of m(17)?
True
Let n = 10 + -10. Suppose n = -2*t + t. Suppose 4*f - 8*f + 164 = t. Is 14 a factor of f?
False
Let u(c) = c**3 + 10*c**2 + c + 12. Let g be u(-10). Suppose 3*r - 5*f - 13 = 0, 0 = 5*r - g*r + 2*f + 1. Is 27 a factor of 1 - -56 - (2 + r)?
True
Let y(g) = 2*g - 28. Let d be y(15). Suppose -2*o + 44 = 5*h + 15, -d*o + h = -47. Does 22 divide o?
True
Let w be -2 - ((-4 - 1) + 1). Suppose -u = -3*b - 99, 0 = -u + 5*u - w*b - 446. Is u a multiple of 38?
True
Suppose 3795 = 3*w - 3*a, -w + 13*a - 18*a = -1241. Is 8 a factor of w?
False
Let q(p) = -2*p**2 + 35*p - 17. Is q(15) a multiple of 39?
False
Is ((-240)/(-2))/((-9)/12*-2) a multiple of 40?
True
Let n = -1845 + 3118. Does 19 divide n?
True
Let k(j) = -61*j**3 - j**2 + j. Let w be k(1). Let i = w + 117. Let z = -27 + i. Is 17 a factor of z?
False
Suppose -952 = -11*d - 6*d. Is 28 a factor of d?
True
Suppose 4*l + 99 = -3*x + 576, -l + 159 = x. Does 9 divide x?
False
Suppose -4*q + 8*q - 528 = 0. Let h = -72 + q. Does 20 divide h?
True
Let t(p) be the third derivative of p**5/60 + p**4/6 + p**3/6 - p**2. Let z be t(-4). Does 4 divide 11 - (5 + (-1)/z)?
False
Suppose 15*d - 11650 + 580 = 0. Is 21 a factor of d?
False
Suppose 241 = 3*i + 4*z - 270, -2*i = 4*z - 346. Is i a multiple of 54?
False
Let o(b) = b**2 + b + 6. Let h be o(0). Suppose -j - 5*v = -h*j + 10, -5*j - v = -28. Suppose 411 = j*t - 0*f + f, -3*t - 4*f + 250 = 0. Does 27 divide t?
False
Let w(o) = -o + 63. Is 19 a factor of w(-33)?
False
Let o = -1180 + 1804. Does 7 divide o?
False
Suppose 0 = -2*k + 4*o + 1482, -4*k + 3*k = o - 747. Is 19 a factor of k?
False
Let q be (2/3)/((-8)/(-420)). Suppose -3*p - q = 19. Let k = -3 - p. Is 11 a factor of k?
False
Is 10 a factor of (8022/(-28))/((-3)/4)?
False
Let d = -159 - -615. Does 26 divide d?
False
Suppose f + 3*o = 12, 10 = 5*f + 2*o - 11. Suppose -f*s + 4*s = 23. Is s a multiple of 5?
False
Let h = 330 + -157. Is 28 a factor of h?
False
Let s(b) = 3*b**3 - 2*b**2 + 2*b - 1. Let z be s(1). Suppose 0*h = -z*h + 10. Suppose 110 - 25 = h*x. Is 7 a factor of x?
False
Let r(t) = 5*t - 3. Let o be r(3). Let y be (2 - 2)/(1/(-1)*-2). Is y*(-2)/4 + o a multiple of 4?
True
Suppose -39*j + 7923 = -4947. Is 22 a factor of j?
True
Suppose -487 = -5*w - 37. Is w a multiple of 90?
True
Suppose -4*d = -3*v - 36, 5*v + 3 = 2*d - 1. Let q = 63 - d. Is q a multiple of 45?
False
Let x = 8 + 0. Suppose -x*u + 1171 = -285. Is 38 a factor of u?
False
Let r(s) = -s**2 - 11*s + 13. Suppose 0 = 5*g + p + 64, 3*g = 4*p - 6 - 14. Let a be r(g). Let w = a - -51. Does 13 divide w?
True
Suppose -4*p - 2*w + 17774 = 0, -4*p = -0*p + 4*w - 17764. Is p a multiple of 16?
False
Suppose -5*c = -c - 164. Suppose 2*a + c + 127 = 0. Does 14 divide (-1)/(-4)*-2*a?
True
Suppose -3*q + 24 = 5*o - q, -o = 3*q - 10. Let d(j) = 11*j**2 + j + 8. Does 18 divide d(o)?
False
Let t be 5*4/(-4) + 1. Is (-2 - t)/(-1) + 23 a multiple of 7?
True
Let d(q) = -q + 18. Let a be d(14). Suppose 3*y + 143 = 2*g, g - 6*g - a*y + 369 = 0. Does 9 divide g?
False
Let p(i) = i**2 + 5*i + 5. Let d be p(-5). Suppose 1 = h - 2*s + d, -5*h + 2*s - 20 = 0. Is h/(-10) + 129/15 a multiple of 2?
False
Let c = -3 + 6. Let a(n) = n**3 + 9*n**2 - 9*n + 15. Let z be a(-10). Suppose -5*d = -25, t + c = z*d + 7. Does 6 divide t?
False
Suppose -3*p = -5*w - 7, -p + 2*p - 4*w - 14 = 0. Let u = 261 + p. Does 17 divide u?
True
Let c(x) be the first derivative of x**4/4 - 4*x**3 + 7*x**2 + 9*x - 4. Let i(z) = 3*z + 5. Let g be i(2). Is 11 a factor of c(g)?
False
Let h = 1121 - 589. Suppose 4*l + 2*z = 728, -3*l + z + z = -h. Is 15 a factor of l?
True
Let g(w) = 58*w**2 - 3*w + 1. Let o be g(1). Suppose s - 136 - o = -3*h, -5*h = 3*s - 316. Let q = h + 13. Is 26 a factor of q?
True
Let t be (-2)/4*263*(-2)/1. Suppose -6*g + t = -529. Is g a multiple of 9?
False
Let j(i) = 27*i**2 + 16*i - 61. Does 10 divide j(9)?
True
Suppose 3*u + 2*l + 30 = 0, 4*l = -4 - 8. Let n = u - -32. Is 5 a factor of n?
False
Let o(k) = -4*k**2 + 2*k + 5. Let f(g) = g**2 - g. Let d(a) = 6*f(a) + o(a). Does 3 divide d(2)?
False
Suppose 4 = 2*f - 0. Let x(w) = 714 - 2*w + 4*w - 715. Is 2 a factor of x(f)?
False
Suppose 4*u - 5 = -u - 5*z, -u + 1 = 3*z. Suppose -2*h - 5 - u = 0, 33 = 3*c - 2*h. Does 4 divide c?
False
Let q = -258 - -387. Is 43 a factor of q?
True
Let q(l) be the first derivative of -105*l**2/2 + l + 8. Is 35 a factor of q(-1)?
False
Suppose -9*n + 11*n - 20 = 0. Let r be 3 + (-5)/(n/(-46)). Suppose -50 = -2*d - r. Does 12 divide d?
True
Let t(f) = 13*f - 2. Let y be t(6). Suppose 2*w = -2*w + y. Is 5 a factor of w?
False
Let o(s) = -134*s + 7. Let y(p) = 201*p - 10. Let t(z) = 7*o(z) + 5*y(z). Is t(1) a multiple of 11?
True
Let r(q) = 95*q**2 + 4*q + 3. Let l be r(3). Suppose -n + 3*n - 520 = -3*x, 5*x + 5*n = l. Is x a multiple of 25?
False
Let i(z) = 2*z**2 + 6*z + 4. Let b be i(-5). Let w be (b/(-9))/((-2)/(-3)). Is 10 a factor of (-2)/(404/102 + w)?
False
Let t be (-1 - -7)*(11/3 - 3). Suppose -147 = -t*x + x. Does 7 divide x?
True
Let g(n) = -35*n + 1. Let u be g(2). Let p = u - -86. Is p a multiple of 10?
False
Suppose 4*v = -5*c + 437, -2*v + 172 = 4*c - 174. Suppose -2*i - 248 = -3*l, -c - 59 = -2*l - 4*i. Is 20 a factor of l?
True
Suppose 0 = -3*l - 2*l + 15. Suppose -q = -l*q + 42. Let d = q + 3. Is 6 a factor of d?
True
Let a(p) = -p**3 + 12*p**2 - p + 31. Is 11 a factor of a(9)?
False
Let x(y) = -13*y**2 - 6 + 23*y**2 + 4 - 9*y**2 - 6*y. Let v be x(5). Let u(g) = -g**2 - 9*g - 8. Is u(v) a multiple of 3?
True
Let x = -30 - -30. Suppose x = 7*s + 2*s - 216. Is s a multiple of 6?
True
Let m(l) = -47*l**3 + 3*l**2 + 7*l + 4. Is 43 a factor of m(-4)?
False
Suppose -i + 3*i = 1882. Does 56 divide i?
False
Let l = -90 + 594. Suppose -3*h + 7*h = l. Does 18 divide h?
True
Suppose 60 = 4*l + 220. Let f = -36 + 15. Let h = f - l. Does 4 divide h?
False
Suppose -98*b = -101*b + 12. Let m(i) = 3*i**2 - 5*i - 9. Does 19 divide m(b)?
True
Let r = 15 + -9. Let g be (-45)/6*(-76)/r. Suppose -5*h + g = -3*o, -4*h - 5*o + 76 = -0*h. Is 19 a factor of h?
True
Let c be -17*(-24)/(-9)*(0 - 3). Let z = c + -78. Is z a multiple of 16?
False
Let m(h) = 7*h - 56. Let a(v) = v**2 - v + 4. Let w be a(4). Does 8 divide m(w)?
True
Suppose 3*z - 9 = -3*g, -4*z + 2*z = -3*g + 14. Suppose 0*c - 4*c + 48 = 0. Suppose 3*d + v + c = 47, g*d = 3*v + 25. Is d a multiple of 3?
False
Suppose -4*z = 2*m - 190, -3*z - 2*z + 239 = m. Suppose -82 = -13*i + z. Is 4 a factor of i?
False
Let s(f) = -f**3 + 23*f**2 - 40*f + 60. Is s(15) a multiple of 42?
True
Let p be 1 - 10*(-3)/6. Suppose -o - o = -p. Suppose -4*a = -5*k - o, -2*a + 4 = -3*k + k. Is 7 a factor of a?
True
Let a(q) = 2*q**3 - 6*q**2 + 10*q - 37. Is a(7) a multiple of 52?
False
Let q = -285 + 492. Is 37 a factor of q?
False
Let c be 0 + 4 - (-4)/4. Let l(x) = x**2 - 8*x - 5. Let i be l(c). Is 8 a factor of (208/i)/((-4)/10)?
False
Let t(s) = 404*s**2 + 10*s + 2. Is t(-1) a multiple of 11?
True
Let m(f) = f**3 + 4*f**2 - f - 6. Let y be m(-4). Let l(n) = -59*n**2 - 5*n - 5. Let j be l(y). Let q = j - -353. Is q a multiple of 25?
False
Let t = -21 - -24. Suppose 282 = t*x + 90. Suppose -3*o - x = -5*o. Does 16 divide o?
True
Suppose 0 = 25*x - 8094 - 7206. Does 9 divide x?
True
Suppose 5*p + 0*p = 10. Is 4 a factor of (3 + -4)*(p + -12)?
False
Let v be (-2)/3*(-5)/(-10)*24. Does 4 divide 1*(-3 - (v - 0))?
False
Suppose -10732 = -19*a - 3531. Is 6 a factor of a?
False
Let n(a) = -a - 9. Let j be n(-3). Let l be -1 + 1 - (-6)/j. Let f = l + 10. Is f a multiple of 3?
True
Let v = 161 + -72. Let t = -59 + v. Is 5 a factor of t?
True
Let h = -2152 + 2169. Is h a multiple of 4?
False
Let v be 1*-2*(-133)/14. Let x(n) = -16 - 2*n + v - 10*n**3 - 6. Is x(-2) a multiple of 9?
True
Suppose -p - d - 5 = 0, p = 5*d + 1 - 0. Is 21 a factor of 14/(p + (-248)/(-60))?
True
Suppose -4*q + 2*l = -192, -3*l = 11 - 17. Is 18 a factor of q?
False
Is 29 a factor of ((-183 - -3)/(-6))/