 76. Does 20 divide x?
True
Let l(y) = -17 - 25 - y + 45. Does 3 divide l(-6)?
True
Does 14 divide (-15)/(0 - (-9)/(-12))?
False
Suppose 5*b + 3 = -2. Does 11 divide -49*(b - (4 + -4))?
False
Suppose -5*g + 86 = -214. Is 12 a factor of g?
True
Let i(u) = 1. Let l(m) be the second derivative of m**3/2 - 3*m**2 - 2*m. Let d(c) = 4*i(c) + l(c). Is 3 a factor of d(3)?
False
Suppose 134 = 3*z - 142. Does 25 divide z?
False
Let i(z) = -z**3 - z**2 - 3*z - 5. Let l(n) = -n**2 - n + 1. Let x(g) = i(g) + l(g). Is 10 a factor of x(-4)?
False
Let v be 6/1 - (-2 + 3). Suppose 192 = v*i - 5*b - 83, 3*i - b = 157. Is 6/9*(i + 0) a multiple of 17?
True
Suppose 11*j - 8*j = 0. Suppose 2*u + j*u - 132 = 0. Is 22 a factor of u?
True
Let v(s) = 7*s + 1. Let f be v(-1). Let t = -4 - f. Does 2 divide t?
True
Suppose 0 = -s - s. Suppose z = -0*z + 6. Let y = s + z. Is y a multiple of 3?
True
Suppose -9 - 1 = 5*r. Is 7 a factor of r*1*7/(-1)?
True
Suppose -3*u + 330 = 3*f, 0 = -2*u - 2*f + f + 216. Is u a multiple of 26?
False
Let v = -41 + 76. Let u = v - 22. Is 13 a factor of u?
True
Suppose 2*v - 3*f - 8 - 41 = 0, -f + 61 = 2*v. Is v a multiple of 29?
True
Suppose 4*s = 2*k + 9 + 5, -2*k + 6 = 0. Suppose b - 21 = -3*l - 3*b, 4*l + 3 = s*b. Does 3 divide l?
True
Suppose 2 = -2*i - 8. Let z be (-165)/(-20) - 1/4. Let s = z + i. Is 2 a factor of s?
False
Suppose 3*l + 7 = -2. Let q be (-4 - l) + 3 - 2. Suppose 4*w - 20 = -d - q*d, 40 = 5*w + 5*d. Does 2 divide w?
True
Is (-21580)/(-90) + 1*2/9 a multiple of 10?
True
Let w(v) = v**3 - 11*v**2 + 5. Let m be w(11). Let g(b) = -b**3 + 6*b**2 - 3*b + 6. Is 8 a factor of g(m)?
True
Suppose 4 = -4*r + 16. Does 10 divide 13 - (-2 + r + 2)?
True
Suppose 2*p = -3*j + 19, -45 = -3*p - 4*j + 5*j. Is p a multiple of 14?
True
Let g = 19 - 7. Suppose -2*b + g = -44. Suppose -6*u = -3*m - 5*u + b, 5*m - 4*u = 35. Does 9 divide m?
False
Let r(c) = -c**2 - 10*c + 3. Suppose 2*u + 18 = -y, 5*y - 21 = 5*u + 39. Let a be r(u). Is 5 a factor of (a - (5 - -1)) + 8?
True
Let p = -10 - -14. Suppose -p*o - o = 0. Suppose 0 = -o*k + k - 9. Does 9 divide k?
True
Let w(j) = -j**3 + 9*j**2 + 3*j - 12. Let l = 0 - -9. Let x be w(l). Suppose r + x = 4*r. Does 4 divide r?
False
Suppose -8 = -f + 4. Does 15 divide ((-4)/10)/(f/(-1380))?
False
Let z(n) = n**3 - 5*n**2 + 4*n + 2. Let b be -1*(-2)/((-4)/(-30)). Let h be -10*2/b*-3. Is 2 a factor of z(h)?
True
Suppose -5*x - 4*w = -5 - 0, 4*x + 37 = 5*w. Let o be (3 - (3 - x)) + -1. Let p(b) = b**3 + 4*b**2 - 4*b - 2. Is p(o) a multiple of 14?
True
Let b = 0 - -2. Let i = b - 4. Let z = i + 28. Is z a multiple of 13?
True
Let l(d) = 4*d - 6. Let y be (-1)/(0 - 2/10). Does 14 divide l(y)?
True
Let b(p) = -4*p. Does 14 divide b(-7)?
True
Does 6 divide 108/5 + (-10)/(-25)?
False
Suppose -150 = -10*v + 5*v. Suppose -5*t + v = -5*h, -5*h + 28 = 3*t - 3*h. Is 6 a factor of t?
False
Let v be 3/5 + (-84)/15. Let q(m) = 10*m**2 - 2*m - 1. Let u be q(2). Let o = u - v. Does 20 divide o?
True
Let r = 20 + -16. Suppose 182 = 5*o + 4*q + 25, -o + r*q + 41 = 0. Does 12 divide o?
False
Let i be (-6 + 3)/(6/(-4)). Suppose 0 = -i*h + h + 48. Suppose -h = -5*b + 3*b. Is 12 a factor of b?
True
Let n = 11 - 2. Let u be 0 + (-1)/((-3)/n). Suppose u*o - 57 = 5*v, -2*o - 2*v = -o - 30. Does 8 divide o?
True
Let l(v) = v**2 + 5*v + 4. Let u be l(-4). Let x(s) = -3*s + 28 - 2*s**2 + 4*s + s**2. Is 14 a factor of x(u)?
True
Suppose -2*o + k = 5*k - 72, 4*k = -8. Is 2 a factor of o?
True
Let p(w) = -3*w - 5 + 11*w**2 + 10 - w + w + w**3. Is p(-11) a multiple of 19?
True
Let u be (9/(-6))/(2/(-4)). Let s = 8 + 25. Suppose u*z - s = 2*z. Is z a multiple of 21?
False
Let q = -46 + 73. Does 27 divide q?
True
Does 11 divide (-2)/(-10) + (-492)/(-15)?
True
Suppose 4*h - 3*y - 115 = 0, 52 + 7 = 2*h - 3*y. Let n be (-3)/((1 + 0)/(-1)). Suppose f = -n*f + h. Is 4 a factor of f?
False
Suppose 2*b = -3*c + 20, 2*b - 1 = 7. Suppose -c*q = -5*q + 8. Is (-1)/(-1)*(40 + q) a multiple of 24?
True
Suppose -5*z - 4*b + 0 - 8 = 0, 3*z + b = -9. Let v be 0/(z + 2/1). Suppose 125 = 4*q + 5*f, v = 2*q + 3*q + 3*f - 166. Is q a multiple of 15?
False
Let n be (-32)/(-12) - (-2)/6. Suppose n*t - 45 = -3*w + 57, -5*t = -3*w - 178. Is t a multiple of 16?
False
Suppose -580 = -11*d + 6*d. Is 29 a factor of d?
True
Suppose 0 = 15*x - 16*x + 228. Does 14 divide x?
False
Let g = -674 - -1025. Is 27 a factor of g?
True
Let m(i) = 0*i**2 - 5*i - 2 - 3*i**2 + 4*i**2. Is 11 a factor of m(8)?
True
Suppose 0 = 5*h - 34 - 176. Is 9 a factor of h?
False
Let i(u) = -3*u + 42. Is i(0) a multiple of 14?
True
Suppose -13 = -4*p - 5*i - 33, -26 = 3*p + i. Let c(t) = t**2 + 7*t + 14. Is c(p) a multiple of 10?
False
Let j(m) = m**3 + 6*m**2 + 4*m + 9. Let h be j(-6). Let p = h - -25. Does 10 divide p?
True
Let d(c) = 3*c**2 + 2*c + 2. Is 9 a factor of d(-5)?
False
Let q be 117/(-4) - 2/(-8). Let i = 8 + q. Let u = 50 + i. Is 18 a factor of u?
False
Suppose -2*k = 7 - 51. Is 10 a factor of k?
False
Suppose -2*q + 10 = -7*q + 5*s, -5 = q + 2*s. Let o be (-1*(-18)/q)/(-2). Suppose -5*t + u + 68 = -o*t, 5*t - 5*u = 180. Does 16 divide t?
True
Suppose 126 = -9*f + 2016. Is 21 a factor of f?
True
Let c(l) = 9*l + 3. Let b be 2*(-1)/(4/(-6)). Is c(b) a multiple of 15?
True
Let j = 0 - -3. Suppose j*u - 7*g + 3*g - 41 = 0, 4*g = -20. Let x = 21 + u. Is x a multiple of 14?
True
Suppose -5*a - 336 = 254. Does 12 divide (a/3)/(6/(-9))?
False
Suppose 4*x - 5 = 3*u + 119, u - 80 = -3*x. Is x a multiple of 7?
True
Does 7 divide (-146)/(-6) + 1/(-3)?
False
Let i = 6 + -4. Suppose a + 3*b = -4, -i*a + 3*b + 12 = -7. Is 3 a factor of a?
False
Let c(w) = 3 + w**3 - 12*w - 2*w**2 + 6*w**2 + 3 + 7*w**2. Is c(-12) a multiple of 6?
True
Suppose 0*y + 5*y = r - 47, -5*y + 49 = 2*r. Is 8 a factor of r?
True
Let q = 14 - 12. Let x be ((-5)/2 - -1)*-2. Suppose -5*m + y = -m - 43, -39 = -q*m - x*y. Is m a multiple of 11?
False
Let q(j) = -3 - 9 - 1 + j - 2. Let l be q(7). Let f = l - -12. Is 4 a factor of f?
True
Let v(c) = 20*c + 18. Is 32 a factor of v(4)?
False
Suppose -2*h - 2*h - 5*n = 209, -2*h - 99 = -3*n. Let o = h - -72. Suppose -c = -25 - o. Is c a multiple of 23?
True
Suppose t + 3*j = 72, 57 = 5*t + j - 345. Does 21 divide t?
False
Let d(v) = -v**2 + 4*v + 1. Suppose -2*m - 8 = -6*m. Let j be d(m). Suppose 4*x - 70 = j*c - 8*c, -78 = -5*c + 3*x. Does 7 divide c?
False
Let i = -65 + 115. Is i a multiple of 13?
False
Suppose 0 = 2*r - 184 - 76. Is 13 a factor of r?
True
Let z be (-11)/(-1) - (3 - 4). Suppose 0*k + z = 3*k. Suppose 5*l - 23 = k*l. Is 7 a factor of l?
False
Suppose -2*p + 6 = p. Suppose -p*l + 6 = l. Suppose 0 = 2*m + l*m + 4*g - 52, -3*g = 4*m - 56. Is 9 a factor of m?
False
Suppose -y + 31 = -8. Is y a multiple of 7?
False
Let h(w) = 21*w - 27. Is h(3) a multiple of 9?
True
Let i = -2 - 29. Let o be (i - -4)*(1 - 2). Suppose b = -2*b + o. Is 7 a factor of b?
False
Let r(j) = 6*j - 2*j**3 + j**3 + 2 + 0 + 3*j**2 - 8. Is 2 a factor of r(4)?
True
Suppose 0 = 2*k + 2*k - 76. Is k a multiple of 19?
True
Suppose 7*u - 3*u - 88 = 0. Is u a multiple of 8?
False
Suppose 4*k = -19 + 87. Does 16 divide k?
False
Let r = 12 - 7. Let j = -39 + 69. Suppose 80 = r*k + j. Does 8 divide k?
False
Let g be 2/(1 - (-3 - -3)). Is 8 a factor of g + -1 - 60/(-4)?
True
Let v be (11 - 4)*(2 - 1). Suppose 3*f + c = 6*c + v, 3*c = 2*f - 4. Is (6 - f)*(-1)/(-1) a multiple of 3?
False
Let w(x) be the first derivative of 11*x**4/2 + 2*x**3/3 - x**2/2 - 1. Is w(1) a multiple of 15?
False
Let b be 1/1 + (-8 - -5). Is 9 a factor of ((-21)/b)/(1/2)?
False
Does 8 divide (6/5)/((-12)/(-320))?
True
Let h = 25 + 22. Is 26 a factor of h?
False
Let r be (8/3)/((-4)/(-54)). Is 4/(3*2/r) a multiple of 12?
True
Let g be (-1*4)/2 + 67. Let x = g - 28. Is x a multiple of 20?
False
Let z(i) = 54*i - 1. Let u be z(-1). Let k = -22 - u. Is 11 a factor of k?
True
Let w(g) = 2*g**2 - 7*g + 24. Is w(10) a multiple of 14?
True
Suppose -2*l - 2*a - 10 = -3*a, 0 = l - 3*a. Let h = 27 + l. Is h a multiple of 7?
True
Suppose -2*b = -10 - 6. Suppose 0 = 2*v + 2 - b. Is 12 a factor of (1/(-2))/(v/(-72))?
True
Let p(x) = -x**3 - x**2 + 7*x + 6. Is 13 a factor of p(-4)?
True
Let v(d) = -d**2 + 76. Does 19 divide v(0)?
True
Let r 