= y for y.
-5
Let i(x) = -2*x - 5. Let b be i(-5). Suppose -4*m + 4 = -5*k - 1, -k + b*m - 22 = 0. Solve -2*l + 15 = k*l for l.
3
Let k(o) = -o**2 - 15*o - 11. Let n be k(-12). Solve -n = -4*v - v for v.
5
Let i(t) = 2*t - 7. Let x be i(5). Suppose -p + x*p - 10 = 0. Solve 0*u + p = -u for u.
-5
Let a(f) = -2*f + 12. Let q be a(5). Let s be (-6)/4*-1*q. Solve -2*d - s*d - 15 = 0 for d.
-3
Let c be ((-12)/15)/(1*1/(-5)). Solve c*g - 3*g = -5 for g.
-5
Let n = -51 + 75. Let m be -2 + n + (-3 - -3). Solve 5*y - m = -2 for y.
4
Let o be (0*(-1)/3)/2. Suppose o*h - 2 = 2*h. Let q be (19 - 6/2) + h. Solve 0*r - 5*r = q for r.
-3
Suppose 13*d = 8*d + 55. Let b(a) = a**3 + 6*a**2 - 9*a - 9. Let p be b(-7). Solve p*q - d = 4 for q.
3
Let f be (-6)/9 + 26/(-6). Let p(t) = -t**3 - 4*t**2 + 4*t - 3. Let y be p(f). Suppose 2*b + 1 = -i + y, 5*b - 13 = i. Solve -4 = -b*h + h for h.
4
Let y = 9 - 1. Let o = y - 6. Solve 0*g + o*g = 4 for g.
2
Let y = -12 + 22. Suppose 0 = 3*r + 2*r. Let i = r - -2. Solve 4*a = -y - i for a.
-3
Let y be (0 - -3)/((-6)/(-4)). Suppose -3*i - r = -2*i - 78, y*i - 156 = -r. Suppose 3*a - 7*a + 72 = 4*k, -4*k + i = a. Solve -6*t - k = -2*t for t.
-5
Let r be (-5)/15 + (-11)/3. Let f = -5 - r. Let q be (f + 1)/(4 - 2). Solve q = -2*b + b - 2 for b.
-2
Suppose -4*v + 10 = -4*r + 3*r, 5*v - 4*r - 7 = 0. Solve -4*l = -3*l - v for l.
3
Let q be (-1 - -1)/((-3)/12*-4). Solve -i + 1 + 3 = q for i.
4
Let x = 55 + -51. Solve -5*i - x - 6 = 0 for i.
-2
Let s(j) = -j**2 + 10*j - 3. Let k be s(9). Solve f - k = -f for f.
3
Let l(h) = -h**3 + 3*h**2 + 4*h + 4. Let s be ((-4)/12)/((-1)/12). Let k be l(s). Suppose k*b + 4 = 3*j, -5*j + 4*b + 5 = -b. Solve j*r = -r + 5 for r.
5
Suppose 5*k = -g + 86, 0*g + k + 86 = g. Suppose -5*v = -5*b - 2*v + g, 5*v + 58 = 3*b. Solve -5*i - b = -6 for i.
-2
Let o be 30 - 8/20*5. Solve -4*p - o = -8 for p.
-5
Suppose 5*w - 39 = w - h, w = 5*h + 15. Solve w + 0 = 5*z for z.
2
Suppose -3*h + 6 = -0. Solve h*z = z - 2 for z.
-2
Suppose 0 = -2*j + 4*t + 16, j + 5*t + 5 = -1. Solve 12 = 8*d - j*d for d.
3
Let g = 4 - 4. Let t(f) = -f**3 + f**2 - f + 6. Let x be t(g). Let j(q) = q**3 + 5*q**2 - 5*q - 5. Let z be j(-5). Solve -l = -x*l - z for l.
-4
Let f(x) = 4*x**2 - 2*x + 1. Let j be f(1). Suppose 3*d - j = 24. Suppose -d*o + 6*o = 0. Solve o = 3*v - v - 8 for v.
4
Suppose -4*u = 4*k - 4, -3*u + 0*u = -3*k + 3. Suppose u = 5*o + 3*a - 18 - 2, 3*a + 4 = o. Solve 0 = 3*q - 2*q + o for q.
-4
Let y(v) be the third derivative of v**8/5040 - v**5/60 - 3*v**2. Let n(r) be the third derivative of y(r). Let h be n(2). Solve -3*d + 7 = h for d.
-3
Let u = -2 - -1. Let d = u - -6. Let y(w) = -w**2 + 4*w - 1. Let b be y(3). Solve 12 = -d*x + b*x for x.
-4
Let k(f) = -21*f - 51. Let h(m) = 4*m + 10. Let d(y) = -11*h(y) - 2*k(y). Let n be d(-6). Solve s + s - n = 0 for s.
2
Let g(k) = -k**2 - 6*k + 2. Let x be 4/(0 + (-3)/3). Let m be g(x). Suppose -2*q + 0 = 5*i - 2, 4*q = -3*i - m. Solve -i*t - t + 12 = 0 for t.
4
Let j(a) = a - 5. Let k be j(0). Let i be (-8)/k*45/6. Let v = -11 + i. Solve -f + v - 4 = 0 for f.
-3
Suppose 3*s - 4*s = 4*s. Solve s = -2*y - y for y.
0
Let u(i) = i + 14. Let k be u(-10). Suppose -3*x - 12 = 2*n, 16 - k = -3*x. Suppose 4*b + 11 = -1, n = -s + b + 3. Solve -q = 1 - s for q.
-1
Let u(x) = x**2 - 3. Let q be u(-4). Let l(k) = k - 1. Let h be l(-2). Let t = q + h. Solve 0 = -5*n + 15 + t for n.
5
Let s = -2 + -2. Let a = s + 7. Suppose b - 2 = 3. Solve -b*v = -a*v + 6 for v.
-3
Let x = -1 + 7. Solve -3*k + 0 = x for k.
-2
Suppose 22 = -d - 2*d - g, 3*d + 20 = -2*g. Let f(s) = 2*s**2 + 6*s + 3. Let v be f(-5). Let h = d + v. Solve 2*k - h = -k for k.
5
Let a = -124 - -124. Solve a = -3*m + 6 for m.
2
Let n(s) = s**3 + 22*s**2 + s + 31. Let b be n(-22). Solve b = 3*y + 3 for y.
2
Let d(j) = j**3 - 9*j**2 + j - 4. Let a be d(9). Let k = 3 - 3. Solve k*z - a = z for z.
-5
Suppose -3*q - 2*q + 20 = 0. Suppose -12 = -2*r - v, -4*r + 2 = -4*v - 10. Suppose -x + 12 = -r*x, -4*p - 2*x = -14. Solve -p = -q*o - 17 for o.
-3
Suppose 0 = -5*h + 20. Suppose -r + h = -0*r. Suppose 3*b + r = 5*b. Solve y - b + 4 = 0 for y.
-2
Let g(d) = d**2 - 3*d + 3. Let b be g(3). Solve -7*c = -b*c for c.
0
Let w(v) = -v**3 + 7*v**2 + 1. Let f be w(7). Let h(s) = -5*s**3 + 1 + 3*s**3 + s**3 - 2*s + 2*s**2. Let l be h(f). Solve -5 = -o - l for o.
5
Let c be (-596)/(-30) + (-18)/(-135). Solve c = 7*n - 3*n for n.
5
Suppose -5*x + 2 = -4*j, -x = j - 4*x + 4. Suppose -2*v = 0, 5*v + 4 = 3*b - j*b. Let u(p) = -p + 5. Let a be u(5). Solve 2*q + a*q = b for q.
2
Let v(n) = -n**3 + n**2 - 5. Suppose -6*p + 8 = -3*h - 2*p, 0 = -2*h - p + 2. Let s be v(h). Let c be 4/10 + 2/s. Solve c*j = 3*j - 6 for j.
2
Let s(p) = 5*p + 58. Let w be s(-10). Solve 3*x + w = -4 for x.
-4
Let f be (63/105)/(1/25). Solve -7*n - f = -2*n for n.
-3
Suppose 0 = -5*w - 2 + 22, 2*y - w + 4 = 0. Solve 5*b + y*b = 15 for b.
3
Let q = -12 - -14. Suppose -q*c + 2 = -2. Solve o = -3 + c for o.
-1
Suppose 4*l + 6 = 34. Let y = -16 + 52. Suppose -5*c + y = -c. Solve 0 = -4*x + c + l for x.
4
Let a be 74/37 - (1 + 1). Solve a = 6*k - 8*k for k.
0
Let q be 1 + -1 - (-3 + 12). Let c = 11 + q. Solve 5 = -g + c for g.
-3
Let c be (1/3)/(3/9). Solve -2*k - 11 + c = 0 for k.
-5
Suppose 5*b + 2 = 12. Let q be 0 + 1/1 + -1. Solve q = -b*j + 5*j for j.
0
Suppose 0 = -7*w - 46 + 165. Solve -3*a + 2 = w for a.
-5
Let y be (2 - 7) + 11 - 1*4. Solve -2 = 4*b - y*b for b.
-1
Let g = -5 - -10. Suppose 0 = 4*r + 3*u + 69, -2*r = -4*r + 3*u - 39. Let k be (6/9)/((-4)/r). Solve -k = g*c - 18 for c.
3
Suppose -2*r = -4 - 8. Let u = -6 + 6. Solve 0 = -u*v - 3*v - r for v.
-2
Let u be (-10*1)/(-2 + 1). Suppose 10 + 6 = -4*h. Let w be ((-6)/15)/(h/u). Solve 5 = o + w for o.
4
Suppose 3*t + 39 = 3*h, 3*t + 4 = -t. Suppose -5*j = -4*j. Suppose 2*g - 3*m + h = j, 2*g - 4 = 3*m - 4*m. Solve g = 3*i + 2*i + 20 for i.
-4
Let q(g) = -g - 4. Let p be q(-4). Suppose 0*u - 2*u + 12 = p. Solve -3*c + 0 = -u for c.
2
Suppose 5*d = 11 - 1. Suppose -d*g = -8 - 0. Solve -1 = k - g for k.
3
Let h be 3 - 1 - 0/(-4). Solve -h*w - 3*w = 10 for w.
-2
Let t be (-6)/21 - 48/28. Let j(z) = -z - 2. Let f be j(t). Let r(k) = -k**2 - 4*k + 5. Let w be r(-5). Solve w = n - 4 - f for n.
4
Let w be 3/12 - (-14)/8. Solve y + 15 = -w*y for y.
-5
Let i(f) = 3*f**2 - 2*f - 1. Let q be i(-2). Let r = -13 + q. Solve 0 = -r*k + 6*k for k.
0
Let r be 3/(12/4 + -2). Solve 3 + 0 = r*l for l.
1
Let d(g) be the first derivative of g**3 - g + g**2 - 1 - 1/4*g**4. Let u be d(3). Solve 0 = 4*j - 3*j - u for j.
5
Let t be (3 - 0)/((-2)/(-2)). Solve -t*l = 4 + 2 for l.
-2
Let v be (6 - 4) + -3 + 26. Let d be 3 - 1 - -2 - 0. Solve u = -d*u + v for u.
5
Suppose 0 = -2*l - 2*i + 26, -4*l - 5*i = -7*l - 1. Solve -l + 3 = u for u.
-5
Let s(t) = 2*t + 1. Let w be s(1). Let b = 100 - 70. Suppose 3*p = -2*p + b. Solve -f + p = -w*f for f.
-3
Let g = -22 - -22. Solve g = 4*w - 2*w + 8 for w.
-4
Let g(h) = 3*h - 15. Let d be g(6). Solve 0 = -d*r + 4*r - 5 for r.
5
Let d = 14 + -14. Solve d*k = -3*k for k.
0
Let n(u) = u**3 - 7*u**2 - u + 10. Let r be n(7). Suppose o = r*o - 50. Solve -o = -w + 6*w for w.
-5
Suppose -4*j - 27 = 21. Let l be (32/j + 2)*-3. Solve -l - 10 = -3*n for n.
4
Let i = -19 - -21. Suppose 0 = k + 4 - 2. Let x = 2 + k. Solve 2*n + x*n = -i for n.
-1
Suppose -4*j + 3*k - 9 = 0, 0*j - 5*k = -3*j - 15. Let r(y) = y**2 - 6*y - 3. Let a be r(7). Solve -a = -4*i - j for i.
1
Let b(s) = s**2 + 3*s - 6. Let n be b(-5). Suppose -5*g - 26 = -2*f - 0*f, 4*f + n = -4*g. Solve -f*w + 0 - 3 = 0 for w.
-1
Let n(c) = c**2 - 9*c - 14. Let o be n(11). Let v(r) = r - 3. Let h be v(o). Suppose -h*s = -3*s - 10. Solve s*p - p + 8 = 0 for p.
-2
Let s be 40/(-30) - 8/(-6). Let v = 4 + s. Solve k = -v*k - 25 for k.
-5
Suppose 4*k - 4 = 4. Suppose 0*f - 4 = -k*f. Solve 2*d = d - f for d.
-2
Let f(k) = -k**2 + 6*k + 3. Let j be (1/2)/((-1)/(-10)). Let a be f(j). Let w = 12 - a. Solve w*n - 1 = 3 for n.
1
Let g = -8 - -13. Let v = 6 + 5. Suppose 3*r - 9 = g*j + v, 0 = r + 3*j + 12. Solve -p + r*p - 4 = 0 for p.
-4
Let d = 27 - 24. Solve -1 = -4*l + d for l.
1
Suppose 4*i = -0*i. Solve i = -w + 2 + 1 for w.
3
Suppose 3 = 2*g - 7. Suppose g*j + 21 = 