-41 - -49. Does 4 divide j?
True
Let u = 6 + -6. Suppose 0*g + 2*g + 16 = u. Is 87/12 - (-2)/g a multiple of 6?
False
Let w be (-12)/(7 + -3) + 10. Suppose 0 = -3*i, -3*m + 2*i + w = -26. Is m a multiple of 11?
True
Let t be 4/6 - 372/(-9). Suppose 2*a + t = 2*s + 6*a, 0 = -s + a + 30. Is 12 a factor of s?
False
Does 9 divide -2 + (-6)/(-3) + 26?
False
Suppose m - 6*m + 712 = -2*x, 0 = 3*m - x - 428. Does 23 divide m?
False
Let h(y) = y**3 - 9*y**2 + 12*y - 3. Is h(9) a multiple of 24?
False
Does 19 divide 60/3 + 2 - 2?
False
Let y = 23 - -1. Suppose -2*f = 5*h + y - 3, f + 23 = -5*h. Suppose -4*m + 3*i + 105 = 0, f*m - 60 = -0*m + 4*i. Is 12 a factor of m?
True
Let v(r) = r**2 + 8*r + 37. Is 15 a factor of v(-7)?
True
Suppose -3*y + 144 = 5*q + 11, 0 = y - 5*q - 51. Is y a multiple of 16?
False
Suppose u = 4*u - 12. Let x be (-94)/(-4) - 2/u. Let d = x - 14. Is 3 a factor of d?
True
Let l be 1*(0 - 0) - -121. Let k = -49 + l. Does 24 divide k?
True
Does 13 divide (-1)/((-3)/9) + 147/3?
True
Let j(v) = 2*v - 4 + 4 + v**3 - 2*v**2. Let r be j(2). Suppose 9*s - r*s = 70. Does 14 divide s?
True
Let x = -3 - -2. Let w be (-1)/((1/(-3))/x). Let b(n) = 3*n**2 - 2*n + 2. Does 12 divide b(w)?
False
Is (7/((-42)/88))/((-2)/6) a multiple of 11?
True
Let j be 2/4 - (-78)/4. Suppose 3*z - x = 7 + j, 9 = z - 2*x. Is z a multiple of 3?
True
Let l(r) = 7*r - 6. Let k(b) = b**3 - 4*b**2 + 2*b. Let f be k(4). Let m = f - 2. Is l(m) a multiple of 18?
True
Let u be (-8)/(-12)*30/4. Let r(k) = k**2 - 3*k - 5. Does 5 divide r(u)?
True
Let j(f) = 2*f**2 - 6*f**2 - 4*f**3 + 0*f**3 - f + 3*f**2. Is j(-2) a multiple of 15?
True
Let v = -16 + 40. Suppose 3*i = q + 40, q = -i + 4*q + v. Does 6 divide i?
True
Suppose 3*l + 4 - 55 = 0. Suppose 4*f + 8 = 3*g + 76, f - l = -5*g. Is f a multiple of 7?
False
Let p = 2 - 2. Is p - (-11 - 3/1) a multiple of 7?
True
Let s be -3*(60/(-9))/(-4). Let n(j) = -j**3 - 3*j**2 + 3. Does 19 divide n(s)?
False
Is 29 a factor of 856/12 + 1/(-3)?
False
Suppose 5*i - 23 = p, i - 3*p + 16 = 3*i. Suppose -q + i = -7. Is 3 a factor of q?
True
Suppose -2*k + 6 = x - 4, 4*x + 30 = 2*k. Suppose k - 45 = -2*q. Is q a multiple of 6?
False
Suppose 0 = 5*r - 5 - 0. Let g = -21 - r. Let v = 8 - g. Is 8 a factor of v?
False
Let t be -2 + 2 + -1 + 1. Suppose 5*j - 25 = t, 4*j - 20 = 4*a + a. Does 20 divide 22 + (0 + a - 2)?
True
Suppose 2*l + 4*k = 179 + 139, 5*k - 144 = -l. Let r = l + -117. Does 13 divide r?
True
Suppose -3*v = -5*v + 2. Let w be v*-1 - (3 + -3). Is 5 a factor of (2 + w)*(4 - -1)?
True
Is 10 a factor of 1/(4/40)*2?
True
Let g(p) = -p**3 - 5*p**2 + 4*p + 13. Is 9 a factor of g(-7)?
False
Let a(q) = 2*q**2 - 2*q - 1. Suppose 0*d = -2*j + 2*d + 10, -j + 4*d = -11. Suppose 6*u - j*u = -5*h + 1, -10 = -4*u + 2*h. Is 3 a factor of a(u)?
True
Let c = 9 - 3. Let r = 0 + 0. Suppose -b + 1 + c = r. Is b a multiple of 7?
True
Let i = -189 + 99. Let a = -54 - i. Is 12 a factor of a?
True
Let a(u) = -43*u**3 + 2*u**2 + 3*u + 2. Does 15 divide a(-1)?
False
Does 12 divide (-9)/6*(-16 - -2)?
False
Let f(k) be the second derivative of -k**5/20 + 2*k**4/3 - k**3 + 9*k**2/2 + 3*k. Is f(7) a multiple of 8?
True
Suppose 0 = -4*x - 5*d + 19 + 2, -2*d = 5*x - 22. Let w = 0 - x. Is 11 a factor of 170/8 + 1/w?
False
Suppose -3*z = -376 + 4. Suppose -b + 5*i = -0*b - 50, i = 4*b - z. Is 15 a factor of b?
True
Suppose -24 = f + 14. Let h = -1 - f. Let q = h + -15. Does 22 divide q?
True
Suppose -2*l + 8 = 2*l. Does 3 divide (0 - l) + 5 + 2?
False
Let g(k) = 2*k**2 + 5*k. Let v be g(4). Suppose -3*q + i + v = 0, -2*q + 2*i = 3 - 31. Is 8 a factor of q?
False
Is (13 + -1)*(4 + -3) a multiple of 6?
True
Let i = 159 + -77. Let z = -23 + i. Is 16 a factor of z?
False
Let c(o) be the first derivative of o**4/4 - 5*o**3/3 + 2*o**2 - 2. Let a be c(5). Does 9 divide a + 2 + (-2 - 2)?
True
Let u(a) = -a**3 + 8*a**2 + 9. Suppose 35 = 6*x - x. Is 17 a factor of u(x)?
False
Let h = 55 - 108. Let d = -34 - h. Does 10 divide d?
False
Suppose 3*t - 4*d - 46 = 0, -4*t = d - 8 - 28. Does 3 divide t?
False
Suppose 608 = 2*o + y, -4*o = 8*y - 5*y - 1216. Is o a multiple of 38?
True
Let v(i) = i**2 + 5*i + 4. Let r be v(-6). Let n = r - 5. Is n a multiple of 5?
True
Suppose 2*x = -3*o + 451, -1123 = x - 6*x - 3*o. Suppose 4*j - 536 = -x. Suppose -5*t = -2*h + 72, 0 = -3*h + t + 56 + j. Is 25 a factor of h?
False
Suppose 0 = -x + 4*v + 155, 4*x - v - 2*v = 555. Does 7 divide x?
False
Let c = -122 - -305. Does 39 divide c?
False
Let w(c) = 2*c**3 - 1 + 2*c - 5*c**3 + 6*c**2 + 4*c**3. Let y be w(-2). Is 6 a factor of y*(-2 + 3)*1?
False
Let x be -2 - (-2 + -1) - -43. Suppose 2*q - 4*g + 0*g - 32 = 0, 0 = 4*q - 4*g - x. Is q a multiple of 3?
True
Let j be 1/(1/42 - 0). Suppose k = 2*k - 5*v - j, -5*k - 3*v = -238. Suppose 5*x + k = -3*o + 4*o, 46 = 2*o + 2*x. Does 12 divide o?
False
Suppose 0 = -w - 2*g + 30, -3*w + w + 66 = 2*g. Is 6 a factor of w?
True
Suppose -96 = d + 3*d. Is 30/(-20)*d/1 a multiple of 18?
True
Let y = -112 - -18. Let j = -66 - y. Is j a multiple of 7?
True
Suppose -4*o + 0*k = 3*k - 11, -3*k = o - 5. Let n(w) = -w**2 - 19*w - 13. Let d be n(-14). Suppose -o*t - t = -d. Is t a multiple of 9?
False
Let g(x) = 12*x**2 - 8*x + 3. Is 7 a factor of g(2)?
True
Let x(w) = -w**3 - w**2 + w + 2. Let a be x(0). Let v = a - -2. Is v a multiple of 4?
True
Let s be -1 - (2 + 6/(-2)). Suppose -c - 2 = 2*v, 4*c + s*v + v - 20 = 0. Does 4 divide ((-6)/4)/((-1)/c)?
False
Suppose 88 = -2*i + 3*p + 281, 0 = -4*i - 5*p + 419. Is 27 a factor of i?
False
Let x(c) = 4*c - 17. Does 11 divide x(7)?
True
Let q(v) = -v**3 + 5*v**2 - 5*v + 4. Suppose -k + a + 8 = 0, 0 = k - 2*a - 1 - 11. Let w be q(k). Suppose -2*n + 0*n + 4 = w. Is 2 a factor of n?
True
Let c(k) be the third derivative of -k**4/24 + 5*k**3 + 11*k**2. Suppose -4*f + 2*l = f - 4, 5*l + 10 = -5*f. Does 15 divide c(f)?
True
Suppose 5*p - 17 = 3*d, p + 7*d = 2*d - 19. Let v be p*18 + -1 + 3. Is 5 a factor of v/6*(-3)/(-2)?
True
Suppose 2*a - 3*n - 1206 = 0, -3*n - 8 = -7*n. Let x be a/8 + 2/8. Suppose -2*l + v = -x, 5 = v + 1. Is 14 a factor of l?
False
Let u = -31 + 53. Let l = u - 9. Suppose 3*z - 23 = l. Is 6 a factor of z?
True
Suppose -25 = -3*m - 2*m. Suppose m*r = 3*d - 222, 3*d - 74 = 2*d - r. Does 19 divide d?
False
Let s = -3 - -8. Suppose 9*z - s*z - 44 = 0. Is 10 a factor of z?
False
Let w = 19 + -9. Suppose -l = -p - w, 0 = -3*l - 4*p - 2 - 3. Suppose 0 = l*u - 20. Is 4 a factor of u?
True
Suppose -18*m + 4060 = 2*m. Does 29 divide m?
True
Let y(j) = 63*j - 1. Is y(2) a multiple of 32?
False
Let x be 5 + 1/(3/(-9)). Suppose x*v - 14 = -3*p + 3*v, -5*p + v + 20 = 0. Suppose -i - 28 = -p*i. Is i a multiple of 14?
True
Does 9 divide (-9*2)/(10/(-25))?
True
Let b = -4 + 4. Suppose -4*j + 8*j - 100 = b. Let y = -14 + j. Is y a multiple of 11?
True
Let t be (2/(-5))/((-1)/15). Let c(k) = k**2 + k - 1. Let p(x) = 3*x**2 + 3*x - 4. Let h(f) = -2*c(f) + p(f). Is 19 a factor of h(t)?
False
Is 2 a factor of (50 - -2)/(-5 + 7)?
True
Suppose 5*k = -25, -11 + 3 = -v + k. Suppose i = -b + 8, -4*i - 2*b + v = -23. Is 4 a factor of i?
False
Let v(t) = t**2 - 2*t - 1. Let d be v(5). Let g = d - -12. Is 7 a factor of g?
False
Let z(b) = -2*b**2 + 3*b + 1. Let y be z(3). Let t(f) = f**2 + 8*f + 11. Is 10 a factor of t(y)?
False
Let n(t) = 0 - t - t + 0*t - 3. Is n(-9) a multiple of 5?
True
Let l = 8 + -5. Suppose 5*x + 31 = c, -l*c - 16 + 39 = -x. Is c even?
True
Suppose -2*z = 3 - 11. Does 2 divide z?
True
Suppose f + 634 + 372 = 2*i, 0 = 5*i + 3*f - 2493. Suppose 4*g = i - 121. Suppose 3*y - g + 28 = -4*x, 80 = 4*y + 3*x. Does 7 divide y?
False
Suppose -5*f + 4*f = -2. Suppose 2*k - 19 = -t - 2*k, -f*t = 5*k - 44. Does 9 divide t?
True
Let r(l) = -l**2 - 12*l + 17. Let f be r(-13). Suppose -4 = -q + u, -3*q + 2*u + f = -10. Is q a multiple of 2?
True
Let b be 8/3*9/(-6). Let x be (2/b)/((-1)/(-4)). Is (-52)/(2/(x/1)) a multiple of 15?
False
Let z = 2 + 4. Let o(s) = -2*s**3 - 9*s**2 - 2*s + 6. Let w(f) = 3*f**3 + 17*f**2 + 4*f - 13. Let p(l) = 5*o(l) + 3*w(l). Does 3 divide p(z)?
True
Suppose -2*i = 2*j, 0 = i - j - 6. Suppose 0 = i*f - 75 + 12. Does 21 divide f?
True
Suppose -5*x = 4*v - 842, -228 = -5*x + v + 599. Does 57 divide