
Let f = -24 + -8. Let x be (-13 + -2)/(1 + 0). Let o = x - f. Is o a multiple of 8?
False
Suppose 151 + 154 = 5*o. Does 17 divide o?
False
Let a(n) = -n**3 + 11*n**2 - 10*n + 8. Does 2 divide a(10)?
True
Suppose -g - 376 = -5*o, 0 = 3*o - g - 260 + 34. Does 4 divide 30*5*6/o?
True
Let v = 4 - 4. Suppose 0*l - 2*n = -4*l + 28, -3*n = v. Suppose -l*b + 40 = -2*b. Is b a multiple of 8?
True
Suppose -11*z + 891 = -803. Is z a multiple of 15?
False
Let w(c) be the third derivative of -c**4/24 + c**3/6 - 2*c**2. Let a be w(7). Let j = a - -23. Is 10 a factor of j?
False
Is ((-4)/(-6))/((-2)/(-21)) a multiple of 3?
False
Let b = 3 + 0. Let f(w) = -10*w**b - 2*w + 4*w**2 - 3*w**2 - 3*w**2 - 1. Is 4 a factor of f(-1)?
False
Let b(h) = -3 + 0 + 4*h**2 - 3. Let k(x) = 3*x**2 - 4. Let v(a) = -5*b(a) + 7*k(a). Is v(0) a multiple of 2?
True
Let v = 2 + -4. Let h(m) = m + 2. Let c be h(v). Suppose c = -6*l + l + 100. Does 10 divide l?
True
Let k be ((-16)/10)/((-6)/(-45)). Let s = 15 - -3. Let y = s + k. Does 3 divide y?
True
Let f(k) = -k + 13. Let i be f(11). Suppose -n + 24 = i*n. Is 8 a factor of n?
True
Suppose -75 = 2*n - 0*d - 3*d, -4*n = -5*d + 145. Let v = -19 - n. Does 3 divide v?
False
Let c = -177 - -89. Let i = 178 + c. Is 20 a factor of i?
False
Suppose -36 = -k - 376. Let l be 1/(-3) - k/3. Suppose -23 = 5*q - l. Is 9 a factor of q?
True
Let z be (-2)/((-2)/(-2)) + 7. Suppose z*x = 2*x + 36. Suppose -p + 3*i + 1 = -x, -65 = -3*p - 4*i. Is 19 a factor of p?
True
Let j(r) = -3*r**2 + 7*r + 0*r**2 + 4*r**2 + 8. Let n be j(-6). Let c(z) = 8*z + 2. Is c(n) a multiple of 9?
True
Let w(s) = 11*s**2 + 23*s + 2. Is 45 a factor of w(3)?
False
Let d(l) = 15*l**2 + 8*l + 5. Let c(u) = -7*u**2 - 4*u - 2. Let g(s) = 13*c(s) + 6*d(s). Let f be g(-4). Let p = f - -3. Is p a multiple of 6?
False
Let n be (5 - 0) + (-1 - -1). Let t = n - 3. Suppose -h + t = -14. Is 16 a factor of h?
True
Suppose -5*n + 340 = -4*g, 6 = 2*g - 4. Does 26 divide n?
False
Does 2 divide 8/(-1 - 3) + 8?
True
Let k = -10 - -15. Suppose 2*a = -4 - 2, -k*r - a + 257 = 0. Let o = r + -36. Is o a multiple of 16?
True
Let q be 9*(-1)/(-1)*-1. Let b(n) = n**3 + 10*n**2 - 12*n. Let i(k) = 2*k**3 + 21*k**2 - 24*k + 1. Let o(p) = 5*b(p) - 2*i(p). Is o(q) a multiple of 25?
True
Let k = 0 + 4. Let v(q) = -q**3 + 6*q**2 + 4*q + 5. Let h be v(5). Suppose -4*r + 44 = k*f, -2*r = -0*f - 4*f + h. Does 6 divide f?
True
Suppose 2*h + 5*f + 39 = 0, -h = -6*h - 5*f - 75. Let k be (-8)/h + (-4)/(-3). Suppose k*a + 0*a - 38 = 0. Does 19 divide a?
True
Does 22 divide (3/(-9))/(4/(-2796))?
False
Suppose -3*s + 5*u + 54 = 0, 4*s - 3*u - 74 = -s. Let f = s - -2. Is f a multiple of 15?
True
Let y(m) = -m + 5. Is 9 a factor of y(-16)?
False
Suppose -18 = -2*c - 0*c - 4*p, 4*c - 5*p + 3 = 0. Suppose x - c*x = -14. Is 5 a factor of x?
False
Let x(g) = 2*g**2 + 14*g + 4. Let r be x(-10). Suppose 215 = 3*c - r. Does 26 divide c?
False
Let k be 28/1 + 0 - 0. Suppose 4*o - 4*m = -k, 2*o = 7*o - m + 43. Does 2 divide (-33)/o - (-1)/3?
True
Let a be (-3)/((63/12)/(-7)). Suppose a = -f + 5. Does 5 divide 12/f*2/3?
False
Suppose 3*s + 5 + 1 = 0. Is 6 a factor of s - -2*11/2?
False
Suppose -i + 7 - 2 = 0. Let v = 22 - i. Is 15 a factor of v?
False
Let q be -2 + -1 + 40/5. Suppose b = 2*i - 5 - 6, -q*b - 3 = 3*i. Does 2 divide 2/b - (-16)/6?
True
Let g(a) = -3*a**3 - 5*a**2 - 6*a - 4. Let j be g(-4). Suppose 3*o + o - j = 0. Does 13 divide o?
False
Suppose 0*v + 4*v = 16. Suppose r + v*r = 50. Does 3 divide r?
False
Suppose 0 = 4*u - 0*u. Suppose -3*p + 2*p - 9 = -5*s, u = 5*p - 5*s - 55. Does 6 divide p?
False
Let j(i) = i. Let w(g) = 2*g**2 - 10*g. Let f(h) = 6*j(h) + w(h). Suppose -16 = -6*c + 2*c. Is f(c) a multiple of 8?
True
Let k(l) = l**2 - 2*l + 4. Let r be k(3). Let i(g) = 2*g - 5*g + 2 + r*g. Is i(6) a multiple of 13?
True
Suppose -4*a - 17 = 7. Let y be (-4 - a/3) + -2. Is 9 a factor of (2 + 2/y)*6?
True
Let l(q) = q**3 + 4*q**2 + 5*q + 1. Let h(z) = z**2 - z - 1. Let v(b) = 6*h(b) + l(b). Is v(-10) even?
False
Let h(k) be the first derivative of k**2 + 0*k - 2 + 1/3*k**3. Does 19 divide h(6)?
False
Let j(g) be the second derivative of g**3/3 - 7*g**2 + 4*g. Is j(10) even?
True
Suppose -30 = -2*s + 5*s. Let w = s - -14. Suppose -w*h - 5 = -21. Does 2 divide h?
True
Let c(k) = k**2 + 2*k - 3. Suppose m = 5*b + 3*m - 26, 4*b - 31 = -5*m. Is c(b) a multiple of 9?
False
Let j be -39 - (2 + (-3 - -2)). Let w = j + 25. Is 6 a factor of -1*(-3)/(-5)*w?
False
Suppose 0 = -5*w - 3*u - 117 - 106, -90 = 2*w + 2*u. Suppose 55 - 9 = -2*j. Let h = j - w. Is h a multiple of 17?
False
Let u be 0/(3 - 2) - -4. Suppose -2*s + 57 = u*z - 89, 2*s + 5*z = 142. Is s a multiple of 27?
True
Let j = 135 + -57. Does 26 divide j?
True
Let o = 5 + -1. Suppose 2*r + o*m - 121 = -5, 0 = 3*r - 4*m - 184. Is r a multiple of 18?
False
Let i(c) = 3*c - 7. Suppose r = 5*g - 0*g + 51, r - 37 = -2*g. Suppose 6*w - 2*t = w + r, 2*w + 5*t - 28 = 0. Is 15 a factor of i(w)?
False
Let r(h) = 22*h**2 - 1. Let q be 1/6 - 7/6. Is r(q) a multiple of 12?
False
Suppose -5*o - 2*f - 2*f + 14 = 0, 4*o - 11 = -3*f. Suppose -o*t - 28 = -6*t. Is t a multiple of 4?
False
Suppose 4*l = -8*x + 3*x + 22, 8 = 2*l + 4*x. Let k(m) = m**3 + 3*m**2 + 4*m + 2. Let c be k(-2). Is -1*(0 - l - c) a multiple of 6?
True
Suppose 0 = 3*d - 2*y - 206 - 39, -5*d = 5*y - 450. Does 17 divide d?
True
Suppose -6*w = -3*w. Suppose -30 = 5*o - w. Is 8 a factor of 16 + (-3)/o*0?
True
Suppose -9*h = -4*h - 20. Suppose 0 = -2*g + h, -3*p - 4*g + 106 = 17. Is p a multiple of 9?
True
Let i(z) = z**2 - 2*z + 47. Does 8 divide i(0)?
False
Does 7 divide -4 - (-2 + -55) - -3?
True
Suppose -8*z - 588 = -22*z. Does 7 divide z?
True
Let w(j) be the second derivative of j**4/12 - 2*j**3/3 - 2*j**2 + j. Is 8 a factor of w(7)?
False
Let i(c) be the third derivative of -2*c**2 - 1/6*c**3 + 0*c**4 + 4/15*c**5 + 0 + 0*c. Does 12 divide i(-1)?
False
Let q(z) = -z. Let h(g) = -g**2 - 2*g + 2. Let v(y) = -h(y) - 3*q(y). Let d be v(-6). Does 2 divide (-51)/(-15) + d/(-10)?
False
Suppose 0 = 3*y + y. Suppose t - 2*t = 2*n - 19, -n - 1 = y. Is 8 a factor of t?
False
Suppose 0 = -4*g + 372 + 316. Is g a multiple of 43?
True
Is (20/25)/((-2)/(-15)) a multiple of 5?
False
Suppose -j + 3*x = -80, 0 = 5*j - 0*j - 2*x - 452. Does 21 divide j?
False
Let u(v) = v**3 - 4*v**2 + 2*v - 8. Let x be u(4). Is x - (118 + 0)/(-2) a multiple of 28?
False
Suppose -3*c = 4*b - 236, 20 = c + 2*b - 58. Does 8 divide c?
True
Let s(r) = r - 3. Let m be s(5). Let p be 70/8 + m/8. Suppose 0 = -4*b + p + 39. Does 12 divide b?
True
Let r(q) = 2*q**2 + 1. Suppose 0 = l + 2 - 1. Let i be r(l). Let t(j) = 4*j**2 - j + 1. Does 17 divide t(i)?
True
Suppose -g = 4*g - 35. Is g a multiple of 4?
False
Let l = 401 + -191. Let n = l + -133. Let r = -50 + n. Does 9 divide r?
True
Let w = -172 + 94. Let x = 139 + w. Is 16 a factor of x?
False
Let m(j) = j + 3. Suppose 0 = -4*f - 14 - 22. Let g be m(f). Is 13 a factor of (-3 - (-22)/g)*-3?
False
Let h(y) = -y**2 + 10*y + 15. Is h(7) a multiple of 4?
True
Let w = 1 + 2. Suppose 0 = w*u - 50 - 19. Does 4 divide (-6)/(-15) + u/5?
False
Is 87*((-5)/3 + 2) a multiple of 15?
False
Suppose -6*h + h + 25 = 0. Suppose 2*v + 2*v + 94 = h*o, o - 18 = v. Does 12 divide o?
False
Suppose 3*b - 2*b = -3. Suppose j + 3*t = 8*t + 58, 0 = 2*j - 2*t - 76. Let w = j + b. Does 13 divide w?
False
Suppose 95*s - 168 = 91*s. Does 21 divide s?
True
Let g(o) = -3*o + 1. Suppose 7*r - 4 = -46. Is 5 a factor of g(r)?
False
Let c(m) = 5*m**2 - m**3 + 0*m**3 - 11*m**2 - 16*m - 8 - 7*m**2. Is 20 a factor of c(-12)?
True
Suppose 0 = -4*m + 2*n + 136, 4*m + n - 11 - 137 = 0. Is 18 a factor of m?
True
Suppose -2*o + o = -9. Let z = o - -11. Does 6 divide z?
False
Let x = 163 - 280. Is 20 a factor of (x/1)/(-3) + 1?
True
Suppose 0 = -3*h + 2*k - 69, -2*k + k + 72 = -3*h. Let j = h + 48. Let t = j + -13. Does 10 divide t?
True
Let k(l) = 21*l - 29. Does 34 divide k(3)?
True
Let z = -11 + 22. Is 2 a factor of z?
False
Suppose 5*t - 43 = -3*y, t + 0*y + y = 7. Is 3 a factor of t?
False
Let i(r) = -11*r - 4. Let u be i(5). Let w be (-1)/(-2) - u/2. Let f = w - 8. Is 12 a factor of f?
False
Let b be (-2)/(-3)*(-15)/(-2). Suppose 5 + b 