 be z(-3). Solve -g*a = -4*u - 2*a - 16, 17 = -5*u + a for u.
-3
Let t = 13 + -3. Let b = t + -10. Solve 3*n = 2*z - b*z - 15, -4*n - 20 = z for n.
-5
Let t be (-27)/(-6) - 1/(-2). Suppose -2*b + 26 = -4*k, -3*b + 6*b + k = 46. Suppose -6*d + 45 = -d. Solve -y + t*s = b, y - 2*y = s - d for y.
5
Let l(o) = -3*o + 1. Suppose -2*p + 3 = 1. Let m be 2*(p/2)/(-1). Let x be l(m). Solve -3*j + 6*j + 14 = -c, 0 = x*c + j + 12 for c.
-2
Let u(a) = -a + 21. Let q be u(17). Solve 0 = -q*t + 5*h + 3, -3*h = h + 12 for t.
-3
Let i(o) = o + 7. Let s be i(-7). Suppose -2*h + s*h = -10. Let g = h - 2. Solve 4*v = -l, -5*v = g*l + 2*l + 15 for l.
-4
Suppose -7*z + 3*z - 2*v = -2, -2*z + 4 = -2*v. Suppose -l = -0 - 1. Solve a - 2*g = z, 5*g + 3 = 2*a - l for a.
-3
Let o(v) = 2*v**2 + 9*v + 14. Let m be o(-4). Solve 2*l = 5*n - 9, 0 = -7*l + 3*l + 2*n - m for l.
-2
Let k(c) = -2*c**3 - 4*c**2 - 3*c - 2. Let o be k(-2). Solve -5*z = 5*f + 30, -4 = 5*z - o*z - f for z.
-5
Let d = 14 - 10. Let m = 15 + -8. Suppose o + 2*p + 3 = 0, -3*o - 3*p - 2*p = m. Solve 4*r - l = -o, -r + 2 = d*r + 2*l for r.
0
Suppose 1 = -3*a - 8, 4*a + 15 = c. Solve n + p + 2 = 0, n - 4*p - c = -0*p for n.
-1
Let u(p) = -p + 12. Let l be u(9). Solve -l*h + 0*h + 19 = 4*o, -h + 3*o - 11 = 0 for h.
1
Suppose 7 + 12 = 5*k - z, 5*k - 3 = -3*z. Solve -8*b + 20 = -k*b, 2*b - 11 = 3*p for p.
-1
Let d = -9 + 19. Suppose 0*z + d = -z. Let q = z - -33. Solve 4*i - 5*x = 1 + q, -4*x = 4*i + 12 for i.
1
Suppose 3*o - 4*x = 2 - 12, -18 = -o - 4*x. Solve 0 = o*a - v - 4, -8 = 4*a - 0*a + 2*v for a.
0
Let h be (1/1)/(3/(-36)). Let y be (-2)/(-12) + 2/h. Solve d + 3*i - 21 + 9 = y, -12 = 4*d - 3*i for d.
0
Suppose 0 = -3*l - 3 + 9. Suppose -9 = l*x - 3*x. Suppose 12 = 2*h - 10. Solve 5*a + 5*f + h = -x, 2*a - 10 = 4*f for a.
-1
Let b(q) = -q**3 + 6*q**2 - 5*q - 1. Let c be b(5). Let y(o) = 3*o**2 + 1. Let m be y(c). Solve 5*h = 2*h + m*s + 22, -26 = -3*h + 5*s for h.
2
Let p(q) = -q - 3. Let o be p(-5). Solve 0 = -7*v + 3*v - 4*i + 24, 5*v = o*i - 5 for v.
1
Suppose -3 - 12 = -3*t. Suppose k - t - 1 = 0. Solve 0 = -5*m, -m = -i - k + 3 for i.
-3
Suppose 138 = 4*m + 2*z, m = -0*z + z + 39. Suppose f + m = -3*f. Let q be (4 - 1)/(f/(-6)). Solve 0 = -0*t + 2*t + 2*s - q, 21 = t - 4*s for t.
5
Let n(l) = 9*l + 159. Let g be n(-17). Suppose -5*z + 8 = d, 5*d = -5*z - 0*d. Solve 0 = 4*i - 16, 0*i - z*i = x - g for x.
-2
Let f(r) = r**2 - 7*r - 7. Suppose 9 + 15 = 4*w. Let p be f(w). Let b = p + 23. Solve -4*l + 9*a - 9 = 4*a, -b = -2*a for l.
4
Suppose -5*q = 5*s - 395, -3*s + 109 = 5*q - 290. Let z be (-8)/20 - q/(-15). Solve -26 = z*y - 4*x, x = 2*y - x + 12 for y.
-2
Let w(t) = 4*t**2 - 4*t**2 + t**2 - 7*t + 4. Let i be w(9). Solve 2*r - 4*c = -i, -2*c = -5*r - 7*c + 20 for r.
-1
Let t(q) = q - 3. Let n be t(-5). Let f = -6 - n. Solve -5 = c + 4*u + 18, f*c - 5*u = 19 for c.
-3
Let i = 4 - 0. Suppose 3*j = -0*j + 54. Let g = 23 - j. Solve 0 = -g*k + m + 2*m + 31, -i*k + 22 = -m for k.
5
Suppose -24*q = -21*q - 15. Suppose -m + 2*m = q. Suppose -2*f + l + 4 = -4*l, 6 = 3*f + l. Solve -f*u - 2 = 0, m = 2*n - 4*u - 5 for n.
3
Let r be 9/6*8/2. Let u = r + -3. Solve u*c + 3*f + 21 = 0, 9*c + 2*f + 26 = 4*c for c.
-4
Suppose 0 = -0*c - 4*c. Let m(k) = k + 4. Let n be m(-4). Suppose n = -0*u - 5*u + 20. Solve -h + 8 = 3*z + 22, c = z - u*h + 9 for z.
-5
Suppose -2*u = -4*z - 4, 2*u + 18 = -u - 2*z. Let d be (0/2)/(3 + u). Solve 0 = -o - f - 5, 4*o + d*f - f + 15 = 0 for o.
-4
Let p(j) = j**2 - 5*j - 10. Let h be p(7). Solve h*c + b - 3 = 0, -4*b - 3 = 1 for c.
1
Let i = -27 - -31. Solve -5*a + 14 = 2*k, 5*k + 0 = 3*a + i for a.
2
Suppose -l + 68 = 2*l + d, 5*d = 25. Suppose -2*p = 3 - l. Solve f + 7 = -5*a, -3*a - 22 = 5*f - p for f.
-2
Let r(z) be the first derivative of -z**4/4 - z**3 + 2*z + 4. Let s be r(-3). Solve -s*u + 6 = -0*w + 4*w, -u + 4*w = 3 for u.
1
Let s = -15 - -9. Let h(a) = -a**2 - 6*a + 5. Let d be h(s). Solve 5*f = -d*w, -3 = 4*w + f + 3 for w.
-2
Let v = 23 - -7. Suppose 5*j - 4*h - v = -12, -h - 6 = -2*j. Suppose 0 = -j*i + d - 2, -i - d + 2 = -0*d. Solve 4*x = 5*f - 7, i = 4*x - x + 3*f - 15 for x.
2
Let x(q) = -q**3 + 5*q**2 - 2*q - 4. Let s be x(4). Suppose -30 = -z + 3*w - 5, 4*w = 16. Solve -4*p + 28 = s*i, -3*p + z = 4*i + 14 for i.
2
Suppose -m - w + 1 = 0, -7*m + 2*m - 3*w = -7. Let k be (m - (2 + -1)) + 2. Solve k*z - 26 = 4*l, 5*z + l + 1 = 6 for z.
2
Suppose 6 = l + 2. Suppose -3*i - 7 = 4*v, -l*v + 0*v + 5*i + 33 = 0. Solve -2*a - 3*d + 21 = 2*d, -v*d = a - 8 for a.
-2
Let u(g) = 3*g**2 - 6*g - 4. Let w be u(6). Suppose -v + w = 5*x, 0*v - 64 = -4*x - 4*v. Let a = 19 - x. Solve z + o - 3 = 0, -10 = -4*z + o - a*o for z.
5
Let j(d) = 10*d**2 + 1. Let f be j(-1). Let r = 26 - f. Solve 5*z + 21 = -2*c - 0, r = -5*c for z.
-3
Suppose 4*i + 7 = -1. Let l = 6 + i. Let p be (-2 + 1*4)*1. Solve 4*f - l = p*s, -2*f + 4*f + 14 = -3*s for s.
-4
Let d be 0/(-4) - (-4)/1. Solve 2*o = x + 9, 0 = -4*x + o - d - 4 for x.
-1
Let f = 33 - 22. Solve 0 = 4*j + 3*u + 8, u + 0*u + f = -3*j for j.
-5
Let f(b) = b**3 - 5*b**2 + 5*b - 1. Let i be f(4). Let y be (4/(-3))/(i/(-9)). Solve -5 = n - 2*s, -y*n + 3*s - 1 = 4 for n.
1
Suppose -2*w + 7 = 3*x, -3*x + 14 = 2*w - 7*x. Suppose w*h - 15 = 2*h. Solve h*i + 37 = -3*t, 3*i = -5*t - 0*i - 35 for t.
-4
Suppose 7 = 3*s - 2. Suppose -8*h - h = -207. Suppose -2*p + h = 1. Solve p = -2*q - g + 4*g, -s*g = -5*q - 14 for q.
-1
Let z be ((-2)/(-6))/((-14)/(-210)). Solve -4*n + 10 = -7*d + 2*d, -2*n = -z*d for n.
5
Let q(c) = 2*c. Let y be q(1). Suppose 5*n - 3*n = 0. Solve -3*x - y*w - 3 = n, 2*x + 5*w = x - 14 for x.
1
Let v be -2 + (7 - (-5 + 2)). Solve -2*j - 7 = 5*t, j + t + v = -3*t for j.
4
Suppose 2*p - 5 = 5. Suppose -6 = -2*q + 2. Let z(j) = 8*j - 4. Let t be z(q). Solve -5*m = -d - 6, m + t = 5*d + p*m for d.
4
Let i(d) = d - 3. Let m be i(5). Suppose -m*l + 5 = 1. Solve -2*h + 7 = r, 0 = -0*h - l*h - 5*r + 3 for h.
4
Suppose w - 9 = -2*w. Let z = 30 + -12. Solve -w*j = s + s - 3, -z = 2*s - 4*j for s.
-3
Let h be (-4)/(-18) - (-6)/(-27). Solve 0 = -3*g + 2*g - 5, 4*l + 4*g = h for l.
5
Suppose -7*b = -5*b - 6. Solve 5*a + 25 = 5*n, b*a - 25 = -5*n + 4*a for n.
5
Let d(x) = x + 1. Let p be d(4). Suppose 4*m = 0, -3*b - 4 = -5*b + 4*m. Let s be b/6 + (-30)/(-18). Solve 3*y + 0*n = s*n - 13, p*y + 10 = n for y.
-1
Suppose 2*m + 15 = 7*m. Let h(z) = z**2 + 2*z + 3. Let u be h(-2). Suppose 3*j = 4*c, -c - u*j = j - 19. Solve 4*f - 4*i + 4 = 0, m*f - f - c*i = -7 for f.
4
Let g = 24 + -12. Suppose -5*f + 8 = -g. Solve 5*s = -5*k - 20, -2*s + f*k + 6 = -k for s.
-2
Suppose 11*c + 24 = 46. Solve p - 5*y - 15 = 0, -y + 5*y = -2*p + c for p.
5
Let t be (-45)/(-4) - 1/4. Let x = -11 + 16. Solve -5*i + i - 5*j = -t, 3*j + 23 = x*i for i.
4
Let j = 66 + -62. Solve 3*l = 2*y + 3*y + 11, -j*l = -2*y - 10 for y.
-1
Let i(y) = 1 - 2*y - 3*y + 3*y + 3*y. Let q be i(-4). Let c be q*(-2 + 2/3). Solve o - c = -5*a, 2*a + 4 = -3*o + 3*a for o.
-1
Let z = 37 - 20. Solve -6*v = -2*v - 3*f - 26, -f = -3*v + z for v.
5
Let d = -4 + 7. Suppose -y + 14 = 3*c, -y + 3*y - d*c - 1 = 0. Solve -6*l + 2*u + 19 = -l, y*u - 20 = -l for l.
5
Suppose 5*m + 5*r - 90 = -10, -m - 5*r = -28. Solve x = -3*j + 1, -x - m = -5*j + j for x.
-5
Let f = -27 - -30. Let a = 3 + -1. Solve 0 = 4*w - i + 11, f*w - i - i = -a for w.
-4
Suppose 25 = c - 5*y, c + y + 0*y = -5. Suppose c*i + 2*i - 6 = 0. Solve b = 2*l - 14, 4*b - 6 = -2*l + i*b for l.
5
Suppose 26 = 4*b - 2*q - q, -14 = -2*b + 2*q. Solve b*j = -2*m + 6 + 3, 0 = 5*j - 15 for m.
-3
Suppose 3*i + i = 0. Suppose 3*j - 26 = -k, i*j + j - 14 = -3*k. Solve 2*l - 2*x + j = 0, -4*l + x = -4*x + 20 for l.
0
Suppose 2*o - 5*i - 15 = -2*i, -4*i = o + 9. Solve -4*f + 5*z - 3 = -o*f, f + 5*z = -3 for f.
-3
Let k be 8/(-20) - 48/(-20). Suppose -10 = -k*x - 3*l, 0*l + 2*l = 0. Solve -f - 2 = -x*b - 0, -b = 5*f + 10 for f.
-2
Let d be 3*(-2 - (2 + -8)). Suppose 3*i - 19 = -5*z - i, -5*z - 5*i + 15 = 0. Let m = z - 4. Solve 2*c - d = m*x, 4*x + 2 - 6 = -4*c for x.
-2
Let q(k) = -15*k**2 - k + 1. Let v be q(1). Let j = 1 + 5. Let y be -2*v/j + 0. Solve y*b = -o - 4 - 1, 0 = -2*b - 2*o + 6 for b.
-2
Suppose -3*r = r - 12. Solve -2*k - 7 = 3*x - r*k, 0 = -x +