.
2
Let x = 854 - 847. Solve -q - 2*q + 2*a - x = 0, q - 5*a + 11 = 0 for q.
-1
Suppose 12 = -14*l + 17*l. Solve 8 = -4*d - l*y, -d = d - 5*y - 17 for d.
1
Suppose y = 38 + 1. Suppose -2*j = j - y. Solve 3*s - 6 = 3*t, -4*s + j - 1 = -2*t for s.
4
Suppose 10*u = -u + 143. Solve n + u = 4*w, 2*n + 2*w = 7 + 7 for n.
3
Let m = 2 - 0. Suppose -m*j = -3*j. Solve -3*i - 2*o + 0*o = 5, 3*o + 12 = j for i.
1
Let j be (-3)/(-5) - (-12)/5. Suppose 1 - 10 = -j*k. Suppose q = k*v - 2*q - 63, -v + 18 = 2*q. Solve -2*i - 2*o + 1 = -11, -2*i = 4*o - v for i.
2
Let d = -48 - -36. Let x = d + 22. Solve 0 = 3*y - 2*p + 8, 5*y + 2*p - 7*p + x = 0 for y.
-4
Let b = -22 - -25. Solve 3*k - 17 = -2*o, -b*k + 5*o - 6 = -16 for k.
5
Suppose 41 = z + 46. Let f(b) = -b**3 - 6*b**2 - 3*b + 10. Let t be f(z). Solve -l + q - 2 = 4*q, t = -2*l - 4*q - 6 for l.
-5
Suppose -5*s - 11168 = -11178. Solve s*h + 5*r + 35 = 0, r = -4*h + 5*r for h.
-5
Let r = -1190 - -1195. Solve -23 - 14 = 4*c - r*b, 0 = 5*b - 25 for c.
-3
Let a(v) = v**3 - 7*v**2 - 8*v. Let z = -16 - -36. Let p = 28 - z. Let g be a(p). Solve d + g*d + o = 5, d + 2*o = 5 for d.
5
Let g be ((-48)/8)/(2 + -3) - 3. Solve 0 = 2*a - 4, -g*b - a = -4*b - 1 for b.
1
Suppose -o + 1 = -3. Suppose 0*m + 8*m = 3*m. Solve 4*h = 2*w - 0*h + 18, o*w + 4*h = m for w.
-3
Suppose -21 - 23 = -4*x. Let i = -8 + x. Suppose -i + 17 = 2*l. Solve o = 2*z + 3, -3*o + 3*z + 10 = -l*o for o.
-1
Let v(o) = -o**3 - o**2 - o + 2. Let u be v(0). Suppose -u*b = b. Suppose 0 = p - b - 3. Solve -p*n + 4*i - 1 = -19, -2*i - 6 = 0 for n.
2
Let n = 66 - 62. Solve 3*s + 3*u - 30 = 0, 3 + 2 = n*s - 3*u for s.
5
Suppose -68 = -23*j + 24. Solve 4*m = j*v - 4, -3*v + v + m = -2 for v.
1
Suppose -12*k = -13*k - 4. Let t be 3 - 3 - k - 2. Solve t*j = 5*j + q - 3, 4*j + 4*q = 4 for j.
1
Suppose -4*k + 4*r - 15 + 3 = 0, -2*k - 2*r - 2 = 0. Let w be (-5)/k + 9/(-18). Solve -3 - 17 = -w*a + 4*i, 0 = i + 4 for a.
2
Let n(t) = -t**2 - 6*t - 6. Let p be n(-4). Solve -2*g + 3*g + 5*h = -21, p*h = -4*g - 12 for g.
-1
Suppose -13*m + 16 = -9*m. Let y be (1/(-6) + m/(-12))*-4. Solve -4*z = -k - 24, 0 = 2*k - 5*k - y*z - 2 for k.
-4
Suppose -2*d + 70 = 2*j, -5*d + 2*d = 2*j - 103. Let f = 38 - d. Solve -3*b = 5*w - 10*w + 19, f*b = -4*w + 30 for b.
2
Let d(s) = 6*s - 24. Let b be d(13). Suppose -5*x = 4*c - b, 110 = 4*x - 4*c + 38. Let a be 2/(-3) + (-28)/(-6). Solve w + 4*w = m + 19, -x = 2*m - a*w for m.
1
Suppose 4*q + 12 - 16 = 0. Let p be (-1 - 2) + -1 + (q - -3). Solve 4*o - 20 = 4*k - 0*o, 3*o - 12 = p for k.
-1
Suppose -8*k + 4 = -4*k. Let t be (5 - k)/(0 + (-2)/(-2)). Solve 1 = 2*r - 3*r, -3*y - 2 = -t*r for y.
-2
Let n be (-1)/1 + 7/1. Let v = 11 - n. Suppose 1 = 2*y + v*t, t + 16 = -0*y + 5*y. Solve -4*f + 2*s = -2*f + 2, f + s = -y for f.
-2
Let s = -68 + 64. Let d be (-2)/s + (-420)/(-24). Solve -n = 4, 0 = h - 0*h + 4*n + d for h.
-2
Let b(n) = n**2 + 8*n - 4. Let i be b(-8). Let q(s) = 4 + s**3 - 4*s**3 + 4*s**2 + 4*s**3. Let m be q(i). Solve 4*y = -m*a - 12, 4*y - 35 = 5*a - y for a.
-5
Suppose 0 = 4*r + 5*v + 1, -5*r - 4*v + 7*v = 29. Let d(m) = -m + 5. Let q be d(r). Suppose 2*y + 8 = 6*y. Solve 0 = -3*a + q, -y*w + 1 = 4*a - 1 for w.
-5
Let j be 18/(-15)*(-100)/6. Let c = j + -15. Suppose -4*z = 4*w - 24, 0*z - 3*w = c*z - 22. Solve -2 = r - z*t, -6 = r + 2*r + 2*t for r.
-2
Suppose -3*a = q + 1 + 12, 1 = 3*q + a. Solve -3*b - r = b + 5, 0 = q*r - 6 for b.
-2
Let f be 51 + -52 - (-3 - -2). Solve f = 4*u - 4*l + 12, 4*u = 2*l - 4 - 2 for u.
0
Suppose 0 = k - 2*j - 2, 3*j - 1 = 3*k - 10. Let w = 175 + -172. Solve -k*s - 2*m = -14, -5*s = -w*s - m - 13 for s.
5
Let u be -8*(4 - 72/16). Solve -a - u = 4*l - 2, 0 = -4*a - 5*l + 3 for a.
2
Let d(f) = 4*f**2 - f + 4. Let q be d(2). Let n = -13 + q. Solve 22 + 4 = 4*y + 2*t, -30 = -n*y - 2*t for y.
4
Let v = -1088 - -1092. Solve v*w + 26 = -2*h, 3*w - 5*w + 7 = -3*h for h.
-5
Let v = 16 - 2. Suppose 4*j - 8 = 0, d + 0*j = -2*j + 9. Solve 4*u - 14 = -0*u + a, d*a = -u + v for u.
4
Let n = -4 + -3. Let y = 13 + n. Let h be (4/y)/((-1)/(-27)). Solve -3*j - j = 2*o - h, j = 4*o for j.
4
Let a = 1180 - 1177. Solve -g + 6 = w + 11, a*g = -5*w - 19 for g.
-3
Let o = 616 - 596. Solve 2*z = 5*r - 12, -19*z = -2*r - o*z + 3 for r.
2
Let l be (-988)/(-28) + 6/(-21). Suppose -2*b + l = 5*b. Solve 0 = b*u - 4*d + 4 - 10, 5*d + 20 = 0 for u.
-2
Suppose -2*s - 4 = -l, -4*s + 6 = l + 4*l. Suppose l*o - t + 2 = 0, 5*t + 3 - 13 = 0. Let h = -6 - -11. Solve o = -3*x - h*d - 35, -3*x - 2*d + 0*d = 23 for x.
-5
Let o = -22 + 40. Suppose -h + 3 + o = 0. Let t = h - 1. Solve m - g + 3 = 0, -3*g + 4 = 2*m + t for m.
-5
Let m(f) = -8*f - 16. Let l be m(-5). Let x be (-30)/4*(-16)/l. Suppose x = -2*u + 9. Solve -2*g + 3*d = 2, 2*g + 0 = -u*d + 8 for g.
2
Suppose -3*f + l + 11 = -0*f, 4*f = -3*l + 32. Solve 0 = f*t + 5*d, -3*d - 2*d = t + 4 for t.
1
Let k(b) = 2*b. Let i be k(17). Let x = -31 + i. Let o be (2/2 + 3)*1. Solve -3*f - 2 = n, x*n = o*f - n + 24 for f.
-2
Let j(t) = -4*t - 1. Let q be j(-1). Let o(h) = -h + 6. Let b be o(q). Solve -b*p = -4*s - 1 - 6, 3*p = s - 5 for s.
-4
Let x(n) = -n - 6. Let r be x(-10). Suppose -z - z + 20 = r*y, 0 = 2*z + y - 8. Let u = 2 + 2. Solve 2*h = -2*i + 6, z*h = u*i + 3*h + 3 for i.
-2
Suppose 13*u - 46 = 19. Solve -u*g + 15 = -q, -3*g = 2*q + q - 9 for q.
0
Let o(p) be the second derivative of p**4/6 - 7*p**3/6 - 2*p**2 + 12*p. Let z be o(7). Solve 0 = 5*l - 4*c - z + 12, 0 = 2*l + 3*c - 4 for l.
5
Let c(y) = -11 + 1 + 5 + y. Let b be c(9). Solve 5*g + b = 4*g - i, -2*i - 7 = g for g.
-1
Let r be (-172)/20 + (-2)/5. Let o = r + 9. Suppose o*n = -n + 3. Solve y + 3*w - n = 0, 0*y = 4*y - 3*w + 3 for y.
0
Let s(t) = 3 - 1 - t**2 - t**3 - 3. Let i(r) = r**3 + 4*r**2 + r + 2. Let d be i(-4). Let o be s(d). Solve 5*b = -4*c - 7, -2*b + b + 10 = -o*c for c.
-3
Let g = -17 + 7. Let s = 10 + g. Let z be (((-1197)/(-14))/9)/((-2)/(-4)). Solve 5*h + z = t, 3*t - 9 = -h - s*t for h.
-3
Let x(l) = -4*l - 28. Let q be x(-8). Let d be (-2)/4*0/2. Solve -g + 4*j - 5 = d, 0 = g - 4*g - q*j + 17 for g.
3
Let f(z) = z**2 - 7*z - 7. Let q be (24/(-10))/((-3)/10). Let b be f(q). Let j be 2/2*b*4. Solve 4 = -2*g + c + c, -2*c = -j for g.
0
Suppose 3*b - 2*r + 6*r - 14 = 0, -5*b - 3*r + 5 = 0. Let x = b + 4. Let m be x/10 + (-38)/(-10). Solve 4*k + 12 = 0, 0*j + k + m = -j for j.
-1
Let b be 0/(-2*(5/10 + -1)). Solve -a - 2*v = -b*a + 1, -4*v = 4*a - 8 for a.
5
Let k(u) = -5*u**3 - u**2. Let c be k(1). Let w(b) = -b**2 - 5*b + 10. Let v be w(c). Solve -4*f = 3*d - 14, v*d + f - 2 + 5 = 0 for d.
-2
Let r be -5*(-2 - (-7)/5). Let b be (-1 - 0)*80/48*-3. Solve 8*w - r*w - 5 = -5*h, -2*w + b*h - 5 = 0 for w.
0
Let p(v) = v**2 - 4*v - 3. Let j be p(5). Let t(i) = i - 18 - 1 - 6*i + j*i. Let h be t(-11). Solve -4*n = x - 5*n - 3, -4*x = -5*n - h for x.
1
Suppose 0 = 3*q - q - 12. Let r(i) = -10*i + 20. Let a be r(2). Solve a = -v - m - 6, -q*v - 2*m = -2*v + 18 for v.
-3
Suppose -6*v + 5*v = -3. Let j be 4 - (-2)/(2/v). Solve -1 = -3*z + w - 0, j = 5*z + w for z.
1
Suppose 0 = 8*v - 5*v + 57. Let r = v + 29. Solve 3*p = -2*a + 9, 4*a - 3*p + p = r for a.
3
Let x = -84 - -90. Let k(l) = l - 3. Let p be k(6). Suppose 6*u - x = p*u. Solve -3*n + 2 + 1 = -4*v, 3*n = -u*v - 15 for v.
-3
Let n(h) = h**3 - 5*h**2 - 2*h + 4. Let a be n(5). Suppose -6*m = -m - 5*p - 115, -p + 33 = m. Let x = a + m. Solve 3*z + 12 = -5*g - x, -2*z = -5*g - 19 for g.
-5
Let d = -79 - -82. Suppose -d*o = 3*m - 24, 3 = 3*m - 7*o + 3*o. Solve 2*a + m = a - 2*z, 15 = 2*a - z for a.
5
Suppose -19*b = -8 - 30. Suppose -2*s = 2*s + 8, -c - s + 1 = 0. Solve -b*l - 1 = -5*m, 2*m + c*l - 4 = 5*l for m.
-1
Let k = 523 - 521. Solve k*n - 3*f + 2 = 0, 2*n + 3*n + 3*f = -5 for n.
-1
Let f = 314 - 207. Let m = f - 103. Solve -23 = -d + m*z, z - 3 = -2*d - 2 for d.
3
Let t(b) = b**2 + 11*b + 14. Suppose 5*v - 2 = 3. Let u be (v/2)/(4/(-80)). Let k be t(u). Solve -3*l + k*d = -6*l + 13, -5 = -3*l + 4*d for l.
3
Let r(w) be the third derivative of w**5/60 + 11*w**4/24 + 10*w**3/3 + 8*w**2. Let l be r(-9). Solve 4*v = 5*q + 20, -l*v - 12 = 3*q - 3*v for q.
-4
Suppose 2*q = 2 + 4. Suppose -u + 4*v = 4 - 16, 2*u = v + q. Solve 7 = r + 4*a, -4*r = -u*a + 2*a f