b. Let v = b - 7. Does 12 divide v?
True
Suppose 10 = 5*l, 6 = -s + 5*l + 1. Suppose 34 = q + 2*q - 2*r, -s*r = 5*q - 15. Let c = 28 - q. Is 10 a factor of c?
True
Suppose -3*u + 45 = -2*b, -21 = -3*u - b + 24. Is 11 a factor of u?
False
Let j be 0 + 0 + 1 + -6. Let g(p) = -p**2 - 3*p + 4. Let n be g(j). Is (-32)/n - 1/3 a multiple of 5?
True
Suppose -3*c - 2*c + 3 = 2*r, -3*c = r - 2. Is 3 a factor of c + -3 - 17/(-1)?
True
Let h(v) = 3*v**2 + 7*v + 1. Let n(w) = -4*w + 3*w + 2*w - w**2 + 1. Let g be n(3). Is h(g) a multiple of 16?
False
Let c = 52 + -36. Is c a multiple of 8?
True
Is ((-9)/27)/((-1)/285) a multiple of 19?
True
Let o = -30 + 42. Does 6 divide o?
True
Suppose -4*x + 56 = -0*x. Is (-3)/(-7) + 288/x a multiple of 12?
False
Let k(z) = 2*z**2 - 3*z + 3. Suppose 6 + 0 = 3*f. Let h be k(f). Suppose -h*i - c + 12 = 0, 5 - 2 = 3*i + 2*c. Is i even?
False
Suppose 3*n - 20 = 2*v - 6, 4 = -4*v. Let g be (-2)/((-3)/(363/2)). Suppose 2*q - 3*u - 42 = 0, -g = -n*q - 2*u - 21. Is q a multiple of 14?
False
Let u(h) = 0*h**3 + 48 - 3*h**3 - 3*h**2 + 2*h**3 + 4*h**2. Is 16 a factor of u(0)?
True
Suppose -7*d + 8*d = 0. Let x = d - -17. Does 13 divide x?
False
Let d(m) = -m**3 - 9*m**2 - 9*m - 3. Let g be 2/(-7) + (-432)/56. Does 4 divide d(g)?
False
Let t(j) = j - 4. Let h be t(10). Suppose -2*f - 340 = -h*f. Let g = f + -45. Is g a multiple of 20?
True
Let s(v) = -3*v - 6. Let y = 2 + 4. Let r be 1/3 - 50/y. Is s(r) a multiple of 9?
True
Suppose -27 = -b - 4*b + 3*k, 0 = -b + 2*k + 4. Is b a multiple of 6?
True
Suppose -3*n = 2*n - 60. Suppose -4*o + n + 4 = 0. Does 4 divide (18/o)/((-3)/(-6))?
False
Let g(j) = -j + 6. Is g(-9) a multiple of 5?
True
Is 2/(-1) + 1 - -12 a multiple of 3?
False
Suppose 3*c = 5*c - 2. Let l(w) = 13*w - 1. Is 7 a factor of l(c)?
False
Let u = -10 - -45. Is u a multiple of 9?
False
Let o(r) = -r**3 + 8*r**2 + 13*r - 18. Does 18 divide o(9)?
True
Let v(g) = g**2 + 8*g - 6. Let h be v(-9). Suppose 2*k = i - 0 - 1, -i - h = -4*k. Is 3 a factor of i?
False
Suppose 0 = -4*t - 0 - 12. Let q = 9 + t. Let w(d) = -d**3 + 5*d**2 + 7*d + 2. Is w(q) a multiple of 4?
True
Suppose -z = -2*z + 8. Let b = -8 + z. Let p(f) = f**3 - f**2 + f + 43. Is p(b) a multiple of 18?
False
Suppose 0*v = -4*v - 92. Let b = 28 - v. Is b a multiple of 17?
True
Suppose -5*u = c + 72, -93 = 4*u + 5*c - 27. Does 5 divide (-4)/u + 110/7?
False
Let r(d) be the first derivative of 1/2*d**4 + 0*d + 2 - d**2 + 1/3*d**3. Is 8 a factor of r(2)?
True
Let a(m) be the first derivative of -m**4/2 + m**3 + 3*m**2/2 - 2. Let n be a(-2). Suppose -4*v + n = -26. Is 6 a factor of v?
True
Let f = 14 - 10. Let o be 1/(-4) + (-587)/f. Is 8 a factor of o/(-9) - 2/(-3)?
False
Let d(s) = -3*s - 2. Let l(j) = -j**2 - 8*j - 7. Let m be l(-6). Suppose -m*k = -2*k + 21. Is d(k) a multiple of 12?
False
Suppose -4*g + 1015 = 5*c, -5*c - 4*g - g + 1020 = 0. Let h = -134 + c. Does 33 divide h?
False
Let u(v) = v**3 - v**2 - 5*v + 2. Suppose 6*q = 2*q + 12. Let z be u(q). Suppose 8 = -z*t + 38. Is t a multiple of 3?
True
Let o be 48/9*(-18)/(-2). Let t = -8 + 13. Suppose -3*l = -3*y - 15, -4*y - t = 3*l - o. Is 9 a factor of l?
True
Let h be (-6)/2*7/(-3). Let g be 47/h - (-8)/28. Let o(r) = 7*r + 1. Does 25 divide o(g)?
True
Let j = -14 + -12. Let s be (-4308)/(-52) + (-4)/j. Let l = -36 + s. Does 13 divide l?
False
Suppose r + 3 = 4*n, 4*n = -3*r - 6 - 3. Suppose l + 3*l + 5*q + 33 = n, q + 22 = -3*l. Is 16 a factor of l/(-2*(-3)/(-18))?
False
Let h be 0*(0 - 1/2). Let c be (h + -37)*4/4. Let z = 59 + c. Is 11 a factor of z?
True
Is 17 a factor of (15 - -4)*1/1?
False
Is (-122)/(-5) + 12/(-30) a multiple of 7?
False
Let x(z) = -2*z - 4. Let d be x(-6). Let h = d + -6. Does 8 divide (2*-4)/((-1)/h)?
True
Let d = -5 + 7. Is 10 a factor of d/(-1) - (3 + -28)?
False
Suppose -n - 5*l - 10 = 48, -170 = 5*n - 5*l. Is n/(-8) - (-2)/8 a multiple of 5?
True
Let d = 1 - -11. Suppose d = 3*j, 82 = 2*i + 2*j + 8. Does 21 divide i?
False
Let b be (-45)/(-12) - 2/(-8). Suppose 0*l + 102 = 5*p + b*l, p - 33 = -5*l. Is 7 a factor of p?
False
Suppose s - 146 = -s. Suppose -5*i = -s - 47. Is 5 a factor of i?
False
Suppose 0*i - 250 = -5*i. Does 18 divide i?
False
Let t be (2/6)/(9/(-54)). Is 4 a factor of ((-6)/(-7))/(t/(-28))?
True
Let x = 23 - -70. Is x a multiple of 7?
False
Let k be (-2)/(-9) + (-1814)/(-18). Let d be 234/63 - 4/(-14). Suppose -d*u + k + 63 = 0. Is u a multiple of 27?
False
Suppose 5*o - 168 = o. Is 14 a factor of o?
True
Is 49/17 - (-20)/170 a multiple of 2?
False
Suppose 0 = 3*m + m - 48. Is 3 a factor of m?
True
Suppose -3*s + 4*n - 51 + 286 = 0, 4*n - 349 = -5*s. Suppose -s = -4*h - 3*w, 62 = 3*h + 5*w - 10*w. Does 19 divide h?
True
Let l be -3 - 1/(-2)*-16. Let x(d) = -d - 8. Let r be x(l). Is 55/3 - r/9 a multiple of 18?
True
Let x = 352 - 126. Is 14 a factor of x?
False
Does 10 divide 769/13 + (-22)/143?
False
Let h(x) = 3*x - 6. Let t be h(6). Suppose -s + 12 = 4*v - 0*s, 2*v + 2*s = t. Suppose -5*o + 4*a + 83 = 0, 2*o - v*a + 6*a - 22 = 0. Is o a multiple of 10?
False
Suppose 2*p - 5*i + 14 = 80, 6 = 3*i. Suppose -4*a + w = -123 + p, 3 = w. Is a a multiple of 11?
True
Let o be (-2)/(-10) - 1047/(-15). Let w = o - -9. Does 22 divide w?
False
Let n = 85 + -49. Is n even?
True
Let w(m) = m**2 + 16*m - 15. Let z be w(-16). Let v = 2 - 49. Let f = z - v. Is f a multiple of 16?
True
Let n = 2 - -6. Is (n/(-10))/((-5)/75) a multiple of 3?
True
Let n(d) = 4*d**2 - 1 + 0*d**2 + 2*d - 3*d**2. Is 19 a factor of n(4)?
False
Suppose 4*i = -2 - 6. Is 10 a factor of 2/(-4) + (-21)/i?
True
Suppose 28 = y - 3*a - 11, 5*y + a - 163 = 0. Let r = y + -9. Does 8 divide r?
True
Suppose 5*i + 171 - 1581 = -4*z, -8 = -4*i. Is 25 a factor of z?
True
Is 7 a factor of (9/6)/((-3)/(-36))?
False
Let w = 307 + -109. Is 15 a factor of w?
False
Suppose -3*o = 2*o - 20. Let c(z) = z**2 - 5*z + 6. Let r(p) = p**2 - 6*p + 7. Let n(h) = 4*c(h) - 3*r(h). Is 5 a factor of n(o)?
False
Let c(l) = -l**2 + l + 13. Suppose -2 = 3*z - 2*y, 3*z - 5 = -0*z - 5*y. Is c(z) a multiple of 11?
False
Let t be 2/11 + (-8)/44. Suppose t = -5*w + 4*f - 3*f + 82, 3*w = 5*f + 36. Is w a multiple of 5?
False
Let t = -54 - -140. Is t a multiple of 12?
False
Let a(k) = -k + 5. Let w be a(4). Is ((-10)/(-25))/(w/30) a multiple of 6?
True
Suppose 7 = i - 3. Suppose 2*k + 0*k = i. Suppose 2*a - k*a + 5 = -2*h, a - 25 = -4*h. Is a a multiple of 3?
False
Suppose 16*k = 12*k + 80. Is 3 a factor of k?
False
Let t(m) = -m + 3. Let o be t(-5). Let q(v) = v**3 - 8*v**2 + 5*v - 4. Let x be q(7). Let p = o - x. Does 13 divide p?
True
Suppose -2*c = -0*c - 26. Let l = -19 + c. Is 9 a factor of 15 + 3/l*2?
False
Suppose -19 = 3*t - 2*t. Let p = 6 - t. Is p a multiple of 6?
False
Suppose 2*n - 280 = -2*n. Is n a multiple of 14?
True
Let n = -34 - -58. Does 24 divide n?
True
Does 11 divide (-504)/(-70)*(-5)/(-2)?
False
Let s be ((-156)/5)/((-3)/10). Let y = -52 + s. Is 26 a factor of y?
True
Let i be (-66)/(-15) + 2/(-5). Suppose -i*v = -29 - 23. Does 13 divide v?
True
Suppose a - 2 - 1 = 0. Suppose -a*t = -3*j, 2*t - 5*j + 6 = -3. Suppose -t*l + 89 = 5*g, -3*g + 3*l + 23 + 16 = 0. Is 8 a factor of g?
True
Let x(h) = 6*h**2 + 3*h. Is 16 a factor of x(-2)?
False
Suppose 4*i + k - 56 = 0, 37 = 3*i - k + 2. Does 5 divide i?
False
Is 9 a factor of -6 + 2 - (-36 - -1)?
False
Suppose 4*l + 20 = 0, 2*l + 0*l + 32 = d. Is 22 a factor of d?
True
Let m be (-7 + 1)*4/(-6). Suppose -3*l - 3*d - 149 = -488, -3*d = 4*l - 451. Suppose l = -0*p + m*p. Is p a multiple of 14?
True
Let a(w) = -w + 4. Let p be a(4). Suppose m = 0, -2*m + p*m + 18 = 2*y. Suppose -n + 6 + y = 0. Does 7 divide n?
False
Suppose 51 = 10*p - 339. Is 34 a factor of p?
False
Suppose 152 = 4*f - 520. Does 21 divide f?
True
Suppose 0 = x - 2. Suppose 8 = x*f - 28. Let h = -11 + f. Is h a multiple of 7?
True
Let l = 5 - -1. Let v(g) = 3*g - 9. Let d be v(l). Suppose 4*w = -6*y + 3*y + d, 3*y = -2*w + 15. Is 7 a factor of y?
True
Suppose 0 = -4*r + 10 + 6. Suppose -r*c + 5*b + 275 = 0, c + 2*b = -c + 160. Does 27 divide c?
False
Suppose -1 = -3*y + 14. Suppose -5*m + 30 = y*q, m + 4*q + 6 = -0*m. Is m a multiple of 5?
True
Let d = 39 + -28. Is 5 a factor of d?
False
Suppose -4*p - 2 + 