l + 12 = -b for b.
3
Let j = 12 - 2. Solve 3*a = -k - 13, 0 = -3*k + j - 4 for a.
-5
Let v = 34 - 28. Solve -v = -h - 5, -10 = c - 5*h for c.
-5
Suppose -4*b + 33 = -59. Solve 2*n + 8 = -2*n, -5*l - b = -n for l.
-5
Let g be 0/(-2 + 5) - -2. Solve 2*r + g*n = 2, -r - 3*r - 3*n + 3 = 0 for r.
0
Let w be (-18)/(-18) + 2*1. Suppose -w*s - 5*b + 26 = 0, 3*b = 2*s + 4*b - 29. Solve -25 = 5*h, 2*v + s = -v - h for v.
-4
Let u = -8 - -13. Suppose 2*t = -0*t - 12. Let l(j) = -2*j - 8. Let p be l(t). Solve -3*s + 50 - 10 = -u*n, -4*n + p*s = 40 for n.
-5
Let r(a) = 2*a**2 + 2*a - 2. Let g be r(-2). Suppose -15 = -2*m - 3*m. Suppose -m*z + 5 = 2*z. Solve -3*o + g*w = z, 4*w - 13 = 7 for o.
3
Let q(t) = -t**3 + 11*t**2 - 12*t + 23. Let j be q(10). Solve -i = 3*n - 9, -2*i + 18 = j*n + 2*i for n.
2
Let v(p) = -p**3 + 3*p**2 + 4*p - 2. Let y be v(3). Let u be (-1)/5 - (-292)/y. Solve 4*a - 5*m = u, 2*a = 4*a + 5*m + 23 for a.
1
Let r be (-3 - (-4)/2) + 1. Suppose l = o + 3, r = -3*l + 2*l - 2*o. Solve 0 = l*i - 2*k - 2, -2*i - i - 3*k = 15 for i.
-2
Let y = 10 + -8. Let a = 1 - 4. Let f be 2*(2/(-4) - a). Solve f*j - 3*t - y*t + 35 = 0, t = 2*j + 9 for j.
-2
Let k be (-4)/(4 + -8) - -9. Solve 5*g + 5*w - k = 0, 3*g = -2*g + 4*w + 28 for g.
4
Let m be 1 + 6 + (-1 - 1). Solve -17 - m = y - 5*p, 4*y = -2*p + 22 for y.
3
Let y = 42 - 23. Let n = y - 15. Let c = -2 + 5. Solve 14 = -n*o - 2*s + 7*s, 7 = -c*o + 2*s for o.
-1
Let r(l) = 4*l**3 + 6 + 4*l**2 - l**3 - 3 - 3*l - 4*l**3. Let m be r(2). Let z be 3/(m/((-25)/(-3))). Solve -3*p + 2*s + 1 - 6 = 0, -3*s + 9 = -z*p for p.
-3
Suppose -4 - 46 = -t. Suppose 2*c + 3*c = 3*r - t, -3*r + 46 = -4*c. Let g = -4 + r. Solve 0 = 2*a - 5*w - 25, a + 4*w + g = -14 for a.
0
Let k = 26 - 23. Let a(c) = 4*c**2 - 1. Let w be a(-1). Solve w*q + 5 = 3*x - x, 0 = -x + k*q + 7 for x.
-2
Suppose -d - 7 = -4*d + 4*y, -5*d = 5*y - 35. Solve 0 = -d*r + 5, 2*k = 5*r - 22 + 7 for k.
-5
Suppose -3*f + 52 = 16. Let c = -10 + f. Solve -2*r - 6 - 3 = h, 2*r = -c*h - 12 for r.
-3
Let v = 5 + -12. Let w = v + 11. Solve -2*p - 10 = 4*o, 5*p - w*o - 7 = 10 for p.
1
Let s be 1/((-46)/22 + 2). Let x = s - -7. Let m = 7 + x. Solve 0 = 5*h + m*g + 26, h + 2*g = -g - 10 for h.
-4
Let f(y) = y**2 + 10*y - 5. Let b(i) = -i. Let h(u) = b(u) - f(u). Let q be h(-10). Solve -m - w + 0 - 1 = 0, -m - 5*w = -q for m.
-5
Suppose 0 = w + 3*x + 2, 2*w + 3 + 1 = -5*x. Let u be (-1)/w + (-25)/(-10). Solve m = -4*g - 3*m + 16, 0 = -u*m + 12 for g.
0
Suppose 2*g - 5*g = -5*k + 10, 6 = 3*k + 2*g. Solve 3*u + 2*u = 0, 2*m = -u + k for m.
1
Suppose -2*g - 20 = -0*g. Let k be ((-4)/g)/(1/5). Suppose -5*d + k*d = 0. Solve 4*z + 3*m + 19 = d, 0 = -3*z + 3*m - 2*m - 11 for z.
-4
Let b be (8 + -5)*(5/3 - 1). Solve d + b - 3 = -x, -3*x = -3*d + 15 for d.
3
Let z be ((2 + 0)*15/10)/1. Solve z*m + 4*d = -m - 20, -7 = m + 2*d for m.
-3
Let r(f) = f**3 - 6*f**2 + 2*f - 9. Let w be r(6). Suppose -2*y = -5*y + 12. Solve -w*x + m = -1, x - y*x = 3*m - 9 for x.
1
Let i = 6 + 0. Let l = 6 - i. Solve l = 3*a - 2*g + 5, 2*a = g + 2*g for a.
-3
Suppose -13*p = -17 - 22. Let c(m) = -m - 2. Let o be c(-5). Let z = 7 - o. Solve 2*s = -p*i + 25, s + 15 = z*i - 0*s for i.
5
Let n = 8 - 4. Suppose t = n*t. Let y(b) = -b**2 + 6*b - 3. Let a be y(5). Solve t = -5*x - 0*x, -a*u + 3*x = -4 for u.
2
Let a(n) = 6*n**2 - 7*n + 6. Let v(s) = -s**2 + s - 1. Let p(c) = a(c) + 5*v(c). Let z be p(3). Solve 0 = -x - 0*j - 5*j + 24, z*j = -3*x + 28 for x.
4
Suppose -2*p - 5*f = -3, -5*p - 2*f + 18 = -0*f. Suppose 0 = -i - 3*v, -i = 2*i - p*v - 52. Solve -4*c + 1 = -3*q + 5, 2*c - 4*q + i = 0 for c.
2
Let p(t) = t**2 - 5*t + 2. Let j be p(6). Solve w + 2*a = -w + j, -5*a + 12 = w for w.
2
Let k(a) = a + 10. Let y be k(-7). Suppose -5*t - 5*n = -4 - 1, 4*t + 5*n - y = 0. Solve -5*w + t*w + 2 = 4*m, 3*m + 2*w = 1 for m.
-1
Let d(s) be the first derivative of -s**2/2 + 7*s - 2. Let z be d(5). Solve -5*i = -5*u + 10, -z*u - i + 6 = -4*i for u.
0
Let z(v) = v**3 + 8*v**2 + 5*v - 9. Let w be z(-7). Solve 3*l + 2*a + 18 = 0, 0*l + w*a + 19 = -l for l.
-4
Let j be (-3)/(-5 - (-16)/4). Suppose -5*z - j = -18. Solve 6*d = -z*q + 2*d + 5, 4*d = -2*q + 6 for q.
-1
Suppose -5*k - 5 + 55 = 0. Let d be 14/5 + (-8)/k. Let o = 3 + -1. Solve d*w = -4*b - 17 - 1, o*w - 5*b = 18 for w.
-1
Let r be (-4)/18 + (-570)/(-135). Solve -m - m + r*w - 28 = 0, 0 = 5*m + 2*w + 10 for m.
-4
Let p = -5 + 15. Let h be p*3/(-24)*-4. Solve 4*w - h*y + 2 = 0, 5*w - 4*y = -3*y - 13 for w.
-3
Suppose -5*u + 4*u + 1 = 2*g, 8 = 3*g - 5*u. Suppose -3*q = 2*q + 3*r - 3, -4*q + g = r. Solve -h - 1 = 3*d, q = 3*d + 2 + 1 for h.
2
Let y(m) = 3*m**2 - 12*m + 5. Let r be y(5). Suppose -15*j = -19*j + r. Solve 5*b = 3*p + 21, 5*b + 8*p - j = 3*p for b.
3
Suppose 8*o - 5*o = 9. Suppose o*x - 1 = 6*x + l, 0 = 4*l + 4. Let w be (x + 0)/(1 + 0). Solve -r - 5*c + 0*c = 21, w = 4*r + c - 11 for r.
4
Suppose -5*b + 8 = -b. Suppose u + b = -2*v + 4, 0 = 5*v + 3*u - 4. Solve 0 = -3*j - v*o + 25, 4*o = 2*j + 5 + 5 for j.
5
Suppose k + q - 9 = 7, 2*q + 8 = 0. Solve -4*r + 2*b + 26 = 0, -b - k = -r + 4*b for r.
5
Suppose 9*f = 4*f. Solve -2*g - 11 = -3*r - f*r, -4*r - g = 0 for r.
1
Suppose -13 = r - 66. Suppose -20 = -5*q + g, g - 4 = -3*q + 8. Suppose q*u = -9 + r. Solve -2*i - z = 2*z + u, -z - 7 = -i for i.
2
Let j be (2/(-4))/((-1)/16). Let v = -6 + j. Solve 3*x - 3*t = -3, -v = 5*t + 3 for x.
-2
Let b = 5 + -3. Suppose -o + 3 = -0*o. Solve c = -3*p - o*c - 4, -4*p - 12 = b*c for p.
-4
Let m(l) = 3*l**2 - 9*l - 9. Let v be m(-1). Solve u + o + 3 = -v*u, u + 2 = o for u.
-1
Let a(z) = z**3 - 15*z**2 - 16*z. Let s be a(16). Solve 4*u + 16 = 3*f, -17 = -4*f + u - s*u for f.
4
Let w = 2 + 3. Let h be 351/(-26) - 2/4. Let y = -10 - h. Solve -4*l - k = -l + 3, 5 = -w*l + y*k for l.
-1
Suppose -11*a = -30*a + 133. Solve 2*m - 2*y + 20 = 0, -3*m + a*y - 3*y - 35 = 0 for m.
-5
Let v be 28/12 - (-1)/(-3). Suppose -3*m + 12 = m - n, -12 = v*m + 4*n. Solve z + m = -4*d - z, -d = -2*z - 7 for d.
1
Let k = 47 + -32. Suppose -1 + 49 = 4*t. Suppose 3*z = -3 + t. Solve -5*s = 4*i + k, -i - 7 = -z*s + 1 for s.
1
Suppose -5*r = 2*x - 0 - 23, -5*r + 3*x + 28 = 0. Solve -y + 3 = 4*f, r*f - 1 = -6*y + 2*y for y.
-1
Let f be 36/(-126) - 102/(-14). Let j(s) = s + 1. Let k be j(2). Suppose 2 + 1 = k*l. Solve -z = q + l, 3*q = 3*z - 4*z + f for q.
4
Let n = 14 + -23. Let r be ((-15)/n - 1)*3. Solve -r*h = 2*o + 3*h + 15, 3*h = -3*o - 9 for o.
0
Let n(g) = -2*g + 23. Let u be n(10). Solve 4*i + u = 3*z - 5, -i - 3*z = 17 for i.
-5
Let v(m) = 2*m**2 + 7*m + 2. Let p be v(-6). Suppose s = -b, 5*s + p = 4*b - b. Suppose -4 = -b*r + 4. Solve r*t - 2*a = 7*t - 4, a + 3 = 0 for t.
2
Suppose 4*g - 115 + 83 = 0. Solve 3*n - g = 3*u - u, 2*u - 2 = -2*n for n.
2
Suppose -3*g + 6*g - 41 = -4*o, 0 = -2*g + 2*o + 4. Solve -23 + g = 4*u, -2*i + 3*u + 14 = 0 for i.
1
Suppose 13 = 3*m - 3*u + 10, -4*u = -16. Solve 2*w + z = 1, 0 = m*w + z + 4*z for w.
1
Let t = -1 - -5. Suppose t*u = -0*u. Solve 4*v = 2*h - u*h + 30, -5*v - 2*h + 15 = 0 for v.
5
Let z(x) = -x + 5. Let l be z(0). Suppose o = -c + 7, -5*c - 5*o + 39 = -o. Suppose 2*f = 3*f - c. Solve -4*h = 2*a - l - f, -5*h = a - 14 for a.
4
Suppose -x - 50 = -5*y + 4*x, 3*y + 2*x - 25 = 0. Let o = y + -7. Solve a = -3*a - 3*b - 2, -o*b - 5 = -a for a.
1
Suppose 2*k - 1 = -2*i - k, -i + 8 = 4*k. Let b(w) = w**2 - 2 - 5*w**2 - w**3 + 7. Let l be b(i). Solve -g - 3*q + 5 - 19 = 0, 5*q = l*g - 30 for g.
1
Let p be (-12)/9 + (-2)/3. Let l = 7 + p. Solve -5*y = 4*h + h - 35, -20 = -l*h for y.
3
Let d be (-2)/(-4)*(-4 - 4). Let y = d - -9. Solve x = 3*x - y*z - 30, 2*z = 2*x - 18 for x.
5
Let u = 40 - 38. Solve u*y = 2*x + 4*y - 4, -2*x - y = 0 for x.
-2
Let j be 1/(2/6) + -2. Solve -g - j = -a + 3, 3*a + 3*g = -12 for a.
0
Let k be (3 - 2)*(-13 - 2). Let g be 2/5 - 39/k. Let f = g + 1. Solve 8 = 5*l - 2*w, f*w + 16 = -2*l - 0*w for l.
0
Suppose 2*y - 3*y = 0. Suppose y = -3*f + 7*f - 20. Solve 2*s = 5*o - 5, -f*s - 3*o - o + 37 = 0 for s.
5
Let r(j) = 5*j - 6. Let f be r(2). Suppose 0 = -4*c + 4*y + 9 + 11, -2*y = 4. Solve -6 = -c*d - 4*p + 3, -4*d + 8 = f*p for d.
-1
Suppose 3*i + 2 = 20. Suppose 2*b + 8 = s, -4*s - i*b = -3*b + 1. Solve -s*d + 7 = 4*