
Let s = 13 - 8. Solve -4 = o - g, -2 + 6 = 3*o + s*g for o.
-2
Let l(b) = -b**2 + 2*b + 7. Let o be l(0). Solve 5*a - z - 9 = o*a, -a = -z + 3 for a.
-4
Let m = -2 + 10. Let v be -4*2*(-2)/m. Solve 4 = -2*q + 5*k, v*k - 3*k + 4 = -2*q for q.
-2
Suppose 0 = -2*r + 5*z - 22, 0*r = -4*r - 3*z - 44. Let d be 2/(-4) + r/(-2). Solve d*q = -3*y + 16, 2*y + 1 = 4*q - 3 for y.
2
Let d be (-80)/(-30) - (-4)/3. Suppose -t + d*l + 2 = 0, 4 = 2*t - 2*l - 0. Solve 2*u - 2*q = t, -3*q - 9 = -4*u + 2*q for u.
-4
Let g = -11 + 21. Let s = -8 + g. Solve -s*p = 2*m - 16, 0*p - 2*p = -m - 4 for m.
4
Let f(j) = j - 1. Let s be f(4). Suppose s*d = 4*d. Solve z - 5 = -2*o - d*o, -3*z - 1 = 2*o for o.
4
Let y(u) = u**3 - 2*u**2 + 1. Let t be y(1). Suppose 3 = -t*g + 3*g. Solve 5*f = -5*a + 35, -f - 2*a = -8 - g for f.
5
Let z = -22 + 31. Let q be z/18 - 9/(-2). Solve -q*g = 2*o - 22, 2*g - 12 - 1 = -5*o for g.
4
Let q(v) = v**3 + v**2 - 3*v + 1. Suppose 2*m - 5*m + 6 = 0. Let b be q(m). Let o = 2 + 2. Solve -4*r + o = -4*p, 0 = -p - b*r + 3*r - 1 for p.
-1
Suppose -3*z = -8*z + 15. Suppose 9 = z*y - 0*y. Suppose -y*h + 2*h + 3 = 0. Solve -13 = h*n + 2*q, -2*q = q + 15 for n.
-1
Let n(g) = -2*g - 13. Let j(f) = 3*f + 3. Let h be j(-4). Let k be n(h). Let y be (1 + 1)/2 + k. Solve 2 = -3*m + l, 3*l = 2*m - 5*m + y for m.
0
Suppose -2*o + 3*o = -48. Let m be o/(-28) + 4/14. Solve 0 = 2*p - 3*g, m*p = -2*g + 7*g for p.
0
Let n(q) = q**2 + 3*q - 6. Let x(y) = -y**3 + y**2 + 3*y + 4. Let v be x(3). Let k be n(v). Solve -3*m = -j + 7, -3*j + 12 = -k*m - j for m.
-1
Let r(c) = 9*c + 29. Let k be r(-3). Solve -2*f - s - 3 - 2 = 0, -k*f + 3*s + 7 = 0 for f.
-1
Suppose 5*z + 19 = 3*n, 5*z + 11 = 5*n - 4. Let y = 0 - n. Solve -v - 1 = 4*s, y*v + 8 = -4*s + 2 for v.
-5
Suppose -4*n = h - 16, 4*h - 2*n - n = 7. Solve 0 = -h*v - 3*r + 13, 4*v = -4*r - 0*r + 12 for v.
4
Suppose -2*y = -4*y. Let i = 0 + y. Let f be 20/(-5)*5/(-4). Solve l - f*d + 15 = i, l - 4*d + 7 = -5 for l.
0
Let a be (6/2 - 4) + 3. Solve l - a*o = -8, -3*l + 5*o = o + 20 for l.
-4
Let l be 4/(-3)*6/(-4). Suppose l*i = 2 - 0. Solve -y + 2*y = -3*q + i, 4*q = 5*y - 5 for y.
1
Let u(b) = 7*b**2 + 5*b + 5. Let s be u(-2). Solve -3*l + s = -4*z, z = -0*z - 2 for l.
5
Suppose 29 = -3*j + r, 0 = 4*j + 5*r + 8 + 18. Let h be (3/j)/(-1)*6. Solve f = 2*q - 11, 0*q = -2*f + h*q - 16 for f.
-5
Let q be (-10)/(-15)*(2 - -1). Solve -2*j + j = q*z + 13, z - 6 = 2*j for z.
-4
Let d = -7 + 13. Suppose z = 3*g - 32 - d, 2*z = -5*g + 67. Solve 0*f + g = -2*f + y, 2*f + 4*y = 12 for f.
-4
Let w be 1/(-1) + 3 - 0. Let o be 2 + (4/w)/1. Solve -3*p + 0*p - b = 0, -o*b = -3*p + 15 for p.
1
Suppose -6 = -u + i - 3, -u - 5*i = -3. Let c = -9 + 11. Solve 7 = -5*m + c, 5*g - u*m = -22 for g.
-5
Let d(v) = -v + 10. Let i be d(7). Let x = -24 + 24. Solve 13 = -i*s + 3*k - 8, x = -5*s + 3*k - 31 for s.
-5
Let w(c) = c**3 + 3*c**2 - 2*c - 1. Let x be w(-4). Let l = 3 - x. Solve 0 = 4*t - l, -3*t + 8*t = -3*s + 24 for s.
3
Suppose -2*s + 7*s = -50. Let n = s + 15. Solve 4*c = 2*t + 4, 0 = -n*c + t - 4*t + 27 for c.
3
Suppose 5*w + 2*z = z + 160, w - 32 = -5*z. Solve -w = 5*d - 3*u, 2*d = -d - 4*u + 4 for d.
-4
Let g(c) = -c**3 - 8*c**2 - 8*c - 7. Suppose 2 = -3*s - 19. Let j be g(s). Let d be 110/38 - (-4)/38. Solve -4*q + 2*r = d*r - 6, j = 5*q - 2*r - 14 for q.
2
Suppose 3*u + 5*z = 34, 2*z = -5*u - 3*z + 40. Let l be 1 - ((-9)/u + -4). Solve 5*c = -4*v + 32 - l, -3*v = c - 7 for v.
1
Let d be (1/(-2))/(8/(-64)). Suppose 0 = 2*z - m - 7, 0 = -3*m + d + 5. Solve -r + 2*t = -6, z*r + 5 = -2*t + 11 for r.
2
Let c = 7 + -3. Let l(q) = -q**3 + 4*q**2 + q - 1. Let i be l(c). Solve -i*s - 15 = -4*y, -2*s + s = -4*y + 5 for y.
0
Let j be 12/(-15)*-3 + (-9)/(-15). Suppose 0 = 2*k + 3*k. Solve 3*c + j*l - 16 + 7 = k, 16 = -4*c + 3*l for c.
-1
Suppose m - 3 = -u, 4*m - 11 = -5*u + 2*u. Solve 4*z = -8, -m*x - 8 = 3*x + 4*z for x.
0
Suppose u + 6 = -u. Let i(b) = -b**2 - 4*b - 3. Let n be i(u). Solve 2*k + n*s = 4*s - 30, -5*s = -3*k - 40 for k.
-5
Suppose 4*k - 3*j - 4 = -0, k = -4*j - 18. Let g = -5 + 7. Let l be (-9)/g*8/k. Solve -2*d - s - 3 = 0, 2*d - 6*s + l = -2*s for d.
-3
Let j be 165/6 - (-3)/(-6). Suppose -3*k = -5*p + j, 2*p + 4*k + 10 = -0*p. Solve 17 = p*h + 4*r, 2*h + 3*r + 2 = 15 for h.
-1
Let c be (-5)/(-90)*6 + 130/6. Solve s + 0*s - 3*l = -2, -5*l = 3*s - c for s.
4
Let x(s) = s. Let a be x(3). Suppose 6 - 22 = -4*y - 4*u, 0 = 2*y + a*u - 10. Solve 0*q = 2*z + q - 6, -y*z = 4*q for z.
4
Suppose -2*m + 48 + 40 = 4*x, 108 = 4*x - 3*m. Solve -5*g + g = -4*q - x, 2*q = 3*g - 13 for q.
-5
Suppose 0 = -3*a + 3 + 3. Let p be (2/a)/(4/20). Suppose -d - 12 = -3*m - 4*d, -3*m + 20 = -p*d. Solve g = -t + 2*g, 2 = m*t - 4*g for t.
2
Let k(a) = a**2 - 2*a**2 - 4*a + 5 + 0*a**2 + 13*a. Let x be k(9). Let p(w) = -w**2 - w + 2. Let q be p(0). Solve 0 = -l - q*i + 5, -x*l - 2*i + 2 = -7 for l.
1
Let y(w) = -w + 9. Let l be y(7). Suppose -l*p + 3*p = -2*z + 9, 0 = 2*z + 5*p - 29. Solve 6*i = 3*i - 12, -16 = z*f + 5*i for f.
2
Let q(n) = n + 10. Let k be q(-8). Let g be 4/1*3/k. Suppose 4*m = -2*v + g, 2*v - m - 2*m = 20. Solve 4*w - 4*x + v*x + 10 = 0, 3*w - 5 = 4*x for w.
-1
Let p(d) = -d**3 - 5*d**2 - 2. Let l be p(-5). Let m = 6 + l. Solve -2*x - u = -9, -m*u + 1 + 5 = -2*x for x.
3
Let b(p) = p**3 - 8*p**2 + 10. Let x be b(8). Let k be ((-12)/(-10))/(4/x). Solve 4*z - 24 = 4*j, 2*z - 2 = -5*j + k for z.
5
Let a = -2 - -13. Let k = a + -7. Suppose 0 = k*s - 0*s - 4. Solve 0 = -2*h + 5*z + s + 4, 2*z = 2*h - 8 for h.
5
Suppose 5*d = 5*g - 10, -7*d + 12*d = -g + 2. Solve -p = g*k + 2, -3*p + 6*p = -3*k for k.
-2
Suppose 1 = 2*t + 7. Let q = t - -5. Solve 4*a - a + 4*n = -11, -1 = 3*a + q*n for a.
3
Suppose 0 = 3*x - q - 12, 4*q + 3 = 4*x - 5. Let o = 10 + -5. Solve x*b - 3*f + 20 = -4*f, o*f - 20 = -b for b.
-5
Let r(a) = -a - 8. Let t be r(-10). Let p be t - ((-6)/3 - 22). Solve 3*d - h + 10 = 0, 6*d + 5*h + p = 2*d for d.
-4
Suppose -3*w - 1 = -2*w, 3*l + 2*w - 61 = 0. Suppose 4*f - l + 1 = 0. Solve -f*q = -5*t + 45, q - 2*t = 2*t - 24 for q.
-4
Let p(i) = 2*i**2 + 31*i - 13. Let u be p(-16). Solve 5*q - u*r + 27 = 2*q, -r = -3*q - 19 for q.
-5
Suppose 192 = 3*s + 5*s. Solve 4*i = -2*d - s, -4*d + i - 3 = -0*i for d.
-2
Let d(z) = z + 3. Let h be d(0). Suppose -7*j + h*j + 20 = 0. Solve -3*t + 2*n + n = -9, 2*n - 15 = -j*t for t.
3
Suppose 1 = -2*x - 5. Let k be ((-8)/(-6))/(-2)*x. Solve -2*q + 11 + k = -3*v, -5*q = -5*v - 25 for v.
-3
Let i(g) = -g**3 + 3*g + 2. Let b be i(-1). Solve -s = 0, -3*s = 2*o + 2 - b for o.
-1
Let o(y) = -y**2 - 2*y - 1. Let b be o(-1). Suppose -2*j + s = -4*s - 50, 2*s + 8 = b. Solve 5*m + 3 = 2*c - 7, 3*m - j = -3*c for m.
0
Suppose 85*q - 46 = 83*q. Solve -y = -5*r + 19, 0*r + 5*y + q = r for r.
3
Suppose a = -a + 2, -3*a = 5*g - 13. Solve -s + 5*s = 0, -s - g = q for q.
-2
Let m(j) = -j + 2 + 2 + 0. Let s be m(6). Let p be 1/(3/(-6))*s. Solve b + 1 = o + 2, p*b + 4 = -4*o for o.
-1
Let c(b) = -b**2 + 7*b + 8. Let l be c(7). Let t(k) = -k**2 + 10*k + 3. Let y be t(l). Solve 3*r = -2*i - y, -r - 5*i + i - 23 = 0 for r.
-3
Let m = 13 + -8. Solve -y + 3 = m*l, 2*l + 1 = -3*y - 3*l for y.
-2
Let z be (-6 + -6 + 3)/1. Let v = z - -21. Suppose 2*b - 6 + 0 = 0. Solve 0 = -g - 2*g - 3*c + v, -5*c - 12 = -b*g for g.
4
Let n be (-6 - -4)/(2 - 1). Let k be n/(-10) - (-48)/10. Suppose 0 = -2*r + k*r + 4*z - 3, 0 = -3*r + 3*z + 24. Solve r*p = v, 3*v - p + 0*p + 14 = 0 for v.
-5
Let z be (2/(-3))/((-44)/1518). Solve 3*u = 5*a - z, 5*a - 18 = -u - u for u.
-1
Let v be 7/((-70)/(-25))*2. Solve f - v*r + 15 = 0, 5*f + 4*r = 17 - 5 for f.
0
Let c(j) = -j**3 + j + 5. Suppose -2*v = 3*v. Let y be c(v). Let w = -6 + 11. Solve -5*s = 5*p - 9 - 6, w*p - 5 = y*s for s.
1
Suppose 15 = 5*l - 10*l. Let g be 1/(l/3) + 3. Solve 15 = 5*q - 2*b, -2*q = -g*b - 2*b + 10 for q.
5
Suppose 12 = -0*b + 2*b. Let l = 10 - b. Solve 0 = -3*o + q - 3, l*o + 5*q + 5 = 1 for o.
-1
Suppose m = -2*m + 12. Let x(p) = p**3 - 5*p**2 + 4*p. Let y be x(m). Solve -u - 27 = -5*o, -2*u = -o - y*u + 9 for o.
5
Let p(r) = r**3 + 6*r**2 + 4. Let s be p(-6). Suppose d + f = 5, -4*d + f = 2*f - 5. Suppose 4*x + d = 8. Solve -2*n = 3*o + 1, x*o + s - 1 = n for n.
1
Let y =