= -b + 3. Let s(a) = 9*c(a) + 4*l(a). Let t be s(5). Suppose 3*n - v = 43, -25 = -t*n - 2*v + 1. Is 8 a factor of n?
False
Suppose 3*d - 1030 = -127. Let o be 10/40 + d/(-4). Let q = 117 + o. Is q a multiple of 14?
True
Let k(b) be the third derivative of -b**4/24 - 4*b**3/3 - b**2. Let a be k(-6). Let y = 6 + a. Is y even?
True
Let x(a) = -a - 11. Let d be x(-10). Let g = 15 - d. Suppose 44 + g = 4*c. Does 3 divide c?
True
Suppose 58*m - 21190 - 2474 = 0. Is 18 a factor of m?
False
Let s(y) = 7*y**2 - 93*y - 56. Is 104 a factor of s(-16)?
True
Let t be (6 - (-1 + -38)) + (-1)/1. Let o = t - -10. Is 24 a factor of o?
False
Suppose 0 = -4*o + n - 417, 4*n = -3*o - 152 - 175. Let s = -94 - o. Does 4 divide s?
False
Does 7 divide ((-2625)/14)/(-15)*(-852)/(-5)?
False
Let l(a) = 2*a + 7. Let q(v) = 3*v + 8. Let x(u) = 4*l(u) - 6*q(u). Is x(-8) a multiple of 12?
True
Suppose 878 = -54*b + 3254. Does 4 divide b?
True
Let n = -603 + 860. Is 16 a factor of n?
False
Let c(x) be the third derivative of 11*x**7/2520 + x**6/360 - x**5/120 + x**4/12 - 5*x**2. Let b(f) be the second derivative of c(f). Is 20 a factor of b(2)?
False
Let m = 322 + -211. Is m a multiple of 2?
False
Does 19 divide (-11614)/(-18) - -9*(-12)/486?
False
Let x = 75 + -69. Suppose x = 4*l - 38. Is l a multiple of 11?
True
Let c(g) = -22*g - 22. Let d(o) = -9*o - 9. Let z(i) = -5*c(i) + 12*d(i). Let t be z(-2). Let w(s) = 5*s**2 - 3*s - 2. Does 12 divide w(t)?
True
Suppose -33 = 3*i + 4*t + 122, 0 = -2*i + 2*t - 108. Let s = i - -77. Is 5 a factor of s?
False
Suppose -5*n = 5*s + 20, 4*n = s + 22 - 3. Let w(f) = f**3 + 7*f**2 - 6*f - 6. Let v be w(s). Is (-8)/v + (-47)/(-9) a multiple of 2?
False
Let g be -1 + (-7)/(-7) + -1 + -1693. Is g/(-55)*(-1 + 6) a multiple of 7?
True
Let a be 1 + 3*(-24 + -3). Is 14 a factor of (a/12)/(-10)*(-222)/(-4)?
False
Suppose 0 = 3*t - 3*i - 939, 6*t - i = 2*t + 1246. Is 59 a factor of t?
False
Let k = 14 + 187. Is 20 a factor of k?
False
Let r be 10/(-30) + (-5)/3. Let o be (3 + (r - 14))/(-1). Suppose o = 2*x + 1. Does 5 divide x?
False
Let q(r) = r - 15*r**3 + 626*r**2 - 626*r**2 + 1. Suppose 0 = 2*l - 4*i + 6, 5 = -2*l - 2*l + i. Does 4 divide q(l)?
False
Suppose -3*q + 666 = -0*q. Does 15 divide 24/(-32) - q/(-8)?
False
Let r(j) = -j**2 - 8*j - 10. Let m be r(-6). Suppose m*f - 78 = p, 0 = 2*f - 2*p - 60 - 16. Is f a multiple of 5?
True
Let g = 29 + -40. Let z be (-992)/g + (-14)/77. Let f = z + -48. Is f a multiple of 14?
True
Suppose 48 = 3*n - 12. Suppose 5*l + 5*a + n = 0, -2*a - 4 = 2*a. Is 27 a factor of -81*(l + 3 - 1)?
True
Let p(m) = 2*m + 54. Let h be p(0). Suppose -13*v + h = -7*v. Is v even?
False
Let n be (-4 + 23)/(1 + 0). Let p = -58 + n. Let f = p + 90. Is 15 a factor of f?
False
Let j = 54 + -47. Is 18 a factor of 215/4 - j/(-28)?
True
Does 10 divide (-36)/(-42)*(-10430)/(-15)?
False
Suppose 21*u = 27*u. Suppose 4*h - 82 = -2*r, 2*r + u*r - 82 = 4*h. Is 41 a factor of r?
True
Let m(w) = 19*w**2 + 7*w - 7*w**2 - 10 - 11*w**2. Let d be m(-8). Let t(y) = -4*y - 1. Is t(d) even?
False
Let g(p) = 14*p + 0 + 0 - 2. Suppose 14 = -w + 4*d, -3*w = w - 2*d. Is g(w) a multiple of 13?
True
Let v(b) = -126*b - 96. Is v(-4) a multiple of 12?
True
Suppose -5*o + 5610 = -2*g, -11*g + 12*g = o - 1125. Does 35 divide o?
True
Let k be (3 - (-58)/(-4))*2. Is (8 + 0)/(4 - k/(-6)) a multiple of 16?
True
Let o = 254 - -110. Is o a multiple of 2?
True
Suppose 0 = -6*w + 2*w + 12. Suppose -w*d + 2*z = -37 - 47, -28 = -d + z. Suppose 6*x = d + 104. Is 22 a factor of x?
True
Let z(n) = -37*n - 44. Is 8 a factor of z(-3)?
False
Let g(b) = -6*b + 18. Let d be g(-12). Let f be 47/1*-1 + 1. Let k = f + d. Is 11 a factor of k?
True
Let j(d) = -4*d - 15. Let t be j(-6). Let r = t + -6. Suppose -3*p = -y - 176, 4*p - y - 248 = r*y. Is 13 a factor of p?
False
Suppose 2*a + 3 = -a, -5*v = 4*a - 2126. Is v a multiple of 57?
False
Let j = -1 - -20. Suppose s = y - 4, 0 = 4*y - s - j. Suppose 4*c = n + 205, -5*n + n = -y*c + 248. Is c a multiple of 24?
False
Let g(z) = 3*z + 2. Let h be g(21). Let p = h - 48. Is 17 a factor of p?
True
Let s(l) = 4*l - 27. Let f be s(-19). Let c = f + 262. Does 34 divide c?
False
Suppose 3600 = 96*t - 92*t. Is 12 a factor of t?
True
Let g = 1170 - 272. Does 6 divide g?
False
Let a = -17 + 22. Suppose -5*z + 30 = a*i, 3 = -3*z + 5*i - 3. Suppose k + 4 = 0, 6*k = z*b + 3*k - 48. Does 3 divide b?
True
Suppose 5*q + 4*d = -0*d - 44, 0 = 2*q + d + 17. Let m = q + 28. Suppose 2*i + j = -0*i + 15, j - m = -3*i. Is 2 a factor of i?
False
Let y = 1 - -2. Suppose 9 = 3*d - y*m, 1 = m - 2*m. Suppose -d*f - f = -5*t - 100, 0 = 2*f + 3*t - 92. Is 8 a factor of f?
True
Let x = 37 - 26. Let b(w) = 3*w**2 - 12*w - 4. Let i be b(x). Let r = i - 134. Is 27 a factor of r?
False
Suppose -2*n - 5*c + 30 = -n, 2*n = 5*c - 15. Suppose -4*y + 76 + 142 = -n*t, 2*y - 106 = t. Does 11 divide y?
False
Let w = 331 - 243. Is 11 a factor of w?
True
Let i(n) = 14*n**2 + 19*n. Does 2 divide i(-3)?
False
Suppose 5*k = -2*v + 1372, -14 + 17 = 3*v. Does 10 divide k?
False
Let y be 3 + (-165 + -2 - -2). Let u = -58 - y. Does 26 divide u?
True
Let o(f) = f**3 + 14*f**2 + 18*f + 5. Is 37 a factor of o(-12)?
False
Let p be 5/(-20) + 82/8. Let v(z) = 0*z + 0 - z**2 - 1 + 2 + z - p*z**3. Is v(-2) a multiple of 25?
True
Does 12 divide ((-12)/(-7))/(4/840)?
True
Suppose 3*i - 12 = 3*n + 3, -2*i = 2*n + 10. Suppose -2*h = 6, 4*q - 6*h + 2*h - 24 = i. Suppose 5*p + 6 = z - 30, -2*z + q*p + 65 = 0. Is 11 a factor of z?
False
Suppose -14*i + 4*b = -12*i - 1134, -2*b = -2*i + 1128. Is i a multiple of 50?
False
Suppose 0 = 2*s + 3*s - 25, -v = -s + 3. Suppose j + 4*l - 12 = v*j, -2*j = -3*l - 1. Suppose -59 = -3*t - j. Is 10 a factor of t?
False
Suppose -3170 = 7*y - 17*y. Does 51 divide y?
False
Let y(j) = -j**3 - 10*j**2 - 9*j + 3. Let f be y(-9). Suppose 0 = -f*g - r + 127, 2*g - 8*r + 4*r - 108 = 0. Does 13 divide g?
False
Suppose 2*l + 15 = -5. Is 29 a factor of l/4*2436/(-70)?
True
Suppose 4*j = 8*j - 8. Let o = 3 + j. Suppose -5*l = 3*y - 2*y - 82, -38 = -3*l + o*y. Is l a multiple of 4?
True
Suppose -m - 5*c + 3 = -65, 204 = 4*m + 3*c. Suppose 5*t = t - 44. Let v = m + t. Does 22 divide v?
False
Let z = -90 + 155. Suppose -z + 307 = 4*x - m, -4*m - 188 = -3*x. Is x a multiple of 6?
True
Is 104 a factor of 3319 - -13 - (8/1 - 4)?
True
Let b(k) = -5*k**3 + 9*k**2 - 3*k - 26. Is 22 a factor of b(-4)?
False
Suppose 5*w - 2112 + 62 = -2*h, -2*w - 2*h = -826. Is w a multiple of 4?
True
Let q be -4*(7/(-2) + 3). Suppose 3*n + 0*n - q*y = 11, n = 2*y + 1. Suppose 165 = -2*b + n*b. Does 28 divide b?
False
Let x(o) = 17*o**3 - o**2 + o - 4. Is 5 a factor of x(2)?
True
Let j(i) = 6*i**2 - 4. Let f be j(-5). Is 10 a factor of 3 - f/(-4) - 2/(-4)?
True
Let r = 101 + -62. Let v be 72/r + 4/26. Suppose -5*s + 85 = -5*y, -5*s + 0*y + 76 = -v*y. Does 3 divide s?
False
Let z = -670 + 854. Is 8 a factor of z?
True
Suppose -2*d = 2*d - 20. Suppose 4*z = 4*c - 108, -c + 2*c = -d*z + 39. Let p = 42 - c. Does 9 divide p?
False
Suppose -12 = -2*m - 4*y - 4, -2*y + 32 = 3*m. Is m even?
True
Let w(y) = y**3 + 15*y**2 - 9*y - 16. Let b be w(-15). Suppose 0 = -9*a + 10*a - b. Does 17 divide a?
True
Suppose 161*h - 3*b + 4301 = 165*h, -3*h + 3207 = -4*b. Is 44 a factor of h?
False
Let s(p) = p**2 + 3*p + 97. Is 45 a factor of s(-20)?
False
Suppose 2*v = -0*v + 6. Suppose -q + r - 13 = -2*q, -v*r = q - 21. Let h(y) = -y**2 + 17*y + 3. Does 25 divide h(q)?
True
Let z(i) be the third derivative of 0*i + 4/3*i**3 - 1/60*i**5 + 0 + 3/8*i**4 - 2*i**2. Is z(6) a multiple of 13?
True
Let m(g) = 4*g**2 + 2. Let v be m(2). Suppose -3 = 2*n - 3*x + v, -5*n + 4*x - 70 = 0. Is (-405)/n - 2/4 a multiple of 11?
True
Let r(h) = h + h + 12 - 5 + h**2. Let l = -17 - -11. Does 11 divide r(l)?
False
Let r(f) = -f**2 + 13*f + 18. Let d be r(17). Does 25 divide d/8*(-20 + (0 - 0))?
True
Let j(d) = 58*d**2 - 73*d - 280. Does 10 divide j(-4)?
True
Does 12 divide (-4)/(-20)*284*(-665)/(-38)?
False
Let x(j) = 2*j + 11. Let i(r) = -2*r - 12. Let p(u) = 5*i(u) + 4*x(u). Is 3 a factor of p(-21)?
False
Let m = -3 - 34. Let q = -33 - m. Is 3 a factor of q?
False
Let p(q) = 12*q**2 - 3*q - 113. Does 73 divide p(-22)?
False
Let h(c)