tor of d?
False
Is 26 a factor of -4 - 193*(-12)/6?
False
Suppose -3*b + 28 + 62 = 0. Does 15 divide b?
True
Suppose 0*o + 464 = 4*o. Is 13 a factor of o?
False
Suppose -5*o = -203 - 217. Is o a multiple of 28?
True
Let b be ((-32)/6)/4*-6. Suppose s + 20 = -4*s. Let z = s + b. Is 2 a factor of z?
True
Suppose 0*w - 2*w = j - 6, 0 = 5*j - w + 25. Does 4 divide 9 + -4 + 3 + j?
True
Let l(z) = 4*z**2 - 14*z - 9. Does 3 divide l(5)?
True
Does 4 divide 6 - 2 - 7 - 164/(-2)?
False
Suppose 0 = 5*p - 0*p + 3*h - 36, p - 14 = -4*h. Suppose 0 = d + d + 6. Let m = d + p. Is 2 a factor of m?
False
Let d(h) = h**3 - 7*h**2 + 3*h + 5. Let k be d(5). Is (-5 - -3)*k/4 a multiple of 5?
True
Is 25 a factor of ((-40)/18)/10 + 1748/9?
False
Let k = 138 + -57. Suppose 0 = -3*w - x - 2*x + k, 0 = 3*w - 2*x - 96. Is w a multiple of 8?
False
Let o(x) = 5 + x + 3*x**2 - 2*x**2 - 2*x - 5*x. Is o(7) a multiple of 6?
True
Let u(s) = -8*s - 2. Let t(q) = -9*q - 3. Let v(r) = -2*t(r) + 3*u(r). Let m be v(-1). Is 14 a factor of 19 - -1 - (-4 + m)?
False
Suppose -4*j = -41 + 9. Suppose 16 = j*c - 4*c. Does 3 divide c?
False
Let o be (-3 + 2)/((-1)/(-2)). Let d = o + 4. Let i(n) = 14*n + 2. Does 10 divide i(d)?
True
Let o(s) be the third derivative of s**6/120 + 7*s**5/60 - s**4/24 - s**3/2 + s**2. Let a(d) = d - 1. Let n be a(-6). Does 4 divide o(n)?
True
Let j(l) = 7*l - 4. Let v be (-2)/6 - 16/6. Let r be j(v). Let p = -13 - r. Does 6 divide p?
True
Let p(i) = 14*i**2 + 11*i + 10. Is p(-4) a multiple of 35?
False
Let k = -15 - -29. Let v = 0 + k. Is v a multiple of 7?
True
Suppose -2*p = -p. Suppose 0*l + 36 = 4*i + 4*l, p = -2*i + 4*l. Is i a multiple of 3?
True
Suppose -2*y + 3*y = 3. Suppose 0 = -3*x - 6, y*x = -7*h + 4*h. Suppose 3*r = -5*d + 100, r + 100 = h*d + 3*d. Is d a multiple of 15?
False
Let a = 6 - 7. Does 8 divide 1443/52 + a/(-4)?
False
Let g = -60 - -73. Is 7 a factor of g?
False
Suppose -4 = -5*t + t. Does 21 divide t*(-21)/6*-6?
True
Let u(n) be the second derivative of n**5/20 - 2*n**4/3 - 5*n**3/6 - 4*n**2 - 2*n. Let g be u(9). Suppose 0 = -4*z + 200 - g. Does 19 divide z?
False
Suppose -18*k + 20*k - 80 = 0. Does 14 divide k?
False
Let q(c) = c**2 + c. Let n be q(0). Suppose n*y + 30 = y + 5*d, 5*y = 5*d. Is 2 a factor of y?
False
Let w(c) = -7*c + 2. Let v be w(5). Let x = 71 + v. Is 16 a factor of x?
False
Let a(y) = y**2 - 14*y - 15. Is 19 a factor of a(18)?
True
Let u(f) = 4*f**3 - 1. Let n be u(1). Let q(y) = -2*y - n*y + 15 + 4*y. Does 4 divide q(7)?
True
Is 5 a factor of ((-78)/4)/((-27)/36)?
False
Suppose -2*b + 84 = p + 3*p, -24 = -p - 2*b. Is 5 a factor of p?
True
Suppose 223 = 4*u - 5*v, 3*u = -0*u - v + 172. Let i = -25 + u. Is 12 a factor of i?
False
Suppose 0 = u - 4, -4*x - 26 = -2*u - 74. Does 10 divide x?
False
Let d(c) = c - 1. Let h be d(-2). Is 16 a factor of 2/h - 107/(-3)?
False
Suppose 6 = 2*n - 5*m + 2, 5*m = -3*n + 56. Let v = -7 + n. Suppose 42 = -x + 2*x + 4*r, 0 = -x - v*r + 47. Is x a multiple of 9?
False
Let t(z) = -2*z + 11. Let d(q) = -4*q + 23. Let n(r) = 2*d(r) - 5*t(r). Is n(8) a multiple of 7?
True
Suppose 5*i - 8 = 7. Suppose 7*p = i*p + 16. Is p a multiple of 3?
False
Let x(y) = -5*y + 11. Let n(v) = 2*v - 4. Let z(o) = 8*n(o) + 3*x(o). Is z(3) a multiple of 4?
True
Let h(w) = -w**2 + w. Let g be h(0). Let x = g - 5. Let y = 18 + x. Is y a multiple of 7?
False
Suppose 2 = 4*r - 3*r. Suppose v = -r*f + 1, 3*v = -4*f + 2*v + 5. Is -1 - (1 - (f + 16)) a multiple of 7?
False
Let n(y) = y + 2. Suppose 3*k = 16 - 1. Let r be n(k). Suppose 3*p = r*p - 152. Does 18 divide p?
False
Let k(o) = -8*o - 8*o**3 + o**3 + 6*o**3 + 5 + 10*o**2. Is k(9) a multiple of 11?
False
Suppose 15*j - 96 = 11*j. Is (-1)/(j/(-21) + 1) a multiple of 7?
True
Suppose 0 = -4*g - 0*c - 3*c - 109, -81 = 3*g + 3*c. Is 7 a factor of (g/(-3))/((-6)/(-9))?
True
Suppose 6*d - d = 0. Let r = -19 + 34. Suppose h + 2*h - r = d. Does 2 divide h?
False
Let c(q) = -21*q - 21. Is 14 a factor of c(-4)?
False
Suppose -2*f = f - 159. Let s(m) = -5*m**2 - 6*m - 6. Let u be s(-3). Let y = f + u. Is 10 a factor of y?
True
Let t(k) = -k**2 - 8*k + 10. Is t(-5) even?
False
Let r = -177 - -275. Is r a multiple of 14?
True
Suppose -10 = 4*w - 38. Let o = w + 3. Is 10 a factor of o?
True
Let k(q) = -5*q - 11. Let n be k(-4). Let d = n - 7. Is 2 a factor of d?
True
Suppose 2*d - 66 = -2*v, -d - 2*v + 37 = -0*v. Suppose 84 = 5*m + d. Does 5 divide m?
False
Suppose 0*r + 35 = 5*r. Let v(n) = 6*n**3 - 12*n**2 + n - 8. Let h(c) = -7*c**3 + 13*c**2 - 2*c + 8. Let s(l) = -5*h(l) - 6*v(l). Is 18 a factor of s(r)?
True
Suppose 0*l - 87 = -t + 5*l, 5*t + l - 409 = 0. Suppose -c = c - t. Let p = c + -5. Is 18 a factor of p?
True
Suppose 5*k = -g - 2*g + 141, 5*k = 4*g - 188. Is 7 a factor of g?
False
Suppose 0*r + 8 = 2*r. Suppose -9 = 3*w - r*w + 3*s, -5*w + 3*s + 93 = 0. Suppose 0 = 3*j, -3*y + 4*j + w - 3 = 0. Does 6 divide y?
True
Let i = -46 - -40. Let v(d) = -11*d**3 + 23*d**2 - 14*d + 25. Let y(o) = -5*o**3 + 11*o**2 - 7*o + 12. Let b(x) = -6*v(x) + 13*y(x). Is b(i) a multiple of 12?
True
Let i(q) = -q**3 + 3*q**2 - 3*q. Let p(n) = n. Let v(r) = -i(r) - 2*p(r). Does 3 divide v(3)?
True
Let q(u) = -u**2 - 5*u - 4. Let a be q(5). Let x = -20 - a. Does 17 divide x?
True
Let o(b) = 15*b**3 + b**2 + b - 1. Let a = 4 + -3. Let q be a*(-2 - -3 - 0). Does 8 divide o(q)?
True
Let x = 0 + 2. Let u(w) = 1 + 7 - w**x + 2*w**2 - 4*w. Is 8 a factor of u(6)?
False
Let w(j) = j**2 + 10*j + 2. Let n be w(-10). Suppose -3*u = -v + 2*u + 14, -n*u + 52 = 2*v. Is v a multiple of 12?
True
Let s(a) = -39*a + 4. Let b be s(-5). Suppose 20 = -5*n, n + 3 = -j - n. Suppose j*q = -59 + b. Is 14 a factor of q?
True
Let h = -8 + 18. Let p = -7 + h. Suppose z + 3*z = -5*l + 133, l - 97 = -p*z. Does 16 divide z?
True
Suppose -25 = -2*n + 7*n. Let c(l) = 0*l**2 - 4 + l**2 - 3. Is c(n) a multiple of 9?
True
Suppose 4*o - 5*a - 195 = -0*o, -2*a = -10. Suppose 5*d - 3*x - 181 = 0, 5*x + o - 10 = d. Is d a multiple of 22?
False
Let o be 2/(-6) + (-102)/(-9). Suppose 2*n - 25 = -3*l, 0*l = n + 2*l - 15. Let s = o - n. Is 5 a factor of s?
False
Let w be 3/((-6)/2) - 9. Let o(y) = -y + 8. Is o(w) a multiple of 9?
True
Suppose -5*w = 6*w - 726. Is w a multiple of 22?
True
Suppose -4*t = -0*t + 4, 0 = 5*b - 5*t - 155. Does 30 divide b?
True
Suppose 2*i - 35 + 9 = 0. Let k = 21 - i. Let w(d) = -d**3 + 8*d**2 + 3*d + 2. Is w(k) a multiple of 13?
True
Suppose 0*m = 2*p + 3*m - 72, 3*m = 0. Is p a multiple of 9?
True
Let y = -96 + 50. Let m = 162 + y. Suppose -v - m = -3*v. Is v a multiple of 22?
False
Let y = -17 - -20. Suppose y*n - 124 = 26. Does 18 divide n?
False
Let m(y) = -4*y**2 + 2*y. Let d be m(7). Let f = -109 - d. Is f a multiple of 19?
False
Let v = 65 + -35. Suppose -v = -x + f, x = -0*x + 5*f + 14. Does 11 divide x?
False
Is 1/(-5) + (0 - 162/(-10)) a multiple of 2?
True
Is 54 - (0 - (-1 + -1)) a multiple of 18?
False
Let t(q) = q**3 + 6*q**2 - 6*q + 7. Let y = -30 + 24. Does 22 divide t(y)?
False
Let b(r) = -4*r**3 + 2*r - 1. Let m be b(1). Suppose 0 = 4*v - 35 + 11. Let u = m + v. Is 2 a factor of u?
False
Suppose -4*d = -491 - 69. Is d a multiple of 35?
True
Let m be (-142)/6 + (-1)/3. Let b be 8/(-3)*(-18)/(-4). Let f = b - m. Does 8 divide f?
False
Let u(t) = 3*t**2 + 34*t + 9. Let w(i) = -i**2 - 11*i - 3. Let z(j) = -4*u(j) - 11*w(j). Is z(-12) a multiple of 15?
False
Let x be (-79)/4 + (-4)/16. Is 10 a factor of (x/6)/(6/(-36))?
True
Suppose -96 = -4*f + 24. Does 5 divide f?
True
Suppose -3*d = -2*d. Suppose -5*r - 2*i + 170 = d, -3*r - i + 58 = -45. Does 10 divide r?
False
Let x be ((-4)/(-6))/(6/(-9)). Is 9 - (x + 1 + -1) a multiple of 10?
True
Let x = -14 - -34. Is x a multiple of 15?
False
Let t(x) be the third derivative of x**6/120 - x**5/12 + x**4/4 - x**3/3 + 2*x**2. Let u be t(4). Does 6 divide 2/u + (-17)/(-3)?
True
Let y(t) = t**2 + 5*t. Let d be y(-5). Suppose d - 2 = -i. Is 19 a factor of -2*(-1)/i + 23?
False
Suppose 3*r - 63 - 3 = 0. Is r a multiple of 11?
True
Let r = 193 + -133. Is r a multiple of 10?
True
Let j(q) = q**3 - q**2 + 2*q - 1. Let m be j(2). Let w(s) be the third derivative of s**6/120 - 7*s**5/60 + s**3/2 + 2*s**2. Is 3 a factor of w(m)?
True
Let h = 125 + -83. 