ve -5*u - s - t = 0 for u.
-4
Suppose 0*c + 3*c = 18. Let q be 15/9 + 2/c. Solve 0 = -q*f - f - 6 for f.
-2
Let i(v) = -v**2 + 7*v + 4. Let a be i(6). Suppose -3*f + 8*f = a. Solve 4*g + f = -6 for g.
-2
Let c = -63 - -66. Solve x + c = 2*x for x.
3
Let p = -19 - -9. Let b be (3 + 17)*4/p. Let t = 10 + b. Solve -t*m = -7*m for m.
0
Let q be (-18)/15 - 2/(-10). Let t be 0/q*7/(-14). Solve 7*d - 3*d = t for d.
0
Let i = -79 - -94. Solve -2*m + 7*m = i for m.
3
Let r(x) be the third derivative of -x**4/12 - x**3 + x**2. Let f(i) = i**2 - 4*i - 5. Let u be f(4). Let k be r(u). Solve -2 = -k*q - 10 for q.
-2
Suppose 5*g = -5*n + 40, 2*g + 0 = 3*n - 34. Solve -4*z = -2 + n for z.
-2
Suppose -q = -i, -2*i + 2 = -4*q + 8. Let n(s) = -s**2 - 10*s - 12. Let g be n(-8). Suppose g*k = -f, -3*k = 6 + 3. Solve -f = i*h - 0*h for h.
-4
Let s(t) = 3*t - 3. Let p be s(4). Suppose -2*b - 3 - 10 = -3*f, 19 = -b + 4*f. Solve p = -2*x + b for x.
-4
Suppose -m - 5 = -5*g, g - 4*m = m + 25. Solve g = 4*s - s + 12 for s.
-4
Let y(w) be the first derivative of w**2/2 - 8*w + 3. Let c be y(-6). Let a = -8 - c. Solve v = 3*v - a for v.
3
Let f be ((-7)/2 + 3)*-10. Suppose 0 = 5*v - 21 + 6, f*s = -3*v + 24. Suppose -4*d + s = -9. Solve -2*u - d = u for u.
-1
Let r be (14/(-3))/(16/(-6) + 2). Solve 5*a = -18 - r for a.
-5
Let k(a) = a - 9. Let d be k(13). Solve 3*x = 7*x - d for x.
1
Suppose -4*r = 3*l + 2*l - 4, -4 = 2*l + 3*r. Solve -6*v + l*v = 0 for v.
0
Let r(k) = -k - 5. Let l be r(-5). Solve l*q = 2*q - 8 for q.
4
Let r be (232/(-6))/((-3)/9). Let z = r + -45. Suppose 0 = 5*u + z - 171. Solve 5*f - f - u = 0 for f.
5
Let d be (-164)/(-16) + (-1)/4. Suppose 9*x - 4*x = -d. Let f = x - -3. Solve l = f - 2 for l.
-1
Suppose -4*u - 5 = -0*a - a, -5*u = 10. Let o be 13/(a/(-5 - -2)). Let q = 18 - o. Solve 1 = q*h - 9 for h.
2
Suppose 0 = 4*f - 7 - 5. Suppose -5*i + 0*i = -15. Suppose 4*k - i = -4*y + 5, -2*y + 6 = 4*k. Solve f + k = -a for a.
-4
Let c(d) = d**3 - 7*d**2 + d - 5. Let x be c(7). Let l(h) = -h**3 + 5*h**2 + 8*h - 6. Let s be l(6). Solve x*a = 5*a - s for a.
2
Let t(n) = -3*n - 5. Suppose 5*s + 0 + 25 = 0. Let o be t(s). Solve z = -4*z + o for z.
2
Let d be 7/14 + (-14)/(-4). Solve -d*a + 5*a = 4 for a.
4
Suppose -i - 18 = -4*i. Solve 0 = -3*r - 0*r - i for r.
-2
Let t be 1 - 0/(3/(-3)). Suppose d - 9 = -2*d. Suppose 0 = -d*w + m + t, -5*w + 4*m - 4 = 6. Solve -12 = w*u + 2*u for u.
-3
Suppose 15*r - 13*r = 12. Solve 6*g + r = 3*g for g.
-2
Let t = 11 - 6. Let p(c) = -c**3 + 4*c**2 + 6*c - 3. Let a be p(t). Let d = -2 + a. Solve d = -0*j - j + 4 for j.
4
Let z be (-8)/3*6/(-4). Solve -z = 5*u - 4*u for u.
-4
Let z = -2 - -2. Suppose 0 = -z*p + p - 5. Let t = -4 - -19. Solve -2*a - p = -t for a.
5
Suppose -17 = -6*y + 1. Solve -y*o + 6*o = -15 for o.
-5
Suppose 6*u = u + 25. Suppose 0*d - 150 = -u*d. Suppose -2*f - 4*c = c - d, -4*f = -4*c - 4. Solve 4*o - f = 7 for o.
3
Suppose 25 = 4*k - 7. Let a be 8/6*(-3)/(-2). Solve k = -3*j + a for j.
-2
Let p(u) = -u + 19. Let m be p(15). Solve -m*r + 3 + 13 = 0 for r.
4
Let i(h) = -h**2 + 8*h - 6. Let g(s) = -1 + 0*s + 1 + s. Let r(t) = 3*g(t) - i(t). Let v be r(6). Solve -2*q = q - v for q.
4
Let b = -10 + 20. Solve -f - b = f for f.
-5
Let y(n) = -11*n - n**2 + n + 5*n + 8. Let q be y(-6). Suppose -4 = -r - q. Solve -2*z - 2 = r for z.
-2
Suppose -g + f + 0 = 3, 2*g + 16 = 4*f. Suppose 5*d + 5*p - 25 = 0, g*d = -4*p + 3*p + 5. Solve d = q + 3*q - 12 for q.
3
Suppose -2*m + 1 + 3 = 0, 20 = 4*s + 4*m. Solve s*i = -2 - 1 for i.
-1
Suppose -8 - 2 = 2*u. Let p be ((-24)/(-15))/((-2)/u). Solve h = p - 1 for h.
3
Suppose -4*h + 24 = -0*h. Let o = -4 + h. Solve x - o = -x for x.
1
Suppose 2*v = -2*v. Suppose 0 = -i + 5*i + 4*x - 24, 0 = 4*i + x - 12. Suppose -p - 3 = -2*t + 13, -t - 3*p = 6. Solve v*h - i*h = -t for h.
3
Let c be (8/10)/(6/165). Suppose 3*j + c = 70. Let v(o) = o**2 - 2*o + 1. Let l be v(1). Solve l*s = 4*s + j for s.
-4
Suppose 0 = -3*k - q + 6*q + 118, 3*k - 4*q = 113. Suppose 5*a + k = -3*d, 2*d - 19 = a - 5. Let h = a - -12. Solve p - 25 = -h*p for p.
5
Let g(f) = f**3 - 15*f**2 - 15*f - 14. Let i be g(16). Solve 6 = 2*s + i for s.
2
Let c = -51 + 56. Solve c = h + 4 for h.
1
Suppose 0 = -i + 6*i. Solve -4*w + w = i for w.
0
Suppose 0 = -i + 10 - 2. Let l be 6/i - (-104)/32. Solve -z = z + l for z.
-2
Let i be 2/2*10*(-1)/(-2). Solve i = t + 2 for t.
3
Let a(l) = l**3 + 8*l**2 + 12*l + 2. Let r be a(-6). Solve 0 = r*t - 0*t for t.
0
Suppose 309 = 14*d + 99. Solve d = 6*g - g for g.
3
Let m = -17 - -90. Suppose 5*w - 52 = m. Solve 5*z = -0*z - w for z.
-5
Suppose 29 + 7 = 4*v. Solve v = -4*q - 7 for q.
-4
Let h(z) = z**3 - z**2 + 4. Let i be h(2). Solve i = -g + 3*g for g.
4
Let o(w) = -w**2 - 9*w - 14. Let j be o(-6). Solve 10 = j*c - 2*c for c.
5
Suppose -14*r = -9*r. Suppose 0 = 4*u + 10 - 30. Solve r*v - u*v = 0 for v.
0
Let y be (-10)/25 + (-13)/5. Let p(g) = g**2 + 3*g + 3. Let n be p(y). Let v be 2/(n/3) + 1. Solve 0 = -v*i + 5 - 2 for i.
1
Let y be (12/15)/(3/30). Solve -3*p + 1 = -y for p.
3
Let u be 10/(-3)*(-3)/2. Let i = -3 + u. Suppose -c = 2*t + 1, 5*c = -2*t + 7*t + 55. Solve 3 = i*q - c for q.
5
Let z = 21 + -11. Let f = z - -2. Suppose -2*n - n = 2*t - f, 12 = 3*n + 4*t. Solve n*g - 5*g = -1 for g.
1
Let m = 5 - 10. Let z be 10/25 + 2/m. Solve 5*n + 4 + 1 = z for n.
-1
Suppose 2*c + 6 = 0, -5*c - 27 = -0*g - 4*g. Solve 0*h = -g*h - 15 for h.
-5
Suppose -c + 4 = -2. Let p(z) = 2*z - 9. Let u be p(11). Let n = u + -9. Solve -c = -2*j + n*j for j.
-3
Let d(j) = j**2 - 4*j - 3. Let t be d(7). Suppose -4*r + 30 + t = 0. Let g = 25 - r. Solve -g = -5*k + 12 for k.
5
Let d(i) = -i + 39. Let j be d(19). Solve j = -2*m - 2*m for m.
-5
Let a(r) = r**2 + 9*r - 12. Let p be a(-11). Let s be p/(-5) + -2 + 4. Solve s = 5*c + 24 + 1 for c.
-5
Suppose -7*d + 3*d + 16 = 2*o, 5*d = -3*o + 22. Solve 3*r + d = 11 for r.
3
Let k = -9 + 13. Suppose 0 = -2*n + 6*n - k. Let r(v) = 3*v**3 - v**2 + 2*v - 1. Let a be r(n). Solve -o = a - 2 for o.
-1
Let f(m) = 3*m + 3. Let j be f(3). Suppose -5*l - y = -13 - 11, -2*l - j = -5*y. Suppose k - 15 = -l*k. Solve -2*b = 13 - k for b.
-5
Suppose 0 + 8 = 2*i. Solve 16 = -0*h + i*h for h.
4
Suppose -7*j + 20 = -2*j. Let o(d) = -d + 5. Let m be o(5). Let b be m/(-2) + j + -2. Solve 5 = z + b for z.
3
Suppose -2*q + q + 5 = 3*v, v - 7 = 5*q. Solve v*c + 3 = -c for c.
-1
Let g(t) = t**2 - 6*t + 4. Let y(k) = 2*k - 4. Let w be y(5). Let q be g(w). Solve -2*j + q = 2 for j.
1
Suppose 0 = 3*b - 21 + 3. Suppose 2*a = -3 + 7. Suppose t + 14 = -3*f, -t + a*f - 6*f = 19. Solve c = b - t for c.
5
Let z(h) = h**2 + 2*h - 1. Let l be z(-3). Solve 0 = p + 3 + l for p.
-5
Let w = 14 - 7. Let r = -4 + w. Solve -2*y + 1 = -r*y for y.
-1
Let a be (-2)/(-2) - 8/(-2). Let d(s) = s**3 + 5*s**2 + 2*s - 2. Let w be d(-2). Solve -w - 14 = a*k for k.
-4
Let c be -1 + 6 + (6 - 9). Suppose 0*k = 2*r + c*k - 18, 4*k + 12 = 4*r. Solve -9 - r = 3*i for i.
-5
Let n(c) = -c**3 - 5*c**2 + 6*c + 2. Let q be n(-6). Let a = -8 + 8. Solve a = h + q*h - 12 for h.
4
Let x be ((-3)/(-7))/(11/77). Solve 5*q = x + 12 for q.
3
Let b(d) = 4*d - 5. Let h(l) = 3*l - 4. Let q(s) = 4*b(s) - 5*h(s). Let a be q(0). Solve w + 0*w = a for w.
0
Let o be 5/20 - 7/(-4). Solve d + d = o for d.
1
Let g be 366/16 - 2/(-16). Let y = 35 - g. Solve y + 3 = -5*q for q.
-3
Suppose -2*q + 8 = f - 2, -5*f = 0. Suppose 2*g - 52 = -2*g. Suppose z - g - 13 = -3*y, 0 = -2*y - z + 18. Solve q*m - y = 7 for m.
3
Let j(x) = -x**2 + 7*x + 8. Let v be j(7). Let r be (-9)/18 + (-2)/(-4). Solve r = 4*i - v*i + 4 for i.
1
Suppose -2*l = w - 2, -l = 2*l - 3. Solve 4*x + 1 - 9 = w for x.
2
Suppose -4 + 24 = -5*l. Let o(y) = y**3 + 4*y**2 - y - 2. Let w be o(l). Suppose 0 = v - w*v + 10. Solve -3*q + q - v = 0 for q.
-5
Let d = 8 - 5. Solve -2*o - 15 = d*o for o.
-3
Let z(h) = -h - 18. Let f(v) = -v - 18. Let n(x) = -3*f(x) + 2*z(x). Let y be n(-8). Suppose 4*t = -t + y. Solve -t = m + 2 for m.
-4
Let k = 5 - 0. Solve -k*u - 8 = -u for u.
-2
Let a(x) = -x**2 - 12*x + 13. Let h be a(-13). Solve -2*v - 2 + 0 = h for v.
-1
Let m be 12/(-4)*1 - -3. Suppose m*v + 4*v = 44. Solve v - 31 = 5*x for x.
-4
Let t = 18 - 12. Solve 6 = -4*y - t for y.
-3
Le