 4*c + 40 = 0, 6 = -b + c - 2. Let a = -10 - b. Is a a multiple of 2?
True
Let p(c) be the first derivative of -c**3/3 + 3*c**2 - 1. Let z be p(3). Is z - (9/3 - 1) a multiple of 5?
False
Suppose -21*q = -17*q - 180. Does 3 divide q?
True
Does 11 divide 12/(-18) + 182/3?
False
Is (62/(-10)*-1 + -1)*25 a multiple of 18?
False
Let h = -69 + 103. Is 5 a factor of h?
False
Let c = 114 - 74. Suppose 0 = 4*o - c - 16. Does 7 divide o?
True
Does 6 divide (38/8)/((-3)/(-12))?
False
Suppose 0 = 4*g + 5*i - 26, -3*i + 14 = -2*g + 4*g. Suppose -g*x - 4*y + 184 = 0, y - 5*y + 139 = 3*x. Is x a multiple of 15?
True
Suppose -3*i + 18 = -0*i. Let k(p) = -p**3 + 3*p + 2. Let y be k(-2). Suppose -i*q + 22 = -y*q. Is 4 a factor of q?
False
Let j(u) be the first derivative of -5*u**2/2 - u + 1. Let w be j(-1). Suppose w - 109 = -5*s. Is s a multiple of 7?
True
Let o be 12/18 + 28/(-6). Let x be (o + -1 + 1)/1. Is (0 - 2)*x - 3 a multiple of 3?
False
Suppose -6*j - 12 = -m - j, -4*m = -3*j - 82. Does 5 divide m?
False
Suppose c - 5 = 0, -3*c + 19 = 2*n - 4*n. Let i(o) = 4*o + 0*o + 5 - 2 + 5*o**2. Is i(n) a multiple of 4?
False
Let o(w) = -2*w - 2. Let b be o(-3). Suppose 19 = b*a - 41. Is 15 a factor of a?
True
Let v = 7 - 5. Suppose -p - 2 = -v*p. Suppose 0 = 4*k + p - 18. Is k even?
True
Let i be (-1)/(-3 - -2) + -1. Let s(o) = -o + 44. Is s(i) a multiple of 17?
False
Suppose 7 = 2*m - v + 2*v, -3*m + 8 = -v. Suppose 22 = m*c + 3*a - 11, 2*c - 4*a = 10. Is c a multiple of 6?
False
Suppose 5*v + 4 = 7*v. Suppose 2*b - g = 35, v*g + 0*g = -2*b + 20. Is 15 a factor of b?
True
Let b be (-3 - 0) + -8 + 14. Does 2 divide ((-18)/12)/(b/(-4))?
True
Let s(h) = 10*h**2 - 10 + h**3 + 5*h + 3 - 6 + 1. Let b be s(-9). Suppose 0 = 2*y + b - 92. Is 18 a factor of y?
False
Let r(i) = i**3 - 7*i**2 - 8*i + 12. Let s be (-1)/(-3) - (-161)/21. Does 6 divide r(s)?
True
Let p(i) be the first derivative of -5*i**2 - i - 3. Does 9 divide p(-1)?
True
Suppose -4*x + 40 + 22 = -3*h, 10 = -5*h. Let z(u) = -u**2 + 4*u + 7. Let f be z(5). Suppose -f*p + x = -p. Is 8 a factor of p?
False
Suppose -5*l = 126 - 566. Does 4 divide l?
True
Let c = 50 - -8. Is c a multiple of 15?
False
Let o(t) = 57*t**2 + t. Is 21 a factor of o(-1)?
False
Let h be 6/12 + (-11)/(-2). Let m(x) = 10*x + 0*x**3 + 5*x**2 - h - 2*x - x**3. Is m(6) a multiple of 6?
True
Let q be (-8)/(-2)*(-135)/36. Let l = 49 + q. Is 17 a factor of l?
True
Suppose -7*k + 170 = -740. Let m = k + -60. Does 35 divide m?
True
Suppose -3*d = -5*o - 197, -4*d = 6*o - 2*o - 220. Let b = -40 + d. Is 5 a factor of b?
False
Let f be -2 + (-6)/2 - 1. Let g = 37 - f. Does 23 divide g?
False
Let g(l) = -l**3 + 3*l**2 + l + 4. Let i be g(3). Let j = i - -4. Is 11 a factor of j?
True
Is 10 a factor of 5/(-5) + 68 - -1?
False
Suppose -2*h = 23 - 95. Does 19 divide h?
False
Let k(z) = 0*z + 3 - 2*z + 0*z + 4. Let f be k(5). Is (-78)/4*8/f a multiple of 14?
False
Suppose -3*y + 121 = -2*x, -y - 9 = -4*x - 46. Does 16 divide y?
False
Let n(y) = y + 11. Is n(-7) a multiple of 4?
True
Let x(z) = 3*z - 3. Let y be x(-4). Let w = 27 + y. Suppose 0 = b + b - w. Is b a multiple of 2?
True
Suppose 4*h + h = 75. Does 15 divide h?
True
Let l = -45 - -110. Suppose 5*n = -0*n + l. Is 13 a factor of n?
True
Let i(d) = -d + 17. Let g be i(10). Suppose -g*k + 9 = p - 2*k, p - k - 15 = 0. Does 14 divide p?
True
Is 2/((-297)/303 + 1) a multiple of 28?
False
Let x = -11 - -26. Let h = 26 - x. Does 7 divide h?
False
Let t(g) = 2*g**3 - 4*g**2 - 9. Let k(q) = -q**3 + 2*q**2 + 4. Let f(u) = -7*k(u) - 3*t(u). Does 17 divide f(4)?
False
Suppose 3*j - 36 = -4*v + 100, -4*j = 2*v - 68. Does 8 divide v?
False
Let r = 8 + -10. Let y(o) = 2*o**3 - o**2 - 2*o + 1. Let k be y(r). Let h = 27 + k. Is h a multiple of 6?
True
Let v = -63 + 164. Let o = v - 59. Let f = o + -10. Is 10 a factor of f?
False
Let p be -2 + (2 + 2)/2. Suppose p = 3*b, q + 4*b - 19 = 9*b. Does 11 divide q?
False
Let o(m) = -m**3 - 4*m**2 + m + 1. Let r be o(-4). Let z(y) be the third derivative of y**6/120 + y**5/12 + y**4/8 - 2*y**3/3 - 2*y**2. Does 3 divide z(r)?
False
Is 70/(-21)*(-84)/10 a multiple of 14?
True
Let n = 242 + -164. Suppose 5*p - 67 = 3*i, -4*i + 5*p - 13 - n = 0. Let c = i - -34. Is c a multiple of 7?
False
Let u = 12 + 2. Is u a multiple of 3?
False
Suppose -3*d + 2*l = -141, -5*d = 2*l - 117 - 102. Is 11 a factor of d?
False
Let g = 4 + -6. Let n be g/5 + 1464/10. Suppose 0 = 5*t - n - 34. Does 12 divide t?
True
Let u(c) be the second derivative of c**4/12 - 5*c**3/6 - 5*c**2/2 + 3*c. Is 9 a factor of u(7)?
True
Suppose 3*g + 3 = 4*h + 7, 2*h = 5*g - 2. Suppose g*l - l = 0. Suppose 0 = 3*w - l - 21. Is w a multiple of 4?
False
Suppose -9*d = -11*d - 2. Does 11 divide (-22)/(-1)*d/(-2)?
True
Let c(g) = -6 + g + 18 + 6. Is 9 a factor of c(0)?
True
Let b(x) = x**2 + 2*x + 3. Let n be b(-2). Suppose -n*q = 30 - 102. Is 12 a factor of q?
True
Suppose 0 = 3*a + 12 - 18. Suppose -5*g - 16 = -a*s, 4*s - 3*g + 13 = 73. Does 9 divide s?
True
Suppose -4*p + 0*p - 12 = 0. Let y be 140/p + (-8)/(-12). Let l = -32 - y. Is l a multiple of 7?
True
Let o(s) be the third derivative of -5*s**4/24 - s**3/6 + s**2. Suppose 5*t - 5*c + 5 = 0, -4*c = -3*t - 0*t - 2. Is o(t) a multiple of 8?
False
Suppose 4*v - 795 = -75. Does 12 divide v?
True
Suppose c = -c + 72. Is c a multiple of 9?
True
Let k be 2/6 + (-1290)/(-18). Suppose -5*x + x - m + k = 0, 4*x = m + 72. Is 10 a factor of x?
False
Suppose -3*u + 139 = -11. Let x = -60 - -35. Let r = u + x. Is 8 a factor of r?
False
Suppose 0 = -2*p - 2*o - 16 - 0, 38 = -5*p - 4*o. Let c = 7 - p. Does 8 divide c?
False
Let t be (-12)/(-30) + (-34)/10. Let j be t - (2 - -10) - 1. Let z = 29 + j. Is z a multiple of 13?
True
Let p(m) = 2*m + 5*m + 0*m + 8 - 3*m. Is p(14) a multiple of 22?
False
Suppose -s - 4*s = 2*w + 30, -4*w - 20 = 0. Let l(r) = -3*r - 6. Let j be l(s). Suppose -f + j - 2 = 0. Is f a multiple of 2?
True
Let j = -71 + 51. Is (-725)/j - 6/(-8) a multiple of 10?
False
Let j = -33 + 45. Is 6 a factor of j?
True
Let s = 25 + 8. Does 12 divide s?
False
Suppose -3*v + 12 = v. Suppose 2*c - 80 = -v*c. Let x = c - 2. Is 5 a factor of x?
False
Let v = 51 - 35. Let z = v - 5. Is z a multiple of 4?
False
Let r be (6/3 - 0)*54. Suppose 2*t - r = -2*n, -t = t + 4. Is 28 a factor of n?
True
Let u(z) = 13*z**2 - 2*z - 2. Is 9 a factor of u(-2)?
True
Suppose c = -g + 4*g + 1080, -3*g + 2178 = 2*c. Let x be c/21 - 4/(-14). Suppose 2*m - 26 = x. Is m a multiple of 15?
False
Suppose -4*c = 3*a - 124, 149 - 30 = 3*a - c. Suppose a = 4*t - 2*m, 4*m = 3*m. Does 5 divide t?
True
Let z be 4/(-6) - 6/(-9). Suppose 2*d - 7 - 7 = z. Is 7 a factor of d?
True
Let n(o) = -o**2 - 13*o - 10. Let r be -6*((-8)/12 - -2). Is n(r) a multiple of 30?
True
Let y(s) = 0 - 1 - 8*s + 8*s + 43*s. Is 15 a factor of y(1)?
False
Suppose -7*w + 2*w + 30 = 0. Is (16/w)/((-8)/(-48)) a multiple of 6?
False
Let o(n) = -3*n - 5. Let q be o(-4). Let r be (-132)/55*20/6. Does 3 divide ((-18)/r)/(q/28)?
True
Let m = 86 - 6. Suppose 4*u - 7 = 5*b + m, 5 = 5*b. Is 8 a factor of u?
False
Let m(l) = 2*l**2 - 3*l. Let s be m(5). Suppose -3*g - 14 = -6*b + 4*b, 5*b - s = -g. Let c(x) = -x**2 + 7*x + 7. Does 3 divide c(b)?
False
Let x(s) = 5*s + 41. Let n(q) = q. Let v(a) = -6*n(a) + x(a). Does 21 divide v(17)?
False
Let c be 3/(-18) + (-38)/(-12). Suppose -c*w = 2*w - 45. Is w a multiple of 6?
False
Let l be (-1 - -13)*(2 - 1). Let v(s) = -s - s - s**3 - 2 - l*s + 12*s**2 - 8. Is v(10) a multiple of 13?
False
Let u be (-90062)/(-182) + (-2)/(-13). Is 18 a factor of (-4)/6*u/(-6)?
False
Let y be 103 - (-4)/(16/(-12)). Suppose 7*u - y = 2*u. Is 9 a factor of u?
False
Suppose -3*n - 9 = -3*g, -g + 5*g - 10 = 2*n. Suppose 18 = m + 3*m + g*y, m - 3 = y. Suppose 3*u - m*q - 103 = -0*u, 5*q = -5*u + 230. Does 11 divide u?
False
Suppose -2*p + 3*v + 21 = 0, 48 = 4*p - 6*v + 2*v. Does 15 divide p?
True
Let w = 14 + 19. Does 16 divide w?
False
Let u = 2 + 0. Suppose 3*h - 7*c = -3*c + 10, u*h + 3*c = 35. Suppose 0*q - 5*q + h = 0. Does 2 divide q?
True
Is 4/2*-2 - -43 a multiple of 13?
True
Let y(h) be the second derivative of -h**5/60 - 3*h**4/8 + h**3/2 - h**2/2 - 2*h. Let d(i) be the first derivative of y(i). Is d(-