es 9 divide (10/(0 - -1))/w?
False
Is (-1 - (-105)/91) + (-1712)/(-26) a multiple of 7?
False
Let y(p) = 7*p. Let s be y(3). Is 10 a factor of -9 + s - 6/(-2)?
False
Let p be (-204)/(-10)*10/3. Suppose 4*r + 4*o = p, -4*r + 9 = 3*o - 56. Suppose 0 = 2*t - 2 - r. Is t a multiple of 3?
False
Let q = -134 - -419. Does 15 divide q?
True
Suppose 0 = -2*m + m + 8. Is 2 a factor of m?
True
Suppose -2*z + 10 = 2. Suppose z*n - 5*n = -6. Is n a multiple of 3?
True
Suppose -2*u = 5*k - 21, -5*k - 1 + 26 = 0. Does 12 divide u/10 + 804/20?
False
Let h(c) = 3*c - 11. Let i = -1 - -4. Let k be -2*(27/(-2))/i. Is h(k) a multiple of 8?
True
Let q = -20 + 44. Is q a multiple of 8?
True
Let q = 258 + -137. Let x = -60 + q. Suppose -3*f + x + 57 = 5*s, 3*f = 4*s + 73. Is f a multiple of 11?
False
Let m be (-1)/2 - (-5)/2. Suppose -m*k = -62 - 52. Let n = k - 41. Is n a multiple of 10?
False
Let p(w) = 3*w**2 + 5*w - 1. Suppose -f - d = -6, -f - f + d + 15 = 0. Let n = f + -11. Does 9 divide p(n)?
True
Let k = -8 - -10. Suppose -k*a - a + 72 = 0. Is a a multiple of 24?
True
Suppose -4*u - 7 = -3*u. Does 6 divide 8/28 - 54/u?
False
Does 14 divide -2*(-3)/6*(102 + -4)?
True
Let q(o) = -o**3 + 7*o**2 - o + 10. Let s be 9 - (-5)/(20/(-8)). Is q(s) a multiple of 2?
False
Does 21 divide 1676/20 + (-1)/(-5)?
True
Let k(b) = b**3 - 4*b**2 + 2*b - 1. Does 7 divide k(4)?
True
Does 11 divide 50/(-15)*(-24)/5?
False
Is 18 a factor of ((-32)/(-2))/(((-24)/27)/(-4))?
True
Suppose d = -4*q + 18, -q = -0*d - 5*d + 69. Is d a multiple of 9?
False
Suppose 0 = 3*a - 5 - 4. Suppose -5*n + a*f = -50, 2*n - 3*f + f = 20. Is 10 a factor of n?
True
Suppose -5*y = -2*b - 20, -b = -2*b + 3*y - 12. Let m = 23 - b. Does 10 divide m?
False
Let w = 6 - 1. Suppose -675 = -w*d + 4*i, d + 4*i - 635 = -4*d. Let q = d + -85. Is q a multiple of 23?
True
Let q = 69 - -14. Is 13 a factor of q?
False
Suppose 0 = -5*u + 467 + 578. Is 11 a factor of u?
True
Let q(n) = n**2 + 5*n + 3. Let c be q(-4). Does 10 divide (c - 0/(-3)) + 39?
False
Let n = -88 - -153. Is 13 a factor of n?
True
Let s(d) = d**3 + 5*d**2 - d + 7. Let w be s(-7). Does 14 divide (w/(-18))/((-2)/(-12))?
True
Let a(q) = 3*q**2 - 5. Is a(2) a multiple of 3?
False
Does 15 divide 29 - 2 - 1 - -3?
False
Let x be (1 - -11)*(-8)/3. Is 12 a factor of 0 + (-2 + 3 - x)?
False
Is 27 a factor of ((-7)/(-18) + (-4)/(-36))*214?
False
Let c(x) = x + 7. Let u be 2/(-3) + (-21)/9. Let q be c(u). Let n = q - -6. Is 10 a factor of n?
True
Suppose -3*l + 15 = -3*s + 36, 15 = -5*l. Suppose s*t = -0*t + 52. Is t a multiple of 11?
False
Let v(g) be the third derivative of -g**4/24 + g**3/3 - g**2. Let y(x) = x. Let j(k) = -v(k) - 2*y(k). Does 7 divide j(-9)?
True
Let z(r) be the first derivative of 4*r**3 + 2*r - 1. Is z(-2) a multiple of 8?
False
Is -2 + (-3 - (-23 - 3)) a multiple of 13?
False
Let z(o) = o**2 - 2*o + 3. Does 13 divide z(-6)?
False
Suppose 3*r - 10 - 2 = 0. Does 6 divide (-41)/(-4) - 1/r?
False
Does 13 divide 61 + (0 - -1) + 1?
False
Let y(s) = s - 7. Let k be y(9). Suppose 0 = -z - 4*u + k, 0 = 6*z - z + 3*u - 78. Does 5 divide z?
False
Does 27 divide (-5481)/(-21) - (-1 - 2)?
False
Let f(z) = 0*z + z + 4 + 3. Is 2 a factor of f(-3)?
True
Suppose -20 = -0*g + g. Let i = -11 - g. Is (i/5)/(2/10) a multiple of 9?
True
Suppose 2 - 10 = -4*w. Let l(o) = 2 + 5*o**2 + 8*o - o**3 + 3*o**2 + 5*o**2 - 7*o**w. Is 8 a factor of l(7)?
False
Is 3 a factor of 4/(-26) - (-212)/26?
False
Suppose -5*l = c - 188, 3*c - 683 = -c + 3*l. Does 41 divide c?
False
Suppose 0 = 3*q + 3*q - 306. Suppose 0 = -4*k + 3*u + 387, 234 + q = 3*k - 4*u. Is k a multiple of 31?
False
Suppose -3*i + 20 = 2*h, i + 3*i + 4*h = 28. Let w(b) = -4 + 0*b + 3*b - 2*b. Is w(i) even?
True
Let l(u) = u**2 - 6*u + 6. Let w be l(5). Let c be w/(-5) - 22/(-10). Suppose 6 = c*k - 0. Is k even?
False
Let u(b) = 3*b - 2. Let k(q) = q**3 + q**2 - q - 2. Let w be k(0). Let j be u(w). Does 7 divide 3*1*(j - -13)?
False
Let l(x) = 2*x**2 + 6*x - 3. Let j = -8 + 2. Is l(j) a multiple of 13?
False
Let a(w) = -w**3 + 4*w**2 + 4*w. Is 5 a factor of a(4)?
False
Suppose 30 = t - 4*b + 5, 5*t = 2*b + 35. Is t even?
False
Let z(q) = 3*q**2 + q. Let r(y) = -y**2 - 5*y - 4. Let n be r(-3). Is 4 a factor of z(n)?
False
Suppose 0 = 3*x + 3*l - 21, x - l - 8 = -3*l. Suppose 2*v - 174 = -4. Suppose x*m - v = m. Is m a multiple of 6?
False
Let y(p) = -p + 24. Let t(i) = -i + 24. Let w(k) = -2*t(k) + 3*y(k). Let o be w(0). Suppose q = -0*q + o. Does 12 divide q?
True
Suppose a + 4*a - 10 = 2*k, k + 5 = 4*a. Suppose -4*v + 3*v + 7 = a. Is v even?
False
Let m be (8/(-10))/((-6)/15). Suppose -88 = -2*i - m*r, 0*r - 85 = -2*i - 3*r. Let y = i + -34. Is y a multiple of 13?
True
Let i(t) = -3*t**3 - 8*t**2 + 7*t + 4. Let l(g) = -8*g**3 - 23*g**2 + 20*g + 11. Let p(x) = -11*i(x) + 4*l(x). Let h be p(2). Does 10 divide 2 + 24 + h/(-2)?
False
Let s be (-6)/(-2)*(-20)/(-15). Let l(w) = -w - 2. Let u be l(s). Let d(y) = -y**3 - 4*y**2 + 6*y + 5. Does 15 divide d(u)?
False
Suppose 3*g = -5*i + 37, -4*g + g = i - 29. Is 6 a factor of g?
False
Let a(v) = 4*v**2 - 5*v**2 - 2*v + 3 + 9*v. Suppose 6*h = 8*h - 12. Is 8 a factor of a(h)?
False
Suppose 5*p - 1625 = -0*p. Does 34 divide p?
False
Suppose x + 2*x + 111 = 0. Let u = x + 66. Does 29 divide u?
True
Let y(r) be the second derivative of r**5/10 + r**3/3 - r**2/2 - r. Let p be y(1). Suppose 0 = -p*t - 2*t + 220. Does 16 divide t?
False
Let h(j) = -2 - 2 + j**3 - 4*j + 6*j**2 + 7. Is 9 a factor of h(-6)?
True
Let w(c) = -8*c + 9. Does 19 divide w(-6)?
True
Let i = 9 - 16. Suppose -33 = -4*o + o. Let l = i + o. Is l a multiple of 4?
True
Let l(i) = i**2 - 3*i. Let g be l(4). Let v = -2 + g. Is 16 a factor of -1 - (0 + -19 + v)?
True
Suppose -3*n = -2*n - 3. Is 3 a factor of n?
True
Does 8 divide -2*(-155)/(-20)*-2?
False
Let q(c) = 3*c**3 - 2*c**2 + c. Let l be q(1). Let o be 144/l - 3/3. Suppose -3*y = g - o - 23, -50 = -y - 5*g. Is y a multiple of 15?
True
Let v(u) = u + 3. Let b be v(-1). Is 14 a factor of (16 - 17)/(b/(-106))?
False
Suppose 3*w + 0*w + 3 = 0. Is 7 a factor of 25/(w + 5 + -3)?
False
Let t = 8 + -6. Suppose -t*a = -7*a - 185. Let l = a - -79. Is l a multiple of 21?
True
Let s(v) = -v - 52. Let k be s(0). Suppose 3*x - 110 = 8*x. Let g = x - k. Is 15 a factor of g?
True
Let q(l) = l**2 + 4*l + 5. Let c be q(-4). Suppose -5*x + 112 - 37 = -c*v, x + 2*v - 24 = 0. Is x a multiple of 6?
True
Is (114/9)/(3/9) a multiple of 19?
True
Suppose -4*p + l = -17, -2*p = -p + 5*l + 22. Suppose 0 = -2*v - 3*v - 5*t + 20, 2*v - 5 = -p*t. Is v a multiple of 4?
False
Let g(a) = a**3 - 7*a**2 + 7*a - 7. Let f be g(6). Let w be 0 - f - 2/(-2). Suppose w = 2*u - 46. Is 12 a factor of u?
True
Let s = -33 + 68. Is (s/10)/(2/8) a multiple of 14?
True
Let l(n) = n**3 + 6*n**2 + 3. Suppose t = 3*s + 15, 5*s + 0*t + 25 = -t. Is 14 a factor of l(s)?
True
Let g = 21 + -1. Does 10 divide g?
True
Let u(w) = -w**2 + 6*w + 5. Let d(a) = a**2 - 3*a - 3. Let i(r) = 7*d(r) + 4*u(r). Is 10 a factor of i(2)?
False
Suppose -50 = -b - 3*m, -3*b + m + 91 + 49 = 0. Does 17 divide b?
False
Let n = 6 - -3. Is (-13)/(-3) + 6/n a multiple of 2?
False
Let z be (4 - 2)*(-2)/4. Let l be (-1)/(-1) - (-2 - z). Let n = l + 12. Does 7 divide n?
True
Let i(j) = j**2 + 13*j + 15. Let x be i(-12). Let o = -68 - -139. Suppose 5*v = 3*h + 21 - o, v - 62 = -x*h. Is 12 a factor of h?
False
Let w(h) = h - 1. Let p be w(4). Suppose 21 = p*y - 15. Is 5 a factor of y?
False
Suppose -2 = -2*z + 3*c + 5, -3*z + 11 = -4*c. Suppose -x + 6*x + 3*w - 25 = 0, z*x - 35 = -w. Let q = x - 3. Is 5 a factor of q?
True
Suppose 4*b + 12 = 0, -4*v + 5*b + 167 = -0*b. Does 38 divide v?
True
Suppose f = 2*a - 27, -2*f - 3 = -5*f. Does 7 divide a?
True
Let v(t) = -21*t + 15. Let o(w) = 10*w - 7. Let r(u) = 13*o(u) + 6*v(u). Is r(5) a multiple of 6?
False
Let b = -111 + 155. Let x be -3*7*-1 + -1. Let o = b - x. Is 12 a factor of o?
True
Let p(k) = 7*k**2 + 4. Let u(c) = -36*c**2 - c - 21. Let l(d) = 11*p(d) + 2*u(d). Is l(2) a multiple of 9?
True
Suppose -5*b - 3*c = -4*b - 7, 3*b = 4*c + 86. Does 11 divide b?
True
Let w = -3 + -15. Let h be (16/(-20))/(4/50). Let z = h - w. Is z a multiple of 5?
False
Let v(u) = -u**2 + 26*u - 26. I