2 - o**3 - 4*o**2 + 2*o**2 + 4. Does 8 divide i(-7)?
False
Suppose 0 = -u + 2. Let q be (u/(-2))/((-1)/79). Let o = q - 55. Is 15 a factor of o?
False
Let f = -43 - -89. Is f a multiple of 8?
False
Let a = -62 + 36. Let c = 40 + a. Is c a multiple of 9?
False
Is 30 a factor of ((-2)/(-9) - 176/(-18))*12?
True
Let o = -6 + 4. Let u = 9 + o. Does 4 divide u?
False
Suppose -5*j = -11 - 4. Suppose -5*q = -j*r - 16, 6*r + 14 = 2*q + r. Suppose 3*l = -7 - q, 4*l = 5*n - 82. Is 5 a factor of n?
False
Suppose 4*x - 6*x + 104 = 0. Is x a multiple of 13?
True
Let u(y) = -y**3 + 9*y**2 + 9*y + 12. Let v be u(10). Suppose -12 = -2*k - 2*g, k + v*k - g = 10. Is k a multiple of 2?
True
Suppose -4*k + 2*p - p = -14, -3*k + 2 = -5*p. Let r(j) = -2*j + 6*j**2 - j**3 - 2 - 4 + 1. Does 14 divide r(k)?
False
Let d(l) = 5*l**2 - 2*l - 3. Let c be d(3). Let j be (3/(-6))/(2/c). Is 9/(-4)*(j - -1) a multiple of 12?
False
Let b(n) = 23*n**2 - 2*n + 1. Let s = -4 - -5. Does 11 divide b(s)?
True
Let i be 0*4/16 - -3. Suppose -2*y + i*y = -5*c + 17, y + 2*c - 11 = 0. Is 7 a factor of y?
True
Is 4/(4/41) + 3 a multiple of 11?
True
Let h be (-7)/2 + 3/(-6). Does 7 divide ((-10)/(-3))/(h/(-18))?
False
Is (0 - 5)*8856/(-120) a multiple of 41?
True
Suppose 2*c = 5*l - 96, -4*l + 0 = 3*c - 63. Is l a multiple of 6?
True
Suppose 2*h = -4*x + 16, h - x - 8 = 2*x. Let l = h + 20. Is l a multiple of 28?
True
Let m(c) = -c**3 - 3. Let s be m(0). Let b = s + 10. Is b a multiple of 7?
True
Suppose -7 = -c + 41. Suppose 4*i - 2*d + c = -4*d, 0 = -4*d - 16. Is ((-4)/i)/(6/120) a multiple of 8?
True
Suppose -u = -0*u. Let c(j) = j + 21. Is c(u) a multiple of 7?
True
Let s(o) = -o - 4. Let f be s(-2). Does 5 divide (10/(-6))/(f/6)?
True
Let j be 2*2/1 - 2. Let c be 1*(34 + j + -1). Suppose -73 = -4*y + c. Is y a multiple of 14?
False
Let q = -97 - -173. Is q a multiple of 5?
False
Suppose -i + 3*b = -1, 4 = 3*i + 5*b - 13. Suppose -8 = 3*l + i. Let u = 12 - l. Does 8 divide u?
True
Let h be -2 + 5 + 39/(-1). Let w = h + 52. Does 8 divide w?
True
Let d(i) = -9*i - 28. Does 4 divide d(-8)?
True
Let h = -8 + 18. Let l(n) = -6*n + 0*n + h*n + 2 - 8*n. Is l(-2) a multiple of 10?
True
Let g(i) = 102*i**2 + 2*i - 1. Does 23 divide g(1)?
False
Let y be (-3)/(((-12)/(-5))/(-4)). Suppose 5*o + 87 = 5*v - 108, 39 = v - y*o. Does 13 divide v?
True
Let h be (2/3)/(4/(-42)). Let o(m) = -m**2 + m + 1. Let b(q) = -2*q**2 - 4*q - 2. Let t(r) = -b(r) + o(r). Is 9 a factor of t(h)?
False
Is 5 a factor of 128/13 + (-2)/(-13)?
True
Let d(a) = a**3 - 8*a**2 + 12*a + 5. Is 8 a factor of d(7)?
True
Let f(c) be the first derivative of 11*c**2/2 - c - 4. Suppose -o + 4*o - 3 = 0. Is 10 a factor of f(o)?
True
Suppose 4*l - 3*p = 2*l + 58, 38 = l + 3*p. Let s = l + -4. Is 7 a factor of s?
True
Suppose 5*s - 9 = 6. Suppose -2*c - 3*k = -7*c, s*c = -3*k + 24. Is c a multiple of 3?
True
Let y be 1/(-2)*2 - -3. Suppose -39 = -4*u + 5*p, u = y*p - p + 9. Is 5 a factor of u?
False
Let p = -7 - 4. Let v = p + 18. Is v a multiple of 3?
False
Let i be 2/7 - (-38)/14. Suppose -m + i = -1, -4*u + 264 = 2*m. Is 6 a factor of (9/(-6))/((-6)/u)?
False
Suppose 2*v + 3*z = 4 + 65, 2*v - 2*z = 84. Is 9 a factor of v?
False
Let d be 93 - (3 + 0 + 0). Suppose 5*z - 3*b = -6*b + d, 5*b = -z + 40. Does 6 divide z?
False
Suppose -4*x + 16 = 4*p - 48, 3*p = 2*x - 37. Suppose 2*i - 13 - x = 0. Is i a multiple of 5?
True
Let p = 352 - 214. Suppose 4*w - p - 42 = 0. Is 18 a factor of w?
False
Let h = 11 - -19. Is 10 a factor of h?
True
Suppose 0*m + 5 = m. Suppose m*c - 220 - 162 = -2*t, 2*t = 3*c - 226. Is c a multiple of 19?
True
Suppose -5*c + c - 22 = -i, -15 = 5*i + 5*c. Suppose 0 = -i*s + 6*s - 108. Is 8 a factor of s?
False
Suppose -19*t + 432 = -15*t. Does 18 divide t?
True
Suppose 760 = 4*s - 600. Suppose -s = -7*h + 2*h. Suppose -w + 23 = -i, -5*w - 2*i = -w - h. Does 19 divide w?
True
Let x be (-2 + (-15)/(-6))*46. Let d(t) = -t**3 - 5*t**2 + 3. Let z be d(-3). Let c = x + z. Does 5 divide c?
False
Let n = 10 + -5. Let t be (n/(-15))/((-2)/(-6)). Is t*((-33)/3 - -2) a multiple of 5?
False
Suppose 2*q + 2*q + 2*x = 30, 5*x = -3*q + 5. Suppose -q - 10 = 5*y + 5*d, -3*d = 4*y + 13. Is 3/(-6)*-74 + y a multiple of 18?
True
Let w = 71 + -33. Suppose 5*f + 13 = 3*j + w, -2*j = f - 5. Suppose d = -j + 2. Is d a multiple of 2?
True
Let p(s) = -2*s - 1. Let r be p(1). Is 8 - 2*(r - -2) a multiple of 4?
False
Let g = 70 - 26. Is g/(7/((-7)/(-2))) a multiple of 10?
False
Let u(f) = 2*f**2 + 7*f. Let o = 9 - 14. Is 15 a factor of u(o)?
True
Suppose -5*t - 12 = 4*v + 5, -v - t = 3. Suppose -v*r + 270 = 3*r. Does 18 divide r?
True
Let x(j) = 2*j + 8. Let z be x(11). Let r = -47 + z. Let b = 4 - r. Is b a multiple of 11?
False
Let c(i) = -3 + 2*i**2 + 2 - 4*i**2 - 2*i. Let l be c(3). Let r = 56 + l. Does 12 divide r?
False
Let x(r) = 2*r**3 - 4*r**2 + 3*r - 6. Is x(3) a multiple of 21?
True
Let y = 2 - 0. Suppose -y*v = v. Let z = v + 13. Is z a multiple of 9?
False
Let q be ((-33)/(-6))/((-4)/(-8)). Suppose -q = -5*x + 34. Is x a multiple of 7?
False
Let y(t) = 6*t**3 - 3*t**2 + t. Is y(2) a multiple of 38?
True
Let g = -32 - -123. Let m = g + -31. Is 20 a factor of m?
True
Let v(p) = -p**2 + 5*p + 6. Let d be v(6). Suppose d = 4*z + 8, -z + 4 - 1 = j. Suppose j = -a, 3*a - 2 - 1 = -2*w. Does 9 divide w?
True
Let t(c) = c**3 - 2*c**2 + c + 7. Let h be t(5). Suppose -r + h = 2*r. Suppose u = -3*s + r, -2*s = -2*u + 59 - 9. Is 13 a factor of u?
True
Let y = 0 - -8. Let x = 18 - y. Is 4 a factor of x?
False
Let x be (-4)/(1*-2*1). Suppose 0 = 3*g - x*g + 4*i - 83, 4*g - 257 = -i. Let t = -29 + g. Is 12 a factor of t?
False
Let u = 43 + -21. Let w = 37 - u. Is 9 a factor of w?
False
Suppose -m + 2 + 34 = 0. Is 9 a factor of m?
True
Suppose 3*h - 28 = 2*h. Does 7 divide h?
True
Let o = 6 - 8. Let u(w) = 3*w**2 + 5*w - 1. Let y(n) = -n**2 - n. Let j(c) = -u(c) - 5*y(c). Is j(o) a multiple of 5?
False
Let v(a) = a**2 - 5*a - 16. Is 38 a factor of v(14)?
False
Let b = 52 + -12. Does 10 divide b?
True
Let h(t) = t - 1. Let z be h(6). Suppose 2*k + z*a - 52 = 31, 47 = k - 3*a. Is k a multiple of 13?
False
Let w be -4 + 1 + (4 - 1). Does 9 divide 3 + (-33)/(-3 - w)?
False
Let n = 29 - 42. Let c(j) = -4*j**2 - 3*j - 1. Let o be c(-3). Let x = n - o. Is x a multiple of 15?
True
Let y be 4*(-5 + 1 + 0). Suppose -30 = -3*t - 4*p + 56, -5*p - 94 = -4*t. Let m = y + t. Is 5 a factor of m?
True
Is (2 - 8/2 - -6) + 15 a multiple of 19?
True
Let q(l) = -3*l**3 + 4*l**2 + 2. Let w be q(3). Suppose 0 = v + 29 - 9. Let n = v - w. Is 12 a factor of n?
False
Suppose -3*n = -2*l - 11, 4*n - 5*n - 4*l - 1 = 0. Does 3 divide (7/2)/(n/6)?
False
Let k(t) = -t**3 + 6*t**2 - 4*t - 2. Let o be k(5). Let v = o + 0. Does 13 divide 80/v - 6/9?
True
Is ((-132)/16)/3*-8 a multiple of 7?
False
Let r(w) = -w + 2. Let u be r(2). Suppose -3*d = -p - p + 9, 0 = 4*p - 2*d - 6. Suppose u*k - 2*k + 26 = p. Is 9 a factor of k?
False
Let u = 2 - 10. Is ((-45)/12)/(2/u) a multiple of 9?
False
Let r be 7 + (-2 - (1 + -1)). Suppose -3 = 2*l - r*l. Does 5 divide -1 + (l - -1) - -15?
False
Suppose 2*c - 3*c + 5 = 0. Suppose -c*a + 30 = -2*a. Is 3 a factor of a?
False
Let o = -34 - -54. Does 12 divide o?
False
Let f = -5 - -8. Suppose 0 = f*a - 32 - 19. Is 16 a factor of a?
False
Suppose -3*d - 4*o - 164 = -8*d, 0 = 2*o + 2. Does 8 divide d?
True
Let v = 7 + 12. Suppose z + 5 = 0, -3*o + v = -o - z. Is 7 a factor of o?
True
Let d(w) = w**3 + 8*w**2 + 6*w. Is 18 a factor of d(-6)?
True
Is 90/75*(-130)/(-4) a multiple of 13?
True
Suppose -284 = -5*d + 166. Suppose 3*m - d = -2*m. Is m a multiple of 13?
False
Suppose 48 = -4*p + 156. Is 2 a factor of p?
False
Let z be (-3)/(-4)*(-96)/(-6). Let d = z + -5. Does 7 divide d?
True
Suppose -x = -9 + 5. Is 2 a factor of x?
True
Is 6 a factor of (-5)/2*(-4)/1?
False
Let m(v) be the first derivative of -6*v - 3/2*v**2 - 3. Is m(-7) a multiple of 5?
True
Let z = -40 - -22. Let a = z + 24. Is 6 a factor of a?
True
Suppose 56 = 4*t - 5*c, -2*c + c + 4 = 0. Is 11 a factor of t?
False
Let a(o) = o**2 + 5*o - 12. Does 12 divide a(-9)?
True
Let u = 11 + 15. Let r = u - 18. Is r even?
True
Let j(n) = n**3 - 8*n**2 + 10*n - 3. Let p be j(7). Let m = 66 - p. Is