h for a.
3
Let d be (-4 - 3/(-1))*-1. Suppose 0 = y - 4 + d. Suppose -y*i = -i. Solve -2 = v - i for v.
-2
Suppose 2*v = -v - 45. Let w(u) = u**3 + 15*u**2 - u - 12. Let p be w(v). Solve -2*c - p*c = -10 for c.
2
Suppose 0 = -9*q + 12*q - 12. Suppose q + 2 = 6*t. Solve -r - t = -3 for r.
2
Suppose -2*z - 1782 = -3*i, 0 = -4*i + 6*z - 2*z + 2380. Suppose -2*c - i = -204. Let n be c/(-10) - 12/(-20). Solve -2*f = 3*f + n for f.
-4
Suppose 0 = 3*w - 4*t - 34, 3*w - 24 - 6 = 3*t. Let s be w + 4/6*-6. Solve -s*j + 0 = -10 for j.
5
Let b be (-3524)/(-44) - ((-468)/(-66) + -7). Solve 10*l + 30 - b = 0 for l.
5
Suppose 2*j = 9*p - 4*p - 14, -6 = 3*j. Suppose p*q + 6 = 2*l - 0*q, -l - 2*q = -6. Suppose -1 = -d + g - 4, -3*d = 4*g - 26. Solve l - 6 = -d*f for f.
1
Let y = -67 + 69. Solve 2*w = -0*w + y for w.
1
Let t(o) = -o - 10. Let r be t(-10). Suppose r*g = 4*g - 4. Let j be (-6)/((-4 + 2)*g). Solve -j*s = 2*s - 10 for s.
2
Let n(s) = s**2 - 30*s + 33. Let t be n(29). Solve -c + 3 = -t*c for c.
-1
Suppose 8*f - 412 = -292. Solve 2*m = 9 - f for m.
-3
Suppose 5*m - 5 = 5*g, 5*m + 4 - 14 = 4*g. Suppose 0 = 3*h - 5*u - 36, -163*u + 14 = -5*h - 167*u. Solve m = h*w - 0*w for w.
3
Let d be 3/(9/48) - 4. Suppose -d = -4*o + 16. Solve -2*r - o = 3 for r.
-5
Let t(s) = 8*s**2 + 5*s + 0*s**2 - 4*s - 4*s**2. Let n be t(-1). Suppose 5*i = n*i + 4. Solve -3*u - 4 = -i*u for u.
-4
Suppose 19*j - 52 = 24. Let a be (-6)/(-12) + 18/j. Solve 0 = a*q - q - 16 for q.
4
Suppose 0 = -261*z + 263*z - 68. Solve -42*w - 32 = -z*w for w.
-4
Let m = -1 + 3. Solve m*n - 4 = -10 for n.
-3
Let i be 237/(-21) + (-14)/(-49). Let b = i - -15. Solve -a - 15 = b*a for a.
-3
Let o(f) = -30*f + 106. Let y be o(3). Solve -y*b = -17*b for b.
0
Let u = -151 + 166. Solve -u = 5*l + 10 for l.
-5
Let r be -12 - (0 + (3 - 7)). Let w be (27/(-12))/(3/r). Solve w = -3*c + 5*c for c.
3
Let g be ((-122)/(-1) - -2) + (7 - 9). Let z = -122 + g. Solve z = -t - 4*t + 10 for t.
2
Let a be 10/(-4)*(8 + -12). Suppose -7*p = -2*p - a. Solve -n = p*n + 6 for n.
-2
Let g be 27/5 + 15/25. Solve -2*m + g - 2 = 0 for m.
2
Let c be (3 - (-21)/(-9))/((-2)/366). Let d = 122 + c. Solve -s = -d*s + 2 for s.
-2
Let d(p) = -p**2 + 21*p - 94. Let z be d(7). Solve 4*v = z - 20 for v.
-4
Let p be 2 - (-1 + -5 + (-174)/(-58)). Let n = 7 + -3. Solve n*f = -p + 1 for f.
-1
Let v be (2 - -4)/((-3)/(-4)). Let u(a) = -a**2 + 9*a - 15. Let b be u(6). Solve -v*k - b = -7*k for k.
-3
Suppose -13 = -4*a - 1. Suppose v - 2*d = -7, -d - 19 = -a*v - 3*d. Solve 5*r + 4 = v*r for r.
-2
Let x(u) = 7*u - 5. Let s be x(1). Solve s = 5*w + 7 for w.
-1
Let f(g) = 2*g**2 - 4*g - 1. Let l(w) = -w**2 + 2*w. Let y(o) = -2*f(o) - 5*l(o). Let t = -47 + 49. Let c be y(t). Solve h + 0*h = c for h.
2
Let j be -1 - (40/2)/(-5). Let x be 8/(-6)*(j + -6). Suppose -2*g = -g + x*w + 18, -33 = -4*g + 5*w. Solve -g*r + r = -4 for r.
4
Suppose -3*i - 2*y + 12 = y, 5*i - 17 = -2*y. Suppose 17 = 5*o - 4*n, -o + i*o - 8 = 2*n. Solve -3*a - o = -7 for a.
2
Let y be (0 - 3)*1 + 3. Suppose 4*z - 8*z - 100 = 0. Let o = -20 - z. Solve y*c + o*c = -10 for c.
-2
Let w = 2 + 0. Let s be 6/w + (4 - 2). Suppose -t = -s*t + 48. Solve -3*p = p + t for p.
-3
Let c be 1*(-7)/(-7 + 0). Solve -q - c = 3 for q.
-4
Let a be (-294)/(-105) - 2/(-10). Let q(w) = -5*w**2 - 1 - 1 - 6*w + w - w**a - 2. Let i be q(-4). Solve i = 4*n + 3 + 1 for n.
-1
Let h be 1 + 1/((-1)/(-21)). Let g = -16 + h. Solve -g*d = -3*d + 15 for d.
-5
Suppose 5*d = -20*d. Solve 5*z - 112 + 102 = d for z.
2
Let u = -18 + -10. Let c = u + 30. Solve g = 2 + c for g.
4
Let q = -41 - -150. Let z = -65 + q. Suppose 5*m + 9 = z. Solve 3*i = m*i + 4 for i.
-1
Let b be (-13160)/(-4136) - ((-13)/(-11) - 1). Suppose 4*r - 20 = -p, p - 24 = -5*r + 2. Solve -a + b*a = r for a.
3
Let y(c) be the third derivative of -c**5/20 - c**4/8 - 5*c**3/6 + 9*c**2. Let p be y(-2). Let r = p - -17. Solve r = -4*z + z for z.
-2
Let a = 31 + -27. Let s be a/(-14) - 144/(-63). Solve 0 = -2*l + 2 + s for l.
2
Suppose 5*s = -2*q + 7*q - 10, 2*s + 2*q - 4 = 0. Let p be (1 + 0 - 0)*s/1. Solve p = -u - 3 + 6 for u.
3
Suppose 2*r = 5*m + 91, 2*m + 3*r + 54 = 10. Let x = m - -19. Solve x = 8*p - 3*p for p.
0
Let a = -1112 - -1123. Solve -6*k - 13 - a = 0 for k.
-4
Suppose q + 4*q + 190 = 0. Let o = q - -40. Solve -7 - 3 = o*m for m.
-5
Let f(w) = 3*w + 2*w - w**3 - 5*w**2 - 18 + 17. Let g be f(-6). Suppose 30 = 5*m - 5*t, 3*m - g*m - t = -6. Solve -2*y = -y - m for y.
4
Let c(o) = -2*o**2 + 22*o - 20. Let l be c(10). Let a = 11 + -7. Let t be 16/10 + a/10. Solve l = 2*u + 8 - t for u.
-3
Let c(x) = -65*x**3 - x**2 + 3*x - 2. Let a be c(1). Let r = a + 69. Solve -r*g = -10 - 2 for g.
3
Let d(k) = -k**3 + 7*k**2 + 2*k - 6. Suppose 4*t + 4*b = 8, 5*t + 3*b = 31 - 11. Let o be d(t). Solve -o = -3*s - s for s.
2
Let u(k) = 8*k + 2. Let t be u(1). Let m be (1 + -1)*t/20. Solve m*h + 3*h - 3 = 0 for h.
1
Let l(r) = 8*r + 5. Let n(h) = -7*h - 5. Suppose 0*m - 5*m + 35 = 0. Let j(o) = m*n(o) + 6*l(o). Let v be j(-13). Solve 0 = -4*a - v for a.
-2
Suppose -2*o + 17 = 4*j - 1, 5*j - 42 = 4*o. Let n = j - 6. Solve 4*i + n*i + 4 = 0 for i.
-1
Let b(r) = r**3 + 2*r**2 + r + 2. Let c be b(0). Solve -5*x = -c + 17 for x.
-3
Let m(q) = -5*q + 97. Let f be m(19). Suppose -f*u = 3*v + 1, -2*v - 5 = -u + 2*v. Solve -u - 1 = i for i.
-2
Suppose 2*u - 8 = -0*u. Suppose u = h + h. Solve -t - h*t = 0 for t.
0
Let z = -704 + 714. Solve -7*k = -5*k + z for k.
-5
Suppose y = -0*y + 5. Solve -y*b + 8*b = -9 for b.
-3
Let x(h) = 3*h + 2*h**2 - 77*h**3 + 0*h**2 + 76*h**3 + 6 - 2*h. Let l be x(3). Solve 0 = w - l*w - 4 for w.
4
Let i be (-4)/(-12)*(-3 - 0). Let h be (i + 2)*(5 + -4). Let u(v) = 15*v**2 + 1. Let g be u(h). Solve 7*y - 3*y - g = 0 for y.
4
Let i(t) = 2*t**2 - t + 15. Let k be i(0). Suppose -10 = s - k. Solve s*a - 20 = a for a.
5
Suppose -5*k + 3 + 2 = -5*q, 3*k = -3*q + 15. Suppose -2*c + 10 = q. Suppose 4*v + 8 = c*l, -l = -3*l - 2*v. Solve l = 5*i - 24 for i.
5
Suppose 4*h + 3*x + 50 = -h, 2*h = 4*x - 46. Let n = 31 + h. Suppose 0 = 4*k, -3*s - n + 78 = -4*k. Solve -r - s = -5*r for r.
5
Suppose -2*w - 16 = -p, p - 4 = -2*w - 3*p. Let f = -2 - w. Let c = -13 + 16. Solve -f*k + 1 = -c*k for k.
1
Suppose k - 4*t = 4, -4*k - 3*t = -2*t - 84. Let r be (-34)/(-3) + (22/(-3))/(-11). Solve -r*z = -7*z + k for z.
-4
Let f = 2 - 0. Suppose 2*v = 3*g - 2, 3*v + 16 = -2*v + 2*g. Let c be -11 - -11 - (v - -1). Solve o + f = -c for o.
-5
Let u(c) = 3*c**3 + 2*c**2 - 8*c + 3. Let a be u(2). Solve 15 = -16*b + a*b for b.
5
Let q(x) = 44*x - 520. Let n be q(12). Solve 0 = -g + 3*g - n for g.
4
Suppose -24 = 762*v - 768*v. Let k = 10 + -3. Solve -v*w - k - 1 = 0 for w.
-2
Let o = -19 + 27. Suppose -4*l - 3*a = -3*l, -2*a - 26 = 5*l. Let f = l - -9. Solve f*n + o = -n for n.
-2
Suppose 30 = -9*s + 11*s. Let q be 20/4*6/s. Suppose q*d - 9 = -g + 6*d, -2*d - 27 = -5*g. Solve 7 = 4*y - g for y.
3
Let y be -1*(0 + -3) - (-34)/2. Let q be 51*2/30 + 12/y. Solve b - q = 3*b for b.
-2
Suppose 27 = 5*l + 3*h - 26, 0 = 5*l - 2*h - 48. Let c = l + -8. Suppose 5*i = -n + 10, 3*i + 5*n = c*i + 2. Solve i*x + 5 = 1 for x.
-2
Let i be 30/165 - 62/(-22). Let l be 3/18 + (-95)/(-6). Suppose -4*o = -l - 0. Solve -i*p = -p + o for p.
-2
Suppose -y - 4*s + 5 = 0, -10 = -5*y + 73*s - 78*s. Solve -9*z = -10*z + y for z.
1
Let k be (-1 + 3)/(-1) - -7. Let f be -7 + 14 - (k - 2). Suppose -2*c = a - 1 + 4, 3*a + 4*c = -5. Solve -7 = -f*j + a for j.
2
Let m(v) = 8*v - 3. Let p be m(-3). Let a = -17 - p. Suppose -5*g + 10 + a = 0. Solve c - g*c = 9 for c.
-3
Let l(p) = 3*p - 2. Let m be 12/5 + 6/(-15). Suppose -6 = -m*t - 4. Let d be l(t). Solve 5 = -2*j + d for j.
-2
Suppose 0 = -20*b + 10*b. Solve -4*p + 2*p - 8 = b for p.
-4
Let l(t) = t**3 - 2*t**2 + t + 2. Let q be l(5). Suppose 4*m = 5*v + 6 - 161, 0 = -2*m + 4*v - q. Let i = m - -35. Solve i = 3*k + 2*k - 5 for k.
1
Let o(n) = -3*n - n**2 - n + 4 - 2*n. Let h be o(-6). Suppose -3 = h*j - 11. Solve -3*i - j*i = 25 for i.
-5
Let t be (-88)/(-14) - (-8)/(-28). Let i be (-6)/2 - (0 - t). Suppose -2*d = -4*v - 36, -3 - 17 = 4*v. Solve d = i*x - 5*x for x.
-4
Let z be 279/63 - (12/(-21) - -1). Solve z*p + 93 = 73 for p.
-5
Let v(r) be the thi