b. Is y even?
True
Let q = 141 - 81. Is q a multiple of 15?
True
Suppose 0 = -0*x - 4*x. Let h be 2 + 0/(x - -2). Suppose 13 = h*f + 1. Is f a multiple of 3?
True
Let j(m) be the second derivative of m**4/6 + 2*m**3/3 - 3*m**2 - 2*m. Is 10 a factor of j(-5)?
False
Suppose -2*r = 4*y - r - 45, -5*y = 2*r - 54. Is 3 a factor of y?
True
Let f(a) = 2*a**2 + a + 2. Suppose -5*m = q - 16, 5*q = 3*m - 0*m + 24. Let u be f(q). Suppose 3*y = 2*s - 49, -5*y + u = 4*s - 7. Is s a multiple of 12?
False
Let t = -22 + 33. Is t a multiple of 11?
True
Suppose -a - 28 = -2*r, 35 + 26 = -2*a - r. Does 2 divide (0 + -5)*12/a?
True
Let t = 87 + -52. Does 13 divide t?
False
Suppose -6*q - 23 = 7. Let m(g) = -10*g - 7. Does 28 divide m(q)?
False
Suppose w - 12 = -4*o, 8 = 3*o + w - 1. Is o a multiple of 3?
True
Let g be ((-2)/2 - -3) + 213. Suppose p + g = 6*p. Does 18 divide p?
False
Let a = 160 - 104. Does 14 divide a?
True
Suppose 4*s = 3*b + 12, b + 0*s + 3 = s. Suppose -4*p - 10 = -v + p, b = 4*v - 3*p - 23. Suppose 0 = d - v*r + r - 8, 3*d + 4*r = 40. Is 8 a factor of d?
False
Let t = 18 - 10. Is 7 a factor of t?
False
Suppose 8*k - 4*k = f + 8, -2*f - 2*k - 16 = 0. Let i be f/28 + (-416)/14. Let c = 42 + i. Does 7 divide c?
False
Suppose -2*c - 3*c = -170. Let q = c - 22. Does 8 divide q?
False
Suppose -j + 6*j - 203 = -4*r, 4*j = r + 175. Is j a multiple of 12?
False
Suppose -4*f - f = k + 7, 3 = 5*f - 4*k. Let z be f + 1/1 - -4. Suppose 2*s = 3*o + 27, -5*s + z*o = -16 - 55. Is s a multiple of 9?
False
Let r(x) = -2*x**3 + 4*x**2 + 4*x + 1. Does 19 divide r(-3)?
False
Suppose -f = -5*k - 41, 5*f + 3*k + 0*k = 121. Is 13 a factor of f?
True
Let g be (4 - 3) + 1/(-1). Suppose 3*k - 2*k - 15 = g. Does 15 divide k?
True
Let j(f) = -f**3 - 7*f**2 + 6*f - 4. Is j(-8) a multiple of 2?
True
Suppose -s - 2 + 5 = 0. Is (3/3)/(s/18) a multiple of 3?
True
Let z(j) = j**3 - 4*j**2 - 3*j - 7. Let n(w) = w + 1. Let t be n(5). Is z(t) a multiple of 11?
False
Let h(f) = f**3 - 2*f**2 + 3. Let i be h(3). Suppose -4*x + i = 4. Suppose -2*r + 24 = x*r. Does 6 divide r?
True
Let y be (-106)/(2/(-9)*-3). Is 20 a factor of y*(-4 + (-11)/(-3))?
False
Let u = 8 + -3. Let b(y) = y + 1. Let l be b(3). Suppose l*z - 2*z - 40 = -3*q, u*q - 65 = -5*z. Does 7 divide q?
True
Suppose -2*m = 4*d + 106 - 16, -170 = 5*m - d. Is (42/m)/(6/(-80)) a multiple of 8?
True
Let v(g) = g**2 + 5*g - 2. Let m be v(-6). Let h = m + 0. Is h a multiple of 3?
False
Suppose -3*r + 2*r = -5, 5*m - 5 = 4*r. Is m even?
False
Suppose j = -2*f + 29, 0*f - 50 = -2*j - 2*f. Is 11 a factor of j?
False
Suppose -5*x = x - 264. Is x a multiple of 5?
False
Let y(h) = 4 - 4*h - 5 - h**3 + 6*h - 4*h**2 - 2. Is y(-5) a multiple of 12?
True
Let h = 13 + -18. Let k = 14 - h. Does 19 divide k?
True
Is 5 a factor of 74/5 + 1/5?
True
Let d(t) = t**3 + 2*t**2 - 2*t - 2. Let o be d(-2). Let q(p) = 3*p**o - 1 + p**3 - 2 - 2*p + 2 + p**2. Does 4 divide q(-4)?
False
Let f be 2 + 2/(3 + -2). Suppose 3*h + 5 = -f. Is 69/12 + h/(-12) a multiple of 5?
False
Let a = 53 - -101. Let f = a - 79. Is (-4)/(-5)*f/3 a multiple of 20?
True
Let q(g) = 21*g + 12. Is q(4) a multiple of 33?
False
Suppose -3*u + 4*z - 8 = u, 2*u = -4*z + 26. Let j = 0 + u. Suppose -b + 5*r = -26, -b + j*r + 30 = -0*b. Does 18 divide b?
True
Let g = 24 - -24. Is g a multiple of 7?
False
Is 5 a factor of (2 - (-36)/(-15)) + (-374)/(-10)?
False
Let s be (-72)/1*(-8)/8. Suppose -8*f + s = -5*f. Does 8 divide f?
True
Let o be 184 - 3 - (-1)/(-1). Suppose 45 = -3*b + o. Does 9 divide b?
True
Suppose -17*b = -20*b + 12. Is b a multiple of 3?
False
Let n(j) = j**3 + 12*j**2 - j - 9. Let p be n(-12). Let v be (20/15)/(4/126). Suppose -x + v = 3*c, 3*c = -0*c + p. Is x a multiple of 18?
False
Let i = 90 + -76. Is i a multiple of 7?
True
Let m be (-3)/(-2)*(-40)/(-15). Suppose -5*a = m*y - 28, 0*a = y + a - 7. Let g(r) = r**2 - 7*r + 8. Is 7 a factor of g(y)?
False
Let i(h) = 39*h + 25. Let z(a) = -19*a - 12. Let j(m) = -2*i(m) - 5*z(m). Is j(5) a multiple of 19?
True
Let m(a) = a**2 + 1. Let d be m(-2). Suppose -d*z = 20 - 0. Let s(c) = -9*c - 4. Does 18 divide s(z)?
False
Suppose 4*f + f = 60. Suppose 0 = -4*o + o + f. Suppose -2*w - o*p + 222 = w, p = 3. Does 22 divide w?
False
Suppose -70 = -4*r + 170. Does 30 divide r?
True
Let p = 4 - -1. Let h(n) = -4 - 51*n + 2*n**2 + 33*n + 27*n - 3*n**2. Is 5 a factor of h(p)?
False
Let n(x) = -5*x + 10. Let p be n(7). Let a = -15 - p. Let k = a - 6. Does 3 divide k?
False
Let z = 399 + 57. Is 57 a factor of z?
True
Suppose 4*p = 4, -p + 16 = 3*f + 3. Suppose -f*k + 20 = -0. Is 5 a factor of k?
True
Let q be 0/2 + -2 + 0. Let x(z) = -z**3 - z**2 + 2*z - 1. Let k be x(q). Let d = k - -11. Does 5 divide d?
True
Let x be 4 - 3/(12/(-56)). Does 9 divide (2 - -34)*x/12?
True
Let c(b) = -9*b + 3. Is 15 a factor of c(-6)?
False
Let b = -77 - -44. Suppose -2*o + 2*d = -94, -d + 0*d + 193 = 4*o. Let g = b + o. Does 15 divide g?
True
Let c(s) = -7*s - 4. Let b(p) = p + 1. Let l be b(-2). Let j = l - 6. Does 17 divide c(j)?
False
Is 17 a factor of 7/35 + 169/5?
True
Let f be (-8)/20 + (-102)/(-5). Suppose f = -4*a, 3*b - 152 - 56 = -a. Suppose 3*r - 52 = b. Is 14 a factor of r?
False
Suppose -2*g = 117 + 7. Let c = -42 - g. Is 4 a factor of c?
True
Let y(h) = h**3 + 16*h**2 - 21*h + 2. Does 11 divide y(-17)?
False
Let x(c) be the second derivative of 7*c**3/6 + c**2 + 4*c. Does 7 divide x(2)?
False
Suppose -2*i + 22 = 2*g, -2*g = -4*i - 4*g + 40. Does 3 divide i?
True
Suppose -5*y + 4*w = 13, 3 = -2*w + 7. Let j be ((4 - -2)/y)/(-2). Does 9 divide -3 + j + 20 + -2?
True
Let x(i) = 19*i**3 - i**2 - 4*i + 3. Is x(2) a multiple of 13?
True
Let r(p) = 3*p. Let y be r(7). Let d = y - -3. Is d a multiple of 15?
False
Let s be (-13 - 2) + (-1 - -1). Does 24 divide (-96)/s*(-30)/(-4)?
True
Let z = -8 + 14. Suppose -2*x + z*j + 138 = 3*j, 5*x - 383 = -2*j. Let n = -52 + x. Does 17 divide n?
False
Is 10 a factor of 1/(-5) + ((-2404)/5)/(-4)?
True
Let g = -61 + 125. Is 8 a factor of g?
True
Let i = 31 + -21. Is 6 a factor of i?
False
Suppose 2*u - 3*u + 14 = 0. Let m(k) = -k**2 + 4*k + 2. Let c be m(4). Suppose -c*n + u = -18. Is n a multiple of 11?
False
Suppose -211 = -6*b + 5*b. Let p = -133 + b. Does 26 divide p?
True
Suppose 3*m = 4*s - 204, 3*m - m + 153 = 3*s. Is s a multiple of 16?
False
Let d(n) = n**2 + 5*n + 1. Let s be (2/(-4))/((-3)/48). Is 35 a factor of d(s)?
True
Does 7 divide (-18)/(-8) - (-4)/(-16) - -19?
True
Let u(o) = -o**2 + 19*o - 21. Is u(10) a multiple of 13?
False
Let n be 1*10*6/6. Suppose -22 = 2*u + 4*p, 4*u = -u + 3*p + n. Is (-2 - (u - 2))*7 a multiple of 4?
False
Let t(q) be the third derivative of q**4/8 + q**3/6 - 5*q**2. Is 8 a factor of t(9)?
False
Suppose 5*m - 5*n - 34 = -4, 3*n - 6 = -3*m. Suppose m*c = -11 - 1, -2*p + 3*c = -21. Is p a multiple of 6?
True
Let m = 9 + 27. Does 15 divide m?
False
Let u = 11 + 119. Does 26 divide u?
True
Suppose -7*b - 120 + 330 = 0. Is b a multiple of 5?
True
Let k(o) = -2*o + 4. Does 8 divide k(-10)?
True
Let t(o) be the third derivative of -5*o**6/24 - o**5/30 + o**4/24 + 2*o**2. Let d be t(1). Let j = d + 37. Is j a multiple of 11?
True
Suppose 0 = -f + 17 - 6. Does 8 divide f?
False
Let j = -9 + 13. Suppose j*a - d - 219 = 0, -3*d + 261 = -a + 6*a. Suppose -2*s + 4*s - 5*p - a = 0, s + 4*p = 27. Is s a multiple of 15?
False
Let o = 28 - 60. Is 18 a factor of (18/4)/((-3)/o)?
False
Let b(w) = -2*w + 3. Let y(v) be the third derivative of -v**4/12 - v**3/6 + 2*v**2. Let f be y(1). Is b(f) a multiple of 6?
False
Is 10 a factor of 2 + -4 + 36/3?
True
Suppose 0 = -4*p, 2*p = 3*s - 5*s + 172. Is s a multiple of 30?
False
Let h be 1/(1 + -3)*-74. Let d = h + -7. Does 15 divide d?
True
Let g(b) = 2*b - 4. Let o be g(3). Suppose o*n + 33 = 5*n. Is 11 a factor of n?
True
Let y(h) = 5*h + 12. Does 3 divide y(4)?
False
Suppose 0 = 4*f + 9 - 289. Is f a multiple of 5?
True
Let w = 14 - 8. Let f(r) = -r**3 - 3*r**2 + 4*r**3 - r**3 - w + 4*r - 3*r**3. Is 11 a factor of f(-5)?
False
Let h = 2 + -3. Let v be 1*h*(-20 - -1). Suppose 3*p - v = 23. Does 14 divide p?
True
Suppose -5*j + 11 = -k, k - 25 = -j - 3*j. Let n = 9 - k. Suppose 0 = -n*u - 4*u + 52. Is 6 a factor of u?
False
Does 9 divide