for o.
4
Suppose 6*n - 3 = 3*n. Let h = 6 + -2. Solve h*z + 21 = n for z.
-5
Suppose -40 = -4*h - h. Suppose 3*i = 8*i. Solve i = -0*w + 2*w + h for w.
-4
Let n(r) = -r**3 - 6*r**2 + 2*r + 9. Let u be n(-6). Let o = -3 - u. Solve o*x = x - 5 for x.
5
Let d = 0 - 0. Let t = 5 + d. Solve -t*u - 22 = -7 for u.
-3
Let k be (-5)/2 - (-1)/2. Let b = k - -5. Suppose 0*n + 4*v = b*n, -n + 5*v = 11. Solve n = -x + 2 for x.
-2
Let l(m) be the third derivative of m**5/60 - 3*m**4/8 + m**3/6 - 2*m**2. Let n be l(9). Let k be (-6)/n*(-1 - 0). Solve k*a = 3*a for a.
0
Let x(c) = -3*c**3 - c**2 + 2*c - 1. Let s be x(2). Let p = s - -27. Solve -p*f + 0 = -2 for f.
1
Let h be 2/2*(3 - 9). Let k be 4/(-12) + (-44)/h. Solve 5*r = -k - 3 for r.
-2
Suppose -2*q - 6 = 0, -3*q - 15 = -0*j - 3*j. Suppose -7 = 4*z + 5. Let a be (z - 2)*1*-1. Solve -3*u = j*u + a for u.
-1
Suppose -5*r = 0, -3*d + 8 = -r - 10. Solve -c = -4*c - d for c.
-2
Suppose 2 = w - 1. Suppose -4*h - a + 16 = 0, -8 = h + 4*a + w. Let b = -13 + 21. Solve -b = h*y - 3*y for y.
-4
Suppose 0 = 3*q - 12 - 9. Solve -2*i + 20 = -q*i for i.
-4
Suppose h - 1 = -0*h. Let f be (0/3 + h)/(-1). Let y be 3*f*(-3 - -2). Solve y*b + 20 = -b for b.
-5
Let s = 22 + -12. Let k = s + -10. Let n = 8 + -4. Solve k = -a + n for a.
4
Suppose -4*q + 1 = -2*x - 25, 2*x = 2*q - 18. Suppose -g - 8*y = -3*y - 18, g + y = 6. Solve g - 11 = -q*z for z.
2
Let c = -15 - -57. Suppose 56 = 4*x + 5*o, 2*o = 3*x - o - c. Suppose 0*y = -y + t + 5, 4*y = t + x. Solve 0 = y*q - 3 for q.
1
Suppose -95 = -5*j + 5*t, 5*j = j + 3*t + 77. Suppose -5*x + j + 5 = 0. Solve -o = -2*o - x for o.
-5
Let j(u) = u - 8. Let p be j(10). Solve p = 3*y - y for y.
1
Let w be 4 - (5 + 4 + -5). Solve w = -5*r - 14 - 6 for r.
-4
Let m = 17 + -2. Suppose 2*u = 4*g - 12, m = -4*u - 0*g + 5*g. Solve -z + 4*z - 9 = u for z.
3
Let b(j) = -j**3 + 7*j**2 + 9*j. Let o be b(8). Let m = -5 + o. Suppose m*n - 18 = -0*n. Solve -5 = c - n*c for c.
1
Let m = 10 - 7. Suppose 0 = -0*f - m*f - 9. Let j be (0 - 1)*-1 - f. Solve -a + 2 = j for a.
-2
Suppose 3*i - 6*r + 6 = -3*r, 3*i + 2 = r. Solve z = -i*z + 5 for z.
5
Let m be (-1)/(1*(-4)/(-12)). Let o = m - -6. Let v(b) = b - 5. Let d be v(7). Solve o*u - d = 5*u for u.
-1
Let f = 16 - 10. Suppose -l = -f*i + 2*i + 15, -5*l = i - 30. Solve a = -4*a + l for a.
1
Let d = -1 - -6. Suppose d*u - 3 = 4*u. Let b(h) = h**2 + 1. Let z be b(0). Solve u*w - 4 = -z for w.
1
Let n be (-3)/6*(0 - 0). Suppose 0 = -v + 2 - n. Solve 0 = y - v*y for y.
0
Let n(u) = -u**3 + 8*u**2 - 2*u + 16. Let z be n(8). Solve z*i = 3*i + 3 for i.
-1
Let c(x) = x + 13. Let o = -19 + 10. Let s be c(o). Let m be (-2)/s*(-1 + -13). Solve -9 = 4*p - m*p for p.
3
Let q(w) = w + 11. Let j be q(-9). Suppose j - 5 = -g. Solve -2 = 2*t - g*t for t.
2
Let q = 8 + -5. Suppose -q = -2*p + 9. Solve 0 = -3*r - 0 + p for r.
2
Suppose -g = -2*g. Let b = -12 + 12. Suppose g*h - h = b. Solve h*o - 4*o = 0 for o.
0
Let v = -3 + 8. Suppose 4*y + 4 = 8*y, -30 = -2*a - 4*y. Let l = a - v. Solve -7*r = -l*r + 5 for r.
5
Let h(o) = -o**2 - 4 - 4 - 6*o + 6. Let t be h(-5). Let p be (0 - 0)/(-6 + 5). Solve p = -b + t*b + 6 for b.
-3
Suppose -2*n + 3*w = 0, 2*w = -4*n + 6 + 10. Solve n*p = 3 + 6 for p.
3
Let k be (1/10 - (-18)/45)*16. Solve -k = 5*i - i for i.
-2
Let v(m) = -m + 14. Let f be v(11). Suppose 11 = f*d - 1. Solve 2*b - b = -d for b.
-4
Let n = -3 + 3. Let c(i) = 2*i - 1. Let h(g) = g**3 + g**2 + 2. Let y be h(0). Let a be c(y). Solve 0 = a*p + 6 - n for p.
-2
Let j be (2 - (0 - -8))/(-2). Solve -j*t + 7*t = -4 for t.
-1
Suppose 0 = 3*y - y. Let p be -1 + 0 + 5/1. Suppose -2*o + p = -y, -3*j - 2*o + 28 = 0. Solve -2 = 3*b - j for b.
2
Let d(c) = -c**2 - 6*c - 4. Let q be d(-3). Solve -q*o + 11 = 1 for o.
2
Let l be (-8 - -13)*4/10. Solve -l*c - c + 12 = 0 for c.
4
Let n = 2 + 3. Suppose 52 = -n*x + 7*x. Let d(y) = y + 2. Let a be d(-2). Solve a = 5*o - 6 + x for o.
-4
Let w = -7 + 9. Let h(z) = -z**3 - 7*z**2 - 6*z + 2. Let k be h(-6). Suppose -k = b - 2*b, w*b + 4 = 4*f. Solve f*x + 0 - 10 = 0 for x.
5
Let m(v) = v - 3. Let r be m(7). Solve -r*z - 4 = -0*z for z.
-1
Suppose 0 = -a + 6*a. Let y(x) = -5*x**2 - 5*x + 6. Let k(n) = 4*n**2 + 4*n - 5. Let p(o) = 6*k(o) + 5*y(o). Let r be p(a). Solve -j - 2 = -r for j.
-2
Suppose -s + 2 = -0*s. Solve s*r + 2*r = -4 for r.
-1
Let i be (6/4 - 1)*-12. Let u(p) = p**3 - 6*p**2 - 6*p + 1. Let h be u(7). Let q = h + i. Solve -q + 4 = 2*k for k.
1
Let t(a) = a**2 + a. Let p be 3/((-2)/4*2). Let z be t(p). Solve -q + z = -3*q for q.
-3
Suppose -3*m + 25 = 2*m. Suppose 3*z + 0*p = -p + 10, 0 = m*p + 10. Solve -h + 0*h = z for h.
-4
Suppose -2*z - 4*y + 4 = -y, 10 = -5*y. Solve 2*x - z = -1 for x.
2
Let c be -1 - -18 - (9 - 7). Solve j - 4*j + c = 0 for j.
5
Let c(m) = m**2 + m**2 - 1 + 3 - 7*m + 2*m. Let v be c(3). Solve v*r - r + 12 = 0 for r.
-3
Let y(a) be the second derivative of 1/6*a**3 - 2*a**2 + 0 + a. Let p be y(7). Solve 2 - 5 = -p*s for s.
1
Let y(o) = o + 3. Let c be y(0). Let b(t) be the third derivative of t**4/4 + 3*t**2. Let l be b(c). Solve -8 = 2*m - l for m.
5
Let h = 52 + -36. Suppose h + 0 = 4*i. Solve -i*a - 2 = -18 for a.
4
Let r = -18 + 27. Let n be 14/10 - r/(-15). Solve -2*q - n*q + 8 = 0 for q.
2
Let b = 21 - 10. Solve -5*a - 31 = -b for a.
-4
Suppose 5*w - y = 15, -8 = -5*w - y - 3. Solve 0 = 5*x + 13 + w for x.
-3
Suppose -w - o = 1, -w + 3*o = -o - 19. Let p be 5/(-9)*-22 - 16/72. Solve w*y + p = -y for y.
-3
Let r = 0 - -2. Suppose -b - r + 3 = 0. Let m be 2*(b + (-9)/(-6)). Solve m*x - 5 = 5 for x.
2
Let q(n) = n**3 - 8*n**2 + 2*n - 11. Let x be q(8). Suppose 0 = x*u - 2*a - 14, -10 = -2*u - 2*u + a. Solve -4*h = -2*h - u for h.
1
Let t(r) = r - 2. Let d be t(5). Suppose -3*m - 5*w + 9 = -2*w, -4*m = 3*w - 14. Suppose 8 = m*z - z. Solve z + 1 = -d*c for c.
-1
Let l(j) = 2*j**2 + 5*j - 3. Let a be 15/(-3) + (0 - -1). Let o be l(a). Suppose -4*f + o = 3*v - 15, -5*f + 2*v + 7 = 0. Solve -f*m + 4 = -7*m for m.
-1
Suppose r + 3 = 2*r. Let f = 8 - 5. Solve -2*a = -r - f for a.
3
Let w(d) = d**2 - 2*d. Let n be w(0). Suppose 5*h - 2*h = n. Solve 5 = -h*l + l for l.
5
Suppose 0*v - 8 = v. Let x be 4*2/v*-2. Solve -3 = -f + x*f for f.
-3
Let z(h) = -h**2 + 14*h + 17. Let p be z(15). Let f = 15 + -9. Solve -p*g + 2 - f = 0 for g.
-2
Let a be 0*3/3 - -2. Let s = -1 - -16. Solve k = -a*k - s for k.
-5
Let q(z) = z**2 + 7*z + 6. Let n be q(-7). Let m be ((-3)/n)/(1/(-4)). Solve -2 = 4*k + m for k.
-1
Let w = -5 + 9. Let x(d) = -d**3 + 9*d**2 - 1. Let r be x(9). Let y be (w/r + 1)*-1. Solve -1 - y = 2*m for m.
-2
Let n be 21/4 + 3/4. Suppose 0 = -5*p + 26 - n. Suppose 1 = -3*u + p*f - 2, 2*u - 4*f = -6. Solve -u*h + 3 = 9 for h.
-2
Let p be (-128)/(-20) - 3/(-5). Suppose -4*t + p = -1. Suppose -4*q - q + 35 = 4*b, 0 = -5*b + 25. Solve j + t = q*j for j.
1
Let c be 1/(-1)*(0 - 0 - 2). Solve c + 1 = n for n.
3
Let m be 2/(0 + 4/10). Let r = -3 - -6. Solve 10 = r*u - m*u for u.
-5
Let z = 10 - 7. Suppose -2*n + 5 = -z. Suppose -4*q = d - 2*d - 1, -n*q - 3*d = 3. Solve q = 5*k - 3*k for k.
0
Let k(h) = h + 5. Let u be k(-3). Let y = u - 1. Suppose -5*p = -g - 21, 4*g = -3*p + 8*p - 24. Solve 5*q + p + y = 0 for q.
-1
Let h(d) = -d**2 + 4*d - 1. Let m be h(4). Let y(b) = 2*b**2 + 1. Let x be y(m). Solve -x = -2*f - 9 for f.
-3
Suppose -2*x + x + 3 = -4*z, 2*x - 18 = 4*z. Suppose -3 = 4*h - x. Let v be (-5)/(-3) - 2/3. Solve -s = v + h for s.
-4
Let q = -2 - -2. Suppose 0 = -5*r + 2*h - 2, -3*r + 2 = 2*r + 2*h. Solve r = -m - q*m + 4 for m.
4
Let c(f) = f**2 - 7*f + 6. Let u be c(6). Solve u = -d + 2*d - 2 for d.
2
Let o(u) = u - 4. Let d be o(7). Solve d*z = -0 + 6 for z.
2
Suppose 5*l - 6*l + 7*l = 0. Solve -3*p = -9 - l for p.
3
Let s(z) = -2*z - 2*z + 5*z + 7. Let g be s(-9). Let k be 0/g + (-15)/(-3). Solve -3*i = -k*i + 4 for i.
2
Suppose -6 - 3 = -3*z. Suppose z*m + 7 - 1 = -2*a, 2*a = 2*m - 6. Solve 0 = 2*q - 2 - m for q.
1
Let l be (-3 + (-72)/(-20))/(2/30). Solve l = 2*t + 1 for t.
4
Suppose -f + 4*f = 2*z + 1, z = -5*f + 6. Suppose 13 = 3*g + f. Suppose 0 = -3*u + 2*s + 14, -g*u + 11 + 5 = -2*s. Solve 0 = u*h - 3*h + 2 for h.
2
Suppose 0 = 2*o - 4 - 8. Solve o = -2*k + 4*k for k.
3
Let a(c) = c**3 - 6*c*