 = -z*t, -4*t + 30 = -5*k for k.
-2
Let q(f) = -3*f**3 - 2*f**2 + 1. Let a be q(-1). Let u(w) = 2*w**2 - 1. Let x be (-1)/3*-3 - 2. Let g be u(x). Solve a*j = -y + 6, 6*y + j - g = 5*y for y.
-4
Let w be 6 + -2*(-1 - -3). Solve 2*k - q = 13, -k - w*k + 3*q = -27 for k.
4
Suppose z - 42 = -14. Suppose -2*r - 24 = -6*a + 2*a, -4*r - z = -4*a. Solve i = -3*j + 1, 14 = 2*j - a*i - 15 for j.
2
Suppose -u + 3*u + 46 = -5*d, 4*d + 81 = -5*u. Let o = -10 - u. Let h be (-4)/(-14) + (-4)/14. Solve 0 = -h*m - o*m + 4*t - 11, -5*m + 5 = 5*t for m.
-1
Let y be 3*7/((-84)/(-16)). Solve -2*a = r - 5, y*r - 4*a = -17 - 11 for r.
-3
Let x(i) = -i**2 - 2*i + 3. Let w be x(-3). Suppose -5*j + 28 = 3. Suppose w = j*h - 5 - 10. Solve 4 = v + 2*t, v - 3*t = -h*v + 5 for v.
2
Let r = -6 + 9. Solve -m = -3*c + 3*m - r, -5*c + m = 5 for c.
-1
Let c = 17 - 8. Let t(s) = -4*s**3 + s**2 - s - 1. Let l be t(-1). Suppose l*h - 3*v - c = -v, v = 3*h - 6. Solve -4*o + 3*i = 7*i - 12, -o = -h*i + 5 for o.
1
Let x = -1 - -3. Suppose 3*f + x = 4*f. Let q be f/(-7) + (-80)/(-35). Solve q*g = -0*g - 3*c - 20, 5*c + 36 = -4*g for g.
-4
Suppose 2*a - 59 = 23. Let o = -116 + 120. Solve -4*q - 2*x = 15 - a, o*q = x + 17 for q.
5
Let a = 3 - 1. Suppose -4*u + 0*z = -3*z, 3*u = a*z. Suppose 0 = -u*m + 2*m - 5*i + 3, 21 = 3*m + i. Solve 3*s - s = -2, 0 = 2*q + 4*s - m for q.
5
Suppose 0*g + 2*g = -4*x + 16, -2*x = 4*g - 14. Suppose -2*k - 2*p + x*p + 7 = 0, 0 = 2*k + 3*p - 3. Solve 5*n - 31 = -3*o, -k*n - 6 + 29 = 4*o for o.
2
Suppose -q = -10 + 8. Solve -5*x = -q*l + l - 8, -3*l - 4*x - 5 = 0 for l.
-3
Let a(j) = -j**3 - 2*j**2 + 3*j - 1. Let o be a(-4). Let t = o - 9. Solve 3*x - t = r, -17 = 4*r + r - 4*x for r.
-1
Suppose 0 = -5*k + 10 - 0. Suppose -v = -k*o - 3*o + 242, 4*v = o - 56. Suppose -p = 2*p - o. Solve 4*l - 3*j + p = 0, l + 8 = -l - j for l.
-4
Suppose -2 = -3*q + 16. Solve 5*j + 3*o + 6 = 0, q*j + 2*o = 2*j - 4 for j.
0
Suppose -9*i + 6*i + 6 = 0. Suppose i*m = -m + 15. Let f(j) = -j**2 + 6*j - 2. Let g be f(m). Solve -2*q - g*k = -4*k - 3, -5*q = k - 11 for q.
2
Let a be 152/6 - 18/(-27). Solve -5*p + 2*p = 4*w - a, 5 = 3*w - 5*p for w.
5
Suppose -5*w + 20 = 5. Solve w*t + 2*t - 2*h = -12, 3*h + 16 = -t for t.
-4
Suppose -k - 5 = -5*j, -k - 2*j + 15 = 3*j. Solve 15 = k*y - 3*g + 5, 3*g = -15 for y.
-1
Suppose 0 = -4*w - 4*y + 192, 5*y + 82 + 101 = 4*w. Let u = -28 + w. Solve -3*k + u = -z, k + 4*z - 3 + 14 = 0 for k.
5
Suppose -2*i + 29 = 5*y, 0*i = -4*y + 4*i + 12. Solve -y*g = -4*b - 1, g + 2 - 3 = b for g.
-3
Let u(a) = -a**2 - 6*a**2 - 6 + 2*a - a**3 + 2*a**3. Let i be u(7). Solve 1 = -d, -3*n + 5 + i = 2*d for n.
5
Suppose 0 = 2*l - 2 - 2. Solve 7*w + 22 = l*w + 3*o, 0 = -4*w - 4*o + 8 for w.
-2
Let n be (-6)/4 - 23/(-2). Suppose n*m - 6*m = 0. Solve 0*p - p + a - 7 = m, a + 9 = -3*p for p.
-4
Let g(t) = -t**2 - 3*t + 5. Let r be g(-4). Solve -2*j = 2*s - 4, -4*s - r = -21 for j.
-3
Let g(q) = 3*q + 2. Let n be g(-2). Let c be (-1)/n - (-195)/52. Solve -16 = -c*o + 2*h, 5*o + 2*h = 3*h + 23 for o.
5
Let w(j) be the third derivative of j**4/24 + 2*j**2. Let b be w(2). Solve -3*u - b*h + 25 = 0, -6*u + 3*u = h - 20 for u.
5
Suppose 0*c - 5*c + 10 = 0. Solve p - 3*p - 5*z - 15 = 0, -c*z - 12 = 2*p for p.
-5
Suppose 0 = -0*j - 5*j. Solve 2*s - 2*u - u - 14 = 0, s + 2*u = j for s.
4
Let x(g) = g + 3. Let q be x(-8). Let m be 1/2*(-5 - q). Suppose -3*d - 5*z + 35 = 0, -2*d = 2*z - 0*z - 30. Solve 2*r - 11 = -o, m = 4*o + 6*r - 4*r - d for o.
3
Let p = 6 + -18. Let m = p + 15. Solve 5*b - 10 = -5*f, -3*f + 4*f = m*b - 10 for b.
3
Let w = 24 - 4. Let c = -16 + w. Solve 2*y = 5*v + 14 + 11, 5*v + c*y = -25 for v.
-5
Let y be 2*3 + 2 - 2. Suppose y*r = -a + r - 6, 0 = -5*a - r + 18. Let w be 41/a + (-1)/4. Solve 0 = 4*s + o - 1 - 10, -3*s + w = -o for s.
3
Let r = -14 - -18. Solve -r*o - 6 = -2*m, -3*o + 0*m + 13 = 2*m for o.
1
Suppose h - 5 = -2. Solve 0*v - h*v - 15 = 3*w, -10 = 5*w for v.
-3
Let a be (-3)/(-1) - (-18)/(-18). Solve 5*h - i - 2 = i, 0 = -a*h - 5*i - 5 for h.
0
Suppose -2*i + 5*g = -7*i, 3*g + 2 = -i. Solve -j + 4*o = 13 + 1, -3*o + i = 4*j for j.
-2
Let w(o) = 7*o - 10. Let f(z) = -20*z + 30. Let h(n) = 6*f(n) + 17*w(n). Let a be h(5). Solve y + 3*m = 6*m - a, -5*m = -15 for y.
4
Let i = 28 + -23. Solve h = 4*d - 4, d = -5*h + i - 4 for d.
1
Let b be (3 + -1)*(-2)/4. Let y be (b + -1)*3/(-3). Solve -5*i = 2*n, 0 = -5*i + y + 8 for n.
-5
Let l = 11 - -2. Let a = -2 + l. Solve 0 = 4*m + c + 18, -a = 3*m - c + 3*c for m.
-5
Let m = 11 + -3. Suppose 0*j - 4*j + m = 0. Suppose 2*a - 8 + 18 = v, 3*a = -j*v - 8. Solve 0 = -4*o - h - 4*h - 35, 0 = -2*o + 4*h + v for o.
-5
Let l(s) = 6*s - 1. Let f be l(1). Let c(z) = -2*z + 3. Let u be c(2). Let g be (-2)/1 - (u + -1). Solve g = -2*t + i - 5, 3*t - f*i - 10 = -0*i for t.
-5
Let j(p) = p**2 - p + 4. Let f be j(0). Suppose 5*c - 20 = 5*w, -f = 3*w + w. Solve -c*i + 5*z = 28, -3*i = 2*z + 2*z - 17 for i.
-1
Let d = 13 + -10. Solve 0 = u - 0*u + 2*q, -3*q + 18 = -d*u for u.
-4
Let d be 4/3 - 4/3. Solve 5*j = 5, d = -0*l - 3*l + j - 7 for l.
-2
Let w(i) = 3*i - 5. Let h be w(11). Solve 5*s - 16 = 5*a + 4, -5*a - h = 3*s for s.
-1
Let f = 52 + -49. Solve 0 = -f*z - 2*m - 3, -z = -m - 0 - 4 for z.
1
Suppose -194 = -t - t. Suppose -b = -8 - t. Suppose 3*z - 6*z + b = 0. Solve 0 = 3*y + 5*k - z, -3 = -2*y - 2*k + 15 for y.
5
Suppose 3*l - 17 = 13. Let v = 9 + -3. Let q = -4 + v. Solve 4*p = 4*y + q*p + l, -y - 3 = -p for y.
-2
Let s(g) = g - 1. Let u be s(5). Solve -u*l - 28 = 3*q, 2*q + 2 + 18 = -3*l for q.
-4
Let i be (-36)/(-54) - (-134)/6. Solve 3*p = -2*p + 3*w - i, -3*p = 4*w + 8 for p.
-4
Let l(f) = -f**2 - 12*f + 5. Let q be l(-12). Solve -x + 3*z + 13 = 0, 4*x - q*z - 23 = 3*x for x.
-2
Let b(q) = -q**2 - 10*q - 7. Suppose m + 36 = -3*m. Let z be b(m). Suppose r + 2*c - 12 = -3, -z*r - 3*c = -16. Solve 2*p - 20 = -r*v, 5*p + 0*p = v - 4 for p.
0
Suppose -3*t + 35 = -7. Solve 4*y - 18 = -a, 4*a = -2*y + a + t for y.
4
Let d = -3 - -3. Let r be 0*(-2)/(-8) - -4. Solve t + 3 = 2*z, r*z = -d*z - 2*t - 6 for z.
0
Let p be (5 + -3)/(1/2). Suppose 2*u + 10 = p*u. Let c be (-95)/(-25) + 1/u. Solve c*i + 2*g - 24 = 0, 5*i - 2*i - 19 = -2*g for i.
5
Let w = -1 + 5. Let o(n) = -n**3 + 4*n**2 + n. Let g be o(w). Solve 5*f = -2*i - 17, 0 = -3*f - 0*f - g*i - 13 for f.
-3
Let o(v) = -7*v - 35. Let n be o(-5). Solve -2 = -2*h + 5*q, 2*h + 4*q + q - 2 = n for h.
1
Let m = -89 - -92. Solve z - 4 = m*b, 0 = b - 2*z - 0*z + 3 for b.
-1
Let u = 21 - 32. Let w(x) = x**2 + 11*x + 12. Let t be w(u). Solve -3*y - 8 = -5*y, -2*y = 4*k - t for k.
1
Let t be 4/(-3)*(-6)/4. Let z(v) = v**2 - 13*v - 16. Let x be z(16). Solve -4*w + t*h - 10 = -x, -3*h = -4*w + 25 for w.
4
Let a = 12 + -9. Solve -5*j - h + 3 = -12, 2*h = j - a for j.
3
Let y(s) = 17*s**2 + 2*s - 1. Let b be y(1). Suppose 69 = 3*d - b. Suppose h = 5*r - 0 - d, -h - 9 = -r. Solve 5*m = 3*i + 23, 2*i + 4*m - 19 = r*i for i.
-1
Suppose 5*z = -11 + 66. Suppose -q + z = 2*i + 2, -4*i = 5*q - 27. Suppose q*r = -2*r. Solve 0*a = -3*a + d, 4*a - 4*d = r for a.
0
Suppose -r + 8 = h + 2*r, -h = -5*r - 24. Suppose 2*k + 4 = 0, -4*k = c - 0*k - h. Solve -7*i - c = 2*s - 3*i, 5*s = 3*i + 10 for s.
-1
Let f be 8 + -3 + (-2)/2. Let h(x) = x**2 - x + 2. Let q be h(-3). Let r = q - 10. Solve 0 - 2 = m, f*m = r*a + 8 for a.
-4
Let u = 1 - -4. Let d be 19 - (4/2)/(-2). Solve -2*i + 2*a = a - 4, u*a = -i - d for i.
0
Let z be -1*(1 - 3) - 6. Let b be ((-12)/2)/(z/2). Suppose -4*a = -b*a - 4. Solve -a*f = -4*i + 24, 6*f + 4*i = f - 21 for f.
-5
Let h(w) = 3*w - 2. Let j(g) = -7*g + 4. Let i(v) = 10*h(v) + 4*j(v). Let s be i(3). Solve l + 4*y + 0*y = 1, s = 2*l - y for l.
1
Suppose -3*t = 15, -3*t - 95 = 5*x - 10*x. Solve 0 = 4*a - x, -2 = 4*h + 5*a - 6 for h.
-4
Let s = -2 - -6. Suppose 2*a = s*a. Solve -2*f + 2*p + 1 - 19 = a, -3*f + 8 = 4*p for f.
-4
Let b(y) = 3*y**3 + 2*y**2 - y. Let f be b(1). Suppose -3*s + 18 = -4*o, 2*s = -0*o + 4*o + 16. Solve s*t - 4*j = f, 0*j - 2 = j for t.
-2
Suppose v - 8 = -3*v + 2*m, 0 = 2*v - 4*m - 4. Let x(d) = -2*d - 3. Let f be x(4). Let n = -7 - f. Solve -5 = -2*t - c, 0 = t - v*t - n*c - 15 for t.
5
Let x be -2*2/(-22) + 489/33. Solve -5*f - 2 = 3*l + x, 3