u = 6*u - 12 for u.
4
Let m be (2/6)/(6/90). Solve m*d - 12 = d for d.
3
Let d = -22 + 22. Solve -2*k - 3*k = d for k.
0
Suppose -5*a = -5*j + 25, -a = 2*j - 3 - 1. Suppose 5*z + 13 = j, -4*l + 10 = -5*z. Solve l = -0*b + b for b.
0
Suppose 6 = -a - 2*y, -a - 7 = -0*a + 3*y. Let t be 1*-2*6/a. Solve 4 - t = -w for w.
-1
Let n be ((-32)/(-6))/(2/15). Suppose -p = -2*h - n, -5*p - h = 3*h - 158. Let u = p - 19. Solve -w = -6*w + u for w.
3
Let j = -2 + 2. Let x = 20 + j. Let p(m) = -7*m**3 - 2*m**2 + 2*m + 2. Let g be p(-1). Solve 5 = -g*h - x for h.
-5
Let j be 3/6*(0 - 0). Solve j*q = -3*q + 12 for q.
4
Let h = -4 + 9. Suppose 15 = 6*x - 11*x. Let s = x + h. Solve -5*t = -3*t + s for t.
-1
Suppose 0 = 2*r + 4*w + 4, -4*r + 2*r + 5 = -5*w. Let s be ((-16)/(-4) - 3)*r. Solve i + 0*i = s for i.
0
Suppose -18 = -3*h + 4*b, h + 3*b - 29 = -h. Let l(y) = -y + 4. Let r be l(h). Let a(f) = -f**2 - 6*f + 5. Let u be a(r). Solve 0*k - 20 = u*k for k.
-4
Let n = 3 + -1. Solve -3*a = n + 7 for a.
-3
Let x(h) = -h**2 + 2. Let k be x(7). Let f = k + 20. Let m = -19 - f. Solve -q + m = 3*q for q.
2
Let t be 1/((-1)/(4/(-4))). Solve -1 = -r + t for r.
2
Let z(q) = q + 9. Let v be z(-6). Suppose v*u = 2*u. Solve u = 4*a + 33 - 13 for a.
-5
Let g(k) = k**3 + 20*k**2 - 20*k + 23. Let n be g(-21). Solve -7*b - 5 = -n*b for b.
-1
Let v = 2 + -4. Let s = -1 - v. Solve -s - 7 = -4*r for r.
2
Let g(c) = 2*c**3 - 3*c**2 - c + 3. Let o be g(2). Solve o*l + 29 = 4 for l.
-5
Let l(r) = -r**3 + r**2 + 3*r + 1. Let i be l(-2). Solve 12*g - i*g = -25 for g.
-5
Suppose 3*b + 2*c + 25 = 6*b, 0 = -5*b - 2*c + 15. Solve 0 = -2*l - 1 + b for l.
2
Let s be 148/6 - 1/(-3). Solve -r - 4*r = -s for r.
5
Let r = 7 - 3. Let h(m) = m**2 + 2*m. Let b be h(-2). Let d = 4 - b. Solve 4*v + r = -d for v.
-2
Let y(h) = -5*h - 2. Let u be y(-1). Let a(i) = i + 2. Let k be a(-6). Let l = k - -7. Solve 3 + l = u*d for d.
2
Let q = 9 + 3. Suppose q = -0*y - 4*y, 0 = -3*o - 4*y + 36. Solve -5*p = o + 4 for p.
-4
Suppose 2*p + 2*p - 5*z + 10 = 0, 4*p + 6 = 3*z. Suppose 7*n - 3*n - 24 = 0. Suppose p = -s - s + n. Solve -c = s*c + 12 for c.
-3
Let i(n) = -n**2 - 6*n - 3. Let h be i(-2). Suppose h*t - 86 = -2*r - 0*r, -r - 2 = 0. Let d = -11 + t. Solve -2*s - 3 + d = 0 for s.
2
Let k be (-338)/(-91) + (-4)/(-14). Solve -t - t - k = 0 for t.
-2
Let z(w) = w**2 - 2*w + 2. Let l be z(3). Solve 0 = -0*r + l*r + 5 for r.
-1
Suppose -7 = h - 25. Suppose -h = -5*a + 7. Solve 8*o = 3*o + a for o.
1
Suppose -4*q = -q - 36. Solve -5*p + 13 = -q for p.
5
Let l(x) = x - 10. Let o be l(13). Suppose z - 16 = -o*z. Solve k = -z + 6 for k.
2
Let h(s) = 3*s**2 + 2*s - 2. Suppose 0 = 5*t - 10*t - 10. Let w be h(t). Solve 0 = 3*i - 0*i + w for i.
-2
Let c = -12 + 0. Let a = -10 - c. Solve -a*d = d for d.
0
Let u be (-4)/(0 + 2/(-4)). Suppose -u = -q - 3*q. Solve -12 = -2*v - q for v.
5
Let z = -46 + 65. Suppose -z = 3*k - 1. Let o be (k/(-9))/((-6)/(-27)). Solve 2*i = -o*i for i.
0
Let m(i) = i + 4. Let u be 9 + -7 + (-4 - 0). Let v be m(u). Solve -1 - 3 = -v*q for q.
2
Suppose 3*f - 1 = -5*t + 14, -3*t = -f + 5. Suppose 4*j + 6 = f*n - 14, 0 = -3*j + 15. Suppose 0*z - n = -4*z. Solve -u = z*u + 3 for u.
-1
Let n be -1*(-2 - (2 - 4)). Suppose n = 4*t - t. Solve -3*l - 8 - 1 = t for l.
-3
Suppose -a = -2*v - 4, -4*a - 4*v - 5 = 3. Solve a = -c - 2*c - 9 for c.
-3
Let n be 1*(-3 - 0) - -5. Solve -n*g + 1 - 3 = 0 for g.
-1
Let h(j) = 8*j**2 + 1. Let t be h(-1). Let r be (18/(-15))/((-3)/(-10)). Let k be (-57)/(-12) - (-3)/r. Solve 0 = -k*g + 7*g + t for g.
-3
Let g = 4 + 1. Suppose 4*h - 2*m = 72, -6*m + 4*m = -5*h + 88. Solve g*c = c + h for c.
4
Let v = -3 - -6. Suppose -v*i - 3*b - 6 = 0, 2*i + b + 16 = 3*b. Let n be 2/10 - 19/i. Solve t + 5 = -n*t for t.
-1
Let j(r) = r**2 + 6*r - 5. Let d be j(-7). Solve d*c - 2 = 2 for c.
2
Let q = -205 - -217. Suppose 4*m - 3*z - 17 = 0, 18 = 3*m + 2*z + z. Suppose -p + m*p = -v + 21, 3*v = 15. Solve p*h + q = -0*h for h.
-3
Let a(s) = s**3 - 11*s**2 + 10*s + 3. Let d be a(10). Solve d*p - 6 = 6*p for p.
-2
Let m(b) = 2*b**2 + 23*b - 12. Let w be m(-12). Solve w*j + 5*j = 0 for j.
0
Let b be 2/(-1) + (-20)/5. Let q(r) = -r - 10. Let f be q(b). Let y = 7 + f. Solve -y*t - 2*t = 0 for t.
0
Let u(s) = -s + 1. Suppose -3*d + 10 + 6 = -5*v, 0 = -3*v - 3*d. Let z be u(v). Solve 0*r - 15 = -z*r for r.
5
Let z(k) be the third derivative of -k**6/120 - k**5/10 + k**4/8 - 5*k**3/3 + 2*k**2. Let s be z(-7). Suppose -2*p + s = -0. Solve -4*w = -p*w for w.
0
Let p(m) = -m + 10. Let s = 4 - 2. Suppose 4*n = i - 5, -i = 6*n - s*n - 5. Let a be p(i). Solve -3 = -f - a for f.
-2
Let w(d) = 2*d**2 + d. Let q be w(1). Let n = -453 - -458. Solve n*t + q = 28 for t.
5
Let y(g) = -g**2 - 6*g + 7. Let w be y(-6). Solve 5 = 2*z - w*z for z.
-1
Let w(z) = 9*z**2 - z. Let m be w(-1). Let l = m - 6. Let t = l + 0. Solve -t*g = -6 - 10 for g.
4
Suppose -q + 3 = -0. Suppose -3*c = -3*v + 9, -v - q = -6*v + c. Solve -3*p + 2*p - 4 = v for p.
-4
Suppose 0*t = 4*b - 3*t - 25, -4*b - 4*t = -4. Let m(v) = v**2 + 10*v - 48. Let c be m(-14). Suppose 0 = b*y - 0*y - c. Solve -2*s + y = -4 for s.
3
Let m = 16 + -7. Let i = m - 4. Solve i*g + 4 = 9 for g.
1
Let u(m) be the first derivative of -m**4/4 + 5*m**3/3 - 2*m**2 + 2*m + 6. Let p(a) = -a**3 - a**2. Let q be p(-2). Let y be u(q). Solve 1 = y*z - 1 for z.
1
Suppose -16 = -2*u - 5*q, 2*u = 2*q - 0 + 16. Solve -9*r + 3 = -u*r for r.
3
Let i(h) = -2*h**3 - h**2 + 1. Let q be i(-1). Solve -q*g = -g for g.
0
Let j(l) = l**3 - 11*l**2 + 10*l + 8. Let i be j(10). Solve -2*s - 2*s - i = 0 for s.
-2
Let t = -6 - -11. Solve 0 = 4*g + 17 - t for g.
-3
Suppose 0 = 3*h + 2*l - 24 - 39, -3*h - 4*l + 57 = 0. Suppose 2*k - 18 = 2. Suppose k + 10 = 4*f. Solve -3 = -f*c - h for c.
-4
Let r(f) = f**3 - 6*f**2 - 2*f + 7. Let o be r(6). Let y = o + 5. Let i be y/2 + 0 + 1. Solve -2*a = -a + i for a.
-1
Suppose -u + 5*u + 20 = 0. Let x = -3 - u. Solve 0*k - k = x for k.
-2
Let a = -7 + 13. Solve g = 4*g + a for g.
-2
Suppose 2*o - 17 = -2*o - 3*b, 5 = o + b. Suppose -117 = 4*l - 29. Let j = 25 + l. Solve 0 = n - o + j for n.
-1
Let c = -9 - -13. Suppose -5*i + 8 = -i. Let m = c - i. Solve -1 = -m*f + 1 for f.
1
Let h = 5 + -2. Suppose -2*i = 4*f - 20, 5*f = -18 + h. Let a = -1 - -5. Solve 4*b - i = a for b.
5
Let j = -11 + 15. Suppose 0 = 5*n - j*p, -p - 2 = -7. Let q = -10 + 19. Solve q = n*a - 11 for a.
5
Suppose -12*j = -22 - 14. Solve j*i = 2*i for i.
0
Let m = -40 + 46. Solve g - 20 = m*g for g.
-4
Suppose -9*a + 30 = -3*a. Solve 5 + 0 = a*h for h.
1
Let l(u) be the first derivative of u**3 + u + 1. Let i be l(1). Let v = 24 - i. Solve v = -7*k + 3*k for k.
-5
Suppose -2*a + 6 = 0, 3*i - 9 = -0*i - a. Suppose -3*h + 29 = 5*u - 25, 0 = i*h - 5*u - 11. Solve 0 = 5*k + 38 - h for k.
-5
Let t be 56/16 - 3/2. Suppose 0 = -4*h + t*r, -r + 6*r = h + 9. Solve -h + 11 = 5*z for z.
2
Let n = -86 - -96. Solve 0 = w + w - n for w.
5
Let o(z) = -4*z + 30. Let a(w) = w - 6. Let n(t) = 14*a(t) + 3*o(t). Let b be n(-3). Suppose 6*r - 2*r = 12. Solve b = -2*q + 3*q + r for q.
-3
Suppose -4*o - 2 = -2*z, -4*o + 2*o + 14 = 4*z. Suppose -z*f - i - 2 = -11, 4*f = 4*i - 4. Solve -d - f*d = 0 for d.
0
Let m(x) = x**3 - x + 6. Let a be m(2). Solve -6*n = -2*n - a for n.
3
Let u be (2/4)/((-8)/(-128)). Suppose 0 = -u*w + 3*w + 3*d + 3, 4*d + 4 = 0. Let i(g) = g + 11. Let y be i(-8). Solve -y*v = -w*v for v.
0
Let n(s) = s**3 + 5*s**2 + 4*s + 2. Suppose -4*x - x - 20 = 0. Let i be n(x). Let r be 14*(i + 0)/4. Solve 0 = -2*g + r*g for g.
0
Suppose 2*b + 73 - 25 = 0. Suppose -3*p + 45 = -8*p. Let c = p - b. Solve 0*y + 3*y = c for y.
5
Let k = -57 + 57. Solve k - 3 = -f for f.
3
Let r be 2/(-2) - (0 + -3). Solve 0 = r*v + 3*v - 15 for v.
3
Suppose u + 4*m + 7 = 0, -m - 1 = -u - 3*m. Solve s + u = -2*s for s.
-3
Suppose n = -0*n + 2. Suppose u + 2*o - 2 = 0, 0 = -n*u - 4*o + 2*o + 4. Let v(a) = -a + 8. Let y be v(-7). Solve 0 = -h - u*h - y for h.
-5
Suppose -7*c + 22 = -13. Suppose 6*n = 4*n + 10. Solve -n = -c*d + 15 for d.
4
Suppose 2*c + 24 - 28 = 0. Let d(s) be the second derivative of s**4/12 - s**3/6 - s**2/2 + s. Let b be d(3). Solve b*r + 8 = -c for r.
-2
Let b(y) = -2*y + 5. Let i be b(5). Let a