- 13*y + 4. Let k be l(13). Solve k*g + 3 + 1 = 0 for g.
-1
Suppose -4*b + 3*u + 7 = -11, b - 8 = -u. Solve -w - w = -b for w.
3
Let z be 1/1 + -3 + 2. Suppose 0*t + t = -10. Let m = t + 15. Solve -m*x + 0 - 15 = z for x.
-3
Suppose -j - 2*j - 35 = -b, 3*j + 29 = -2*b. Let h = 13 + j. Solve 0 = 4*d - 5*d + h for d.
2
Suppose 0 = -3*p - 5*x + 20, x = -0*x - 5. Solve 4*m - p - 1 = 0 for m.
4
Let x(t) = t**2 - 3*t - 2. Let g be x(5). Let w(i) = -i + 6. Let u(p) = -4*p**3 + p + 1. Let q be u(-1). Let a be w(q). Solve 3*m + a = g for m.
2
Suppose -2*z + 12 = 2*z. Suppose q = -z*q. Suppose -5*y = -q*y - 10. Solve -y*i = -7*i for i.
0
Let p(f) = -f**3 + 2*f**2 - 4*f. Let h be p(3). Suppose 0 = -5*d - n + 3*n - 54, 3*d - 2*n + 34 = 0. Let z = d - h. Solve 0 = 3*a - z + 2 for a.
3
Let g be (-4 - 147/(-36)) + (-22)/(-24). Let w(d) = d**2 - 3*d + 6. Let k be w(5). Solve k - g = -3*c for c.
-5
Let q(d) = -3*d - 28. Let l(a) = -a - 9. Let u(k) = 11*l(k) - 4*q(k). Let i be u(-7). Solve 2*p = 5*p + i for p.
-2
Suppose g - 4*g + 32 = 5*q, -3*g = -3*q. Suppose 8 = -g*b + 4*c, -b + 28 = -0*b + 5*c. Suppose -2*a - 4 = -4*d - 3*a, a + 3 = 3*d. Solve m - d = b for m.
4
Let w be 0/(2/(2 - 0)). Let i = 5 + -1. Suppose -28 = -i*d + l - 4, l + 4 = 0. Solve -o + 4 - d = w for o.
-1
Let p(m) = m**3 - 6*m**2 + 5*m + 2. Suppose -3*s + 3*l = -3 - 15, -l - 11 = -2*s. Let c be p(s). Solve -c*j - 1 = -3 for j.
1
Let m be 11 + -4*(-3)/12. Suppose -2*y + q + 3*q + 12 = 0, -y - 4*q = m. Solve y = -u + 4 - 2 for u.
2
Let k(h) = 8*h + 28. Let n be k(-3). Solve -n = m - 0 for m.
-4
Let o(n) = -n**2 + 3*n + 4. Let l(t) = t**2 - 8*t - 6. Let y be l(9). Let c be o(y). Solve c = -4*r - 12 for r.
-4
Let x(y) = -y + 1. Let v be x(-3). Suppose 10*l + 2*k = 5*l + 159, 4*l + 2*k = 126. Let i = l + -13. Solve -v*c = c + i for c.
-4
Let x = 16 + -6. Let b = -10 + x. Solve 4*r + 16 + b = 0 for r.
-4
Let x = -32 - -40. Suppose z = -3*z + 3*p + 16, z + 3*p = 4. Let q(v) = v**3 - 9*v**2 + v - 5. Let u be q(9). Solve x = u*c - z for c.
3
Let k be (-5 + 8/2)/(1/(-3)). Solve -5*u + 12 = -k for u.
3
Let x = -4 + 7. Suppose 4*f = -r + 4*r + 12, 5*f = x*r + 12. Let w = r + 4. Solve w = -0*j - 2*j for j.
0
Suppose 4*n - 6 = -2*b, 2*n = b + 2 - 1. Solve -s + 0 = -n for s.
1
Let i(o) = -o**3 + 6*o**2 + 2*o - 4. Let r be i(6). Solve 4*m - 16 = r*m for m.
-4
Let v = -3 - -7. Let i(o) = v*o - 2*o + 8 - 3*o. Let f be i(6). Solve 0 = -f*w - 2 - 0 for w.
-1
Suppose -9 = 11*j - 14*j. Suppose 2*b + 4 = 10. Solve b*v = 6*v + j for v.
-1
Let i(t) = t**2 + 15*t + 29. Let h be i(-13). Solve -4 + 13 = -h*s for s.
-3
Suppose 11 = 5*r + 1. Solve 0 = -r*n - n + 12 for n.
4
Let s be 2/(2 + (-8)/5). Solve -2*u + 7*u + s = 0 for u.
-1
Suppose -c + 3 = -0*c, -3*c + 9 = 2*o. Suppose -3*b = -6*b. Suppose 22 = 3*h + 2*h - 3*n, -4*h - 2*n = b. Solve h*s + 3*s = o for s.
0
Let n(h) = h**3 - 20*h**2 + 2*h - 26. Let x be n(20). Solve x = 5*j - 11 for j.
5
Let c(z) = -z**3 + 6*z**2 - 2*z. Let w be c(5). Solve 0*r - 3*r + w = 0 for r.
5
Let o = -19 - -34. Solve 0*q = 5*q + o for q.
-3
Let y(m) = -m + 9. Suppose 0 = -4*c + 24 + 4. Let l be y(c). Solve l*w + 6 + 4 = 0 for w.
-5
Suppose 2*o - 2*a - 11 = 1, 5*o + 4*a + 6 = 0. Suppose -3*r - k + 7 = r, 5*r - 8 = -k. Solve -o = -y + r for y.
3
Let l = -18 - -9. Let t be (-28)/(-14)*l/(-2). Solve -t = -2*x - x for x.
3
Let f be -1*30/3*-2. Suppose -4*u - f = -8*u. Solve 0 = -u*k + 12 + 13 for k.
5
Let i = 19 - 16. Let g = 15 - 11. Solve -i*c = -g - 2 for c.
2
Suppose -5*q + 9 + 11 = 0. Solve -q*l - l - 25 = 0 for l.
-5
Suppose 0*q - 2*q = 10. Let f = q - -5. Solve -2*u + u = f for u.
0
Suppose -8 = -3*o + 7. Let f(q) = q**3 - 2*q**2 - 3*q + 3. Let j be f(3). Suppose 4*h - 27 = -j*g, -2*h + 33 = o*g + 2. Solve -g*z - 4 = -29 for z.
5
Suppose 2*d + d = 0. Suppose -2*c - 3*l - 4 = d, 6*c - 4*c - 2*l = 16. Solve c = -2*h + 10 for h.
3
Let n(s) = 2*s + 22. Let a be n(-11). Solve r + 1 = -a for r.
-1
Let c(u) = -u**3 - 6*u**2 + u + 8. Let t be c(-6). Let w = -7 + t. Let v = 5 + w. Solve n + v*n = -5 for n.
-5
Let b(g) = -g**2 - 13*g - 27. Let a be b(-10). Solve x + a*x = -12 for x.
-3
Suppose 5*l = -4*a + 22, 46 = 4*a - 5*l + 4. Solve -10 + a = -2*j for j.
1
Suppose 2*p + j - 2*j = -20, 5*j - 19 = p. Let k be (6/18)/((-1)/p). Solve -4*i - k = 1 for i.
-1
Let g(t) = t**2 - 11*t - 9. Let c be g(12). Solve 2*k = -c*k - 25 for k.
-5
Suppose -5*c + 2*q - 20 = -0*q, -4*c + 5*q = -1. Let d be 4/c - (-52)/(-12). Let b be ((-3)/d)/(1/5). Solve -u + 7 = b for u.
4
Let y be (0 - 3)/(2/(-4)). Let k(u) = -u + 1. Let s be k(-3). Let f = 7 - s. Solve f = -3*i + y for i.
1
Suppose f - 30 = -4*f. Let m be 116/10 + f/15. Solve -m = x + 2*x for x.
-4
Let r(q) be the first derivative of q**4/4 - 5*q**3/3 - 3*q**2 + 4*q + 1. Let g be r(6). Suppose 15*x + 60 = 20*x. Solve x = g*z - z for z.
4
Let s be 3 + 1 + -13 - -3. Let p = 3 - s. Solve p + 3 = 3*o for o.
4
Suppose 3*k + 2*j = -4, -3*k + j = -2*j - 21. Solve -16 + 6 = -k*p for p.
5
Let c(i) = -i**2 + i. Let h be c(0). Solve -1 = -h*r - r for r.
1
Suppose 6*s - 2*s = -8, -2*s = -3*l + 22. Let o(r) = r**2 + 6*r + 5. Let b be o(-5). Let v be (-4)/(-6)*(b + 3). Solve v*z = l*z for z.
0
Suppose -3*h = 14 - 2. Let q be (6/h)/(5/(-10)). Solve q*m = -2*m for m.
0
Let i be 36/(-10) + (-4)/10. Let o be (5 - 6) + (2 - i). Suppose 0 = -t + 5*u - 3, t + t + 5*u - 9 = 0. Solve 0 = -t*n + o*n + 15 for n.
-5
Let w(g) = 8*g**3 + 2*g - 1. Let n be w(1). Solve n = -4*q - 11 for q.
-5
Suppose 0 = 4*m - 5 - 15. Suppose x - 23 = -m*s, -4*s = -3*s - 5*x - 15. Solve -4 = s*p - 4*p for p.
-4
Suppose 5*t - 22 = -3*k, -4*t - 3*k = -6 - 14. Suppose 3*i + 0 = -p - 22, 4 = -t*p + 2*i. Let a(s) = s**2 + 6*s - 2. Let c be a(p). Solve 16 = -c*z + z for z.
-4
Let t(r) = 3*r + 1. Suppose 0 = -5*m + 4 + 1. Let q be t(m). Solve 5*a = a + q for a.
1
Let n(a) = a + 16. Let z be n(-8). Solve 0 = -r + 3*r + z for r.
-4
Let c be (1 - 2 - -2) + 0 + -1. Solve 2*o + 0*o + 2 = c for o.
-1
Let a(h) = h + 16. Let w be a(-14). Solve -4 = -w*r + 6 for r.
5
Let j = -10 + 17. Suppose -j = -3*w - 2*b, 2*w + 5*b + 16 = 6. Solve 0 = -4*i - 13 + w for i.
-2
Let h = -5 + -2. Let i = 9 + h. Solve i*z = -2*z + 16 for z.
4
Suppose 0*x - 110 = -5*x. Let t be -3 - (-2)/2*x. Solve t = 4*w - 1 for w.
5
Let n(y) = -2*y**2 + y + 5. Let m be n(0). Solve -m*i + 4*i - 3 = 0 for i.
-3
Let s = -12 + 16. Let c(f) = -f + 4. Let o be c(s). Solve o = -2*z + 5*z + 9 for z.
-3
Let y(i) = 7*i + 2. Let r(q) = -6*q - 2. Let p(b) = 6*r(b) + 5*y(b). Let n be p(-3). Solve -n = -5*g - 6 for g.
-1
Let r = -30 - -30. Solve -6*n + n - 25 = r for n.
-5
Let n = 6 - 4. Let b be 20*n/(-3 + 7). Suppose 0 = -j - d + 2, 6*j = j + 2*d + b. Solve j*s - 4 = s for s.
4
Let t(k) = -2*k**3 + 3*k**3 + 5 + 4 + k**2. Let r be t(0). Solve r = -4*j - 11 for j.
-5
Suppose 90 = 4*t + f, 2*t - 3*f = 28 + 24. Let k = t + -18. Solve -q + k*q + 16 = 0 for q.
-4
Let n = 50 + -26. Suppose -n = -2*s - 2*s. Suppose -8 = -2*z + s. Solve -4*j - 1 = z for j.
-2
Suppose 0 = -3*q - 2*q + 15. Solve -q*t - 1 = -7 for t.
2
Suppose 0 = -m + 2*m + 5*t + 5, t = -3*m - 1. Let r = 4 - m. Let k(x) = 4*x**3 - 2*x + 1. Let c be k(1). Solve -r*b + 5 = -c*b for b.
5
Let q be (3 - 22/8)*12. Let o(s) = -s**2 + 3. Let j be o(0). Suppose -j*y - 5 = -8*y, -3*w - 4*y = -25. Solve q*n - 2 = w for n.
3
Suppose -9*o + 7 = -8*o. Solve 0 = o*c - 2*c for c.
0
Let f(h) = h**3 - h**2 + h - 1. Let j be f(1). Let x = 21 + -17. Let u be 61/x + 4/(-16). Solve 2*o + 3*o - u = j for o.
3
Let x be (2 - 4)*45/(-30). Solve x = 4*f - 5 for f.
2
Let y(p) = 5*p + 1. Let x be y(1). Suppose -x = -a - 2*n, -19 = -a + 2*n - 5. Solve -2*t + 0*t = a for t.
-5
Let a(z) = -z**2 + 6*z + 2. Let v = -7 + 13. Let r be a(v). Solve -c + 5 = r for c.
3
Let o = 3 + 0. Let j = o - 11. Let v be j*(-1)/2*1. Solve -v = l - 1 for l.
-3
Let r = 6 - 13. Let a(z) be the second derivative of z**3/6 + 5*z**2 + 8*z. Let j be a(r). Solve -j*o + 7 - 1 = 0 for o.
2
Let b(f) = 5*f**3 + f**2 - f. Let r be b(1). Let d = -5 + r. Let j be 0/((1 + d)*-2). Solve j*n = -n - 3 for n.
-3
Let t be 16/(-40) + (-34)/(-10). Let a be 0/((t - 1)/2). Solve x = -a*x for x.
0
Suppose -k - 4*k - 20 = 0. Suppose 2*r + 3 = -3*b - 4, 5*r + 25 = 0. Let w be (b + k)/((-