o = -j + 4*a, 5 = 3*a - 4 for j.
-2
Let c(y) = 3*y + 3 - 3 + 6. Let n be c(6). Suppose 6*x - n = 4*x. Solve 5*g = -4*j + 20, -3*j - x = -3*g - 0*j for g.
4
Suppose -3*b + 2*b = -2. Let i be 3/b*20/6. Solve -4*h - i*c = -5, 3*h - 2*h + 4*c - 4 = 0 for h.
0
Let d be (-34)/(-8) + (-2)/8. Suppose 0 = -d*p + 3*p - 2*q - 4, q = -4*p + 5. Solve -2*o = -3*y + p*o + 15, 4*o = -y - 11 for y.
1
Let h(d) = d**2 + 2*d. Suppose -4*k + 3*f + 2 = 11, -7 = 3*k - 2*f. Let g be h(k). Solve 0 = -4*x + 3*j + 3, -g*x = -5*j - 10 - 6 for x.
-3
Suppose -2*t + 0 = 2*z - 16, 4*t = -z + 23. Suppose -3*d - 2*d + t = 0. Solve 4*y - 3 = -3*m, -1 = -2*m + 5*y + d for m.
1
Let r = -1 + 4. Suppose 0 = 2*i - 3*d - 23, 31 = 4*i - 4*d + r*d. Suppose 5*v - 2 = 3. Solve -3*a - 2*p + v = 0, -4*p - 6 - i = a for a.
3
Suppose 0 = 3*q + 5*v - 25, 3*q - 4*v = 2*q - 3. Solve 0 = -h + 4, -q*h = 3*u - 0*h - 8 for u.
-4
Suppose -4*w = r - 37, -4*r = 7*w - 3*w - 52. Let b = 10 - w. Solve -2*h + b = -4*k, 3*k + 1 = -2 for h.
-1
Let w be (-1)/5 - (-33)/15. Solve 0 = u - w*x - 7, -u - 4*x - 26 = u for u.
-3
Let j(w) = w**2 - 10*w + 8. Let n be j(6). Let u be (n/24)/((-4)/18). Solve u*x + 14 = -x + 2*i, -3*i = -3*x - 12 for x.
-3
Let n(h) = -182*h**3 - 2. Let z be n(-2). Let v be (-2)/5 + z/10. Suppose 2*m = -3*m + v. Solve 4*p + 5*t - 5 = 0, 0*p + 4*p - m = 3*t for p.
5
Let a(s) = s**3 - 8*s**2 - 10*s + 10. Let t be a(9). Suppose 7 = 4*l - t. Solve n + l*n - 5*g - 13 = 0, -37 = 3*n + 5*g for n.
-4
Let c be (-3)/(-9)*(5 - -10). Suppose 3 + 17 = c*r. Solve 4*y = -2*w, r*w - y - 12 = 3*y for w.
2
Let n(t) = t + 8. Let s be n(-6). Solve -16 = 4*o - 4*m, 0*o + 2*m - 4 = -s*o for o.
-1
Let b(y) = y**3 - 2*y + 3. Let m be b(2). Let c(g) = -g + 17. Let a be c(m). Solve -2*o - 3*t + 5 = -2*t, -5*o = -2*t + a for o.
0
Let i = 272 + -166. Let z = i + -56. Solve -5*g - z = 5*v, v - 9 - 11 = 5*g for v.
-5
Let k be 5/(-20) + 9/(-12). Let y = k - -5. Solve 0*l + l + y*v = 9, v = 5*l - 24 for l.
5
Let b be 8/(-16)*(0 + -2). Let n be 5*(12/15)/b. Let f(h) = -h**2 + h + 6. Let s be f(0). Solve -3*d + 20 = w, -n*w + s = 2*d - 24 for d.
5
Let r be (-2)/3 - (-87)/9. Let z = -4 - -7. Suppose -z*h = -r - 21. Solve 3*a - 5*l = 2*a - 19, -a = -2*l + h for a.
-4
Suppose -v = -5*v. Suppose v*l = -l. Suppose 5*f = -2*o - 10 - 0, l = -5*o + 2*f + 4. Solve 4*y - u - 5 = 2, 5*y - 5*u - 20 = o for y.
1
Suppose 3*t = 1 + 5. Let s(g) = 7*g - 5. Let l be s(t). Solve 3*j = l, -i - 4*j + 7 = -0*i for i.
-5
Suppose -3*i = i - 24. Suppose 2*c = i*c. Solve c = -4*f + b, -f = -2*f - 2*b + 9 for f.
1
Let s be -3 - (3 + (-80)/4). Solve 0 = 4*q - 4, -3*q = -5*z - 7*q + s for z.
2
Let l be ((-3)/9)/((-1)/15). Let q(r) = -2*r**2 + 9*r - 6. Let w be q(3). Solve -w*d = 0, -2*d - 3 = 2*a - l for a.
1
Let q be -2 + (47 - -1 - 1). Suppose -3*v = 4*j - 44 - 11, q = 5*j - v. Solve -8 = 2*f - 4*x, 2*x = 5*f + 2 + j for f.
-2
Let t be (55/(-22))/(1 + 6/(-4)). Solve -11 = -5*g + t*n - 2*n, 3*n + 7 = 4*g for g.
4
Suppose 4*o = 7*o - 9. Solve o = -5*p - 3*a - 7, 4*p + 3*a + 8 = 0 for p.
-2
Let w = 338 + -338. Suppose 0 = b - 5*h - 4 - 2, 0 = 4*b - 5*h - 99. Solve -o = 5*f + 3*o - b, w = -4*f - 3*o + 24 for f.
3
Let r(c) = -c**3 + 8*c**2 - 6*c - 6. Let j be r(7). Let g = 2 + j. Solve -5*t + 4*z + 9 = 0, g*t - 1 = -2*t - 4*z for t.
1
Suppose -22 = -d + 5*z, 10 = d - 0*z - 2*z. Solve -d*w - 1 + 17 = 4*y, 0 = -3*w + y + 10 for w.
4
Suppose -8 = -7*m + 6. Solve 0 = 4*v - 12, -m*s - v - 3*v + 18 = 0 for s.
3
Let z(u) = u**3 + 5*u**2 - 7*u - 4. Let o be z(-6). Let m = o - -2. Suppose -2*y - 3*y = 0. Solve p + m*p - 25 = y, 3*p - 11 = -2*n for n.
-2
Let o(y) = 2*y + 35. Let m be o(-16). Solve -3*w + m*q = 21, 2*w = -0*w - q - 8 for w.
-5
Let w = 16 - 7. Let l = -7 + w. Solve 2*d + 4*t = 12, -3*d - l*t = d for d.
-2
Suppose 5*u + 15 = -5*p, -3*p - 2*u = -6*p + 6. Solve p = -2*l + 5*x - 2, 5*l + 4*x - 16 - 12 = 0 for l.
4
Let u(f) = -44*f**3 - 7 + 45*f**3 + 5*f**2 + 4*f**2 - f. Let y be u(-9). Solve -y*n = -6*n + c - 5, 0 = -4*n - c - 3 for n.
-1
Let l(w) = -2*w. Let s(j) = 2*j + 1. Let m(z) = -6*l(z) - 5*s(z). Let d be m(5). Solve -d*q + 19 = 3*c, 5*c + 4 = 2*q + 15 for c.
3
Let q(n) = n**2 + 6*n - 14. Let u be q(-8). Solve -b - u*j = -0*b + 13, 5*j + 25 = -b for b.
-5
Let z = -8 - -11. Let h = -1 + z. Solve 5*a = 5*t - 20, -h*t = -5*a - 14 - 6 for a.
-4
Let p = 2 + 5. Let r(s) = s**2 - 3*s - 8. Let b be r(p). Solve -5*x + 5*l = -40, -x - l = -6*l - b for x.
5
Let c(i) = 3*i**3 - 2*i**2 - i + 2. Let y be c(1). Suppose -y*a + 6 = -2. Solve -5*p - a*b + 40 = 0, -2*p + 5*b = 12 + 5 for p.
4
Suppose -2*x - 2 = -20. Suppose -4*c = -149 + x. Suppose 2*k = -t + 5*k + 7, -5*k = -5*t + c. Solve 0 = -2*u + 6, t*u - 20 = -2*q + 3*u for q.
4
Suppose -3*w = 4*c - 10, 4*w - 6 = -0*c + 2*c. Solve -5 = -5*h, -4*h + w*h = 4*f - 18 for f.
4
Let h(v) = v**2 - 2*v - 12. Let q be h(5). Solve 0 = -5*c - 11 - 9, -16 = -q*s + 4*c for s.
0
Let l = 12 + -7. Let q be (9/15 + 0)*l. Solve -2*j + 14 = 2*y + 2*y, q*j = -4*y + 19 for j.
5
Suppose 4*h = -5*x + 5, 1 = -h - 4. Suppose t = o + 4*t - x, -4 = -o - 2*t. Solve v + 5*z = 4 - 0, 0 = -3*v - z - o for v.
-1
Let i(k) = -k**3 - 3*k**2 + 3*k + 6. Let o be i(-4). Solve 2*p = -2*p + u + o, 4*p + 3*u = 18 for p.
3
Suppose -5*m - 4*m = -18. Solve 3*j = -3, 2*g + m = 5*g + 4*j for g.
2
Let l be (-3)/((-12)/10)*2. Suppose -5*v + l*g - g = -123, -g = 2*v - 44. Solve u = -3*p - 0*p + 11, -3*u = 4*p - v for p.
2
Suppose 5*o = 20 - 0. Solve -m = 4, -2*x + o*m + 16 = x for x.
0
Suppose -3*f - 4*u + 74 = 0, 0*f = f - 2*u - 38. Let b be ((-3)/(-2))/(f/40). Solve o - 4 = -3*t, 3*o - 2*o - b = -t for o.
1
Let k(o) = -o**3 - 11*o**2 - 19*o - 1. Let t be k(-9). Let h = -2 - -5. Solve -c = -h*l + 5, -5*c = -12 - t for l.
3
Let p(y) = y**2 - 6*y + 5. Let n be p(6). Suppose 33 = 2*f + 5*d, -2*d = -0*f - n*f + 10. Solve 4*r + 0*g - 16 = -2*g, f = -4*r + 3*g for r.
2
Let x be 30/10 + 1/(-1). Suppose -4 = a, 5*c + x*a - 58 = -a. Solve 4*u + 4*l = 5*l - c, -2*u = 5*l + 18 for u.
-4
Let s be (180/6)/(1 - 0). Suppose -o - s = -4*o. Solve -4*i - 4*w + o + 22 = 0, i + 2 = w for i.
3
Suppose -70 = -4*s - 5*j, 0 = 5*s + 3*j - 5*j - 104. Suppose -4*a - v + 6 = -8, 0 = 5*a - 4*v - 28. Solve 4*z = -z - 20, -2*c = a*z + s for c.
-2
Suppose 33 = 2*m - 17. Let h be (20/m)/(1/5). Suppose -2*o = -4*j + 38, 5*j + o - 10 = 34. Solve -3*v - j = 0, -3*v = -2*f + f + h for f.
-5
Let y(d) = -d**2 - 5*d - 1. Let q = 6 + -10. Let n be y(q). Suppose 3*h - 2 = -2*b + 4*b, n*b - h - 4 = 0. Solve -g = z, b*z + 25 = g + 2*g for g.
5
Let c be ((-2)/3)/((-9)/54). Solve 2*m - c = 2*y, -4*m + 10 = -2*y - 0 for y.
1
Suppose 6 = k + 2*k. Solve -2*l + 5*y - k = 0, -3*l + 3*y = -6*l - 3 for l.
-1
Let j = 7 - 6. Suppose 73 = 2*u + 3*x, x = -2 - j. Suppose -3*d + u = 8. Solve -3*t = -5*n + 7, 2*t = -3*n - 3*t + d for n.
2
Suppose -2*k = 3*k - 10. Suppose 0 = k*o + o. Solve o = 5*t + 2*a + 3 + 6, 24 = -4*t + 4*a for t.
-3
Let j(g) = 4*g - 4. Let b be j(4). Suppose -4*c = 5*d + 3 + 9, -2*d = 2*c + 4. Suppose -l = -c*l + b. Solve -3*t - 4*v = -1 + l, 0 = t + 4*v + 9 for t.
-1
Let d = -24 - -29. Solve -5*y = -d*s + 5 - 0, -y - 2*s + 8 = 0 for y.
2
Suppose -8 = -5*c - 3. Let y be (c - 0)*(1 - 1). Suppose -3*v - 14 = -p, 5*p + v + 0*v - 6 = y. Solve -1 = p*u + 3, -4*u - 12 = -l for l.
4
Let j(q) = 5*q - 14. Let p be j(4). Solve -3*z + p*z + 2 = -2*y, -2*y - z = -6 for y.
5
Let r(z) = z**3 - 6*z**2 - 3*z + 19. Let t be r(6). Solve -3*g - t = -5*u + 4, -5*u + 20 = 0 for g.
5
Suppose m + 4*t = -10, -4*m + 3*t + 0*t = 2. Let h(b) = -b. Let q be h(m). Solve 3*y - j - 12 = 0, -q*y - j + 7 = -2*j for y.
5
Suppose 0 = -4*h + 5 - 1, 0 = -2*n - 4*h. Let q be (-4 - n) + 9 + 1. Solve -4*m - q = -2*d, -3*d + m = d + 5 for d.
-2
Suppose -6 + 16 = 5*x. Solve 0 = 4*b + 5*d - 23, 4*d - 12 = x*b - 4 for b.
2
Let i(n) = n**3 - 5*n**2 + 6*n - 1. Let q be i(4). Suppose -1 = -2*c + q. Solve 4*j = -c, -3*o - 3*j = -0*j - 6 for o.
3
Let i(x) = x**2 + x - 2. Let n be i(-3). Solve 0 = -o + 2*l + n, -o - 4 + 2 = l for o.
0
Let q(x) = -x + 7. Let z be q(4). Solve 3*s = -z*j + 3, s + 4*s - 2*j + 2 = 0 for s.
0
Let z be 2/(-5) - (-208)/20. Suppose -r + 2*h - h = -10, 2*h + z = 0. Solve -3*u = g + 4, -u - 2*g - 3 = r for u.
0
Let