/(-9)) a multiple of 6?
True
Suppose p = -3*p + 8. Suppose 2*w - 4*x = -p*w + 40, 2*w - 3*x = 18. Is w a multiple of 12?
True
Suppose -4*z = -179 + 11. Suppose 4*r = 2*r + z. Is r a multiple of 6?
False
Suppose 10*i - 5*i = -90. Let r = 40 + i. Let w = 11 + r. Does 11 divide w?
True
Let y = 478 + -807. Let o be y/(-63) + 4/(-18). Suppose -2*l = -o + 1. Is 2 a factor of l?
True
Suppose -2*s + 16 = 2*s. Suppose -1 = -d - 2*x + 5, 0 = -s*d + x + 69. Is d a multiple of 8?
True
Let n be -3*(-3)/(-1 - 0). Let q be (-2)/6 + 24/n. Does 7 divide (-2)/q - 165/(-9)?
False
Suppose 3*o = 55 - 10. Let u = o - 11. Suppose 17 - 1 = u*j. Does 4 divide j?
True
Let c be (-28)/(-1 + (-3)/(-6)). Let y = c + 9. Is 13 a factor of y?
True
Let l be 1 - (-4 - (0 + -2)). Suppose 0 = -0*h - l*h - 141. Let d = 77 + h. Does 15 divide d?
True
Let x = 2 + -4. Let q = x - 1. Is -58*q/(-6)*-1 a multiple of 8?
False
Let o(d) be the first derivative of d**4/4 + 2*d**3 - 3*d**2/2 - 3*d + 4. Does 4 divide o(-6)?
False
Suppose 2*w + 0*f - 5*f = 9, 0 = 2*w - 4*f - 8. Let m = w - -61. Suppose -12 = -3*y - 3*p + m, -4*p - 50 = -2*y. Is 14 a factor of y?
False
Suppose 0*b - u = b + 8, b - 5*u - 10 = 0. Let y(f) = f**3 + 11*f**2 + 11*f + 5. Let v(k) = -k**2 - k - 1. Let r(g) = 4*v(g) + y(g). Is 7 a factor of r(b)?
False
Suppose -4*p + 36 = 4*o, o - 5*p = -3*o + 9. Suppose k = o*k - 70. Is k a multiple of 7?
True
Let n(u) = -u**2 - 3*u + 3. Let b be n(-3). Suppose 4*m + b*g - 3 = 0, -3*m + 2*g = 4*g - 2. Let t = m - -39. Does 11 divide t?
False
Let c be (2/1)/((-8)/(-12)). Suppose 0 = 3*y + 4*l - 53, 2*y - c*l = -4*l + 32. Is 13 a factor of y?
False
Suppose -2*d = -3 - 5. Let i(g) = -g**3 + 7*g**2 - 2. Is 23 a factor of i(d)?
True
Suppose -r = -3 - 1. Suppose 0 = r*i - 7*i + 12. Is 3 a factor of 7/2 + 2/i?
False
Let y = 71 - -20. Is 13 a factor of y?
True
Does 20 divide 41 + 4/(-6)*(-6)/(-4)?
True
Let m(v) = -v**3 + 10*v**2 - 9*v + 1. Let j be m(9). Let f = 1 + 0. Does 23 divide (21/j - -2)/f?
True
Let z be (22/4)/(2/20). Suppose 0 = 3*c - 2 - 13, -c + z = 5*b. Is b a multiple of 10?
True
Suppose 5*l + 4*i - 22 = 3*i, 3*i + 4 = -l. Suppose -4*w = 12, -s + 0*s - 58 = l*w. Let d = -18 - s. Is d a multiple of 22?
False
Suppose 0 = -2*n + 13 - 5. Suppose 0 = 3*r + r + 5*p - 23, p + 5 = n*r. Suppose t + 11 = -z - 4*z, 3*t - r*z - 52 = 0. Is t a multiple of 5?
False
Let x = -1 + 6. Suppose -x*h + 150 + 30 = 0. Let y = h - 4. Is y a multiple of 9?
False
Let w(a) = 5*a + 7. Suppose -5*u + 4 = 44. Let h be w(u). Does 4 divide h*((-5)/(-3) - 2)?
False
Suppose -4*v + 3 = -9. Suppose -97 - 248 = -v*k. Is 20 a factor of k?
False
Is 33 a factor of 13*(-5 + 3)*-6?
False
Let o = 15 - -2. Is o a multiple of 17?
True
Let b(q) = 25*q**2 + 4*q - 4. Is b(1) even?
False
Let g(v) = -7*v - 8*v**2 + 0 - 4*v - 5 - v**3. Is 6 a factor of g(-7)?
False
Suppose x - 11 = 28. Suppose 3 + x = y. Does 24 divide y?
False
Let q(x) = 17*x**2 + 2*x + 5. Is 19 a factor of q(-3)?
True
Suppose -x - 2*x = -3. Let z be 2 - ((-36)/1 - x). Suppose -5*v = -2*b - 22 - 32, 2*v = -5*b + z. Is v a multiple of 5?
False
Suppose 4*z = -2*d + 12, -3*z + 0 = -3*d - 9. Suppose -16 = z*c - 49. Does 3 divide c?
False
Suppose 2*d - 6 = -d. Suppose 4*q + 40 = -0*n + 2*n, 4*n - 98 = d*q. Is 13 a factor of n?
True
Let n be (-1 - 1) + 1 + 8. Suppose 2*d = n*d - 70. Does 7 divide d?
True
Let b = -62 - -90. Is b a multiple of 14?
True
Suppose 2*y - 12 = -2. Suppose 4*x - 3*r = -28, -3*x - 33 = -y*r - 1. Does 6 divide 24/2*x/(-6)?
False
Suppose 3*s = 4*v - 2, -3*s + 0*v - v = -8. Suppose -s*q = -7*q + 25. Does 5 divide q?
True
Let x be (-1808)/(-22) + 2/(-11). Let z = x + -45. Is z a multiple of 19?
False
Suppose -u - 208 = -3*u. Suppose m + h = -0*h + 16, -4*m = -4*h - u. Does 7 divide m?
True
Let w = 263 + -154. Is w a multiple of 32?
False
Does 6 divide 1/(105/(-36) - -3)?
True
Let y = -25 + 46. Is 10 a factor of 645/y + 2/7?
False
Let k(m) be the second derivative of -m**5/20 - m**4/4 + 7*m**3/6 + 5*m**2/2 - 5*m. Does 5 divide k(-5)?
True
Let c = 5 + -1. Let z(y) = -y + 2. Let k be z(c). Let u(b) = -b**3 + b**2 + b - 2. Does 3 divide u(k)?
False
Suppose -2*i = 3*i - 5. Let n = -3 + -12. Let h = i - n. Does 8 divide h?
True
Suppose 0 = x, -12 = 2*b - 4*x + 146. Let a = -25 - b. Is a a multiple of 27?
True
Suppose 3*l - 3 = 3. Let y(t) = t**2 + 2*t + 0*t**2 + l + 4. Is 12 a factor of y(-4)?
False
Let l be (-2)/6 - 280/(-12). Let o = -13 + l. Suppose 0 = -2*g + g + o. Does 10 divide g?
True
Let v(i) be the third derivative of -i**4/24 - i**3/3 - i**2. Suppose -19 + 1 = 3*z. Is 2 a factor of v(z)?
True
Suppose 3*b - b = 8. Let v = b + -4. Suppose 2*x - 2*l = x - 2, v = 4*x + 3*l - 47. Is x a multiple of 8?
True
Let h = -18 + 20. Suppose -h*s = s - 21. Is 4 a factor of s?
False
Is 3 a factor of (3 - 2 - -1)*8?
False
Let w(t) = -40*t - 34. Does 18 divide w(-9)?
False
Let s = 228 + 11. Is 43 a factor of s?
False
Let i(b) = 6*b + 2. Let l be i(4). Suppose r - 4*s - l - 25 = 0, -113 = -3*r + 2*s. Does 17 divide r?
False
Suppose 20 + 16 = -3*l. Let v = l + 17. Does 8 divide ((-16)/v)/(2/(-10))?
True
Suppose 160 = -7*c + 1840. Is 20 a factor of c?
True
Is (-648)/(-84) - (-2)/7 a multiple of 6?
False
Let r(o) = -o**3 - 15*o**2 + 17*o + 23. Does 3 divide r(-16)?
False
Suppose -2*o + 6 = o. Let z be 109/o - 9/18. Suppose 2*l = -6 + z. Does 13 divide l?
False
Let x = -60 + 112. Suppose 3*m + 2*n - 46 = 2*m, -2*m = -4*n - x. Does 12 divide m?
True
Let j = -5 + 10. Suppose j*f = 51 - 6. Is 9 a factor of f?
True
Let f(o) = -7*o - o**2 + 10*o**3 - 1 + 12*o**3 + 3*o + 5*o. Is 7 a factor of f(1)?
True
Let p(m) = -11*m**2 + 2*m - 2*m + 34*m**2. Does 10 divide p(-1)?
False
Let x be 31 + -1*(-2 + 3). Let p be 220/(-14) + (-2)/7. Let h = x + p. Is 11 a factor of h?
False
Suppose 3*r - 8*r + 65 = 0. Is r a multiple of 6?
False
Let f = -15 + 29. Suppose 2*g - 2*z = -14, g + g + 3*z = -f. Is 13 a factor of ((-1)/3)/(g/693)?
False
Suppose -3*a + 12 = -4*v, -4*v = 2*a + 1 - 9. Suppose -a*o + 0 + 36 = 0. Is o a multiple of 5?
False
Let o(g) = -g + 3. Let n be o(5). Let h(d) = -d**3 - d + 1. Let l(p) = -41*p**3 - p + 2. Let u(k) = n*h(k) + l(k). Is u(-1) a multiple of 11?
False
Suppose 0 = 5*n - 5*i - 50, -3*n - 2 + 44 = i. Does 5 divide n?
False
Let r(h) = 0 + 2 - h - 3. Let k(p) = -2*p + 9. Let z be k(8). Is 3 a factor of r(z)?
True
Is (-4 - -5)/((-3)/(-111)) a multiple of 13?
False
Suppose -55 = -5*r + 3*u, 0 = -2*r - 7*u + 3*u + 48. Is r a multiple of 2?
True
Let a(z) = -35*z**2 + 7*z + 1. Let v(g) be the third derivative of g**4/24 - 2*g**2. Let j(p) = -a(p) + 5*v(p). Does 18 divide j(-1)?
True
Suppose -2*q = 3 + 1. Is (q - -1)/(-1) - -3 a multiple of 4?
True
Suppose -4*t + 213 = -115. Does 8 divide t?
False
Let h(i) be the second derivative of -i**4/12 + i**2 - 2*i. Let x(m) be the first derivative of h(m). Is 5 a factor of x(-5)?
True
Suppose 2*x = -6, 2*r + x + 4*x = 141. Is r a multiple of 26?
True
Suppose 2*p - 59 = y, -3*p + 5*y + 90 = 3*y. Suppose 5*d - p = 392. Is d a multiple of 21?
True
Let p(j) = -j + 3. Let i be -9 + -4*3/(-6). Let g = i + -2. Is 6 a factor of p(g)?
True
Let x = -53 + 59. Is 2 a factor of x?
True
Is 18 a factor of (0 + 2/2)*36?
True
Let l be (-3)/((-87)/28 - -3). Suppose 2*y + 0*m = 4*m + l, y + 3*m = 19. Is y a multiple of 11?
False
Let t = 0 + -1. Let g be (-11)/(-11) - (-1 - -5). Is g + -12*t/2 a multiple of 2?
False
Suppose 2*m = -4*i - 146 + 32, -3*i = -6. Is m/(-7) - (-2)/7 a multiple of 8?
False
Suppose 51 = 5*w + 16. Does 6 divide (-2)/w - 44/(-7)?
True
Let b be (0 + 0)*5/(-10). Suppose 26 = 2*o - b. Is 11 a factor of o?
False
Let y = -8 - 2. Is ((-12)/y)/(6/40) a multiple of 4?
True
Suppose -4*x - 4*v = -8, 0 = -2*v - 2*v - 12. Let g = x + -1. Does 2 divide g?
True
Let x(z) = 7*z + 6. Let d(w) = -13*w - 11. Let o(v) = -6*d(v) - 11*x(v). Let n(f) = 5*f - 12. Let j(p) = n(p) - o(p). Does 7 divide j(8)?
False
Suppose -524 = -4*q + 4*r + 1028, -3*q = -4*r - 1167. Does 11 divide q?
True
Let c(b) = b**2 + 15*b + 4. Let z be c(-13). Is z/77 + 158/14 a multiple of 3?
False
Suppose 3*l - 16 = -x, x - l - 4 = -0*l. Does 7 divide x?
True
Let g = -12 - -17. Suppose -2*l = -g*s - 3 - 28, 4*l + 5*s - 137 = 0. Does 14 divide l?
True
Let d(l) = -l*