derivative of 2*z**2 + z + 5*z - 7*z - 6*z - 1. Is 12 a factor of g(10)?
False
Suppose 0 = -4*w - w - 5. Let k(m) be the first derivative of -59*m**2/2 + m + 11. Is k(w) a multiple of 17?
False
Suppose -28*i = -26*i - 828. Suppose 0 = -3*s - a + i, -148 = 2*s - 3*s + 3*a. Does 12 divide s?
False
Suppose 0 = 219*s - 197*s - 32252. Is s a multiple of 5?
False
Let x(k) = -77*k + 43. Is x(-6) a multiple of 60?
False
Suppose 13 = -3*r + 10. Let b be ((-12)/(-20))/(r/15). Let v = 15 + b. Is 3 a factor of v?
True
Let f(v) = -v**2 + 12*v - 11. Let m be f(11). Suppose m = 5*s - 1 + 66. Is (-4 + 8)/(-4) - s a multiple of 4?
True
Let n = -1804 - -2797. Is 7 a factor of n?
False
Let o = 604 - 380. Is o a multiple of 23?
False
Let c(w) = -w**2 - 4*w + 2. Let r be c(5). Is 11 a factor of -3*(4 + -5) - r?
False
Let c = -177 - -198. Is c a multiple of 2?
False
Is 6 a factor of 4 + 2195/20 + 4/16?
True
Let i be (-164)/(-4) + (-4)/(-2). Suppose -4*z - i - 81 = 0. Let d = z + 76. Is d a multiple of 9?
True
Let p be (-350)/5 - (4 - 0). Let g = p - -133. Is 13 a factor of g?
False
Let d(k) = 335*k**2 - 7*k - 22. Is 23 a factor of d(-2)?
False
Let j = -1763 + 3438. Suppose j = 10*o - 85. Does 34 divide o?
False
Let d = 161 - 111. Is ((-284)/10)/((-20)/d) a multiple of 12?
False
Let c(w) = 4 + 2*w**2 + 7 - w**2 - 6*w. Let v be c(8). Let g = v - -11. Is 6 a factor of g?
False
Suppose 8 = 3*s + 20. Let w(j) = -6*j + 11. Is 7 a factor of w(s)?
True
Let k(a) = 7*a + 14. Let f(r) = -r + 6. Let q be f(3). Suppose -q*g + 15 = -i, -2*g + 5*i = 2*i - 10. Does 9 divide k(g)?
False
Let i be (-3 - -3) + -284 + 4. Let b be ((-72)/(-60))/((-3)/i). Suppose 3*x = -3*q + 152 + b, 5*x - 353 = -4*q. Is q a multiple of 29?
True
Suppose -4*t = -4*p - 3268, -62*t + 60*t + 1630 = -4*p. Is t a multiple of 13?
True
Let r = -21 + 22. Suppose r = -q + 7. Let d(x) = 11*x + 14. Does 20 divide d(q)?
True
Suppose -1040 = 29*i - 45*i. Is i a multiple of 12?
False
Suppose 0*k - 3*k = -5*m - 1868, -2*m = -4*k + 2472. Suppose 5*a - 2*g - 1546 = 0, -2*a - 3*g + 5*g = -k. Is a a multiple of 31?
True
Suppose 3*q - 29 = -68. Let a = 20 + -2. Let g = q + a. Does 3 divide g?
False
Let q(t) = 2*t**2 - 3*t - 2. Let p be q(-4). Suppose 2*a = 10, 66 = b + a - 94. Suppose 11 - p = -r - x, -5*r + b = 3*x. Is 8 a factor of r?
False
Let y(c) = 2*c**3 + 29*c**2 + 11*c + 12. Let n be y(-12). Let w = n - 356. Does 14 divide w?
False
Let z = -6 - 2. Is 2/((40/(-285))/z) a multiple of 19?
True
Suppose -4*j = 4*g - 30 - 74, 3*j = 2*g + 103. Let f = j - -2. Is 8 a factor of f?
False
Let i(b) = -b**3 - 7*b**2 - 10*b - 7. Suppose 2*z + 7 = z. Let n be i(z). Suppose -138 - n = -3*w. Is 19 a factor of w?
False
Suppose 11*o - 857 = -296. Is 2 a factor of o?
False
Suppose -7*h + 4 + 31 = 0. Suppose m - 111 = -5*g, 0*m + h = 5*m. Is 22 a factor of g?
True
Let x(g) = 3*g**2 + 8*g + 3. Let d(l) = 4*l**2 + 9*l + 3. Let y(m) = 2*d(m) - 3*x(m). Let k be y(-4). Let b(o) = 7*o - 5. Is 10 a factor of b(k)?
True
Let p = 32 + -15. Suppose -6 = -m + p. Is 2 a factor of m?
False
Suppose 4*l - 4*c - 75 = 61, 3*l = -5*c + 134. Suppose -v + 4*n = -16, -3*n + 2*n + l = 5*v. Suppose -x + 5*x = 2*w - v, -x = -w + 7. Does 8 divide w?
False
Let l(v) be the first derivative of 5*v**3/3 - 3*v**2/2 - v + 1. Suppose 0 = -6*z + 5*z - 2. Is l(z) a multiple of 17?
False
Suppose 0 = 5*q - 2*m - 1083 - 91, -3*q + 694 = 4*m. Is q a multiple of 13?
True
Let w(y) = 280*y**2 + y - 3. Is 12 a factor of w(-1)?
True
Let u be (7 + 0)/(11/(-88)). Is ((-30)/(-35))/((-6)/u) a multiple of 8?
True
Suppose -5*n + 9724 = 39*n. Does 13 divide n?
True
Let g(s) = s**3 + 12*s**2 + 8*s - 12. Let f be g(-11). Let c = 41 + f. Is c a multiple of 17?
False
Let s = -722 - -742. Does 10 divide s?
True
Let n = -2019 - -2185. Does 10 divide n?
False
Suppose -2*k = -0*k + 3*h - 8, -2*k = -h. Let y be (-39)/(-12)*k*-8. Let l = y + 49. Is l a multiple of 4?
False
Let g = 17 + -25. Let z = 10 + g. Suppose 0 = -z*u + 28 - 0. Is u a multiple of 7?
True
Let t(i) = 3*i - 33. Let d be t(14). Suppose 0 = -3*z - d + 66. Is 8 a factor of z?
False
Let m(j) = -595*j - 63. Is 35 a factor of m(-2)?
False
Let z = 70 + -40. Is (-72)/z*(-120)/9 a multiple of 16?
True
Let o(t) = 5*t + 5*t + 9 + 2 + 6. Does 11 divide o(6)?
True
Is 5 a factor of 34*4 + (4 - (-6 + 6))?
True
Suppose o = 0, -4*y + 1296 = 3*o - 5*o. Is 6 a factor of y?
True
Let l = -15 + 17. Suppose -45 = -l*z + 39. Does 13 divide z?
False
Let x(b) = -2*b - 9. Let w be x(-7). Suppose -w*y = 2*y - 455. Let q = 4 + y. Is 14 a factor of q?
False
Let b(s) = -38*s + 7. Suppose r = 5*w - 2*w + 3, -5*r = 2*w + 2. Is 5 a factor of b(w)?
True
Let c(y) = 2*y**2 - 50*y - 63. Is 13 a factor of c(35)?
True
Suppose -13248 = 242*l - 250*l. Is l a multiple of 10?
False
Suppose -t = 2*h + 60, 3*h + 7*t + 80 = 3*t. Let l = h - -12. Let o = l + 52. Does 12 divide o?
False
Let k = 690 - -355. Is k a multiple of 55?
True
Let v be 16/56 + (-5596)/(-14). Suppose -5*t + t + v = 0. Suppose 0 = -12*y + 7*y + t. Is 4 a factor of y?
True
Is 3 a factor of -2*325/(-2 - 3)?
False
Let k(z) = 28*z**3 - z**2. Let m be k(1). Suppose y = 4*y - m. Is 9 a factor of -3*y*(2 + -3)?
True
Suppose 0 = -17*a + 12*a + 11280. Does 12 divide a?
True
Let g = 122 - -108. Is 47 a factor of g?
False
Let b = -330 - -716. Does 3 divide b?
False
Let t be 4771 - ((-4)/10 + (-14)/(-10)). Is t/(-10)*2/(-6) a multiple of 18?
False
Let t(c) = -c**3 - 11*c**2 + 13*c + 18. Let r be t(-12). Let j be ((-40)/(2 - r))/2. Suppose -u + 10 = -j. Does 5 divide u?
True
Suppose -4*v = -l - 6*v + 163, -5*v = 3*l - 485. Is 20 a factor of l?
False
Let x(z) = -39*z + 6. Let l = -111 - -105. Is 25 a factor of x(l)?
False
Suppose 0 = -3*b - 6*x + 2*x - 76, -5*b - 122 = 2*x. Let u = -18 - b. Is 13 + u/(-4)*2 a multiple of 10?
True
Let p(r) = 15*r**2 + 13*r - 6. Let y be p(-9). Suppose -y = a - 14*a. Is 14 a factor of a?
True
Let i(j) = -2*j**2 - 10*j - 2. Let k be i(-5). Is 3 a factor of k + 26 - (-8 - -4)?
False
Let w be -1*-6*4/(-12). Let b be 1/((4/14)/(-2)). Let l = w - b. Is l even?
False
Let b = 110 + -32. Suppose a = 5*u + 9, u = -a - 3*a + b. Is a a multiple of 5?
False
Let h(y) = -21*y**3 + y**2 + 2*y - 3. Let v be h(-3). Suppose -v = -18*k + 11*k. Does 28 divide k?
False
Let r be 3 + -2 - 3*-1. Suppose -12 = -13*b + 12*b. Suppose -11*m - r = -b*m. Does 2 divide m?
True
Suppose 0 = -2*f + m - 0*m + 11, -5*m = 3*f - 36. Suppose 3*r - 6 = -2*n, f*n + 20 = 2*r + 3*n. Suppose -r*h + q = -89, -5*h = -2*h + q - 65. Does 11 divide h?
True
Suppose -5*k = 2*l - 2*k - 7889, 3*l = k + 11861. Is l a multiple of 52?
True
Let h = -39 - -430. Is h a multiple of 23?
True
Let s = -84 - -90. Suppose 15*o + s = 17*o. Is 3 a factor of o?
True
Let s(o) = o**2 + 4*o + 2. Let x be s(-4). Suppose -g = -x*g + 15. Suppose -75 + g = -4*f. Is f a multiple of 9?
False
Suppose 4*v = -4*v + 480. Let q = 125 - v. Is 14 a factor of q?
False
Suppose -1340 = 2*m - 7*m + 5*c, 0 = -5*m - c + 1364. Is 20 a factor of 4/(-34) + 14992/m?
False
Let v(d) = -d**2 + 38*d + 79. Is v(19) a multiple of 15?
False
Let j = -169 + 100. Let g = 132 - j. Is 25 a factor of g?
False
Let b(x) = -x**2 - 2*x + 14. Let y be b(0). Suppose -y = 5*m - 4. Is -6*(4/3 + m) a multiple of 4?
True
Is 1/6 + (-77854)/(-84) a multiple of 9?
True
Does 37 divide (-4430)/(-15) + 4/18*3?
True
Suppose 5*o - 1359 = -3*q, 5*q - 2231 = -0*q + 3*o. Does 8 divide q?
True
Suppose -2*r - 39 = -49. Let n(h) be the first derivative of 7*h**2/2 + 4*h + 1. Is n(r) a multiple of 13?
True
Let x(d) = d**2 - 2*d - 15. Let s be ((-12)/(-5))/((-50)/(-375)). Is 36 a factor of x(s)?
False
Suppose -12 = -0*x - 3*x. Suppose -f - x*f = -15. Suppose 2*p - f*g = 45, 76 = 3*p + 3*g - 29. Does 9 divide p?
False
Let i(j) = j**3 + j**2 - j + 179. Let w be i(0). Suppose -2*r = -w - 5. Does 18 divide r?
False
Suppose 8 = 18*z + 62. Is 11 a factor of 8/(40/z)*-145?
False
Let p be 261/(-12)*(-36)/27. Suppose -p*b - 104 = -30*b. Is 15 a factor of b?
False
Let j = 3 - 46. Let z = 65 + j. Does 3 divide (z/(-5))/((-6)/15)?
False
Suppose 10 = -3*s + 4*q, -3*s = -3*q + 20 - 8. Suppose 2*m = 138 + 758. Is 22 a factor of (-2)/(-6) - m/s?
False
Let t(i) = -i + 6. Suppose -3*l - 20 = -7*l. Let m be t(l). Let f(a) = 25*a**