n). Let d be b(1). Is s(d) even?
True
Suppose -5 + 1 = 4*p. Let s be 0 - 20/2 - p. Let f = s - -23. Is 14 a factor of f?
True
Suppose 0*v + 2*v = -6. Let g(k) = 4*k**2 - 4*k - 3. Let y be g(v). Suppose r = -5*h + y, 3*h - 69 = -r - r. Is r a multiple of 18?
False
Suppose 36*f - 39*f + 48 = 0. Does 4 divide f?
True
Let m = 501 + -321. Is 30 a factor of m?
True
Suppose a = 3*c + 6, 4*c + 6 = -2. Suppose -4*m - m + 15 = a. Suppose -m*y + 28 = -y. Is 10 a factor of y?
False
Let i(h) = -h**3 + 4*h**2 - h - 4. Let q be i(3). Suppose -q*u = -43 - 33. Suppose 3*y - 4*r = 5*y - u, 2*r - 45 = -3*y. Is y a multiple of 13?
True
Suppose -t + 32 + 36 = 0. Is t a multiple of 14?
False
Let c(y) = y**2 + 2*y + 7. Let g(p) = -3*p**2 - 5*p - 20. Let x(t) = -17*c(t) - 6*g(t). Is 3 a factor of x(6)?
False
Suppose -5*f - 3*t = -145, -4*f + t + 0*t = -116. Is f a multiple of 20?
False
Suppose q + 2*q = 18. Is 7 a factor of (-84)/9*q/(-4)?
True
Does 24 divide ((-36)/(-15))/(1/30)?
True
Let r be 234 - (-6)/(2 + 0). Suppose 5*s = 63 + r. Suppose 3*w - s = -w. Is 5 a factor of w?
True
Suppose -4*o = 3*h - 20, 5*h = 2*o + 22 - 6. Suppose -8*p + 3*p - h*w = 106, 3*p + 74 = -5*w. Let x = p + 35. Does 6 divide x?
False
Let c(a) be the first derivative of -2*a**2 + a + 1. Let v be ((-2)/(-5))/((-2)/10). Does 9 divide c(v)?
True
Let a be (-17)/4 + (-1)/(-4). Let j = 0 - a. Suppose z = -j*x + 10, 0*x = 3*z - x - 95. Is z a multiple of 14?
False
Suppose -q + 22 + 62 = -4*v, 3*q + 3*v - 177 = 0. Is 7 a factor of q?
False
Let d(a) = 2*a**2 + 3 - 4 + 2*a + 0*a. Let x be d(-2). Is 3/2*26/x a multiple of 13?
True
Let i be 1 - ((-2 - 1) + -196). Let z = i - 140. Is z a multiple of 20?
True
Let d be 20/8*16/(-20). Does 15 divide 0 - 2 - (d - 60)?
True
Let d(o) = -o**2 + 15*o + 9. Is d(7) a multiple of 13?
True
Suppose 2*y + 9 = 5*y. Let d(o) = 0*o**y + 4 - o**3 + 1 + o**2. Is d(0) a multiple of 2?
False
Suppose 0*j + 55 = 5*j. Does 2 divide j?
False
Let h = 109 + -71. Does 38 divide h?
True
Let c(m) = -m**3 - 4*m**2 - 3*m - 15. Is 5 a factor of c(-5)?
True
Let m be 34/9 - (-18)/81. Suppose s - 27 = -3*j + m*j, 2*s + j - 66 = 0. Is s a multiple of 9?
False
Let l(w) = w**2 + w - 5. Does 11 divide l(7)?
False
Let b(f) = f - 11*f**3 - 11*f**3 - f**2 + 0 + 1. Let p = 3 - 4. Is 9 a factor of b(p)?
False
Suppose -5*l + 3*l = -10. Suppose 5*n + 3*i - 10 = 0, 0*i - 8 = -4*n - l*i. Suppose 0*x = n*x - 22. Is 6 a factor of x?
False
Let x(q) = -3*q**3 - 2*q**2 + q. Let c be x(1). Let z(i) = -i**2 + 2*i + 1. Let h be z(c). Let s = -12 - h. Is 9 a factor of s?
False
Let j(c) = 2 - 1 - 6*c + 0*c**2 + c**2. Let h be j(5). Is 18 a factor of ((-53)/h - 3)*4?
False
Let t = 52 - 38. Is 3 a factor of t?
False
Suppose -49 = -5*h - 2*a + a, -3*h - a + 29 = 0. Suppose 3*p + h - 40 = 0. Is 5 a factor of p?
True
Suppose 2*p - 6*p + 21 = 3*m, -4*m = -12. Let h = p - -28. Does 4 divide (-1)/(-4) + h/4?
True
Does 2 divide 3/(-9) + 2*(-93)/(-18)?
True
Suppose 2*u - 10 = -5*v - 3*u, 0 = -3*v + 5*u + 14. Suppose 95 = v*g - 19. Suppose w - 5*a - 27 = 0, 3*w - g - 9 = -2*a. Does 11 divide w?
False
Let k = -104 - -224. Is k a multiple of 8?
True
Let y(f) = -3*f + 3. Let u be y(2). Let o be 3*(-1)/(3/u). Suppose -o*b + 4 = -11. Is 2 a factor of b?
False
Suppose 2*w + 3 = -7, -15 = -u + 2*w. Is u even?
False
Does 10 divide (-7)/(28/8) - -42?
True
Let o be (-2)/(-6)*(-1 + 19). Suppose o*p - 244 = 2*p. Suppose -4*k - 5*w + p = -2, -4*k + 45 = -w. Does 12 divide k?
True
Suppose 3*t + 2 - 20 = 0. Is 8 a factor of 189/t - (-6)/(-4)?
False
Suppose -35 = -5*q + 5*l, 3*l + 11 = -0*q + q. Suppose q*j + 52 + 6 = 3*r, 2*r + 2*j = 60. Is 26 a factor of r?
True
Suppose -k = -0*k - 58. Let d = 126 - k. Is d a multiple of 18?
False
Let p(x) = -x**2 + 5*x + 8. Let s(t) = -t - 1. Let k be s(-7). Is p(k) even?
True
Let s = 10 + 68. Is 26 a factor of s?
True
Suppose 0 = -h + 5*x + 14, x - 8 = -4*h - 3*x. Let g(w) be the second derivative of w**4/12 + w**3/6 + w. Is 20 a factor of g(h)?
True
Let l = -46 + -34. Let f = -44 - l. Does 18 divide f?
True
Let b = 40 + 5. Is b a multiple of 9?
True
Suppose -20 = -0*d - 5*d. Let w be 1754/10 + 6/(-15). Suppose 2*s = -5*c + 160, -5*c - 3*s + w = -d*s. Is c a multiple of 12?
False
Let g(a) = -a - 8. Let k be g(-9). Suppose -3*y - 2*h + 1 = -k, -y - 1 = -h. Suppose y = 4*t - 41 - 27. Is 12 a factor of t?
False
Suppose a + 2 = 2*a. Suppose -a*w - 5 = 3. Let f(j) = 3*j**2 + 7*j + 5. Does 16 divide f(w)?
False
Let p(w) = -w**3 + 9*w**2 + 5*w + 7. Let b be p(9). Suppose 4*x = 2*j - 56, 3*j - j - 3*x - b = 0. Is j a multiple of 15?
False
Let w(z) = -z**3 - 5*z**2 - 5. Let x be w(-5). Let k be (-10)/(-25) + (-8)/x. Suppose -k*g = -5 - 1. Is 3 a factor of g?
True
Let m(k) = 21*k - 6. Let j be m(2). Let s(w) = -w**3 - 3*w**2 - w + 2. Let p be s(-2). Suppose p = u + 2*u - j. Is 4 a factor of u?
True
Suppose -4*s = 3*t - 2 - 18, 2*t - 2*s = 4. Let x(u) = 2*u - 2. Let n be x(t). Let y = 20 - n. Is 7 a factor of y?
True
Suppose -v = o + 2*v + 1, -o = 4*v + 3. Suppose -o*x - 9 + 39 = 0. Is x a multiple of 3?
True
Let g(j) = -j**3 + 5*j**2. Let r(v) = v**3 - v**2 - 3*v - 4. Let l be r(3). Let h be g(l). Suppose -s - 3*s + 20 = h, -5*s - 15 = -2*m. Is 11 a factor of m?
False
Let u(i) = -i**3 - 7*i**2 - 6*i + 2. Let l be u(-6). Let o be 15 - (l + -2 + 0). Let p = -9 + o. Does 5 divide p?
False
Let w(u) = -3*u**3 - u - 1. Let l be w(-1). Suppose 0*v + 6 = l*v. Suppose 0*h = -h + v. Is 2 a factor of h?
True
Suppose -8*f + f = -1470. Is f a multiple of 35?
True
Suppose 0 = 2*w + 10 + 8. Let f = -3 - w. Let k = f - -10. Is 8 a factor of k?
True
Suppose 0 = g + 3*g. Is (22 - g)/((-2)/(-2)) a multiple of 6?
False
Let r(y) = y**3 + 11*y**2 - 16 + 18*y - 6*y**3 + 4*y**3. Let z be r(12). Suppose 2*l = z - 8. Does 8 divide l?
True
Let r be 4/6*-2*-6. Let v(u) = -11*u + 1. Let j be v(r). Is 7 a factor of j/(-12) - (-2)/(-8)?
True
Suppose 26 + 38 = 4*b. Is 16 a factor of b?
True
Let z = 326 - 102. Is z a multiple of 18?
False
Let w be (2 - 0) + 3 + -3. Suppose -g = -w*g. Suppose 3*r + 5*o - 110 = 0, -3*o + 2 + 10 = g. Is 15 a factor of r?
True
Let m be ((-568)/(-12))/(2/3). Let p = m + -48. Suppose 0 = -3*b + 5*a + 53, -3*a + p = 4*b - 38. Is b a multiple of 8?
True
Let p(a) = -a + 6. Let t be p(5). Let m(z) = 36*z**2 - z + 1. Let s be m(t). Let j = s - 8. Is 14 a factor of j?
True
Suppose -o + 4 + 4 = 0. Suppose 3*w - o = -w. Does 9 divide (w*11 - 0)/1?
False
Suppose u = o + 4, -4*u + 4*o - o + 20 = 0. Let i be (3/(-6))/((-2)/u). Suppose -i*t = -5 - 13. Is t a multiple of 9?
True
Suppose 59 = 2*b - 2*z + 11, 0 = -5*z + 20. Does 7 divide b?
True
Let w be (-14)/35 + 27/5. Suppose 2*j = w*j - 69. Does 18 divide j?
False
Suppose -l + 3*x + 4 = 0, -x + 23 - 3 = 5*l. Suppose l*z - 10 = 10. Suppose z*j + 79 - 21 = 2*b, -5*b + 160 = -5*j. Does 12 divide b?
False
Let v = 48 - -4. Is v a multiple of 13?
True
Is (-1836)/(-20) - -3 - (-2)/10 a multiple of 23?
False
Suppose -5*q + 8 + 17 = 0. Let z(b) = -b**2 + 8*b - 6. Is z(q) a multiple of 5?
False
Suppose -y - 29 = 29. Let d be (-8)/(-3)*(-69)/(-2). Let c = y + d. Does 20 divide c?
False
Does 2 divide (3 - (2 + -6)) + 0?
False
Suppose -72 = -15*v + 11*v. Suppose 18 = 3*g - v. Does 4 divide g?
True
Suppose 5*y = 4*f + 1, -f - 4*y + 16 = -10. Let x(t) = -t**3 + 2 - f*t**2 - 8 + 2*t**3 + 7*t. Is x(5) a multiple of 3?
False
Suppose 2*j - 15 = -3*j. Suppose 0*u + 62 = 2*y + 4*u, j*u + 194 = 5*y. Does 14 divide y?
False
Let h be 6/(-2)*(-42)/9. Suppose 0 = 2*g - h - 12. Does 13 divide g?
True
Suppose 3*z = 3, -3*j - 5*z = -2*z - 12. Suppose 5*i = 25, -2*i - 41 = -4*p - j. Does 12 divide p?
True
Suppose -n = -3*n + 16. Suppose 3*q = -1 - n. Does 14 divide (14/5)/(q/(-30))?
True
Let g(z) = 4*z - 4. Suppose f - 1 = 3*w, 3*w - 10 = -3*f + 17. Does 6 divide g(f)?
True
Let h = 8 - 4. Suppose -h = -4*d - 5*z, -12 = -4*d - z + 8. Is 5 a factor of d?
False
Let l(w) = 3*w + 4. Is 7 a factor of l(1)?
True
Let v(t) = 150*t**2 + t. Is v(1) a multiple of 35?
False
Let c(i) = i**3 + 4*i**2 - 2*i + 7. Let b be c(-5). Let x be 1/(2*(-2)/376). Does 6 divide x/b + 1/4?
True
Let q(m) = 4*m**3 + m**2 - m + 2. Let f be q(-2). Let c = f + 42. Is c a multiple of 12?
False
Suppose 0 = -3*k + k + 4. Suppose -40 + 