*t**2 + t + 1. Is 8 a factor of u(k)?
False
Let v be (1/(-3))/(2/(-36)). Is ((-160)/24)/((-2)/v) a multiple of 5?
True
Let b(l) = l**3 - l**2 - 3*l + 2. Let k be b(2). Suppose 2*m - 5*a - 8 = k, -m - 40 = -5*m + 4*a. Is m a multiple of 14?
True
Suppose -t + 65 = -4*w, -t = 2*t - 3*w - 168. Does 16 divide t?
False
Let s(b) = -b + 8. Let c(l) = -l**3 + 2*l**2. Let j be c(2). Let k be s(j). Suppose 88 = -4*i + k*i. Is 10 a factor of i?
False
Let x(z) = z**3 - 4*z**2 + z. Let u(b) = b - 9. Let m be u(5). Let s = 0 - m. Does 4 divide x(s)?
True
Let q = -6 + -11. Let v = q - 14. Let s = v + 43. Is 6 a factor of s?
True
Let k(c) = c**2 - 2*c + 8. Is k(-6) a multiple of 35?
False
Let i = -2 - -47. Is i a multiple of 9?
True
Let c = 125 + -49. Suppose -f = -3*f + c. Is f a multiple of 10?
False
Let n(g) = -g**3 - 2*g**2 - 2*g + 3. Let u be n(2). Let k = u + 49. Does 11 divide k?
False
Let s be 10 - 0*(3 - 4). Let n = s + -8. Is n even?
True
Suppose 12*y + 4 - 244 = 0. Is 4 a factor of y?
True
Suppose 3*p = -5*l + 12 + 6, 0 = l - 3. Let b(j) = 54*j**2 + 1 - p + j. Does 22 divide b(1)?
False
Suppose 0 = -5*z + z + 228. Let r = z + -27. Does 15 divide r?
True
Suppose -5*j - 7 - 13 = -5*t, -2*t - 2*j = 0. Suppose -t*o - 2*o + 5*q = -157, -38 = -o + q. Is 11 a factor of o?
True
Let i(v) = 3*v**2 + 16*v - 41. Let u(c) = -c - 4. Let l be u(7). Let p(x) = -x**2 - 5*x + 14. Let s(z) = l*p(z) - 4*i(z). Does 10 divide s(-8)?
False
Let t(y) = -6*y + 4. Let f be t(5). Let d be 142/(-8) - (-2)/(-8). Let x = d - f. Does 4 divide x?
True
Suppose 4*c = 3*a - 20, -a - 4*c - 2 + 14 = 0. Let q be (-2)/a - (-29)/4. Let u = q - -17. Is 12 a factor of u?
True
Let c(q) = -q**2 - 6*q + 3. Let l(o) = -o**3 + 5*o**2 - 7. Let p be l(5). Let r be c(p). Let g = r + 8. Does 3 divide g?
False
Let k = -417 - -611. Is 29 a factor of k?
False
Let y be 4/14 - (-48)/28. Suppose 6 = 2*i + 3*t, -3*t = -y*t + 4. Suppose -3*s + i = -48. Is s a multiple of 19?
True
Let u(g) = -5*g**2 + g. Let t be u(1). Let f = t + 6. Is f a multiple of 2?
True
Suppose -5*o + 0*w + 377 = -3*w, 4*w - 80 = -o. Does 15 divide o?
False
Suppose -19 - 83 = -2*p. Suppose p = 4*m - 3*m. Is m a multiple of 17?
True
Suppose 0 = -4*t - 20, 5*x - 4*t - 209 = -49. Suppose i + i = x. Is 4 a factor of i?
False
Suppose 2*m = 2*q + 18, 3*m + 8 = -0*m - 4*q. Is m/14 + 1590/21 a multiple of 19?
True
Let t(y) = -y**2 + 2*y - 1. Let m be t(3). Let f be m/14 - 69/(-21). Does 17 divide (f + -2)*(2 - -15)?
True
Does 7 divide 5 + (2 - 0/1)?
True
Suppose 378 = 4*y - 2*y. Let i = -117 + y. Does 24 divide i?
True
Suppose 0*a = 2*a - 78. Is 13 a factor of a?
True
Let n = -4 + 10. Let f = n + 0. Is 5 a factor of f?
False
Let l(u) = -4*u**3 - 13*u**2 - 6*u - 9. Is l(-5) a multiple of 8?
False
Let m(u) = 3*u**3 - 2*u**2 - u + 1. Let l be ((-3)/6)/(2/(-12)). Let y be 3*1/l*2. Is m(y) a multiple of 9?
False
Let m(b) = 33*b - 5. Is m(5) a multiple of 10?
True
Suppose -2*z = 3*z + 30. Let o = z + 9. Let x(f) = f**2 - 2*f + 2. Is x(o) a multiple of 3?
False
Suppose 83 - 8 = -5*r. Let z be 136/10 + (-6)/r. Suppose g - z = -g. Does 7 divide g?
True
Suppose 3*s + 7 = -107. Let k = s - -69. Let w = 24 + k. Is 18 a factor of w?
False
Let j(p) be the third derivative of p**4/8 + 4*p**3/3 - 2*p**2. Let h be j(6). Suppose 2*n + 8 = h. Is n a multiple of 9?
True
Suppose c + 51 = -3*i + 147, -i + 43 = 4*c. Is i a multiple of 31?
True
Let k = 1 + -3. Let b = -4 - k. Is ((-1 - -4) + b)*3 a multiple of 3?
True
Is 14 a factor of (-5)/(-2)*(-280)/(-25)?
True
Suppose 3*s = -4*p + 448, 7*p - 2*p = -s + 164. Is s a multiple of 48?
True
Suppose i + 297 = 4*f, -3*f - 4*i + 0*i + 237 = 0. Is 25 a factor of f?
True
Suppose -3*g - 4*k + 648 = 0, 2*g + 0*k - 432 = -5*k. Let b be (2/(-3))/((-1)/6). Suppose b*u - g = -0*u. Does 18 divide u?
True
Let g = 25 + 231. Is 16 a factor of g?
True
Let z(i) = -5*i + 4. Let w be z(5). Let y = w + 39. Does 18 divide y?
True
Let y = -83 - -137. Is 18 a factor of y?
True
Is (4 - (2 + -17)) + -2 a multiple of 4?
False
Let s be (-6)/(-30) + (-239)/(-5). Is (-8)/s + 110/12 a multiple of 3?
True
Does 18 divide -60*(9/(-3) + (-2)/(-4))?
False
Suppose -3*f + 228 = 30. Let z = -37 + f. Does 7 divide z?
False
Let f = 6 + -1. Suppose -h - 20 = -f*h. Does 3 divide h?
False
Suppose -4*t = -6*t + 3*q + 13, 0 = 3*t - 5*q - 21. Suppose 5*s - 4*b + 4 + 0 = 0, -t*b = -s + 4. Is 114/4*s/(-6) a multiple of 9?
False
Let l(o) = -o**3 + 2*o**2 + 3*o + 4. Let z be l(3). Suppose 5*c - 26 - z = 0. Is 6 a factor of c?
True
Is 2 + (-8*2)/(-1) a multiple of 12?
False
Let b = 280 - 81. Suppose -b + 17 = -2*g. Does 40 divide g?
False
Let s(k) = -3*k - 6. Is 2 a factor of s(-3)?
False
Does 5 divide 1/(-2 + (-153)/(-75))?
True
Let u be 12 - 15 - (-4 + 1). Suppose -2*r + u*r + 36 = 0. Is r a multiple of 10?
False
Suppose 4*t = q - 25 + 456, 0 = 5*t + q - 541. Does 10 divide t?
False
Let b(c) = 2*c**3 - 4*c**2 + c + 2. Let q be b(2). Is ((-47)/(-2))/(q/8) a multiple of 21?
False
Is 10 a factor of ((-1)/3)/(2/(-228))?
False
Let r(l) = l**3 + 10*l**2 + 2. Let s be r(-10). Let w(d) = 4 + 1 + 1 + 2*d**2 - 4*d - d**s. Is w(5) a multiple of 11?
True
Suppose 3*s = -2*s. Suppose s = -3*x - x. Suppose x = -3*u + 16 + 11. Does 4 divide u?
False
Is 56 a factor of (-5 - 1236/3)*(-2)/2?
False
Suppose t = 4*m + 12, -t = -0*t + 5*m + 24. Is 78/8 + (-1)/t a multiple of 9?
False
Suppose 0 = z - y - 9 + 33, 111 = -4*z - y. Let a = 16 + z. Let r = -7 - a. Is 4 a factor of r?
True
Is 13 a factor of 35 + 1 + 22 + -19?
True
Suppose -4*l - 5*n + 5 = 0, -2*n - 23 = -3*l - 2. Suppose -l = -3*f + 4. Is 17/f + 1/3 a multiple of 6?
True
Let w(n) = n**2 + 4*n - 6. Let b be w(-5). Let r be (-1 - 2/2)*b. Suppose o + g = -8 + 73, 328 = 5*o + r*g. Is o a multiple of 17?
False
Let s = -4 - -8. Suppose -3*m + s = -m. Is 1 - -1 - m - -8 a multiple of 4?
True
Let x = 40 - 16. Suppose -x = -6*j + 4*j. Is j a multiple of 5?
False
Suppose 4*y = 2*m + 94, -y = -3*y + 5*m + 51. Is y a multiple of 8?
False
Let x(p) = -p + 8. Let c be x(-7). Suppose 4*u - 49 = c. Is 16 a factor of u?
True
Let i = 489 - 268. Does 20 divide i?
False
Suppose 4*c + 63 = -197. Let q = -29 - c. Is q a multiple of 15?
False
Suppose 0 = 37*c - 36*c - 167. Does 39 divide c?
False
Let r be (12/(-10))/((-6)/15). Suppose -2*m + r*x = 0, -2 + 3 = 3*m - 5*x. Is 10 a factor of (m + (-93)/(-6))*2?
False
Suppose -l + 5*l = 36. Suppose -5*o - l = -24. Let w = 12 + o. Is 15 a factor of w?
True
Is 7 a factor of ((-1)/(-2))/(15/30) - -40?
False
Suppose 5*c - 6*c + 151 = 0. Suppose -4*j = -229 - c. Is 24 a factor of j?
False
Let b = 14 - -3. Let z = b + -6. Is z a multiple of 11?
True
Let o be 34*(-21)/(-24)*4. Suppose -5*f = 2*f - o. Is f a multiple of 5?
False
Let o(s) = -9*s. Let k = 3 + 0. Suppose 0 = -4*m - 5*f - 41, 3*m - 3 = k*f - 0. Does 22 divide o(m)?
False
Let s = -7 + 4. Let m(p) = -9*p. Is 24 a factor of m(s)?
False
Suppose -2*m + 2*f = -422, 5*m - 3*f + 8*f = 1035. Does 46 divide m?
False
Let t = -13 - -16. Is 28*(1 + (t - 3)) a multiple of 14?
True
Suppose 2*w = 6*w - 3*v - 396, -2*w + 198 = 2*v. Is w a multiple of 11?
True
Let l(r) = -r**3 - 10*r**2 - 12*r + 9. Let z be l(-10). Suppose -4*y = -y - z. Does 10 divide y?
False
Let h(y) = 2*y - 10. Let o(f) = 3*f - 11. Let u(t) = -2*h(t) + 3*o(t). Is 16 a factor of u(9)?
True
Let p(t) = -t**2 + 21*t. Does 18 divide p(9)?
True
Does 8 divide (-32)/(-20)*(1 + 14)?
True
Let q be 3/(4/((-32)/(-3))). Let v = q + 13. Is v a multiple of 7?
True
Suppose 0 = 6*k + 2*k - 576. Is k a multiple of 18?
True
Suppose 3*h + 5*p = 154, 4*p = -h + 34 + 22. Is h a multiple of 12?
True
Let u = 13 - 7. Let n = -1 + u. Let k(x) = x - 2. Is 2 a factor of k(n)?
False
Suppose 0 = 5*x - 3*x + 18. Does 5 divide (0 - 0) + -3 - x?
False
Let u(m) = m**3 - 3*m**2 + 4*m - 4. Let i(b) = 3*b**3 - 7*b**2 + 9*b - 9. Let o(v) = 2*i(v) - 5*u(v). Does 5 divide o(2)?
True
Suppose 32 = a - 25. Suppose 5*i - 111 = 5*q + 4, 3*i = -3*q + a. Does 11 divide i?
False
Suppose 3*g - 127 = -34. Does 16 divide g?
False
Suppose 0*k = 3*k - 5*v - 132, -2*k = 4*v - 66. Let s(g) = g**2 - 2*g - 4. Let a be s(-7). Let l = a - k. Is 10 a factor of l?
True
Let z(k) = 2*k**2 - 8*k + 6. Suppose 15 = 3*h - 0*h. Let l be z(h). Suppose d - l = -d.