 3*c. Is o a multiple of 11?
False
Suppose 8*l = 9*l - 14. Is l a multiple of 14?
True
Let b(v) = -v**2 + 7. Let o be b(0). Suppose -3 = x, -3*q + 8 = 5*x - o. Is q a multiple of 8?
False
Let y(z) = z**3 - z**2 + 2*z + 8. Is 2 a factor of y(0)?
True
Suppose 2 = -2*w + 4*w. Let n(c) = 4*c**2 + 1. Let a be n(w). Suppose -a*b + 3*p + 19 = -19, -4*b - 4*p = -56. Is b a multiple of 10?
True
Let h(v) be the third derivative of v**6/120 - v**5/10 + v**4/4 - v**3/6 + v**2. Let j be h(5). Suppose 179 = j*d + 2*q + 67, -5*d = -q - 126. Does 13 divide d?
True
Let w be ((-5)/(-10))/(1/(-6)). Does 7 divide (0 + w)/(-9)*24?
False
Let g(f) = 2*f - 7. Let i be g(7). Let q = -1 + i. Let w = q - 1. Is w a multiple of 2?
False
Suppose -a - 10 = -3*a - 2*h, -a - 5*h = -21. Does 5 divide 16 + -5 - (a + 1)?
False
Let l(s) = -s**2 - 4*s. Let o be l(-2). Let c(v) = v**3 - 4*v**2 + v - 1. Let g be c(o). Let n(w) = 2*w**2 + 2*w - 4. Is n(g) a multiple of 20?
True
Suppose 0 = 5*g + 2*p - 475, -4*g - 2*p - 20 + 400 = 0. Does 13 divide g?
False
Let f = 6 - 0. Does 10 divide f/((-2)/(20/(-3)))?
True
Suppose 3*a = -2*m + 21, -3*a = a + 4*m - 32. Suppose a*r + s + s = 31, 2*s = 2*r - 4. Let b(n) = 2*n - 2. Is b(r) a multiple of 4?
True
Let t be 6/15 - 18/(-5). Suppose -10 - t = -s. Does 14 divide s?
True
Suppose -5*v - 2*h - 41 = 0, v + 2 - 1 = 2*h. Let q(p) = -p**3 - 7*p**2 - 2*p - 9. Let o be q(v). Suppose -o*i = -358 + 123. Is 15 a factor of i?
False
Suppose 3*f - 3*v - 99 = 0, -3*f = -v - 71 - 26. Is 16 a factor of f?
True
Does 20 divide -3 - (-2 + (-243)/3)?
True
Let c be (1/(-1))/((-1)/24). Let w be (-1)/(-4) - (-138)/c. Suppose -w*m + 134 = -4*m. Is 28 a factor of m?
False
Let p(m) = -m**2 - m - 20. Let y be p(0). Is 10 a factor of (y/14)/(2/(-14))?
True
Let q = -25 + 37. Let a = q + -6. Let m(j) = j**2 - 3*j. Is 17 a factor of m(a)?
False
Let x be (-4)/6 - (-44)/12. Suppose v = -1 + x. Suppose -m = -v*m + 19. Does 19 divide m?
True
Suppose 0*v = v - 8. Suppose v*r = 4*r + 5*a - 3, -a = -5*r + 12. Is r a multiple of 2?
False
Suppose 2*n = -0*z - 4*z + 100, 3*n - 5*z - 106 = 0. Is 6 a factor of n?
True
Suppose 2*x - 2 = -3*m - 4, -x + 9 = -m. Is 5 a factor of x?
True
Suppose -q + 9 = 2*q. Suppose z - 6 = -q*w + 20, 2 = w - 3*z. Is (w/(-5))/((-2)/40) a multiple of 16?
True
Let s = -85 - -136. Suppose -5*b + 32 = -2*t - s, -b - 2*t + 19 = 0. Does 11 divide b?
False
Suppose 9*a - 5*a = 364. Is a a multiple of 18?
False
Suppose 5*r + 42 = 172. Let q = r + 15. Is q a multiple of 13?
False
Suppose -119*s + 116*s = -120. Does 2 divide s?
True
Let q = 182 - 23. Suppose -5*s - 59 = -q. Does 8 divide s?
False
Does 9 divide (-1)/(2 + 126/(-62))?
False
Let z = -298 - -717. Suppose 4*h - r = z, 3*h - 232 - 101 = -3*r. Suppose 3*s - h = -7. Is s a multiple of 16?
False
Suppose 4*n + n = 0. Suppose 250 = -n*h + 5*h. Is h a multiple of 17?
False
Let w(d) = -2*d. Let a be w(-1). Let x(u) = -3 - 5*u + 3*u**2 - 5 + a. Is 18 a factor of x(5)?
False
Suppose 4*w + v - 307 = 0, 0 = -3*w + v - 6*v + 226. Is 7 a factor of w?
True
Let n = 8 - -7. Does 3 divide n?
True
Suppose 59*h - 60*h = -45. Is h a multiple of 15?
True
Let p = 77 - 42. Is 9 a factor of p?
False
Let j(i) be the third derivative of -i**5/60 + 7*i**4/12 + 2*i**2. Suppose -l = 4*l - 55. Does 11 divide j(l)?
True
Let z(a) be the third derivative of 9/40*a**6 + 0 + 0*a - 1/24*a**4 + 1/30*a**5 + 0*a**3 + a**2. Does 11 divide z(1)?
False
Suppose -2*y + 4*w - 28 = -y, 0 = -3*y + 2*w - 44. Suppose -136 = -4*a - 5*m, 3*a - 2*m + 6*m = 103. Let v = a + y. Is v a multiple of 6?
False
Let g(o) = 2*o**3 - 2*o**3 + o**3 - 9*o**2 - 8*o - 2*o**3. Let s be g(-8). Suppose 2*c = -s*c + 26. Does 13 divide c?
True
Let k(r) be the second derivative of -r**7/840 - r**6/45 + r**5/40 - 5*r**4/12 + r**3/3 + 3*r. Let w(b) be the second derivative of k(b). Does 22 divide w(-9)?
True
Suppose -2*c + 82 = -0*c. Suppose 4*h = -8, -136 = -4*o - 4*h + 96. Let g = o - c. Is g a multiple of 17?
False
Let d(t) = -t**2 + 9*t + 5. Does 8 divide d(7)?
False
Let z(o) = 6*o + 1. Let x be z(8). Let q = x - 23. Is q a multiple of 8?
False
Suppose -z - 2*z + 81 = 0. Let x = -2 - -6. Suppose -3*t = -x*a + z, -t - 31 = -3*a - 2*a. Does 6 divide a?
True
Let v be -3*1/(-3) - -20. Suppose 2*u + 5*o = 3*u - v, -2*u - 4*o = 0. Let f = 0 + u. Is 5 a factor of f?
False
Let f(z) = 6*z + 4. Let m(v) = -7*v - 5. Let x(w) = 5*f(w) + 4*m(w). Let o be (-296)/(-32) + (-1)/4. Is x(o) a multiple of 11?
False
Let a(o) = -5*o**2 - 11. Let h(p) = p**2 + 1. Let q(t) = 4*a(t) + 44*h(t). Let j be ((1 - 3) + 1)/(-1). Does 12 divide q(j)?
True
Let y be (2 + 3/(-12))*4. Suppose 0 = 2*h + 5*q + 8, -4*q - 21 = -2*h + y. Does 11 divide (h - 2)*29/4?
False
Suppose -3*y = -3*i + 396 + 273, 434 = 2*i + 4*y. Does 46 divide i?
False
Let y = -26 + 28. Suppose l - 6*u = -y*u + 29, 2*u = l - 25. Does 10 divide l?
False
Suppose -3*x = -x - 28. Does 14 divide x?
True
Let f(a) = -a. Let b be f(0). Suppose 3*w + 4*v - 153 = b, -2*w - 5*v = 2*w - 205. Is 11 a factor of w?
True
Suppose 2*h = 7*h - 180. Is h a multiple of 20?
False
Let t = -1 + 6. Suppose -2*u + 2*m + 14 = 0, -t*u + 55 = -m - 0*m. Does 4 divide u?
True
Let x = -25 - -33. Suppose -3*i + 263 + 1 = 0. Suppose i = x*v - 4*v. Is 11 a factor of v?
True
Is (-352)/(-3) + 5/15*-1 a multiple of 39?
True
Let v(a) = 4*a**3 + 4*a**2 - 3*a. Is v(2) a multiple of 14?
True
Suppose 0 = -c - 2*c. Suppose -3*t + 15 + 0 = c. Suppose -5*i + 43 = t*o - 12, -5*i + 4*o = -73. Is i a multiple of 13?
True
Let p(f) = -f**3 - 5*f**2 + 8*f + 7. Let m be p(-6). Let r = 17 + m. Is 6 a factor of r?
True
Suppose 12 = u + 4*y - 30, 5*u - 294 = y. Is 25 a factor of u?
False
Let j(k) = 8*k + 23. Is 17 a factor of j(11)?
False
Let f(t) = 15*t**2 - 2*t + 2. Let a(b) = 60*b**2 - 9*b + 9. Let y(h) = -5*a(h) + 21*f(h). Is 23 a factor of y(2)?
False
Does 3 divide -60*(-1 + (-12)/(-20))?
True
Let o(h) be the third derivative of h**5/60 + 7*h**4/24 + 2*h**3/3 - 4*h**2. Does 4 divide o(-7)?
True
Let q be ((-78)/(-8))/((-3)/(-8)). Suppose -2 = g - q. Does 22 divide g?
False
Suppose 1250 = 3*k + 2*b, 9*k - 4*k + 4*b = 2086. Does 46 divide k?
True
Let z = 6 - 4. Let w be (9/6)/1*z. Suppose -w*d = d - 20. Is d a multiple of 2?
False
Let o(f) be the first derivative of -2*f**2 - 2*f + 2. Let z be (2 - -1) + 1 - 8. Does 7 divide o(z)?
True
Let d(g) be the first derivative of g**3/3 + 9*g**2/2 + 2*g - 3. Does 12 divide d(-11)?
True
Suppose -5*c - 192 = -5*k - 82, 2*k + 5*c = 16. Suppose 2*u = 32 + k. Is u a multiple of 25?
True
Suppose 3*n - 8 = -2. Suppose 34 - 12 = n*w. Suppose -4*d + 61 + w = 0. Is 7 a factor of d?
False
Suppose 3*t = 5*t. Let o(u) = t + u**2 + 0*u + u + 2. Does 3 divide o(-3)?
False
Suppose 0 = -4*m - 0*l - l - 6, 2*m = -2*l. Let r be ((-1)/1*0)/m. Is 11 a factor of (-14 + r)*(-9)/6?
False
Suppose -f = 2*f. Suppose 15 = z - 3*g, -5*z - g + f*g + 43 = 0. Does 9 divide z?
True
Let h(w) = w**3 - 3*w**2 + 1. Let j(r) = r**2 + r + 2. Let i be j(-2). Let f be h(i). Let y = 30 - f. Is 13 a factor of y?
True
Suppose -16*v + 23*v - 434 = 0. Does 31 divide v?
True
Let l be 14 - (-3 - (-1 + 1)). Suppose d + 5 = l. Is d a multiple of 4?
True
Let v be ((-3)/(-4))/((-3)/(-72)). Is 13 a factor of (-2)/6 - (-474)/v?
True
Suppose 5*x + 40 = -3*o + 121, 0 = 5*x + 2*o - 79. Suppose -2*h = -3*h + x. Is h a multiple of 14?
False
Let y = -56 - -92. Let w = y - 26. Is 10 a factor of w?
True
Suppose 2*u = -3*f + 105, f - 3 = 4*f. Is 27 a factor of u?
True
Suppose 3*c - u = 16, 0 = -4*c + u - 3 + 23. Suppose 5*w - 17 - 13 = -4*o, -c*w = -o - 3. Is 11 a factor of 106/o - 1/5?
False
Let s = 7 - 8. Is 10 + -2 - (s + -1) a multiple of 10?
True
Suppose 22 + 266 = 3*w. Suppose -o = o - w. Does 16 divide o?
True
Let r(g) be the second derivative of -g**4/12 - 5*g**3/6 + 3*g**2 + g. Let y be r(-6). Suppose -d = -y*d - 14. Is d a multiple of 7?
True
Let x = 67 + 131. Is x a multiple of 28?
False
Let n(z) = -z**2 - 6*z - 5. Let u be n(-5). Suppose u = -0*h + 3*h - 12, -4*h - 72 = -4*g. Is g a multiple of 22?
True
Suppose -3*h = -4*h + 33. Is h a multiple of 11?
True
Suppose 5*l = 26 - 1. Suppose 6*d = l*v + d - 350, v = 3*d + 70. Does 12 divide v?
False
Suppose r = -5, u + 10 = -4*r - 10. Suppose u = -5*h + 