 v. Is l a multiple of 8?
False
Let o(t) = t**3 + 3*t**2 - 4*t + 4. Let b be o(-4). Suppose 0 = -b*h - 3*m + 24, h + 5*m = 2*h + 17. Suppose 16 = -z + h*z. Is z a multiple of 8?
True
Suppose -12 = -4*u - 4. Suppose 0*x - 4*r = x + 14, -2*r + u = 2*x. Does 5 divide x?
False
Let s(g) = g**3 + 7*g**2 + 4*g + 6. Let a be s(-6). Suppose 8 = q + 2*u, -4*u + 2 = 3*q - a. Suppose -q*y - 50 = -9*y. Is y a multiple of 10?
True
Let m(o) = o**2 + 5*o - 6. Let l be m(-6). Let a(g) = g**3. Let t be a(l). Suppose 0 = -2*x + 6, j - x - x - 4 = t. Does 5 divide j?
True
Suppose i = 7 + 9. Is 8 a factor of i?
True
Suppose 10 = 3*d - 92. Is 17 a factor of d?
True
Let j be (-28)/35*(-10)/(-2). Let v(y) = -y**3 - 2*y**2 + 4. Does 10 divide v(j)?
False
Suppose -109 = -5*h - 7*b + 5*b, 77 = 4*h + 5*b. Is 3 a factor of h?
False
Let y(a) be the second derivative of a**5/20 - 5*a**4/12 + 2*a**3/3 + 2*a. Let p be y(4). Let i = 6 - p. Does 4 divide i?
False
Suppose -2*o + 2*s + 2*s + 156 = 0, 0 = -3*o - 4*s + 194. Let w = o + -35. Is 12 a factor of w?
False
Suppose l - 4 = 2*l - 3*c, -4*l + c - 16 = 0. Let w(o) be the third derivative of o**6/120 + o**5/12 + o**4/12 + o**3/3 + o**2. Is w(l) a multiple of 5?
True
Suppose -3*k = -7*k - 2*c - 6, 5*k + 2*c + 6 = 0. Let o(q) = 1 + 0*q - 4*q + 3*q + q**2 + k*q**2. Is 7 a factor of o(4)?
False
Let w = -13 - -13. Suppose w = -g + 19 - 3. Is 8 a factor of g?
True
Suppose 13*p = 14*p - 15. Does 6 divide p?
False
Let k(b) be the second derivative of -b**5/20 - 2*b**4/3 - b**3/2 - 5*b**2/2 + b. Suppose -16 = 2*q + 5*g, 18 = -5*q - 5*g - 22. Is k(q) a multiple of 16?
False
Suppose -8 = 2*k - 88. Let g = -12 + k. Is 14 a factor of g?
True
Let n(k) = 0 + 3 + 0 - 3*k. Is n(-8) a multiple of 27?
True
Let z(h) = h**3 - 2*h**2 - h + 4. Let l(t) = 3*t - 3. Let c be l(2). Is z(c) a multiple of 5?
True
Let g = 117 + -9. Is 19 a factor of g?
False
Let t = -26 + 32. Is 5 a factor of t?
False
Let p = 17 - 13. Suppose 0 = g - p - 8. Is g a multiple of 4?
True
Let q be ((-3)/(-18))/(2/12). Suppose 2*k - o = -2*k + 28, 3*k + 5*o + 2 = 0. Suppose -r - q = -k. Does 5 divide r?
True
Let v be (-3)/5 + (-1534)/(-65). Let q = 34 - v. Does 11 divide q?
True
Suppose 4*u - 2*l + 1 = -31, 4*u = -4*l - 32. Let c = u + 14. Is c a multiple of 3?
True
Suppose -6*j - 558 = -1692. Does 27 divide j?
True
Suppose 0*j - 140 = -2*j + 3*g, 3*g + 73 = j. Is 20 a factor of j?
False
Let x = 91 - 69. Does 18 divide x?
False
Let t = 4 + 26. Does 12 divide t?
False
Let m(p) = 5*p**2 - 3*p**2 - 3*p**2 + 0*p**2 + 9*p - 2. Is 6 a factor of m(8)?
True
Let s(o) be the second derivative of -o**4/12 + 11*o**3/6 + 11*o. Let p(h) = h**2 - 2*h - 6. Let t be p(5). Is s(t) a multiple of 18?
True
Let v be 1 + (1 - -2) + -1. Suppose 5*y = -6*o + v*o + 3, 3*y + 3*o + 3 = 0. Is y/(1/((-12)/(-9))) a multiple of 3?
False
Let r(h) = -h**2 + 10*h + 3. Let p be r(10). Let v be (16/12)/(4/6). Suppose -p*g = v*g - 105. Is g a multiple of 21?
True
Suppose 0 = -3*i + 14 - 2, s + 3*i = 18. Suppose s*j - 2*j = 100. Does 25 divide j?
True
Suppose o = -o + 10. Suppose 4*w + 30 - 172 = -o*l, -2*w + 146 = 5*l. Does 15 divide l?
True
Suppose -2*k + 20 = 2*k. Let n(w) = -2*w**3 - 6 + 6*w**2 - 2*w**3 + 3*w**3 - k*w + 2*w**3. Is 12 a factor of n(-6)?
True
Let y = 15 - 12. Let g(r) = 3*r**2 - r + 2. Is 13 a factor of g(y)?
True
Let r be (-1)/2*30/5. Let c be (-5 - r) + 2 + 3. Suppose t - 12 = c. Is t a multiple of 5?
True
Let t be 62/8*(-1 - -5). Suppose 21 = 4*o - t. Does 7 divide o?
False
Is 0 + (-82)/(-2) - -3 a multiple of 11?
True
Suppose 0*s + 5*p = 5*s - 45, 3*s - 24 = 2*p. Suppose 4*k - s*k + 28 = 0. Does 11 divide k?
False
Suppose -o + 6*o = 340. Does 6 divide o?
False
Let v(p) = p**3 - 6*p**2 + 6*p - 8. Let n be v(6). Let r = 60 - n. Suppose 4*j = 4*d - r, 8*j - 4*j + 8 = 2*d. Does 12 divide d?
True
Suppose 2*y - 18 = -5*x, 4*y - 13 = 2*x - 1. Let c be (0 + x)*1/2. Does 10 divide 4*c*(-81)/(-12)?
False
Suppose 5*n + 11 = 3*m - 5, 0 = 4*m + 4*n. Let c(j) = -j - 3*j**2 + 7*j**2 - 3*j**m + 1. Is c(3) a multiple of 7?
True
Let f = -68 - -102. Is f a multiple of 17?
True
Suppose 2*z - 13 = 9. Is 6 a factor of z?
False
Suppose -29*t + 555 = -24*t. Is 11 a factor of t?
False
Suppose -2*m - 13 = -z, 5*z = -2*m - m. Suppose 24 = b - 2*q, 2*b + z*q = 7 + 6. Is 8 a factor of b?
False
Suppose 5*m + 5*v = 6*m + 7, -2*v + 46 = 2*m. Is 3 a factor of m?
True
Let a(t) = -t + 6. Let g be a(-4). Let i(l) = -l**3 + 11*l**2 - 10*l + 6. Does 6 divide i(g)?
True
Let h(n) = -5*n + 0 + n + 7. Let b be h(-7). Let i = b - 24. Is i a multiple of 10?
False
Let t(o) = -o - 4. Let j = -6 + 0. Let l be t(j). Suppose -r + 8 = y, 3*y - 2*r - 24 = l*r. Does 8 divide y?
True
Suppose 0 = -4*o + 111 - 31. Suppose -9*p + 13*p - o = 0. Is p even?
False
Let x(z) = z + 27. Suppose 4*s + 52 = -2*r, -34 = 3*s + 2*r - 3*r. Is x(s) a multiple of 5?
True
Let d = -34 + 15. Let v = -12 - -1. Let u = v - d. Is 8 a factor of u?
True
Is 7 a factor of 0/(-1) - (-180 - -33)?
True
Does 15 divide (12/6)/((-6)/(-135))?
True
Let y = 87 - 45. Does 14 divide y?
True
Let n(j) = j**3 + 12*j**2 + 6. Let x be -2 + (3 - -5 - 2). Suppose x*s - 5 = -53. Is 3 a factor of n(s)?
True
Let i(v) be the third derivative of v**6/120 + 2*v**5/15 + 5*v**4/24 - 2*v**3/3 + 3*v**2. Let f(j) = -2*j**2 + 4*j - 1. Let d be f(3). Is 10 a factor of i(d)?
True
Let c = 320 - 44. Is c a multiple of 28?
False
Suppose 0 = 7*i - 2139 + 564. Is 45 a factor of i?
True
Suppose -w = -7 - 7. Suppose 2*s - 54 = -w. Is 11 a factor of s?
False
Is (-5100)/(-135) + (-2)/(-9) a multiple of 19?
True
Suppose 0 = a + 2*a + 3*n + 87, -2*n = 3*a + 92. Is 10 a factor of 761/11 + a/187?
False
Let y(m) = -4*m - 38. Is y(-20) a multiple of 10?
False
Is 12/(-2)*(2 - 32) a multiple of 18?
True
Suppose 0 = 3*v + v + 8. Is 2 a factor of 6 + (-1 + v)/3?
False
Let w(r) = -r**3 + 5*r**2 + 6*r - 5. Let t be w(5). Suppose -2*j + t = -2*u - 19, -2*j - 5*u = -9. Is 6 a factor of j?
False
Suppose -268 = -4*j - 0*j. Suppose j = 5*d - 48. Is d a multiple of 17?
False
Suppose 9*x + 2*x - 2046 = 0. Is 24 a factor of x?
False
Suppose 47 = h + 33. Is h a multiple of 3?
False
Let r be ((-180)/(-35))/((-1)/(-7)). Suppose -2*f + 52 + 16 = -4*i, -f + 4*i + r = 0. Suppose 0 = 3*u - 25 - f. Does 19 divide u?
True
Let z(k) be the third derivative of 8*k**5/15 + k**4/12 + k**3/6 + 2*k**2. Does 8 divide z(-1)?
False
Suppose -4*d + 137 = 4*c - 5*c, d - 50 = -5*c. Is 4 a factor of d?
False
Let f = 9 + -5. Does 24 divide 60/2*f/5?
True
Let j = 61 - 52. Is 5 a factor of j?
False
Let y(x) = x**2 + 2*x - 4. Is 20 a factor of y(4)?
True
Suppose 20 = -4*w + z, w + 28 = -3*w + 3*z. Let l be (-16)/6*(w - 2). Let f = l - 8. Is f a multiple of 5?
False
Suppose -4*f + 52 = -16. Is 10 a factor of f?
False
Is 2/4*(23 - -323) a multiple of 32?
False
Is 576/56*(-84)/(-8) a multiple of 18?
True
Suppose b = -j - 0 + 59, 5*j = -b + 275. Suppose o = -7*l + 4*l + j, -5*l + 5*o = -90. Does 18 divide l?
True
Let s = 6 + -4. Let t(i) be the second derivative of i**5/20 + i**4/12 - i**3/6 - i. Is t(s) a multiple of 10?
True
Suppose -14 = 5*p + 16. Is 5 a factor of (p/(-18))/((-1)/(-15))?
True
Let f = -12 + 4. Is 17 a factor of (-198)/(-8) + (-2)/f?
False
Let c = 188 - 65. Does 15 divide c?
False
Let a(d) = -6*d. Let t be a(-5). Suppose 3*k = 2*q + 8 - 31, t = 2*q + 4*k. Is 3 a factor of q?
False
Let t(m) = 28*m**2 - 1. Let y be t(-1). Is (-4)/(-12)*-3 + y a multiple of 14?
False
Suppose -p = 8*p - 135. Is p a multiple of 4?
False
Suppose 4*v - 10 = f, 16 = 4*v + 4. Suppose -f*l = -5*z + 360, 3*l + 20 = -z + 92. Is 24 a factor of z?
True
Let j be 1*3 + -5 + 0. Does 3 divide 4 - (j - -3) - -1?
False
Let p = 15 + -7. Is p a multiple of 6?
False
Is 4414/18 + 8/(-36) a multiple of 35?
True
Let o(a) = -a**3 - 3*a**2 + 12*a - 2. Does 14 divide o(-7)?
False
Let j = 78 - 50. Suppose 3*g = 3*l - 9, g + 7 = -3*l + j. Does 6 divide l?
True
Let o(w) = -5*w + 9. Let d(c) = -4*c + 8. Let y(t) = -6*d(t) + 5*o(t). Let h be y(-4). Is 18 a factor of (123/3)/(0 + h)?
False
Suppose 4*t + 1 = 9. Suppose 6 = t*r - 4*w, 0 = -3*r - 0*w - 2*w + 33. Is r a multiple of 9?
True
Suppose 0 = -4*m - 7 + 19. Let z(o) = o**2 - 4*o + 4. Let n be z(m). Let w(f) = 32*f**3 - 1. Is 14 a factor o