2. Is u a multiple of 2?
True
Let u(c) = c**3 + 8*c**2 + 3*c - 1. Does 11 divide u(-7)?
False
Suppose 3*o - 2 = -4*d, -3*o + 1 = d - 13. Does 6 divide o?
True
Let x(h) = 5*h**2 - 4*h + 3. Let k be x(2). Suppose 0 + k = s. Is 15 a factor of s?
True
Suppose -2*h = 8, m - 121 = h + 79. Is m a multiple of 28?
True
Let i(l) = -l - 12. Let n be i(-9). Let y be 12 + -2 - (-1 - n). Let a = y - -6. Is 14 a factor of a?
True
Suppose 2*f + 12 = 2*z, 0 = 5*f - 2*z + z + 22. Let g = f - -16. Is 9 a factor of g?
False
Suppose 4*i - 13 - 3 = 0. Let a(s) be the third derivative of s**5/60 - s**4/12 - s**3/3 + s**2. Is 3 a factor of a(i)?
True
Let x(l) = -3*l**3 + 3*l**2 - 4. Let u be x(3). Let y = 82 + u. Is y a multiple of 12?
True
Suppose -1 = -17*p + 322. Is 2 a factor of p?
False
Let i(h) = -h**3 + 4*h**2 + h + 9. Is 19 a factor of i(-4)?
True
Let t(f) = -f**2 - 4. Let k be t(0). Does 3 divide 5/(-10) - 46/k?
False
Let l be (1 + 2)/(-3) - -8. Suppose -6 = -2*r, -2 = 2*g - 3*r - l. Is g a multiple of 7?
True
Suppose 5*f - 11 + 62 = -2*h, 2*f + 9 = 3*h. Is 20 a factor of (f/(-18))/((-1)/(-120))?
True
Let h be ((-20)/(-3))/(2/6). Suppose 2*g + h - 84 = 0. Is 16 a factor of g?
True
Suppose 1472 = 2*a - 3*p + p, -3*p + 2972 = 4*a. Suppose -r - a = 5*m, -m + 4*r - 148 = -r. Let q = -104 - m. Is 22 a factor of q?
True
Suppose 5*s = -20 + 5, 2*s - 144 = -3*v. Suppose -4*l - l = v. Is l/(-3) - (-2)/(-6) a multiple of 3?
True
Suppose -5*w = -4*b + 259 + 15, 3*b - w = 211. Let f = b + -39. Does 16 divide f?
True
Suppose -3*j + 15 = -0*j. Suppose -2*k + 6*k = 12. Suppose -k*i - 2*i + 4*g = -130, 130 = 5*i + j*g. Is 9 a factor of i?
False
Is 8 a factor of (1 + (-4)/(40/(-25)))*6?
False
Let k(v) = v**2 - v - 4. Let x be k(4). Let w = x + 7. Suppose -w = -5*r - 0*r. Is r a multiple of 2?
False
Let z(j) = -4*j + 8. Let b be z(6). Does 4 divide (-6)/(-4) + (-40)/b?
True
Suppose 20 = 5*y - 15. Suppose -3*i + 8*i + 15 = 5*m, -y = -2*m + i. Is m a multiple of 2?
True
Let h = -126 + 200. Suppose 171 = 4*g + 5*w, 3*g - h = 2*w + 37. Does 13 divide g?
True
Let w(r) = -r**2 - r + 48. Let t = 0 - 0. Is 15 a factor of w(t)?
False
Let a = 66 - -6. Does 9 divide a?
True
Let l be (8/4)/((-2)/(-8)). Suppose -l*w = -3*w + 20. Is 12 a factor of -4*(-8 - w/2)?
True
Let x(c) = -c**3 + 8*c**2 + 21*c - 20. Does 18 divide x(8)?
False
Is ((-84)/(-10) + -6)/((-1)/(-60)) a multiple of 18?
True
Let z = 54 - 47. Does 2 divide z?
False
Let b(c) = -c**2 + 15*c - 12. Let l be b(10). Is 12 a factor of 2*(-2)/(-8)*l?
False
Suppose 2*o + 40 = z, -2*o + 0*o - z - 32 = 0. Let q = o - -79. Suppose 3*b - 35 - q = 0. Is 16 a factor of b?
True
Let r be (-40)/(-7) + (-14)/(-49). Suppose w = r*w + 205. Let g = -26 - w. Is g a multiple of 15?
True
Let j(s) = 7*s**3 - 10*s**2 - 4*s - 1. Let n(p) = -10*p**3 + 15*p**2 + 6*p + 1. Let c = 16 - 9. Let m(k) = c*j(k) + 5*n(k). Is 22 a factor of m(3)?
True
Let l(u) = -u + 11. Suppose 2*n - 3 = 3*h, -15 = -4*n - 2*h + 5*h. Let q be l(n). Let g(v) = 4*v - 7. Is 13 a factor of g(q)?
True
Let t(o) = -o**2 + 2*o + 2. Let g be t(-2). Let d(f) = -f**3 - 6*f**2 + 2*f + 4. Let j be d(g). Is (-2)/((j/(-58))/(-2)) a multiple of 15?
False
Suppose -24 = -q + 36. Is q a multiple of 20?
True
Suppose o + 3*o = -12. Let z be 0 + 1 + 1 + o. Is z/(-2) + 231/14 a multiple of 16?
False
Let w(h) = -h**3 - 4*h**2 - 2*h + 3. Let j be w(-3). Suppose -9 = -3*a - 2*n - j, 0 = -2*a - 3*n + 6. Does 3 divide a?
True
Suppose 0*n - 2*n = -3*c + 52, n = 2*c - 28. Let l = -7 - n. Does 5 divide l?
False
Let x(w) = w - 1. Let l be x(-2). Let u be l/(2*(-1)/30). Suppose -5 + u = 5*m. Is m a multiple of 8?
True
Is ((-72)/(-21))/((-3)/(-21)) a multiple of 6?
True
Let u be (24/(-15))/(4/(-10)). Suppose 0 = -2*d + u*c + 8 - 24, 0 = -5*d + 5*c - 30. Is 16 a factor of 18*2*(-2)/d?
False
Suppose -3*u = -2*u + 20. Let y = -3 - u. Is y a multiple of 11?
False
Suppose 8*v = 264 + 40. Suppose 0 = 5*u - 10*u + w + 340, -u = 3*w - 84. Let h = u - v. Is h a multiple of 13?
False
Suppose 0 = -2*s + v + v, 0 = -2*v + 10. Let t = 8 - s. Suppose 4*b = 3*n + 119, -7*b + 94 = -t*b + 2*n. Is 11 a factor of b?
False
Let k(g) = g - 1. Let j be k(4). Suppose j*l + 6 = 87. Is 10 a factor of l?
False
Suppose 2*q = 0, -3*g + 0*q + 291 = -q. Is 12 a factor of g?
False
Let f(x) = x**2 + 7*x + 7. Let a be f(-7). Suppose 2 = v + 4*d - 5, -v + 2*d = -a. Does 3 divide v?
False
Let t(g) = -3*g**3 - 3*g**2 - 2*g + 1. Let p(s) = -2*s + 5. Let n be p(5). Let k = n + 3. Is t(k) a multiple of 17?
True
Does 5 divide (-4 + 183/12)*(-4)/(-1)?
True
Suppose -5*j = 2*v - 327, -5*j = 2*v - j - 328. Is v a multiple of 10?
False
Suppose -6*q = 2*q - 192. Does 19 divide q?
False
Let v be (6/4)/((-6)/(-112)). Suppose j + v = 5*j. Is 7 a factor of j?
True
Suppose 3*b - 13 = -5*v, 5*v = -2*b - 0*b + 12. Is 12 a factor of ((-4 - -1) + v)*-12?
True
Suppose 2*m - 3*m - 49 = -2*a, 40 = 2*a - 4*m. Does 10 divide a?
False
Let j(r) = 11*r + 6. Let p be j(6). Is 15 a factor of (-16)/p - (-452)/9?
False
Is (-7)/(-28)*(-2 + 70) a multiple of 2?
False
Suppose 3 = -5*j - 2, -429 = -4*t - 3*j. Suppose 4*n + 0*n = t. Does 27 divide n?
True
Let z(d) = -d**3 + 15*d**2 + 18*d - 23. Suppose -32 = -p - p. Is z(p) a multiple of 2?
False
Suppose r + 2*g = 7, -3*r - 25 = -3*g - 1. Let b be r/(-4)*(7 + -3). Let s = b - -3. Does 6 divide s?
True
Suppose 2*z + 6 + 0 = 0. Let y(s) = 6*s**2 + s + 1. Is 13 a factor of y(z)?
True
Let q = 7 - -9. Suppose q = 3*a - 44. Is a a multiple of 10?
True
Let f = 175 + -95. Is f a multiple of 20?
True
Suppose 0 = -w + 33 + 44. Is (-50)/(-7)*w/11 a multiple of 25?
True
Let h(c) = c**2 - c + 46. Let t be h(0). Suppose t = -3*v + 175. Is v a multiple of 17?
False
Let w be 0 + (1 - 0 - -1). Suppose -w*g + 22 + 82 = 0. Is g a multiple of 24?
False
Let s(q) = -3*q + 5. Let t be s(5). Let o = 25 + t. Suppose -31 = -2*z + o. Does 12 divide z?
False
Let o(d) = -8*d + 7. Let n be o(4). Is 8 a factor of 296/10 + (-10)/n?
False
Suppose -c = 4*a - 4*c - 16, -5*c - 20 = -5*a. Suppose 0 = h + a, -2*p - 16 = -p + 5*h. Is 4 a factor of (-3 + p)*(-1 - -8)?
False
Suppose 1 = q - c + 3, 2*c - 13 = -q. Suppose -2*j + 15 = q*j. Is 2 a factor of j?
False
Suppose -2*l + 2*n - 3 = 3*l, 9 = l + 2*n. Suppose 4*d - 27 = -7. Let o = d + l. Does 3 divide o?
True
Suppose 12 + 3 = -5*j. Let n(c) = c**3 + 2*c**2 - 4*c - 1. Is n(j) a multiple of 2?
True
Suppose -5*b = -b - 24. Let u = 4 + b. Is 5 a factor of u?
True
Suppose 2*m - 5*v = -3*m + 15, 3*v + 13 = 4*m. Let k(i) = 5*i**2 + i. Let h be k(-2). Let g = h - m. Is g a multiple of 9?
False
Suppose 0 = -2*u + u + 18. Suppose 0*i - u = -i. Does 9 divide i?
True
Is ((-33)/(-6) - 5)/(2/556) a multiple of 48?
False
Suppose 0 = -3*q + 79 + 35. Is 19 a factor of q?
True
Suppose 3*z = -2*z + 330. Suppose -5*q + 19 = -z. Is q a multiple of 9?
False
Let m(q) = q - 1. Let i be m(9). Let a be i/12 - 4/6. Does 18 divide ((-18)/4 + a)*-4?
True
Let b(x) = x + 7. Let d be b(-7). Suppose d = -5*s - 20, 2*t + 9 = -2*s - 3. Is 19 a factor of 19*(3/(-3) - t)?
True
Suppose -x - 104 = -3*o, -90 = -2*o - 4*x - 2. Suppose -4*g = -5*c + 205, 4*c + 4*g = o + 92. Does 2 divide c/7 + 8/(-28)?
False
Let l = -2 + 7. Suppose 0 = l*g - 10*g + 290. Does 16 divide g?
False
Let l(b) = b**2 + 7*b + 5. Let r be l(-7). Suppose 5*k - 5 = -5*h, r*h + 4*k = 2 + 5. Suppose 57 + 43 = 4*s + 4*z, h*s + 5*z = 81. Is 10 a factor of s?
False
Let z = -3 + 9. Is 2 a factor of z?
True
Let x = -6 + -2. Let i = -6 - x. Suppose -2*r - b = -13, i*r - 23 = -2*r - 5*b. Is 7 a factor of r?
True
Suppose 3*s = y - 84, -2*y - s = -y - 64. Is y a multiple of 14?
False
Let m be ((-4)/(-4))/((-1)/5). Let r = m + 8. Let v(q) = q**2 - 2*q + 2. Does 2 divide v(r)?
False
Let u be 6/(-27) - (-20)/9. Let l = 5 - u. Suppose -d - 50 = -l*d. Does 11 divide d?
False
Suppose 0 = d - 4*b + 4 + 9, 2*d + 4*b = 22. Let g = -140 - -205. Suppose -d*o + g = 8. Does 7 divide o?
False
Let o = -4 + 154. Is 15 a factor of o?
True
Suppose -4*d = -2*d. Let b(z) = -z**2 + 9*z - 3. Let n be b(7). Suppose 0*w + w - n = d. Does 6 divide w?
False
Let v = -11 + 6. Let w be (3/(-4))/(v/20). Suppose w*f - 17 = 16. Is f a multiple of 11?
True
Let x(w) = -2*w**2 + 93. Is 16 a factor of x(0)?
False
Is (234/21)/((-3)/(-