= x - 7. Is 8 a factor of w?
True
Suppose 5*j + 0 = -2*o + 51, 0 = -2*j + o + 24. Does 3 divide j?
False
Suppose 0 = -4*j + 7 + 5. Let h(a) = -a**3 + 3*a**2 + 4*a + 3. Let z be h(4). Does 2 divide 2/6*(j + z)?
True
Suppose -3*r = -5*b + 235, r - 82 - 73 = -3*b. Let p = b + -22. Is p a multiple of 14?
True
Let p(t) = -12*t - 7 - 2*t + 0*t**2 - 11*t**2 - t**3. Let w = 12 + -22. Does 11 divide p(w)?
True
Suppose p = -3*p + 436. Is 21 a factor of p?
False
Suppose 2*j + 70 = 5*b, -4*b - 3*j - 2*j = -56. Let m = 4 + 1. Suppose m*x + 4 - 6 = d, -b = -4*d - 2*x. Does 3 divide d?
True
Suppose -m + 8 = 3*m. Suppose m*j + 36 = 160. Suppose -3*t - 14 = -j. Is t a multiple of 7?
False
Suppose 75 = 5*g + 3*y + 2*y, 0 = -3*g + 2*y + 25. Is 9 a factor of g?
False
Let w = -1 - -23. Does 13 divide w?
False
Let o(c) = -c**3 + c**2. Let t be o(0). Suppose t*z = -z + 20. Is 20 a factor of z?
True
Does 14 divide 222/8*(2 - -2)?
False
Let o(p) = p**2 + 2*p + 2. Let i be o(-2). Let n(s) = s**2 - 3*s + 2. Let h be n(i). Suppose 0 = -4*d - 5*j + 21, -2*d = -h*j - 5*j - 33. Is 9 a factor of d?
True
Let a be (-6)/12 + 9/2. Suppose -z + 10 = a*z. Suppose -3*x + 5*s + 114 = 0, -z*s - 76 = -2*x - 0*s. Does 11 divide x?
False
Let w(j) be the third derivative of 3*j**4/4 + j**3/3 + j**2. Let r be w(4). Suppose 0 = -5*y + r - 19. Does 11 divide y?
True
Suppose -f = -5*i + 108, -9 = 4*i - 4*f - 89. Does 22 divide i?
True
Let a(g) = -13*g + 4. Let b be a(-4). Suppose -4*s + m = -76, -2*s = -5*m - 0*m - b. Suppose 0 = -2*j - 0*j - 2*l + s, -l = -3*j + 47. Is j a multiple of 4?
False
Let w(i) = -i**2 + 15*i - 15. Does 29 divide w(11)?
True
Suppose 5*u = u + 8. Suppose -5*k + 8 = 2*w - 100, -u*k - 54 = -w. Does 14 divide w?
False
Suppose -p + 3*o = 0, -3*p + 5*o = 2*p + 10. Let h be ((-9)/p)/(-3)*-6. Is 5 a factor of 1*21/h*2?
False
Suppose -88 = -5*a + 32. Suppose 9*f - 7*f - a = 0. Does 12 divide f?
True
Does 10 divide (-3)/(-2)*132/9?
False
Let l be 16/7 - (-4)/(-14). Suppose l*i + 51 = 5*r + 3*i, -3*r = -5*i - 53. Let y = r - 6. Is y a multiple of 5?
True
Let s(z) = z**2 - z + 3. Does 5 divide s(6)?
False
Let u(x) = 2*x - 3. Let l(c) = -c**3 - 3*c**2 - 3*c. Let n be l(-3). Is 8 a factor of u(n)?
False
Suppose 0*i + 15 = -2*u + 3*i, -32 = 5*u - 2*i. Let s(x) = -x**2 - 9*x + 8. Is s(u) a multiple of 13?
True
Suppose 30 = -3*p + p + 4*h, 27 = -p + 5*h. Let z(w) be the first derivative of w**4/4 + 2*w**3 - 4*w**2 - 4*w - 3. Is z(p) a multiple of 3?
True
Let f(a) be the third derivative of -a**6/120 + a**5/6 + 7*a**4/24 + a**3/2 - 7*a**2. Is f(10) a multiple of 16?
False
Let h(w) = -w**3 - 10*w**2 + 3. Let k be h(-10). Suppose 0 = -3*d - 4*z + 82, 0*z + 12 = k*z. Suppose p = -p + d. Is 7 a factor of p?
False
Let z be (-2 + 7 - 0) + -2. Let o = z - 7. Let v = o - -36. Does 16 divide v?
True
Is 35/10*(-36)/(-7) a multiple of 18?
True
Suppose -2*y = 5*j + 31, -4*y + 5*j = -y + 84. Let p = 11 - y. Is 13 a factor of p?
False
Let t(q) = -2*q - 2*q + 40 + 3*q. Is 15 a factor of t(0)?
False
Let t be ((-10)/6 - -1)*45. Let q(i) = -11*i + 2. Let s be q(-4). Let y = t + s. Does 12 divide y?
False
Is 2 a factor of (-10)/(-25) - (-654)/15?
True
Let s = -1 + 11. Is s a multiple of 2?
True
Let h(u) = -4*u + 6. Is h(-4) a multiple of 6?
False
Is (-4 - 0) + (113 - 17) a multiple of 23?
True
Is -3*((-173)/3 - 0) a multiple of 57?
False
Suppose 6*g = 4*r + 3*g - 3783, 2*g = -4*r + 3798. Suppose -b - 3*b = r. Is 11 a factor of b/(-21) - (-4)/(-14)?
True
Let u = -40 + 26. Let f = 10 + u. Let s(c) = -5*c - 6. Is s(f) a multiple of 4?
False
Suppose -202 = -5*p - 4*z, -5*p - z - 11 = -204. Is p a multiple of 6?
False
Let v(a) be the first derivative of -a**7/840 - a**6/60 + 11*a**5/120 + a**4/24 + a**3 - 1. Let n(q) be the third derivative of v(q). Does 18 divide n(-8)?
False
Let r(p) = -p**3 - 5*p**2 - 11*p - 29. Is 12 a factor of r(-6)?
False
Suppose -3*y + 6*c + 41 = 4*c, -50 = -4*y - 2*c. Does 10 divide y?
False
Let g(v) = 6*v**2 + v. Let j be g(-1). Suppose -j*s - 3*y = -0*s - 111, 2*s - 33 = -5*y. Does 12 divide s?
True
Let d = -1 - -2. Let m(p) = 5*p - 1. Is m(d) even?
True
Suppose -2*f + 16 = -124. Suppose -f = 2*a - 7*a. Is a a multiple of 7?
True
Let q(k) = 6*k**2 + 5*k + 1. Let a(f) = 3*f**2 + 3*f. Let w(v) = -7*a(v) + 4*q(v). Is 7 a factor of w(2)?
True
Let n(v) = v**2 + 4*v + 12. Does 10 divide n(12)?
False
Suppose 4*u - 76 = -5*y, u - 3*y + 54 = 4*u. Suppose 5*x - 2*l = 26, 2*x + 4*l - u = x. Does 3 divide x?
True
Is (-2 + 1)*21*-2 a multiple of 42?
True
Let i(b) be the third derivative of 1/30*b**5 + 1/24*b**4 + 0*b - 3*b**2 + 0 - 1/3*b**3. Is 5 a factor of i(3)?
False
Is 15 a factor of 13/39 - (-268)/6?
True
Let f(w) = w**3 + 8*w**2 - 5*w - 4. Does 18 divide f(-8)?
True
Let u(z) = 69*z - 1. Is 17 a factor of u(1)?
True
Suppose -12 = 2*h - 60. Is 8 a factor of h?
True
Suppose -3*p + 250 = 2*p. Does 12 divide p?
False
Is 7 a factor of 1500/54 + 4/18?
True
Suppose -4*t + 3*w = -373, 0*w + 2*w = 3*t - 279. Suppose 4*l - 3*f - 55 = 34, 4*l - t = f. Is 14 a factor of l?
False
Suppose 4*i = c + 10, -2 = 2*i + 3*c - 0*c. Let d be (15/i)/5*82. Suppose -3*q + d = 45. Does 13 divide q?
True
Suppose 8*k - 3*k = 20. Suppose i + i - k = 0. Suppose 6 = h + 3*s, i*h - s - 2*s - 39 = 0. Does 15 divide h?
True
Let p(q) = q + 5. Let b be p(-4). Let a be 3 - (-3 + (3 - b)). Suppose 12 = a*c - 3*c + 5*h, 4*c - 4*h = 72. Does 13 divide c?
False
Suppose -117 = -f - 2*o - 6, -4*f + 426 = -o. Suppose f = -5*x - 58. Let m = -14 - x. Is m a multiple of 14?
False
Let u = 232 + -137. Is 15 a factor of u?
False
Suppose -3*n = -k + 5*k - 198, 5*k = -3*n + 249. Does 17 divide k?
True
Suppose -o + 0*o + 2 = 0. Suppose -5*u + 2*m = 7*m, -o*u = m - 3. Is u a multiple of 2?
False
Suppose 16 = 2*t - 3*x + 61, 3*x - 3 = 0. Let j = -13 - t. Is j even?
True
Let r(q) = q**3 + 5*q**2 - 4*q - 5. Is 20 a factor of r(-4)?
False
Let c be (2/6)/((-6)/(-108)). Is 10 a factor of c/8 - 234/(-8)?
True
Let x(q) = 12*q - 4. Let k be -2 + 1/((-2)/(-10)). Let h be x(k). Is h/12 - 2/(-6) a multiple of 2?
False
Let q(s) = 6*s**2 + 3*s - 1. Does 25 divide q(3)?
False
Suppose -2*l + 0*l + 220 = 4*u, -u = 4*l - 62. Does 33 divide u?
False
Let y(u) = -u + 10. Suppose -8*h + 4*h + 4*t = -20, 0 = 5*h + 4*t - 34. Does 3 divide y(h)?
False
Let u(i) = i**2 - 3. Let o be u(-3). Suppose -o*w = -11*w. Let l(a) = a**3 - a**2 + 12. Is 6 a factor of l(w)?
True
Let p(l) = l**3 + 3*l**2 - 3*l + 4. Let r = -2 + -1. Is p(r) a multiple of 13?
True
Suppose 0 = 4*m - 113 + 21. Does 6 divide m?
False
Suppose -4*q + 280 = 4*o, 3*o + 136 = 5*o + 4*q. Is 12 a factor of o?
True
Let f = 13 - 8. Does 3 divide f?
False
Let l = -1 - -3. Does 8 divide l*(-1)/4*-18?
False
Suppose 2*i + r + 7 = 4*i, -r - 2 = -i. Suppose 0*k - 3*m = -3*k + 39, -i*k + 64 = -4*m. Is 3 a factor of k?
True
Suppose 0 = 2*l - l - 2. Suppose 2*f + 0*b + 26 = l*b, -5*b - 35 = 5*f. Is (76/f)/(2/(-10)) a multiple of 15?
False
Let o(r) = 4*r**3 - 42*r**2 + 46*r - 14. Let j(w) = -w**3 + 14*w**2 - 15*w + 5. Let m(q) = -7*j(q) - 2*o(q). Does 5 divide m(-15)?
False
Let h = -80 - -134. Suppose 0 = 4*y - h - 22. Does 6 divide y?
False
Let m(v) = -2*v + 5. Is m(-18) even?
False
Let a = -15 - -40. Let s = a + 23. Does 16 divide s?
True
Let y = 1 + 2. Is 24 a factor of 48 - (-3 + 6 - y)?
True
Let r = 2 - 0. Let c(u) = u**2 + 5 + 4 - r + 8*u. Is c(-9) a multiple of 9?
False
Let d(k) = 2*k + 4*k**2 + 2*k**2 + 5 - 4. Suppose 0 = 5*t - 3*v + 9 - 0, t - 7 = 5*v. Is d(t) a multiple of 24?
False
Let g = -3 + 3. Let i be 2/(2/(2 - g)). Suppose 3*c = -i*c + 185. Is c a multiple of 16?
False
Let y be 9/1*(-2)/(-6). Suppose -15 = -y*r - 3*k + 9, 1 = -k. Does 7 divide ((-1)/(-3))/(r/297)?
False
Let b(i) be the first derivative of 3*i**2/2 - 2*i + 2. Is b(4) a multiple of 5?
True
Let x = 143 - 20. Is x a multiple of 40?
False
Let t(d) = 4*d**3 + 8*d**2 + d + 5. Let g(q) = -5*q**3 - 9*q**2 - 6. Let a(w) = 3*g(w) + 4*t(w). Let x be a(-4). Is 185/10 - x/(-4) a multiple of 19?
True
Let a be 2/3 - (-11)/(-3). Does 2 divide (a/1)/((-2)/2)?
False
Let t = 305 - 200. Does 14 divide t?
False
Let s(l) = 21*l**2 - 1. Does 9 divide s(-1)?
False
Suppose 5*w - 159 = 3*l, -2*w + l + 45 = 6*l. Is w a multiple of 30?
True
Suppose 5*q + 3*w - 