*u for u.
-2
Let j be (-10)/(-35) + (-6)/21. Solve -o - 1 = -j*o for o.
-1
Let k = -18 - -22. Suppose -v = k, -43 = -4*o - 2*v - 3. Solve -o = -4*y + y for y.
4
Let v be 2*6/(-4) - -8. Suppose 0 = -k + v*k. Let u(o) = o + 4. Let a be u(k). Solve -a*t + 1 = -19 for t.
5
Suppose 0*b - b - 3 = 2*a, 2*a = 4*b - 18. Let c = b + -3. Let s be 0 - (c - -2)/(-1). Solve s*h = -0*h for h.
0
Suppose 3*b - 2*c - 64 = 0, 0*c = -b + 2*c + 16. Suppose -b = -3*v + q - 6*q, 27 = 5*v + 4*q. Suppose -5*h = v - 13. Solve -1 = -n + h for n.
3
Suppose 3*u = r - 13, 4*r - 4*u + 2 = 30. Let d be 5 - (-2 + 0 + r). Solve d = n - 2 for n.
5
Let z(r) = r**2 - 4. Let o be z(3). Solve -o + 0 = v for v.
-5
Let j(y) be the second derivative of -2*y**2 + 0 - 1/12*y**4 - 5/6*y**3 + 3*y. Let m be j(-3). Solve -m*k + 4*k = -6 for k.
-3
Let g be 8*(6/(-4))/(-3). Solve 8*y = g*y - 12 for y.
-3
Let t = -2 - -4. Let n be t*3/((-6)/(-4)). Solve n*o = -o - 10 for o.
-2
Let q(a) = 6*a**2 + 2*a. Let r be q(-3). Suppose 4*x - 3*n - n - r = 0, -n = -3*x + 42. Solve 9*d - x = 4*d for d.
3
Let z = -29 + 32. Solve -z*n + 8 = -1 for n.
3
Let s(z) = 2. Let d(v) = -v + 2. Let l(p) = -2*d(p) - 6*s(p). Let j be l(11). Let a = j - 4. Solve r + a = -0 for r.
-2
Let o = 2 - 0. Suppose f = o*f - 4. Solve f*c = 4 - 20 for c.
-4
Let y be 4 - 1 - (0 + 0). Let r(o) = 5*o**2 + 2. Let m be r(2). Let u = m + -10. Solve n + u = -y*n for n.
-3
Suppose -5*m = 5*t - 2*t - 37, 5*m + t - 29 = 0. Suppose 0 = c + 3*d - 1, 2 = -c - m*d - 3. Solve z = 3*z - c for z.
5
Suppose 0 = 3*w - 0*w - y - 11, -4*w + 21 = 5*y. Solve w*c = 10 - 2 for c.
2
Suppose -15 = -4*k - k. Let v be (-48)/(-18) - 2/k. Let m be (-1 - -3) + 2*v. Solve s - m = -3 for s.
3
Let m(v) = 3*v**2 + v. Let z be m(1). Let g be z*((-9)/(-6) + -2). Let s be 7 + -10 + (-8)/g. Solve 3*h = -s - 14 for h.
-5
Let s = -140 - -143. Solve 15 = -0*w + s*w for w.
5
Let i = -3 + 8. Suppose -3*y = -9, -i*k + 20 = -k + 4*y. Let s be ((-3)/15)/(k/(-10)). Solve -b - 2 + s = 0 for b.
-1
Suppose b - c - 1 = 0, -c = 4*b - 3*b - 7. Solve 11 - 3 = -b*q for q.
-2
Let h(w) = -w - 1. Let t be h(-5). Solve -t*z + 0*z = 4 for z.
-1
Suppose -3*w + 32 = -1. Solve -w = -3*l + 4 for l.
5
Let r be 0/((0/3 - -2) + 0). Solve r = 2*s - 8 for s.
4
Suppose -5*v + 135 = -45. Let h be ((-2)/(-6))/(3/v). Solve -4 = -0*m + h*m for m.
-1
Let h = 21 - 16. Solve h*z = 3*z + 6 for z.
3
Let s = 23 + -23. Solve v + s = 3 for v.
3
Suppose -3*b = -4*g - 21, 2*g = b + 4 - 13. Let n = -3 + b. Solve -3 + n = -3*j for j.
1
Suppose 3*q - 4 = 8. Solve 1 = -q*y - 3 for y.
-1
Suppose g + 25 = 5*h + 3, 4*h - 23 = -g. Solve 2*y = g*y for y.
0
Suppose -u = -4*z - z - 25, 0 = -3*u - 3*z - 15. Solve 3*r = -u - 6 for r.
-2
Let t = 3 + -6. Suppose -6*o - 21 = 3*n - 2*o, -4*o - 15 = n. Let p = t - n. Solve p*c = c + 3 for c.
-3
Let c(s) = -s**2 - 30*s - 62. Let p be c(-27). Solve 4*y + p = 7 for y.
-3
Let u be (-3)/6 + 31/2. Let y be 0/(3/1 + -2). Let v = 2 + y. Solve v*c - u = -c for c.
5
Suppose -5*p - 5*v + 105 = 0, -90 = -5*p - 4*v + 2*v. Suppose 0 = -4*r - p, -2*s - 2*r + 4*r = -14. Solve s*w + 2 = 14 for w.
4
Let m = -2 + 15. Solve 3*j - m = -1 for j.
4
Let b be (-5)/(-2) - 13/(-26). Solve -4*r = b + 9 for r.
-3
Let m(d) = d**3 + d**2 + d + 22. Let z be m(0). Let s be z + 0 + -2*1. Suppose s = -0*g + 4*g. Solve g*k - 11 = -1 for k.
2
Let a(c) = c**3 - 13*c**2 + 12*c. Suppose -13 = 2*u - 1. Let t(m) = m**3 + 6*m**2 - 2*m. Let v be t(u). Let z be a(v). Solve 0 = -3*y + 15 - z for y.
5
Let s be (2/5)/(2/10). Let o = -39 - -42. Solve o*n = s*n - 4 for n.
-4
Let i be -1*-1*4*1. Suppose i*x = -x. Solve -j = -x*j for j.
0
Let c be (0 + -16)*3/(-4). Let q be 206/14 - c/(-42). Let n be 18/5 - 9/q. Solve o = n*o for o.
0
Suppose -4*j = -f - f + 2, -2*f + 2 = 3*j. Solve j + 12 = 3*t for t.
4
Suppose 0*o = -2*o - 64. Let c be -4 - o/((-16)/(-4)). Solve c*r = 8*r + 16 for r.
-4
Let h(w) be the second derivative of -w**4/12 - w**3/3 - w**2/2 + w. Let j be h(-2). Let i be (3/6)/(j/(-6)). Solve i*u + 12 = -0 for u.
-4
Let k(i) = i**3 + 19*i**2 - 21*i - 9. Let p be k(-20). Solve 12*j - p*j = -4 for j.
-4
Let u be (3/(-2))/((-21)/224). Let t = u + -14. Solve -t = -5*l + 3*l for l.
1
Let y(b) = 4*b - 23. Let k be y(6). Solve -3*o = k - 4 for o.
1
Let z be 0/((-1 + -1)/(-2)). Suppose -3*t + 16 = -2. Solve -t = -z*v + 2*v for v.
-3
Let k be -4*-3*4/12. Suppose -k*v + 1 = -5*a, -5*v - 8 + 22 = -2*a. Solve -4 + 24 = -v*x for x.
-5
Let s(z) = -3*z. Let q be s(-1). Let y(j) be the first derivative of 7*j**2/2 - 5*j - 2. Let x be y(4). Solve x = -5*f + q for f.
-4
Suppose 3*m - 44 = 3*b - 2*b, 0 = 5*m + 2*b - 77. Suppose -5*v = -0*v - m. Let d(p) = p**2 + 2*p - 3. Let r be d(-3). Solve -v*s = -r*s + 3 for s.
-1
Suppose 4*m - 19 = -3*a, 2*a = -0*a - 2*m + 12. Let c = 10 - 6. Suppose -8 = -4*h - 4*y, 4*y = 5*h - y. Solve c*n + h = a for n.
1
Let k be 16 - 3/((-6)/4). Suppose k = 5*d - 3*o, -4*d + 3*o + 2*o = -17. Let y(t) = t**2 + t + 4. Let j be y(-3). Solve d*l = l - j for l.
-5
Suppose 4*a = 2*t - 40, -a - 6 + 41 = 2*t. Let i = t + -18. Solve -2*z + i - 2 = 0 for z.
-1
Let k(j) be the first derivative of j**3/3 - j - 1. Let y be k(1). Solve 3*p - p + 4 = y for p.
-2
Let x(u) = 4*u**2 + u. Let g be x(-1). Let h(p) = -2*p**2 + p. Let s be h(0). Solve s = -b - g*b + 16 for b.
4
Suppose 3*s = 74 + 7. Suppose 2*i + o - 5 = 0, 7 = 4*o + s. Suppose 0 = -23*x + 21*x + 28. Solve -i*j - 11 - x = 0 for j.
-5
Suppose 0 = -3*b + 6, 0 = 4*x - 2*b - b + 22. Suppose -2*d + 4 = -4. Let o = x + d. Solve -v = -o*v + 2 for v.
-2
Let f(g) = g**2 + 3*g - 4. Let r be f(-4). Let k(o) = -o**3 + 4*o**2 + 3*o + 4. Let a be k(4). Let q = 17 - a. Solve -s + r = q for s.
-1
Suppose -8 = -7*c + 3*c. Solve 3*l + 4 = c*l for l.
-4
Let h = 50 + -27. Suppose -h = -2*q - 5. Let g be ((-6)/5)/(q/(-30)). Solve 5*c - c + g = 0 for c.
-1
Let c = 9 - 6. Let q be (-205)/(-15) - 2/c. Solve -q = -5*l - 3 for l.
2
Let c be (18/(-21))/((-1)/7). Solve 3*d - 12 = c*d for d.
-4
Let t(k) = -k - 2. Let u be t(-6). Solve -4 = -5*f + u*f for f.
4
Let x = 125 + -116. Solve x*i = 8*i - 2 for i.
-2
Let r = -1 - 0. Let t(p) = p + 5. Let m be t(-6). Let b be (2 + (m - r))*1. Solve 10 = -0*g + b*g for g.
5
Let l(v) be the third derivative of v**5/30 + v**4/8 + 3*v**2. Let g be l(-2). Solve g*d + 5 + 3 = 0 for d.
-4
Let u be (-14)/(-91) - 111/(-39). Solve 4 = 2*a - u*a for a.
-4
Let s(z) = z**2 - z + 7. Let d be s(0). Let v(g) = g - 2 + 2 - 5. Let j be v(d). Solve -j*u = u - 9 for u.
3
Let h(m) = -m**2 + 5*m - 2. Let x be h(3). Solve -x = 3*f + f for f.
-1
Let p(y) = -y - 3. Let h be p(-6). Suppose 0*o = 4*i + 2*o, 0 = 4*i + o. Solve h*k + 8 - 2 = i for k.
-2
Let t = 105 - -10. Suppose 6*v = -4*z + 4*v + 62, 5*z - 5*v = t. Solve -5*y + z = -2 for y.
4
Let m be (-12)/3*(-3)/6. Solve m*z = -2*z + 12 for z.
3
Suppose 2*j - 8 = p, 2*j - 3*j + 7 = p. Let o be (3 - 1) + 2/2. Solve -o*i + p = -i for i.
1
Let w(v) = 2*v**3 - 3*v**2 - v - 4. Let n = 6 + -3. Let m be w(n). Suppose 0 = -5*c - m + 60. Solve -4*k - c = -0 for k.
-2
Let c be ((-1 - -1) + -1)*-2. Let r be (4/c)/(0 - -1). Solve -2*v + 10 - r = 0 for v.
4
Suppose 0 = -4*i + v - 2*v + 12, 4*i = -5*v + 28. Solve -2*p + i = -0*p for p.
1
Suppose -23 - 27 = -5*m. Let r = -10 + m. Solve r = 4*l - 0 + 16 for l.
-4
Suppose 3*f - 17 = -5*t + 12, 0 = 2*t - 4*f + 4. Let w(k) = -4*k**3 - 3*k**2 + 3*k. Let y be w(2). Let h be y/(-4) + (-3)/6. Solve 0 = -c + t*c - h for c.
3
Let m = -9 + 13. Suppose 0 = 2*t - r - 3 - 5, -m*t - r = -16. Solve -t*a - 8 = -0 for a.
-2
Suppose -1 = -2*r - r + 2*a, 2*a + 4 = 4*r. Solve r*i - 7 - 5 = 0 for i.
4
Let k be 4/3 + 12/18. Solve j + k*j = -15 for j.
-5
Let z = 19 + -16. Solve 0 = z*c + c for c.
0
Let x(k) = -k**2 + 12*k - 8. Let j be x(11). Suppose 2*p - 25 = -j*p. Solve -b - p = -0 for b.
-5
Suppose -x - 2*x - 2*y = 19, 17 = -5*x + 4*y. Let l = x - -9. Solve 0*o - 20 = -l*o for o.
5
Let u(d) = d**3 - 9*d**2 - 10*d + 2. Let n be u(10). Suppose -57 = -4*b - 17. Let a = b - 7. Solve n*c - a*c = -3 for c.
3
Suppose 0 = -4*o - 5*i + 25 - 2, 5*i - 7 = 4*o. Let v be (-3)/(o + -5) + 1. Let u = 14 + -8. Solve u*w = 5*w - v for w.
-2
Let g(i) = -6*i**3 + 2*i**2 + 2*i + 1. Let r be g(-1). Solve -2*b = -r*b + 20 for b.
4
Supp