x*r + 3*b + 8 for r.
-1
Let i = -1054 - -1091. Solve -4*d - 5*a - 27 = -8*a, 5*a = 4*d + i for d.
-3
Let k(s) = s**3 + 7*s**2 + 4*s - 8. Suppose -5 + 1 = -2*v. Suppose -j + 6 = -v*j. Let x be k(j). Solve 4*z - r - 4*r + 3 = 0, -4*r = -x*z for z.
3
Suppose 0*a + a + 2 = 0. Let b be -1*-22*a/(-4). Let j(n) = -n + 15. Let m be j(b). Solve m*o = 2*c + 14, -4*o + 19 - 1 = 2*c for c.
1
Let k(h) be the first derivative of h**2 - 18*h + 10. Let u be k(10). Solve 2*l = 3*b - 14, u*b + l - 6*l = 13 for b.
4
Let c = -21 + 24. Solve r - 3*r = 2*v + 10, 0 = r - c*v - 11 for r.
-1
Suppose 20 = -0*a + 4*a. Solve -m - 2*k = -a, k + 6 = 5*m - 8 for m.
3
Suppose -5*q + 4*q + 2 = w, -5*q = -3*w + 22. Solve -4*n + 3*n = -3*c - 18, 11 = -w*c - 3*n for c.
-5
Let i(s) = 160*s + 4*s**2 - 10 + 161*s - 335*s. Let x be i(5). Solve 0 = 5*c - x, 4*n = 3*c for n.
3
Let t(l) = 18 - l**2 - l**3 + l**2 - 27*l + 15*l**2. Let r be t(13). Solve 0*i + 15 = r*i, 0 = 4*q - 3*i + 5 for q.
1
Suppose 105 = 4*x - 5*t + 31, 3*x + 5*t - 38 = 0. Solve -2*q + 3*j = 21, 5*q + x = 3*j - 14 for q.
-3
Suppose -30 + 60 = 2*d - 3*f, 4*d + 2*f - 60 = 0. Solve 2*k - 10*u = -5*u - d, -3*k - 2*u = -6 for k.
0
Let f = 70 - 67. Solve -12 = -2*y + 4*i, -f*y + 3*i = 2*y - 9 for y.
0
Let i be 3/((-10)/(-4) + -1). Suppose -4*q + 80 = -3*f, -f - i*f - 60 = -3*q. Solve q = -5*b + 2*d - 0, -5*b - 20 = -4*d for b.
-4
Let t be (-7 - -6)*4 + 6*1. Suppose 0 = -2*u + 10 - t. Solve -n = 5*q + 20, -u*n = n - 5*q - 20 for n.
0
Suppose -2*c = c. Suppose -5*q + 0*q = -y - 20, c = -4*q + 3*y + 27. Let i(o) = o - 3. Let r be i(6). Solve -5*n = r*d + 2*d - 10, -5*d - q*n + 12 = 0 for d.
3
Suppose 39 = 7*l - 4*l. Suppose 0 = 2*x + 4*b - 16 + 6, l = 2*x + b. Suppose 9 = -4*w + x*w. Solve -o - 2*j + 4 = 0, 4*o + 2*j - 13 = -w*j for o.
2
Let u be (-63)/(-27)*24/28. Solve -3*n - u*n - 3*a - 8 = 0, 4*n - a + 3 = 0 for n.
-1
Suppose b - h - 2 = 0, -4*b - h + 17 = -2*h. Solve 0 = -4*g, -4*g = 5*w - 8*g + b for w.
-1
Suppose -4*t + 0*t = -2*y - 22, 20 = 4*t - 4*y. Suppose -t*c = -2*c - 24. Solve 5*n + 2*s + 5 = 0, c = 2*s - 4 for n.
-3
Let o(h) = 2*h**2 + h - 1. Let p(d) = d**2 - 9*d + 1. Let u be p(9). Let c be o(u). Let a = 0 - -4. Solve x + 2 = -3*n, -x - a + 2 = -c*n for n.
0
Let h be (3/2)/(9/78). Solve 0 = s + 2*f + 6, 6*s + 5*f + h = 3*s for s.
4
Suppose 2*c - 3*n + 25 = 0, c = -12*n + 15*n - 8. Let k(l) = l**2 + 5*l + 3. Let d be k(-7). Let p = c + d. Solve 2*x + 3*v = p, v = -x - 2*v for x.
0
Suppose 2*m + 15 = 3*m. Let d(q) = 8*q**2 + q - 2. Let n be d(1). Suppose -n*o - 8 + 22 = 0. Solve -m = 3*h, -2*c + 0*h - 2*h = o for c.
4
Let z = 1158 - 1156. Solve 4*g = -14*y + 19*y - 4, -z = 2*g - 5*y for g.
-1
Let s = 69 - 44. Let i = s - 23. Solve -i*h + 8 = 0, -h = 4*b + 3*h - 12 for b.
-1
Let k be 10/15 - (-13)/3. Suppose 2 = 4*r - 2*j, 2*j + 1 - k = r. Solve 5*n - 20 = 4*h, h + 15 = -r*h for n.
0
Suppose 0 = 13*d - 232 + 76. Let a = -1 + d. Solve -2*h + 2*i + 14 = 0, -3*h + 18 = -5*i - a for h.
3
Let t be 5 + -11 - 27/(-3). Solve 8 = 4*b + t*r, b + 4*r = 3 - 1 for b.
2
Let b be -4*(-3)/12*7. Suppose -b*l = -12*l + 20. Solve 0 = h - 6*h - p + 12, 0 = -4*h - l*p for h.
3
Let y(q) = q**2 + 18*q + 3. Let k be y(-18). Solve k*l + 12 + 8 = 2*j, -5*l = 2*j + 12 for j.
4
Let g(z) = -3*z**2 - 13*z + 12. Let r be g(-5). Solve -r*s + 5*k + 23 = 0, k + 23 = 5*s - 0*k for s.
4
Suppose -140 = r - 0*r + p, r + 139 = -2*p. Let u = -111 - r. Solve 4*h - u = 2*c, -2*c + h - 10 = -c for c.
-5
Let t(x) = x - 14. Let d be t(15). Let s be 3 + d + -2 - -2. Suppose 0 = g + s - 7. Solve -p + 2*p = 2, 4 = -5*y - g*p for y.
-2
Let u(j) = -j**2 - 2*j + 3. Let p be u(-3). Solve 3*d + n = -8 - 5, p = -4*n - 16 for d.
-3
Let f be -3*(13 + -1 + 1). Let a = -35 - f. Solve -25 = 5*c + 5*j, -a*c + 0*j - 20 = 3*j for c.
-5
Suppose 14*h = -38 + 108. Solve 5*v + 25 = -5*z, -h*z + v = -2*v - 7 for z.
-1
Let t(l) = 4*l**3 + 1. Let k be t(1). Suppose 13*y - 5 = 12*y. Let f be (10/y)/((-6)/(-9)). Solve 0*v + 5*v = 3*i + k, -17 = f*i + v for i.
-5
Let z be (-6)/(6/35)*-1. Let c = -31 + z. Let r be (-6)/c + (-5)/(-2). Solve -g = -f + r, -2*g + 4 = -3*g for f.
-3
Suppose y = -4*y + 25. Suppose -y*j + 0*j - 5*t + 120 = 0, 4*j - 97 = -3*t. Let b = 42 - j. Solve 5*i = -4*c - b, 2 = -2*i - 0*c - 4*c for i.
-5
Let g(o) = 2*o**3 + 127*o**2 - 62*o + 132. Let d be g(-64). Solve -3*v = y - d, -v + 2*v - 4*y = -3 for v.
1
Suppose -2 = 4*g - 2*w, 0 = -3*g - 3*w - 8 + 11. Solve -31 = 4*i - 5*x, 4*i - 4*x = -g*x - 28 for i.
-4
Suppose 0 = 4*w - 8*w - w. Let q be 21 + -20 + 1 + (w - -2). Solve -17 = q*z + z + 3*t, 2*t = 2 for z.
-4
Suppose 0 = 84*o - 145 - 191. Let n be (2/4)/((-1)/(-6)). Solve 0 = 2*c + n*w - 2, c = -o*c - 3*w - 4 for c.
-2
Suppose 0 = 21*i - 151 + 4. Solve c - 4 = 2*b - i, -2*b + 5*c - 17 = 0 for b.
4
Let i(c) = -56*c + 168. Let l be i(3). Solve 5*h - 2*n + 30 = l, -4*h + 3*h - 24 = -4*n for h.
-4
Let d = -34 + 38. Suppose -t = 5*s, -4*s - s = d*t. Solve -2 = -4*k - 5*y + 11, -3*y + 3 = t for k.
2
Let t = 167 - 158. Let k(l) = l**2 + 7*l - 4. Let d be k(-8). Suppose -4*r = d*x, 3*r + 5 = -r - 5*x. Solve f + 2 = 3*h, r*h + 0 = -4*f + t for h.
1
Let i(g) = g**2 - 22. Suppose 6*o - 28 = 2. Let b be i(o). Solve -4 = -5*w - 0*w - b*u, -4*u = -5*w + 18 for w.
2
Let f = -718 - -718. Solve f = -i - 4, 2*y + i - 5*i - 6 = 0 for y.
-5
Suppose 23*y - 265 = 18*y. Let m = -44 + y. Solve 3*b + 19 = a, 5*b + 4 + m = -3*a for a.
4
Let k = -1 + 3. Suppose k*q + 3*q - 3*c = 9, -3*q - 5*c + 19 = 0. Solve q*r = 4*o + 11, 4*o = -o + 5 for r.
5
Let t be 33*((-20)/6 - -3). Let h = t - -15. Solve 17 = -0*y + 2*y + 3*s, -2*y - h*s + 22 = 0 for y.
1
Let o(a) = -35*a - 3. Let t be o(-3). Let g = t - 99. Solve 0 = g*y - 6, -i + 2 = i + 3*y for i.
-2
Let x = -16 + 27. Suppose -k = -x*k. Solve 0 = 3*p - 4*p - 3*y + 13, k = 2*p + 3*y - 11 for p.
-2
Let p be 11 - (0 - -1 - -1). Let q(d) = 9*d + 4. Let i be q(-5). Let y = i - -41. Solve n + y*r + r - 7 = 0, 3*n - p = r for n.
4
Let c(p) = 11 + 14 + p**2 + 0*p**2 + p - 11. Let o be c(0). Let a(y) = y**2 - 13*y - 12. Let i be a(o). Solve -3*f + 6 = -2*u, -i*f + u = f - 9 for f.
4
Suppose -3*l = 5*j - 5, 7 = 4*l + 2*j + 5. Solve f + 16 = 5*h, l*f = 5*h - 4*f - 19 for h.
3
Let a(s) = 22*s + 2. Let k be a(-1). Let o = 21 + k. Let p(y) = 2*y + 1. Let g be p(o). Solve 0 = -5*v + 2*m - 21, -v - 6 - 6 = -g*m for v.
-3
Let o(d) = -3*d + 2. Let b be o(-1). Suppose 0 = k + 1 - 4. Solve 3*c - b = 5*n, -5*n - 35 = k*c - 0*n for c.
-5
Let g(l) = 5*l - 154. Let f be g(31). Solve 0 = t - m - 0*m + f, -t = -4*m + 10 for t.
2
Let x(y) = -y**2 + 4*y - 4. Let n be x(2). Suppose 6 = -4*t + 2*w + 2, n = -t + 2*w - 7. Solve 19 = 4*l - 3*k, 3*l - 2*k - t = 12 for l.
1
Suppose -22 = -2*m - d + 5, m = -4*d + 31. Let j = m + -7. Let u be (-6)/(-4)*j/3. Solve q - u - 2 = 0, -30 = -2*c - 5*q for c.
5
Suppose -3*i + 15 = 5*f, -4*i + 0*i + 3*f - 9 = 0. Suppose i = 3*l - 9. Solve 0 = 4*j - h + 17, 0 = l*j - 4*h + 2*h + 14 for j.
-4
Let o(b) = 2*b**2 + 11. Let h(j) = -j + 1. Let d be h(1). Let i be o(d). Solve 0 = 2*p + 5*c + 15, -4*c = p + 1 + i for p.
0
Let g = -949 + 950. Solve l = -5*t + g, -5*l + 2*l = -3 for t.
0
Suppose 1 = 2*m + 4*t - 21, -3*m = -5*t + 22. Let w be m/4*(-2 + 2). Suppose w = -5*q + 30 - 0. Solve -5*c - q*h = -3*h - 10, -3*c = -h - 20 for c.
5
Let b(g) = g**2 - 19*g - 128. Let y be b(25). Solve 0*c + 2*c - 5*z = y, -5*c - 5*z = 15 for c.
1
Let t be ((-2)/3)/((-7)/(-420)*-8). Solve z - t*a = -2*a - 17, 2*z - 5*a + 30 = 0 for z.
-5
Let t be 3/2*-7*-2. Let p = -1 + t. Let w = p + -18. Solve -3*h = w*v + 22, -2*h + 5*v = -3*h - 29 for h.
-4
Let u(r) = r**2 - 11*r + 26. Let b be u(9). Let p = -9 - -6. Let z = 3 + p. Solve z*f + 5*f + 10 = -4*h, b = -4*f + 2*h for f.
-2
Suppose 0 = -8*g + 6*g - 28. Let q = -12 - g. Solve q*a - 2*p - 24 = -6*p, -3*p + 21 = 3*a for a.
2
Suppose -4*x + 5*j + 21 = 0, 2*x - 3*j = x. Let s = x + -9. Solve 0*o - k + 21 = 4*o, o - 5*k = s for o.
5
Suppose -b + g + 7 = 0, -3*b - 3*g - g = -7. Solve -i = -l + 2*l + 1, -3*i = -b*l - 29 for i.
3
Suppose -5*v - 15 = 5*p, -4*v + 2*v - p - 1 = 0. Suppose v*j + 3 = 5*j, 4*g = 4*j + 4. Solve -4*q = -g*o, -2*o = 3*o - q for o.
0
Let k be 185/7 + 57/(-133). Let n = 4 - 4. Suppose -3*b + 69 = 