 + 8, 2*g = a*q - 8 for g.
0
Suppose 4*q + 49 = 5*j + 2, 3*j + 4*q = 41. Solve -2*p = 4*r + 6, -j = p - 2*p + 5*r for p.
1
Suppose 0*p - 22 = p + 4*o, -2*o - 18 = 4*p. Let l be p/7 + (-92)/(-28). Suppose x - 5*s = -2 + 11, 3*s + 19 = 4*x. Solve -12 = l*i, f - 5*f + 32 = -x*i for f.
4
Let x = -13 - -15. Let o = 10 - 5. Suppose -4 = 2*z - 4*t, -3*t = -5*z + o - 1. Solve -3*q - x = -z*i, 0*i = -2*i - q - 6 for i.
-2
Let l = -13 - -13. Suppose 3*k + 5*m + 13 = l, -5*k + 2*m - 3*m = -15. Solve -p - 6 = -3*p + k*b, -3*p + 4*b + 9 = 0 for p.
3
Suppose 0 = 3*v + 1 - 10. Suppose d + 17 = -v. Let y be 144/30*d/(-6). Solve 2*t - 4 = 4*o, -3*t - y - 5 = 3*o for o.
-3
Let l = -51 + 24. Let k = l - -28. Solve -z + 3 = p, -3*z + 0 = -2*p + k for z.
1
Let d = -2 + 7. Suppose -9 = 3*m - 15. Solve -m*a = -i + d, -5*i + a = -8 - 17 for i.
5
Let h be (-42)/(-11) - 30/(-165). Solve -h*b - 12 = -4*o, 2*o - 4*o = -5*b for b.
2
Let l(h) = -13*h - 1. Let f be l(-1). Let o be 4/(f/9) - -2. Solve 0 = -o*s + 2*s - d + 8, s - 1 = -2*d for s.
3
Let v(s) = -3*s + 2. Let i be 2/(2 - 132/63). Let q be (-2)/(-6) - (-49)/i. Let u be v(q). Solve -25 = -p - 5*z, u*p = 4*p + z + 16 for p.
5
Suppose 0*q - q = -2. Let r be (-9)/(-6)*8/(-3). Let p = r - -6. Solve 10 + q = w + 2*n, p*n = 5*w for w.
2
Let r(q) = 4*q - 13. Let d be r(7). Solve 2*f - 7*f - d = -b, 5*f = -b - 25 for b.
-5
Let v(q) = 3 + q**3 - 3*q**2 - 15*q + 5*q + 10*q. Let y be -2*2/(4/(-3)). Let n be v(y). Solve -n*g - g - 16 = 0, 4*g + 8 = -2*u for u.
4
Suppose 3*x = 19 + 23. Let q(f) = -f + 18. Let b be q(x). Solve -5*p = -2*p + 4*n + 22, -b*p - 24 = 4*n for p.
-2
Let q be (0/2)/(-1 + -1). Suppose 5*m - 3*t - 2*t + 10 = q, -m - 3*t + 6 = 0. Let z = 1 - -1. Solve f - z*s + 2 = m, 2*s = -0*s + 4 for f.
2
Let t(x) = -x**3 - 6*x**2 - 5*x + 8. Let v be t(-6). Let h = -27 + v. Solve -5*p + 15 = 3*m, -31 + h = -4*m - 2*p for m.
5
Suppose -4*c = -4*w - 12, -3*c + 2*w = -0*c - 14. Let u = -3 + c. Let b be (1 - 0) + (26 - 3). Solve -s - q + b = 4*s, 0 = 5*q + u for s.
5
Let v(c) be the first derivative of -c**4/4 + 5*c**3/3 - 2*c**2 + 4*c - 4. Let f be v(4). Suppose -3*m = m. Solve -f*k + 3*w - 1 = -2, -k - 2*w + 14 = m for k.
4
Suppose -3*a = 14 + 13. Let q = a + 14. Let m(u) = u**3 - 2*u**2 + 3*u - 3. Let y be m(2). Solve 0 = 2*b + j - q, -5*b - 3*j = -y*b - 3 for b.
3
Suppose 0*p + 4 = p. Solve r - p*y = 0, r + 3*y = -r for r.
0
Let d = 19 - 17. Solve -d*o = 4*m + 16, 5*m + 17 + 8 = -5*o for m.
-3
Let g be ((-10)/3)/((-6)/9). Solve -g*f = w - 20, 0*w + 3*f = -w + 10 for w.
-5
Suppose 5*c = -3*l - 0*c + 5, 4*c = -2*l + 2. Suppose -10 = -0*z - l*z. Solve 4*s + 5 = f, -4*f = z*s + 11 + 5 for s.
-2
Suppose 0 = 3*y - 2*t - 46, -5*t = -2*y + 33 + 16. Solve -3*k - 11 = 2*w, 0*k - 5*k = -3*w + y for w.
-1
Let z be 4/8 + (-91)/(-2). Suppose z + 44 = 5*h. Let d be h/(-12) + 14/4. Solve -k = -1, o - 12 = -4*o - d*k for o.
2
Let b be (-9)/(-12) - (-2 + (-22)/(-8)). Solve -3*g - 15 = b, d = g - 0*g + 7 for d.
2
Let z = 22 + -4. Solve -2*l - k + z = k, -3*l + 2*k = -2 for l.
4
Let j = 4 + 0. Suppose -j*l - 4 = -24. Solve 2*m - 7 = -3*h, -30 = -0*h + 5*h - l*m for h.
-1
Let y = 48 - 32. Let n be (y/(-6))/(14/(-21)). Solve -m - 2*s - 8 = -3*m, -2*m - 16 = n*s for m.
0
Let a = -33 + 33. Solve -k + a*p + 5 = 2*p, -4*k - 4*p + 20 = 0 for k.
5
Let r be 8 + -3 + (-4)/4. Suppose -1 = 4*q + f, 2*q + 4*f - 2*f + 2 = 0. Solve 4*l = -2*b - 24, q = -7*b + 3*b - r*l - 28 for b.
-2
Suppose -6 = -2*y + 3*v + 13, 3*y + 5*v = 0. Suppose y*c = c. Solve s - u - 9 = -c*s, u + 14 = 2*s for s.
5
Let y(s) = s**2 + s + 1. Let f be y(-2). Let b = 3 + 0. Solve -i + 0*u = u - f, -i - 1 = -b*u for i.
2
Let p be 2/(-6) - 5/(-15). Let v be 4*((-3)/(-2) - 0). Solve -v*z - 3 = -3*z - 3*t, -2*z - 5*t + 12 = p for z.
1
Let d be 92/16 + (-1)/(-4). Solve 3*z + 4*y = d, 0*y = 2*y for z.
2
Suppose 0 = -2*q + k + k + 8, q - 4*k - 10 = 0. Suppose 0 = 4*g - q*g. Let t be (g + 0 + -2)*-2. Solve 8 = -2*v - v + 2*b, t*v + 2*b - 8 = 0 for v.
0
Let f = 4 - 2. Suppose -8*p + 22 = 3*p. Solve 0 = z + 4, -p*w = 3*z + f + 2 for w.
4
Let b(z) = -z**2 + 4*z + 4. Let u be b(5). Let g(d) = 4*d**2 - d. Let k be g(u). Solve -q = -0*q + 3*a + 9, q - 4*a = k for q.
-3
Suppose -4*w - 2*g = -16, -5*w + 4*g + 31 = g. Suppose 28 = w*i + a, 14 = 5*a - 1. Solve -5 = -2*s - i*z, 0 = -s + z + z + 7 for s.
5
Suppose s - 5*r - 2 = -0*s, -4*s + 29 = r. Suppose 5*l - 5*a - 80 = 0, s*a - 4*a + 26 = l. Solve 4*f - c = -20, -5*f - c - l = 14 for f.
-5
Let b be ((0 - 2) + 1)*-2. Let o = 10 - 12. Let v = b - o. Solve 4*q = -4*k + 8, 0*k + v*q - 26 = 2*k for k.
-3
Let h = -331 + 474. Suppose 5*c - f = h, -3*c + 3*f = 8*f - 69. Solve l = -2*s + 6, -2*l - 4*s = -4*l - c for l.
-4
Suppose 0 = l + 3*p + 2*p + 2, -5*l + 14 = p. Let f = 10 + -5. Suppose 2*q = 3*q - f. Solve -9 = -l*v, 4 = q*k - v - 3 for k.
2
Suppose 6*y = y + 10. Suppose y*m + 3 = 5*m. Let p be m + 1 - -7*2. Solve -g - 2*g = 5*h - p, 3*h = 15 for g.
-3
Let d(o) = -o**2 + 3*o + 24. Let q(c) = 2*c**2 - 5*c - 48. Let x(j) = -5*d(j) - 3*q(j). Let z be x(0). Solve -n = -4*i - z, 2*n - 3*i + 6*i = -7 for n.
4
Let z = -7 + 17. Let m = 18 - z. Solve 4*n = p + m, -6 = -3*n - 5*p + p for n.
2
Let g be (-4)/2 + 3 + -2. Let z be g/3 - 8/3. Let k be ((-3)/z)/((-1)/(-5)). Solve -4 = -2*j + v + 5, -k*j + 5*v = -30 for j.
3
Let p be (1 - 9)*(-77)/(-44). Let s be (-24)/(-56) + (-92)/p. Let k be (-1 + 5)/(-1 + 3). Solve -4*i - 5*v = s, 3*i - 4*v = 5*i + k for i.
-3
Let l = 2 + 0. Let c(v) = -2 + 2*v**l + 5 - v - 2. Let y be c(1). Solve y*q - 2*a = 0, a - 5 = -2*q - 2 for q.
1
Suppose -7 = -g - 3. Solve g*l + 13 = -5*k - 4, 28 = 4*l - 4*k for l.
2
Suppose h = -2*o + 2, -h + 5*o + 1 = -1. Suppose 2*g = -0*g + h. Let r(n) = 5*n**2 - 1. Let z be r(g). Solve 1 + 3 = z*d, 17 = 4*x + d for x.
4
Let i be ((-5)/3)/(8/(-24)). Solve -2*x = -8, -4 = i*r - 4*x + 17 for r.
-1
Let c be -1 + -1 - (-4)/2. Suppose -4*i + 5*i - 4 = c. Solve 2*y + 3*u = 12, i*y + 7*u = 4*u + 12 for y.
0
Suppose -2*d + 14 = 2*f, 5*d - f - 11 = 2*f. Solve 4 = q - 4*q + d*v, 4*q + 26 = -5*v for q.
-4
Suppose u - 9 + 0 = 0. Suppose 0 = 5*g - 6 - u. Solve -3*a = g*m + 6, -6*a + 4*m = -a - 17 for a.
1
Suppose -8 = 4*f + 4. Let o be -1 - (-11 + (-9)/f). Solve 3*r - j - o = 0, -4*r + 2*j + 7 + 5 = 0 for r.
1
Suppose 0 = -2*x + 5 + 15. Let z = x + -8. Solve 4*n + 10 = -r, -z*n - 3*n - 19 = -2*r for n.
-3
Let p(t) = t**3 + 5*t**2 + t + 9. Let h be p(-5). Solve l + h*x = 6, -3*l - 3*x + 5 = -2*l for l.
2
Let k = -91 + 95. Solve -2*n + 3 = k*f - 3*f, -3*f = -15 for n.
-1
Suppose -p = 4*p - 40. Let q(x) = -x. Let n be q(-5). Solve -u - k + 1 = 0, 0 = -u - n*k - p - 7 for u.
5
Let o(r) = 12*r - 108. Let n be o(9). Suppose -4*v + 2 = 3*z - 0*v, -4 = 4*v. Solve n = 4*x + 5*l + 21, z*x = -l - 8 - 1 for x.
-4
Let l(o) = 5*o - 98. Let i be l(22). Solve -5*j + i = -j + y, 2 = -5*j + 3*y for j.
2
Suppose 18 = 5*m - 2. Solve -m*k - 2*j + j + 3 = 0, -5*j = 5*k for k.
1
Let q(w) = -3*w - 4. Let l(h) = h. Let f(b) = 4*l(b) + q(b). Let n be f(6). Let z = 3 + 1. Solve 0 = -z*o - k - 18, 0 = -n*o - o - 5*k - 22 for o.
-4
Let a = 9 + -5. Let t = 7 - a. Suppose -s + 0*n = -t*n + 1, -2*s + 3*n = -1. Solve -4*l + 3*j - 11 = 3, -s*l + 4*j - 2 = 0 for l.
-5
Let v = 15 + -12. Suppose -10*u + 11*u - v = 0. Solve -3*p - 2*o + 21 = 0, u + 9 = 4*o for p.
5
Suppose 0 = -4*b - 8 + 24. Solve -p - p - 3*y = -7, y + 21 = b*p for p.
5
Suppose i = -13 + 4. Let a be 37/2 - i/(-6). Let r = 8 + a. Solve -f - 23 = -5*f - q, -2*f = 5*q - r for f.
5
Let v(r) = -r**3 + 6*r**2 + 6*r - 13. Let s be v(6). Solve -3*m + 5*j + 9 + 25 = 0, -m + 4*j = -s for m.
3
Suppose 0 = -f + 2*j + 3*j + 31, 4*f - 2*j - 34 = 0. Suppose 2*q - v - 6 = q, -5*q - 4*v = f. Solve -u - 17 = q*l - 5*l, 5*u + 2*l = 0 for u.
-2
Let u be (-26)/(-143) - (-31)/11. Solve -q + f = -u*f - 23, -2*q = f - 1 for q.
3
Let w(t) = -3*t + 15. Let u be w(5). Solve u*r + 3*h = 3*r, h = 2*r + 4 for r.
-4
Suppose 4*g + 0 = 4. Solve d = -2*w + 7 - g, 5*w - 5*d + 15 = 0 for w.
1
Suppose -5*i + 9 = 2*s - 45, s - 4*i - 14 = 0. Suppose -a + s = 3. Solve v + 1 = 3*d + 12, a = -3*v - 4*d for v.
-1
Suppose 0 = 5*n - 5*o, -4*n - o - 20 = -9*n. Solve k - 5 = -n*q + 2, 3*k + q = -7 for k.
-3
Let j be 1 - 3 - (-