)/(-3)*9/2. Let h = j + -25. Suppose u = -y + h, 0 = 3*u - y - y - 94. Is u a multiple of 14?
True
Suppose 0 = 2*u - 3*u + 37. Let c = u - -4. Is c a multiple of 20?
False
Let l be 192/6*(0 + 2). Suppose i - l = -16. Is 16 a factor of i?
True
Does 29 divide (3/2)/((-9)/(-444))?
False
Suppose 7*t + 15 = 2*t, 66 = 2*i - 4*t. Is i even?
False
Suppose -t = -6*t + 3*r + 1415, 5*r - 255 = -t. Is t a multiple of 14?
True
Suppose -q = 2*q + 18. Is (-3)/q*(-3 + 11) a multiple of 2?
True
Is 12 a factor of (-5)/((-3)/(-324)*-3)?
True
Suppose 3*y + 32 = 5*g, -4*y - 18 - 14 = -4*g. Suppose 114 = 5*b + 2*x, g*b - 135 = -b + 5*x. Does 14 divide b?
False
Let h(g) = -g**3 + 6*g**2 + g + 2. Let x be h(-4). Suppose 8*u = 5*u + 174. Suppose -4*q = -u - x. Does 18 divide q?
True
Suppose 6*m - 165 = m. Is m a multiple of 5?
False
Does 17 divide 84 - (0 + 2 + (-9)/3)?
True
Suppose -20 = -4*o + 92. Does 7 divide o?
True
Suppose 4*r - u = 80, 0*r + 2*u = -3*r + 71. Is r a multiple of 8?
False
Suppose 3*y = 4*v - 0 - 40, 48 = 4*v - 5*y. Is v a multiple of 2?
False
Let f(b) = -2*b**2. Let y be f(-4). Let n = 19 - y. Is 17 a factor of n?
True
Let n = -2 - -2. Suppose n = 3*s + 7 + 5. Is (-44)/s + -1 + 1 a multiple of 4?
False
Suppose -4*p + 2*p - 11 = -5*o, 0 = -4*p - 12. Does 11 divide (o/2 - 0)*24?
False
Let q(j) = j**2 - 2*j - 6. Is 18 a factor of q(6)?
True
Suppose -14 = 2*z - 86. Does 3 divide (z/3)/(-1 + 3)?
True
Suppose -x - x = -12. Let o = 1 - x. Let u(b) = -6*b. Is u(o) a multiple of 12?
False
Suppose 7*v - 11*v + 632 = 0. Is v a multiple of 7?
False
Let i be 2/(2 + 1776/(-890)). Is i/15 + 1/3 a multiple of 15?
True
Suppose 5*b + 9 = -16. Let d be b/((-5)/2) + 2. Suppose d*x = x + 54. Does 9 divide x?
True
Let l be 6/(-9) + 280/6. Let k = -16 + l. Does 2 divide (6/15)/(2/k)?
True
Suppose -3*f = -5*f + 4*y - 6, 0 = 4*f - 4*y + 12. Let c(w) = w**2. Let b(g) = 6*g**2 - 2*g + 1. Let t(z) = f*c(z) + b(z). Is t(3) a multiple of 11?
True
Suppose 6*s = s. Suppose s = -6*h + h + 160. Does 12 divide h?
False
Suppose 3*z = 3*y - 18, 0*y - 5*z = -3*y + 14. Is 31 a factor of (-2)/y - (-237)/4?
False
Let p(t) = 2*t**3 - 5*t**2 - 4*t + 3. Let i(w) = -w**2 + 7*w - 6. Let f be i(5). Does 19 divide p(f)?
False
Let y(t) = 3*t**2 + t. Let f(v) = v + 5. Let o be f(-4). Let a = o - 0. Is y(a) a multiple of 3?
False
Suppose -4*o = -4*f, 1 - 17 = -4*f. Suppose -o*k = 5*h - 38, -5*k + 3*h = -k - 22. Does 2 divide k?
False
Does 14 divide 36/((-2)/21*(4 + -7))?
True
Let k = 21 - 30. Let r = -6 - k. Is 3 a factor of r?
True
Let a(s) = s + 15. Is 5 a factor of a(-10)?
True
Let s(a) = -a**2 - 5*a - 2. Let f be s(-3). Is 4 a factor of (5/f)/((-6)/(-48))?
False
Suppose 0 = 3*w - 4*w - 3. Let r = w - -4. Does 13 divide r - (-1 - 3*8)?
True
Suppose u - 35 = -4*d, -u = u + 4*d - 86. Does 17 divide u?
True
Let w(j) = -j**3 - 11*j**2 + 11*j + 18. Is w(-12) a multiple of 10?
True
Let p = -5 - -9. Suppose 3*o + 4*r - 76 = 0, p*o = o - 3*r + 81. Is o a multiple of 14?
False
Suppose 2*j = -2 + 6, 5*j + 18 = c. Is c a multiple of 22?
False
Suppose u = -u + 3*l + 24, 4*l - 8 = -4*u. Is u even?
True
Let i(m) = m**3 - 15*m**2 + 28*m - 20. Is i(14) a multiple of 27?
False
Suppose -2*o = -4*q - 18, 8*o - q + 13 = 10*o. Is 7 a factor of o?
True
Let b = -260 + 415. Suppose 20*x + b = 25*x. Is 15 a factor of x?
False
Let n = 0 - -4. Suppose 5*u = -s, 5 + 6 = 3*s + n*u. Suppose 2*x - 55 = -3*h, -s*x + h = 6*h - 125. Is x a multiple of 10?
True
Let k be (2/(-3) - -1)*0. Suppose 0 = -2*t + y + 1, 0 = -0*t - 3*t + 4*y - 6. Suppose k*w + 46 = t*w. Is w a multiple of 9?
False
Let f = -23 - -123. Is 25 a factor of f?
True
Let o(u) = u**3 - 12*u**2 + 10*u + 16. Let c be o(11). Suppose 0*w - w - c*s = -13, -2*w - 3*s + 26 = 0. Does 13 divide w?
True
Suppose 0 = 2*f + 8 + 2. Let d = -18 + 8. Is (32/d)/(1/f) a multiple of 8?
True
Let m(q) = -q**3 - 26*q**2 - 27*q - 20. Is m(-25) a multiple of 6?
True
Let c = -10 - -11. Suppose 36 = 5*b + 6. Does 4 divide b/6*11/c?
False
Let t = -6 + 6. Is 2 a factor of (t - 2) + 2 + 5?
False
Let m(h) = 36*h**3 - 2*h + 1. Does 31 divide m(1)?
False
Suppose -5*p - 3*k = 30, -5*p + 2*k - 9 - 21 = 0. Let i be ((-4)/p)/(6/9). Let f = i - -13. Is f a multiple of 6?
False
Is 5 a factor of (-2)/(-5) + 43/5?
False
Let z = 2 - 1. Is -1*(3 + (-33)/z) a multiple of 15?
True
Suppose 0 = 5*p - 2*u - 24, 3*u - 36 + 9 = -3*p. Suppose 11*x = p*x + 100. Does 10 divide x?
True
Let u(x) = x**3 - 4*x**2 - 11*x + 24. Is u(6) a multiple of 7?
False
Let r = -1 - -4. Suppose r*h = 7*h. Suppose -4*b = -2*a + 22, h = 4*a - 6*a - 3*b + 22. Is 5 a factor of a?
False
Let a = 13 - 8. Suppose -n + 2*n = 14. Suppose 79 = a*j + n. Does 13 divide j?
True
Is 7 a factor of ((-182)/70)/(2/(-20))?
False
Suppose 4*r - 76 - 260 = d, 0 = 5*r - 4*d - 420. Does 14 divide r?
True
Suppose -3*x = -2*o - 182, 2*x + x - o = 181. Is 4 a factor of x?
True
Suppose 0 = 5*n - 2*a - 10, -2*a = -4*n + 10 - 4. Is n even?
True
Let l be -3 - -1*(2 - 1). Is 16 a factor of (-4)/4*80/l?
False
Suppose y = -2*y - 27. Let h = y + 18. Is h a multiple of 7?
False
Suppose -3*u + 9 = -12. Suppose 0 = -2*g + u*g. Suppose g = -f + 4, 108 = 5*p - p - 5*f. Is 16 a factor of p?
True
Suppose z = -z + 4, 0 = -3*k + 5*z + 296. Is k*(0 + 1/2) a multiple of 17?
True
Let a be 3 + -2 + 2 + 2. Suppose -4 = -o + a*o. Is 1 + o/(3/(-183)) a multiple of 21?
False
Suppose 5*f - d = 445, -f - 2*d = 4*f - 430. Is 15 a factor of f?
False
Suppose 1 = z, 3*p + 2*z - 123 = -z. Suppose -p - 44 = -2*r. Is 21 a factor of r?
True
Suppose -4*y + 3*p = -21, 3*p + 24 = -0*y + 5*y. Let t(q) = -3 + 6*q**2 - 25*q**y + 4 + 0 - 8*q**2. Is 11 a factor of t(-1)?
False
Suppose -b + 3*z - 6 = 0, 4 = z + z. Suppose -2*j + b*c = 5*c - 45, -4 = 4*c. Is 20 a factor of j?
False
Let n = 703 - 408. Is 59 a factor of n?
True
Let k = -100 - -162. Is k a multiple of 31?
True
Does 34 divide 2/(6 - 2)*204?
True
Suppose x = -3*x + 56. Let h = x + 1. Is h a multiple of 6?
False
Let p be (9/5)/3*5. Suppose -w = -p*w. Suppose 2*u - 5*u - 3*r + 24 = 0, -5*u - 2*r + 28 = w. Is 2 a factor of u?
True
Let y(k) = 4*k**2 + k**3 + 2*k**2 + k - 2*k**3. Suppose -3*m = -0*m - 18. Does 3 divide y(m)?
True
Let m(j) = 2*j - 7. Let r be m(4). Is ((-4)/(-8))/(r/32) a multiple of 5?
False
Let f(x) = -18*x + 2. Is f(-6) a multiple of 32?
False
Does 31 divide (0 + -1)*(-91 + -2)?
True
Let d(o) = -11*o + 6. Let i(r) = -11*r + 7. Let y(z) = -5*d(z) + 4*i(z). Is 6 a factor of y(1)?
False
Let l(v) = 3*v**2 + 5*v. Let r be l(-6). Suppose -r = -p - 2*i, 3*p + 4*i = -i + 231. Is p a multiple of 20?
False
Is 25 a factor of (-94 + -6)/(-2 + 0)?
True
Suppose 5*a - 150 = 140. Let y = 23 + a. Suppose 0 = -3*j - 3*w + 69, -j - 3*w = -4*j + y. Is 15 a factor of j?
False
Suppose 833 = 7*h - 182. Does 29 divide h?
True
Suppose -v = -2*q + 47, q = -3*v + 16 + 11. Does 24 divide q?
True
Suppose -4*k - 1 = -9. Suppose 4*d + 66 = 4*y - 14, -d = -3. Let x = y - k. Does 11 divide x?
False
Suppose -17*m + 198 = -14*m. Is m a multiple of 7?
False
Let t(l) = -l**3 + 8*l**2 - 6*l - 4. Let p = 18 - 12. Does 9 divide t(p)?
False
Suppose 3*d + 926 = 4*l, 5*d + 1155 = 5*l - 0*d. Let w(x) = -x + 1. Let p be w(3). Does 23 divide p/7 + l/7?
False
Let q be ((-18)/(-15))/(2/(-10)). Is 2/((-4)/q) - -39 a multiple of 14?
True
Let x = 4 - 6. Let k be (1 + x)*2 - -8. Suppose r + 4*g = k*r - 40, -4*r + 73 = 5*g. Is r a multiple of 7?
False
Suppose 0 = -3*o - 3 - 3. Does 5 divide (-1)/((-2)/(-10))*o?
True
Suppose -2*j = j - 9. Suppose 2*s - 23 = -2*v + v, -2*s = -j*v - 11. Does 10 divide s?
True
Suppose -n + 3 + 11 = 0. Let k(g) = g - 2. Does 12 divide k(n)?
True
Let u = -6 + -13. Let h = -62 + 33. Let m = u - h. Does 8 divide m?
False
Let a = 6 + 26. Is (-8)/(-12) - a/(-6) even?
True
Let d(p) = p**3 - 2*p**2 - 2*p - 1. Let g be d(4). Suppose -3*s - 2*c = -g, -3*s + 5*c = s - 23. Does 5 divide s*(0 + -1)*-1?
False
Let i(k) = k**2 - 4*k + 3. Let f be i(3). Suppose z - 3 - 1 = f. Is z a multiple of 4?
True
Let v be (-1 + 5)*(-3)/(-4). Let j = v - 46. Let i = j + 71. Is i a multiple of 14?
True
Is (-957)/(-21) - (-12)/(-21) a multiple of 4?
False
Let d(g) = g**2 - g - 6. Let n be d(0). Let r(i) = -2*i - 9. Let k be r(n). Suppose -2*y - 4*b + 8 = 0, 2*y - 12 = -y - k*