f - 8, -x - 20 = 4*f for f.
-4
Let y = 23 - 6. Let w = 22 - y. Solve 0 = -2*z - 4, -20 + 6 = w*j + 2*z for j.
-2
Suppose 0*t = 2*t - 4. Solve 3*v - 3 = 4*u, t*u + 3*v - v = 2 for u.
0
Let s(k) = k**3 + 8*k**2 + 7*k + 2. Let j be s(-7). Solve j*g - c - 3*c = -22, 4*g = -5*c - 5 for g.
-5
Suppose -5*d - 5*k = -10, 3*d + 0 - 4 = -5*k. Solve -3*b + d = -12, -24 = -m - 5*b for m.
-1
Let s = -8 + 7. Let b be ((4*s)/(-2))/1. Suppose 3*n - 5*y = -1, -b*n - 3*y = 3*n - 21. Solve -p - 3 = -z, 3*z - n*p = z + 11 for z.
-2
Suppose -5*m + 4*n + 27 = 0, -n = -m + 4*n + 18. Solve 2*y + 17 = 4*k + m, -3*k + 5*y = 0 for k.
5
Let y be 2/6 + 35/3. Solve -y = 5*o + 4*f, -10 = 4*o - 3*f + 12 for o.
-4
Let g(o) = -o**2 - 7*o. Let d be g(-6). Solve -2*t + x = 0, 3*t - 3*x + d*x = 0 for t.
0
Let a be -1*0*1/2. Let j be a/((4 - 1) + -1). Suppose 5*t = -5*w + 80, -t + 6*t = w - 4. Solve j = 4*v + 3*d - 4, 5*v + 0*v - d = -w for v.
-2
Let b(i) = -i**2 - 5*i + 3. Let x be b(-7). Let c = x - -16. Solve 4*l + 4*p + 1 = c*p, 3*l + 2*p = 2 for l.
0
Let l(w) = w + 13. Let c be l(-10). Suppose -3*s = c*m + 3, -5*m + 3*s + 22 + 5 = 0. Solve -3*y - m*h = h - 35, 5*y = -4*h + 45 for y.
5
Let h be (10/(-6))/((3 - 1)/(-6)). Solve -2*q = -h*c - 3 + 9, q = 5*c - 3 for q.
-3
Let x be 3 + 1 + -4 + 3. Suppose -2*b + 3 + x = 4*g, 4*g = -4*b. Solve 2*m + 21 - 6 = g*l, m + 5*l - 25 = 0 for m.
0
Let p be -82 + 86 + -2*(-1)/1. Solve 14 = y - 2*f - f, -p = y + f for y.
-1
Let h be (-112)/(-52) - 6/39. Solve -h*v = 2*l + 12, 4*l = 2*v - 5 - 13 for l.
-5
Let r(a) = -3*a + 3. Let d be r(-6). Let q = d - 19. Solve i + i - q*s + 14 = 0, 18 = -2*i + 3*s for i.
-3
Let u be 1/(((-3)/(-21))/(-1)). Let c = -2 - u. Suppose c*a = a. Solve 5*n + 18 = -x, -4*n + 0*x - 2*x - 18 = a for n.
-3
Let t(b) = b. Let w be t(2). Let v(o) = 2*o**2 + 3*o + 3. Let i be v(-2). Suppose 0 = i*c - 0*c - 15. Solve 5*k = -c*p - 21, -k = 4*p - w*p + 7 for k.
-3
Suppose -7*u + 3*u = 4*n - 140, 2*u = 2*n - 54. Solve n = b + 3*b + 5*w, -5*b = -4*w - 8 for b.
4
Suppose 0 = 10*z - 12*z. Suppose -5*p + 5 + z = 0. Solve -5*g - 5*d + 5 = 0, 0*d + p = 5*g + d for g.
0
Let u be (-3)/(-2 + (-3)/(-3)). Let g be 2/u*99/22. Solve -p - t - g*t + 15 = 0, 4*t = 5*p - 3 for p.
3
Suppose 0 = -2*s - 0*z - 5*z + 2, 5*z = 0. Solve 4*p = -5*q - s, -2*q - 2*p = 3*q + 3 for q.
-1
Suppose 3*p - 12*p = -18. Solve -3*l = -2*l + a + 4, 2*a - 12 = p*l for l.
-5
Suppose 1 = 2*f - f. Suppose f = -4*p + 17. Suppose -o = o - p. Solve -3*n - 5*m - 5 = 0, 0 = -3*n - 0*n - o*m - 2 for n.
0
Suppose 3*j - 2 = -5. Let w be j - (2 - 1)/(-1). Let y be 4 + -4 + 0 + 2. Solve 2*x + w*k = k - 7, x + y = k for x.
-5
Suppose w + 3 = 2*w. Suppose 47 = -w*k + 4*m + m, 2 = 2*k + 5*m. Let l = 9 + k. Solve l = x + 3*b + 10, 5*b = -5 - 5 for x.
-4
Let j = 47 - 42. Solve j*m = -a + 11, 2*m - 17 - 5 = 4*a for a.
-4
Let z = -19 + 31. Let j = -8 + z. Solve 0*w + 5*y - 3 = -3*w, 0 = j*w + 4*y - 4 for w.
1
Let w(d) = d**3 - 8*d**2 - 8*d + 2. Let v be w(9). Let i = 18 - v. Solve j = -x - 1, 5*x - i = j + 6 for x.
2
Let v(h) = 10*h - 5. Let b be v(4). Suppose -4*y - y + b = 0. Suppose -3*u + 5 = -y. Solve -3*o = u*d - 14, -d = -o - 3*o - 13 for d.
5
Suppose -16 = -2*b + 3*x, 3*b = 8*b - 5*x - 30. Solve n - 19 = 3*y, n = -b*y - 3*n + 6 for y.
-5
Let a = 9 + -6. Solve 3*k - a = -3*m, 2*m + 2*k = 7*m - 26 for m.
4
Suppose -32*z = -31*z - 5. Solve -b + 1 + 2 = -2*i, 4*b + z*i + 14 = 0 for b.
-1
Let v be (6 - 6) + (-4)/(-2). Suppose v*g = 3*g - 4. Suppose -g*z + 5*k = -3, 2*z - z - 4*k = -2. Solve -d + 7 = -z*d - l, l + 3 = 0 for d.
-4
Suppose n + 4*a = 6*n + 28, 5*n = -5*a - 10. Let q be (10/n - -1)*-2. Solve -q*h - 1 = -2*y, 2*h - y - 3 = 4*y for h.
-1
Let w = 107 + -74. Suppose f + 4*l = -2*f - 1, -5*l - 5 = 0. Solve 3*d + 2*q = -f, -5*q - 1 = -4*d - w for d.
-3
Let d(f) = 2*f - 10. Suppose -y - 4 = -11. Let w be d(y). Solve -2 = 2*m + z, 3*z + 2 = 2*m - w for m.
0
Let f(i) = i - 1. Let k(n) = -2*n + 3. Let d(b) = -7*f(b) - 4*k(b). Let r be d(8). Suppose h = 2*h - r. Solve s = -0*y - 4*y - h, 3*y - 3 = s for y.
0
Suppose -2*x = -x - 12. Let v = x + -6. Solve 0 = 4*i - 5*d, 0 = 2*i + d - v*d + 10 for i.
5
Let k be -1*-10*1/(-2). Let i be (k - -9)*(-2)/(-4). Solve -i*f + 7 = -g, -2*g - 5*f + 10 = 3*g for g.
-1
Suppose 2*s - 6*s + 8 = 0. Solve s*i - m = 6*i + 15, -3*m - 13 = 4*i for i.
-4
Suppose 0 = 5*q, -q = c - 3*q - 5. Let w = 3 - 3. Let t(f) = 5*f - 3. Let r be t(2). Solve -c*g - o + 3 = -r, w = 2*o for g.
2
Let s(t) = 2*t**3 + t**2 - 2*t + 1. Let c be s(1). Let u = 11 + 1. Solve -u = -3*x, 2*y + 16 = -c*y - x for y.
-5
Suppose 2*f = 2*t + 10 + 4, 3*f - t = 17. Solve -f*r - 5*g + 0*g = 10, -g + 28 = -5*r for r.
-5
Let z be (-1138)/(-18) + (-8)/36. Let m = z + -45. Solve -8 = 5*t - n - 2, -m = 3*t + 3*n for t.
-2
Let j be (-3 + 4)*2 - (-1 - -3). Solve -4*u + 19 = i, j = -3*i + i - 4*u + 18 for i.
-1
Let b = 6 + -10. Let k = b - -8. Solve -3*h = f, 21 = k*h - 3*f + 8 for h.
1
Suppose 4*x = 2*z + 3*z + 36, 4*z + 36 = 5*x. Let w be (5 + -1)/(8/12). Suppose -x*o + w = -o. Solve 16 = -2*m - o*b, -b = -6*b - 20 for m.
-4
Suppose 4*z = -3*g - 2*g - 13, 5*g = -5. Let q be 5 + (-3)/(z - -3). Solve 12 = -q*h - 2*h + 2*n, -h - n = 0 for h.
-2
Let t(w) be the second derivative of w**4/12 - 3*w**3/2 + 5*w**2 - 7*w. Let q be t(8). Solve 3*x = 5*f - 16, q*f + 0*f - 6 = x for x.
-2
Let y(w) = -w**3 - 5*w**2 - 4*w + 3. Let i be y(-5). Let v = 12 + -8. Suppose 5*o - 6 = -1, -3*a = 5*o - 14. Solve 2*p - v = 0, -3*x - p - a*p = -i for x.
5
Let o(h) = h**3 + 2*h**2 - 1. Let k be o(-1). Suppose 3*z - 9 = 3. Solve 5*n - z*q + 8 = 0, -10 = n - k*q + 2*q for n.
-4
Let c = -17 - -10. Let v = c - -10. Solve 0 = -0*z + 3*z - v*h, -4*z = -5*h - 2 for z.
-2
Let w be 6/(-15)*10/(-1). Let q = 18 - 9. Let l = q - w. Solve 5*v - 26 = -2*x + 9*v, -l*x = 3*v for x.
3
Let s be 2 + 3 - (-2)/(-2). Solve 0*z + s*l = 2*z + 28, -4*l = 5*z for z.
-4
Let x = -19 - -14. Let a = 0 - x. Solve -2*h - 3*d - a = 0, 3*h = -2*d + 4*d - 14 for h.
-4
Suppose 15 + 0 = 2*t + 5*j, -t - 4*j + 9 = 0. Suppose -b + w - 5*w = -24, -w - 36 = -t*b. Solve 0 = -u - 2*o, -2*u + 3*o + b - 1 = 0 for u.
2
Let p be (9/((-9)/(-8)))/2. Solve 0 = o - 2*m - 3, 9*m - p*m + 8 = 2*o for o.
-1
Let y be 1*(-3 + 4) + 1. Let b(i) = i**3 + i**2 - i. Let w be b(0). Solve -3*p + w*p = -3*r + 9, 0 = -y*r - p for r.
1
Let r(g) = -2*g**3 + g - 1. Let t be r(1). Let c be 88/6 - 6/9. Let x be 214/c - t/(-7). Solve 2*j + 5*a = -j + x, -20 = -4*j + a for j.
5
Let o(k) = k**3 - 8*k**2 + 8*k - 3. Let z be o(7). Solve 3*d = 4*i + z + 8, -16 = -4*d + i for d.
4
Let t = 23 - 18. Let q = t + -5. Solve q = 5*r + i, -r + 0*r - 4*i + 19 = 0 for r.
-1
Let w be 0/(-3) + (-8 - 0). Let b(d) = -d - 4. Let l be b(w). Solve -l*m - 2*r = 0, -2 = m - 0*r + r for m.
2
Let h(a) = 5*a**3 - a**2 + 2*a - 1. Let k be h(1). Let l(t) = -t - 2. Let j be l(-6). Solve 0*d + 16 = 4*u + d, k*d = -j*u + 16 for u.
4
Let x(k) = 2*k**3 - 2*k + 1. Let a be x(1). Solve -4*t + 2*r - 7*r = 15, 0 = -r + a for t.
-5
Let p(v) = v - 3. Let g be p(6). Solve f - 2*l = 4*f - 7, 5*f = 4*l - g for f.
1
Suppose -3*a - 1 = -7. Suppose -20 = -z - 3*z. Solve -4*m + 2*o = -5 - z, a = -m - o for m.
1
Let y be (-120)/(-6) - -2*1. Solve q - 6*q + 4*n = y, -4*q = -2*n + 14 for q.
-2
Let w be ((-60)/(-24))/(0 + (-2)/(-4)). Let h = -1 - -3. Solve -w*s - 2*x - 17 = 0, h*x + 0*x - 13 = s for s.
-5
Suppose 2*k = k + 2. Solve -3*f + 7 + 7 = k*a, -10 = -3*f + 2*a for f.
4
Let f = 11 - 8. Let j be 1/(-1*2/(-4)). Solve -q - f*q - u = j, 3*q = -u - 2 for q.
0
Suppose 3*i = 28 - 13. Let g(u) = 14*u. Let p be g(1). Suppose 3*q + q - p = -2*f, 4*f = -2*q + 58. Solve 5*t + f = -4*d - 0*t, 5*d + i*t = -15 for d.
2
Let c be 3 + 0/2 - -1. Solve k = -j - j + c, 4*j + 3*k = 10 for j.
1
Let d(c) = -c**2 - 8*c - 7. Let q(o) = -5*o - 1. Let w be q(-1). Let i be 183/(-27) - w/18. Let z be d(i). Solve 0 = a - 3*r - 4, z = -3*a - 2*r + 3 - 2 for a.
1
Let s be -4 - (0 - -1 - 5)*4. Solve d = -n - 3, -s = d + d - 4*n for d.
-4
Suppose 4*f = -f + 20. Let m = f - 9. Let h be (m/1)/(0 + -1). Solve -34 = 5*b + 3*c, 4*c + 1 = h*b + 14 for b.
-5
Let q(m) = 1 + 3*m - 2*m + 1 - m**2. Let t be q(2). Suppose t = 5*x - 1 - 14. Solve f - 9 = 4*n - n, x*n + 5*f = -27 f