 - b = 12 for h.
4
Suppose w + 2*t = 3*t + 18, 0 = 5*w + t - 72. Solve w*o + 18 = 21*o for o.
3
Suppose 5*x + 2*f + 8 = 0, 10*f - 12*f - 8 = 3*x. Solve x = -2*h + h for h.
0
Suppose 20*m - 16*m - 4 = 0. Solve m = -6*o - 5 for o.
-1
Suppose r - 2*c + 6*c = 0, 0 = -r + c. Let g(b) = b**2 + 15*b - 50. Let q be g(-18). Suppose 5*j = 5*h + j - q, r = h + 3*j - 16. Solve 6*a - 5*a + h = 0 for a.
-4
Let d(c) = 4*c**2 + 2*c - 1. Let i be d(1). Let g be -4 + (-7 + -1)*(-22)/44. Solve 0*k - i*k = g for k.
0
Let k(b) = -b**3 + 13*b**2 - 4*b - 3. Let x be k(13). Let h be 4/((-40)/x)*4. Let f = 26 - h. Solve -f*g - 2 = -2*g for g.
-1
Let l(z) = -3*z - 3. Let u(f) = 7*f + 7. Let d(j) = -5*l(j) - 2*u(j). Let a be d(1). Let w be 2 + 6 - a - 3. Solve 8*p = w*p + 10 for p.
2
Suppose -2 - 6 = -2*o. Let r = -83 + 77. Let u be (16/(-8))/(o/r). Solve u*h = h for h.
0
Let w be (-8 - (4 - 8))*1. Let q = w - -24. Let n = 2 - -2. Solve 0 = n*h - 4 + q for h.
-4
Let p(l) = 4*l - 14. Let d be p(5). Suppose d*t - t - 10 = 5*h, t - 5*h = 2. Solve y = -0*y - t for y.
-2
Let m = 1 + 2. Let i be 3/(-6)*(-14 + -2). Suppose -m*c = -5*c + i. Solve 0*k = c*k for k.
0
Suppose 4*f + 2 = -3*a, -3*a + 5 - 1 = f. Let q(h) = -3*h - 5. Let o be q(f). Solve 2*l - o = -3 for l.
-1
Let i be (-19206)/(-550) + 4/50. Solve 47 - i = 6*r for r.
2
Suppose -4*i + 4*g - g + 60 = 0, g + 52 = 4*i. Suppose 4*u + o = -3 + 13, -4*u - 2*o = -i. Solve -u*f + 3*f = -2 for f.
-2
Suppose -46*t = -53*t + 21. Let l be -2 - 2*33/(-6). Suppose 5*c = c. Solve t*y + l = -c*y for y.
-3
Let p(c) = 23 + 5*c - 10 + 13 - 3*c. Let k be p(-12). Let g = 1 + -1. Solve g*b - 2 = -k*b for b.
1
Suppose 0*j + 4*j = 28. Let f = j + -7. Solve q = -4 - f for q.
-4
Let r be 18/(-15)*(-30)/9. Let h be 13/5 + 2/5. Let j be (r - 3) + 3/h. Solve 3*b - 2*b - j = 0 for b.
2
Let p(k) = 6*k + 12. Let b be p(8). Suppose -b = -13*l + 10*l. Suppose -2*z = 3*z - l. Solve -1 + z = -3*n for n.
-1
Let y(l) = -l**3 - 2*l**2 - l + 2. Suppose n = -24 + 22. Let x be y(n). Solve 0 = x*u - 1 + 5 for u.
-1
Let a = -92 + 92. Solve -4*f + 5*f + 4 = a for f.
-4
Let w = -33 + 43. Let b be (-15)/(-3)*1/w*6. Solve -b*d + d = 4 for d.
-2
Let i(m) = m**3 + 11*m**2 - m - 9. Let v = 33 - 46. Let t = v - -2. Let d be i(t). Solve d*c = 2 - 6 for c.
-2
Suppose -2*a = 5*f, -3*f - 1 = a - 0*a. Solve a*t = t for t.
0
Let r(q) = -q**3 + q**2 + 3*q - 2. Let y be r(2). Suppose y*l = 4*l. Suppose l = j + j. Solve j = c - 5 for c.
5
Suppose 46*o - 49*o = 0. Solve -2*x - 7 + 15 = o for x.
4
Let o be 1/(-2 + (-9)/(-6)). Let f be o/(-4)*(5 + -5). Solve f = 2*h - 0 + 2 for h.
-1
Let q(a) = 11*a**2 + 209*a + 4. Let c be q(-19). Suppose 0 = -2*l - 5*k + 2*k + 9, -4*l + 5*k = 15. Solve l*s - c = -s for s.
4
Let q = -9 - -13. Solve 0*k + 12 = -q*k for k.
-3
Suppose 2*g = -28 + 96. Let t be ((-17)/g)/(2/(-16)). Solve -t*b - 4 = 16 for b.
-5
Suppose -v - 2*g = -65, 3*g + 70 = 4*v - 3*v. Solve 66*z - v*z = -3 for z.
3
Suppose -6*g + 4155 = 4143. Let q be (-4)/18 + 38/9. Solve 4 + q = g*l for l.
4
Suppose -25*y + 89 + 11 = 0. Solve y*q - 6 = 10 for q.
4
Let w be 36 - (-8 + 7) - -2. Solve 0 = -w*l + 34*l - 15 for l.
-3
Let f be 6 - 7 - -1*9. Let h be (-1 - f/12)*-3. Suppose -2*l - 15 = -h*l. Solve -20 = -r + l*r for r.
-5
Let n = -39 - -44. Solve 7*i - 2*i = -n for i.
-1
Suppose -6*d - 3*d + 72 = 0. Let r be 1*-3 + (-40)/(-5). Solve -d = -u + r*u for u.
-2
Let q be -2 - 7/7 - -26. Solve 5*s - q + 3 = 0 for s.
4
Suppose -89*f + 88*f + 2 = 0. Solve f*n + 1 = n for n.
-1
Let f = -622 + 622. Solve -13*z + f - 52 = 0 for z.
-4
Let p be (21 + 3)/(2/9). Suppose w = -2*w - p. Let y = w - -36. Solve 4 + y = j for j.
4
Let m(f) = -f**2 + 32*f - 63. Let h be m(24). Solve 130*k = h*k + 4 for k.
4
Let j = 29 + -29. Solve j = -19*p + 24*p + 5 for p.
-1
Let f = -27 - -33. Let r be (6/(-18))/((-1)/f). Solve r = -v - v for v.
-1
Let d(p) = -26*p. Let i be d(1). Let o = i + 29. Solve u + 4 = o*u for u.
2
Suppose 0 = h + c - 39, 3*h + 78 = 5*h - 3*c. Let w = -36 + h. Solve -b + 4 = w for b.
1
Let o(s) be the first derivative of -s**4/4 + 2*s**3/3 + 5*s**2/2 - 3*s - 6. Let g be o(3). Suppose g*c + 2*c = 50. Solve -2*q = -0*q + c for q.
-5
Suppose y + 4*y + 4*m + 33 = 0, -5*m - 21 = 4*y. Let z(k) = -2*k - 16. Let n be z(y). Solve 0 = j - n*j for j.
0
Let k = -834 - -860. Solve 0 = -k*l + 28*l + 10 for l.
-5
Suppose 6*h = h - 5, x = -4*h - 1. Suppose -5*t + 5*i + 30 = 0, -3*t = 5*i - 1055 + 1029. Solve x*v - t = -4 for v.
1
Let y be ((-88)/(-3))/(2/3). Let d = -41 + y. Solve 2*p + 5 - d = 0 for p.
-1
Let w = 1564 - 1561. Solve -2*c - w*c = 8*c for c.
0
Let z(r) = 2*r. Let q(y) = -2*y + 1. Let s(x) = -x**3 + 7*x**2 + 3. Let c be s(7). Let a(d) = c*z(d) + 4*q(d). Let t be a(0). Solve 0 = t*o - 0 - 4 for o.
1
Let x = -17 + 15. Let l = 4 - x. Solve -v + l*v + 10 = 0 for v.
-2
Suppose 3*k + l = 13, -l + 0 = -1. Suppose 2*z - 4 - k = 0. Solve 0 = -x - z + 3 for x.
-1
Let i be (546/(-26))/((-1)/(2/6)). Solve -i = -5*x - 2 for x.
1
Let g = -876 + 887. Solve -41 + g = -6*h for h.
5
Let w(i) = -2*i**2 - 13*i + 6. Let t be w(-6). Suppose t*y = 17*y. Solve y*g = -5*g - 20 for g.
-4
Let q be (-57)/2*(3 + -5). Let l = q - 51. Solve 4*z + 10 = -l for z.
-4
Let t be -1*(1 - (3 + 3)). Suppose t = 5*x - 10. Solve -x*y = -6*y - 9 for y.
-3
Let w be 5/(-40)*-40 + 0/1. Solve -49*t = -50*t - w for t.
-5
Suppose -4*l - 5*s - 10 = 0, -3*s - 6 = -3*l + 2*l. Suppose l = 5*w - 5*f - 35, w = 4*f + 3 + 16. Solve -2*z = w*z for z.
0
Let x = -250 + 266. Solve -6*f + 2*f = x for f.
-4
Suppose 0 = 4*d - 5*b + 4, 72 = -5*d - b + 96. Solve 0 = -f - f - d for f.
-2
Let g be ((-44)/(-8))/(0 + (-2)/(-4)). Suppose -2*h - 4*v = -0 - 22, -g = 3*h - 5*v. Solve 0 = -h*z - 10 + 4 for z.
-2
Suppose -79 = -26*p + 181. Solve 4*d = p*d - 6 for d.
1
Let z be (-14 - -4)/(1*-2). Suppose -3*o + 204 = -0*o. Let t = -44 + o. Solve z*a + t = 4 for a.
-4
Let u be (-8)/(-44) + (-300)/(-44). Solve 0 = 5*r - u - 13 for r.
4
Let v(s) be the first derivative of s**4/4 - 3*s**3 - 5*s**2 - 1. Let i be v(10). Suppose -5*c = 5*n, -3*c = -i*n - 4*n. Solve n*q + 3 = -q for q.
-3
Let a(x) = x**2 - 7*x - 42. Let w be a(-4). Solve -w = 4*y - 10 for y.
2
Suppose -g - 53 = -2*n, 5*n + 37 = -5*g + 192. Let y = 64 - n. Let x be (y/20)/(6/10). Solve -x*v = -2*v - 1 for v.
1
Let s = 13 + -11. Let p(t) = -t - 2. Let c be p(-4). Suppose 0 = -0*h + 4*h - 2*l - 20, c*l = h - s. Solve 5*w = 1 - h for w.
-1
Let n(x) = 9*x - 107. Let o be n(14). Solve o*a = 24*a - 25 for a.
5
Suppose r - 18 = -8*r. Suppose -3*u + r*z - 10 = 0, -3*z + 15 = -2*u - 0. Solve 4*k - 2*k = u for k.
0
Let x be 1 + -2 + (-10 - -18). Let p(o) = o**3 - 7*o**2 - 8. Let n be p(x). Let z(j) = j + 12. Let w be z(n). Solve w*c + 5 = 25 for c.
5
Suppose 2*w - 63 = -5*h, -8*w - h + 81 = -4*w. Let b(r) = -r**2 + 18*r + 34. Let i be b(w). Solve 0*v = 5*v + i for v.
-3
Suppose -3*l + 0*l = 0. Suppose 0 = r - 0*x - x, -4*r - 2*x = l. Solve 8 = -4*f - r for f.
-2
Let w(f) = -f**2 - 2*f**3 - 11*f + 14*f**2 + 3*f**3 - 5*f**2 - 9. Let o be w(-9). Solve -o = u - 4*u for u.
3
Suppose 66*w - 64*w = k, 5*k = 3*w. Solve 96*a - 98*a = k for a.
0
Suppose 38 = -3*l + 5*v, 3*l = -0*l + 3*v - 30. Let z = 7 + l. Let h be 6/(-36) + z/6. Solve 0*o + o + 4 = h for o.
-4
Let c be 10/(-4)*(-6)/5. Suppose -c*x + 170 = -13. Suppose 4*w = -1 + x. Solve n = 4*n - w for n.
5
Let h = -1197 - -1225. Solve h*r - 30*r = 10 for r.
-5
Suppose 0 = -8*p - 17 + 17. Solve p = 4*v - 1 + 5 for v.
-1
Let g(d) = d**2 + d - 2. Let t = -4 + 1. Let o be g(t). Let u(h) = 2*h**3 + 19*h**2 + 4*h - 36. Let q be u(-9). Solve -1 = o*m - q for m.
2
Suppose 3*i = 5*a + 5*i - 338, 4*a - 5*i = 277. Let p = -63 + a. Solve p*l + 29 = 4 for l.
-5
Let i(h) = h**2 - 9*h + 4. Let b be i(9). Let u be (18/(-5) + b)*5. Suppose u*x = -2*l + 14, 28 = 5*l - l + 5*x. Solve -l = -4*f + 5 for f.
3
Let p be (0/(-3))/(5 + 6/(-2)). Solve 2*r + r = p for r.
0
Let b(h) = -h**3 - 12*h**2 + 44*h - 15. Let q be b(-15). Solve 4*x - 13 + 9 = q for x.
1
Suppose 0 = -0*y + 4*y - 60. Solve -5*f + y + 5 = 0 for f.
4
Let a(r) = r**3 - 4*r**2 - r + 5. Suppose -8 + 4 = -d. Let v be a(d). Let k be 0/((-6)/2 + v). Solve 5*t - 21 - 4 = k for t.
5
Suppose 12 = 3*j, 5*j + 3 = g + 14. Solve -7*o + g*o = 8 for