= j, -i - 10 = 4*c for i.
2
Let k be (1 + 1)/(4 - 3). Let j be k*-34*(-2)/8. Let x = 20 - j. Solve -i = -3*d - 2*d - 22, 2*d + 14 = x*i for d.
-4
Suppose 0 = -4*s + 4 + 4. Let d be 0 + -3*(1 - s). Solve -5*n + n + 12 = -t, -d*t + 20 = 2*n for n.
4
Let l = 283 + -278. Solve -l*t - 3 = -3*r - 8, 40 = 5*t + 4*r for t.
4
Let x = -58 - -58. Solve -3*y - 22 = 5*c - 4*y, -2*c + 3*y - 1 = x for c.
-5
Suppose 4*f = -3*g + 5, -6 = 3*f - 3. Solve -7 = -g*v + 5*x - 2, 5*x = -2*v + 20 for v.
5
Let q be (20/(-70))/(12/21)*-6. Solve -q*r + x - 1 + 0 = 0, -3*r = 5*x - 5 for r.
0
Let r(u) = 40*u + 242. Let t be r(-6). Solve -t*z - f = -3*z, -3*z - f = 4 for z.
-1
Suppose 5*o + 4*f = 31, -4*o + 5*f = -9*o + 30. Solve 2*r - o + 25 = -5*x, -4*x + 2*r = 0 for x.
-2
Let c(r) = -r**2 + r + 1. Let f(h) = -8*h**2 + 11*h + 10. Let g(p) = -22*c(p) + 2*f(p). Let j be g(1). Solve -2*a - 2*l = -2, 0 = -3*a - 4*l - j + 9 for a.
-1
Suppose -2*g = 2 - 8. Suppose i + 2*q + 7 = g*q, q - 10 = 2*i. Let w = i + 8. Solve 5*k - w*f - 10 = 0, -k - 2*f - 8 = -5*k for k.
2
Let d(k) = -k**3 + 5*k**2 - k + 6. Let f be d(5). Let l(a) = 2*a**2 + 34*a - 70. Let x be l(-19). Let h = x - f. Solve h*s - 3 + 0 = t, -t + 3 = s for t.
2
Let y(r) = r**2 + 4. Let v be y(0). Let p be (-87)/(-58) + (-11)/(-2). Suppose p*o = 8*o - 13. Solve v*g - g = c + 14, 4*g = -5*c - o for g.
3
Let a = 20 + -20. Let d(k) = k**3 + k**2 + k + 7. Let q be d(a). Solve 4*g = 2*o - 20, -g = q - 2 for o.
0
Let o = 1 + 8. Let z be -4 - (-4 - o) - 3. Suppose 2*p - t = z, -3*t - 6 = -2*p + t. Solve -p*q - 3*g = -6*q + 12, 0 = -5*q + 3*g + 22 for q.
5
Let y = -45 - -49. Let m be (51/(-12) - -4)*(-80)/y. Solve 0 = -3*a - a + 3*n + 26, -29 = -m*a + 2*n for a.
5
Let s be (2 + (-33)/12)*(-48)/18. Solve -2*l + n + n = 0, s*l + 3*n + 20 = 0 for l.
-4
Let s be 4 + 9 + (-15)/5. Solve 5*m - 13 = m - 5*d, -2*d = -s for m.
-3
Suppose 7*n - 3*y - 15 = 4*n, 0 = y + 2. Solve 0 = -5*s - 3*q + 20 + 3, 9 = 3*s - n*q for s.
4
Suppose -2*u + 8*s + 30 = 3*s, -5*u - s + 21 = 0. Let x(h) = -27*h + 141. Let n be x(5). Solve -10 = -u*k + 5*a, -n*a - 1 = 4*k - a for k.
1
Let t(p) = p**2 - 5*p - 6. Let a be t(6). Suppose -2*j + 5*j - 12 = a. Solve -r - 3 = -5, -j*r = -l - 11 for l.
-3
Let k be ((-12)/3 - -14) + 0. Let p = 10 + k. Suppose 0 = 3*v - 26 + p. Solve 0 = 5*j + 4*i + 31, v*j + j + 21 = -3*i for j.
-3
Suppose -5*j + 4*v + 59 = 14, -10 = 2*v. Let r(l) = 4*l + 3. Let h be r(j). Let c be 1*(h + 3 + -3). Solve 5*m - 3*p = 25, 2*m = 6*m - 3*p - c for m.
2
Let u = -88 - -160. Let d = u + -31. Suppose -3*h - 5*x = 2*h + 5, -4*h = -5*x - d. Solve 2*s + c - 2 = h, -5*s + 15 = -4*c for s.
3
Let k = 6 + -3. Let u(g) = g + 16. Let h be u(-14). Suppose h*a + 3*d = 3, 5*a + 3*d + 1 = 13. Solve 0 = -k*b + 4*n + 1, 3*n = -a - 9 for b.
-5
Let o be 0 + (-40)/(-18 + 8). Solve 2*q - o*z + 4 = 0, 0 = 8*z - 12*z for q.
-2
Let p be 3/(18/4 - 3). Suppose p*b - 3*a = -15, b - 2*a + 5 = -a. Suppose -24 = -b*d - 2*d + 3*c, -2*d + 16 = -c. Solve 4*h + 0*h = -5*t - 18, -3*t = d for h.
-2
Suppose -v = 9*v + 30. Let q be (v/2)/(18/(-84)). Solve 4*r + 2*u - 3 - q = 0, -12 = -3*r + 3*u for r.
3
Let f be (2 - (-68)/(-32))*-16. Solve 0 = -0*z + z + f, 2*r - 6 = 2*z for r.
1
Let w be (-2 - -1)*(-7 - -13). Let l be 1/(-3)*(3 - (3 - w)). Solve 0 = 3*u + l*a + 2*a - 2, -3*u - 8 = -a for u.
-2
Let c(x) = 5*x + 2. Let l be c(1). Suppose -1 = l*f - 22. Solve -2*t = m + 2 - f, 11 = -5*m - 2*t for m.
-3
Let y be -4 + 0 + (2 - (-2 + -5)). Solve -b = -3*h + 10, 2*h = -y*b + 24 + 11 for h.
5
Let u = 1 - 0. Let f = 37 + -24. Suppose 0 = -q + f - 5. Solve 4*m + 3 + u = 2*l, 4*l = m + q for m.
0
Suppose 10*m + 5 = 5*m - g, -25 = 5*m + 5*g. Solve 0 = -v - 5*d - 24, 4*v + m*v + 36 = -5*d for v.
-4
Suppose -49 - 11 = -30*o. Solve -5*m + 4*q = 25, 0*q + 12 = -o*m + 2*q for m.
-1
Let y(j) = -10. Let r(k) = -k + 20. Let z(d) = 3*r(d) + 5*y(d). Let t be z(2). Solve 0 = 5*l + t*w - 45, -3*w + 5 = -2*l - 0*l for l.
5
Suppose -5*f - m + 10 = 0, 5*m + 2 = -2*f + 3*f. Let z be (-1)/f - 5/(-10). Solve 5*y - 35 = 5*n, 5*y - 15 = n - z*n for n.
-5
Suppose -15*p - 260 = -80*p. Solve -10*z - 5*l + 27 = -11*z, p*z + 5*l = 17 for z.
-2
Let n = 42 - 32. Suppose -6 = -w - w + 3*d, -3*w - n = 5*d. Solve w = -r - 2 + 3, -23 = 4*q - 3*r for q.
-5
Let c be 43/9 + (-14)/(-693)*11. Solve -c*n = 3*s + 37, s - 6*s - 15 = -n for s.
-4
Let f(x) = x + 2. Suppose -8 = -4*r - 0*r, 3*r - 6 = -2*s. Let k be f(s). Solve -4*z + z + v = -5, 0 = -z + 4*v - k for z.
2
Let h(r) = -2*r**3 + 9*r**2 + 6*r. Let k be h(5). Solve 5 = k*a, -5*p - 22 = -5*a + 3*a for p.
-4
Let k(g) = -2*g**2 - 17*g - 33. Let j be k(-5). Solve 0 = 2*a - d - 10, 0 = -j*a - d - 5 + 11 for a.
4
Let y be 15*3/9*(0 - -1). Solve -q - 5*f + 19 = 0, y*q = q - f for q.
-1
Suppose 0 = 2*x - 11*m + 12*m - 11, 0 = 3*x - 2*m + 1. Solve -4*i - 5 + 0 = x*o, i - 10 = -3*o for i.
-5
Let s(f) = 5*f - 11. Let i be s(0). Let v = -2 - i. Solve -2 = -2*m, 4*d = 3*m + 2*m - v for d.
-1
Let p(y) = -y**3 - 2*y**2 + 2. Let a = -3 + 1. Let i be p(a). Suppose 8*c - 23*c + 60 = 0. Solve 2*m + c = -2*u - u, 12 = u - i*m for u.
2
Suppose -2*c - 17 - 7 = 0. Let m be (-2 - -3)*(-1 - c). Let q = -6 + m. Solve 25 = y - 4*j, y - q*j - 50 = -4*y for y.
5
Let o(b) = 3*b**2 + b. Let f be o(1). Let m = -36 + -1. Let t = 41 + m. Solve x = t*x - 4*y - 32, -5*y - 41 = -f*x for x.
4
Let s(c) = c**2 - 12*c - 10. Let j be s(17). Let k = j - 72. Solve -k*u = -2*u, 3*q = -5*u for q.
0
Let v(m) = -5*m + 18. Let k be v(-9). Let h = k + -59. Solve t = -3*x - 15, -t - h*x = -0*x + 20 for t.
0
Let q = -33 - -78. Let v = q - 43. Solve f - 1 = 3*p, p + v = f - p for f.
4
Let g = 609 - 590. Solve -g = -2*x + 5*m, -x + 17 = -0*x - 4*m for x.
-3
Let g = -22 - -12. Let v = g + 6. Let l(j) = j**2 + 5*j + 6. Let s be l(v). Solve -4 = -4*t - 2*f - s, 0 = t + f - 3 for t.
-2
Let x be (-18)/8 + 9792/256. Solve -4*p + 6*j - x = j, -16 = 5*p + j for p.
-4
Suppose -974*a = -976*a + 10. Solve -12 = a*b + 2*q + 5, 0 = b + 2*q - 3 for b.
-5
Let n(k) = -5*k - 3. Let w be n(-1). Suppose -a = w*a - 9. Solve -p - 10 = p + 4*m, -a*m - 10 = p for p.
5
Suppose l + 4 = 9. Suppose 0 = -l*z + 5*a - 40 + 170, z + 5*a + 4 = 0. Suppose -3*c + z - 9 = 0. Solve -4*m = -c*b - 4, 4 = -5*m - 3*b - 23 for m.
-3
Suppose 8 = -2*v + 4*k, 3*v + 0*k = 3*k. Solve 4*i = v*h, -5*i - 7*h = -3*h - 18 for i.
2
Let x = 14 + -1. Let l = 9 + -6. Suppose -l*w = -32 - x. Solve 0 = a + 5*i - w, 8*i - 10 = 3*i for a.
5
Let y(b) = -4*b - 2. Let p be y(-3). Suppose -2*c + p = -5*v + 3*c, -3*v = -5*c + 14. Solve v*a = 5*w + 3*a - 1, -4*a + 4 = 3*w for w.
0
Suppose 4*a - 5*a + 5*g + 15 = 0, -a = g - 3. Solve b - a*b - 16 = -5*l, -5*b = -4*l + 20 for l.
0
Suppose -4 + 1 = -o. Let b be ((-36)/(-324))/(1/(-6))*-3. Solve -2*s + 5 = 5*t - o, 16 = 4*s + b*t for s.
4
Let p be 1*3 - (4 + -4). Let h(k) = 5*k**3 - 5*k**2 - 2*k + 2. Let a be h(1). Solve -p*g + 15 = -3*n, -n + a*g + 3 = 3*g for n.
-3
Let u = -2076 - -2089. Let b(x) = -x - 3. Let m be b(-6). Solve 2*s + u = m*i, -5*s - 9 = -2*i + 7 for s.
-2
Let w(n) = n**2 - 8*n + 2. Let m be w(8). Let b be (2/(-4))/(m/(-44)). Let t = -7 + b. Solve 2*j - 5*y + 12 = 0, t*j - 2*y + y = 12 for j.
4
Let x = -304 + 307. Solve x*m - 18 + 3 = 4*w, 20 = -3*w + 4*m for w.
0
Let k = -804 - -815. Solve x - 5 = 4*r, -2*x - 1 = -3*r - k for r.
0
Let s be (-1 + ((-54)/(-12) - 1))*2. Solve 0 = -w + 5*z + 6, 0 = -w + 2*w - 4*z - s for w.
1
Let c = 232 + -224. Solve -8 = -4*u + 4*b, -3*u - 2*b + 4*b + c = 0 for u.
4
Let k = -2715 - -2719. Solve 5*z = 5*d - 15, k = -2*d - 3*z + 10 for d.
3
Let w be ((-6)/4)/(-3)*10. Let j = 13 + -15. Let f = w + j. Solve 2*d - f*p - 2 = 3, d = -p - 5 for d.
-2
Let i = -8 + 10. Let m = 1 + i. Solve 0 = -4*j + 5*k + 16, -m*j - 2*k = 2*k + 19 for j.
-1
Suppose -x + 8 = 3. Suppose -4*o = -5*c - 29 + 6, -o = -x*c - 17. Solve 4*a + 0*i - i = -20, -3*a - o*i - 15 = 0 for a.
-5
Suppose 0 = 88*n - 86*n - 10. Suppose -2*h + 62 = -f - 1, -n*h = -4*f - 162. Solve -5*u + 0*u + h = -5*m, -5*m + 2*u = 21 for m.
-3
Let p(f) = -3*f - 15. Let z be p(-7). Solve 0 = -i + z*i + 4*s - 36, 0 = 4*s - 16 for i.
4
Suppose 14*l - 10 = 12*l. Suppose 5*s - 2*f = -0*s + 4, l*s + 5*f = 25. Solve s*g + 1 + 1 = 0, 3*c + 2 = -5*g for c.
1
L