or t.
-2
Let f(t) = -t + 2. Let i be f(-4). Suppose -i*g + 2*g + 8 = 0. Solve 4 + 4 = 4*h, 2*y + 4*h = -g for y.
-5
Let b be 2*((-6)/(-4) - -1). Let l(t) = t**3 + 2*t**2 - 2*t - 2. Let h be l(-2). Solve -6 = h*r + 2*u, 5*r - b*u + u + 6 = 0 for r.
-2
Let b be (-18)/(-10) + 5/25. Let k(m) = m**3 - 6*m**2. Let d be k(6). Solve 4*p + b*g - 10 = 0, -5*p = -d*p + g - 8 for p.
1
Let q(d) be the first derivative of 3*d**2/2 - 2. Let f be q(1). Solve m = -f*s - 5, 4*s = -4*m - 0*m - 20 for m.
-5
Let w(r) = r**3 - 4*r**2 + 3*r - 8. Let m be w(4). Solve 5*h + z - 15 = 0, -h = m*h - 4*z + 10 for h.
2
Let b be 4/(-14) - 2/(-7). Let o be (0 + 4/1)/((-46)/(-23)). Solve -i = 3*s + 16, b = -o*s + 3*i - 6*i - 13 for s.
-5
Let f be 2/(-5) + 8/(-5). Let k be 2 - 6*(1 + f). Solve k = -d + 2*v, -2*d - v = 4*v - 2 for d.
-4
Let m be ((-6)/(-3) + 19)/1. Solve 3*s - m = -5*x + 9, 0 = -5*x + 15 for s.
5
Let n(f) = f + 7. Let o be n(-7). Solve -w - 5 = 2*k - o, 2*w + 8 = -2*k for w.
-3
Suppose 3*d + 6 = -u - 2, -2*u = -d - 12. Solve -7*w = -u*j - 3*w, -5*j - 4*w + 18 = 0 for j.
2
Suppose 6*x - 2*p = 2*x + 12, -4*x + 3*p = -14. Solve t = -2*r + 1 - 11, x*r - 5*t + 10 = 0 for r.
-5
Suppose 4*n + 18 = 98. Suppose 0 = 3*g - 8*g. Solve 0 = 2*z - 5*v - 15, g*v + n = -2*z - 2*v for z.
-5
Suppose -8 = -4*l + 2*l. Suppose -18 = -l*u + u. Solve -u*y + y - 5*r - 35 = 0, 2*y = -4*r - 18 for y.
-5
Let k be (-1 - (1 + -1)) + 5 + -4. Solve k = -h - 5*i + 9, 2 = 3*i - i for h.
4
Suppose 5*a = 2*t - 30 - 33, -2*a = 5*t + 2. Let o = -6 - a. Let j be (-1)/2 + 44/8. Solve -k - 1 = 2*h + 1, o = 4*k - j*h for k.
0
Suppose -2*a = -3*a - 5*z - 15, -a + 5*z = -15. Solve -d = -2*t - 11, a = -5*d - t + 2*t + 19 for d.
3
Suppose 0 = 5*q - 5*l - 35, -5*q + 0*l - 1 = 4*l. Suppose 0 = -4*j - 4*f + 32, -q*j + f - 4 = -3*f. Solve -y - 7 = 4*w, -3*w + 0 = 2*y + j for w.
-2
Let q = 6 + -5. Let l = 1 + q. Suppose -o = l*o. Solve 4*h = 5*j - 2 + 8, -4*j - 8 = o for h.
-1
Suppose -3 = -5*q - 3*l, 0*l + 1 = -q - l. Solve 10 = q*m - 2*p + 3*p, 0 = -2*m - 4*p + 10 for m.
3
Suppose 8*g = 4 + 36. Solve -5*c - w - g = -4*w, -2*c + 2*w - 6 = 0 for c.
2
Let d = -72 + 74. Solve -3*u = -15, -z + d*u = -0*z + 15 for z.
-5
Let y = 18 - 16. Suppose -2*l + 9 = 3. Solve -1 = -s + y*k, -3*s + 6 = -3*k - l for s.
5
Suppose 2*p - 2*m = -10, -2*p - 2*m = -0*p + 18. Let k be (-2)/7 - 58/p. Let g be (17/4)/(2/k). Solve -3*a = w + 16, -3*a - 5*w = -3*w + g for a.
-5
Let m = 47 - 44. Solve d - q - 12 = -4*q, -2*q = -m*d - 19 for d.
-3
Suppose c = 2*c - 2. Solve -3*s = c*f + 22, 37 = -5*f - s - 2*s for f.
-5
Let d be (-1 - -6)*(-7 + 8). Suppose -d*r = -19 + 4. Solve -3*f = 3*a - 24, r*a + 4*f = -0*a + 27 for a.
5
Let a = 8 - 8. Suppose -3*d + 14 = -2*g + 2, a = -4*d + 4*g + 16. Solve w - 9 = -2*w + 3*t, -d*t - 7 = w for w.
1
Let o(f) = -4*f**2 + 2*f**3 - 4*f**3 + 4 + 3*f + 3*f**3. Let r be o(3). Let w be (-2)/27*-3 - (-68)/18. Solve -4 = -4*g + w*l, -2 = r*g + 2*l - 6 for g.
1
Let a = 2 - -2. Solve 0 - 15 = -u + a*p, -10 = -u + 3*p for u.
-5
Let w = 23 - 21. Solve 0 = -z - 2*q + 3, 0 = -3*z + w*z - q + 4 for z.
5
Suppose -4*v - 5*c - 13 = 0, -5*v - 3*c - 5 = c. Let l be ((-1)/3)/(2/6). Let d = l - -2. Solve -2*b + 16 = -v*u, -5*u - d = 4*b - 11 for u.
-2
Suppose -r = r - 6. Let w be -1*(-8 + 2) + -2. Suppose -p - 4*m = -2, 0*m - 48 = -w*p + 4*m. Solve -2*x = -r*i - p, 4*x - 6 = 5*i + 10 for i.
-4
Let c(q) = -q**3 - 3*q**2 + q + 1. Let t be c(-3). Let x be (6/(-9))/(t/9). Solve -9 = -0*v - 3*v - x*n, 0 = v - 3*n + 17 for v.
-2
Let l(u) = -u**3 + 2*u**2 - 3*u + 2. Let z be l(1). Let f = -3 - -5. Let h be 1/(-2) + 9/2. Solve -f*j = h*v - z*j + 18, -v - 7 = 3*j for v.
-4
Let l be 1 + 1*4 - 0. Let n be (1 - -3) + -4 + 2. Suppose 0 = n*s + 5*f - 0*f - 55, -3*s + 57 = -f. Solve s = l*a, 2*a = 5*u - 3*u + 4 for u.
2
Let z = -32 + 33. Solve -c + 2*c + 3 = 5*o, c = 3*o - z for c.
2
Suppose w + 5*j + 5 = 0, -33 - 32 = -3*w + j. Suppose 3*m + 0*m + 3*z + 12 = 0, -5*z - w = -5*m. Solve -4*a + m*i - 2*i - 14 = 0, -3*i - 1 = 2*a for a.
-5
Let q(d) = 19*d + 3. Let v be q(-6). Let g be v/12 - 1/(-4). Let m = g + 12. Solve -m = -0*f - f, 4*y - 2 = 2*f for y.
2
Suppose 0 = 3*v - 3 - 6. Let p = v + 0. Solve -2*d + 4 = 5*x - 19, -p*d + 24 = 4*x for d.
4
Suppose 5*b = b + 16. Let v be (b - 1) + 2/1. Solve i = v*d + 22 - 5, d + 3 = 0 for i.
2
Let n be (-80)/(-6) - (-2)/(-6). Let h be n/(-5) - 2/5. Let g(z) = -z**2 - 3*z. Let r be g(h). Solve r*t + 4*t = o + 15, 0 = -4*t - o + 9 for t.
3
Let t(u) be the first derivative of u**4/4 + 14*u**3/3 + 7*u**2 + 13*u + 4. Let f be t(-13). Solve -5*x - 5*j = 9 + 6, 3*x + 5*j + 17 = f for x.
1
Suppose 3*y = -3 + 6. Solve -2*m = -5*r + 23 + y, 4*m = -r - 4 for r.
4
Let p be (2/(-3))/(2/3) + 1. Solve 2*f = -3*w - 1, -w - 3*f - 11 - 1 = p for w.
3
Suppose 5*h - s - 104 = -19, 2*s + 58 = 3*h. Solve 0 = 3*u - 5*o + 25, 0 = 4*u + o + o + h for u.
-5
Suppose -3*w = q + 12, 4*q - 5*q + 2*w + 13 = 0. Solve q*t + 5*n + 42 = 2, t = -n - 10 for t.
-5
Let n be (-2 - -1)/(2/(-4)). Suppose -3*b = 4*x + 2*b - 11, n*x = -5*b + 3. Suppose x*j - 20 = -0. Solve 4*u = j*k + 45, 5 = -u + 3*u + k for u.
5
Let o be (-6 - -2)*2*-1. Suppose l + 2 - o = 0. Let j be ((-1)/(-2))/(1/l). Solve -3*g + 6 = -5*f - 2*g, 0 = -3*f + j*g - 6 for f.
-1
Let y(s) = -6*s - 5 - 4 + 7*s + 2. Let o be y(10). Solve -j + o*j + u - 12 = 0, 3*j - u - 13 = 0 for j.
5
Suppose 0 = -2*q - 3*t + 21, t - 7 = -3*q + 7. Suppose 4*u + u = -q*n, 4*u = 0. Let y be n + 2*-1 + 2. Solve y = -2*d + s + 9 + 5, -3*d + s + 19 = 0 for d.
5
Suppose -r + 2 = 3*z + 6, -r - 10 = -3*z. Let m = 7 + r. Solve 5*c = -2*f + 8 - 41, m = f - 3*c - 11 for f.
-4
Suppose -69 = -5*s + 6. Suppose -2*g = -4*v + 1 + s, 3*g = v - 14. Solve -6*h + h = -v*n - 23, -n = -2*h + 10 for h.
3
Suppose -4*d = -10*d. Solve r = -2*z + 7, 4*r + 5*z - 7 - 9 = d for r.
-1
Suppose n = -3*n + 20. Suppose 3*k = 2*k + 16. Suppose 4*h + h - 15 = 0. Solve -p - k = -n*z, 4*z + 5*p + 2 = h*z for z.
3
Let f(h) = -h**3 - h - 1. Let u be f(-2). Let q = u + -5. Let w = 20 - 8. Solve 2*b + w = -0*o - q*o, -10 = 2*o for b.
4
Suppose 0 = -2*c - 5*w + 13, -w + 7 = c + 2*w. Let j be 6/(-2*(2 - 3)). Suppose z = -2*n + 3 + 2, -j = -3*n + 3*z. Solve 0 = -q - n*s + 3, 3*s - c = 5 for q.
-3
Let n(y) = y + 6. Let j be n(-3). Let s be 1/j*(9 + -3). Solve 2*k + 5*a = -0*k - 11, -5*k - s*a = 17 for k.
-3
Let t = -10 + 13. Suppose 4*b - 40 = -5*y, -3*y + 1 = -t*b + 4. Solve 0 = -3*s - 5*l - 13, -y = 2*s - 3*l - 8 for s.
-1
Suppose 0 = 2*v - 1 - 3. Suppose -34 = -n - 4*y, v*n - 3*y - 39 - 18 = 0. Solve 5*c + j - 2*j - n = 0, 3*c + 2*j = 5 for c.
5
Suppose -2*h = 3*h + 10, w + 6 = -4*h. Let u be 4 - (-2)/w - 0. Solve 5*f + m = u*m - 16, -f - m - 5 = 0 for f.
-4
Let p = 37 - 34. Solve -2*x + 10 = -q, x = p*x + q - 2 for x.
3
Let d(n) = 2*n**2 + n + 2. Let z be d(-2). Suppose z = w + w. Solve 5*u - w*j - 23 = 0, -3*u + 4 = 4*j + 3 for u.
3
Suppose -r = -2*u, -4*r + 3*u = 2 - 7. Suppose -2*y + r = -6. Solve 5*m = w + 12, -2*w + 5*w = y*m - 3 for w.
3
Let q(x) = 2*x**2 + 3. Let k be q(3). Suppose -r = 2*r - k. Let n(a) = a + 12. Let i be n(-9). Solve 2*g - m + 1 = 0, 2*g - 4*g + i*m = r for g.
1
Let v(g) = -g**2 + g + 1. Let a(p) = 4*p**2 + 3*p - 7. Let c(b) = a(b) + 5*v(b). Let u be c(7). Solve 4*s - 6*s + 2 = 2*z, u*s + 40 = 4*z for s.
-4
Suppose v = -v + 16. Let f = 13 - v. Solve -x + 1 + 2 = -3*d, -3*x = -5*d - f for d.
-1
Let y = -4 + 9. Suppose -3*j + y = 5*g - 0, -4 = -2*j - 3*g. Suppose u - 56 = -51. Solve c + u*v = 15, j*c + 2*v - 3 = v for c.
0
Let k(w) = 2*w**2 - 2*w + 2. Let g be k(1). Suppose -7*r + g*r = -100. Solve -z + r = -4*p, 2*z + 2 + 6 = -4*p for z.
4
Suppose 1 = -2*k + 5*s + 12, -3*s - 9 = -2*k. Solve -18 = 2*m + 2*i, 0 = -4*m + i - k - 8 for m.
-4
Suppose -9 = -4*n + 3. Suppose -11 = -n*f + 4. Let z(h) = h**3 + 5*h**2 - 2*h - 2. Let i be z(-5). Solve 7 + i = -4*b + k, -3*b - f = -2*k for b.
-5
Suppose -5*h = -2*y - 11, h - 11 = -y - 3*y. Let w = -8 - -12. Let o be (w/(-5))/(4/(-50)). Solve 0 = -4*v - y*p + 3*p + 6, 4*v - 3*p - o = 0 for v.
1
Let v(l) be the first derivative of l**4/4 - l**3 + 2*l + 1. Let j be v(3). Let z = 4 - j. Solve -3*t - 11 = -h - 4, 8 = -4*t + z*h for t.
-3
Suppose 3*i - 4*s - 42 = 2*i, 0 = -3*i +