2 = -o for o.
-1
Suppose -4*o - 25 = 5*n, -4*n + o + 4*o + 21 = 0. Let t(q) be the first derivative of 2*q**3/3 - q**2/2 - q - 3. Let p be t(n). Solve h - 1 = p for h.
3
Let m be 1 + 3*(0 + -1). Let t be -1 + 0*m/4. Let i be t/(-4) + 2/(-8). Solve 0 = 2*v - i*v for v.
0
Let u(d) = d**3 - 6*d**2 + 6*d. Let f be u(5). Let m = 7 - f. Solve a = -m*a for a.
0
Let j(i) = i**3 - 3*i**2 + 4. Let g be j(3). Let l be 7/2 - g/8. Solve -2 + 5 = l*d for d.
1
Suppose a - 1 + 17 = 0. Let g = a + 28. Solve -2*n + g = -6*n for n.
-3
Let b = -8 - 1. Let f(v) = -v**3 - 8*v**2 + 8*v - 9. Let a be f(b). Solve a*y - y - 1 = 0 for y.
-1
Suppose -5*p - 5*w = -25, 2*w + 2 = -p + 8. Solve p*s = s + 9 for s.
3
Suppose -p + 14 = 3*n, 3*p + 5*n - 5 = 17. Let c be (-2)/((-6)/9) + p. Suppose 3*r - 7 = -c*m, 2*m + 5*r - 5 + 0 = 0. Solve 2*x = 3*x - m for x.
5
Let p be (-1)/((-7)/(-2) - 4). Solve -7 - p = -3*s for s.
3
Let r be (5 - 20)*(-1)/3. Let q = -9 + r. Let v = q - -9. Solve -7 - 13 = -v*z for z.
4
Suppose 5*n - 7*n + 6 = 0. Solve w + n*w = -20 for w.
-5
Let y be (18/21)/(2/((-112)/(-12))). Solve 0 = -0*s + s - y for s.
4
Let s(u) = 0 + 0 - 4*u + 11*u**2 - 6 + 4*u**3. Let i(y) = 5*y**3 + 12*y**2 - 5*y - 6. Let r(c) = -5*i(c) + 6*s(c). Let v be r(6). Solve -2*b + 3 - 1 = v for b.
1
Let s(v) be the first derivative of -v**3/3 - 5*v**2/2 - 5. Let d be s(-4). Solve -d*a = -a + 3 for a.
-1
Let h(s) be the second derivative of -s**5/20 + 2*s**4/3 + s**3/2 - 6*s**2 + 4*s. Let q be h(8). Solve 0 = -d + 4*d + q for d.
-4
Let m = 5 + -2. Suppose 0 = 2*w - 1 - m. Suppose -3*z = -3*b + 27, 3*z + 1 = 2*b - 16. Solve -w*l = -7*l + b for l.
2
Let w be (1/(-2))/((-5)/20). Suppose -32 = 3*g - 7*g - 4*h, 3*h = w*g - 1. Suppose -5*n + g = -5. Solve n*t + 0 = 4 for t.
2
Let g = 6 - 2. Solve 13 + 7 = g*r for r.
5
Let h(u) = u**2 - 11*u + 2. Let w be h(9). Let x = w + 16. Solve 4*m - 3*m + 2 = x for m.
-2
Let s be (-7)/(-2) - 3/(-6). Suppose -s*r + 2 = -2. Solve 4*q + 3 = -r for q.
-1
Suppose q - 4*r + 14 = 0, 3*q + 6 = 3*r - 0. Suppose 0 = q*g - g. Solve g = -4*k - 0 + 4 for k.
1
Let m(w) = 2*w**2 - 8*w + 11. Let v be m(3). Solve 9*f - 4*f = v for f.
1
Let f = -125 - -135. Solve 8*w = 3*w + f for w.
2
Suppose -2*t + 17 = -3. Solve -1 = 3*d - t for d.
3
Let x(f) = 3*f**3 + 7*f**2 - f - 1. Let m(g) = 4*g**3 + 8*g**2 - 2*g - 2. Let k(w) = 4*m(w) - 5*x(w). Let u be k(4). Solve -u = -2*i - 7 for i.
-3
Suppose m - 312 = -307. Suppose -4*l - 12 = -k - 3*k, -4*l + 5*k - 16 = 0. Let r be l/(-2) - 102/(-4). Solve 0*u + r = m*u for u.
5
Let n(l) = -5*l**2 - 7*l + 6. Let w(b) = -5*b**2 - 8*b + 7. Let c(j) = -7*n(j) + 6*w(j). Let k be c(-1). Solve -k*d - 25 = -9*d for d.
5
Suppose -3*a - 3*b = -0*b - 12, 4 = a + 5*b. Let g(m) = m**3 + 8*m**2 - m. Let t be g(-8). Let s = t - 5. Solve -a*p - s = -5*p for p.
3
Let p(d) = -d**3 - 7*d**2 + d + 6. Let g be p(-7). Let l be 3/(-6) + g/(-2). Let k be 0 - (1 - 3) - 2. Solve k = -l*a + a for a.
0
Suppose -4 - 5 = -3*c, 0 = 2*g + c - 3. Solve -p - p - 10 = g for p.
-5
Suppose -3*i = 2*i - 40. Solve -i + 0 = -4*p for p.
2
Let s be (-3)/(-12) - (-19)/4. Let b = 9 - s. Let j(c) = -c**2 + 5*c - 4. Let m be j(b). Solve -3*y - 9 = -m*y for y.
-3
Let k(d) = 3*d + 24. Let m be k(-7). Solve 0 = -7*z + m*z + 16 for z.
4
Suppose 281 = y + 279. Let g = -19 + 27. Solve 0 = y*l - g - 2 for l.
5
Suppose -s + 3*v + 17 = 0, -s + v + 3 = -2*s. Solve 0 = -0*p - s*p - 8 for p.
-4
Suppose 0 = 5*o + 5*c - 45, -5*o - 2*c + 16 = -14. Suppose o*h = -0*h. Solve 4*x = -h*x for x.
0
Let r be 9/15 + 2/5. Suppose 0 = -o + 4 - r. Solve -12 = -0*h + o*h for h.
-4
Let s(x) = 3*x - 14. Suppose 0*j = 6*j - 30. Let n be s(j). Solve 3 = -2*u + n for u.
-1
Let t be (-1)/(-3 + 8/3). Solve -7 = t*x + 8 for x.
-5
Suppose -50 + 42 = -4*a. Solve 0 = -m - a + 4 for m.
2
Let u(w) = w - 16. Let t be u(24). Solve 2*b = 4 - t for b.
-2
Let m(g) = 2*g - 2. Let w be m(2). Let n(l) = -l**3 - l - l - w*l - 5*l**2 + 3. Let r be n(-4). Solve b - r*b = 2 for b.
-1
Suppose 7 = g - v, -5*v = -2*g - 10*v - 14. Let y = 7 + g. Let b = 9 - 4. Solve y + b = 3*i for i.
5
Let j(c) = -7*c + 2. Let h be j(-2). Suppose 0 = a + 3*a - h. Solve 2*r - 10 = a*r for r.
-5
Let i be 1*1/(-2)*0. Suppose i*w = 5*w. Suppose w = -7*n + 2*n - 4*k + 29, n - 2*k = 3. Solve 4*m = n*m + 1 for m.
-1
Let b be 4/(-14) + 38/(-14). Let g be (-8)/3*b/(-2). Let i be (-1)/(-4) - 7/g. Solve 6 = -4*l - i for l.
-2
Let b(f) = f**3 + 3*f**2 - f - 3. Let t be b(-3). Let x be 6 + 3 + -1*2. Let u = x + -4. Solve -3 = -u*i - t for i.
1
Suppose 7*s - 5 = 37. Solve -s*z = -z - 20 for z.
4
Let d = -6 - 2. Let f be 1/(-4) + (-58)/d. Suppose 9 + 0 = 3*m. Solve b - m + f = 0 for b.
-4
Let o be 1/(1*1/2). Let n be (3 - 5) + o/2. Let y be (2 - -4) + n + 1. Solve p = -2*p - y for p.
-2
Let j = 13 + -7. Suppose -j*q = -q - 15. Solve 2 = q*m + 5 for m.
-1
Suppose -r + 2 = k - 3*k, 2*r + 3*k - 11 = 0. Let g = r + 0. Suppose -2*a = 2*a - g. Solve 1 + a = -v for v.
-2
Let j(h) = -h**2 + 8. Let q be j(2). Solve -6 = -q*y - 2 for y.
1
Let n be 3/(-6)*(-6 + 2 + 0). Solve -c = n*c for c.
0
Let n be (-2)/(-5) - (-189)/(-35). Let q = n - -10. Solve -q*u + 10 = 30 for u.
-4
Let f(a) = 5*a + 95. Let u be f(-19). Solve -2*q + 0*q = u for q.
0
Suppose 5*j = -0*j + 3*i + 12, 14 = 5*j - i. Solve -j*x - 1 = -4 for x.
1
Let r(v) = -v**3 + v**2 - v + 1. Let u be r(0). Let q = 4 - u. Suppose -q*y = -y - 10. Solve d + 16 = y*d for d.
4
Let d be ((-6)/(-7))/(48/224). Solve 6*y + d = 5*y for y.
-4
Let d = -7 + 12. Let p = d - 0. Suppose 4*v + 3*c + 5 = 0, 0*c + 4*c + 7 = -5*v. Solve -p = y - v for y.
-4
Let u(g) = g**3 - g**2 + 2*g + 3. Let p be u(-2). Let t be (-6)/6 - (p - 0). Solve 4*o + 0*o = t for o.
3
Suppose -3*c = -2*c + 1. Let m be 5*(1 + (c - 1)). Let h = -3 - m. Solve h*d = -d + 12 for d.
4
Let f = 4 + -7. Let o = f - -5. Solve o*c + 0*c = -2 for c.
-1
Let t be (-7)/3 + 5/15. Let y be (1 - 3 - t)/1. Solve y = -s - 3*s + 8 for s.
2
Let f be -2 + 4 - (2 + -3). Solve 6 - f = i for i.
3
Let i(m) = m**3 - 5*m**2 - 5*m - 4. Suppose 0 = -t + 6*t - 30. Let n be i(t). Let r be 12/54 + (-356)/(-18). Solve -n*w = 3*w - r for w.
4
Suppose 4*x + x = 0. Suppose -2*s - 2*s = -8. Let u = s - x. Solve i + 5 = u for i.
-3
Let l = 30 - 18. Suppose 5*j = 3 + l. Solve j*m = -m + 8 for m.
2
Suppose 12*x - 12 = 6*x. Solve 4*p - 3*p = -x for p.
-2
Let u be ((-8)/(-24))/(1/(-15)). Let a = 11 - 5. Let o = a + u. Solve -j = -o - 1 for j.
2
Let o be ((-5)/(2 - (-14)/(-6)))/1. Solve 0 = -4*v + v + o for v.
5
Let o(z) = 4*z**3 - 7*z**2 + 6. Let k(u) = -u**3 + u**2 + u - 1. Let x(c) = 3*k(c) + o(c). Let a = 63 + -60. Let t be x(a). Solve -p = t*p + 12 for p.
-3
Let y(j) = -j**2 + 7*j - 2. Let d(u) = 3*u. Let z be d(-6). Let m be (-4)/3*z/4. Let q be y(m). Solve -3*a + q = -7*a for a.
-1
Suppose -15 = 5*t, 4*q - 3*t - 35 = 2*t. Let x(m) = 3 + 0*m + q*m - 2*m - 2*m. Let v be x(4). Solve -3*u + 8 = -v*u for u.
-2
Suppose 0 = -u + 9 - 4. Let i(t) = -2*t. Let y = 4 - 5. Let b be i(y). Solve u = -f + b*f for f.
5
Let d be 44/7 + 16/(-56). Solve d + 2 = 4*a for a.
2
Let m(l) = l**3 + 3*l**2 + 3*l + 1. Let h be m(-1). Solve h = u - 3 + 6 for u.
-3
Let y be -1*7*(-9 + 8). Let n(z) = z**2 - 4*z - 9. Let q be n(y). Solve 13 = 5*h - q for h.
5
Let b(q) = -q**3 + 2 - q**3 + 4*q**2 + 6*q**3 + 3*q - 3*q**3. Let n be b(-3). Solve -4*g = -n*g - 4 for g.
2
Let j = 15 + -9. Let q(r) = r**3 - 6*r**2 + 4*r + 5. Let a(i) = i. Let f(s) = -2*a(s) + q(s). Let g be f(j). Solve -g = -3*m - 5 for m.
4
Let y(h) = -5*h**2 + h + 3. Let c be y(2). Let u = -15 - c. Solve 2*o + o = u for o.
0
Let s be (-3)/2*12/9. Let a be ((-9)/s)/((-1)/2). Let p(l) = l**3 + 9*l**2 + l + 13. Let x be p(a). Solve 12 = x*d - 0*d for d.
3
Let f(c) = 5*c + 8. Let q be f(-1). Solve 2 + 7 = q*b for b.
3
Let x = -1 + 6. Suppose -y = -x*y. Suppose -26 = -2*u + 4*m, -2*m + 2 - 21 = -3*u. Solve -u*j + 14 + 1 = y for j.
5
Let a(d) = d**2 - 5*d. Let c be a(6). Solve -4*i - 6 = c for i.
-3
Suppose 3*m + 3*w = -0*m + 33, w = -3*m + 35. Solve i = -2*i + m for i.
4
Suppose 2*s - 2 = -6. Suppose 28 = 2*o + 8. Let y be (-1 + s)*o/(-3). Solve 0*w - 2*w = y for w.
-5
Suppose -6*l + 12*l = 24. Solve 0 = l*j - 30 + 10 for j.
5
Let c be 63/42*(-16)/(-3). Solve -2*i = 2*i + c for i