ltiple of 23?
True
Let i be 2/7 + (-2136)/(-21). Suppose -8*b + 10*b = i. Is b a multiple of 19?
False
Suppose -3*y = -5*u - 30, 4*y + 4*u = 5*y - 17. Suppose -m + 40 = -y. Is 9 a factor of m?
True
Let z(k) = 3*k**2 + 9*k - 2*k + 8 - k**2. Is 10 a factor of z(-8)?
True
Let q(u) = u**2 - 5*u + 6. Let p be q(3). Let h(z) = -z**3 + z**2 - 2*z + 10. Does 2 divide h(p)?
True
Let p be (-4 - -1)*4/(-3). Suppose -n + 1 + 3 = 0, p*k - 56 = n. Is k a multiple of 10?
False
Let w = 126 - 103. Does 23 divide w?
True
Suppose 5*l + 6630 = 4*f - 3275, 0 = 3*f - l - 7437. Does 124 divide f?
True
Let q(p) = p**2 + 2*p - 6. Let l(a) = -a**3 - 8*a**2 - 12*a + 4. Let z be 1 + (-5)/(15/21). Let k be l(z). Is q(k) a multiple of 10?
False
Is (-15)/4*(26 + -154) a multiple of 40?
True
Suppose -7*o + h = -6*o - 105, 4*h - 570 = -5*o. Does 8 divide o?
False
Let t = 1967 - 267. Is t a multiple of 10?
True
Suppose 60*a - 50*a = 580. Does 29 divide a?
True
Let z be (-810)/4 + 36/24. Is 8 a factor of 15/(-20) + z/(-12)?
True
Let l(h) be the first derivative of h**3 - 3*h**2 + 6*h - 1. Let d(c) be the first derivative of l(c). Is d(5) a multiple of 11?
False
Let x(k) = -5*k + 15. Let a be x(-9). Let w = -21 + a. Is 10 a factor of w?
False
Suppose 5*t = -2*w - 1, -2*t - 2*t = -3*w + 10. Let q be (3 - 2 - 0) + w. Let n(x) = x**2 + 4*x - 1. Is n(q) a multiple of 13?
False
Does 12 divide ((-3)/(-6))/(14/22316)?
False
Let b(a) = 64*a - 319. Does 9 divide b(22)?
True
Let d(v) = -22*v**3 + v**2 + 7*v - 3. Is d(-2) a multiple of 10?
False
Suppose 10*q = 4931 - 871. Does 6 divide q?
False
Suppose 0 = 5*h - 7*h + 4696. Is 44 a factor of h?
False
Let l = -153 + 161. Suppose l*g - 3*g - 857 = 2*m, -3*g + 518 = -5*m. Is 10 a factor of g?
False
Let r(n) be the first derivative of -17*n**5/120 - 7*n**4/24 + 5*n**3/3 + 1. Let c(y) be the third derivative of r(y). Is c(-2) a multiple of 15?
False
Let u(z) = 28*z**2 + 1. Let c be u(-1). Suppose -2*l = -4*d + 188, -4*l + 18 + c = d. Is d a multiple of 16?
False
Suppose 2*z - 45 = 11. Is 2 a factor of z?
True
Let b(w) = w**2 - 6*w + 11. Let u(l) = 4*l**2 + 2*l + 12. Let z(y) = 3*y**2 + y + 11. Let f(i) = -2*u(i) + 3*z(i). Let g be f(0). Is b(g) a multiple of 19?
True
Let a(y) = 7*y**3 + 7*y**2 + 3*y - 6*y - 6*y**3. Is a(-7) a multiple of 7?
True
Let w(s) = s**3 - 9*s**2 - 6*s + 26. Let l be 11 - -2 - ((-3)/3 + 3). Does 20 divide w(l)?
False
Let h = 12 - 5. Let q be 2 + 24 + -3 - 3. Let z = q - h. Is z a multiple of 13?
True
Suppose -13*b + 194 = 519. Let u = 233 - b. Is 14 a factor of u?
False
Let k(f) = -f**3 - 2*f**2 + f - 6. Let g be k(-3). Suppose -2*i = -g*i - 156. Is i a multiple of 13?
True
Let a = 67 + -62. Suppose -g + 72 = 5*f + g, a*f + 3*g = 68. Does 3 divide f?
False
Suppose -2*i - 12 = -2*q + 6, -q - 5*i = 15. Let a = q + -1. Suppose a*m = 40 + 56. Is m a multiple of 10?
False
Suppose 13*k - 3618 = -628. Does 13 divide k?
False
Let k(u) = 33*u + 175. Is 63 a factor of k(18)?
False
Suppose 0 = -4*b + 8 + 12. Suppose h - b*h = -16. Suppose h*g - 88 = 40. Is g a multiple of 13?
False
Let d = -388 + 532. Does 18 divide d?
True
Let h be (-8)/(-28) - 7/((-98)/150). Suppose 0 = -h*b + 5*b + 1482. Does 13 divide b?
True
Let w(g) = 2*g - 1 + 2 + 0*g**2 + 2*g**2 - 35*g**3. Suppose -15*b = -10*b + 5. Does 12 divide w(b)?
True
Let n(t) = -t**3 - 4*t**2 + 5*t + 4. Let l be n(-4). Let h be (-526)/(-8) - 4/l. Suppose 165 = 5*d - 5*x - 0*x, 2*d + 3*x - h = 0. Is 20 a factor of d?
False
Let h(m) = 25*m + 65. Does 60 divide h(7)?
True
Let w = 288 + -194. Suppose 5*b - 11 = w. Is b a multiple of 7?
True
Does 2 divide 0 + 54 + (-7)/(-63)*0?
True
Suppose 2*i + 2 = 5*o, 20 = -5*i + 4*o + o. Let z(l) = -69*l + 5. Let m(b) = -70*b + 4. Let v(n) = i*z(n) + 7*m(n). Does 26 divide v(-1)?
False
Let n(z) = 12*z + 9 - 7*z + z + 19*z. Does 14 divide n(5)?
False
Does 61 divide (-1*(-30)/(-20))/(3/(-4744))?
False
Suppose 0 = 4*l + 20, c - l - 1330 = 328. Suppose 20*k - k = c. Is 6 a factor of k?
False
Let x be 12/((-1)/(1 - 3) - -1). Suppose -x*k + 419 = -13. Does 27 divide k?
True
Suppose 0 = -2*o - 0 + 24. Let g be -9*(-4)/o - -329. Suppose 0 = -2*l - 4*j + 112, 3*l - 8*l + g = -3*j. Is l a multiple of 16?
True
Is 38 a factor of (-96)/(-9)*1/2*57?
True
Suppose -12*q + 10710 = 2*q. Is 17 a factor of q?
True
Let j(p) = -p**2 - p + 3. Let i be j(0). Suppose 4 = 2*s - 3*x, -3*s + x + 11 = -x. Suppose -i*a + 224 = -s*u, -5*a - 2*u = -4*u - 367. Does 21 divide a?
False
Let f(s) = 12*s - 48 + 61*s + 5*s + 44. Is f(1) a multiple of 5?
False
Let s(z) = -5*z + 1. Suppose -22*o + 18*o - 20 = 0. Let l(v) = -5*v + 1. Let m(w) = o*s(w) + 6*l(w). Does 7 divide m(-5)?
False
Let i = -64 + 152. Let z = -28 + i. Is z a multiple of 13?
False
Let i be ((-33)/(-4))/(6/16). Let f = -25 + i. Does 2 divide 7/(f/(1 + -4))?
False
Suppose 0 = -2*x - 4*l + 3*l - 10, 5*x = -4*l - 25. Let h be 10/(-25) + (-12)/x. Suppose g - 95 = -h*w, -4*w + 3*g = -2*w - 75. Is 10 a factor of w?
False
Let c(r) = 6*r + 25. Let z(q) = -5*q - 24. Let m(t) = -4*c(t) - 3*z(t). Is 14 a factor of m(-12)?
False
Let d = 170 - -259. Does 32 divide d?
False
Is (-2)/(-4 - -2) + 22 a multiple of 2?
False
Let f = 4418 - 1671. Is 17 a factor of f?
False
Suppose 3*b = 10 + 17. Let p = -5 + b. Suppose 0 = 5*n, 70 = p*v + v + n. Is 10 a factor of v?
False
Let q(r) = 56*r**3 + r**2 - 2*r + 1. Let p be q(1). Let i be ((-70)/(-21))/(-2 + 21/9). Suppose i*b = 2*b + p. Does 2 divide b?
False
Let m(b) = -b**3 + 10*b**2 + 2*b. Does 9 divide m(8)?
True
Let w be 2/(-2*(-1)/3). Suppose 5*z + w*a - a - 255 = 0, 0 = -4*z - 5*a + 221. Does 11 divide z?
False
Let j be ((12/(-8) - -1)*-6)/1. Suppose 3*n - 4*d - 71 = -2*d, -j*n - 5*d + 64 = 0. Is n a multiple of 21?
False
Does 22 divide 9010/18 - (-20)/45?
False
Let p be (50/(-15) - -3)/(3/(-54)). Let w(t) = -5*t + 56. Is 2 a factor of w(p)?
True
Suppose -17 = -i + 4*o - 0, -4*o = i + 15. Let n be (-26)/8 + 5/20. Is i/(-2)*(n - 3) a multiple of 2?
False
Let q(j) = -6 + 6 - j**2 - 15*j - 11. Let x(b) = 3*b - 5. Let f be x(-3). Is q(f) even?
False
Suppose 2*h - 1 = 5. Suppose -h*a = -2*y - 136, -2*a + 0*a - 4*y + 112 = 0. Does 12 divide a?
True
Let m = -2076 - -3220. Suppose -2717 = -13*f + m. Is f a multiple of 27?
True
Let g(v) be the first derivative of 17*v**2 + 2*v - 19. Is g(3) a multiple of 13?
True
Is 30 a factor of (-4)/(-8) + 17105/10?
False
Let x(n) = n + 351. Is 15 a factor of x(-5)?
False
Let b(g) = g**3 + 10*g**2 - g - 3. Let h be b(-10). Let p = 7 - h. Is 11 + (-6)/(-3) + p a multiple of 13?
True
Suppose -5*w - 30 = -5*u, 0*w = 4*u + 3*w + 4. Let l(g) = 3*g + 1. Let k be l(u). Suppose -115 = 2*m - k*m. Is m a multiple of 7?
False
Suppose 5*p + 3*c - 1823 = 0, -12*p + 742 = -10*p - 2*c. Is 13 a factor of p?
False
Suppose -3*n + 15 = 4*w - 8, 0 = 2*n - 5*w. Suppose u + 92 = n*u. Suppose 0*o = -o + u. Does 23 divide o?
True
Suppose -4*a + 0 = -16. Suppose -4*v + 3*u - 1 = -2, a*u = 20. Does 4 divide v?
True
Let o be (-3)/18*4*-36. Suppose o = 2*l + l. Suppose l*u - 260 = 3*u. Is u a multiple of 26?
True
Let o(b) = 36*b**2 + 5. Is o(-2) a multiple of 6?
False
Let n(d) = -4*d + 169. Is 13 a factor of n(8)?
False
Let t be 0 + (3 - -3) + -1. Suppose 0 = -t*j - l + 200 + 230, 2*l + 75 = j. Is 17 a factor of j?
True
Let o(b) = -9*b. Let y be o(-1). Let k(p) = p**2 + 4*p + 5. Let h be k(4). Let c = h - y. Is c a multiple of 14?
True
Let b(m) = -5*m**3 - 4*m**2 + 3*m - 159. Let x(y) = -11*y**3 - 9*y**2 + 7*y - 317. Let v(p) = -9*b(p) + 4*x(p). Is v(0) a multiple of 31?
False
Is 22/(-165) - 64446/(-45) a multiple of 19?
False
Let v = -287 + 411. Let z = -25 + v. Suppose 5*c = -3*i + 85, 5*c - z = -i - 4. Does 7 divide c?
False
Let k(n) = -3*n + 38. Let a be k(12). Suppose -a*g - l = -15, -2*g - 3*l = -0*g - 25. Does 4 divide g?
False
Let j(w) = -2*w**2 + 8*w + 7. Let o be j(8). Let i = 84 + o. Is i/(-36) + 126/8 a multiple of 11?
False
Let h(n) = 4*n - n**3 - 7*n**2 - 3 - 12 + 15*n**2. Is 27 a factor of h(6)?
True
Suppose -3*m = -8*m - 700. Let d(l) = -2*l - 20. Let v be d(-12). Is 15 a factor of ((-12)/14)/(v/m)?
True
Let c be (-2)/4 + (-1)/(8/(-60)). Let h = 50 - 26. Suppose -4*n + c*n = h. Does 8 divide n?
True
Suppose 383*o = 353*o + 18090. Is o a multiple of 10?
False
Suppose u =