e -y*h + 6 = -259. Is 13 a factor of h?
False
Let s(b) be the second derivative of 0 - 2*b + 1/20*b**5 - 4/3*b**3 + 5/12*b**4 + b**2. Does 14 divide s(-6)?
True
Suppose 108 = 5*d - d. Does 7 divide 0 + d - (-6 - -9)?
False
Suppose 0 = -v - 5*y + 27, 3 = -3*v + 5*y + 4. Is v a multiple of 7?
True
Let u(v) = -v**3 - 5*v**2 + 10*v + 1. Is u(-9) a multiple of 48?
False
Suppose -190 = -2*p - 0*p. Suppose 3*t + p = 8*t. Is t a multiple of 19?
True
Let d be (-12)/(-5) - 4/10. Suppose 1 = -d*o + 5. Suppose 0 = u - o - 7. Is 5 a factor of u?
False
Let o be (-36)/(-10) + 3/(-5). Is 3 a factor of 23/o - 2/(-6)?
False
Let d(f) = 2*f**2 + 13*f - 6. Let n be d(-6). Does 9 divide n/18*(-54)/4?
True
Let u = 47 + -18. Suppose 31 + u = 4*i. Is i a multiple of 15?
True
Suppose p = -p + 830. Suppose -2*u - 3*u = -p. Suppose 5*y + 4*v - u = 102, -v + 137 = 4*y. Is y a multiple of 11?
True
Let v(k) = 5*k**2 - 2*k - 1. Let m(w) = w**2 - 5*w + 3. Let u be m(4). Does 5 divide v(u)?
False
Suppose -4*y = -0*y - 60. Suppose -2*h + y = h. Is 5 a factor of h?
True
Let s be (-2)/(-3)*369/6. Let g = s - 9. Is g a multiple of 9?
False
Suppose -b = 2*b. Let t(w) = -12 + b*w - w - 3*w + w. Does 15 divide t(-9)?
True
Let d = 90 - 45. Does 9 divide d?
True
Let q be 0/(-1) - (-3 - -3). Let x = 4 + q. Does 17 divide (6/(-9))/(x/(-294))?
False
Let z(w) be the first derivative of -2*w**2 + 2*w + 5. Does 14 divide z(-5)?
False
Let z = 124 + -87. Does 14 divide z?
False
Let w = -89 + 354. Is 38 a factor of w?
False
Let c(z) = -z**2 + 13*z + 3. Is 3 a factor of c(10)?
True
Is (-8 - -9) + -7*(0 + -1) a multiple of 8?
True
Let o be 22/5 - 6/15. Suppose -3*c = -c - o. Let m(r) = 12*r**2 + 1. Is 18 a factor of m(c)?
False
Suppose -5*b = -4*u + 213, -4*u = -7*u - 2*b + 131. Does 4 divide u?
False
Let i = -10 - 5. Let t = i + 21. Is t even?
True
Suppose 6*x - 13 = 3*x - f, 4*f = x. Is 4/8 - (-38)/x a multiple of 5?
True
Suppose 0 = 3*s - 4*j - 183, -3*j = 3*s - 8*s + 316. Let z = -36 + s. Does 10 divide z?
False
Let o(g) = -g**3 + 7*g**2 - 5*g - 1. Let f be o(6). Let w = f + -1. Suppose s + 4 = 5*j - 2, 33 = w*s - j. Is s a multiple of 5?
False
Let i = 5 + 10. Let u = 25 - i. Is u a multiple of 5?
True
Does 14 divide 2176/40 + 2/(-5)?
False
Suppose 3*i - 3*c - 162 = 0, -4*i - 3*c = -0*i - 216. Does 11 divide i?
False
Let f(s) = -69*s + 24. Is f(-4) a multiple of 10?
True
Let t = 22 + 0. Suppose 3*j + 42 = -5*u, 6*u = 3*u - j - t. Is 0 + 2*(-39)/u a multiple of 13?
True
Suppose 3*y + 7 = -11. Is ((-8)/10)/(y/135) a multiple of 6?
True
Let n(p) = -p**3 - 4*p**2 + 3*p - 5. Let q be n(-5). Suppose -3*j + 2 = -q*j. Is j + (-1 - (-26 + 2)) a multiple of 8?
False
Let f = -4 + 1. Is (-7 - f)*11/(-2) a multiple of 22?
True
Suppose -5*d + 4*a - 11 = 0, -d = 4*a - 7*a. Let q = 26 - 18. Does 13 divide (30/q)/(d/(-12))?
False
Suppose -11 = 2*y - 3, 2*c - 2*y - 98 = 0. Is 22 a factor of c?
False
Suppose -3*v + 2*v + 32 = 0. Does 8 divide v?
True
Let c = -16 - -36. Does 3 divide c?
False
Let u = 30 + -9. Does 2 divide u?
False
Let x be (1 - 0/3)*3. Let k be (-6)/(-4)*56/x. Suppose -g = -3*g + k. Does 7 divide g?
True
Suppose -22 = -t - 0*t. Does 22 divide t?
True
Let s(j) = 17*j**3 + j**2 + j - 2. Is 4 a factor of s(1)?
False
Let w(l) = -l**3 + 6*l**2 - 1. Let t be w(5). Suppose -64 = -4*b - t. Does 3 divide b?
False
Suppose 5*l + 213 - 718 = 0. Suppose 2*b + l = 27. Let v = b + 64. Is 9 a factor of v?
True
Suppose 2*d + g = -3*d + 1480, d + g - 300 = 0. Is 59 a factor of d?
True
Let w(b) = b**2 + b + 2. Does 8 divide w(5)?
True
Let d(w) = -20*w**2 + 17*w + 8. Let r(m) = 5*m**2 - 4*m - 2. Let o(b) = 2*d(b) + 9*r(b). Let h = -4 - -6. Does 5 divide o(h)?
False
Suppose -4*m + 42 = -2*u + 12, 4*m = u + 33. Suppose -m*z + 4*z = -335. Is 29 a factor of z?
False
Suppose 2*w - 692 = f - 2*f, -w + 5*f = -324. Suppose 5*j - w = 1. Suppose 0 = -5*c + j + 181. Is 14 a factor of c?
False
Let w = 49 + -32. Is w a multiple of 9?
False
Let h(a) = -a**3 + 3*a**2 + 3*a - 2. Let w be 0/(-2) + (3 - 6). Does 13 divide h(w)?
False
Suppose 3*t = -t + 8. Is 3 a factor of -2 - (2 - (5 + t))?
True
Suppose -l = l + 6. Let x = 23 + l. Does 20 divide x?
True
Suppose -3*s + 84 = -3*p, -3*s = -2*s. Let i = p - -41. Is 7 a factor of i?
False
Suppose -2*s + 3 = -s. Is 12/s - -19 - 3 a multiple of 4?
True
Suppose 2*t - 3*m - 194 = 0, t - 186 = -t + m. Does 26 divide t?
False
Let g(m) = -5*m. Let j be g(-4). Suppose 3*z - j = 7. Is z a multiple of 4?
False
Let j = -7 + 7. Suppose j = -4*s - 384. Does 8 divide s/(-6) - (0 - 2)?
False
Suppose -2*g - 27 = g. Let x = g + 27. Is -6*(x/(-4) + 1) a multiple of 14?
False
Let f(l) = 98*l - 30. Does 24 divide f(2)?
False
Let a(w) = 25*w - 8. Let m(c) = -c + 1. Let i(b) = a(b) + 6*m(b). Does 12 divide i(2)?
True
Let y(j) = 5*j - 1. Is y(1) a multiple of 4?
True
Let m = -37 - -63. Is m a multiple of 5?
False
Suppose 4*x = 9*x + 15. Is 16 a factor of x*20/(0 + -2)?
False
Is 12 a factor of (2/(-4))/((-11)/1826)?
False
Let l be (2 - -4) + -2 - 2. Suppose 16 + 4 = l*p. Is 10 a factor of p?
True
Let h = -148 + 152. Is h a multiple of 4?
True
Let j be 15/9 + (-2)/(-6). Let z = j + 6. Is z a multiple of 8?
True
Let y(j) = -4*j**3 + j**2 + 51 - j + 10*j**3 - 5*j**3. Does 19 divide y(0)?
False
Let y(t) be the second derivative of -5*t**4/24 + t**3/6 - t**2 + 2*t. Let r(z) be the first derivative of y(z). Does 11 divide r(-2)?
True
Let a(w) = 3*w**3 + 5*w**2 + 2*w + 1. Let s(p) = -p**3 - p**2 + p - 1. Let i(k) = a(k) + 4*s(k). Let t be i(4). Let l = 43 + t. Is l a multiple of 16?
True
Suppose -5*s - 5*z + z + 540 = 0, 0 = -5*z. Does 9 divide s?
True
Let r be (-84)/10*10/(-4). Is 132/r + 2/(-7) a multiple of 4?
False
Suppose -3*g + 80 + 116 = -5*q, -5*g = -5*q - 320. Does 31 divide g?
True
Let c be (-82)/4*(4 + -6). Suppose 2*s + c = 5*j - 11, -3*s = -2*j + 23. Suppose 3*m - 4*m = -b + j, 0 = -3*b - 3*m + 42. Does 6 divide b?
True
Let u be ((-10)/(-25))/((-2)/10). Is 8 a factor of (-1)/((0 + u)/34)?
False
Suppose -4*f + f - 15 = 0. Let q(a) = a**3 + 5*a**2 + 2. Let p be q(f). Is 4 a factor of (11 - 2/p) + -2?
True
Let u(t) be the second derivative of t**5/20 - t**4/6 - t**3/3 - t**2 + 4*t. Suppose -5*r + 18 = 2*i, 4*i + 0*r - 22 = -3*r. Is u(i) a multiple of 11?
True
Suppose -3*y - 3*m + 72 = 0, 6*m = -5*y + 2*m + 120. Suppose -4 = 5*p - y. Suppose 4*c - 37 = c + p*u, u = 4*c - 58. Does 15 divide c?
True
Let g(o) = -o + 8. Let v be g(-4). Suppose 5*w - v = 13. Does 4 divide w?
False
Let v be 1/(2 - 22/12). Let f = v + -3. Does 12 divide (-2)/(-5)*f*25?
False
Let j be ((-515)/(-20))/((-2)/(-8)). Suppose -2*a + j = a + 2*o, 2*o = -2*a + 72. Does 27 divide a?
False
Suppose 25 = -i - 5. Let n = -22 - i. Is 8 a factor of n?
True
Suppose 0 = 3*v + 12, -2*z + 94 = -z - 5*v. Is 27 a factor of z?
False
Suppose 0 = -3*u + 6 + 3. Is 3 a factor of u?
True
Let g(a) = a**2 - a + 6. Let s be g(-8). Suppose s = p + p. Is p a multiple of 12?
False
Let k(x) = -x**3 - 3*x**2 - 2*x. Let j be k(-2). Suppose -3*b - 3*h + 4*h + 16 = j, -5*h = -b + 24. Does 4 divide b?
True
Let i = 1 + 30. Does 6 divide i?
False
Is 13 a factor of ((-81)/(-18))/(-2 + 454/224)?
False
Suppose -u - a = -4, 4 + 2 = 4*u - a. Suppose -23 = -u*w + 19. Does 18 divide w?
False
Let p(n) = -n**2 - 4*n + 2. Let r be p(-4). Suppose -6*u = -r*u - 168. Does 19 divide u?
False
Suppose 2*s + t - 11 = 0, t + 21 + 3 = 5*s. Suppose -19 - 3 = -4*o - 3*i, -s*i = -o + 17. Is 2 a factor of o?
False
Suppose -p + 2*p = 174. Is 24 a factor of p?
False
Suppose -17 - 23 = -5*y. Suppose p + y = 3*p. Does 4 divide p?
True
Suppose 139 = 3*b - 269. Does 37 divide b?
False
Suppose -l + 0*k - k + 10 = 0, 2*l = -k + 20. Let j = -7 + l. Suppose 3*m = -j + 12. Does 2 divide m?
False
Suppose -j = -3*c + 88, -3*c - 3*j + 98 = j. Does 15 divide c?
True
Let q(w) = w + 9. Let p be q(-6). Does 8 divide p/6 - (-78)/4?
False
Let o(q) = q. Does 3 divide o(11)?
False
Let s be 0/((5 + -1)/4). Let d(t) = -t**2 - t + 15. Is 3 a factor of d(s)?
True
Suppose 3*h = 3*j + 78, -h + 4*j = 8*j - 26. Suppose -2*f + 3*s + h = 0, f + 5*s = -0*f - 13. Does 4 divide f?
False
Let p be 299/(-7) + 16/(-56). Let t = p + 74. Does 23 divide t?
False
Let d = -13 - -55. Is d a multiple of 6?
True
Suppose 4*r = 92 - 0. D