 u be a(-6). Let p(k) = k + 14. Let o be p(-10). Suppose o*g = 75 - u. Is g a multiple of 8?
True
Let k = -3 + 7. Let z be k/(-1)*9/(-12). Suppose z*a - 12 = 15. Is a a multiple of 9?
True
Let g = 0 - 3. Let p be ((-9)/6)/(g/8). Suppose 0*w + 56 = p*w. Is 13 a factor of w?
False
Let x = -19 + 35. Let w = x + -2. Does 8 divide (2 - 2/1) + w?
False
Let a = -13 + 10. Is 6 + a - (-23 + -1) a multiple of 7?
False
Let t(w) = -w - 12 + w**2 + w + 13*w. Is 2 a factor of t(-14)?
True
Let k(d) = 3*d**2 + 2*d + 3. Let n be k(-2). Suppose 3*v = -5*m + 209 + n, m - 3*v - 62 = 0. Is 12 a factor of m?
False
Let b = 14 + 16. Does 10 divide b?
True
Suppose -4*n = 2*h - 10, 0 = 2*n + 2*n + 3*h - 5. Suppose -n*z = -0*z - 90. Is z a multiple of 9?
True
Let l = -5 + 18. Is 3 a factor of l?
False
Let p = 47 - 29. Is p a multiple of 18?
True
Suppose -3*q = 2*v + 2*q - 25, -20 = -4*q. Suppose v = 7*l - 3*l. Suppose -2*x + 4*x - 5*c - 32 = l, c = -2*x + 20. Is 11 a factor of x?
True
Let r be 1*4*475/(-20). Let l = -61 - r. Does 16 divide l?
False
Suppose t - 4*c = 20, -7*t = -2*t + 5*c. Let i(v) = 6*v**2 - 9*v - 3. Let j(h) = -7*h**2 + 10*h + 4. Let q(u) = 4*i(u) + 3*j(u). Does 13 divide q(t)?
False
Let n(u) = -u**3 - u**2 + 3*u + 3. Let t be n(-2). Let v(k) = 14*k**2 - 2*k + 1. Does 13 divide v(t)?
True
Suppose -5 = -x + 5. Is 8 - (-3 + x + -4) a multiple of 3?
False
Let q(k) = k**3 - 9*k**2 + 3*k - 7. Let x be q(9). Suppose 5*m = -2*t + x, -5*m = 4*t - 34 + 4. Does 3 divide t?
False
Let c(u) = -u**2 - u + 3. Let r be c(0). Let j(q) = -2 - 2*q - q - r*q. Does 10 divide j(-2)?
True
Let g(z) = -z**2 + 8*z + 1. Let c(a) = -a. Let r(f) = -2*c(f) + g(f). Does 8 divide r(6)?
False
Suppose -4 = 4*n, 0*r - r + n = -11. Is r a multiple of 10?
True
Let n(t) = -t**3 - 7*t**2 - t + 3. Let v be n(-7). Suppose -m = 3*w + 2*m, -5*m - v = -5*w. Let x(k) = 23*k**3 + k**2 - k. Does 10 divide x(w)?
False
Suppose -3*l = -2*b + 2*l - 11, -b - 10 = 2*l. Suppose -x + 3*x - 4*a = 4, 0 = x - a. Let n = x - b. Does 3 divide n?
True
Is 8 a factor of (-12545)/(-117) - (-2)/(-9)?
False
Let g = 0 - -2. Suppose -g*u + 18 = 4*q, -q + 15 = 2*q + 3*u. Let m = 20 - q. Does 6 divide m?
False
Suppose -14 = -b + 2*c, 3*c = -4*b - c - 4. Suppose -3*j = 0, 0*o + b*o - 4*j - 28 = 0. Is 7 a factor of o?
True
Suppose -28 = -i - 3*i. Suppose -x - i + 24 = -5*a, -2*x + 2*a = -10. Is 2 a factor of x?
True
Does 3 divide (12 - 19)*40/(-14)?
False
Let h be 1 + (-32)/(-2) + -2. Let a be 5/(h/(-18))*-9. Suppose -2*z + 4*f = -a, -5*z = 3*f - 202 + 67. Is z a multiple of 12?
False
Let x = 8 - 3. Let p be (-2)/5 + 22/x. Suppose -4*n + f - 3*f + 68 = 0, -p*n + 3*f = -78. Is 9 a factor of n?
True
Let l(g) = g**3 - g + 1. Let d(u) = 3*u**2 - 5*u - 2. Let z(k) = d(k) + l(k). Does 7 divide z(-4)?
True
Let p(i) = 11*i + 5. Is p(3) a multiple of 2?
True
Let i be (10/(-6))/(4/(-12)). Suppose 3*b + 3 = i*v - 7, -25 = -2*v - 3*b. Suppose -175 = -v*g + 5*m, 0 = -5*g - 0*g - 2*m + 210. Does 20 divide g?
True
Let x(z) = z**3 + 13*z**2 + 2*z - 10. Let g(d) = -2*d**3 - 26*d**2 - 3*d + 19. Let t(a) = -4*g(a) - 7*x(a). Does 10 divide t(-13)?
True
Does 13 divide (-8 - -47)*(1 + 0)?
True
Let f(l) = l**3 - l**2 - l + 37. Let k be 0/(-10)*2/(-6). Does 19 divide f(k)?
False
Suppose -3*f + 14 + 1 = -3*p, 0 = -5*f + 25. Let z be (-416)/(-14) - (-32)/112. Suppose 0 = -p*d - 3*d + z. Is d a multiple of 5?
True
Let r be -1*2/(-2)*3. Let f(u) = 2*u**3 + 3*u. Let h be f(3). Suppose 0*d = -r*d + h. Is 9 a factor of d?
False
Suppose 9*y - 20 = 4*y. Suppose 0*s + y*a + 131 = 5*s, -5*s + 2*a = -133. Is s a multiple of 9?
True
Let m = 260 - 6. Suppose -3*w + 4*w - 166 = -3*o, 4*w + m = 5*o. Is o a multiple of 27?
True
Suppose c + 1 + 4 = 0. Let x be -1 + 5/(c/(-4)). Is 1 + -1*-1*x a multiple of 2?
True
Let u(t) = 2*t**2 + 3*t. Let n be u(-5). Suppose 4*z - n = -z. Is 7 a factor of z?
True
Suppose 7*s - s - 552 = 0. Does 9 divide s?
False
Let v = 3 - 3. Suppose 4*z = 4*t + 112, v*t = -5*t - 3*z - 172. Let u = -13 - t. Is 8 a factor of u?
False
Suppose 4*j = 4*o + 8, 3*j - 11 = 4. Suppose -258 = 2*u + u - o*b, -274 = 3*u + 5*b. Is u/(-5) + (-6)/(-15) a multiple of 9?
True
Let f be 2/8 + (-390)/(-8). Let a be ((-15)/(-9) - 2) + (-434)/21. Let t = f + a. Is t a multiple of 14?
True
Let n(u) = u**3 - u**2 - u + 13. Is n(0) a multiple of 5?
False
Let r(c) = c**3 + 17*c**2 - 21*c - 12. Is r(-18) a multiple of 12?
False
Suppose 2*a - 36 = 40. Is 8 a factor of a?
False
Suppose -9 = 3*m, 2*c = 4*m + 20 + 36. Suppose 5*y = 3*y + 5*g + c, 2*y = -5*g + 62. Does 6 divide y?
False
Suppose -20*x + 76 = -19*x. Let u(h) = -16*h. Let y be u(-2). Suppose d = -4*r + y + 44, -4*d - x = -4*r. Is 11 a factor of r?
False
Let m = -2 + 10. Suppose -c = c - m, p = 4*c - 12. Is p a multiple of 3?
False
Let m(d) = d**3 + 5*d**2 - 5*d + 8. Suppose -2*n - 8 = 4. Let f be m(n). Let b = 9 - f. Is 2 a factor of b?
False
Let j = -3 - -3. Suppose 3*v + j*v - 102 = 0. Is v a multiple of 17?
True
Let n be -9 + (0 - -4) - 2. Let j = n + 15. Does 3 divide j?
False
Suppose -2*d + 0*d = -4, 5*s + 2*d = -41. Let n(t) = -2*t - 13. Let a be n(s). Suppose 10 = a*y - 25. Is y a multiple of 3?
False
Suppose u + i - 36 - 105 = 0, 2 = -i. Suppose 47 = 5*y - u. Let d = 65 - y. Is 9 a factor of d?
True
Let d(v) = 9*v**3 + 2*v**2 - 1. Let p be d(-1). Let b = p + -3. Does 13 divide 4/22 + (-350)/b?
False
Let a(x) = x - 1. Let o be a(1). Let d(g) = 14 + 23 + g - 9. Is 14 a factor of d(o)?
True
Let t = 158 - 75. Suppose -3*k + 2*x + t = -46, 0 = 3*k - 5*x - 138. Does 21 divide k?
False
Let f(d) = -13*d - 2. Does 14 divide f(-11)?
False
Let c = -14 - -3. Let f = c + -4. Let x = f - -30. Does 7 divide x?
False
Suppose 92*c = 94*c - 78. Is 18 a factor of c?
False
Suppose 0*u + 3*b - 11 = -u, 4*u - 4*b - 28 = 0. Suppose -9 = -i + u. Does 9 divide i?
False
Suppose -2*b + 4*b = 112. Is b a multiple of 14?
True
Suppose -7 = -2*p - 1. Suppose 3*a = 3*l + 54, 5*a + p*l - 2*l = 60. Does 11 divide a?
False
Let b(t) be the third derivative of -t**7/1260 - t**5/60 - t**2. Let n(k) be the third derivative of b(k). Is 12 a factor of n(-3)?
True
Let n(u) = -8*u**2 - 11*u - 3. Let l(p) = 7*p**2 + 11*p + 2. Let i(k) = -7*l(k) - 6*n(k). Is i(-10) a multiple of 4?
False
Suppose -5*z = -3*z - 34. Suppose b = 2*b + z. Let p = -6 - b. Does 4 divide p?
False
Let d(b) be the third derivative of 7/2*b**3 + 1/24*b**4 + 0 + 0*b + b**2. Is 8 a factor of d(0)?
False
Is (-6)/(-90)*9 + 57/5 a multiple of 12?
True
Let q be (23/(-2))/((-3)/6). Suppose q = 4*f + 7. Is f a multiple of 4?
True
Let r = -16 + 76. Is r a multiple of 17?
False
Let l = 23 - 16. Let t(d) = 5*d**3 + 7*d**2 + 14*d - 14. Let c(f) = -9*f**3 - 15*f**2 - 27*f + 28. Let x(u) = l*t(u) + 4*c(u). Does 14 divide x(-10)?
True
Let g(j) = -j**3 - 4*j**2 - j - 2. Let f be g(-4). Suppose 2*b - 6 - f = 0. Is b a multiple of 3?
False
Let y(t) = t**2 + 5*t + 5. Let p(z) = z**2 - 6*z - 1. Let h be p(5). Is 11 a factor of y(h)?
True
Let a be (-7 - -5)*(-110)/(-4). Suppose -3*m + 3*d = 0, -14 = 5*m - 0*m + 2*d. Is 7 a factor of m/(-8) + a/(-4)?
True
Let c(s) = -s**3 + 9*s**2 - 9*s + 10. Let u be c(8). Suppose -h = -42 + u. Does 9 divide h?
False
Let x(j) be the first derivative of -j**4/4 + j**3/3 - 5*j**2/2 - 4*j - 1. Does 8 divide x(-3)?
False
Suppose -3*d = -2*b - 66, -6*b = 2*d - 2*b - 44. Let l = 15 + d. Suppose -3*r + 1 = m - l, 5*r = -m + 38. Is 19 a factor of m?
True
Let u = 21 - -30. Let s = u + -29. Is 6 a factor of s?
False
Suppose z + 8 = -4*z - 2*s, 4*z + 2*s + 6 = 0. Is (z - 42/(-3))*1 a multiple of 6?
True
Let a = 13 + -3. Suppose -y + 3*l = a, -6 = y - 2*l - 0. Suppose 0 = 2*s + y*s - 88. Is s a multiple of 11?
True
Does 27 divide 121*(7 + -2 + -4)?
False
Suppose -5*g + 4*g + 5*b = 3, -5*b = -3*g + 11. Is 2 a factor of g?
False
Let k(m) = -34*m. Let d(b) = b + 8. Let a be d(-9). Let x be k(a). Let g = -19 + x. Is g a multiple of 15?
True
Suppose 5*y - 28 + 13 = 0. Let b(f) be the third derivative of f**6/120 - f**5/20 + f**4/8 + f**3/6 + f**2. Does 4 divide b(y)?
False
Let s(r) = r**2 - 4*r + 4. Let v be s(3). Does 14 divide 2 - (3/v + -43)?
True
Suppose 0 = -3*f + 8*f - 685. Suppose -g + f = 2*g + 5*i, 5*i - 98 = -2*g. Suppose g = 4*l - l. Is 13 a factor of l?
True
Su