 4 = -b - 2*m for b.
2
Let k(i) = -3*i**3 - i**2 - 2*i - 1. Let q be k(-1). Suppose 16 = 5*v - 4. Solve -2*a - 4 = -q*a, -4*b = -3*a - v for b.
4
Suppose 2*n = -n - 4*m - 3, -6 = n + 3*m. Solve -a + n*j = 8, 3*j - 43 = -4*a - 15 for a.
4
Suppose 20*r + 149 = 24*r - l, 0 = -2*l - 10. Solve -5*w - s + 24 = 0, 0*s - 5*s = 4*w - r for w.
4
Let j(s) = -s**2 + 4*s. Let i be j(4). Suppose -v = 4*k - i - 10, -3*v = 3*k - 48. Suppose 0 = 2*a - 10 - 4. Solve 4*n + v = -2*h, 2*n - a*n = 3*h + 23 for h.
-1
Let z(w) = -3*w - 3. Let h be z(-2). Let b(y) = 2*y - 4. Let u be b(3). Let t = h - u. Solve 0 = -2*q, 0 = -3*g + 2*g - q - t for g.
-1
Let k(i) = -3*i - 23. Let q be k(-9). Solve q*t - 3*s + 3 = 7, -4*s + 1 = t for t.
1
Suppose 0 = -t + z - 4, -t + 2*z - 3 - 4 = 0. Let g be t - -4 - -2 - 1. Solve -2*q - 22 = 4*w, 0 = -g*w - w - 5*q - 30 for w.
-5
Let m = 16 + -9. Suppose k - 5*j = -6 - 5, -2*k = -2*j - 2. Suppose -4*x + 2*s = -6 - 16, k*x - 5*s = 25. Solve -l - 2*r = -m*r - 12, -x*l + 2*r = -14 for l.
2
Let v = 3 + -7. Let k be 4 - v*(-9)/12. Solve -3*s + o = -o - 7, 3*s - k = -o for s.
1
Let n be 12 + -1 + 2 - 2. Solve 0 = -3*y + s + n, 4*y - 10 = 3*s + 8 for y.
3
Let v be 2 - 2 - 78/(-6). Suppose -7 = -r - 2*j + v, -j - 40 = -2*r. Let u be 5/(-2)*(1 + -3). Solve -q - r = -u*f, 3*q + 1 + 11 = -f for q.
-5
Suppose 0*t - 28 = -4*t - 4*v, -4*t + 2*v = -52. Solve 20 = 4*o, -4*j + t = 3*o - 0*o for j.
-1
Suppose 100 = -j + 6*j. Solve 2*o + 10 = -s, -3*s - 4*o - j = 2*s for s.
0
Suppose -29 = -5*g + 6. Let c = -2 + g. Solve -27 = c*q + 3*s, 2*q + 25 = -q - 4*s for q.
-3
Let h be (-136)/(-6)*15/(-10). Suppose 0 = 3*x - 7 + 1. Let f be x/((8/h)/(-2)). Solve -2*o = -5*z + f, -3*o = -z + 8 - 2 for o.
-1
Let d = -18 - -18. Suppose t - l = -d*l + 4, -4*l - 16 = 4*t. Solve 12 = 4*q - t*q, -2*g = -2*q + 12 for g.
-3
Let i(w) = 3*w**2 - w + 1. Suppose -2*h = -4 + 2. Let r be i(h). Solve r*v - 7 = -2*b, -4*v = 3*b - 9 + 1 for v.
5
Let b be (-6)/(-5)*20/6. Let c(q) = q + 5. Let r be c(0). Let h(l) = -l**3 + 6*l**2 - 5*l + 2. Let y be h(r). Solve -2*a - 32 = 2*a + 4*d, -d + b = -y*a for a.
-4
Let p be 8/28 + 26/7. Suppose 5*h = -3*n - 6, 0 = -2*h - h - p*n - 8. Suppose h = 5*i - 5. Solve -c - 2 = 2*r, -2*c + 5*r - 3 = i for c.
-2
Suppose 2*b = 8 - 0. Solve -l + w = -b*l - 13, -l - 2*w = 1 for l.
-5
Let w(d) = -d**3 + 16*d**2 - 14*d - 11. Let s be w(15). Solve 5*y + 0*x - 6 = -s*x, 12 = 5*y - 2*x for y.
2
Let m = 1 - 4. Let k = m - -5. Let n be (-1)/((k/10)/(-1)). Solve -n*g - 11 = 4*y, 4*g - g + 5*y = -17 for g.
1
Let o(j) = j**3 - 5*j**2 + 3*j. Let x be o(5). Solve -5*y + 0*y = 2*n - x, -2*n - 3*y + 9 = 0 for n.
0
Let m = 10 + -8. Suppose -2*q + m = -q. Solve 4*c - q*l + l + 11 = 0, -5*l - 11 = 2*c for c.
-3
Let q = 58 - 55. Solve -4*m - 9 = -k, -q*m + m = 2 for k.
5
Suppose g + m + 21 = 6*g, -5*g - 2*m = -33. Solve -g*b - n = 25, 2*b = 4*b - 3*n + 10 for b.
-5
Let b(i) = -2*i + 13*i - 7*i - 2 + i**2. Let d be b(-6). Solve 3*z = h - 2*z + d, -3*z = -9 for h.
5
Suppose 1 = v - 1. Solve -v*d + 10 = 0, u - 6*d = -2*d - 22 for u.
-2
Let z(l) = 7*l + 9 - 9*l - 16. Suppose -3*q = -8*q - 25. Let x be z(q). Solve 0 = x*r + 5*j - 12, -3*j = -2*r - 0 + 8 for r.
4
Let m = 5 + 1. Suppose -7*h + 3 = -3*h + p, -2*h = 3*p + 11. Let n be (m/1)/(1/h). Solve -3*a - 3*u + n = 0, 5*u = -5*a + a + 15 for a.
5
Let k be ((-1)/((-2)/4))/1. Suppose -5*p - k*a + 30 = 0, 2*p - 5*a = -0*a - 17. Solve 3*r + 0*r - p*n + 21 = 0, 4*r = -2*n - 6 for r.
-3
Let s be 1*-1 + 25 + -2. Let h be 2/(((-4)/6)/1). Let c be (-2)/h*(-3)/(-2). Solve -5*j - c = 2*r - 6, 4*j = 2*r + s for j.
3
Suppose 3*b - 18 + 45 = 2*l, 4*b + 4*l = -36. Let c = b + 13. Solve c*r = 4*a - 16, a + 2*a - 14 = r for r.
1
Let l = 1 - -1. Suppose 0*g - 25 = -l*g + 3*p, 0 = -5*g - 5*p + 25. Suppose -5 = t, -3*u + 4*t + 27 + g = 0. Solve -3 = -j - 4*j + r, 15 = -u*j - 5*r for j.
0
Let v = -14 + 14. Solve y + y + c = v, 0 = 4*y + 5*c + 6 for y.
1
Let a = 2 - -1. Solve 3 - 20 = 4*j - 5*c, -2*j + a*c = 11 for j.
2
Let y(g) = 6*g**2 - g. Let v be y(-1). Solve -4*x - 2*u + u = -v, 11 = 2*x - u for x.
3
Suppose -5*q - 25 = h, 2*h + 3*q + 10 = -12. Let u be 0/h - (-6)/2. Solve -y + u*t = 5*t - 6, -4*t + 10 = y for y.
2
Let v = 99 + -64. Suppose 4*p = -v + 11. Let x = p - -8. Solve -x*l - 5*f + 0 = 15, 12 = -4*l - 4*f for l.
0
Let j = 57 + -33. Suppose -4*d - 2*y + j = -12, 2*y = d - 4. Let w(b) = -b + 12. Let r be w(d). Solve 6*g - 3*g - 11 = -2*v, v = -r*g + 13 for g.
3
Let n(v) = 7*v + 3*v**2 - 4*v**2 - 3 - v. Let g be n(4). Solve 0 = -4*m + a + 9, g*m - 3*a + 2*a - 10 = 0 for m.
1
Let u be 0 + (8*-1 - 2). Let d be u/45 + (-76)/(-18). Solve 4*o - 24 = -d*a + 2*o, 5*a - 5*o = 15 for a.
5
Let t be 3/((-6)/(-4)) - 0. Suppose 2*q + 3*f = -8, 0*f = -5*q + t*f + 18. Solve 5*k + 35 = 5*d, 2*k + q*d + 22 = 6*d for k.
-3
Let s = -1 + 6. Solve 3*a + s = -4*p, p - 3*a + 5 = -0*p for p.
-2
Suppose -3*v = z - 5*z - 3, z = v. Let q = v + 7. Let g be q/(-6) - (-11)/3. Solve 1 = -3*r - s, -3*r - g*s - 2 = 1 for r.
0
Let u(w) = -w**2 - 8*w - 7. Let m = 2 - 9. Let x be u(m). Suppose x*r + 5 = r. Solve 5*h - 18 = 2*v - 4, -r*v = -5*h + 20 for h.
2
Let p(g) = -g + 1. Let z(r) = -r**2 + 2*r. Let s be z(2). Let q be p(s). Suppose h - 3 = q. Solve 3*m - 2*m = -h*a + 21, -16 = -4*a for m.
5
Let q = 26 + -22. Suppose 4 = -3*u - q*m - 6, -2*m - 10 = -u. Solve -u*c = 2*v + 12, -c + v + 11 = -3*c for c.
-5
Let h(n) = -n + 7. Let z be h(5). Let p be (13 + -4)*(-2)/(-6). Suppose 1 = o, -5*s + p*s + 5*o = -15. Solve 0 = -5*j + c - s, -3*j - z*j = c + 10 for j.
-2
Let i = 109 + -106. Solve 8 = 2*n - 2*x, n - 4*n - 2*x - i = 0 for n.
1
Suppose -12 = -4*k + 5*p + 58, 0 = 5*p - 10. Solve 5*g + 10*n = 5*n - k, -5*g + n = -10 for g.
1
Suppose b + 3*b + 4 = 0. Let j be (-14)/(-8) + b/(-4). Solve -j*w = 3*r, -23 = -3*r - r + 5*w for r.
2
Let b(p) = 7*p**2 + 15*p. Let i(q) = -3*q**2 - 7*q. Let f(c) = 2*b(c) + 5*i(c). Let z be f(-5). Let h = 4 + z. Solve -4*t = 2*y - 2, h*y = 2*t + 23 + 1 for t.
-2
Let t(r) = 2*r - 7*r**2 - 2*r + 8*r**2 - 6*r - 8. Let v be t(8). Solve -2*y = i + 6, -5*y = i + v + 4 for y.
-2
Suppose -n + 2 = 4*q, -3*q - 4 = -5*n + 6. Suppose 0 = 3*w - w. Let c be -2 - (-6*1 - w). Solve 2*b + 0*r + c*r = 18, q = -4*b - 2*r + 18 for b.
3
Let v be ((-6)/(-3))/((-2)/3). Let u = v + 21. Solve -2*o + o + 7 = i, -u = -2*i - 3*o for i.
3
Let m(d) = d**2 + 8*d - 9. Let o be m(-8). Let f be (-6)/o - (-14)/6. Suppose 18*u - 34 = u. Solve f*b + 3*v - 6 = 0, -2*b - 3*v + 10 = u*v for b.
0
Let a be (-4)/(-18) + (-1058)/(-18). Let p = 84 - a. Solve 5*c + 25 = -3*k, 3*k - c = 4*c + p for k.
0
Let t = 0 - -5. Suppose 0*x = -2*x. Solve -3*u - 7 = -4*a, t*u - 4*a + 7*a - 27 = x for u.
3
Suppose 0*z = -4*j + 5*z + 18, j = -z. Let o(y) = -13*y**3. Let d = 1 + -2. Let r be o(d). Solve j = l - 6*l - 4*x, 5*x = -l - r for l.
2
Let i be (-4)/(-8)*(-60)/(-3). Suppose 5*k + 2*w = 4*k - 2, 0 = -2*k + 3*w + i. Solve -k*t - 3*q + 20 - 2 = 0, -16 = -4*t - q for t.
3
Let g(f) = -f**2 - 7*f - 7. Let t be g(-5). Solve o + 28 = 5*o - 4*x, 0 = t*o + x - 9 for o.
4
Let n = -116 - -116. Solve -2*o + 8 = n, 3*o - 7 - 5 = -4*r for r.
0
Suppose -3*f = -4*k + k - 3, -3*f + 13 = 2*k. Suppose 1 = g - a, -3 = g - 0*a - f*a. Let h be (-5)/((-35)/(-7) - 6). Solve g*q - 3*c = 2*q + 3, 5 = -h*c for q.
0
Suppose 4 = -0*u - 2*u. Let n be (0 - u)/(6/9). Let h be (-6)/9*(-5 - 1). Solve 5*o = n*o, 16 = h*w - o for w.
4
Suppose 4*l - 5*y = 25, -3*y - 15 = 2*l - 4*l. Let v = 2 + 1. Solve l = -3*g - 2*r + 1, 3*g - 2*r + 34 = v*r for g.
-3
Suppose 5*o = 4*t - 3, -t - 4*o - 4 = -5*t. Let r be 10*(0 + t/5). Let v(n) = -n**2 + 5*n + 5. Let u be v(r). Solve -3*f - 21 = 2*m, 6*m + u = 3*m for f.
-5
Let t = -93 - -98. Solve -5*v + 5*y - 10 = 4*y, t*y = -25 for v.
-3
Let z be 2/2*(-4)/4. Let i be 12/(-6)*2/(-4). Let s be -2 + 2 - z*i. Solve 0 = -5*c - 4*g + 32, -g - s = 2*c - 4*g for c.
4
Let b = -4 + 8. Suppose u - 2*d = -0*d, 0 = -u + b*d - 2. Solve -u*w - 7 = 3*z - 24, 3*w + 3 = 5*z for w.
4
Suppose 2*j = 3*q - 41, j - 18 = -2*q - 0*j. Suppose -2*y + q = -y. Solve v = -2*l - 4 + y, -1 = v for l.
4
Suppose -4*i = 19 + 37. Let t be i/(-3) + 2/6. Suppose t*s - 4*q - 9 = 0, -6 + 27 = 5*s - q. Solve 0*k - 4*k = -s*r + 4, 0 = -5