= -x**2 + x + 29. Let h be c(s). Let d = h + -18. Is 11 a factor of d?
True
Suppose -3*x - f + 4 = 0, 5*x - f - 25 = f. Let m be (0 + 0 + 0)/(-1). Suppose x*a + a - 60 = m. Does 10 divide a?
False
Let u(y) = -12*y - 1 + 1. Let g = -1 + -1. Is 12 a factor of u(g)?
True
Suppose -2*m + 621 = 3*v, 5*m - 4*v - 516 = 1002. Is 51 a factor of m?
True
Suppose 7*s = 4*s + 198. Does 33 divide s?
True
Let a be (7/(-4))/(1/(-12)). Let l be (-6)/a + 32/14. Is 7*(l - 1/1) a multiple of 6?
False
Is (14 - 9)*(-52)/(-10) a multiple of 23?
False
Suppose -19*w + 14*w = 90. Let k = w + 53. Does 10 divide k?
False
Let z = -10 - -20. Let n(x) = x**2 - 8*x - 3. Let m be n(z). Suppose 3*p = m + 13. Is p a multiple of 5?
True
Suppose -2*w - 3*x = -5, x = -2*x - 3. Suppose 7*d - w*d - 33 = 0. Is d a multiple of 11?
True
Let k(q) = q**2 - 5*q - 10. Let f be k(7). Suppose 0*v + 36 = f*v. Suppose 4*b = 2*g + 36, -b - 3*g + v = -g. Is b a multiple of 4?
False
Let z be 0 + (-7 - (-4 + 3)). Is 21 a factor of (14/z)/(3/(-54))?
True
Let h(m) = 2*m + 10. Is h(7) a multiple of 12?
True
Let p(d) = d + 4. Let v be p(-2). Let a be (v - 2) + (3 - -1). Suppose -3*y + 16 = 2*r - y, a*y = 4*r - 40. Does 5 divide r?
False
Let x = -105 + 24. Let u = 25 + x. Is (-2)/(-7) + (-488)/u a multiple of 6?
False
Suppose 5*z - 6 = 3*z. Is z a multiple of 3?
True
Let s(o) = -o**2 + o + 42. Let r be s(0). Is 7 a factor of (r/(-5))/((-2)/5)?
True
Suppose 3 = -4*c + 23. Suppose c*s - 6 = 4. Let x = 7 + s. Is x a multiple of 9?
True
Let v be 0*(14/6 - 2). Suppose 3*l - 5*l = v. Suppose 2*c - 1 - 17 = l. Does 9 divide c?
True
Let h be 8/(-20) + (-32)/(-5). Suppose 0 = -m + 5*r + 10, -5*m - h = -2*r - 33. Suppose -m*s + 65 = -10. Is 11 a factor of s?
False
Suppose -4*c - 4*l - 349 = -2081, 2195 = 5*c - l. Does 27 divide c?
False
Let j = -11 + 6. Let q(x) = x**3 + 5*x**2 + x - 2. Let t be q(j). Let a = 7 - t. Is 14 a factor of a?
True
Let s be (27/(-12))/(6/(-16)). Suppose -j = 3*j + 5*u + 56, 11 = j - 5*u. Is (12/j)/((-2)/s) a multiple of 3?
False
Suppose -u + 20 = -0*u. Is u a multiple of 7?
False
Let n be 2/3*(4 - -2). Let t be (-42)/n*4/6. Is 4 a factor of (-4)/28 + (-71)/t?
False
Does 6 divide ((2/1)/(-2) - 5)*-3?
True
Let b(m) = 1 + 5*m + 7*m - 2*m. Is 16 a factor of b(5)?
False
Let d = 5 - 3. Let s(g) = -d - 1 - 2*g + 0 - 4. Is 8 a factor of s(-8)?
False
Is 8 a factor of 12/(-3) - -1 - -35?
True
Let l(d) = d**3 - 13*d**2 + 18*d - 10. Is l(12) a multiple of 16?
False
Suppose -2 = -4*x + 2. Suppose 3*y = -x - 5. Let p(o) = 3*o**2 + 2*o + 1. Does 9 divide p(y)?
True
Is (288 + -12)*(-2 + (-5)/(-2)) a multiple of 12?
False
Is 15 a factor of (28/(-6))/7*(-87)/2?
False
Suppose 0 = -0*c - c - 78. Does 3 divide c/(-8) - (-3)/12?
False
Let a(r) = r**2 - r + 43. Does 23 divide a(-8)?
True
Suppose 160 + 29 = a. Is 27 a factor of a?
True
Does 21 divide (0 + -21)*60/(-14)?
False
Does 29 divide 113 + (4 - (5 - 4))?
True
Suppose 3*t + 0 = 6. Let i = 3 - t. Is 14 a factor of (0 - i)*7*-4?
True
Let x = 156 + -121. Is 8 a factor of x?
False
Let w be 30/7 - (-4)/(-14). Suppose -115 = -w*i - a, i + a - 23 = 2. Is i a multiple of 10?
True
Suppose -2*m = 3*m - 5. Let o = m - -3. Is o a multiple of 2?
True
Let j be (141/4)/(3/40). Suppose -3*x = 2*x - j. Does 26 divide x?
False
Let b be (4/12)/((-1)/(-12)). Let a be b/(3 + -2) - 2. Suppose 3*q = -a*q + 25. Is q a multiple of 2?
False
Suppose 68 = 4*u + 4*c, -4*u + 3*c - 2*c + 68 = 0. Is 5 a factor of u?
False
Let r(n) be the third derivative of -7*n**5/120 - 3*n**4/8 + n**3/3 - n**2. Let z(d) be the first derivative of r(d). Does 18 divide z(-6)?
False
Suppose 3*m - 4 = m. Suppose -m*q = 2*q - 48. Is 12 a factor of q?
True
Suppose -3*n = -6*n + 12. Is 108/8 - (-2)/n a multiple of 5?
False
Let p be (-108)/(-51) + (-4)/34. Is (-11)/(-22) - (-27)/p a multiple of 2?
True
Is ((-400)/30)/((-2)/15) a multiple of 13?
False
Let z(b) = 2*b**2 - 8*b + 7. Suppose 5*w = -3 - 17. Let g be 5/w*4*-1. Is 17 a factor of z(g)?
True
Suppose 5*b - 239 = -4*w - 15, 5*w - 5*b = 280. Is 8 a factor of w?
True
Let p(x) = x**3 - 30*x**2 + 6*x + 22. Is 21 a factor of p(30)?
False
Let g(k) = k**2 - 8*k - 3 - 2*k**2 - 1. Suppose 3*c - 3*p + 13 + 5 = 0, -4*c - 3*p - 3 = 0. Does 4 divide g(c)?
False
Let z(t) = -t**2 + 11*t + 2. Let o = -5 + 11. Does 20 divide z(o)?
False
Let h = -43 + 75. Does 6 divide h?
False
Let t(j) = 3*j**3 - j**2 - 5*j - 5. Does 35 divide t(5)?
False
Let b(d) = 2*d + 10. Does 7 divide b(4)?
False
Let w(f) = 2*f**3 + 2*f**2 - 3. Let a(h) = -h**3 - h**2 + 1. Let n(g) = 4*a(g) + w(g). Let k be n(-2). Is 9 a factor of (-4 + 0)*k/(-2)?
True
Let g = -26 - -38. Is g a multiple of 4?
True
Suppose -114 = 4*l - 7*l. Does 19 divide l?
True
Let i(p) = -11*p - 35. Suppose -3*m - 85 = -8*m. Let s(w) = 4*w + 12. Let j(b) = m*s(b) + 6*i(b). Does 4 divide j(5)?
True
Suppose -5*j - w + 560 = 0, -4*w + 257 + 79 = 3*j. Suppose 2*a - 4*a = -j. Is a a multiple of 12?
False
Let a be 3/24 + (-17)/8. Let r = a - -11. Does 4 divide r?
False
Is 16 a factor of 20/((-3)/(-16 - -4))?
True
Let h = 44 - 33. Is 6 a factor of h?
False
Let n = 4 - -1. Let g(p) = 6*p + 1. Let k be g(n). Does 19 divide (-1 - -2)/(1/k)?
False
Suppose 0 = 2*m - 3*m + 4*k + 40, 0 = 5*m - 5*k - 230. Does 22 divide m?
False
Is 25 a factor of 2/7 + (-4695)/(-105)?
False
Let s(d) = d**2 + 4*d + 3. Let z be 1/(-2) - 39/6. Let q(y) = -y**2 - 7*y - 4. Let o be q(z). Is s(o) a multiple of 2?
False
Suppose 13*w - 10 = 12*w. Let o(v) = v**3 - 11*v**2 + 11*v + 4. Does 14 divide o(w)?
True
Suppose 4*l - 3*g - 192 = 0, -3*g + 67 = 4*l - 101. Is 14 a factor of (-488)/(-10) + 9/l?
False
Let h(t) = 7*t - 6. Is 9 a factor of h(6)?
True
Suppose 2*p - 18 = 4*w - w, 0 = 2*p + 3*w - 6. Suppose 54 = 2*k + p. Is 8 a factor of k?
True
Suppose 0 = n - 3 - 0. Does 2 divide n?
False
Let f = 78 - 10. Does 4 divide f?
True
Suppose 2*l + 5 = -1, -m + l = -80. Is m a multiple of 18?
False
Let b(u) = u**3 + 10*u**2 - u - 10. Let i be -9 - ((2 - -1) + -2). Let d be b(i). Suppose d = -z - 2*z + 54. Does 9 divide z?
True
Does 18 divide 1120/24 - (-2)/(-3)?
False
Let k = 21 + -15. Is k even?
True
Let q = 2 + 2. Let g(t) = 4*t**2 - t - 2. Let d be g(q). Suppose -d - 54 = -2*i. Is 20 a factor of i?
False
Let y(g) = 2*g**2 + 3*g + 2. Is y(4) a multiple of 23?
True
Let b(h) = 28*h**2 + h. Let f(k) = k + 7. Let g be f(-8). Is b(g) a multiple of 13?
False
Let c(o) = -o**3 + 7*o**2 - 6*o + 4. Let r be c(6). Suppose -7 = z - 3*l, -5*z + 2*l + 0 = -r. Is 12 a factor of 0 - (-22 + z + -2)?
False
Suppose -101 = -4*b + 91. Is b a multiple of 16?
True
Let x(a) be the second derivative of -a**5/20 + 3*a**4/4 - 5*a**3/6 + 11*a**2/2 - a. Does 14 divide x(8)?
False
Let j(a) = -a. Let b be j(-4). Suppose 0 = 6*l - b*l - 6. Let u(p) = 2*p**2 - 3*p - 2. Does 3 divide u(l)?
False
Is 11 a factor of (1 - -2)/(33/209)?
False
Let l = -102 - -58. Let j = 90 + l. Is 24 a factor of j?
False
Let l(z) = 65*z + 26. Is l(4) a multiple of 16?
False
Let o be ((-3)/(-3)*5)/1. Suppose -o*q + 50 = -0*q. Does 5 divide q?
True
Let n be (0 - -3)/(-3) + 6. Suppose n*b = 3*b + 84. Does 14 divide b?
True
Let r(u) = 25*u**3 + 2*u - 1. Let d be ((-2)/5)/((-20)/50). Does 18 divide r(d)?
False
Does 2 divide 4 + 4 - -2*1?
True
Let c be -3*(3/9 + -1). Is 4 a factor of ((-2)/5)/(c/(-30))?
False
Let o = 22 + -47. Let c = -18 - o. Does 3 divide c?
False
Let f(g) = 13*g - 16. Is f(8) a multiple of 13?
False
Let h(u) = 1 - 4*u - 6*u - 4*u**2 + 3*u**2 - 2*u. Is h(-9) a multiple of 14?
True
Suppose -176 = -19*b + 8*b. Is 8 a factor of b?
True
Suppose 4*c = 5*o + 9*c - 245, -4*o - 5*c = -195. Is 19 a factor of o?
False
Suppose 2*l - 3*l = 2*p - 9, -20 = -5*p - 2*l. Let o(u) = 4*u - 1. Let k be o(p). Is (-1)/(0 - 1/k) a multiple of 7?
True
Let l be ((-3)/(-6) + -2)*6. Let o be (l/(-15) - 1)*-10. Suppose -o*f = -6*f + 12. Does 2 divide f?
True
Suppose 3*o = 4*o - 24. Is o a multiple of 10?
False
Suppose 0 = -2*q - 0*q - 16. Let d(b) be the second derivative of -b**3/6 + 3*b**2 + 4*b. Does 7 divide d(q)?
True
Let i = 14 - 10. Suppose -i*f + 0 = -24. Does 3 divide 28/f - 6/(-18)?
False
Let y = 23 - 20. Let s = y - -97. Does 19 divide s?
False
Suppose -75 = -3*g - 2*g. Suppose 0 = -3*m - 0*m + g. Suppose -l + 5 = -m. Is l a mult