 4*d + 4 for d.
2
Suppose -3 = -p - 2*p. Solve m = -p - 1 for m.
-2
Let v = -25 + 28. Solve 4*l + 5 = -v for l.
-2
Suppose -u = 2*u + 2*a - 1, -3*u = -5*a + 13. Let h be (2/5)/(u/(-5)). Solve 3*o - 3 = h*o for o.
3
Let z be 1 - -3 - (-6 - -4). Let x(g) = -g**2 + 7*g - 5. Let w be x(6). Suppose w = -3*s + 13. Solve -s*u + 2*u = z for u.
-3
Suppose -20 = -5*l + 3*l. Solve s - 3*s + l = 0 for s.
5
Suppose -3*i - 5*w = -0*w - 1, 0 = -3*i - 2*w + 4. Let g be (-4)/(-4)*5/1. Solve g*p + 7 = i for p.
-1
Let y(h) = -3*h**3 - 4*h**2 - h - 3. Let w be y(-3). Suppose -5*a + 0*a = 5*g - w, 4*a = g + 6. Suppose 0 = 3*f + 2*f - 10. Solve 12 = g*r - f*r for r.
3
Let h be 3/5 - (-12)/5. Suppose -3*u + 3 = 2*l, 5*l + h*u = -0*u + 3. Let x = l + 4. Solve 2*r - x*r + 6 = 0 for r.
3
Let r = -40 - -43. Solve -7*n + r*n = 0 for n.
0
Suppose 5*a = -2 - 8. Let j be (a - 3) + 2 + 7. Solve -i - j*i = -10 for i.
2
Suppose -r = 9 - 29. Suppose -v + 5*a = -r, 9*a - 4*a = 4*v - 65. Suppose h - 4 = -2*f, 6*f - 2*f = -h + 12. Solve -m = -f*m + v for m.
5
Let m = 2 - -12. Suppose 3*i + 2 = m. Solve -4*b + 3*b + i = 0 for b.
4
Let t = 66 - 118. Let h be 2/3 + t/(-12). Let y = 20 + -6. Solve -3*z - h = -y for z.
3
Let n be -1 + (2/(-8))/(5/(-60)). Solve 0*c + 8 = -n*c for c.
-4
Let j = -8 - -20. Let x be 0 + 3 + -1 + -2. Solve x = -3*s - 0*s - j for s.
-4
Suppose -3*c = 4*n + 9, n = -3*n + 4*c + 12. Let p = -14 - -26. Solve -4*q = -n + p for q.
-3
Let m(u) = u**2 + u + 27. Let g be m(0). Suppose 2*f - g = -f. Solve 0 = -w - 2*w + f for w.
3
Let m(s) = s**3 - 5*s**2 - 7*s + 6. Let c be m(6). Let n be -1*(-3 + c - 0). Solve 9 + 0 = -n*u for u.
-3
Let h(l) = -l**3 + 6*l**2 + 11 - 2*l**2 + 4*l**2 + 8*l. Let b be h(9). Solve -3*x - b = -8 for x.
2
Let w(z) = z**2 - 12*z + 22. Let u be w(10). Solve u = -a + 1 for a.
-1
Let q = -3 + 6. Solve -z + 4 = -q*z for z.
-2
Let s = -13 - -13. Solve s = -3*m - m - 20 for m.
-5
Let f(l) = -l**2 - 5*l. Let a be f(-4). Solve 8*s + 8 = a*s for s.
-2
Suppose 5*c = -4*i + 14, -25 - 1 = -5*c - i. Solve c = 5*o - 4 for o.
2
Let l(p) = 3*p**3 - 2*p**2 + 2*p. Let b be l(1). Solve b*g = 8 - 14 for g.
-2
Suppose 8 = d - 3*q + 2*q, -12 = -4*d - q. Solve 2*x + 2 = -d for x.
-3
Let m be ((-140)/(-245))/((-3)/((-21)/2)). Solve 3*o - 3 = m*o for o.
3
Let o be (2/(-4))/((-2)/40). Solve 2*p + o = -3*p for p.
-2
Suppose -5*y = -0 - 15, 22 = 2*c + 4*y. Solve -u - c = -2*u for u.
5
Let n = -1003 - -1771. Let i be n/78 + (-2)/(-13). Solve l + i = -4*l for l.
-2
Let w = -54 - -59. Solve -t + w = -0*t for t.
5
Suppose 29 + 7 = 4*o. Solve -3*s + 0 + o = 0 for s.
3
Let z be 91/21 + (-8)/6. Solve q = -z*q - 16 for q.
-4
Suppose -i + 2 = -2. Solve 2 = 2*f - i*f for f.
-1
Let c(p) = p**3 + 7*p**2 - 2*p - 7. Let m be c(-7). Let d = 9 - m. Solve -3 = d*a + 1 for a.
-2
Let s = -12 - -17. Solve s*r = -17 + 2 for r.
-3
Suppose l = -2*l + 15. Let a(s) = -s**2 + 6*s - 6. Let w be a(4). Solve 12 = l*j - w*j for j.
4
Suppose 0 = q + 5*s - 6*s - 9, -5*s + 75 = 5*q. Solve 0 = -4*r - 4 + q for r.
2
Suppose -5*l + l = -16. Solve -2*y - l = -0 for y.
-2
Let n(k) = k**2 + 2*k**3 + 1 - 4*k - k**3 - 12*k**2 + 14*k. Let h be n(10). Solve v - 2 = h for v.
3
Let p(y) = -2*y**2 + 10*y. Let t = 8 + -3. Let a be p(t). Solve a = 4*x - 2*x - 10 for x.
5
Let g(y) = -4*y - 53. Let o be g(-14). Solve 0 = -o*w - 2 - 13 for w.
-5
Suppose 15 = 2*r + r. Suppose b - r = -3. Suppose -f - 8 = -b*f. Solve -f = -i - i for i.
4
Let z be ((-2)/(-3))/(2/9). Suppose -5*x = 4*i + 5, 4 - 1 = -z*x. Solve i*q - 8 = -2*q for q.
4
Suppose -7 = -3*p + 5. Solve g = -g + p for g.
2
Let q = 44 - 39. Solve 3*z = q*z for z.
0
Let b(h) = h**3 + 15. Suppose -15 = -2*j - 5*c, -3*c = -2*c - 3. Let v be b(j). Solve 3 - v = 4*f for f.
-3
Let b(y) = 0 + y**2 + 5*y + 0. Let r be (6/7)/((-2)/14). Let m be b(r). Solve -s = -3*s - m for s.
-3
Suppose 4*v = 12, 2*t - 5*v + 1 = -0. Let s = -1 + t. Let c = 16 + -11. Solve s*l = l - c for l.
-1
Let g be (-65)/(-9) + (-14)/63. Let p = -3 + g. Suppose p*b = f + f - 4, 0 = -4*f + 16. Solve -v + 4 = b for v.
3
Let f(o) = o + 8. Let c be f(-4). Solve -4 - 16 = -c*y for y.
5
Let a be (1 - -3)*(11 - 16). Let u be ((-12)/a)/((-2)/(-50)). Solve -u = 9*w - 4*w for w.
-3
Let x be 27/(2 + 1)*-1. Let l = -6 - x. Solve l + 6 = -3*z for z.
-3
Let l be 5*-1*4/10. Let t be 6/2 - 2/l. Let b(g) = g**3 - 4*g**2 - g. Let f be b(5). Solve 9*z - t*z = f for z.
4
Let j(c) = c**3 + 8*c**2 + 7*c + 2. Let r be j(-7). Suppose -x + r*x + 2*i = 4, 3*x - 2*i + 4 = 0. Solve o = 3 - x for o.
3
Let m be (-2)/(3 + -1)*-3. Solve 12 = -y - m*y for y.
-3
Let o(v) be the first derivative of v**4/4 - 4*v**3/3 - v**2/2 + 5*v + 1. Let w be o(4). Solve w + 3 = -k for k.
-4
Let s be 4/16 + (-62)/(-8). Let g = 13 - s. Solve i = -0*i - g for i.
-5
Let r(w) = w**3 + 6*w**2 + 7*w + 4. Let l = -12 - -7. Let z be r(l). Let s = z - -9. Solve s*i = i for i.
0
Let y be (-2 + -2)*-1*3. Let m(x) = -4*x - 2. Let i be m(-1). Solve 0 = -i*t - y + 4 for t.
-4
Let g be (13/(-2))/((-2)/(-4)). Let a = -3 - g. Let v = a + -7. Solve -5*l + 4 = -v*l for l.
2
Let v(d) = -2 - 4*d + 3*d**3 - 3*d**2 - 4*d**3 + 0. Let x be v(-2). Solve c + x = 4 for c.
2
Let a be 22/6 + 2/(-3). Suppose -2*m + a = -1. Solve 4*b - m*b = -6 for b.
-3
Let m(g) = 2*g**2 + 4*g + 2. Let i = 3 - 5. Let s be m(i). Solve 2*q + 4 = s for q.
-1
Let p be -1*1 - 1*-5. Let i be 616/52 + (-4)/(-26). Suppose 5*k = k + i. Solve k*u + p = 5*u for u.
2
Let k(z) be the third derivative of z**5/60 + z**4/6 - z**3 + z**2. Let o = -14 - -8. Let i be k(o). Solve 0 = 5*h - 2*h + i for h.
-2
Let k(m) = -5*m + 4. Let i(x) = 6*x - 5. Let g(u) = -2*i(u) - 3*k(u). Let n be g(4). Solve 5*s = 15 + n for s.
5
Suppose -z + 14 = 3*a, -24 = -2*z - a - 3*a. Suppose -2*w + 20 = -7*w. Let h = z + w. Solve -3*c + h = c for c.
1
Let a(x) = -x**2 - 14*x - 22. Let b be a(-12). Solve -b = 3*y - 2*y for y.
-2
Let o = 19 + -19. Solve -l + o = -2 for l.
2
Suppose -2*j - 5*o + 32 - 1 = 0, -4*o + 26 = 2*j. Solve i = j*i + 4 for i.
-2
Let q(f) = -f**3 + 5*f**2 - 3*f - 2. Let j be q(4). Solve 0 = -i - i - j for i.
-1
Let s(u) = 0 + u + 5*u**3 - 5*u**3 + 1 - u**3. Let h be s(-3). Suppose 3*q - 10 = q. Solve -5*w + q - h = 0 for w.
-4
Let r(p) = 2*p**2 - 2*p + 5*p + 0*p - 2*p**3 + 2. Let i be r(3). Let g be (i/(-4))/((-1)/(-4)). Solve 7*w + g = 2*w for w.
-5
Let a(l) = l - 3. Let w be a(0). Let y = 6 + w. Suppose p - y = -0. Solve p*c - 4 = 2*c for c.
4
Suppose d - 120 = -4*p + 6*d, -4*d - 141 = -5*p. Solve 5 = 4*l + p for l.
-5
Suppose -2*c = -7*c + 25. Solve -m = -2*m + c for m.
5
Let z = 24 - 20. Solve -1 = -5*b + z for b.
1
Suppose 2*q = 4, 4*q + 1 - 13 = -h. Solve h*b + b = -25 for b.
-5
Suppose 12 = s - 3. Suppose 0 = -5*w + 3*t - s, 3*w + 4*t - 2*t = 10. Solve 7*k - 2*k + 5 = w for k.
-1
Let s(x) = 3*x**3 - 2*x - 3. Let h(n) = 5*n**3 - 3*n - 5. Let u(j) = -4*h(j) + 7*s(j). Let c be u(2). Let b = -7 - -15. Solve -c*w = -b*w + 15 for w.
3
Let c(d) = -5*d - 24. Let u be c(-6). Solve u*z = z for z.
0
Let j = 111 - 78. Solve 8 - j = 5*s for s.
-5
Let a = 23 - 17. Solve -2*w + 4*w - a = 0 for w.
3
Suppose 4*c - 32 = 4*i, c + 2*i - i = 2. Solve 0 = -2*q + c - 3 for q.
1
Let n = 16 + -11. Let c = 28 - 21. Suppose -2*w + n*h + 5 = 0, c + 18 = 4*w + 5*h. Solve -2*x - 3 = w for x.
-4
Let q = -371 - -372. Suppose 5*p - 28 = p. Solve -3*j = p - q for j.
-2
Suppose -j + 2*j - 4*r = -4, j - 5*r = -5. Solve -u + 3*u = j for u.
0
Let x = -2 + 2. Suppose 2*i - 8 = -x. Solve 0 = v - 5*v - i for v.
-1
Suppose 4*i - 8 = 2*j, 1 = 2*i + 5*j - 3. Suppose i*z + q = 12 + 2, 0 = z - 5*q + 4. Solve -4*t + 2 - z = 0 for t.
-1
Let k be (1 - 0)/(2 + -3). Let h = 3 - k. Suppose -l = -h*l. Solve 1 = -l*i - i for i.
-1
Suppose -c = -3*c. Suppose n + 2 - 11 = c. Solve -n = -4*x + 7 for x.
4
Suppose 5*d = 3*l + 10 + 11, 0 = -3*l - 6. Solve 5 = i + d for i.
2
Let m = 3 + 0. Let q be 1 + 0 + 0 - -2. Let h = -46 + 49. Solve q = m*z - h for z.
2
Suppose 4*g - 2 = -3*a + 2, 3*a - 4*g - 20 = 0. Let h be (6 - 5)/(1/a). Solve -2*w = 2*w + h for w.
-1
Suppose l = -5*t + 11, 3*l + 2 = -3*t - 1. Suppose 0 = -t*r + 6*r - 6. Solve 0 = 2*f + r + 4 for f.
-3
Let g(f) = -f**3 + 9*f**2 - 8*f + 2. Let d be g(8). Solve -1 = h + d for h.
-3
Suppose -6*q = -2*q - 4*d + 20, 