26, 3*q - 2*m - 2*m - 2 = 0. Let t(v) = -13*v - 9. Let z be t(q). Suppose -5*y + z = -16. Does 13 divide y?
False
Is (-1)/4 - 205/(-4) a multiple of 6?
False
Suppose 3*g + 5*a - 66 + 23 = 0, 3*a - 15 = 0. Is (4/g)/((-4)/(-24)) a multiple of 4?
True
Suppose 0 = -4*g + 2*b + 86, g + 5*b - 17 = 4*b. Suppose 3*x = 5*t - g - 335, 5*t - 355 = 4*x. Is 24 a factor of t?
False
Let y = 15 - -34. Is 15 a factor of y?
False
Suppose 2*h - 114 = 6. Suppose -4*j + h = -2*j. Suppose 8 = 3*f + k - 10, 5*f - j = 2*k. Is f a multiple of 5?
False
Suppose 2*b = -0*b + 4880. Let l = b + -3538. Is 3/(-4) + l/(-24) a multiple of 15?
True
Let w be (-2)/5 + 261/15. Suppose -3 = -4*b + w. Is 4 a factor of b?
False
Is 8 a factor of (-12)/(-42) - 1004/(-14)?
True
Let t = 2 - 0. Let j be 53 + -4 - (t - -1). Let z = 66 - j. Is 10 a factor of z?
True
Suppose 0 = 5*k + 3*w - 38, -k - 2*w = -5*w - 4. Suppose 2*b = 1 + k. Suppose -n + 6*n = 4*t - 22, 0 = -5*t - b*n + 7. Does 2 divide t?
False
Suppose 4*o + 2*o - 480 = 0. Suppose 3*u + 11 = o. Does 5 divide u?
False
Suppose 7*k = 5*k + 96. Is k a multiple of 12?
True
Let z = 13 - -15. Is 9 a factor of z?
False
Let k(w) = -55*w + 6. Does 20 divide k(-2)?
False
Suppose 5*d - 170 = 345. Is 18 a factor of d?
False
Let n(x) = -x**3 - 7*x**2 + 3. Let y be n(-7). Is 8 a factor of 2/y - 210/(-9)?
True
Let i be (-14)/6*(-9)/3. Let t = i + 6. Let f = t + 1. Is 7 a factor of f?
True
Let z = 37 - 19. Let r = 33 - z. Is r a multiple of 8?
False
Let n(k) = k**3 - 4*k**2 + 7*k - 6. Let h be 30/9 + (-2)/(-3). Does 15 divide n(h)?
False
Let z(f) = 3*f. Is z(4) a multiple of 3?
True
Suppose 5*r + 6 = -2*u, 3*r + 15 - 1 = 4*u. Suppose -2*f + 1312 = u*f + 3*k, 1312 = 4*f + 5*k. Does 18 divide f/18 + (-6)/27?
True
Let c be (2/(-6))/(1/(-12)). Let p be 7552/40 + (-2)/(-10). Suppose h + p = c*h. Is 22 a factor of h?
False
Suppose -257 = -4*f + 83. Suppose -31 = 4*p - 267. Let t = f - p. Is 11 a factor of t?
False
Let n(p) be the third derivative of p**6/120 - p**5/12 + p**4/8 - 5*p**3/6 + p**2. Let d be n(7). Suppose 3*a - d = -0*a. Is a a multiple of 19?
True
Let q = 3 - 1. Let y(p) = 2*p**3 - 4*p**2 + 3*p - 1. Let h be y(q). Suppose 0 = m + 4*f - 44, -h*m + f = 6*f - 190. Does 14 divide m?
False
Let d(b) = -2*b + 2. Let q be d(-1). Suppose q*s = 85 + 27. Does 12 divide s?
False
Let j(r) be the first derivative of r**3/3 + 5*r**2/2 + 7*r - 4. Is 2 a factor of j(-5)?
False
Suppose 2*w + 3*k = 480, -4*k = 17*w - 12*w - 1186. Is w a multiple of 39?
True
Let l = 6 + -15. Let t = l - -22. Let c = t + -8. Is c even?
False
Suppose -3*s = -s + 6. Let y(l) = l**3 - 8*l**2 + 9*l - 2. Let j be y(6). Is 5 a factor of j/(-6)*s/(-1)?
True
Let l(n) = -2*n - 2 + 8*n + 8*n. Let k(v) = -v**3 - 23*v**2 - 23*v - 20. Let u be k(-22). Is 13 a factor of l(u)?
True
Let w be 10/6 + (-3)/(-9). Suppose -4*u + 48 = 3*n - 8, 70 = 5*u + w*n. Is 9 a factor of u?
False
Is 23 a factor of 8/20 - 113/(-5)?
True
Suppose -a - 27 = 44. Let t(h) = -10*h + 32. Let v be t(8). Let r = v - a. Does 8 divide r?
False
Let q be (4/10)/(11/110). Suppose -m + 11 = q*o - 0*o, 3*m - 4*o = 97. Is m a multiple of 9?
True
Let q(i) = 10*i**2 + 2*i + 4. Is 8 a factor of q(-2)?
True
Suppose 0 = -3*t - t + 88. Let u = -6 + t. Is u a multiple of 9?
False
Let s(o) be the first derivative of -o**4/4 - 2*o**3/3 - o**2/2 + 4*o - 4. Is 16 a factor of s(-3)?
True
Let n = -40 + 61. Is 21 a factor of n?
True
Suppose 3*i - 2*u = 86, 0*i - 5*u + 79 = 3*i. Suppose s + 2*s + k = -39, 65 = -5*s - 3*k. Let n = i + s. Does 13 divide n?
False
Suppose 0 - 2 = -b. Suppose -5*p = 4*w - 28, -2*w - 3*p = b*p - 24. Is 2 a factor of w?
True
Let a(o) = 3*o - 4*o**2 + 4 + 15*o**3 - 8*o**3 + 0*o**2 - 8*o**3. Is 3 a factor of a(-5)?
False
Let j(v) = -v**2 + 7*v - 7. Let d be j(5). Suppose 0 = 5*z - d*h - 105 - 96, -5*h = 2*z - 99. Is 14 a factor of z?
True
Suppose 0 = -5*k - m + 22, 5*k - 39 = 2*m - 8. Let o(a) = a**3 - 3*a. Let s be o(k). Suppose 0*j - 5*j + s = 0. Is j a multiple of 11?
True
Let z(q) be the second derivative of -q**4/12 + 2*q**3/3 - 3*q**2/2 - q. Let v be z(3). Let x = 4 + v. Is x a multiple of 2?
True
Let l(x) = -x**2 + 10*x - 17. Is l(6) even?
False
Let y(j) = 6*j**2 + 1. Suppose -o = -0*o. Suppose 0 = -a + 3 - o. Does 20 divide y(a)?
False
Let i = -11 + 10. Let z = i - 5. Let t(q) = q**3 + 6*q**2 - q + 8. Does 14 divide t(z)?
True
Let v(l) = 12 - 3*l + 2*l - 3. Let s be v(0). Suppose i + s - 56 = 0. Does 18 divide i?
False
Let a = -20 - -56. Does 15 divide a?
False
Suppose 2*i - 3*i = 16. Is (-49)/(-4) - (-4)/i a multiple of 4?
True
Suppose -4*r = 4*q - 28, 3*r - 4*q = -1 - 13. Suppose -3*b + 91 = m - 1, 3*m = -r*b + 52. Let o = b - 19. Is o a multiple of 13?
True
Let g be (632/(-24))/((-1)/3). Suppose -3*h - g = -4*h. Does 22 divide h?
False
Let f = -41 + 47. Is f a multiple of 3?
True
Let r(l) = -l + 11. Let q be r(5). Suppose 0 + q = 3*s. Does 4 divide (-126)/(-15) + s/(-5)?
True
Suppose -3*x + 3 = 0, 5*x + 4 = 4*h - 3. Suppose h*t = -2*t + 45. Is 13 a factor of ((-6)/t)/(1/(-36))?
False
Suppose 0*z + 4*z = 56. Let p = z + -8. Suppose 2*o - p - 16 = 0. Is o a multiple of 8?
False
Let g be 16/6*(-174)/(-4). Let n = -71 + g. Is n a multiple of 19?
False
Let l(k) = 2*k**2 - 5*k. Suppose -w + 5*w - 35 = -3*a, -5*w = 4*a - 45. Is 11 a factor of l(w)?
False
Suppose o - 4*o + 90 = 0. Does 22 divide o?
False
Let n(d) = 5*d**3 + d**2 - d - 1. Suppose 8*r = 3*r + 10. Is 12 a factor of n(r)?
False
Let z(k) = k**3 - 15*k**2 - 7*k - 28. Does 29 divide z(16)?
True
Suppose 11 = 4*l - 5. Suppose 0 = 2*z - v + l*v - 106, -3*v = -4*z + 176. Suppose 0 = -5*o - 2 + z. Is 9 a factor of o?
True
Let p(o) = 4*o - 20. Is p(6) even?
True
Let d(y) = y**2 + 10*y - 7. Let i be d(-11). Suppose -72 = -i*u - 0*u. Is 9 a factor of u?
True
Is 6/39 - 115/(-13) a multiple of 3?
True
Let l = 109 - 61. Does 12 divide l?
True
Let a be 4/(-2)*(-6 + 5). Suppose q - 2*y = a, 0 = 3*q + q - 2*y - 2. Suppose 0 = 2*l - l + m - 25, q = -5*l - 4*m + 120. Is l a multiple of 20?
True
Is 15 a factor of (-301)/(-4) + 4/(-20 + 4)?
True
Let w = 287 + -145. Let i = w + -50. Is 25 a factor of i?
False
Is 4/16*-1 + (-1922)/(-8) a multiple of 40?
True
Let i be (-6)/(-24) + (-18)/8. Let h(y) = 17*y**2 - 2*y - 3. Let w be h(i). Let z = -26 + w. Is z a multiple of 23?
False
Let y be 2/((-6)/33 - 0). Let v = y - -21. Suppose -3*q - 5*r + v = -6, -q + 4 = 2*r. Is q a multiple of 12?
True
Is 6 + -2 + -1 - (2 + -154) a multiple of 13?
False
Suppose -4*a = -3*a - 3. Suppose -18 = -2*j - 4*r, 2*r + 9 = 4*j + 3. Suppose -n - a*n - 5*o = -197, 256 = 5*n + j*o. Is 17 a factor of n?
False
Let l(t) = 7 + 0*t - 2*t + 6*t**2 - t**3 - 2*t. Is 5 a factor of l(5)?
False
Let r(u) = u**2 + 4*u - 2. Let h be r(-5). Suppose -4*l + 19 = 3*t, h*l = -t - 3*t + 30. Is t a multiple of 9?
True
Suppose f - 5*y - 14 = 0, 3*f - 22 = -0*y - 5*y. Let g be f/6*(1 + -19). Is 9 a factor of (-32)/12*g/4?
True
Suppose 8*l - 257 = 3*l + 3*k, -3*k + 3 = 0. Does 8 divide -2 + 3/(6/l)?
True
Suppose 5*x = 5*u - 8 + 228, -2*u - 3*x = 68. Let q = u - -20. Is 20 a factor of (q/(-2))/(3/6)?
True
Suppose 0*t = -t + 6. Is 5 a factor of t?
False
Let h = -222 - 10. Does 17 divide h/(-7) + 4/(-28)?
False
Let r be 30*1*(-2)/(-5). Suppose 2*x + 0*x - r = 0. Is (-4)/(-6) - (-116)/x a multiple of 10?
True
Let r(o) = o**2 - 4*o. Suppose -y + 4*y = 3*h, 3*y - 4*h + 5 = 0. Is r(y) a multiple of 3?
False
Suppose -u - 406 = -8*u. Is u a multiple of 11?
False
Let c = 115 + -47. Let x = c - 21. Does 17 divide x?
False
Let k(c) = -c**2 + c + 5. Let i be k(0). Suppose -i*t - 2 = 3. Let r = 4 + t. Is r even?
False
Suppose 4*k = -0*k - 32. Let h = k + 36. Is 12 a factor of h?
False
Let j(i) = -2*i - 2*i + 1 + 3*i. Let g be j(-3). Suppose 0 = -7*m + 3*m - 2*a + 62, 0 = g*m - 4*a - 68. Is 9 a factor of m?
False
Let n be (-1 + -4)/(1/(-3)). Suppose 8*u = 3*u - n. Let g(q) = -q**2 - 4*q + 2. Is g(u) a multiple of 5?
True
Let s(w) = w**3 + 12*w**2 - 4*w + 10. Let v be s(-12). Suppose 0*a - 2*a = -v. Is a a multiple of 10?
False
Let y be (-4)/14 - 37/(-7). Suppose y*l - 2*o = 102, -l + o = 2*l - 62. Is 11 a factor of l?
True
Let a(q) = -q + 1. Let r(t) = t + 2. Let o(b) = -2*a(b) + r(b). Is 9 a factor of o(6)?
True
Let o be (6/9)/(-2)