u = 5*u + 4 for u.
-2
Let u be 1/(-5) - (-8622)/(-90). Let p = u + 104. Solve c + 5 = p for c.
3
Let y be (-8 + 104/12)*(-6)/(-2). Let h = 7 + -1. Suppose -h*d + 6 = -3*d. Solve y = d*l - 0 for l.
1
Suppose -d = -203*b + 200*b - 269, 5*d + 5*b - 1245 = 0. Solve 14 = 261*o - d*o for o.
2
Suppose 1105*r - 1117*r + 36 = 0. Solve -c + r*c = -2*c for c.
0
Let d(q) = q + 1. Let k be d(-4). Let z(h) = -2*h**3 - 3*h**2 + 2*h. Let n be z(k). Suppose 2*i = -3*b, 3*i - 4*b - n = -4. Solve -9 - 6 = -i*y for y.
5
Let l be 16*-1 + -7 + 4. Let u = 1 - l. Solve -o + u = -5*o for o.
-5
Let w(j) = 48*j - 8. Let d be w(1). Suppose -7*i = -12*i + d. Solve i*r = 4*r for r.
0
Let l = 76 + -50. Solve 6*s - 8 = -l for s.
-3
Suppose -20 = -4*z - 3*c, -2*z + 2*c + 10 = -0*c. Solve 6 = s + z*s for s.
1
Suppose -16 = -2*q - 2*u, 0 = 4*q + 12*u - 13*u - 12. Solve 3*l - l + q = 0 for l.
-2
Let u be -7 + 24/(-2 + 5). Solve l - 2*l = -u for l.
1
Suppose -5*q + 1 = -9. Suppose -10 = -2*h + y - 0, 0 = 4*y + 16. Solve q*d = -d - h for d.
-1
Let d(h) = -5*h + 47. Let y be d(10). Suppose -z - 4*z = -65. Let g = y + z. Solve g = 3*s + 1 for s.
3
Let l(f) = -5*f**2 - 18*f - 17. Let u(y) = -y**2 - y - 1. Let b(w) = l(w) - 4*u(w). Let z be b(-13). Let n be (-2)/30*-66 + (-3)/(-5). Solve -n*i = -z*i for i.
0
Suppose 0 = u - 4 - 1. Suppose 10 = -u*g + 25. Solve 0 = g*s - 5*s for s.
0
Let c be 0/1*4/(-4). Let u = 2 + c. Let m = -80 + 82. Solve b - m = u for b.
4
Let x(b) = -b**3 + 5*b**2 - 2*b - 6. Let d be x(3). Suppose -d*n = -2*n. Let s = -3 - -5. Solve n = s*q + q - 3 for q.
1
Let h = 23 - 14. Suppose -h - 1 = -2*g. Suppose 0 = -4*s - z + 3, -g*s + 0 + 35 = -5*z. Solve -s*q + 15 = q for q.
5
Let r(q) = 8*q**3 + q**2 - q. Let z be r(1). Suppose 5*f = s + 14 + 2, -z = 2*s - 4*f. Let g be (-108)/(-117)*52/8. Solve -s*x + g = -7*x for x.
-2
Let k = 45 - 40. Suppose -k*i + 20 = -i. Solve -v + 2 = i for v.
-3
Let b(h) = -7*h + 16. Let i be b(2). Suppose 3*a + i*l - 6 = 0, 3*l = 2*a - 2*l + 15. Solve -2*d - 6 = -a for d.
-3
Let h be 1/(-3) - (-80)/24 - -15. Suppose 14*y = 5*y + h. Solve -v + y*v = 1 for v.
1
Let n = 151 + -142. Solve 10*h - 7*h + n = 0 for h.
-3
Let b = -58 - -55. Let z(i) = -i - 1. Let w be z(b). Solve -g = -2 - w for g.
4
Let m = -15 + 9. Let g = 9 + m. Let o be -3*(g - 40/12). Solve -o = -3*z + 2*z for z.
1
Let s(v) = v**3 + 5*v**2 + 5*v + 4. Let a be s(-3). Suppose 44*q - 84*q = -160. Solve 3*z - a*z = q for z.
-1
Let x(k) = k**3 + 4*k**2 - 3*k - 9. Let z be x(-2). Solve z*c - 82 = -67 for c.
3
Let d = -4 - -9. Let a(i) = -3*i**2 - 15*i + 1. Let g be a(-5). Suppose 4*r = -3*m + 15, -r + 2*m - g = -2*m. Solve d = 4*l - r for l.
2
Let n be (-12 - -14)/((-4)/30). Let u = n - -14. Let a = u - -6. Solve 5*f - a + 0 = 0 for f.
1
Suppose -b = 5*i + 18, -4 - 6 = -3*b + i. Solve b*g + 0*g = 0 for g.
0
Suppose 7 = 5*a - 3. Suppose -t + a*t + 2*b = -6, -3*t + 4*b = -32. Suppose -t*y = -3*y - 3. Solve 2*c - y*c + 5 = 0 for c.
5
Let m(i) = -i**3 + 3*i**2 + i - 2. Let p be m(2). Let v(f) = -14 + p - 6*f + 3*f. Let l be v(-6). Solve -17 = -5*d + l for d.
5
Suppose -4*m = -4*p + m - 41, 3*p + m + 7 = 0. Let q be (-4)/p*3*3. Solve -5*r = q + 1 for r.
-2
Suppose 0 = 4*t + d - 5, -t + d - 6*d = -25. Solve u + t*u + 1 = 0 for u.
-1
Suppose 0 = -5*r + 10, -b = -0*b + 4*r - 12. Solve -b*o = -6*o + 4 for o.
2
Suppose 0*z - z = 5*i - 22, -4*i = -2*z - 12. Suppose 5*b = -3*g + 14, -8*b = -5*b - 3. Solve -g*s - 19 = -i for s.
-5
Suppose -4*m = 3*b - 214, 19*b - 2*m = 24*b - 366. Solve -2*q + b = 64 for q.
5
Let w(a) be the third derivative of a**6/120 + a**5/12 + 5*a**4/24 - a**3 + 7*a**2. Let x be w(-5). Let g = x - -36. Solve -1 - 24 = g*r for r.
-5
Let a be (-18)/(-12) - (-159)/(-6). Let t = 37 + a. Suppose t = 3*o - 2*o - 4*v, 90 = 5*o - 5*v. Solve -3*k - o = 2*k for k.
-4
Let i(h) = h**2 - 4*h - 6. Suppose 12 = -m + 3*m. Let a be i(m). Solve 2 = -q + a for q.
4
Suppose -387 = -5*h - 5*o + o, 0 = -3*o + 9. Solve -70*x = -h*x - 5 for x.
-1
Let o = 10 - 6. Suppose -w - 2*y + 38 = 2*w, y - o = 0. Suppose w*g - 4 = 8*g. Solve -9 = g*n + n for n.
-3
Let r be (-14)/2 - (10 - 58). Solve -13*y - r = -2 for y.
-3
Let o = -376 - -379. Solve -o*j = -2*j + 3 for j.
-3
Let c(k) be the second derivative of k**5/20 + k**4 + 10*k**3/3 + 2*k**2 - 43*k. Let q be c(-10). Solve 0*t - 4 = q*t for t.
-1
Suppose 3*i - 68 + 11 = 0. Suppose 5*z = -4*r + 50, 4*z = 4*r - 13 - i. Let j be r/6*(8 + -5). Solve -j*w = -w for w.
0
Let q(k) = -k**2 + 6*k - 2. Let v be q(5). Suppose 5*x = -v + 18. Solve -3*s - x = -4*s for s.
3
Let j be 3/(-7 - -1)*(-1 - -1). Suppose 3*h - 1 = -i, h + h + 2*i + 6 = j. Solve h*s + 10 = -3*s for s.
-2
Let w(p) = 3*p + 11. Let y be w(-5). Let k(l) = l**3 + 2*l**2 - 10*l - 8. Let a be k(y). Solve -5*v + 4*v + 4 = a for v.
4
Suppose 0 = 11*o - 58 + 14. Solve o*g = -4*g for g.
0
Let x(p) be the second derivative of -p**3/3 - p**2/2 + 4*p. Let k = -15 - -14. Let s be x(k). Solve -z = 3 - s for z.
-2
Let o = 1 - -2. Let c(m) = -m - 9. Let f be 11/(-2)*2/1. Let w be c(f). Solve -o*u = w*u for u.
0
Let p(t) be the first derivative of -t**3/3 - t**2/2 + 7*t - 1. Suppose 0 = 4*u + 16, 5*h = 2*h + u - 5. Let n be p(h). Solve -j = -n - 1 for j.
2
Let x = -5 + 7. Suppose -4*s = 2*s. Solve x*y + y = s for y.
0
Let o be 1*23 - (-711)/(-79). Solve 12 = -o*w + 18*w for w.
3
Let g(h) be the second derivative of -h**3/3 - 21*h**2/2 + h. Let o(i) = -i**2 - 5*i - 6. Let d be o(-6). Let f be g(d). Solve 0 = f*z - 20 + 8 for z.
4
Let r be -4*1*33/12. Let k = r + 11. Suppose 2*i - 5 = -2*c + 7, k = -4*i. Solve -c = -4*p + 10 for p.
4
Let t(n) = -n**3 - 2*n + 1 + 1 + 177*n**2 - 173*n**2. Let j be t(3). Suppose 4*u + 2*z = 33 - 9, -j*u - 5*z = -40. Solve -u*m + 0*m = -12 for m.
3
Let x = -256 - -259. Solve -x*a = 3*a for a.
0
Suppose 3*o - 3*j = 24, -53*o + 48*o - 5*j + 30 = 0. Solve -o*y - 1 = -8 for y.
1
Let i(a) = -6*a + 102. Let w be i(16). Solve w = -4*v + 2*v for v.
-3
Suppose 4*v + 4 = -2*n, -2*n + 3*n + 6 = -3*v. Solve 0*p + n = -2*p for p.
-3
Suppose -8 = 2*p - 6*p - 4*m, 4*p - 5*m = -10. Solve -u + 2 + 2 = p for u.
4
Suppose -48*v + 4023 = -921. Solve v*k - 2 = 104*k for k.
-2
Suppose -5*d - 23 = -3*u, -4*d - 14 = -26*u + 24*u. Solve -4*n + 9 = -u for n.
5
Let k be ((-4)/(-1))/(-3 - -5). Let d be (k/4)/((-2)/48). Let b = d + 14. Solve h - b*h = 5 for h.
-5
Suppose -5*i + 15 = 5*u, -u = -2*i + i + 3. Suppose 5 = 4*r - i. Let f = 0 - -6. Solve -r*a + 4*a = -f for a.
-3
Let p(h) be the second derivative of h**3/3 + 3*h**2 + 4*h. Let g be p(-6). Let b = g - -9. Solve -f = -b*f - 4 for f.
-2
Let c be (6 - (-114)/(-18))*-27. Solve -3*h - 3 = -c for h.
2
Suppose -n = -6*n - 5. Let d be -1*(0 - n) + (-11 - -12). Solve -4 = -f - d for f.
4
Suppose -6*s = 37*s - 215. Solve 5*y + s = -0*y for y.
-1
Let a be ((-30)/(-15) - 24/(-2)) + 1. Let h = 15 + a. Solve 10 = 4*r + h for r.
-5
Let i be 7 - (-3 + 1 - 1). Let q be ((-10)/(-4) + -2)*i. Suppose -23 = -a - 0*a + 5*h, q*a - 173 = -4*h. Solve 4*x + a = 13 for x.
-5
Let u be 8 + (0 - (-3 - -6)). Let k(d) = 2*d**3 - 10*d**2 - d + 5. Let f be k(u). Solve -7*o + 2*o = f for o.
0
Suppose 0*j - 6 = -j. Suppose v - 20 = -v - 3*b, 0 = -2*b + 8. Suppose 0 = -5*y - 4*k + 22, -5*k - 34 = 9*y - 13*y. Solve v*h - y*h = j for h.
-3
Let d be (-9)/(-21) - (-585)/105. Solve 48 = 6*m + d*m for m.
4
Suppose 7*o + 0 - 28 = 0. Suppose 3*c - 5 = o. Solve 2*z - c*z = 4 for z.
-4
Suppose -30 + 24 = -3*b. Suppose 3*t = -b*t. Solve t = 4*h - 9*h for h.
0
Let n be (-7)/(21/(-174)) + 5. Let b be (8/6 - 1) + (-21)/n. Solve b = -5*t + 3 + 2 for t.
1
Let m = -9 + 13. Suppose -a = -3*v - 8, 0 = a + 3*a - m*v - 72. Let u = -18 + a. Solve i = u*i for i.
0
Let a(k) = -k**2 + 10*k - 6. Let p be a(5). Suppose -p + 4 = -5*b. Solve b*w + 2 = -7 for w.
-3
Let a be (-1)/5 - 832/(-160). Solve -20 = -l + a*l for l.
-5
Let m(a) = 5. Let s(t) = -t - 9. Let d(z) = 7*m(z) + 4*s(z). Let y be d(-5). Solve 4*k + 3 = y for k.
4
Suppose 24 = -45*b + 47*b. Solve -b*k = -7*k + 5 for k.
-1
Suppose -4*d = 19*d. Let k = -2 - -2. Let r be k/(-3) + 4 - -2. Solve d = z - r*z for z.
0
Let l(m) = m**2 - 9*m + 11. Let c be l(8). Suppose -c*b = -4*s + 18, 6 = 3*s - s - 3*b. Suppose -y = 5*v - s*y + 5, -2*v = 5*y - 26. Solve -o + 6