e c?
True
Let s(h) = -h**2 + 8*h - 1. Does 15 divide s(4)?
True
Let k = 9 - -47. Is k a multiple of 19?
False
Suppose o + 36 = 5*o. Let b = o - 4. Suppose b*h = 73 + 2. Is 15 a factor of h?
True
Let b be 1 + 3 - 2/1. Suppose b*h = 8 + 4. Does 6 divide 134/h - (-4)/6?
False
Let d = -9 - -34. Suppose d = 3*j - 41. Suppose 3*l + 7 - j = 0, -17 = -4*b + 3*l. Is 5 a factor of b?
False
Let j = -55 + 82. Let m = -13 + j. Is m a multiple of 6?
False
Let l = 1 - 1. Suppose -2*c + l*c = -80. Does 20 divide c?
True
Suppose -6*i - 80 = -422. Does 19 divide i?
True
Suppose -2*x + 21 = 5*m, -28 = -0*m - 4*m + 4*x. Let i(c) = c**3 - 4*c**2 + 4*c - 7. Is i(m) a multiple of 19?
True
Suppose 0 = -5*x - 0 - 5. Is 12 a factor of (-300)/(-18) + x/(-3)?
False
Suppose 4*b - 7 - 13 = 0. Let u = b - -31. Suppose k + 2 = -5*g, -2*k - g = k - u. Does 6 divide k?
False
Let v be (-5 - -2)*2/2. Is (-1 + v + 3)*-9 a multiple of 9?
True
Suppose -2*k - k = 0. Suppose 3 - 8 = 5*u, -3*q - 2*u + 16 = k. Suppose -3*d = -q - 9. Is 5 a factor of d?
True
Let o(b) = b**3 + 4*b**2 + b - 4. Let t be o(-3). Suppose t*c = c + 14. Is 7 a factor of c?
True
Let b(w) = w**2 - w + 4. Let q be b(0). Suppose q*l + t - 21 = 2*t, -4*l = -5*t - 41. Suppose -31 = -2*u + 2*i + 5, 4*u + l*i - 56 = 0. Is u a multiple of 8?
True
Suppose -2*y = y - 3. Suppose o = y + 2. Is 12 a factor of -1 + o/(9/96)?
False
Let c(r) = 34*r + 2. Let f(p) = p + 5. Let y be f(-4). Is 18 a factor of c(y)?
True
Let o be 6/(2/4 - -1). Let z(h) = h**2 - 4*h + 2. Let w be z(o). Suppose -w*b = v - 51, b - 4 = 2*v + 14. Is b a multiple of 12?
True
Suppose 2*d + 3*u + 4 + 26 = 0, -4*u = -2*d - 30. Let l = 31 + d. Is 4 a factor of (3 + -1)*l/4?
True
Suppose 0 = -6*l + 12*l - 1080. Is 20 a factor of l?
True
Suppose z + 2*k - 7 = 0, 0 = 4*z - 0*z - 2*k - 68. Let p be 66/z + 2/(-5). Suppose 0*x - 28 = -p*x. Is 7 a factor of x?
True
Let i(p) be the third derivative of -p**4/24 - 2*p**2. Let h be i(0). Suppose -5*q + 45 = -h*q. Is 8 a factor of q?
False
Let a(x) = -x + 9. Suppose -5*w + 6 = -29. Let j be a(w). Suppose -2*f = 2*r - 6, 2*r + f - 10 + j = 0. Is 3 a factor of r?
False
Let o be -6 - (-2)/((-6)/9). Let x = o - -13. Is x a multiple of 2?
True
Let t(x) = 14*x**3. Does 14 divide t(1)?
True
Suppose -5*w + 5*r + 35 = 0, 5*r - 41 + 13 = -4*w. Suppose -3*k + 12 = 2*z - w*k, 36 = 4*z - 4*k. Is z a multiple of 12?
True
Is ((-184)/10 - 2)/(24/(-160)) a multiple of 34?
True
Let a(s) = 3*s. Let k(j) = 5*j. Let t(c) = -8*a(c) + 5*k(c). Let q be t(-1). Is ((-56)/(-12))/(q/(-6)) a multiple of 11?
False
Let s = 129 + -65. Does 16 divide s?
True
Let r(p) = -4 - 1 - 1 - 8*p + 1. Is 27 a factor of r(-5)?
False
Suppose 1 = 5*c - 14. Suppose -c*x - 60 = -8*x. Is 7 a factor of 200/x + (-1)/(-3)?
False
Let r be (-2)/(-7) + (-8672)/(-28). Suppose 2*f - i - 98 = 0, 5*i - 70 = 5*f - r. Does 25 divide f?
True
Suppose -5*q - 2*v - 1561 = -v, v = 3*q + 943. Let b be (-2)/7 + q/7. Let d = b - -92. Is 16 a factor of d?
False
Let d(b) = -24*b - 5. Is 24 a factor of d(-5)?
False
Let n(c) = 56*c**2 - 2*c. Is 29 a factor of n(-1)?
True
Let z(q) = -q**2 - 9*q - 9. Let n be z(-7). Suppose 0 = -r - 4*d - 9, -r + d + 7 = -3*d. Let s = r + n. Does 4 divide s?
True
Let s = -15 - -71. Does 17 divide s?
False
Let v = -13 + 10. Let h be (v - 0)/((-9)/6). Suppose 0 = h*t - 7*t + 305. Does 25 divide t?
False
Is 14 a factor of -1 + 2 + (-276)/(-4)?
True
Let m(p) = 2*p + 2 - 2*p + p. Let u = -18 + 24. Is 8 a factor of m(u)?
True
Let y(s) = s**3 - 4*s**2. Let p be y(4). Suppose 5*v - 4*g + 18 = -p*v, 3*g + 33 = -4*v. Let d = v - -11. Is d a multiple of 2?
False
Let j = 110 - 45. Does 13 divide j?
True
Suppose -5*o - 2*c + 11 = -5*c, -5*o - 3*c = 1. Let j(a) = 7 + o + a**2 + 2*a - 4 - 4*a. Is j(6) a multiple of 23?
False
Let q = 178 - 82. Is q a multiple of 16?
True
Let t be 3/(2 - 291/150). Suppose 3*v - t = -2*v. Suppose -2*u - j + 46 = v, j = u - 12. Does 8 divide u?
True
Suppose -3*z + 44 + 52 = 0. Let i = -28 - -32. Suppose 107 - 17 = 3*t + i*a, -t - 2*a = -z. Is 13 a factor of t?
True
Let k(q) = 8 + 2*q**2 + 4 + q**2 - q**2 + 16*q. Is k(-11) a multiple of 22?
False
Let t(f) be the second derivative of -f**5/20 - f**4/6 + f**3/3 + 3*f**2/2 + f. Let g be t(-4). Suppose -g = -2*v + 13. Does 14 divide v?
False
Is (52 - 0/(-3)) + -4 a multiple of 11?
False
Suppose 5*m - 12 = 18. Suppose 2*n = -n - m. Does 14 divide (-1)/n*14*7?
False
Let r(p) = -p + 4. Let g be r(3). Let q(w) = -1 + 0 + g + 3*w. Is 7 a factor of q(7)?
True
Let g(x) be the second derivative of x**4/12 + x**3/6 - x**2 - 5*x. Is 28 a factor of g(-6)?
True
Let o(m) = 10*m**2. Does 10 divide o(1)?
True
Let t(c) = 12*c + 1. Is t(1) a multiple of 3?
False
Let g be ((-95)/2)/(-5)*-2. Let h be 4/14 + g/(-7). Suppose 0 = h*o - 0*o - 15. Is o even?
False
Let w(a) = -a**2 + 0*a - 4*a - 3 + 2*a. Let l be w(-2). Does 13 divide (22/l)/(4/(-12))?
False
Let j(y) = -y**2 + 7*y + 2. Let h be j(7). Let g = -3 + h. Does 13 divide -1 - (g + -42) - 3?
True
Suppose -3*m + 84 = -0*r + 3*r, r - 4*m - 53 = 0. Is 15 a factor of r?
False
Suppose -d - 5*b = -16, 0*d + b - 2 = d. Let w be 1*(-3 - (d - 1)). Does 18 divide (-1 - w)*(-41)/(-2)?
False
Let t(i) = 39*i**2 - 1. Does 19 divide t(-1)?
True
Is (-8)/4 - (-11 + -1) a multiple of 9?
False
Suppose -4*i = -1 + 29. Let p(h) = -h**2 - 10*h - 10. Does 6 divide p(i)?
False
Suppose -4*l + 9 + 3 = 0. Suppose 4*r - 12 = -0*r - z, 0 = -4*z + 16. Suppose 0 = -r*j + l*j - 5. Does 4 divide j?
False
Suppose -24 = -5*m - 4. Suppose -c - m*c = -105. Suppose -2*t - c = -95. Does 10 divide t?
False
Let y(m) = -m**3 - 7*m**2 + 5*m - 1. Suppose 4*w - 8 - 24 = 0. Suppose -2*r - w = 8. Does 6 divide y(r)?
False
Suppose p = 3*u + 6, -16 = -4*p - 4*u + 8*u. Suppose -p*o + 0*o = -63. Is 10 a factor of o?
False
Suppose 4 = -3*l + 2*v, -5*l + 4*v - 2 - 8 = 0. Let z(b) = 3*b**2 + 2*b - 2. Let w be z(l). Suppose -2*d + 20 = -w. Is 6 a factor of d?
False
Let n(j) = 2*j - 1. Let f be (18/12)/((-2)/(-4)). Is n(f) even?
False
Let s = -2 + 21. Let q = -12 + s. Does 7 divide q?
True
Suppose 0*l - l + 136 = 0. Is 13 a factor of (2/(-4))/((-2)/l)?
False
Let p(c) = 30*c. Let r be p(6). Suppose -4*m + 4*q = -0*q - r, -2*q = 10. Suppose 4*s - m = -s. Is s a multiple of 4?
True
Suppose 0 = 2*w - 0*w, -12 = -4*a - 4*w. Suppose -10 = -a*v + 8*v. Does 5 divide ((-1)/(-2))/(v/(-20))?
True
Suppose 0*z + 3*z = 24. Let y = -4 + z. Suppose -2*x - j + 84 = j, 4*j + 144 = y*x. Does 17 divide x?
False
Suppose -2*h - 2*d + 98 + 50 = 0, 5*d = 20. Does 26 divide h?
False
Let k(m) be the second derivative of m**5/4 - m**4/6 + m**3/3 - m**2/2 - m. Let x be k(1). Suppose 2*g + 26 = x*g. Does 5 divide g?
False
Let w(r) = -3*r. Let a be w(-2). Let v(z) = z**2 - 7*z + 9. Does 2 divide v(a)?
False
Let k(j) = 4*j**2. Let v(l) = l + 7. Let x be v(-6). Is 4 a factor of k(x)?
True
Suppose o + 6 = -4*n, -3*o - 5*n = -4*n - 15. Let t(w) = -w**3 + 4*w**2 - 2*w + 4. Let p be t(4). Is o/1 - (-4 - p) a multiple of 5?
False
Suppose 0 = 11*w - 15*w + 96. Is w a multiple of 4?
True
Let h(l) = -l**2 - l + 80. Is 18 a factor of h(0)?
False
Let l(x) = x**3 - 6*x**2 - x + 3. Let j be l(6). Let p be 0 + 0 + 3 - j. Let z = p - -10. Is z a multiple of 16?
True
Let w(b) = -b**3 + b**2 + b + 10. Let x be ((-1 - -1)/(-4))/1. Does 5 divide w(x)?
True
Is 5 a factor of 0 - (-32)/24*(-15)/(-2)?
True
Let v(x) = x**3 - 3*x**2 - 11*x - 1. Let f(b) = b**3 - 2*b**2 - 6*b - 1. Let u(o) = 7*f(o) - 4*v(o). Does 6 divide u(2)?
False
Suppose -r + 4*r - 6 = 0. Suppose -r*k = -5*g - k + 162, -k = 2. Is 16 a factor of g?
True
Suppose 5*k + 0*f - 2*f - 15 = 0, -35 = -2*k - 5*f. Suppose 3*v - 26 = -2*m, 2*m = k*v - 48 - 22. Does 12 divide v?
True
Let o(d) = 2*d + 1. Let x be o(-1). Let y be -2 + (0 - x)*61. Let g = y + -27. Is g a multiple of 9?
False
Suppose 0 = 3*t + t - 120. Is t a multiple of 10?
True
Let c(z) = z**3 + 7*z**2 - z. Is c(-5) a multiple of 23?
False
Suppose 2*a - 3*a = -3. Suppose 3*v - 13 = -4*l, 3*v = 7*l - a*l + 5. Is v a multiple of 2?
False
Suppose -k + 5*k = 28. Is k a multiple of 7?
True
Suppose -6*q + 4*q = -16. Does 8 divide q?
True
Let a(y) = -7*y - 17. Let b(g) = -3*g - 9. Let s(q) = 2*a(q) - 5*b(q). Does 6 divide s(-5)?
True
Let l = 7 - 4. Let x(r) =