 9 - z, 0 = t - 5*a - 16 for t.
-4
Let x(j) = j**2 + 20*j + 38. Let p be x(-18). Solve -5*r - p*y = 3, -2*r + 4*y = -0*r + 6 for r.
-1
Suppose -x + 2 = -0. Suppose 3*z - g - 20 = 0, x*z - 3*g = -0 + 4. Solve -l + w = -2, -4*l + 3*w = z*w - 8 for l.
2
Let v be -9 - -6 - (-12 + 1). Solve -2*g + v = -3*s, 5*s + 10 = -0*g + 5*g for g.
-2
Suppose k - 9 - 5 = 0. Solve -3*l = 2*u - 6*u - k, -l = 2*u + 12 for u.
-5
Let c be 63/18 - 1/(-2). Solve 4*p - 3*t + 13 = 0, 2*t = -5*p + c*t - 11 for p.
-1
Let t = -39 + 41. Solve z = -0*r - 4*r + 5, -2*r - t = 2*z for r.
2
Let t be (8/(-28))/(2/(-14)). Suppose t*y + 4 = 4*y. Suppose -2*d + y*o + 7 = o, 0 = 3*d - 2*o - 9. Solve -4*j - j = d*x - 10, 0 = -4*j + 2*x + 20 for j.
4
Let v = 6 - -2. Solve 25 = 3*w + 5*c, -2*w + 4*w - c - v = 0 for w.
5
Let q(j) = j**3 - 2*j**2 - 2*j. Let s be 9*(-2 + 21/9). Let l be q(s). Solve 0 = -l*k, 8*k + 20 = 4*n + 4*k for n.
5
Let z = -23 + 27. Solve 3 - 1 = z*m - g, 2 = -g for m.
0
Let y be -3 + (7 - (-20)/(-5)). Solve 4*w + 3*f = -3, y = -f - 5 for w.
3
Let w be ((-8)/10)/((-4)/30). Suppose -3*s = -w*s. Solve 3*l = 4*o + 8*l, 2*o + 5*l = s for o.
0
Suppose -5*w + 7 = -3. Suppose w*z + z + 3*j = 66, 5*z - 82 = 2*j. Solve -3*a - a + i = -13, -4*i = a + z for a.
2
Suppose o + 3*x = -o, 22 = 4*o - 5*x. Suppose k - 2*f = 20, 0 = k - 2*k - o*f + 20. Suppose k = -v + 6*v. Solve -b + 1 = v*b + 4*z, 11 = -5*b - z for b.
-3
Let b be 81/63 - 6/21. Solve 3*d - b = -g, 4*g - 2*d - 2 = 16 for g.
4
Let q(n) = -n**3 + 10*n**2 + 3*n - 8. Let m be q(10). Solve 5*a - 2*a - m = 2*s, s - 4*a + 21 = 0 for s.
-5
Let h(q) = q**3 + 8*q**2 + 4*q + 6. Let c be h(-7). Solve -3*m - 15 = 0, -3*j - 4*m + 7 = c for j.
0
Let m(x) = -x + 11. Let y(a) = -1. Let o(s) = m(s) + 2*y(s). Let c be o(0). Solve -2*r - 5*t + c = 25, r + t = -2 for r.
2
Let y(s) = s**3 - 5*s**2 - 5*s - 4. Let g be y(6). Solve -6*f + 10 = 3*j - f, g*f = 3*j - 17 for j.
5
Suppose 2 = -m, 0 = 4*a - m + 5*m - 8. Let w be 0 - 4/(2 - a). Solve -w*h = 2*v - 10, -12 = -2*h - 2*h for v.
2
Let j = -12 - -12. Solve j = 5*h + 4*t - 15, 6*t = t for h.
3
Let i = 3 + -1. Suppose 4*y - 18 = 2*r - 4*r, -4*r + i*y = -16. Solve 3*b - 4*z + 2 = -7, 3*z - 4 = r*b for b.
1
Suppose 0 = 4*o - 3*o + f - 2, 0 = -o - 2*f - 1. Solve o*a = 5*y + a + 12, -a + 2 = -y for y.
-4
Let g(k) = -k**3 - 4*k**2 + 2*k - 5. Let o be g(-5). Let f = 17 - o. Solve -f = 2*a - n, 5*a + 0*a + 16 = 4*n for a.
-4
Let i = -135 + 140. Solve -2*h + 24 = 5*x, 4*h + i*x - 25 = 3 for h.
2
Suppose n = -2*n + 2*x + 28, n - 31 = 5*x. Let l(g) = g + 3. Let j be l(0). Solve -2*v = 2*y - n, j*y - 8 = -y - 2*v for y.
1
Let b = -64 + 67. Solve -4*m = -n + 19 - 3, -b*n + 5*m + 27 = 0 for n.
4
Let h(d) = -d - 1. Let g be h(8). Let y be (-6)/(-9) + (-3)/g. Let m be y/(-3) + (-30)/(-9). Solve q = -2*k - m, -5*q = -0*k - 3*k - 24 for k.
-3
Suppose 4*o - 11 = 9. Let k be -5*(-3 + (-6)/(-3)). Suppose k*j = 3 + 7. Solve 0*l + j*l - 10 = 3*d, -2*l + 14 = -o*d for l.
2
Let n(p) = -p**2 - 9*p - 1. Let r be 3/(0 + 9/(-24)). Let a be n(r). Solve 2*w - a - 3 = -3*z, -10 = -4*z - w for z.
2
Let h(q) = -q**2 - 5*q - 1. Let m be h(-3). Let a be 2 + 1 + -2 + 3. Let o be (-65)/(-4) + (-19)/76. Solve m*r - 4*w - a = -o, 5*w = -2*r + 15 for r.
0
Let r(z) = z**3 + 5*z**2 + 5*z + 2. Let x be r(-3). Let v(j) = -j**2 + 6*j + 3. Let y be v(x). Solve 0 = 4*w + 3*n - y*n - 9, 4*w + 5*n + 41 = 0 for w.
-4
Suppose -6*k + 12 = -6. Solve 0 = -4*h + 2*f - 18, -h - 1 = -k*f + 1 for h.
-5
Let w be 8 - (3 + (-5)/(-5)). Solve 28 = -w*z + 4*p, z - 12 = 3*z - p for z.
-5
Let i = 18 - 15. Solve 0*o = 2*b + i*o - 6, 3*o = -3*b + 9 for b.
3
Suppose 4*k = -4*s - 4, 0*s - 4*k = -2*s + 22. Suppose q = s*q. Let n = 8 + -5. Solve q*a + 5*a + 10 = j, -4*a + 3 = -n*j for j.
-5
Let m(j) = j**2 + 7*j + 8. Let f be m(-6). Let g = f - -2. Suppose 0*u = -g*u. Solve 5*z - 4*a + u = -15, -4*z - 12 = a for z.
-3
Suppose 0*w = w - 2*u + 5, -2*u = -8. Suppose 0 = -w*a + 3*y + 12, 2*a + 2*y + 2 = a. Suppose 10 = 3*c + a*c. Solve -18 = 3*k - 2*x - c, 0 = 3*x - 15 for k.
-2
Suppose -4*y = 4*v - v - 23, 4*y - v = 3. Let c be y/5*80/8. Suppose -4*a = -c*p + 36, 0 = -4*p - 0*p + 2*a + 32. Solve -r + 3 = 0, -8 = 3*u - 3*r + p for u.
-2
Suppose a + 6*m = m + 18, -2*m - 9 = -5*a. Solve -a*t - 10 = -t, 0 = 3*r - 5*t - 10 for r.
-5
Let i be -15*(-3 - (-84)/30). Solve r = -5*m + 2*m + 14, 0 = 3*m + i*r - 18 for m.
4
Suppose 0 = 3*x - 5 - 4. Let j be 2/x*(-27)/(-3). Suppose 10 = j*c - 4*c. Solve c*h - 4*w + 0*w + 31 = 0, -8 = -4*h - 5*w for h.
-3
Let f be 5 - ((-2)/(-1) - 0). Suppose 6 = 3*u - f. Solve 3*g = 4 - 1, -3*g + 6 = -u*j for j.
-1
Suppose -2*p = 3*z - p - 2, 2*p - 4 = 3*z. Suppose x = -z*x + 4. Let m be (-1)/5 - 77/(-35). Solve -x*h - 2*b + 8 = 0, m*b = -5*h + 3*b + 24 for h.
4
Let w be ((-1)/((-10)/(-4)) + 1)*5. Solve -2*k + 4*l - 10 = 0, w*k + 4*l + 4 + 1 = 0 for k.
-3
Let x(n) = n**3 + 9*n**2 - n - 8. Let u be x(-9). Suppose w + 19 = 3*z, u = -z - 2*w - 2. Solve -z*q - g - 3 = -3*g, -3*q = g + 4 for q.
-1
Suppose -4*q - 2*j + 43 + 29 = 0, -4*j + 59 = 3*q. Solve 0 = 5*c + 4*y + q, -y = -c - 4*c - 27 for c.
-5
Let n(x) = 8 + 2*x - 5*x - 25. Let l be n(-7). Let c = 8 + -6. Solve -5*a = o - 23, -6*a = -c*a + l*o - 28 for a.
4
Let u = -149 - -152. Solve -u*a = 2*b + 2*b + 15, 3 = 3*a - 2*b for a.
-1
Let q = 76 - 57. Solve p - 8 = -3*p - 4*u, 4*p - 5*u + q = 0 for p.
-1
Let r be (7 - 0)*(-12)/(-14). Suppose r*f - 3*f = 0. Suppose -y + 0 + 2 = f. Solve 2*w = 2*n, -4 = 2*n - 0*n + y*w for n.
-1
Let g be (1/(-3) + 2)*6. Solve -g = 5*a + 15, 3*c + a - 10 = 0 for c.
5
Suppose 2*r = -2*l + 7 + 1, 2*l = -3*r + 11. Suppose 30 = r*g + 2*g. Solve 5*m = -a - 27, -5*a = -m - 1 + g for a.
-2
Suppose -4*m - 11 = -g, -4*m = g + 13 - 0. Let s(t) = -6*t + 1. Let x be s(g). Let b = 11 - x. Solve -k = -5, b*j + 3*k - 13 = 6 for j.
1
Suppose 2*a + x + 4 = 3*a, 0 = 2*x + 2. Solve a*n + n - 4*z = -24, 5*n = z - 22 for n.
-4
Let g = -13 - -17. Suppose g = 2*b - 2. Solve 0 = -b*r - 5*s, 5*r = -0*r - s for r.
0
Let f = -17 + 40. Suppose 0 = 3*v - 0*v - 3. Let d be v/3 + (-22)/(-6). Solve 0 = p + 3, 0*y - d*y = -p - f for y.
5
Let n = 2 + 1. Suppose -7*r - 10 = 2*v - 2*r, n*v + 5*r + 10 = 0. Solve -5 = 2*b + 5*z - v, -z = 1 for b.
0
Suppose 4*y + 17 = 4*m - 3, -4*m + y = -20. Let s(o) = -o - 2. Let k be s(m). Let l = k + 18. Solve -2*p = -v - l, p - 3*p + 5 = v for v.
-3
Let z(n) = -5*n**3 + n + 1. Let v be z(-1). Let g = -3 + v. Solve -g*c = 5*r + 18, 2*r + 3*c + 12 = c for r.
-2
Let j = -12 - -15. Solve 0 = j*q - 3*k - 15, -2*q - 4*k + 25 = 3*q for q.
5
Let n be (40/35)/(2/7). Let q be 32 - 0 - 0/2. Solve -4*d + n = -4*g, -4*d - 4*g + q = -g for d.
5
Suppose -1 - 1 = 2*n. Let o = n + 3. Let g be -1*(-1)/(1/o). Solve -4*w + 3*y = -2*y, -4*y = -g*w for w.
0
Let y be (6/2)/3*15. Suppose -2*w + x - 6*x - 4 = 0, 0 = 4*w + 4*x - 4. Solve 3*s - w*r = 0, -r = 2*s + y - 6 for s.
-3
Suppose 9 = -r + 22. Let j = r + -13. Solve -4*z + l + 4 = 5*l, j = -z + l + 1 for z.
1
Let h be 2 - 0/(6/2). Let t be (h/(-4))/((-2)/44). Solve d + t = 5*d + 3*f, -2*f = -4*d + 26 for d.
5
Let p = 0 - -5. Suppose 3*m = p*m. Let d be (0 - 1)*(2 - 18). Solve -4*k = -c + d, c + 9 = -m*k - k for c.
-4
Suppose -2*d + 40 = -0*d. Let y be 2/(-1 + 28/d). Solve -y*k - 10 = -c, c - 2*c - 10 = 5*k for k.
-2
Let d(n) be the first derivative of n**2/2 + n - 8. Let a be d(1). Solve 4*k + a*b = 0, 3*k - k = 4*b - 20 for k.
-2
Let w(g) = g**2 - 4*g - 1. Let f be w(4). Let x = f - 0. Let b = x - -2. Solve 5*i = -l + b, l = 4*i - l - 12 for i.
1
Let g = -6 - 17. Let j = -20 - g. Solve j*f + 6 - 2 = w, 3*f + 2 = 2*w for w.
-2
Suppose 5*m + 4*k = 44, 33 = 4*m - 4*k + 5. Let b(f) = -m*f + 3*f**2 - 5*f**2 - 8 + 3*f**2. Let o be b(9). Solve -p + 8 = -4*h + 2*p, p - o = 3*h for h.
1
Suppose -4*h + 2*h = 0. Suppose h = t - 2 - 0. Solve 14 = -3*q + j, 4*q + 3*j = -8 - t for q.
-4
Suppose -8 = h - 5*h. Let w be ((-3 - 0) + h)*0. Solve 6*z - 4*l + 12 = z, w = 2*z - 3*l + 9 for z.
0
Let l = 11 - 6. Suppose n + 12 = l*n. Let c(j) = j**3 - j**2 - 5*j + 2. Let s be c(3). Solve n*x - 2*m + 21 = 0, -m = 3*x - s*m + 27 for x.
-5
Let j be 1*-2*(-2)/(-1). Let s be 20/28 - j/14. Solve -2*g - 3*p = 11, -s = -2*g + p - 0 for g.
-1
Let c(v) = v + 3. Let