le of 4?
False
Suppose 6*o - 5 = o. Suppose -5*b - 3*g + 4*g = 32, 0 = b - 2*g + o. Let y = 13 + b. Is 4 a factor of y?
False
Suppose 0 = 5*h - 7*h + 178. Does 10 divide h?
False
Suppose 4*z + 2*l = 236, -2*z - 8*l + 4*l + 112 = 0. Is z a multiple of 3?
True
Suppose 5*m = m + 740. Suppose 37 = -4*q + m. Is 13 a factor of q?
False
Let n = 36 - 11. Does 8 divide n?
False
Let k be (4/5)/(4/30). Let t(p) = 8*p - 4. Does 22 divide t(k)?
True
Suppose 5*q - 15 + 0 = 0. Suppose -61 = -2*y - i, 61 = 4*y - q*i - 56. Does 10 divide y?
True
Let h(i) = -2*i - 4. Let m be h(-4). Let k(w) = w**3 - 5*w**2 - 10*w - 4. Let n be k(8). Suppose -n = -m*f + 68. Is f a multiple of 22?
True
Suppose -d = -4 + 2. Suppose -z = 4*m - d*m - 45, 0 = -2*m + 2. Suppose -g + s = -2*g + z, 5*g - s = 233. Is g a multiple of 23?
True
Suppose 5*y - 120 - 345 = -4*g, -20 = -4*y. Is g a multiple of 11?
True
Suppose 0*m = -5*m + 15. Suppose -l + v = -58, -5*l - m*v + 116 = -174. Is l a multiple of 15?
False
Suppose -460 = -0*b - 4*b. Let i = b - 73. Does 21 divide i?
True
Is 6 a factor of 1045/25 + (-2)/(-10)?
True
Let l = 267 + -155. Is 28 a factor of l?
True
Let n = 39 - 6. Is n a multiple of 11?
True
Suppose 0 = 13*w - 74 - 420. Does 2 divide w?
True
Suppose 2*q = -7 + 45. Is 19 a factor of q?
True
Let h = 4 - 0. Suppose -s + h*s = 51. Is 12 a factor of s?
False
Suppose 0 = -3*h + 68 + 16. Is 14 a factor of h?
True
Let n = 6 + -8. Let f(y) = -y**3 + 23*y**2 + 32. Let a be f(23). Is 4 a factor of ((-2)/4)/(n/a)?
True
Let q(t) = t**3 - 12*t**2 + 10*t + 10. Suppose 16 = 2*f - z - 2, -17 = -3*f + 4*z. Let v be q(f). Is 8 - (v + 1 + 1) a multiple of 7?
True
Let i = -18 + 30. Is i a multiple of 2?
True
Let l = 1 + 11. Does 17 divide 406/8 - (-3)/l?
True
Let x = -17 + 39. Is 11 a factor of x?
True
Let d(j) = j**3 - 5*j**2 + 2*j. Let s be d(2). Let o = 81 + s. Let a = -29 + o. Is a a multiple of 19?
False
Does 3 divide 0 + 1 + -5 + 10?
True
Let r(y) = -11*y + 1. Let p be r(-1). Suppose 3*d = 5*d - p. Is d a multiple of 6?
True
Let n(d) = 3*d - 11. Does 16 divide n(9)?
True
Let w(k) = 2*k**2 + 2*k + 4. Suppose -5*p = -2 + 17. Is w(p) a multiple of 13?
False
Let l be 1/(2/(-6)) + 0. Let h(w) = -w**3 + 8*w**2 + 8*w + 13. Let a be h(9). Is 4 a factor of l/6 + 46/a?
False
Let i(v) = v**3 - 6*v**2 - 7*v + 2. Let y be i(7). Suppose 0*m - y*m + 26 = 0. Is m even?
False
Let t(w) = -6*w + 5 + w**2 - 3 - 5. Is t(7) even?
True
Is 8 a factor of 8/(-3)*(-5 - (-325)/(-10))?
False
Let c be 52/(-5) - 14/(-35). Let k = -1 - c. Is k a multiple of 4?
False
Let m(f) = -f - 3. Let d be m(-6). Suppose q + d*q = -16. Let w = 13 + q. Does 7 divide w?
False
Suppose -4*r = -4 + 20. Let z be 3*((-24)/9)/r. Suppose 3*i - 4*i = z*u - 57, -i = -1. Is u a multiple of 14?
True
Suppose -5*a = -26 + 6. Suppose 0*x = -a*x - 228. Is 10 a factor of ((-16)/24)/(2/x)?
False
Let y(w) = -36*w - 3. Let t(l) = 37*l + 4. Let a(h) = -2*t(h) - 3*y(h). Is a(2) a multiple of 23?
True
Suppose -x + 38 + 6 = 0. Suppose -5*l - s + x = -46, 5*l = -4*s + 90. Suppose -v + 2*m + l = 0, 2*v - m + 4*m - 29 = 0. Is v a multiple of 16?
True
Let k(j) = j**3 + 5*j**2 - 2*j - 2. Let h be k(-3). Suppose -4*s - 3*i + 25 = -6*i, -5*s + 2*i + 26 = 0. Suppose s*f = 3*f + h. Does 11 divide f?
True
Suppose 4*h - 2*v = 316 - 114, v = 3. Suppose 3*w + w + h = 4*o, -w - o - 3 = 0. Is (-11)/((-22)/w + -3) a multiple of 22?
True
Let p be 0 + 2 + (-1 - 9). Let l be (-14)/p + (-1)/(-4). Suppose -3*d + 100 = l*d. Is d a multiple of 10?
True
Is 4 a factor of 4*4/(-8) - -17?
False
Suppose 2*z - 2 = 4*j - 16, 3*j + 4*z + 6 = 0. Let u(x) = 2*x + 3 - 4 + j + x**2 + 0. Is 8 a factor of u(3)?
True
Let a = 148 - 97. Is a a multiple of 17?
True
Does 17 divide 40/(-15)*-6 - -1?
True
Let w be (-11 - -5)/((-1)/1). Suppose -41 = -w*p + 31. Is 4 a factor of p?
True
Let z be 2/5 + (-132)/30. Let w(j) = -j**3 - 4*j**2 - 4*j + 3. Is 12 a factor of w(z)?
False
Suppose 3*l + 58 = 4*g, 4*g = 6*g - 3*l - 26. Suppose d + g - 45 = 0. Does 14 divide d?
False
Is (-76)/(-16) + 2/8 even?
False
Let u(k) = k**3 - 2*k**2 + 2*k - 2. Let f be u(2). Let w = -2 - -5. Let r = f + w. Is 5 a factor of r?
True
Suppose 2*r = 4*r. Let k(u) = 3*u + 1 + 2*u + 0*u + r*u. Is 22 a factor of k(8)?
False
Let i be (-1 + (-7)/(-2))*6. Does 6 divide 3 - (-3 + (3 - i))?
True
Is 32 a factor of 32*-3*(52/(-12) + 3)?
True
Suppose -f - 4*w = 16, 6*f - 4*f + 4*w + 12 = 0. Is 22 a factor of 0 + (24*f - -2)?
False
Suppose 63 = a - 0*a. Let r = 104 - a. Is 23 a factor of r?
False
Let c(v) = -v - 2. Let m be c(-7). Let t = 7 - m. Suppose -2*g = -2*r + 24 + 64, t*r = -5*g + 74. Is 21 a factor of r?
True
Let a = -90 - -232. Is 33 a factor of a?
False
Suppose 4 = -g + 2*u, -4*g - 7*u - 16 = -3*u. Let v be (-2)/g + 15/(-10). Does 5 divide 16 + v + 0/3?
True
Suppose 2*o = -2*g - 12, 3*g + 14 = -5*o - 14. Let w(k) be the first derivative of 2*k**3/3 + 5*k**2/2 - k + 2. Does 19 divide w(o)?
False
Suppose 4*i = -i - 655. Let m = -59 - i. Suppose m = q + 2*q. Is q a multiple of 12?
True
Let g(i) = i**3 - i**2 + 1. Let a(x) = -3*x**3 - 4*x**2 - 14*x + 7. Let t(s) = -a(s) - 4*g(s). Let r be t(11). Is 14 a factor of (-2)/(-8) - r/16?
True
Let c(p) = -p**3 + 9*p**2 + 2*p. Let f(u) = u**3 - 8*u**2 - 3*u + 1. Let j(q) = -4*c(q) - 5*f(q). Is j(5) even?
False
Let d(q) = q**2 + 18*q + 8. Is 19 a factor of d(-20)?
False
Is 4/8 - (-75)/2 a multiple of 6?
False
Suppose -4*h = -2*t + h + 10, -t = -3*h - 4. Let c(v) be the second derivative of v**5/20 - 5*v**4/6 + v**3/6 + 11*v**2/2 - 6*v. Is c(t) a multiple of 21?
True
Let q = 14 - 0. Is 7 a factor of q?
True
Suppose 2*u + 4*n = 134, -4*u + 0*n = 5*n - 265. Does 5 divide u?
True
Suppose -r + 15 = 2*r. Suppose -8 - 12 = -r*d. Does 4 divide d?
True
Let z = -1 - -4. Is z a multiple of 3?
True
Suppose 2*p = 4*p - 4. Suppose p*u = 4*u - 6. Suppose u*o + 3*v = 4*o - 24, 3*v = -9. Does 12 divide o?
False
Let c = 11 + -7. Suppose 4*h + 0*h = -4*l + 12, -l = -c*h + 17. Is h a multiple of 4?
True
Let d(x) = -x**3 + 16. Suppose 0 = -5*i - 3*u, -4*u + 0*u = 3*i. Does 16 divide d(i)?
True
Suppose -v + 20 = -2*k, 3*v - 5*v = -3*k - 30. Let s = -40 - -25. Is (-3)/s + (-118)/k a multiple of 9?
False
Let r(u) = 2*u**2 + 16*u - 15. Is r(-10) a multiple of 11?
False
Let x(j) = j**3 + 12*j**2 - 20*j - 10. Does 27 divide x(-13)?
True
Suppose 2 = -0*q + q. Let x be (-9)/q*(3 + -1). Does 4 divide 201/15 - x/15?
False
Let g be (6*-4)/2*-1. Suppose -s + 5*x = 2*x - 6, -2*s - 4*x = -g. Is s/(-2 - 1)*-1 a multiple of 2?
True
Let r(c) = 2*c**2 + 13*c + 13. Let i(z) = z**2 + 7*z + 7. Let k(l) = -7*i(l) + 4*r(l). Is 3 a factor of k(-3)?
True
Let p(a) = a**2 + a - 3. Let b be p(3). Let o be (-2)/b - (-4)/18. Is 2 a factor of (-2 - o)*(-15)/6?
False
Let z = 11 - 3. Is z a multiple of 2?
True
Let w = 12 + -7. Let s(l) = 6 - 3 + w - 5*l - 5. Is 6 a factor of s(-4)?
False
Let c(p) = -p**3 + 4*p**2 + 2*p + 2. Let l(d) = -d + 8. Let f be l(4). Suppose -2*r + f = -4. Is 10 a factor of c(r)?
True
Let k(w) = w**2 + 5*w - 6. Let y be k(-6). Suppose 4*n - 35 = 3*v, v + 10 = n - y*v. Is n even?
False
Let y(x) = -x + 1. Let c = -16 - -8. Is 5 a factor of y(c)?
False
Suppose 242 = 5*u - 2*p - 14, 5*u - 5*p - 265 = 0. Is u a multiple of 18?
False
Let d = -20 + 20. Suppose 0 = -5*w - 10, k + 2*w = -d*k + 28. Is k a multiple of 11?
False
Does 31 divide 165/5 + 4/(-2)?
True
Let m = 38 + -26. Does 2 divide m?
True
Suppose -6*z = -197 - 361. Is 17 a factor of z?
False
Suppose 63*y = 67*y - 464. Is y a multiple of 14?
False
Let f(w) = 14*w + 2. Let x be f(2). Let g = x - 4. Is g a multiple of 14?
False
Let b be -4 + 25 + -1 + 0. Suppose 5 = 5*p - b. Is p a multiple of 5?
True
Let n(p) = p**3 + 9*p**2 - p - 9. Let s be n(-9). Suppose -7*h + 4*h + 27 = s. Is h a multiple of 5?
False
Let j(q) = 2*q - 9. Let y be j(10). Let m = y + 27. Is 19 a factor of m?
True
Let m(j) = -47*j**3 - 2. Let x(g) = -24*g**3 - 1. Let p(o) = 2*m(o) - 5*x(o). Is 9 a factor of p(1)?
True
Suppose 21 = 3*r - 9. Does 10 divide r?
True
Suppose -z - 12*z = -26. Let p = 3 - 6. Is 7 a factor of p - z*1*-6?
False
Let q(h) = -h**3 - h**2 - 2. Let m be q(2). Let l = -3 - m. Is l a multiple of 3?
False
Suppose 15 = 4*k + 3. Suppose -k*b = 4 + 5. Is (0/b)/1 - -6 a multiple of 3?
