 2*u = -2*k + 3*k + b. Is 4 a factor of u?
True
Let c(r) = -r - 10. Let i be c(-8). Let d be 2*(i + (-9)/(-6)). Does 3 divide (-5 + d)/(21/(-28))?
False
Let n = -81 + 96. Is 2 a factor of n?
False
Let s(x) = -x**3 + 23*x**2 - 42*x - 35. Is s(20) a multiple of 45?
False
Let a(u) = u**2 + u - 1. Let z = -6 - -3. Let d be a(z). Suppose -17 + d = -4*v. Is v a multiple of 2?
False
Let g(h) = h**3 + 2*h**2 + 3*h - 4. Is 18 a factor of g(2)?
True
Let k = 15 - -4. Is 19 a factor of k?
True
Let s(n) = -n**2 - 7*n + 10. Let b be s(-8). Suppose -i + 22 = -b*g, 5*g = -i + 23 + 6. Is 8 a factor of i?
True
Suppose -8*v + 4*v = -104. Is v a multiple of 6?
False
Suppose 0 = 3*g + 3*x + x - 224, 3*g - 5*x - 206 = 0. Does 22 divide g?
False
Let k(x) = 15*x + 63 - 63. Let w(y) = y**3 + 6*y**2 + y + 8. Let r be w(-6). Is k(r) a multiple of 15?
True
Suppose 7*x - 3*x = -5*u - 500, -5*x = -5*u + 580. Let n = x + 205. Is n a multiple of 19?
False
Let b be 2 - 0 - -1*1. Let z be 6/((27/48)/b). Suppose -2*w + z = -28. Does 15 divide w?
True
Let m = 11 - 7. Suppose -m*b - 30 = -5*s + 25, -s - 5*b - 18 = 0. Is 7 a factor of s?
True
Let q = 182 + -18. Does 11 divide q/6 - (-18)/27?
False
Let o = 14 - 5. Is 4 a factor of o?
False
Let s(p) = -p**3 - 4*p**2 + 5. Let n be s(-4). Suppose -82 - 23 = -n*k. Does 7 divide k?
True
Let y(f) = 7*f - 4. Let r be 5 + 2*(-2 + 1). Let h be (-12)/10*(-10)/r. Is 10 a factor of y(h)?
False
Let t = 10 + 10. Does 14 divide 1108/t + 6/10?
True
Suppose -4*p + 99 + 53 = 3*r, 5*r + 114 = 3*p. Is 13 a factor of p?
False
Suppose -13 + 3 = -2*w. Let j = -21 + 22. Suppose u - w - j = 0. Does 6 divide u?
True
Let l(t) = 3*t**2 - 2*t. Let f be l(4). Let i be 8/f - 4/(-5). Is 6 a factor of (-184)/(-8) - 1/i?
False
Let w(t) = 3*t - 30. Let l be w(15). Let q = 20 - 12. Let h = l - q. Is h a multiple of 7?
True
Let v = 2 - -10. Suppose z - 32 = -v. Is 13 a factor of z?
False
Let g = -2 - -4. Does 7 divide g + (-7)/((-21)/36)?
True
Let i be 6/(-21) + (-61)/7. Let d = 14 - 23. Is 5 a factor of 2/d + (-119)/i?
False
Let v(t) = -t**2 + 13*t - 15. Suppose 0 = j + 20 - 30. Is 7 a factor of v(j)?
False
Let i(u) = -u**2 + 4*u + 7. Let q be i(5). Suppose -q*a + 6 = -4*j, -a - 14 = -3*a - 4*j. Suppose a*f + 0*f - 20 = 0. Is 2 a factor of f?
True
Let t = 8 + -4. Suppose -t*w + 10 = w + u, -w - 5*u = -2. Suppose 0*c + 60 = w*c. Does 15 divide c?
True
Suppose -45 = 3*f - 8*f. Suppose 0*p + 8 = 5*p - s, 5*s = p - 16. Let h = p + f. Is 10 a factor of h?
True
Is (-1 + -3)*(2/1 - 18) a multiple of 4?
True
Let f = -224 - -338. Does 19 divide f?
True
Let c(y) = -y**2 + 7*y - 6. Let t be c(7). Does 6 divide (t/(-12))/((-1)/(-12))?
True
Let h(y) = y**3 - 5*y**2 + 3*y + 2. Let g be h(3). Let s = -5 - g. Suppose -s*a - 3*a = -30. Is a a multiple of 6?
True
Is 0/(-3) + (4 - 113)*-1 a multiple of 9?
False
Suppose 2*n - 4*n = -6. Suppose -2*b = n*l - 6, -4*l = 2*b - 4*b + 20. Does 4 divide b?
False
Suppose -2*u = 2*d + 3*u - 63, -3*d = 5*u - 87. Suppose 5*l = l + d. Is l a multiple of 6?
True
Let z be 12/(-54) - (-43)/(-9). Let l = -2 - -23. Let q = l + z. Is q a multiple of 8?
True
Is 5 a factor of (-70)/(-15)*30/7?
True
Suppose 0 = 20*c - 1520 - 2340. Is c a multiple of 11?
False
Let i(s) = s**2 - 3*s + 3. Let r be i(3). Let p(l) = r*l - 3 - 2 + 1. Is p(5) a multiple of 4?
False
Let d be (-3)/9*0*1. Is 4/(-3)*(-15 - d) a multiple of 15?
False
Let u(p) = 11*p - 26. Is u(6) a multiple of 10?
True
Let k(l) = -l**3 - 3*l**2 + 4*l + 2. Let n be k(-4). Suppose -f + 18 = -n*f + j, 3*f - j + 50 = 0. Does 16 divide (-1)/(3/6)*f?
True
Let l(w) = -3*w + 1 - 7 + 2*w. Let k be l(-8). Let a = k - -1. Does 3 divide a?
True
Let s = 42 - -30. Does 12 divide s?
True
Suppose -6*i + 4*i = -38. Is (5 - 3) + -3 + i a multiple of 18?
True
Let w(u) = u**3 - 5*u**2 - 2. Let g be (-4)/(-16) - (-19)/4. Let c be w(g). Does 19 divide 0 + 0 - (-45 + c)?
False
Let c(m) = 5*m**2 + 3*m + 8. Is c(-5) a multiple of 39?
False
Let b be -3 + (-18)/(-3) + -3. Suppose b = r - 19 + 1. Does 6 divide r?
True
Let o be 1/3 - (-234)/27. Suppose 125 = -4*i + o*i. Does 25 divide i?
True
Let v(u) = 8*u + 11. Let s be v(8). Suppose -2*p = -7*p + s. Is 15 a factor of p?
True
Let q(n) = -n**2 - n + 3. Let c be q(0). Suppose -4*m - 24 = 5*f + 26, c*f = 3*m - 30. Is ((-12)/(-20))/((-2)/f) a multiple of 2?
False
Let z = -12 + 12. Suppose z*r - r = -108. Does 31 divide r?
False
Suppose -10 = -2*v + 6. Suppose 0 = -4*x - 0*x + v. Let o(z) = z**3 + 2*z**2 - 4*z + 3. Is 5 a factor of o(x)?
False
Suppose -4*t = -5*i - 2*t + 6, 0 = -5*i + 5*t. Does 13 divide (5 - i) + (0 - -47)?
False
Suppose -3*g + 3*f + 27 + 27 = 0, 4 = f. Is g a multiple of 5?
False
Let h(m) = 0 + m**2 + 4 + m - m**3 + 4 - 2*m**2. Suppose -3*b = b. Does 7 divide h(b)?
False
Let p(z) = -17*z + 18. Is 11 a factor of p(-8)?
True
Let a(u) = 1 + 7*u**2 + 9*u + 1 - 6*u**2. Is a(-10) a multiple of 6?
True
Let y = 244 - 109. Is 27 a factor of y?
True
Does 14 divide ((-1)/(3/210))/(-1)?
True
Let c(o) = o**3 - 7*o**2 + 6*o + 8. Let d(q) = -q**3 + 2. Let y be d(-2). Suppose -2*w + y = -2. Is c(w) a multiple of 4?
True
Let y = -2 + 2. Suppose -t + 0*t - 6 = y. Does 4 divide 52/6 - 2/t?
False
Suppose -3*y - 2*k + 337 = 3*k, 119 = y + 3*k. Does 13 divide y?
True
Suppose -t + 5 = h, 4*h - 15 = h. Suppose -5*b - 44 + 294 = t. Does 25 divide b?
True
Let k be 2/1 + (1 - -2). Let r = 40 - 85. Is 9 a factor of (3/k)/((-3)/r)?
True
Let l be (-1136)/(-9) - (-2)/(-9). Suppose 4*u - u = l. Does 21 divide u?
True
Let s = -6 - -5. Let u = 31 + s. Does 9 divide u?
False
Let g(c) = -5*c**2 - 2*c + 8. Let t(b) = -1. Let a(x) = -g(x) - 6*t(x). Is 14 a factor of a(-2)?
True
Suppose -4*t + 3 = 3*k - t, 13 = 3*k + t. Let g = -5 + k. Let b = g + 5. Is 6 a factor of b?
True
Is 14*(0/5 - -1) a multiple of 7?
True
Suppose -12 + 4 = -4*j. Suppose l - 5 = -4, j*b + l - 13 = 0. Does 6 divide b?
True
Let z = -11 + -4. Let w = 30 + z. Is w a multiple of 6?
False
Suppose 6*c - 11*c + 120 = 0. Is 6 a factor of c?
True
Let l(t) = -t**3 + 5*t**2 - 5*t + 6. Let n be l(4). Let f(v) = 3*v - 2 + v**n - 2*v + 2*v**2. Is f(-2) a multiple of 6?
False
Does 31 divide 2/(-13) + (-12020)/(-52)?
False
Does 10 divide (-157 + -2)/((-9)/6)?
False
Let c be 1/((-3)/(-36)*4). Suppose -c*z + 95 = 5*o, 2*z = -3*o - 2*o + 100. Does 11 divide o?
True
Suppose 3*m - 13 = a - 5*a, 4*a + 8 = 0. Does 13 divide (-18)/(m/(-2) + 3)?
False
Let f = 62 - 57. Let l be (5*1)/((-1)/(-1)). Suppose 0 = s + a - 6*a + 16, -f*s - l*a = -70. Is s a multiple of 9?
True
Let t(d) = 156*d - 1. Let i be t(1). Let k(w) = -3*w + 3. Let j be k(-1). Suppose -i = -j*o + o. Is 11 a factor of o?
False
Suppose -3*b + 0*b - 2*h = -102, -2*b + 2*h = -78. Is 6 a factor of b?
True
Does 9 divide -1 + -2 + 32 - -1?
False
Let d be 2/(-4) - 14/(-4). Suppose -d*n + 0*n = -21. Is n a multiple of 2?
False
Let s = -88 + 323. Does 59 divide s?
False
Is 7 a factor of 6/(-2)*(-1 + -6)?
True
Suppose 2*j + j - 216 = 0. Does 8 divide j?
True
Let r(h) = 2*h**2 + h + 7. Let g be r(-5). Suppose 0*c = -2*c + g. Is c a multiple of 26?
True
Let w(j) = -j**3 + j**2 + j + 28. Is w(0) a multiple of 4?
True
Suppose 4*b = -l - 3*l - 60, 5*b - 15 = 0. Let k = l + 29. Is k a multiple of 4?
False
Suppose i - s - 83 = 0, 0*i + 3*s + 421 = 5*i. Is i a multiple of 15?
False
Let v be 0/((-6)/3)*1. Suppose v = 4*d - 124 + 20. Is d a multiple of 7?
False
Is 8 a factor of ((-42)/(-9))/((-4)/(-24))?
False
Let q(i) = 5*i + 4. Let p(h) = -9*h - 7. Let d(z) = -4*p(z) - 7*q(z). Let g be d(5). Suppose g*l = l + 48. Is l a multiple of 6?
True
Let p be 2 - (-1)/(-3)*0. Let j(x) = 5 + 4*x**p - x**2 + 7*x - 4*x**2. Is 3 a factor of j(7)?
False
Let p(l) = 58*l + 2. Let f be p(2). Suppose f = 3*o - 2*o. Suppose -3*w + o = u, -w + 2*w = -u + 38. Is 20 a factor of w?
True
Let p(i) = -7*i + 5. Let m(d) = 1. Let z(w) = -4*m(w) + p(w). Is 20 a factor of z(-8)?
False
Suppose -3*i - 4*h = h + 6, -2*i = -h - 9. Let m = 2 + i. Suppose m*n + 0*n - 30 = 0. Is n a multiple of 3?
True
Let n = 2 + 2. Suppose 0 = -b - n*r - 2, -2*b + r + 8 = -3*r. Suppose 9 + 7 = b*i. Is i a multiple of 4?
True
Does 14 divide (-6 + (-40)/(-6))/(2/168)?
True
Let j = 3 + -6. Does 6 divide 14/3*(0 - j)?
False
Let w(n) = -11*n + 1. Suppose c = k + 