multiple of 8?
True
Suppose 2 = -n + 2*n. Suppose n*k - x - 26 = -0*x, 2*k + 5*x = 14. Is k a multiple of 4?
True
Suppose -w - 4*r = 19, -3 = -3*w + 2*r + 10. Suppose -3*j - d + 7 = 0, j - 5*d = 15 - 2. Suppose 0 = -j*v - 3*h + 45, v - w - 17 = 2*h. Does 9 divide v?
False
Let l = 10 - 3. Let j(t) = 10*t**3 - 24*t**2 + 37*t - 18. Let d(g) = 7*g**3 - 16*g**2 + 25*g - 12. Let c(q) = -7*d(q) + 5*j(q). Is c(l) a multiple of 15?
True
Let j be (-4)/(-12) + (-2)/6. Suppose -3*h + 16 = h. Suppose j*o + 80 = h*o. Does 10 divide o?
True
Let o(n) = 4*n**2 + 5. Let x be o(-2). Suppose -l - 4*z + 49 = 0, -133 = -3*l + l - z. Suppose l = 3*u + x. Is u a multiple of 8?
True
Is 3 a factor of (-214)/(-18) - 10/(-90)?
True
Suppose 5 = -5*i, -a + 3*a - 32 = -2*i. Suppose 4*y + 85 = -5*v, 3*v - 4*v + 3*y = a. Let q = v - -24. Is 4 a factor of q?
False
Let p(j) = -j**3 + j**2 - 2*j**3 + j + 5*j**2 + 2*j**3. Does 3 divide p(6)?
True
Suppose 36 = 7*n - 3*n. Suppose 0 = 3*f - n - 12. Does 7 divide f?
True
Let z be (-2)/(3*(-2)/6). Is 15 a factor of (-98)/(-5) + z/5?
False
Suppose -3*s + 14 = 2*c, -13 = 2*s - 5*c - 35. Let m(a) = a**2 - a - 7. Is m(s) a multiple of 9?
False
Let u be (-16)/40 - 93/5. Let d = -31 - u. Is (19/4)/((-3)/d) a multiple of 15?
False
Let l = -2 - 7. Does 17 divide 27 + l/(-6)*2?
False
Let y(s) = -10*s**3 - 3*s**2 - 6*s - 2. Is y(-2) a multiple of 15?
False
Suppose 3 = -a + 4. Let j be (a - 2 - 1)/2. Does 3 divide (-2 - j) + 0 + 6?
False
Let c(u) be the third derivative of u**6/12 - u**5/120 + u**4/24 - 2*u**3/3 - u**2. Let n(j) be the first derivative of c(j). Is 10 a factor of n(1)?
True
Let d = -47 - -15. Is 2 - d - -2*1 a multiple of 9?
True
Let z be (4/6)/(14/(-126)). Is 10 a factor of (-80)/z*(-30)/(-8)?
True
Let g(z) = z - 1. Let o be g(-8). Let j = 15 + o. Is 6 a factor of j?
True
Suppose 0 = -5*y + 17 - 2. Suppose -5*k - 23 = -2*u, 2*u - 86 = -3*u + y*k. Is (-28)/(-21)*(u - 1) a multiple of 15?
False
Is -3*(1/5 + (-1192)/10) a multiple of 47?
False
Let i = 14 + 4. Is i a multiple of 9?
True
Suppose 0 = -5*b + p + 344, 5*b - 348 = p + p. Is b a multiple of 17?
True
Let m(c) = -4*c**2 + 4*c - 2. Let h be m(4). Let r = h - -86. Does 12 divide r?
True
Let b(g) = 8*g - 3. Is b(9) a multiple of 19?
False
Suppose 2*t = -3*t + 5*f + 155, t + 3*f - 39 = 0. Is 11 a factor of t?
True
Suppose -3*s - 145 = -5*i + 3*i, -3*i + 4*s = -220. Is 27 a factor of i?
False
Let j = -50 + 76. Does 25 divide j?
False
Let m be ((-220)/70)/((-6)/(-7) - 1). Let n(u) = 18*u**2 - 3*u - 3. Let o be n(-2). Let a = o - m. Is a a multiple of 21?
False
Let i(o) = 7*o + 6. Does 9 divide i(3)?
True
Let c = 2 - -4. Let t(m) = 6*m - 8. Let w be t(c). Let a = 41 - w. Is a a multiple of 6?
False
Suppose -12 = 3*z + v, -4*v = 3*z - 4*z + 9. Does 6 divide 14 - (-2)/(z/3)?
True
Let r = 4 - 14. Let n = 42 + r. Let b = n - 18. Is b a multiple of 9?
False
Suppose 73 = 5*u + 28. Does 3 divide u?
True
Is 8 a factor of (-645)/(-18) - (-1)/6?
False
Suppose 197 = 5*o - 123. Is o a multiple of 8?
True
Let i be ((-18)/(-8))/(6/64). Suppose 2*d + 2*d = -i. Is 13 a factor of ((-4)/d)/(2/93)?
False
Is ((-45)/(-2))/((-9)/(-12)) a multiple of 10?
True
Let r(n) = -4*n**2 + 7*n**3 + 4 - 5*n**3 + 2*n + 2. Is 13 a factor of r(4)?
True
Suppose -26*x + 27*x - 20 = 0. Does 14 divide x?
False
Suppose -4*l = x - 37, 3*x - 25 = l + 60. Let a = 1 + x. Is 15 a factor of a?
True
Suppose 2*d - 15 = 3*j, 3 = -d + j + 11. Does 10 divide 3/d - 145/(-15)?
True
Let r = 7 + 9. Is r a multiple of 8?
True
Suppose l = -3*l + 48. Suppose -5*q + l = -q. Does 3 divide q?
True
Suppose 4*m = 3*b - 24 + 94, 5*m - 4*b = 87. Let h = 2 - 0. Suppose -h*a + m = -25. Is 11 a factor of a?
True
Let d = 8 + -6. Is 8*d/(-8)*-19 a multiple of 12?
False
Suppose 0 = -3*t + 41 + 25. Is 6 a factor of t?
False
Let c be 3/(0 + 9/6). Suppose 0 = -4*l + 5*i + 44, -3*l + 4*i + 11 = -c*l. Is 11 a factor of l?
True
Is (-2)/7 - (-1582)/49 a multiple of 4?
True
Let t be 291/6*(-8)/4. Let k = -51 - t. Does 23 divide k?
True
Let p = -16 + 10. Suppose -2*j - 32 = 2*w, 0*j = -2*w + 5*j - 18. Let u = p - w. Is 8 a factor of u?
True
Does 3 divide (-1294)/(-22) - 16/(-88)?
False
Let t be (3 - 5)*(2 + -4). Suppose -n - 4*g + 36 = 0, 55 = t*n - 3*g + 6. Does 8 divide n?
True
Suppose -m + 77 = 2*a + 19, -2*a = -4*m + 282. Let z = m - 42. Is z a multiple of 9?
False
Let x(l) = 3*l**3 - 3*l**2 + 2*l + 1. Suppose 0*r = 4*r - 8. Is x(r) a multiple of 5?
False
Let j(p) = -90*p**3 + p**2 + 2*p + 1. Is j(-1) a multiple of 5?
True
Suppose -2*w = -w - 30. Is w a multiple of 6?
True
Suppose -j + 26 = j + 2*i, 2*i = 5*j - 72. Suppose -s - j = s. Is s*(1 - (3 - 1)) a multiple of 7?
True
Is 9 a factor of (-1)/(-1*(-3)/(-117))?
False
Suppose -2*v + 3*l + 151 = -158, 0 = 3*l - 15. Does 16 divide v?
False
Suppose 0 = -5*a - 0*a - 2*l + 578, 0 = -l - 1. Is 58 a factor of a?
True
Suppose 24*c = 18*c + 1110. Is c a multiple of 32?
False
Suppose 7*u = 30 + 89. Is u a multiple of 3?
False
Suppose 0 = 6*l + l - 630. Is l a multiple of 11?
False
Suppose 3*t = -31 + 265. Does 26 divide t?
True
Suppose -3*t + 20 = 2*t. Suppose -5*q + 72 = s - q, -4*q = -t*s + 248. Does 19 divide s?
False
Suppose 0 = 2*n + 3*r - 49, n + 2*r - 7*r - 44 = 0. Is n a multiple of 24?
False
Suppose -l - 2*l = -90. Is 10 a factor of l?
True
Is 21 a factor of (231/12)/(-11)*-72?
True
Suppose 8*p - 4 = 4*p. Is -21*(p - (-5)/(-3)) a multiple of 13?
False
Is 9 a factor of -1 + -10*(-3 - -2)?
True
Let u = -16 + 14. Let x(h) = -3*h**3 + h**2 - 1. Does 16 divide x(u)?
False
Let u = 92 - 44. Does 12 divide u?
True
Suppose -4*v + 20 = v. Suppose v*g - 2 - 18 = 0. Is g a multiple of 3?
False
Suppose -5*i = -8*i + 27. Let y be (0 - -2) + 6*1. Suppose h = i + y. Is 17 a factor of h?
True
Suppose 2*p - 23 = 1. Is p a multiple of 4?
True
Suppose 0*z - 90 = -3*z. Let h = z + -10. Suppose h = 3*t + 2*t. Is t a multiple of 4?
True
Let p be (-1*72)/((-6)/4). Suppose 5*v - 2*v - p = 0. Is 4 a factor of v?
True
Let u be (-49)/((-16)/(-12) - 1). Let z = u - -219. Does 24 divide z?
True
Let z = -11 - -8. Let n be (1 - 0) + (0 - z). Suppose -c = v - 1, n*v - v - 10 = 4*c. Is v a multiple of 2?
True
Let v(k) = -k**3 + 2*k**2 - 4*k + 5. Let r be v(3). Let h = r + 32. Is 16 a factor of h?
True
Suppose 22 = -2*t - 5*j, -2*t + 10 = -3*j - 0. Let d be (-1 - 6/t) + -2. Suppose d*h = -h + 104. Does 10 divide h?
False
Suppose -4*p - 70 = -2*p. Let x = 49 + p. Does 11 divide x?
False
Let w = 5 + -3. Suppose -w*i + 26 = -4*l + 4, -2*i - 14 = 5*l. Suppose i*j - 35 = -r, 5*j + 20 = j. Does 19 divide r?
False
Let g = -2 + -17. Suppose -5*t = 4*w - 138, -3*w = -3*t + 6*t - 102. Let o = w + g. Is 5 a factor of o?
False
Let u(w) = w**2 - 4*w - 7. Let p(z) = -4*z**2 + 3*z**2 + 7 - 7*z - z. Let g be p(-8). Is 7 a factor of u(g)?
True
Let f be 42/(-8) - 3/(-12). Let j(q) = -q**2 - 6*q + 5. Is j(f) a multiple of 6?
False
Suppose 5*h - 41 = u - 13, 4*u = h + 2. Let y = 30 - h. Does 13 divide (6 + -3)/(2/y)?
False
Suppose -5*u + 318 = -232. Is (1*-1)/((-5)/u) a multiple of 16?
False
Let u(f) = f**2 - f - 1. Let a be u(3). Suppose -v + 5 = -a. Does 5 divide v?
True
Suppose 18 = 4*k + 2. Suppose -2*q - k*t + 123 = -3*t, -4*q + 3*t = -251. Is q a multiple of 13?
False
Let f = 13 + -6. Suppose 0 = 4*h - s - 126, -5*s - f - 3 = 0. Suppose -c = -2*c + h. Is c a multiple of 11?
False
Suppose -2*m + 5*g = -0*g - 54, 3*g - 166 = -5*m. Is 16 a factor of m?
True
Suppose -22 = -r + 5*k, 2*r + 4*k = -r - 29. Let h(t) = t**2 - 3*t - 3. Let x be h(r). Suppose -x = 2*v - 7*v. Is v a multiple of 3?
True
Suppose a - 2*g + 686 = -4*a, 2*g + 4 = 0. Let r = a - -83. Let w = -39 - r. Is 11 a factor of w?
False
Let z(v) = 13*v**2 + 5*v - 11. Let b(c) = -7*c**2 - 3*c + 6. Let f(j) = 7*b(j) + 4*z(j). Does 4 divide f(2)?
True
Let l(v) = 4*v**2 + v - 3. Let h be l(-3). Does 10 divide h/(6 + -3 + -2)?
True
Let s = 20 + -19. Is (s - -3) + 5 + -5 even?
True
Let l be 60/(-8)*16/(-6). Suppose 5*q = 4*w - l, 4*w - q = 2*q + 12. Let p = 2 - w. Is 2 a factor of p?
True
Let o(m) = m**3 + 9*m**2 + 8*m + 10. Suppose -18 - 1 = -b. Let p = b - 27. Is o(p) a multiple of 5?
True
Let l(a) = 4*a**2 - 6 + 5 + 0. Let g be l(1). Suppose -g*d = -d - 12. Does 3 divide d?
True
Let v(i) = 10*i**2