t u(t) = 5*t - t**2 - 1 + 3 + x. Let z be u(5). Solve 2*h = z + 1 for h.
4
Let p = -4 + 1. Suppose -5*w - 31 = 9. Let f = p - w. Solve -f - 1 = 2*m for m.
-3
Suppose -i - 3*i - 1 = 3*o, -4 = 4*o + 4*i. Let t be (-5 - o)*1 + 2. Solve t*q = -2*q + 4 for q.
2
Suppose -19 = 5*a + 1, 5*i = 3*a + 87. Let v = i - 14. Solve -v = -k - 6 for k.
-5
Let p be ((-2)/(-5))/((-10)/(-25)). Let g(x) = x**3 + 4*x**2 - 2*x - 6. Let t be g(-4). Let i be 4/3*3/t. Solve 0 = -i*h + 3 + p for h.
2
Let z be 780/25 - (-1)/(-5). Solve -5*s - z = -6 for s.
-5
Let g(x) = -4*x - 6. Let r be g(-4). Solve 3*u - 5 = r for u.
5
Let m be 3/2*(-32)/(-6) - 4. Solve 0 = m*f - 11 + 3 for f.
2
Suppose -2*w - 7 = -3*l, 0 = 2*w + 3*w - 5. Solve 2*d - 25 = -l*d for d.
5
Let q be (0/(-1 - 1))/1. Solve -3*f + 3 = -q*f for f.
1
Let w be (-3 + 7)*3/(-2). Let m be w/(-15) + (-18)/(-5). Solve m = y + 3 for y.
1
Let q be 2/7 - (-4)/(-14). Solve 2*x = -q*x for x.
0
Let w(m) be the first derivative of 9*m**4/4 + 2*m**3/3 - m**2 + m - 1. Suppose -4 = -3*d - 1. Let l be w(d). Solve 3*x + l = 22 for x.
4
Let l = 33 - 28. Solve -i + 0*i = l for i.
-5
Let d = 20 + -14. Suppose d*x - 69 = 3. Solve 6*p = 2*p + x for p.
3
Let o(d) = d**2 - 2*d. Let h be o(3). Suppose 3 + 0 = 3*w - 3*v, 0 = h*v - 6. Let s(q) = 5*q - 4. Let g be s(w). Solve -5*r = 31 - g for r.
-4
Suppose -5*a + 20 = -0*a. Solve 4*r - 4 = a for r.
2
Let j = 8 + -3. Solve 8*o - j*o - 12 = 0 for o.
4
Suppose 7*b - 2*b - 22 = -s, 3*b - 2 = 5*s. Suppose b*r - 16 = -2*z, -2*z = -r + 3*r - 12. Suppose 1 - 9 = -r*o. Solve c + o = -c for c.
-2
Let y be ((-18)/5 - -2)*-5 + 1. Let s(z) = 6*z - 1. Let k be s(1). Solve -k*b - 34 = -y for b.
-5
Suppose 0 = -2*u - 2*l - l + 13, 3*l - 9 = 0. Solve 5*f = u*f + 3 for f.
1
Suppose 4*f + 0*f - 32 = 0. Let i(k) = k**2 - 7*k - 5. Let y be i(f). Solve -y*w + 4*w = -3 for w.
-3
Let t = 1 + 3. Let z be (-588)/(-27) - (-2)/9. Suppose -8*k + 26 = -3*k + 3*s, t*k + 3*s = z. Solve -n = -5*n - k for n.
-1
Suppose l - 7 = -5. Solve 6 = -w - l*w for w.
-2
Let i be 3*2*(-2)/3. Let l(u) = -u + 1. Let s(z) = -3*z + 1. Let f(h) = -5*l(h) + 2*s(h). Let p be f(i). Solve -5*o + p - 21 = 0 for o.
-4
Let q(j) = -j + 1. Let m(c) = -2*c - 8. Let i(a) = -m(a) + 3*q(a). Let x be i(9). Solve -8 = -0*w + x*w for w.
-4
Let l(k) = 4*k - 15. Let s be l(5). Let x = 101 - 69. Suppose -5*n - c + x = c, -s*n + 60 = -5*c. Solve -4*r + n = -8 for r.
4
Suppose -4*p - 5 - 11 = 0. Let i(w) be the third derivative of w**6/120 + w**5/20 - w**4/4 - w**3/2 - 12*w**2. Let r be i(p). Solve d - 16 = r*d for d.
-4
Suppose 6 = -b + 3*b. Suppose 5*u - 22 - 12 = 3*g, 0 = -b*u + 5*g + 30. Suppose -4*q + 3*q + 83 = 4*t, -3*t + 48 = -4*q. Solve u*v = v - t for v.
-5
Suppose 0 = -l - 2*a + 3 + 22, 3*l = -2*a + 71. Suppose -5*h + 20 = -0*h, 2*h - l = -3*f. Solve -4*y + f = y for y.
1
Suppose -l + d = -2*l, -30 = -4*l + 2*d. Suppose -14 - 1 = -l*g. Suppose -12 = 3*p - 4*m, -2*p + 0*m = m - g. Solve 3*y = -p*y for y.
0
Suppose -3 = p - 2*p. Let y = 5 - p. Suppose 5*a - 22 + 2 = 0. Solve -2*i - y = -a*i for i.
1
Suppose j - 2*j - 1 = 2*i, 2*i - 19 = 3*j. Solve 0 = w - 3*w + i for w.
1
Let q be ((0 + -1)*4)/1. Let r = q - -9. Let f = 12 - 7. Solve f*a = 4*a + r for a.
5
Let n be 2/5*(2 + 3). Let p = n - 2. Solve -l + 3 + 2 = p for l.
5
Let y(v) = -v. Suppose 0 = 4*n - 3*z - 6, 3*n + z + 3 = 1. Let w be y(n). Solve -k - 4*k + 20 = w for k.
4
Let l(g) = g + 5. Let a be l(4). Solve -b - a = -4*b for b.
3
Let s(f) = -3*f + 2. Let g(h) = -h + 1. Let n(j) = 4*g(j) - s(j). Let v be n(2). Let z be v - (5/(-1) - 1). Solve 4*r - r - z = 0 for r.
2
Let r be (1 - (-1 - -2)) + 2. Let l(g) = -2*g**2 + g**3 + g**2 - g**2. Let a be l(r). Solve 0 = 2*f - a*f for f.
0
Suppose -9*j = -8*j - 25. Solve 0 = -0*r + 5*r - j for r.
5
Let w(n) = -2*n + 3. Let o be w(-6). Solve 2*g - o = 7*g for g.
-3
Let q(f) be the first derivative of -f**2 - f - 2. Let n be q(-2). Solve d = -0*d - n for d.
-3
Let n = -47 + 51. Solve n*s - 2 = 2 for s.
1
Suppose 4*b = 8 + 44. Let f be (-3)/9 - b/(-3). Suppose -f*g = -0*g. Solve 2*q - 8 = -g*q for q.
4
Let g = 38 + -37. Solve -c = -2 - g for c.
3
Let g be ((-1)/(-1))/((-2)/(-4)). Suppose g*m = m. Solve -3*w + 7*w + 20 = m for w.
-5
Let v(h) = -h**2 - 11*h - 9. Let a = 14 - 24. Let s be v(a). Solve i - s + 2 = 0 for i.
-1
Let f(w) be the third derivative of -w**6/120 + w**5/15 - w**4/12 - w**3/6 + w**2. Let g be f(3). Solve -2*j = 10 - g for j.
-4
Let t be (4 + -4)*(-2)/(-4). Let h(j) = 2*j. Let k be h(1). Let v be (t*k/2)/2. Solve l + 4*l = v for l.
0
Let u(h) = h + 7. Let b be u(8). Let t = b + -12. Solve t*q = 6*q for q.
0
Let s be 3*2/(-3) - 1. Let z(y) = -y**2 + 7*y - 4. Let u be z(5). Let b = u + s. Solve b*h = -h - 12 for h.
-3
Let y be 1 + 1 + -2 + 0. Suppose -4*c = -8 - y. Suppose 4*h + 4*v = 68, -h - 4*v = -v - 17. Solve 0 = 5*p + c - h for p.
3
Let w be (3 + (-26)/8)/(5/(-60)). Solve -2*r + 3 = -w*r for r.
-3
Let g(j) = -j**2 + 7*j - 5. Let v be g(5). Suppose v*k - 13 = 4*m, 3*m + k - 4*k = -6. Solve 2*b + 3 + m = 0 for b.
-3
Suppose 4*s + 48 = 72. Solve 3*w = s*w + 6 for w.
-2
Let g(l) = -l**2 + 5*l - 4. Let s be g(4). Solve s = -0*v - v + 5 for v.
5
Let f(a) = -a - 8. Let p be f(9). Let s = 38 + p. Solve -5*y - s = 4 for y.
-5
Let i = -7 + 13. Suppose 3*d - 32 = -d - 5*k, -3*d = 5*k - 29. Suppose 3*t - 30 = -4*q, t + d*q = -q + 10. Solve -4*f + i*f = t for f.
5
Suppose 0 = -5*n + 5, -13 = -3*x - 0*x + 5*n. Suppose -x*h = -h. Let b be (-1)/(3/(-9)) + h. Solve -b*m - m = -16 for m.
4
Let t be 16/6 + (-7)/(-21). Let r be (t - 3)/1 + 0. Solve r = n - 0 - 3 for n.
3
Let s = 1 - -1. Suppose -s*w + 22 = -12. Suppose t + 2 - w = 0. Solve 7*z - t = 2*z for z.
3
Let v be (-10)/6 + 6/9. Let r = v + 1. Solve f - 1 = -r for f.
1
Let h = 152 + -152. Solve -m - 5 + 7 = h for m.
2
Let f = -9 - -15. Suppose t + 4 = f. Solve 6 + 0 = t*o for o.
3
Let v be 1*(-2 + 1)*-3. Suppose -5*c + 28 = -v*c. Suppose -m = 2*m + 4*b + c, 5*m - 25 = 3*b. Solve -m*w = 2*w - 20 for w.
5
Let i = -23 + 24. Suppose -2 + 14 = 3*x. Solve u - i = x for u.
5
Suppose 7*a - 32 = 3*a. Let r = -5 + a. Suppose -g = 3*k - 10, -6 = -5*k + 2*k + r*g. Solve -9 = k*c + 3 for c.
-4
Suppose 9 = 3*i + z, 5 = 2*i + z - 2. Solve i*s = 1 - 11 for s.
-5
Let g = 7 + -2. Suppose 3*n + 0*n - 11 = g*v, n + v = 1. Solve z = -2 - n for z.
-4
Let m(b) be the second derivative of -1/6*b**3 - b + 9/2*b**2 + 0. Let j be m(8). Solve 2 = -l + j for l.
-1
Let v = -6 - -15. Let z be v/12 + (-3)/4. Solve z*q - 4*q = 12 for q.
-3
Let k = -10 + 3. Let o = k + 10. Solve -1 - 2 = o*s for s.
-1
Let j = -5 + 7. Suppose 0 = j*z - 0*z. Solve z = -3*w + 3 for w.
1
Suppose 0 = 4*k, -4*y + 0*y + 2*k + 16 = 0. Suppose 4 = -d - d. Let q = d - -5. Solve -y*m - q = 5 for m.
-2
Suppose 2*s - 19 = 7. Let n = -10 + s. Suppose 5 = n*f - 13. Solve f*y - 8 = 4*y for y.
4
Let a be (-28)/(-6) + 1 - (-12)/(-18). Solve 8*j - a*j = 9 for j.
3
Let l be ((-9)/6)/((-6)/8). Suppose -2*d + 2 = -3*d. Let s be 0*(d - 15/(-6)). Solve l*u - 4 = -s for u.
2
Suppose -11 = -5*g + 9. Suppose 0 = 4*n - 9 + 1. Suppose -4*c + n*c = -2. Solve 3*a + c = g*a for a.
1
Suppose -6*g + 5*g + 3*w + 18 = 0, 0 = 5*g - 3*w - 30. Suppose g*s = s. Solve s = -5*j + 26 - 1 for j.
5
Suppose -o = 4*o - 15. Suppose -u + 5 + 0 = 0. Let w be (6 + -1)*14/7. Solve -o*a + u*a = w for a.
5
Suppose -2*o = -3*o + 2. Suppose 4*f = o*f. Solve -4*w - 11 - 9 = f for w.
-5
Let i be 4/6 + 20/6. Suppose -4*d - 3*z - 48 = -7*z, -2*d - 5*z = 38. Let f = d - -17. Solve -2*o + f*o - i = 0 for o.
4
Let m = 18 + -10. Solve 3*s + 7 + m = 0 for s.
-5
Let i(r) = 0*r**2 + 23*r + 1 - r**2 - 21*r. Let q be i(2). Let o be 4/3 + 2/3. Solve u - o = -q for u.
1
Let h be -1*(-1 - (7 - 3)). Solve s + h = -4*s for s.
-1
Suppose 0 = 5*n - 0*n - 10. Suppose -5*c + 5*w - 93 = 67, -5*w = n*c + 92. Let m be (-8)/c + 4/(-18). Solve m = z + z + 4 for z.
-2
Suppose -5*f = 3*x + 3, -4*f + 3 = -4*x - 1. Let j(a) = 2*a**2 + 2*a - 2. Let y = 7 + -10. Let z be j(y). Solve -2*r - z = -f for r.
-5
Suppose 0 = -s - s + 4. Suppose -4 = 4*r, -4*m + r = -2*r + 21. Let z = m - -14. Solve -s*w - z + 0 = 0 for w.
-4
Let x be (-1 + 0)*2 + 9. Let o = 13 - x. Solve -o = -q - 1 for q.
5
Suppose 33 = 4*l + 4*u + 1, -3*l + 5*u - 16 = 