o.
2
Let z(u) = -6*u - 48. Let i be z(-9). Solve -d - 1 + i = 0 for d.
5
Let k(w) = 0*w**3 + 42 - 8*w**2 - 29 - w**3 + 10*w. Let x be k(-9). Solve -x*d = -5*d + 4 for d.
4
Suppose 60 = -0*m + 4*m. Solve -2*y - 3*y = -m for y.
3
Suppose 19*m - 30 = 13*m. Solve -m*x = -8*x + 15 for x.
5
Suppose 4*o = -0 + 8. Let j(g) = -4*g + 2. Suppose -2*v + 3*v = 5*d - 15, 21 = -3*v + 3*d. Let z be j(v). Solve o = -4*f + z for f.
5
Suppose 2*a + 22 = 4*g - 0*a, 0 = 5*g - a - 35. Let i = 3 + g. Solve i = 4*q - 1 for q.
3
Let h be (2 - -11) + 1 - 2. Suppose -o = -4*j - 0*j - 36, -h = -o - 2*j. Suppose -o = -5*c + 4*y, -c + y = 2*c - 12. Solve -c = -2*d + 2 for d.
3
Suppose -2*v - 6 = -a + 4*a, -a - 2*v = -2. Let i be (0 - 1/a)*4. Solve -g - i + 3 = 0 for g.
2
Let r(o) = -o**3 - 5*o**2 - 5*o - 1. Let b be r(-4). Suppose 4*x + b = -0*s - s, s + 3 = 0. Solve x*m = -2*m - 4 for m.
-2
Suppose 0 = 2*x + d - 6, 0 = -2*x - 7*d + 2*d - 10. Suppose 0 = x*j - 2*k - k - 72, 2*k - 47 = -3*j. Solve -a + j = 4*a for a.
3
Suppose 8 = 7*x - 6. Suppose -6*h = -x*h - 20. Let z = -4 + 6. Solve -z*a + h = -a for a.
5
Let m(g) be the second derivative of -g**4/24 + g**3/3 - g**2 + 3*g. Let u(p) be the first derivative of m(p). Let q be u(0). Solve 0 = -q*j - 3*j - 15 for j.
-3
Let y = -14 - -17. Let n be (-28)/(-3) - 2/(-3). Suppose -9 + 4 = -z. Solve z*d - y*d = -n for d.
-5
Let o(k) = -7*k + 8 - k**3 + 2 + k**2 + 7*k. Let z be o(0). Solve -h = h + z for h.
-5
Let s be 2/(-15) - -4*32/60. Solve 3*a - s = 1 for a.
1
Suppose -2*i + 13 = -17. Suppose 5*d - 25 = i. Solve -3*j - 1 - d = 0 for j.
-3
Let s be ((-2)/1 - -2) + 4. Suppose 5*g = -20, s*w + 4*g + 4 = -0. Suppose 3*h - l = 4*h, 2*l - 2 = -w*h. Solve 0*y = -2*y - h for y.
-1
Suppose 5*u + 5 = 30. Suppose 4*o + 0*h + 25 = u*h, 3*o = -5*h + 25. Solve o*r = -4*r + 16 for r.
4
Let i = 110 + -105. Let k(l) = -l**3 + 4*l**2 + 3*l - 4. Let f be k(4). Solve -f - 2 = -i*h for h.
2
Let y = 26 + 18. Suppose -d - 6*w + 30 = -w, -2*d - 2*w = -y. Solve 2*t = 6*t - d for t.
5
Let n(i) = 2*i - 7. Let v(l) = l**2 - 7*l. Let w be v(8). Let h be n(w). Solve 4*y = y - h for y.
-3
Let r(i) = i**3 + 4*i**2 - 2*i - 4. Let j be r(-4). Let c be 1/(-4) + 17/j. Solve 12 = c*q + 4 for q.
2
Suppose 3*z - 16 = -10. Solve x + 1 = z*x for x.
1
Let p(x) = 34*x - 1. Let f be p(-1). Let i be (-14)/f*10/2. Suppose -i*w = 5*l - 24 + 1, 2*w = -2. Solve l*y - 2*y = 6 for y.
2
Let q be -1*(-3)/(-12)*-4. Let h = 4 + q. Solve h*u = 3*u + 6 for u.
3
Let m be 4/6*(8 - -1). Let i be ((-3)/(-2))/(m/16). Let z = i + -2. Solve u + 6 = z for u.
-4
Suppose 0*f = -4*f + 64. Solve -4 - f = -5*y for y.
4
Suppose -9 = -u + 2*u. Let a be ((-2)/1 - u) + 0. Solve 3*k = -2 - a for k.
-3
Let l be 312/143 - (-2)/(-11). Solve l*u + 2 = -4 for u.
-3
Let s(k) = -2*k - 19. Let l be s(-12). Solve -15 = -5*z + l for z.
4
Suppose 14*r - 16*r + 8 = 0. Let v = -4 - -11. Solve v*g = r*g - 3 for g.
-1
Suppose 12*g - 48 = 4*g. Solve 20*c = 22*c - g for c.
3
Suppose 9*p - 16 = p. Solve -p*t + 7*t = 0 for t.
0
Suppose 5*i + 7 - 19 = 4*v, 0 = -3*i + 3*v + 6. Let u be (-5)/(-2) - 1/2. Solve u*w = i - 8 for w.
-2
Suppose 0 = -2*r + 2, -3*r = -3*m - 5*r + 17. Solve -m*f - 8 = -3*f for f.
-4
Let g(f) = -8*f**3 - 1. Let r be g(1). Let t(a) = 4*a - 4. Let n be t(4). Let o = r + n. Solve o*p + 3 = -9 for p.
-4
Suppose 4*p - 6 = -58. Let o = p + 20. Solve 2*v - o*v - 25 = 0 for v.
-5
Let x(s) = 2*s**3 + s**2 - s. Let p be x(1). Solve 0 = 2*n + p + 8 for n.
-5
Let z(d) be the third derivative of -d**6/60 + d**5/60 + d**4/24 - d**2. Let a(k) = k**2 - 10*k + 15. Let f be a(8). Let c be z(f). Solve -20 = 2*i + c*i for i.
-5
Let o be (-8)/(-4) - 0/2. Let q = o + -4. Let p be (-3 - -3)/(0 + q). Solve p = -3*t - 1 - 2 for t.
-1
Let w(l) = l**3 - 3*l**2 - 3*l + 2. Let r be w(4). Let d(k) = -k + 6. Let q be d(r). Suppose 3*i - 3*f = -6, -3*i + 14 = -q*i + 2*f. Solve i*j - 2 = 3*j for j.
-2
Let c be (-648)/2 - (0 - -2). Let h be c/(-14) - 8/28. Suppose x = -a + 2*a - 17, -3*x - h = -a. Solve -2*p + a = 6 for p.
4
Suppose -4*z = 16 + 28. Let o = 15 + z. Solve o*s + 5 = -3 for s.
-2
Let v = 18 - 12. Let s be (v/10)/(4/20). Suppose s*n = 7*n. Solve -p + 2 = -n for p.
2
Suppose 9*q = 4*q + 25. Solve 2 = q*u + 7 for u.
-1
Suppose 2*m = -4*f + 6, 0 = -2*m - 1 - 5. Suppose -x + 13 = -f*u, 2*u = 4*u + 8. Solve 0 - x = -a for a.
1
Let i(x) be the second derivative of -x**4/12 + 3*x**3/2 - 4*x**2 - x. Let v be i(8). Solve -4*r = -v*r - 4 for r.
1
Let v(l) = -l**2 + 3*l**2 - 3 - 3*l**2 - 4*l + 8*l. Let h be v(2). Solve -3*b + h = -5 for b.
2
Let u = 194 - 192. Solve -7*v + u*v = -20 for v.
4
Let j be (130/(-6))/(-5)*3. Suppose 0 = 10*y - j*y + 12. Solve -y*a = -a + 9 for a.
-3
Suppose 24 = 24*n - 20*n. Solve n = -2*t - 0*t for t.
-3
Let a(n) = n**2 - 5*n + 1. Let o be a(4). Let v be ((-2)/5)/(o/(-360)). Let t be v/(-27) - (-4)/18. Solve 0 = -3*m + 2*m + t for m.
2
Let l(q) = -q**2 + q - 2. Let z be l(-2). Let v = z - -9. Solve -3*b + 5 + v = 0 for b.
2
Suppose 0 = -2*a + 4*u - 8, 16 = 5*a - 20*u + 22*u. Let x(t) = t - 5. Let o be x(5). Solve -c - a*c - 15 = o for c.
-5
Suppose i - 6*i - 3*y = 77, 4*y = 5*i + 49. Let v(c) = -c**3 - 12*c**2 + 14*c + 15. Let k be v(i). Solve 0 = -k*d + 6*d - 20 for d.
5
Let u(f) = f**3 + 4*f**2 - 3*f + 1. Let a be u(-4). Let n = -7 + a. Let t(r) = r - 2. Let s be t(n). Solve 7 = -s*w - 13 for w.
-5
Let w(j) = j - 4. Suppose -1 = 2*u - 13. Let t be w(u). Let o = 1 + 14. Solve -z - t*z - o = 0 for z.
-5
Let p = -6 - -8. Suppose -2*n = -3*j + 48, n = -p*j - 0*n + 32. Suppose -3*x = -8*x. Solve 4*m + x - j = 0 for m.
4
Let t be ((-2)/3)/((-10)/15)*0. Solve d + t*d + 2 = 0 for d.
-2
Let p be ((-12)/(-2))/(-2)*(-3 + 2). Solve -p = -4*b + 13 for b.
4
Let s(k) = -2*k**2 - 17*k - 7. Let c be s(-8). Let o be c + -1*12/(-4). Solve o*b + 0*b = -16 for b.
-4
Suppose 4*f + 16 = 3*x - x, 4*f + 20 = 4*x. Suppose 4*t + 7 = x*t + 3*y, t + 11 = 3*y. Suppose -t*c - 16 = -8*c. Solve -c*r + 2*r = 8 for r.
-4
Let c = -17 - -24. Solve 8 + c = 3*k for k.
5
Let z(y) = -y - 16. Let v be z(-19). Let c = 1 - 1. Solve c*a = -3*a + v for a.
1
Let w = -5 - -8. Let u = -26 - -46. Solve -w*l + u = l for l.
5
Suppose -a + 0 = -6. Suppose -5*t - 3 = -k, 5*k - 9 - a = 3*t. Solve 2*p - 4 = -t*p for p.
2
Let z(u) = -u**3 - 5*u**2 + 3*u + 2. Let v be z(-6). Solve -v = 4*y - 8*y for y.
5
Let t be (-3)/6 + 13/2. Suppose 2*r + 2*r = 0. Let h = t - r. Solve -2 = -4*l - h for l.
-1
Let j = 53 + -48. Solve -3*c = -4 - j for c.
3
Suppose -2 = -2*b + 16. Solve -2*y = y - b for y.
3
Suppose -t = 2*t + 3. Let w be t - (0 - 4) - 3. Solve q = -w*q + 4 for q.
4
Suppose 0*p - 18 = 2*z - 3*p, 2*p + 9 = -z. Let t be -2*2/(-4) - z. Solve 5*a = t - 0 for a.
2
Let o = 44 - 44. Solve o = 2*g - 0 - 2 for g.
1
Suppose 5*c + 0*c = 10. Let b(g) = g**3 - 6*g**2 - 6*g - 5. Let j be b(7). Suppose 10 = 3*h + 4*x, c*h - 2*x - 20 = j*x. Solve w = h*w for w.
0
Let u(h) = -h + 7. Let p be u(8). Let q be -5*(-1 - -2)/p. Suppose -w = -2*w + q. Solve l + w = -0 for l.
-5
Let w(j) = -j**2 - 3*j - 6 - 6*j + 0*j**2. Let v be w(-8). Solve -v = i + 1 for i.
-3
Let i be -3 - 1/(2/12). Let j = i + 19. Solve -d = 4*d - j for d.
2
Suppose -3*a + 38 = 2. Let q = a + -10. Solve -7 = q*o + 3 for o.
-5
Let l be 0/(-6) - (-1 + -2). Suppose -c + 0*c = -l. Solve -c*v + 6 = -6*v for v.
-2
Suppose 3*z - 9 = -3*a + 15, 0 = 4*a - 5*z - 14. Solve 0 = -2*r + 4 + a for r.
5
Suppose 0 = -3*b + b. Suppose 3*j + 0 + 6 = b, -5*j - 9 = -p. Let r be -1*(7*-1 + p). Solve d = 3*d + r for d.
-4
Let p(v) = v**2 - 3*v + 2. Let x be p(2). Let h(m) = -m**2 - 10*m - 11. Let o be h(-8). Suppose s + 0*s = 15. Solve x*q = o*q + s for q.
-3
Let b(y) = -y + 2. Let a be b(-5). Let d = -4 + a. Solve -5*s = -d*s + 4 for s.
-2
Let r = 3 - 3. Let y(c) = c**2 - 4*c - 11. Let v be y(-3). Solve r*a - 5*a = v for a.
-2
Suppose 2*x + 1 - 9 = 0. Solve -6 = -x*u + 2 for u.
2
Let i be 17/(-2) - (-2)/4. Let x = i - -13. Suppose 5*y = 2*y + 9. Solve x = 2*u + y*u for u.
1
Let z be (-36)/8*(-6)/9. Let w = z - 3. Suppose 0*k + 7 = m - k, w = -4*k. Solve -3*h - 4 = -m*h for h.
1
Suppose 7*g - 4*g - 15 = 0. Solve -3*o - g = -4*o for o.
5
Let y(v) = 2*v + 3 + 0 - v + 0*v. Let n be y(4). Let j be n/2 + 2/(-4). Solve a = -j*a for a