uppose l = -l. Suppose -4*h - s*i + 14 = 0, -h - i - 4 + 5 = l. Does 6 divide h?
True
Let w be ((-30)/(-3))/2 + 2. Let v = 3 - w. Is 7 a factor of ((-2)/1)/(v/46)?
False
Let c(l) = -l + 8. Let t be (1 - 13)*(-2)/4. Let p be c(t). Suppose -p*d - 2*d = -96. Is d a multiple of 10?
False
Let p = -119 - -308. Is p a multiple of 21?
True
Let p = 39 - 22. Is p a multiple of 17?
True
Let g(t) be the second derivative of -5/6*t**3 + 1/2*t**4 + 0 - 1/20*t**5 - 2*t + 3/2*t**2. Is 15 a factor of g(4)?
True
Suppose 5*f = -b + 33 + 17, 4*b = -3*f + 30. Let v(d) = d**3 - 10*d**2 + d + 1. Does 10 divide v(f)?
False
Is 28 a factor of 105/35 - -139*3?
True
Let g(j) = -j**2 + 7*j. Suppose -5*a - 5*p + 16 - 51 = 0, 3*p = -3. Let v be (-50)/(-15)*a/(-4). Does 10 divide g(v)?
True
Suppose 0 = 5*f - 0*f - 135. Is f a multiple of 3?
True
Suppose 2*u + 2 + 5 = -3*w, 0 = 4*u + 5*w + 13. Let f = u - -4. Is 10*f - (0 - -1) a multiple of 7?
False
Suppose -4*k + 2*k = 0. Let z(w) = w**3 - w**2 + 4. Let d be z(k). Is 4 a factor of 30/4 - (-6)/d?
False
Suppose -2*t = -4*t + 36. Let u be 32/18 + 4/t. Suppose 3*q + n - 15 = -0*q, u*q - 4*n = 24. Is q even?
True
Is (21/(-14))/((-6)/580) a multiple of 29?
True
Suppose -8 = 2*s + 4*l, -s - l = -2*l - 8. Let g = 28 - 6. Suppose s*d - 3*d - g = 0. Is 11 a factor of d?
True
Let c(f) = 6*f + 109. Does 13 divide c(-16)?
True
Suppose -4*i + 84 = g, -4*i + 76 = -5*g - 8. Is 12 a factor of i?
False
Suppose -16 = 2*w + 2*w. Let h be 0 - (-6)/(-1 - w). Suppose -4*m + d = -45, h*m - 5*d = -2*m + 65. Is m a multiple of 4?
False
Let w(s) = 3*s - 7. Let n be 3 - 4 - (-7 + 1). Does 8 divide w(n)?
True
Let l(q) = -q. Let d(x) = 3*x + 21. Let o(b) = d(b) + 2*l(b). Is o(-11) a multiple of 7?
False
Suppose -4*s + 6*s = 3*b + 17, -4*s + 5*b + 31 = 0. Let n = s + 0. Does 4 divide n?
True
Let c(q) = q**2 + 4*q + 5. Let p be c(-4). Suppose -20 = 3*h - p*h. Suppose 0 = -h*z + 5*z + 110. Is z a multiple of 11?
True
Let l be 12/(-18) - 375/(-9). Suppose l = 4*q - 43. Does 7 divide q?
True
Let c(d) = -d**2 - d - 1. Let f(z) be the first derivative of 5*z**3/3 + 9*z**2/2 - 4*z - 2. Let v(q) = 4*c(q) + f(q). Is 8 a factor of v(-8)?
True
Let c(i) = -6*i**3 + 2*i**2 - 12*i - 10. Let f(z) = z**3 + z**2 + z + 1. Let v(w) = c(w) + 5*f(w). Let d be v(6). Let q = d + 33. Does 11 divide q?
True
Let h(r) be the first derivative of -4*r**2 - 9*r - 1/3*r**3 + 2. Does 2 divide h(-6)?
False
Suppose 2*l + 8 = 2*y, 5*l - 10 = 2*y - 3. Is (1 - 4) + -2 + y a multiple of 3?
False
Suppose 2*o = -5*i + 190, 4*o = -3*i + 100 + 266. Suppose o = w + 4*w. Is 9 a factor of w?
True
Suppose -v - 4*o = -26, -v = v - o - 52. Let h = v + -12. Suppose h + 1 = 5*l. Does 3 divide l?
True
Let c(u) = 33*u**2 - 3*u + 7. Let x(d) = -22*d**2 + 2*d - 5. Let p(t) = 5*c(t) + 7*x(t). Is 12 a factor of p(-1)?
True
Let d be ((-5)/2 + 2)*0. Suppose -4*k + d = -4. Let r = k - -31. Is 16 a factor of r?
True
Let x be -4 + (-12)/(-5 + 1). Let l = 18 - x. Does 19 divide l?
True
Suppose -10 = 2*z + 5*n, 0*z - 4*z = n - 16. Suppose 2*p - 4*b = -6, -p + 4 = -4*p + z*b. Let v = p - 2. Is v a multiple of 3?
False
Let k = 7 + 11. Is 6 a factor of k?
True
Let d(y) = 2*y - 3*y + 4 + 3*y**2 - 2*y**2. Does 11 divide d(-4)?
False
Let j = -11 - -16. Suppose -i - 392 = -j*i. Suppose i = 4*u + 34. Does 13 divide u?
False
Suppose -o = -2, 5*u - 5*o = -0*o + 10. Suppose u*v = -2*s + 38, s - 49 = -2*v - 3*v. Is 5 a factor of v?
True
Suppose -3*l + 46 = 2*m - 0*m, l = 3*m + 19. Is 8 a factor of l?
True
Let a(z) = z**3 - 5*z**2 - 7*z + 6. Let m be a(6). Let f = 0 - -7. Is 8 a factor of (m + -1)/(f/(-161))?
False
Let u(z) = 3*z**2 + 9*z + 13. Is 14 a factor of u(-5)?
False
Let x = -65 + 99. Is 4 a factor of x?
False
Suppose -2*f + 125 = -3. Is 8 a factor of f?
True
Is 15 a factor of -2 + 5 - (-7 + 7) - -39?
False
Suppose -4*o - 2 = -3*o. Let u be (0 + (-3)/(-3))*-11. Let m = o - u. Is 6 a factor of m?
False
Let y be 0 - 1 - (24 + 5). Let h = 101 + y. Suppose 5*w + f - 2*f - h = 0, 18 = 2*w - 3*f. Does 8 divide w?
False
Suppose -i - 2*i = -12. Suppose -i = -h - 4*p + 3, -5*h + p + 119 = 0. Is 17 a factor of h?
False
Let f(c) = -c**2 + c + 7. Let k(d) = -d**3 + 7*d**2 + 6*d + 9. Let a be k(8). Let t = 7 + a. Is f(t) even?
False
Let i(n) = -n**3 + 5*n**2 + 2*n + 2. Is i(5) a multiple of 3?
True
Let v(k) = -k**3 - 2*k**2 - 2*k + 1. Let z be v(-5). Let s = z + -55. Is 19 a factor of s?
False
Suppose -5*l - 23 = 4*z + 7, 2*l + 12 = 2*z. Let i be l/3 - (11 - 0). Let p = i + 18. Does 2 divide p?
False
Suppose c = -5*v - 14 + 100, -c - 3*v + 94 = 0. Is 20 a factor of c?
False
Suppose 3*z - 79 = 2*q, -5*z = 2*q + 3*q - 165. Is z a multiple of 18?
False
Suppose 0 = 2*k + 2*k - 84. Is k a multiple of 7?
True
Suppose -5*g - 5*t = -160, -g + 30 = -0*g + 3*t. Is g a multiple of 11?
True
Let k = 12 + -24. Let w = k - -22. Let l(x) = 4*x - 14. Does 13 divide l(w)?
True
Let k = 130 - 70. Is k a multiple of 6?
True
Let p(n) be the third derivative of n**5/30 + n**4/6 - n**3/3 - 2*n**2. Let v be p(-6). Suppose -2*s = -2*b + v, 4*b = -2*s - 2*s + 100. Is 12 a factor of b?
True
Let q = -32 - -21. Let w be (2 - 4) + 32 + 0. Let c = q + w. Is 9 a factor of c?
False
Suppose 0*f + 8 = 2*f. Suppose -f*p - 6 = -22. Does 18 divide ((-2)/p)/((-2)/88)?
False
Let b(k) = 5*k**2 - 2*k - 1. Let q(n) = -n**2 + 1. Let i be q(-2). Is 25 a factor of b(i)?
True
Let z(o) = o + 11. Let g be z(-9). Suppose u - 75 = -g*u. Does 24 divide u?
False
Suppose -5*q + 2*h = -53, 4*q - 4*h - 5 = 35. Is q a multiple of 11?
True
Let n = 14 - 31. Let u = 28 + n. Let s(d) = d - 1. Is s(u) a multiple of 10?
True
Let h = -135 - -142. Is 7 a factor of h?
True
Let j(b) = -4 + b**2 + 1 + b**2 + 4*b. Let p be (0 + 1)/(1/2). Does 13 divide j(p)?
True
Suppose -j - j = -2. Does 4 divide j/3 - (-34)/6?
False
Does 20 divide 894/15 + 10/25?
True
Let b(o) = 2*o**2 + 9*o**2 + 2*o + 0*o**2. Does 18 divide b(2)?
False
Suppose -6*w = -108 - 396. Does 14 divide w?
True
Let j = -1 - -3. Suppose -5*y + 59 = -k - 0*k, j*k = 2. Suppose -28 - y = -5*u. Does 4 divide u?
True
Let z(d) = d**3 - 4*d**2 - d + 4. Let w be z(4). Let c be -1*17*(w + -3). Suppose -7 = 2*y - c. Is y a multiple of 11?
True
Let r = -7 + 8. Is (4 - 4) + r*13 a multiple of 7?
False
Suppose 3*w = 2*w + 21. Let m = -11 + w. Is 10 a factor of m?
True
Is 10 a factor of -2 - -2*44/4?
True
Let f = 328 + -153. Suppose -3*g - 4*g + f = 0. Is 25 a factor of g?
True
Let w = -19 - -113. Is w a multiple of 8?
False
Suppose -10 = -4*c - 14. Let p(k) = -74*k + 1. Is 25 a factor of p(c)?
True
Let y = -4 + 44. Suppose y = j + j. Does 20 divide j?
True
Suppose -5*c - 130 = -10*c. Is 13 a factor of c?
True
Let r = 6 - -7. Is 6 a factor of r?
False
Suppose 5*r = 362 + 118. Is r a multiple of 16?
True
Suppose 0 = 5*g - 0 - 15. Suppose -3*s = -y - 45, 0*s - g*y = -s + 23. Does 14 divide s?
True
Suppose -3*p + 4*p + 11 = d, 4*p + 57 = 5*d. Let t = d - 7. Let k(z) = 3*z + 3. Is 13 a factor of k(t)?
False
Let v be (-3)/(-1*(-3 - -2)). Let f(l) = 2*l**2 + 3*l - 2. Is f(v) a multiple of 7?
True
Let s be (-69)/(-12) - 2/(-8). Does 13 divide s/4*(-104)/(-6)?
True
Let l = 8 + -6. Let a be l/10 + 12/(-10). Is 12 + 4/(-2) + a a multiple of 4?
False
Let g = -75 - -126. Is 23 a factor of g?
False
Suppose 6*t = t + 10, -3*t - 90 = -y. Is y a multiple of 12?
True
Suppose -72*d + 68*d = -96. Is 6 a factor of d?
True
Let q(g) = g**2 - 7*g - 2. Let h be q(6). Let c = h + 12. Does 2 divide c?
True
Let c be 0 + -16 - (-1)/1. Let f = -3 - c. Is f a multiple of 12?
True
Let m = -156 - -261. Is m a multiple of 10?
False
Suppose -2*v = 3*v - 30. Let z(g) be the first derivative of g**4/4 - 2*g**3 + g**2 - 3*g + 1. Is 6 a factor of z(v)?
False
Let r(g) = -7*g - 3. Let n be r(-5). Suppose -2*s + n = -0*s. Let z = s - 4. Is z a multiple of 6?
True
Suppose 0 = -5*i + 60. Is 2 a factor of i?
True
Let b be -2 - (-3 + 1) - -2. Suppose -2*s = b*s - 16. Suppose 0*j = s*j - 120. Is 15 a factor of j?
True
Let o(c) = -c**2 - 7*c + 10. Suppose -3*z - 4 = -0*t + 4*t, -3*z - 12 = 0. Suppose 0 = t*m + m + 21. Is o(m) a multiple of 5?
True
Let f(j) = -j - 7. Let c(o) = o + 6. Let x(i) = -3*c(i) - 4*f(i). Suppose -3*k - 2*k = 0. Does 5 divide x(k)?
True
Suppose -5*s - 6 = -1. Let t be ((-1)/