pose 0 = -2*a + 5*g + 115, 4*a - f = -0*a + 3*g. Is 9 a factor of a?
False
Let c = 1010 + -523. Is 16 a factor of c?
False
Suppose s + 1191 = 2*r - 0*s, 2*r + s = 1193. Does 7 divide r?
False
Let u = -1091 + 1868. Is 75 a factor of u?
False
Suppose 0 = 15*c - 13*c - 8. Suppose -8*j + 140 + c = 0. Is j a multiple of 12?
False
Let y(p) = 61*p - 45. Does 31 divide y(11)?
False
Let t(y) = -3 - 2*y - 10*y - 8*y. Let u = 155 - 156. Does 17 divide t(u)?
True
Let a = 411 + -147. Is 12 a factor of a?
True
Let f(x) be the second derivative of -x**5/20 - 4*x**4/3 + 8*x**3/3 + 15*x**2/2 + 2*x. Is f(-17) a multiple of 32?
True
Let n be ((-38)/6)/(-5 + 124/24). Let h = 61 + n. Is 17 a factor of h?
False
Suppose 8 = -3*l + 23. Suppose -l*x + 175 = v - 52, 0 = x - 2*v - 52. Suppose -x = -j - j. Is 7 a factor of j?
False
Suppose 2*r - 2*l + 4 = 0, -5*l = 2*r + 10 - 34. Let o be 0/(1 - (r - 0)). Suppose -2*u + 5*u = o, -3*y + 2*u + 219 = 0. Is y a multiple of 16?
False
Is 63 a factor of (-23186)/(-16) + (9/(-72) - 0)?
True
Suppose 2*o + 0*o - 14 = 0. Let g = 8 - o. Does 16 divide g + 48 + 3 + 0?
False
Let i = 0 + 2. Suppose -4*y + s + 13 = 0, -5*y - s = -2*s - 17. Suppose -i*k + y*k - 108 = 0. Does 27 divide k?
True
Let s(j) be the second derivative of -j**3/2 + 86*j**2 + 19*j. Is 40 a factor of s(0)?
False
Let l = -19 + 21. Suppose l*r - 160 - 24 = 0. Let j = r - 64. Is 28 a factor of j?
True
Let j(b) = -11*b**2 - 4*b - 15. Let w(x) = 5*x**2 + 2*x + 8. Let u(v) = 4*j(v) + 9*w(v). Does 36 divide u(-6)?
True
Suppose -2*u - 7 = 1. Let l = u + 37. Does 11 divide l?
True
Suppose 121 + 44 = -5*b. Let a = 57 + b. Does 8 divide a?
True
Let i(p) = 6*p**2 - 1 + 3 + 33*p - 34*p. Is i(-2) a multiple of 7?
True
Suppose -3 = -m + 4*m. Let o(g) = 32*g + 4. Let y(p) = 1. Let z(d) = m*o(d) + 5*y(d). Is 16 a factor of z(-2)?
False
Let x(r) = 45*r. Suppose -3*k = -3, 2*q - 8 + 2 = -2*k. Suppose q*w - 3*w = -1. Is x(w) a multiple of 19?
False
Let d(i) = -i**2 + 18*i - 10. Let o be d(16). Suppose 3*l - l - o = 0. Is l a multiple of 2?
False
Suppose 28*p - 6953 = 11*p. Does 35 divide p?
False
Let c(i) = -6*i + 75. Is 7 a factor of c(9)?
True
Suppose -219*s + 1197 = -212*s. Is s a multiple of 13?
False
Suppose -3*o + p = -4, -3*o - p + 24 = 2*p. Let d = 0 - -2. Suppose x = -o*z + d, -5*x + 0*z + 24 = z. Is 2 a factor of x?
False
Suppose 2*t - 4*t = 4*a - 376, -5*t + a = -962. Suppose -3*p = -t - 186. Does 18 divide p?
True
Let k = 20 - 17. Suppose k*o - 21 = 4*o. Let h = o + 46. Is 7 a factor of h?
False
Suppose -6 = 2*v, -3*v + 5*v + 4 = s. Let y be 2/((-8)/(-20)) + s. Suppose -z + 63 = -p - 13, 4*z - 325 = -y*p. Does 26 divide z?
False
Suppose 41 = 7*h + 13. Suppose 5*l - 4*w = 220, 4*l = 4*w + 94 + 82. Suppose 3*n - l = b, 4*b = 3*n - 55 - h. Does 13 divide n?
True
Suppose 3*d = -2*d + 10. Suppose -d*f = -4*f + 24. Is 3 a factor of f?
True
Let z(y) = 6*y**2 - 50*y + 14. Is z(14) a multiple of 4?
False
Suppose -7*a + 701 = -6*a + 3*j, -2*j = a - 702. Is a a multiple of 88?
True
Let f = -97 - -101. Suppose -3*i = 4*m - 501 + 106, -2*m = -f. Is 5 a factor of i?
False
Suppose 5*s - 302 = -u + 617, 0 = -s + 3*u + 187. Is s a multiple of 16?
False
Let o = 361 - 261. Is o a multiple of 4?
True
Suppose 6*i - 6164 = -1844. Does 20 divide i?
True
Suppose 0 = -24*r + 6840 + 864. Suppose 2*n - 3*n + 219 = -l, 5*n = -3*l + 1127. Let x = r - n. Is x a multiple of 29?
False
Let w(z) = -47*z - 11. Does 29 divide w(-28)?
True
Let q(k) = k - 1. Let x(b) = -b**2 - 7*b + 8. Let p(n) = -4*q(n) - x(n). Let i be p(3). Suppose 4*h + 5 = -5*r + 22, -4*h - 2*r + i = 0. Does 2 divide h?
False
Let g(o) = o - 29. Let r be g(11). Does 10 divide 4/6 + (-3858)/r?
False
Let v = 5962 + -2542. Is v a multiple of 97?
False
Let i = -84 - -106. Let o = i - -357. Does 17 divide o?
False
Let x be (-159)/(-33) - (-2 - (-100)/55). Suppose 0 = -x*i + 3*b + 224, 7*i + 3*b = 3*i + 190. Is 23 a factor of i?
True
Let t(a) = 62*a + 72. Does 29 divide t(11)?
True
Suppose -p + 2*w = 42, 2*p - 3*p - w = 39. Does 9 divide 771/15 - (-16)/p?
False
Let k(z) = -z**2 + 11*z + 13. Let o be k(12). Is 236/7 - o/((-7)/2) a multiple of 27?
False
Let s(v) = v**3 - 5*v**2 - 6*v + 5. Suppose 5*j + 0*j = 30. Let p be s(j). Suppose 9 - 138 = -4*c + p*n, n = c - 32. Is 21 a factor of c?
False
Suppose -3*v = r - 11, 17 = v + r + 2*r. Does 33 divide (45/(-20))/(2/(-176)*v)?
True
Suppose 5*i - i = 3*r + 91, -5*r + 15 = 0. Suppose x - i - 8 = 0. Is 11 a factor of x?
True
Let s be ((-1)/(-8)*2)/((-8)/(-128)). Suppose s*t = -4*t + 760. Does 9 divide t?
False
Let k(r) = r**2 + 5*r - 15. Does 18 divide k(-9)?
False
Suppose 0 = 73*c - 71*c - 1680. Is 70 a factor of c?
True
Suppose 5 = 5*l, -4*q - 2*l + 1603 - 621 = 0. Is 35 a factor of q?
True
Let o(y) = -37*y**3 - 2*y**2 - y - 1. Let c be o(-1). Suppose -c*m + 37*m - 178 = 0. Is m a multiple of 16?
False
Suppose 0*r - r = 1. Let u = 23 - r. Is 2 a factor of u?
True
Suppose 5*u + 0*u - 1925 = 0. Does 21 divide u/(-22)*18/(-5)?
True
Let x be ((-4)/(-2))/((-4)/28). Let s be 8/28 - (-158)/x. Let v = 16 + s. Is v even?
False
Let c(a) = -a**3 + 4*a**2 + 11*a - 5. Let i be c(5). Suppose 0 = 5*y + i, 5*y + 108 + 21 = 2*x. Suppose -3*m = -4*g + x, g - 4*m - 16 = -g. Is 8 a factor of g?
True
Let o = 22 - 14. Let u = o - 0. Let r(v) = v**2 + 3*v - 12. Is 23 a factor of r(u)?
False
Suppose 0 = -5*q + 8*q + 36. Let w = 0 + q. Is 18 a factor of w/(-28) - (-876)/14?
False
Let o(g) = -g - 2. Let v = 9 - 12. Let w be o(v). Suppose 3*i - w - 11 = 0. Is 2 a factor of i?
True
Let b be (-4)/4 + -1 + -8. Let j be ((-72)/10)/(3/b). Let c = j - 2. Is 11 a factor of c?
True
Suppose 0 = -5*k - 2*w + 5*w + 631, -5*w + 115 = k. Is 7 a factor of k?
False
Suppose -4*t + 7 = -5. Let g(x) = 7*x - 3*x + t + 9. Is g(4) a multiple of 28?
True
Suppose 2*c - 47 = -q, 0 = q - 3*c - 38 + 6. Suppose -5*g + q + 19 = 0. Does 4 divide g?
True
Let x(n) = -33*n + 17. Let z be x(11). Let h = -246 - z. Does 10 divide h?
True
Let k be 136/48 - (-2)/12. Let d(n) = 2 + 3*n - k - 2*n + 3. Is 6 a factor of d(10)?
True
Suppose -4*j = 5*c - 1646, 4*j + 4*c - 1642 = c. Does 9 divide j?
False
Suppose 0 = 4*m + 597 - 1221. Is m a multiple of 2?
True
Let y = -89 - -157. Is 34 a factor of y?
True
Does 8 divide (-18)/(-15) + (-8370)/(-25) - 0?
True
Let k(g) = -5*g + 1. Let r be k(-2). Let a = r + 7. Is 18 a factor of a?
True
Suppose -6*m + 5*m = o - 57, -3*o - 4*m = -176. Does 13 divide (o/10)/((-16)/(-80))?
True
Let a(t) = t**3 + 33. Let n = 14 - 21. Let r(u) = 2*u + 14. Let j be r(n). Is 18 a factor of a(j)?
False
Let g(x) = -6*x - 21. Let j(b) = 5*b + 20. Let t(v) = 3*g(v) + 4*j(v). Is 4 a factor of t(4)?
False
Let l(n) = 8*n**3 + 7*n**2 - 3*n + 7. Let y(z) = -4*z**3 - 4*z**2 + 2*z - 4. Let s(v) = -3*l(v) - 5*y(v). Does 3 divide s(-1)?
True
Suppose 11*o + 17*o - 22848 = 0. Is o a multiple of 34?
True
Suppose -4*u + 26 = t - 0, 5*t - 4*u - 10 = 0. Suppose 3*o - 16 = w, -4*w - 22 = -t. Suppose 10 = -l - o*r, 0 = -7*l + 2*l + 4*r + 46. Does 2 divide l?
True
Let x = 283 + -127. Is 39 a factor of x?
True
Let u = 2256 + 26. Is 61 a factor of u?
False
Let k(g) be the first derivative of -11*g**4/2 - 9. Is 22 a factor of k(-1)?
True
Suppose 0 = 4*n - 76 + 56. Suppose -150 = -n*f + 290. Does 44 divide f?
True
Let q(o) = -o + 17. Let d be q(-10). Suppose -d + 3 = -4*p. Suppose p*c - 9*c = -132. Is 11 a factor of c?
True
Suppose -3*c + 335 = -5*s, -c + 5*s = -30 - 95. Suppose 21 = -3*n + c. Is 7 a factor of n?
True
Let q be (15/25)/(1/635). Suppose q = 3*z + 48. Does 37 divide z?
True
Let o = 54 - -5. Suppose r - 22 = 2*g, -g = 3*r + 7 - o. Does 3 divide r?
True
Let o be (-2)/(-6)*(7 - 10). Is 7 a factor of (o - -15)/((-4)/(-10))?
True
Let q be (-79)/(-9) - 2/(-9). Let b(p) = -10*p - 4. Let w be b(-3). Is w - q/(3 + 0) a multiple of 23?
True
Let g be (-4)/18 - 1016/(-36). Let l = -241 + 224. Let b = g - l. Does 19 divide b?
False
Let v(u) = 1 + 12*u - 8 + 4 + 5. Is v(1) a multiple of 3?
False
Let l(i) = 5*i - 15. Let o be l(-11). Let t be (-20)/o + 149/(-7). Is 6/t - (-780)/35 a multiple of 11?
True
Let f be (-1)/((-2)/8) + -5. Let q be f/(-3) + 87/9. Suppose -45 + q = -y. Is 35 a factor of y?
True
Let t = 271 + 26. Is t a multiple of 5?
False
Let b(r) be the third 