or m.
1
Let i(z) be the third derivative of -z**4/6 - z**3/3 - 7*z**2. Let j be i(-1). Solve -j*l + 5 = -1 for l.
3
Let r(c) = c - 2. Let a be r(5). Let x = 5 - a. Solve x*i + 2*i = -20 for i.
-5
Let y(h) = -2*h**2 + 2*h - 2. Let b be y(1). Let a be 60/27 + b/9. Solve -a*c = -6*c - 4 for c.
-1
Suppose y - 2 + 0 = 0. Solve y*q = -0*q for q.
0
Let k(w) = -w**3 - 7*w**2 - 5*w + 6. Let y be k(-6). Suppose 0 = -6*m + 7*m. Solve y*h - 3*h = m for h.
0
Let i(q) = q**2 - 16*q + 30. Let h be i(14). Solve 0*r + h = r for r.
2
Let b(l) = -l**3 - 4*l**2 + 6*l - 7. Let x be b(-5). Let a be (-9)/2*(-16)/x. Let t be (a/9)/((-4)/18). Solve -2*v = t*v for v.
0
Let n(g) = g**3 + g**2 - 3*g - 2. Let y be n(-3). Let u(q) = -q - 4. Let z be u(y). Let r = z - 7. Solve c - 2*c = r for c.
0
Let x = 17 + -14. Suppose -s = x*s. Solve 0 = -s*y + 3*y + 6 for y.
-2
Let w = 17 + -13. Let a be ((-1 + 1)*1)/(-1). Solve a*j = -w*j + 4 for j.
1
Suppose 0 = 3*c - 4*z + z + 3, 3*z = 4*c + 1. Let k be (2/c)/(6/48). Solve 0 = 4*m - k*m + 16 for m.
4
Suppose 3*c = 4*n - 11, 2*c = -0*n + 4*n - 14. Suppose -n = -i - 2. Suppose 2*z - 13 = 5*q, -2*z = z - 4*q - 16. Solve -i*g + 5 = -z for g.
3
Let r = -29 - -33. Solve -3*x + r = -x for x.
2
Let r(m) = 2*m**2 - 3*m + 2. Let u be r(2). Suppose 3*g - g - 6 = -2*j, 3*g = u*j - 47. Solve -3*k = k - j for k.
2
Let m(v) = v**2 - 4*v - 7. Let z be m(6). Suppose -2*f - 51 = -z*f. Solve -7 = -5*n - f for n.
-2
Let i = -40 + 44. Solve -m - 6 = -i*m for m.
2
Suppose 14 = -3*y + 32. Solve 4*d + y - 2 = 0 for d.
-1
Let q = -2 - -18. Let z be q/40 + 3/5. Solve z = 2*g - 1 for g.
1
Let s be (0 - 2)*(-1 - 0). Solve s = -5*g + 12 for g.
2
Let z be 1 + -4 + 0/1. Let x = 5 + z. Suppose -3*c + 12 = -3. Solve 3*h - x = -c for h.
-1
Let l = -4 - -4. Let x(b) = 2*b + 9. Let h be x(-6). Let r = 20 + h. Solve l = -3*v - 8 + r for v.
3
Let k(c) = -22*c. Let j be k(1). Let i = -12 - j. Solve 0 = 5*o + 5 + i for o.
-3
Suppose 0 = 4*w - 6 - 18. Solve -w = 4*v - 26 for v.
5
Let b = 0 - 0. Suppose -3*f + 8*f - 15 = b. Let w(k) = -k + 3. Let g be w(f). Solve x - 1 = -g for x.
1
Let u(g) = -3*g**2 - 16*g - 3. Let z be u(-5). Solve 0 = 4*d + z + 6 for d.
-2
Let w be (-2)/6 - 121/(-3). Suppose 3*u + 7 = 2*k, 5*k + 10 - w = -5*u. Solve -2 = -3*l + u for l.
1
Suppose 0 = -r - 3*r + 5*z - 51, z - 30 = 3*r. Let v(k) = k**2 + 9*k + 3. Let d be v(r). Solve 2 = -d*f + 2*f for f.
-2
Suppose 65 = 9*o - 79. Solve a = -3*a + o for a.
4
Suppose s = 5*s + 8. Let n be -2*(-2 + s/4). Suppose 5*k - v = -5*v - 20, n = -2*k - v. Solve 8*t - 3*t = k for t.
0
Let g(f) = f**3 + 4*f**2 + 2*f - 1. Let n be g(-3). Solve n + 2 = -2*v for v.
-2
Suppose 2*l = -8 - 2. Let o be (2/(-4))/((-2)/36). Let g = o + l. Solve g = -4*d + 16 for d.
3
Suppose 6*y - 2*y = 0. Let i = 28 - 28. Suppose i = m - 2 - y. Solve m - 5 = -j for j.
3
Suppose 2*y + u - 10 = 0, -3*u = -4*y + u + 8. Let c = y - 6. Let b = c + 5. Solve -n + b = -1 for n.
4
Let r be 7*(-4)/(-28) + 1*-1. Solve r*m - 10 = -5*m for m.
2
Let u(z) = 2*z**2 + 2*z + 2. Let q be u(-2). Let d = -4 - -6. Solve -q*n + d*n = -12 for n.
3
Let s be 4/6*(4 - 1). Suppose 4*g - 3*j = 23, -g - 4*g - 2*j + 46 = 0. Suppose -12 = m - 4*m - 4*q, s*m - g = q. Solve m*o = 6*o for o.
0
Let w = -3 - -8. Suppose 3*i - 12 = -6. Solve -u + i*u = -w for u.
-5
Let g = 11 + -8. Solve d = -g*d + 4 for d.
1
Let x(t) = -2*t - 6. Let a be x(-3). Solve a*f = -f for f.
0
Let c be (0 + 19)*(-1 - -2). Suppose -4*z + c = 7. Solve k + 1 = z for k.
2
Suppose -3*p - 4*m = 8, 0 = -5*p + 3*m + 2*m + 10. Solve w + 3*w = p for w.
0
Let r be 35/4 + (-6)/8. Let k be (r + -2)*1 - 0. Solve -2*y = k - 0 for y.
-3
Let d be 2 + 0 - (-4)/4. Let w = 5 - 4. Let g = 5 - w. Solve -2*t = -d*t + g for t.
4
Let u = -101 - -109. Solve -u = -0*c + 4*c for c.
-2
Let a = -166 - -169. Solve a*o - 6 = -0*o for o.
2
Let f(v) = v**3 - 2*v**2 + 2*v. Let i be f(2). Suppose -i*y - 12 = -0, -5*z - 3 = -4*y. Let n be ((-2)/z)/(10/135). Solve -5*o + n = -6 for o.
3
Suppose z - 1 - 1 = 0. Suppose z*f = -0 + 6. Solve -5*v - f = 22 for v.
-5
Let t = -12 - -22. Suppose -2*k - 19 = -3*m, -2*m - k - 2 + t = 0. Suppose 0 = 4*d, -2*x + d = -3*x + m. Solve -x*i + 1 - 6 = 0 for i.
-1
Suppose -3 = -3*w + 12. Solve 10 + 5 = w*b for b.
3
Let s = -6 - -10. Let k be (s/(-3))/(24/(-54)). Solve -2*b + 5 = k*b for b.
1
Suppose 2*g + 2*d = 22, 0 = -5*g + 6*d - 2*d + 55. Suppose x = g - 4. Solve x*o - 2*o = 0 for o.
0
Let v = -19 + 27. Solve 0 = 4*b - 4 - v for b.
3
Let c(t) = 2*t + 6. Let i be c(-4). Let l be 2/5 - i/(-5). Solve -4*g + 0*g = l for g.
0
Suppose -3*d = -d - 6. Suppose -2*c = 4*x + c - 62, 2*x - 44 = 5*c. Solve -5 + x = -d*h for h.
-4
Suppose 0*h - 5*h = -40. Solve 4*q - h = 4 for q.
3
Let j(q) = -q + 5. Let a be j(4). Let t(b) = 10*b**2 - b + 1. Let z be t(a). Let d = 11 - z. Solve -h - d = -0*h for h.
-1
Let f(l) = l**2 - 2*l. Let u be f(3). Solve 2*j + u*j = 0 for j.
0
Let q be (16/3)/1 - (-1)/(-3). Solve 2*f = q*f + 3 for f.
-1
Let q(l) = 5*l + 1. Let j be q(1). Let w be (j - 4) + 0 + 18. Solve w = 2*o + 3*o for o.
4
Let j = 62 + -53. Solve 15 = -j*g + 4*g for g.
-3
Let c = -3 + 23. Let v(r) = -r**3 + 9*r**2 + 9*r + 15. Let h be v(10). Suppose -h*w - 3*s + c = -4*s, s = -w + 10. Solve 0 = -o + w*o for o.
0
Suppose 3 = 7*z - 11. Solve -14 + 4 = z*g for g.
-5
Suppose 4*n = 4*s - 20, -4*n = -5*s + 2*s + 13. Solve -2*k + s*k = -10 for k.
-2
Let z be (2 + 1)/(3/4). Solve z*w = -4 - 4 for w.
-2
Let l = -97 + 97. Let x(c) = c**3 + 4*c**2 - c + 1. Let z be x(-4). Solve -z*i + l = -20 for i.
4
Let w = -15 + 17. Suppose -15 = -h - w*h. Solve 0*c - h = 5*c for c.
-1
Let n be 13 + (1 + 1 - 3). Let z = n - 12. Solve z*o + o = 0 for o.
0
Let v(b) = -b**2 + b + 6. Let x be v(0). Suppose 2*h + 0 - x = 0. Solve 2*s + h = -s for s.
-1
Suppose 4*z + z = z. Solve 3*m - 12 + z = 0 for m.
4
Let n(b) = -b**3 + b**2 - 8. Let q be n(0). Let z(p) = -p - 7. Let w be z(q). Let i(k) = -k**3 + 2*k**2 + 2*k. Let u be i(0). Solve -j + w + 0 = u for j.
1
Suppose -2*t - 15*t = -34. Solve t*r + 4 = 2 for r.
-1
Let j = 231 + -152. Suppose 5*q - j = 5*n - 2*n, -2*q + 34 = -2*n. Suppose 3*x - x + 5 = 3*h, -q = -4*x - 2*h. Solve -x = u - 1 for u.
-1
Let c be -1*0*1/(-3). Suppose -2*k + c = -6. Suppose 5*r - 2*n = 9, 0*n + 5 = -r - k*n. Solve 0 = s - r + 5 for s.
-4
Suppose -12 = -2*h - 4. Suppose -4*p + 3*p + h = -5*f, -4 = 2*f - p. Solve f = -3*k - 1 - 2 for k.
-1
Let y be (-25)/5*8/(-10). Let o be (-8)/y - (-2)/2. Let i = o - -4. Solve -j + i*j + 10 = 0 for j.
-5
Suppose -5*d = 2*m + 11, 4*d = 5*m + d - 19. Suppose 0 = -c - m*c. Suppose 18 + c = 3*h. Solve -4*z - h = -2 for z.
-1
Suppose -2*o - 40 = -6*o. Let j be (-4)/o - (-24)/10. Solve -j*r - 1 = 1 for r.
-1
Let k(f) = -4*f - 5. Let y be k(-2). Solve -a = -y*a + 10 for a.
5
Suppose -3*q - 28 = 4*g + 2*q, q = -3*g - 10. Let s = -2 - g. Suppose 0*p + 4*p = z + 20, 2*p - 10 = s. Solve 4*x + z*x + 8 = 0 for x.
-2
Suppose -2*x = 11 - 15. Solve x*r = 6*r + 20 for r.
-5
Let r(v) = 3*v**3 + 5*v**2 + 12*v - 1. Let n(m) = 4*m**3 + 8*m**2 + 18*m - 1. Let x(h) = 5*n(h) - 7*r(h). Let p be x(6). Solve p*w - 3 = -11 for w.
-4
Let x = -5 + 8. Let j be (4/x)/((-6)/(-27)). Let l(s) = s**2 - 4*s - 8. Let t be l(j). Solve -z = t - 3 for z.
-1
Let k be -3*(-4)/30*10. Suppose -3*d + 4*t = -21, 5*d - t - k*t = 30. Let r(m) = -2*m - 2. Let b be r(-3). Solve b*i + d = -1 for i.
-1
Let p(n) = -n**3 - 2. Let s be p(0). Let i = 3 - s. Solve -1 = 2*h + i for h.
-3
Let u = 12 + -17. Let h = 7 + u. Solve -r = h*r + 9 for r.
-3
Suppose 4 - 2 = 2*u. Let p be (6 + -3)/(u - 0). Suppose -p*h = -0*h - 6. Solve -4*b = -2 - h for b.
1
Let h(y) = -2*y - 2 + 3 + 0*y - 3*y. Let z be h(-1). Solve 2*r = -r - z for r.
-2
Suppose x - g = -1, -5*x + x - 3*g = -17. Suppose -2*j - 2*h = 4, 2*j = x*h - 7*h - 10. Solve 15 = -5*a - j*a for a.
-3
Let n(d) = d + 3. Let w be (-1)/1*0/1. Let a be n(w). Suppose -10 = -a*v - 1. Solve 0 = v*u - 15 for u.
5
Suppose -2*k + 5*l + 43 - 1 = 0, -3*l = 0. Suppose 0 = 5*n - k + 6. Suppose -n*a + 0*a = -12. Solve -5*r = -a*r + 5 for r.
-5
Let y(j) = -2*j + 8. Let v be y(4). Suppose -4*d + 4*l = v, 5*d - 8 = -5*l + 32. Solve 0*g - d*g = -12 for g.
3
Suppose 5 = 100*m - 95*m. Solve 3*p + 8 + m = 0 for p.
-3
Suppose 2