 = z - 5. Suppose 0 = -a + z*a - 240. Is 16 a factor of a?
True
Let i(o) = -3*o**3 + 3*o**2 - 2*o + 4. Let t(k) = -k**2 - k. Let p(w) = -i(w) + t(w). Let a = 32 - 29. Is p(a) a multiple of 22?
True
Suppose g + 2*t - 5*t = 12, 3*t + 6 = -g. Suppose g*h + 0*h = 162. Is (h/(-4))/((-9)/24) a multiple of 10?
False
Let n(v) = v**2 - 5*v - 2. Let u be n(-6). Suppose -u = -3*p - 0*o - 5*o, 2*o = 2*p - 32. Suppose -f = -17 - p. Does 14 divide f?
False
Let o(t) = 20*t - 32. Does 13 divide o(9)?
False
Suppose 0*j = 5*j + 2*u - 70, -5*j + 55 = 5*u. Does 14 divide j + (-3)/((-3)/(-2))?
True
Is ((-100)/6)/(11/(-33)) a multiple of 10?
True
Let n(h) be the first derivative of -h**3/3 - 7*h**2/2 + 2*h - 4. Is 8 a factor of n(-6)?
True
Suppose -3*d - 126 = -4*m, 32 = 3*m - 2*d - 63. Is 11 a factor of m?
True
Let m(b) = 6*b + 8. Let w(v) = 3*v + 4. Let j(a) = 2*m(a) - 5*w(a). Does 21 divide j(-13)?
False
Let c(x) = 16*x**2 - 4*x + 2. Let j be c(2). Let i = j + -93. Let v = i - -67. Does 16 divide v?
True
Let c = -9 + 9. Let r be ((-3)/(-6) + c)*-12. Is 22 a factor of (-44)/r*(1 - -5)?
True
Suppose -34 - 34 = 4*c + 5*v, -3*c = v + 40. Let q = c - -17. Is 5 a factor of q?
True
Let o(a) = 12*a. Does 31 divide o(3)?
False
Suppose -1 - 7 = -2*g. Suppose -i + 6 = -g. Is 5 a factor of i?
True
Let b(y) = 71*y**3 - 2*y**2 + 2*y - 1. Suppose -d - 3 + 4 = 0. Let o be b(d). Suppose o = -v + 3*v. Is v a multiple of 12?
False
Let q(g) = g**2 - 3*g - 3. Suppose -j = -3 - 1. Let w be q(j). Does 16 divide (63/12)/(w/4)?
False
Let k be ((-21)/(-5) - 3)*105. Suppose -k = -4*i + 2*y, 5*y = -i + y + 45. Is 14 a factor of i?
False
Suppose 2*z = -4*q + 5*z + 4, 0 = 3*z. Suppose -i = -1 - q. Suppose 20 = 3*p - i*c, 3*p + c = 4*p - 6. Is 4 a factor of p?
True
Let c = 15 - 11. Suppose -3*r - 3 = h, -h + r + 65 = c*h. Is 6 a factor of h?
True
Let x(g) = 2 + 2 + 0 - 6 - 7*g. Does 15 divide x(-3)?
False
Let r(p) = 11*p - p**3 + 2*p**3 - 23*p - 8*p**2 + 5. Is 13 a factor of r(10)?
False
Is 31 a factor of 16/(-6)*(-693)/28?
False
Let y(u) = -u**2 - 10*u - 12. Let s be y(-7). Suppose s*f = 8*f + 6. Is 2 a factor of f?
True
Let y(h) = h**3 + 16*h**2 - h + 7. Let n(l) = l**3 + 15*l**2 - l + 6. Let b(t) = 6*n(t) - 5*y(t). Is b(-10) a multiple of 11?
True
Let n(a) = a**3 - 3*a**2 + 2*a - 3. Let y be n(3). Suppose 2*m - 20 = -y*m. Suppose -m*c + 2*p + 64 = 0, 2*c - 4*p - 8 = 12. Is 18 a factor of c?
True
Let o = 4 - 14. Let u = -16 - o. Is (u/4)/((-3)/18) a multiple of 4?
False
Let z(p) = -p + 4. Let g = -2 + -17. Let h = g + 13. Does 5 divide z(h)?
True
Let u(p) = -53*p + 3. Let f be u(-3). Suppose -f = -3*x - 0*x. Is x a multiple of 18?
True
Let p = 60 + -16. Is 7 a factor of p?
False
Let g = -23 - -13. Let o = g + 16. Suppose o*j - 30 = 4*j. Does 8 divide j?
False
Let i be (2 + 1)*4/(-6). Let k be 140/5 + i + 1. Suppose -t + 4*b - 6 = 0, t - 6*t + b + k = 0. Is t a multiple of 3?
True
Suppose 4*d - 28 = -3*s, 0 = -0*s + s + d - 8. Let r be 4/(-2) + 1 + 2. Let k = s - r. Does 3 divide k?
True
Let y = 0 - 0. Suppose -4*u = -4*a - 60, y = -3*a + a + 6. Is u a multiple of 6?
True
Suppose 0 = -0*m - m + 3*z + 259, 0 = -4*m + 2*z + 1026. Is 32 a factor of m?
True
Let j(w) = -w**2 + w + 2. Let q be j(2). Suppose q = -3*u + z + 7, 7 = 3*u + 3*z - 8. Suppose 2*v - 18 = 2*p, v - 5*p = u*v - 25. Is 6 a factor of v?
False
Suppose -r = -3*r. Suppose r = n + 2*y - 28, -5*y = n - 26 - 8. Does 12 divide n?
True
Suppose 16 + 86 = 6*x. Is 8 a factor of x?
False
Suppose 4*r + 1 - 17 = 0. Suppose r*i + 27 = 5*i. Is i a multiple of 13?
False
Let p = 12 - 15. Is p - 1 - 128/(-16) a multiple of 4?
True
Let i = 20 + -12. Suppose 0 = -5*b + 2*f - 30, -2*f - 2 + 24 = -3*b. Let h = i + b. Is 2 a factor of h?
True
Let u(c) = c + 6. Let q be u(-6). Suppose -4*k = 4*p - 380, 2*p + 0*p - 10 = q. Suppose 0 = 8*a - 3*a - k. Is a a multiple of 18?
True
Let k(v) = v**3 - 7*v**2 + 6*v + 3. Let d be k(6). Suppose t + 7 = 16. Suppose -t = -d*f + 3. Is f a multiple of 3?
False
Does 2 divide (-2 + -1)*17/(-3)?
False
Let l = 95 + -55. Is 11 a factor of l?
False
Does 11 divide 30/(-20)*(0 + -36)?
False
Suppose 0 = 3*y + 5*p + 42, -3*y - 3*p + 4*p = 42. Let z = 34 + y. Is z a multiple of 10?
True
Let f(d) = -29*d + 22. Is f(-11) a multiple of 19?
False
Let t(v) = -10*v**2 + v - 6. Let b(c) = 20*c**2 - 2*c + 13. Let r(a) = -6*b(a) - 13*t(a). Is r(-1) a multiple of 5?
False
Let t = -9 - -12. Suppose -4*k + 5*k = t. Suppose 3*j - 46 = 8*l - 3*l, -k*l - 54 = -4*j. Is 6 a factor of j?
True
Let i = 2 + 13. Suppose k = -2*k + i. Is k a multiple of 5?
True
Suppose 3*g + g = -24. Let t = g - -8. Suppose 3*h + 4 + 2 = 2*p, t*p = -h + 14. Is p even?
True
Suppose s - 33 = 9. Is 16 a factor of s?
False
Let z(d) = 2*d**2 - 2*d + 6. Is 3 a factor of z(3)?
True
Is (78/(-4) - 2)/(3/(-18)) a multiple of 13?
False
Suppose -1 = g - 4. Let r be -2*g/3*1. Is ((-33)/(-9))/(r/(-12)) a multiple of 11?
True
Suppose 34 = 2*j + 2. Is j a multiple of 8?
True
Let j(x) = x**3 - 3*x**2 - 12*x + 22. Is 17 a factor of j(6)?
False
Suppose -5*q + 3*t - t = 0, -3*q - 19 = -5*t. Is 8 a factor of q/4 + (-195)/(-26)?
True
Let d = 8 - 4. Suppose 31 = 6*n - n - 2*g, 17 = d*n + g. Suppose -3 - n = 2*v, -3*v + 68 = 4*c. Is c a multiple of 20?
True
Suppose -3*f - 3 = -x - 21, 15 = -5*f. Let a = 55 + x. Does 15 divide a?
False
Does 36 divide (-582)/(-8) - 15/20?
True
Let o be (8/(-6))/(1/3). Let m(p) = -p**2 - 4*p + 2. Let i be m(o). Suppose -y + i = -1. Is 3 a factor of y?
True
Let f = 3 + -3. Suppose f = 7*m - 4*m - 6. Suppose -m*y - 37 = -c - 2*c, 3*c + 2*y = 29. Is 9 a factor of c?
False
Suppose 4*j + 16 = -5*v + 39, -3 = v - 3*j. Suppose v*b + 58 = 181. Suppose 0 = -2*f + b + 23. Is f a multiple of 16?
True
Suppose 4*h - 23 = -3*b, 8 = 4*b + h - 1. Suppose -b = -4*k - 5. Let y(i) = -25*i - 1. Is y(k) a multiple of 12?
True
Let b(s) = s**3 - 10*s**2 + 12*s - 3. Is b(9) a multiple of 8?
True
Suppose -s - 59 = h, 2*h + 3*s + 151 = 33. Let a = 84 + h. Is 6 a factor of a?
False
Suppose 477 = 3*o - 2*m, 7*m = o + 4*m - 159. Suppose 0 = -q + 2*q + 5, 3*q + o = 4*f. Suppose -2*w - 2*w = -f. Is w a multiple of 9?
True
Let p be (-1)/2*(-2 + 32). Is -1*(-2)/((-6)/p) a multiple of 2?
False
Suppose -v + 5*u - u = -22, 4*v + 3*u = 126. Suppose v = 5*l + 75. Let x = l - -16. Is x a multiple of 5?
False
Let u be (-16)/(-6) - (-4)/(-6). Let x(b) be the second derivative of 3*b**3/2 + b**2/2 + 2*b. Is x(u) a multiple of 12?
False
Let c(s) = -5*s - 3. Does 4 divide c(-2)?
False
Suppose a - 3*o = 204, 4*a - 3*o + 152 = 977. Is a/3*1 + 3 a multiple of 19?
False
Is 13 a factor of (-1251)/(-12) - 0 - 3/12?
True
Let b(h) = 2 + h + 3*h - h + 2. Is 15 a factor of b(6)?
False
Suppose -4*r = -93 - 95. Is 13 a factor of r?
False
Let t(p) = -p**3 - 3*p**2 + 3*p - 7. Is 7 a factor of t(-5)?
True
Does 29 divide -4 + 1 + (-3)/(12/(-776))?
False
Let h(a) = -a**2 - a + 4. Let d be h(-3). Let m(b) = -2*b + 1. Is m(d) a multiple of 5?
True
Let i(l) = 1. Let o(n) = -2*n**2 - 4*n - 5. Let z(r) = -2*i(r) - o(r). Let q be z(-6). Suppose g = 2*x - 4*x + q, 3*x = g + 64. Does 10 divide x?
False
Let t = -24 - 6. Let z = 202 + t. Suppose 28 = -4*v + z. Does 12 divide v?
True
Let n = 6 - 13. Suppose 5*p + 55 = 2*d, -2*p - 2*p - 35 = -d. Let w = d + n. Is w a multiple of 3?
False
Suppose 0 = -2*q - 2*q + 40. Let p(m) = m**3 - 9*m**2 - 5*m + 12. Does 13 divide p(q)?
False
Suppose 2*i + 3 = -5*x - 3, -3*x = -5*i - 15. Let d be 21/(-9) + (-1)/i. Is 20 a factor of 19 + d/2*-1?
True
Let g(j) = j**2 - 2*j + 1. Does 8 divide g(5)?
True
Let p(y) = -11*y**2 - y + 3. Let u(k) = 1. Let i = -4 - -3. Let c(z) = i*p(z) + 5*u(z). Does 15 divide c(-2)?
False
Suppose -4*t + 23 = -i + 4*i, -2*t - 21 = -5*i. Does 2 divide 3 + (-2)/(4 - t)?
True
Suppose -19*k + 29*k - 460 = 0. Does 46 divide k?
True
Let d(v) = -2*v**3 + 9*v**2 - 6*v - 8. Let l(z) = -z**3 + z**2 + z - 1. Let w(c) = d(c) - 3*l(c). Does 9 divide w(-7)?
True
Suppose 0 = -4*i, 54 = -n - 2*n + 4*i. Let q = 71 + n. Is q a multiple of 10?
False
Let q = 8 + -4. Suppose i = 5*v + q*i + 1, -i - 6 = -4*v. Does 5 divide -6*(-4)/6 + v?
True
Let z = 3 + 4. Suppose 4*k + z = -1, -2*k + 196 = 4*d. Is d a multiple of 12?
False
Let j be -3 - (5 + -3 + -2). Let v(l) = -l**3 + l**2 + 2*l - 4.