-3*y + 3 + 3 = a for y.
2
Let t be 4*(90/(-8))/(-3). Let f(o) = 3*o - 7. Let a be f(4). Solve -a*x + t = 40 for x.
-5
Let z(s) = s**2 - 4*s - 3. Let i be ((-10)/4)/((-1)/2). Let w be z(i). Solve -3*h = w*h - 20 for h.
4
Let c(x) = x. Let t be c(0). Suppose 9*f - 4*f - 270 = t. Let i = f - 38. Solve i = -4*j - 0 for j.
-4
Suppose 72 - 22 = 2*o. Suppose 0 = -3*p - 0*p + 12. Suppose -c - p*c = -o. Solve -c*b - 8 - 12 = 0 for b.
-4
Let n be 4 + 162/21 + 2/7. Solve m + n = -2*m for m.
-4
Suppose 2*k + 4 = -v, k - 5*k + 20 = -5*v. Solve k*u - 3*u = 6 for u.
-2
Let y = 21 + -12. Let a be ((-6)/(-4))/(y/(-24)). Let v(o) = o**2 + 3*o - 2. Let i be v(a). Solve -4 = i*g + 2 for g.
-3
Let t(v) = -2*v + 37. Let b be t(18). Let h = 1 + 13. Solve -h - b = -5*y for y.
3
Suppose -8 = -4*t, 5*a + 8*t - 6 = 10*t. Solve 0 = i - 0 + a for i.
-2
Suppose 5*b - 7*b = -32. Let s = 11 + -7. Solve -s*n + b = -0 for n.
4
Let s(u) be the second derivative of u**4/12 - 5*u**3/6 + 3*u**2/2 - 2*u. Let n be s(-4). Let o = 57 - n. Solve -o = -3*y - 6 for y.
4
Let f = -24 - -21. Let a be 4 + f + 3/1. Solve 16 = -4*l - a for l.
-5
Let w(c) = -15*c**3 - 2*c - 1. Let k be w(-1). Solve -k*p = -21*p - 15 for p.
-3
Let c = -7 - -8. Suppose -c = -h + 2. Let v(n) = -n**3 - n. Let o be v(0). Solve g + h = -o*g for g.
-3
Let j(u) = -u**2 + u + 1. Let v(i) = -i**3 + 16*i**2 - 3*i. Let q(b) = 3*j(b) + v(b). Let w be q(13). Solve f = -w*f for f.
0
Suppose 0 = 3*q - 4 - 8, 2*q = -3*v + 26. Let s = 11 - v. Suppose 0 = -i + 3*l + 35, i - 2*i + s*l + 45 = 0. Solve 5*x = x + i for x.
5
Suppose 0 = g + 5*z + 17, -2*g + 2*z = -7*g + 7. Suppose -5*o + g*w + 3 = 0, o = 4*w - 3 - 10. Solve o = -0*a - a for a.
-3
Let n be (-2 + (-169)/3)*-3. Suppose -3*y = 0, 0 = -5*r + 3*y - 6*y + n. Let l = r + -15. Solve 4*s = -s + l for s.
4
Let d be 9/(-12)*(-48)/(-9)*-1. Solve 0 = -w + d*w for w.
0
Let o = 12 + -8. Solve -o*k - k = 15 for k.
-3
Let w = 26 + -22. Suppose 0 = -0*f - w*f + 4. Solve f = s - 2 for s.
3
Suppose -3*a + 2*h + 8 = 3*h, -a = -h - 8. Suppose a*u + 0*u - 8 = 0. Solve 6 + u = 4*x for x.
2
Let r = 16 + 3. Suppose -7 = -2*c + 5*j + r, -19 = -5*c + j. Suppose 3*y - w = -0*w + c, 2*y + 2*w - 10 = 0. Solve -y*v = -2 + 12 for v.
-5
Let v be (-1 + 1)/(-9 - -8). Suppose n - 3*b - 14 = v, n - b - 10 = -2*n. Solve -l = -0 + n for l.
-2
Let d(l) = -7*l**3 + 5*l**2 + 6*l + 2. Let p(r) = 6*r**3 - 5*r**2 - 6*r - 1. Let f(v) = 5*d(v) + 6*p(v). Let x be f(6). Solve -x*w = 5 + 7 for w.
-3
Let f = 3 - 1. Let r = -87 - -17. Let z be 2/6 - r/15. Solve -z - 1 = f*m for m.
-3
Let w = 71 + -69. Let p be ((-6)/4)/((-2)/16). Solve p = -y - w*y for y.
-4
Let v be 0 - 3/3 - -3. Let i be (v + (-1 - 1))*-1. Solve i = -4*j - 0 - 4 for j.
-1
Let l(j) = 2*j + 14. Let i be l(-5). Solve -p + 6 = -i*p for p.
-2
Let q(f) = 2*f**3 - 2*f**2 - 2*f - 1. Let k be q(-1). Let b be 1*1/(k/(-18)). Solve 0 = 5*j - 3*j + b for j.
-3
Suppose -5*v + 3 = -4*m, -3 + 6 = m. Solve -5*c + v + 2 = 0 for c.
1
Let v(a) = a + 4. Let k be v(-7). Let s be 7 - 3*(-2)/k. Solve 0 = 5*h - s - 5 for h.
2
Suppose -2 = -4*z + 3*a + 18, -4*z + a + 12 = 0. Let o = -39 + 39. Solve -z = 2*g - o for g.
-1
Let w(l) = l**2 + 15*l - 14. Let r be w(-16). Solve 0 = -3*m + r*m for m.
0
Suppose -3*m + 5*u + 26 = 0, -4*u - 8 = 8. Suppose 4*j = 2*j + 10. Solve j*h - 8 = m for h.
2
Let n(b) = 6 + 10*b**2 - b**3 - 1 - 1. Let j be n(10). Suppose j*t = t + 9. Solve -g = t*g for g.
0
Suppose 0 = -k + 1 + 7. Suppose k*s - 4*v = 3*s - 4, -v + 1 = 0. Let n be -8*2/2*-1. Solve 5*g + n - 23 = s for g.
3
Suppose -37 = -4*b + 23. Suppose b = -d + 2*d. Solve -7*j = -2*j - d for j.
3
Let m(h) = -h**2 + 4. Let r be m(-4). Let d be (20 + 0)*r/(-12). Solve 0 = -f + 5*f + d for f.
-5
Let y(v) = v**2 - 2*v. Let j(r) be the first derivative of r**3/3 - 9*r**2/2 + 11*r - 3. Let t be j(8). Let p be y(t). Solve -5*w = -2*w + p for w.
-1
Let a(q) be the first derivative of 3*q - 5*q**2 + 3*q**3 + 2 + 1/4*q**4. Let h be a(-10). Solve -2*t + h = 1 for t.
1
Suppose -2*l + 3*l - 3 = 0. Suppose 4*z - 12 = 0, z = -2*u + l*z - 4. Let w = u + 8. Solve -4*t - 3 - w = 0 for t.
-3
Let d be 1 - -1 - 0 - -2. Solve 5 + 11 = -d*m for m.
-4
Suppose 3*p + 6 = 0, -4*p = y + 1 + 7. Solve -6 = -3*i - y*i for i.
2
Let p(d) = d**2 + 15*d - 12. Let y be p(-16). Solve y + 8 = -3*a for a.
-4
Let h(b) = 12*b**3 - b**2. Let j be h(1). Suppose g + 3*a - 6 - j = 0, 3*g = -2*a + 16. Solve -g*o + 0*o = 0 for o.
0
Let o = 1 - -1. Let v be (6/o - 2)*5. Suppose -4*z + 0*z = 0. Solve z*j = -v*j for j.
0
Suppose -t + g + 3 = -2*g, -g = 2*t - 20. Solve 2*w = -1 - t for w.
-5
Suppose 0 = m - 3*m + 6. Suppose -4*g = g + 10. Let l be (-2)/g + 0/(-3). Solve -l = m*b - 7 for b.
2
Let z(u) be the second derivative of -u**3/6 - 3*u**2 + u. Let b be z(-6). Suppose -2*p + 6 - 2 = b. Solve 5*q + 17 = p for q.
-3
Let s be (10 + -1)*(-2 - -3). Let d = -15 - -19. Solve -d*a + a = s for a.
-3
Suppose -2*m + 12 = -4*k - 12, 2 = m + 3*k. Let n(p) = -4*p**3 - p**2 - p - 1. Let t = 2 + -3. Let c be n(t). Solve c*z = -m - 4 for z.
-4
Let p(t) = 5*t - 3. Let c be p(3). Solve 0 = -4*m - 4 + c for m.
2
Let g(y) = -7*y - 8. Let h be g(-16). Suppose 0 = -t + 5*t - h. Solve -5*s + 6 = t for s.
-4
Let n be (32/(-20))/(4/(-10)). Suppose -n*t = -0*t - 44. Let k be 4 - 3/(-3)*1. Solve t = k*v - 14 for v.
5
Let x(q) = -q + 1. Let y be x(-3). Let s = -1 + y. Solve -20 = s*c + c for c.
-5
Suppose -9 = 2*m + 3*j, -3*m - 2*j + 4 - 5 = 0. Solve -m + 13 = 5*i for i.
2
Let u be 3/(-2) - (-1)/2. Let g be (0*(u + 2))/2. Suppose -j - 1 = -2*m, -2 = 2*m - 6. Solve -h + j = -g*h for h.
3
Let j(h) = 0*h**2 + 5*h**2 - 2 + 3*h**3 + 2*h - 2*h**3. Let s be j(-3). Suppose s = 4*m + 2*u, -5*u - 35 = -3*m - 2*m. Solve 2*t - m = t for t.
4
Suppose -5*i - 5*u = 95, -4*i + 3*u + 1 = 56. Let t = i - -22. Solve -4*f - 6 - t = 0 for f.
-3
Suppose -w - 2*i - 1 = 2*w, i - 1 = -2*w. Suppose 3*p + 12 = w*n, 3*n - 3*p - 10 = n. Solve 0 = n*h - h for h.
0
Let i(f) = -19*f - 2 - 1 + 2 + 12*f. Let k be i(-1). Solve 3*j + k = j for j.
-3
Suppose 2*b = 63 - 13. Solve 3*f = 10 - b for f.
-5
Let a(o) = -o**3 - 5*o**2 + 5*o - 4. Let m be a(-6). Let t be (1/2)/(1/m). Let j(u) = u**2 - 7*u + 3. Let c be j(7). Solve -t + c = -2*y for y.
-1
Suppose 5*f = 2*s, f = 4*f - 4*s. Suppose -v + 14 = v. Solve -u + 2 - v = f for u.
-5
Suppose 3*t + 2 = w, -4*t = 3*w - 4 - 2. Solve 3*z = -t*z - 9 for z.
-3
Let h(x) = -2 - 6*x + 3*x + 8*x - 3*x**2 + x**3. Let t be h(2). Solve 0 = 4*c + 8 + t for c.
-3
Suppose 3*h + 0*a = 5*a - 9, 3 = -3*h + 3*a. Suppose -10 + 4 = -h*b. Solve q + 5 = b for q.
-2
Suppose -4*d + 33 = -5*j, -4*j + 2*d - 5*d - 45 = 0. Let y = -4 - j. Solve y*o + 4 + 1 = 0 for o.
-1
Let c(g) = g**3 + 6*g**2 + 7*g + 1. Let d be c(-5). Let j(h) = -2*h - 11. Let t be j(d). Let w = -5 + t. Solve -a = w*a - 9 for a.
3
Suppose b = 2 - 5. Let m = b + 5. Solve 2*i + m - 12 = 0 for i.
5
Let c = -34 + 16. Let l = c - -23. Solve 0 = 2*g - l*g for g.
0
Let w(x) = x**3 + 2*x**2 - 2*x - 1. Let q be w(-3). Let z be 2*3*6/q. Let v = 0 - z. Solve -3*p = -v - 3 for p.
4
Let s(y) = 3*y - 69. Let v be s(23). Solve v = -4*w + 8 - 0 for w.
2
Let x = 14 + -11. Solve -5*m = -x*m - 8 for m.
4
Let j = 1 + 5. Let s be 1/2 + 3/6. Let k be ((-4)/j)/(s/(-18)). Solve 2*p + p = -k for p.
-4
Suppose -5*d - 3*g = -3*d - 23, -17 = -2*d - g. Let v(h) = -2*h + 7. Let r be v(4). Let q be r*(2/(-1) - 1). Solve -d*b = -q*b for b.
0
Let j = -55 + 58. Solve -j = -4*a + 5 for a.
2
Let d(r) = -r**3 - 3*r**2 + 5*r + 6. Suppose -g - 2*g - 12 = 0. Let h be d(g). Solve 3*b - 5*b = -h for b.
1
Suppose -6*y = -11*y. Solve 7*j - 2*j = y for j.
0
Suppose 41 - 161 = -4*p. Suppose -5*l = -5*m - p, l - 3*l - 18 = 3*m. Let t be ((-8)/(-12))/((-4)/m). Solve u + t = 3 for u.
2
Let d(k) = 3*k**2 + 2*k - 1. Let l be d(1). Let r be (-6)/l + (-9)/(-6). Solve -3*i + i = r for i.
0
Suppose -v + 4 = -2. Solve v*r = r + 20 for r.
4
Let j(c) = -c**3 - 5*c**2 - 4*c. Let w be j(-4). Let k = -11 + 18. Solve w = k*f - 2*f + 15 for f.
-3
Let t(d) = -d**2 - d + 1. Let j(g) = -5*g**2 + 7*g + 4. Let l(o) = -j(o) + 6*t(o). Let x be l(-13). Solve x*b - 2 = -0*b for b.
1
Suppose 2*h = 5*h + 42. Let x be (1/((-2)/h))/1. Solve -v + x = 4 for v.
3
Let h(m) be the first derivati