-4*a - 23 for a.
-2
Let n = -30 + 35. Solve -2*p + 4*k + 14 = 0, -2*p - 4*k + n = k for p.
5
Suppose 5*t - 82 = -62. Solve -x + 4 = 0, 2*p + t*x = 2*x for p.
-4
Suppose -3*o + 2*o - 39 = -2*v, -3*o + 63 = 4*v. Suppose 0 = -5*n + v + 7. Solve -2*q + n*m = -7, q + 5*m = -4*q for q.
1
Suppose 0 = -3*g - v - 3*v - 11, -4*g - 6 = v. Let s be g - (-3)/3*1. Solve 0 = b - 2*q + 1, 2*b + 4*q - q - 19 = s for b.
5
Suppose -11*c + 9*c = 30. Let f be 15/(-6)*24/c. Suppose 0*l = 5*l. Solve -5*b - 2*x = l, b - f*x - 22 = -0*x for b.
2
Let u be 6/(-9)*(-180)/8. Let z = -12 + u. Solve 4*i = -z*x + 6*i + 9, 0 = -2*x + 3*i + 1 for x.
5
Suppose 4*q - 2*j = -5*j + 3, 4*q + 2*j - 6 = 0. Let v be -2 + (3 - 1 - -6). Let p be 14/v + (-1)/q. Solve -l = 0, 3*l = p*f - l + 8 for f.
-4
Let o = -7 + 4. Let x = o + 18. Solve 4*s - 3*f = -x, -4*s - 4*f - 9 = -f for s.
-3
Let m be (0 - -2)*(6 + -3). Let l = m - 3. Let o(h) = -h**2 - h + 2. Let n be o(-2). Solve -j - y = -4*y + 20, n = -4*j + l*y - 35 for j.
-5
Suppose -5*b = -4*b + 2. Let q be (3 - 2) + (-6)/b. Solve 2*s - q = -2*s - 2*r, 8 = 2*r for s.
-1
Let u(k) = -k**2 - 4*k - 11. Let l be u(-5). Let w = l + 18. Solve w*f + 9 + 0 = -3*v, 0 = -4*v + 2*f + 2 for v.
-1
Let z(h) = -h**3 - h**2 - 3*h + 2. Let k be z(0). Solve -3*l - 2*j + 5 = -j, -l + 10 = k*j for l.
0
Let w = -48 + 76. Let r = w - 11. Solve 3*g + r = -4*u + 4*g, 1 = u - 2*g for u.
-5
Suppose -5 = -3*q + 13. Let j(t) = t + 9. Let n(y) = y + 10. Let x(d) = q*n(d) - 5*j(d). Let p be x(-10). Solve 15 = p*k, 3*k - 7*k + 7 = -5*c for c.
1
Let q(r) = -17*r - 1. Let a be q(-1). Solve -v = 5*t + 15, -5*t + v = -1 + a for t.
-3
Let w be -4 + (-8)/(-12)*-3 + 31. Solve -4*j - 5*f - w = 0, 0*j + 2*j + 15 = -5*f for j.
-5
Let u(d) = -d + 1. Let h be u(-3). Let l be (-19)/(-7) - (-6)/21. Solve x + l*x = -2*m - 10, -2*x = h*m - 10 for m.
5
Suppose 9 = 3*b - 0. Suppose -b*x = 2*x. Let d be ((-6)/4 - x)*-6. Solve -3*f = -4*n - 4*f + 15, -2*f = -5*n + d for n.
3
Suppose -g + 3 = 2*g. Let k be (3/(-9))/(g/(-6)). Suppose 0 = 4*h - h - 12. Solve h*a = 16, -k*o - a = 2*a - 10 for o.
-1
Let p(o) = -1 - 4*o + o + 0. Suppose 2*r - 4*r - 5*b = 24, -4*b = -2*r + 12. Let q be p(r). Solve 0*x + 10 = x + 2*c, -3*x = q*c - 26 for x.
2
Let n be (-1 + -7 - 1)*(-7 + 6). Solve -w - q - 1 = 4*q, -2*w = -q - n for w.
4
Let g = -3 - -5. Let f(y) = -y**3 + 5*y**2 - 9*y + 16. Let i be f(3). Solve -g*m = x - 13, -3*x = -3*m + m - i for m.
4
Let b(i) = -15*i + 16*i + 2 - 1 + 9. Let h be b(-6). Solve -5*j = 2*d - 23, -h*j = 3*d - 20 - 4 for d.
4
Let w be (61 - 1)/4 + -2. Let u = 15 - w. Solve -5*a - 4 = 2*s, -u*a - s - 2 = a for a.
0
Suppose -2*k = 3*k - r - 118, -2*k + 46 = -r. Solve j + 4*c + 4 = 0, 3*j - 4*c - k = -j for j.
4
Suppose 3 = z - 0. Solve z*s + 6 = s - 2*f, 4*s + 12 = 2*f for s.
-3
Let h(t) = -t**3 - t**2 + 8*t + 5. Let k be h(-5). Suppose 0 = 6*d - d - k. Solve 0 = -2*p - 2*p + s - d, 3*p + 3*s - 9 = 0 for p.
-2
Let d(h) = -11*h - 4. Let s(c) = -5*c - 2. Let l(k) = 4*d(k) - 9*s(k). Let f be l(2). Solve 4 = 4*r - f*m, -4*r + 9*r - m = 13 for r.
3
Let s(p) = -p**3 - 22*p**2 + p + 26. Let y be s(-22). Solve 2*h = 6*i - 2*i - 14, 4 = -y*h for i.
3
Let c be -4 + 3 + -1 - (4 - 8). Solve 2*u + 15 = -u, -2*b + 12 = -c*u for b.
1
Let d be 2/10 + (-144)/(-30). Suppose d = 3*s - 2*s - 4*v, 2*v + 10 = 2*s. Solve p - 4*j = -p + 6, -2*j = p + s for p.
-1
Suppose -4 = 8*u - 44. Solve 3*p - g = -3*g - 12, -u*p = -4*g - 2 for p.
-2
Let l be ((-1)/(-1))/((-2)/6). Let j = l - -6. Let r be (28/(-8) + 3)/((-1)/10). Solve -5*h + j*h + r*w - 1 = 0, 3*w - 1 = h for h.
2
Suppose 4*u - 18 = -2*j, 4*u - 17 = -3*j + 6. Let s(w) = 4*w**2 - 2*w - 1. Let k be s(-1). Suppose -t + k = -u. Solve -g + v + 1 = -t, 5*g - 2*v - 31 = 0 for g.
5
Suppose 0 = -3*r - 0*r. Suppose 46 = 2*i - 2*g, 2*i = 6*i - 3*g - 91. Solve 0*a + 3*t - 21 = 3*a, r = -2*a + 4*t - i for a.
-3
Let n(r) = -r**2 - 2*r. Let d be n(-4). Let i = d + 12. Solve 3*y - y = -i*h - 6, 3*y + 9 = -4*h for y.
-3
Let y(r) = r**2 + 3*r - 1. Let t(s) = 2*s**2 - 2*s. Let g be t(2). Suppose 8 = -3*q - g. Let k be y(q). Solve 0 = -2*w - 5*j, 0*j = -k*w - 2*j for w.
0
Let c be (-1)/((5/3)/5). Let r(v) = -v**3 - v**2 + 3*v - 4. Let h be r(c). Solve -2*l + 6 + 1 = 3*u, -h*l = -25 for u.
-1
Let w(k) = k**2 + 5*k + 3. Let b be w(-5). Suppose 0 = -5*i + 7 + b. Solve 0 = -d + g, i = 4*d - 2*d - 3*g for d.
-2
Suppose 0 = 3*v - 12 - 0. Solve 3*p + 0 + 6 = -5*k, 3 = 5*p + v*k for p.
3
Suppose -h + 5 + 1 = 0. Let q = h - 4. Let f = 18 - 17. Solve u = -f + q, -w = 5*u for w.
-5
Let a = 4 - 10. Let z be 15/a*8/(-10). Solve -5*j + 3*f - z = 0, -2*f - 9 = 4*j - 3 for j.
-1
Let t(z) = -10*z - 15. Let q be t(-2). Solve 2*m + 0*m - q = x, 20 = 4*x for m.
5
Suppose -2*z - 14*z = -48. Let a(p) = p. Let w = 8 - 2. Let n be a(w). Solve z*h - 11 = 2*o + n*h, 2*h + 8 = -2*o for o.
-1
Let o(u) = u**3 - 11*u**2 - u + 16. Let j be o(11). Solve j*h - 6*h = 5*d + 2, 5*d + 2*h - 1 = 0 for d.
-1
Let u be -3 - (2 + 0 + -7). Suppose -2*m + u = -0*m. Solve c = -s, -2*s + 6 = -3*c + m for s.
1
Suppose 30 = 3*q + 3. Solve -3*n - q = -5*x - 2*n, -3*n = 3*x + 9 for x.
1
Let u be 1/(-3) - 10/(-3). Let m = 4 + u. Suppose -32 = -n - n. Solve -z + m = -2*d, -z + 4*d + n + 1 = 0 for z.
-3
Let t be (1*-1)/1*-2. Let i = 0 - 2. Let n be (21/i)/((-15)/20). Solve t*a - 3*h + 9 = -2, -2*a = -4*h + n for a.
-1
Suppose 2*a = 25 + 7. Solve 0*l + 5*l + g - a = 0, 5*g - 11 = -2*l for l.
3
Let b(y) = 17*y + 1. Let i be b(-1). Let o be (i/20)/(2/(-5)). Suppose -2*h + 8 = o. Solve -5*l = g - 5*g - 27, l + 2*g = -h for l.
3
Let r be (2 - 6/1) + (5 - -1). Solve 0 = 4*n + 2*a - 4, -4*n + a + 6 - r = 0 for n.
1
Suppose 14 = 3*v + 2. Solve -b = 2*p - 5, -3*b + 5 = v*p - 2 for b.
-3
Let a = 11 - 6. Suppose z - 4*u = -a, z + u - 13 = -4*u. Let s be 6/z - (2 - 4). Solve 3*d - 2 = 2*r, s*d + 3 = -4*r + r for r.
-1
Let x(o) = -o**3 + 4*o**2 - 4*o + 3. Let z be x(2). Suppose 2*v - 25 = -z*v. Solve -v*m - 2*d = -5 - 4, -d - 18 = -5*m for m.
3
Suppose 4*m - 3*p - 5 - 1 = 0, -m = 2*p - 7. Solve -m*o + t + 3 = 4, -t + 1 = 4*o for o.
0
Suppose 3*b = g, -2*g - b + 21 = -0*b. Suppose -5*k = -11 - g. Suppose 0 = -k*q + q. Solve -3*n - 2*n = q, -2*n - 6 = -3*m for m.
2
Let m be (3/(-6))/(1/12). Let a be (m/2 + -2)/(-1). Suppose 4*t = 6*t - a*s - 10, -2 = -t + s. Solve -4*r = -4*c - t*c + 12, -c = -5*r - 3 for r.
0
Let o(w) = w**2 - 2. Let i be o(-2). Solve -n - 2*f + 3 + 1 = 0, -i*n - 3*f = -6 for n.
0
Let t be 42/6 + 6/(-2). Solve 9*u - t*u + 9 = 4*j, 0 = -j + u + 2 for j.
1
Suppose 5*x + 314 = p - 4*p, -4*p - 120 = 2*x. Let c be ((-3)/(-2))/((-6)/x). Solve c = q - 5*m, 16 = -4*m - 0*m for q.
-4
Let r(t) = -t**2 - 5*t - 2. Let d be r(-3). Let c = d + 2. Solve y - 18 = -2*o + c*o, -y + 2*o = -8 for y.
-2
Suppose -4 = -2*c - 0. Suppose 0 = -c*o - 3*o. Solve a - 4 = -o*a, -2*t = -4*a + 14 for t.
1
Suppose -5*w = -5, 5 = -4*d + 2*w - 1. Let k = 3 - d. Solve 6*i + 18 = 2*i + 2*r, 4*i = -k*r for i.
-3
Suppose 8 = -4*s, -79 + 26 = 5*a + 4*s. Let t = -7 - a. Solve 4*w = g + t*g - 11, -3*w - 6 = 0 for g.
1
Let z(f) = f**3 + 8*f**2 + 8*f + 7. Let w be z(-7). Solve 5*d + w*d - 4*x + 36 = 0, -d - 20 = -4*x for d.
-4
Let n = -4 - -22. Suppose 4*x - n = 10. Let o(m) = -m**2 - 4*m + 2. Let c be o(-4). Solve -z + c*f + 0 = x, 0 = -z + f - 6 for z.
-5
Let k be -2*(2 - 6) - 1. Suppose 0*d = -4*d + 16. Suppose -2*l - 3*t + 15 = l, -t = 5*l - 13. Solve 0 = l*a + 5*n - 18, -n + d*n - k = -5*a for a.
-1
Suppose 14*i - 8 = 10*i. Suppose g - 3 = t + i, 0 = 2*g + 5*t + 11. Solve -4*z + g*m - 12 = 0, -4*z - 3*m = 32 - 10 for z.
-4
Let q = 10 - -64. Let g = -5 - -7. Suppose 0*a = a - g*z - 12, 5*z = -4*a + q. Solve 0 = -4*v - 5*k - 27 - 8, -2*k = 2*v + a for v.
-5
Let q = 4 - 1. Let g(n) = 6*n - 7. Let f be g(2). Solve -6*b - f*l + 3 = -5*b, -q*l = 0 for b.
3
Let a be (2/(-4)*0)/((-44)/22). Solve 0 = -3*p + 5*d - 19, a = d - 1 - 4 for p.
2
Suppose -5*k + 10 = -30. Let p = k + -6. Suppose -n = -5*i + 4*n, 4*i - p = 3*n. Solve -5*l + 4*l - 5*c = -27, -2*l + i*c = 6 for l.
2
Suppose 4*s = 3*s + 14. Solve -p - 5*u = -5, 3*p + 3*u + s = 5 for p.
-5
Let c(w) = w**3 - 9*w**2 - w + 11. Let h be c(9). Solve 5*o - 4 = h*s - 3, -5*o = 2*s - 9 for s.
2
Let d be 19 - ((-24)/2)