 = -h, 3*h = m - 0*m - 15. Let n be 4/m*21 + -3. Solve n*f + x = 12 for f.
3
Let b(g) = -4*g + 13. Let o be b(8). Let k = o - -21. Suppose k*i + 1 = 5*z, i + 3*i = -3*z + 11. Solve 0*m = i*m + 2 for m.
-1
Suppose 118 = 13*l - 51. Solve -l*z + z = 0 for z.
0
Suppose 0 = -2*w - 8, -4 + 9 = l + w. Solve 27 = l*x + 63 for x.
-4
Let l be (10/(-3))/((-38)/57). Solve 0 = l*p - 3*p + 2 for p.
-1
Suppose -o + 4*n = -2*o - 11, -3*n - 37 = -5*o. Solve -a = -o*a for a.
0
Suppose 0 = 4*b + b - 90. Let m be (1/2)/(3/b). Let f = m - 0. Solve -f*w = w for w.
0
Suppose -5*w + 3*w + 54 = 0. Let c be (w/15)/((-18)/(-60)). Suppose 9*v - c*v = 45. Solve 5*a - v = 2*a for a.
5
Let u be (-2 - -1) + 10 + -7. Solve 8*r = u*r for r.
0
Let v(d) = d**2 - 7*d + 12. Let f be v(10). Let b be 3*(f/9 - 4). Solve -3*a - b = 13 for a.
-5
Let p be (-14)/35 + (-107)/(-5). Suppose -55 - p = -2*h. Let z = -30 + h. Solve -3*k + z = k for k.
2
Suppose 13 - 13 = 3*u. Suppose -5*a + a + 3*v + 71 = u, -1 = v. Solve 2 - a = 5*t for t.
-3
Let l = -174 + 186. Solve -4*u = -u - l for u.
4
Suppose -17*o + 19*o = 3*q - 229, 5*o = 4*q - 303. Solve f + 74 = q for f.
3
Let x = -819 + 820. Solve -29 = -7*b - x for b.
4
Suppose 2*k - k - 5 = 0. Suppose x - k*x + 36 = 0. Let y be (-450)/40*8/(-6). Solve -4*j + x*j = -y for j.
-3
Let d = -1552 - -1557. Solve -8*s = -d*s + 6 for s.
-2
Let v = -410 + 410. Solve -4*h + 6*h + 10 = v for h.
-5
Let j(b) = 10*b + 43. Let o be j(-3). Solve -o*v + 10 = -15*v for v.
-5
Let r = 9 - 13. Let t = 9 + r. Suppose 6*x - x - 10 = 0. Solve 3*v = x*v + t for v.
5
Let y = -884 + 890. Solve 3*k - y*k = -5*k for k.
0
Let r = 878 - 876. Solve -w = -2*w + r for w.
2
Let f(l) = 2*l - 12. Let p be f(-8). Let k = 4 + -34. Let h = p - k. Solve 0*j = h*j - 6 for j.
3
Suppose 21*u = -49 + 91. Solve -10 = 2*s - u for s.
-4
Suppose 0 = 5*i + 2*y - 154, 2*i + 2*y - 63 = 1. Solve -4*b - 2*b - i = 0 for b.
-5
Let u be 1/((-1)/4*-1). Suppose -5*l = -0*l + 4*n - 65, -u*l + 4*n = -88. Let b = -87 + 89. Solve -3*v + b = l for v.
-5
Let r be 4/10 - (-23)/5. Suppose -142 = -4*f - 5*i, -3*i = -5*f + 210 - 14. Let v = 1070 + -1057. Solve v - f = r*c for c.
-5
Let y = 44 + -22. Suppose -4*r + 103 = 27. Suppose 0 = -y*w + r*w + 15. Solve w*u + 0*u - 25 = 0 for u.
5
Let o be (1 - -9)*(1/2 + 0). Let m(i) = -2*i + 1. Let f be m(4). Let r = 27 + f. Solve o*h + r = -0 for h.
-4
Suppose -13*a + 9 + 4 = 0. Suppose 0 = 2*g - 3 - 1. Let x be -2 + (g - 0) + 0. Solve -d = -x*d - a for d.
1
Let z = -21 + 21. Let d be -3*(z - (-4)/(-6)). Solve 0*i - 8 = -d*i for i.
4
Let r = 1 + 0. Let i(y) = -4 + 3*y - 9 + 0*y + r. Let f be i(5). Solve 0*m + 15 = f*m for m.
5
Suppose -66 + 15 = -3*h. Suppose 3*t = 4*t - 2*m - 12, -4*t - 5*m - h = 0. Solve t*g + 10 = -3*g for g.
-2
Let g = 1821 - 1796. Solve -51*t + g = -46*t for t.
5
Suppose -2*m + 4*m + 2*q - 66 = 0, -4*m + 135 = q. Solve 36 = 25*p - m*p for p.
-4
Let g(x) = x + 6. Let n = -5 + 18. Let a = -19 + n. Let m be g(a). Solve -5 = -i - m for i.
5
Let q be (-1)/5 - (-144)/45. Let t be 10/q*3/2. Suppose -t*f - 3*m + 14 + 3 = 0, -5*f = 2*m - 13. Solve s + 2 = -f for s.
-3
Let k(a) be the third derivative of a**4/24 + 2*a**2. Let l be k(2). Suppose -u + 15 = 4*u. Solve -u*o = l*o for o.
0
Let z = -48 + 51. Solve -z*o + 7*o = 8 for o.
2
Let z be 1 + (0 + 1 - 0). Let v(f) = -2*f - 2. Let o = -98 + 94. Let n be v(o). Solve -z*d - n = d for d.
-2
Let k(m) = -m**3 - 7*m**2 - 6*m + 4. Let r = 0 + -6. Let w be k(r). Let p be ((-12)/16)/((-1)/w). Solve -p*o = -4 - 5 for o.
3
Let g be (5 - (-33)/(-8))/((-1)/(-8)). Solve -2*i = -g*i - 20 for i.
-4
Let c = 12 + -8. Let s be (2 + (-1 - (-12)/(-10)))*-10. Suppose 36 = -s*x + 6*x. Solve -5*i = x - c for i.
-1
Let x(z) = z**3 + 19*z**2 + 18*z - 4. Let g be x(-18). Let q(t) = -2*t - 3. Let m be q(g). Solve -m = -0*w - 5*w for w.
1
Let i be ((-1)/(-3 - -2))/((-1)/(-5)). Suppose 2*n + 1 - i = 0. Solve p - 3 = -n*p for p.
1
Let w = 32 - 31. Suppose 5*c = 0, -2*y + 5*c = w - 11. Solve 3*i = y*i for i.
0
Let c(k) = k**3 + 3*k**2 + k - 2. Suppose d - 1 + 23 = 4*h, -2*d + h - 9 = 0. Let l be c(d). Suppose 3*i - 2*i - 3 = l. Solve 4*g - i*g = 0 for g.
0
Let d(a) = 8*a**3 - 2*a. Let j be d(2). Suppose 64*z - j = 60*z. Solve -q - z = -4*q for q.
5
Suppose 72 = 3*u + u. Suppose 5*i + i = u. Suppose i*w + 2*s = 2*w + 1, 5*w - 4*s = 19. Solve w + 1 = -q for q.
-4
Suppose 0 = -4*q + 6 + 10. Suppose 2*h - q*h + 36 = 0. Suppose 5*r - 4*r - 3*g - h = 0, -5*r = 3*g. Solve -12 = -r*k - 0*k for k.
4
Let a(t) = t**3 + 5*t**2 - t - 3. Let v be a(-5). Let y be 4/2 + (-3 - -1)*-1. Solve -l + y = -v*l for l.
-4
Suppose 74*c = 66*c + 112. Solve -5*h = 4 - c for h.
2
Let a be 26/39 - 6/9. Solve a = -8*l + l - 2*l for l.
0
Let j be (-333)/45 + 7 - (-77)/5. Solve -19 = j*p + 11 for p.
-2
Let p be (-2337)/(-228) - (-2)/8*-1. Solve -p*y = 10*y - 60 for y.
3
Suppose 0 = 6*m - 7*m + 3*b - 12, m + 4*b = 16. Let h(o) = -o**2 - o + 2. Let t be (-4)/(-6)*-3 - 0. Let i be h(t). Solve m*c - 4*c - 20 = i for c.
-5
Let m(v) = -27*v - 102. Let d be m(-4). Solve 2 + d = 2*y for y.
4
Let a(c) be the first derivative of c**4/4 + 13*c**3/3 + 6*c**2 + 5*c + 11. Let v be a(-12). Solve v*n = n - 20 for n.
-5
Let v(g) = g + 16. Let m(h) = 2*h + 2. Let f be m(-3). Let x be 24*(1 - (-6)/f). Let i be v(x). Solve 2*u + i = -0*u for u.
-2
Let m(s) = -s**2 - 9*s - 4. Let d be m(-8). Suppose d*x + 2 - 10 = 0. Suppose 5*t - 88 + 28 = 0. Solve 0 = 2*g + x*g + t for g.
-3
Let n(f) = -f**3 + 2 - 4*f**3 + 5*f**3 - f**3. Let o be n(0). Suppose 4*b - u - u - 34 = 0, 5*b - 44 = o*u. Solve -b = 3*i - 5*i for i.
5
Let i = 3 - -6. Let b be (i/(-6))/(6/(-8)). Let u be (-2)/(-3)*2/(8/30). Solve -b*c - u + 3 = 0 for c.
-1
Suppose -4*v - 26 = -9*v - 4*j, 0 = -4*v - 5*j + 28. Suppose 0 = -v*c + 4. Solve 2*d - 4 + c = 0 for d.
1
Let n = -1 - -3. Let l be -4*(4 + 0 + -3). Let o be 3 - 4*n/l. Solve 3*p = o*p - 8 for p.
4
Let w be 9/12 - (-156)/(-16). Let y = w - -14. Suppose 0 = s + y, 5*s = -4*p + 9*s + 36. Solve 5*n - p = -29 for n.
-5
Let v = -1322 - -1324. Let a be (-12)/14*14/(-2). Solve -v*g = -10 + a for g.
2
Let p(m) = 3*m - 37. Let g be p(14). Suppose -9*d + 31 = -g. Solve 0 = -d*b - b - 25 for b.
-5
Let d = 1038 - 1038. Solve p + 3 + 1 = d for p.
-4
Let u = -124 - -124. Solve -3*i - i + 8 = u for i.
2
Suppose 0 = -3*h + 10*h - 21. Suppose z - h*z - 4*j - 4 = 0, 2*z = 2*j + 14. Solve -2*c = -c - z for c.
4
Suppose -y = 4*b - 3*y - 22, -b - 5*y - 22 = 0. Suppose 3*o = 5*d - 15, 3*d - 4*d - 15 = b*o. Suppose -3*v - v = d. Solve 3*n + 6 + 6 = v for n.
-4
Let j = -1239 + 1245. Solve j + 4 = 5*m for m.
2
Let o = -22 - -26. Suppose 0 = -3*r - o*h + 26, 0 = -5*r + 4*h + h - 15. Suppose -n - r*l = -10, 0 = 4*n + 2*l - 14 + 4. Solve -b - b + 10 = n for b.
5
Let f(i) = -3*i**2 + 3*i**2 - 5*i**2 + 1 + 4*i**2. Let g(o) = -5*o**2 + 4. Let p(d) = 11*f(d) - 2*g(d). Let a be p(0). Solve -a*m = -6*m for m.
0
Suppose -14 + 70 = 14*o. Solve 3*u = o*u for u.
0
Let g = 134 - 127. Solve -2*k - 3 = g for k.
-5
Let v be ((-60)/35)/((-6)/28). Solve -46 = -v*h - 6 for h.
5
Suppose -9*v - 2*q = -11*v + 16, 0 = -5*v - 2*q + 5. Solve j + v = 6 for j.
3
Suppose -4*c + 36 = 4*h - 9*c, 0 = 2*c. Solve -5*k + 16 = -h for k.
5
Suppose 0 = 17*l - 3*l. Solve 3*a - 2*a + 1 = l for a.
-1
Let x be ((-65)/26)/(2/(-4)). Solve -x*m = -4*m + 5 for m.
-5
Let f be (-8)/16*16/(-1). Solve 6 = -5*u + f*u for u.
2
Let i = 59 - 52. Suppose i*k - 155 = -57. Solve -k + 6 = -2*t for t.
4
Let q = -29 + 33. Suppose -43 + 3 = -q*h. Solve 6*n - n = -h for n.
-2
Let a(o) be the second derivative of o**5/20 - o**4/2 + 5*o**3/6 - 5*o. Let l be a(5). Solve -2 = -l*z + 2*z for z.
-1
Let p(q) = -210*q + 2. Let t be p(1). Let u be t/(-39)*(-6)/(-4). Solve 28 = 5*v + u for v.
4
Let f = -275 - -279. Solve 7 - f = -x for x.
-3
Suppose 10*n = 43 + 97. Solve u + n = -6*u for u.
-2
Suppose 5*a = -3*v + 255, 0 = -3*v + 4*a - 5*a + 267. Let o = v - 87. Solve -7 = -4*s - o for s.
1
Let f(n) = -3*n - 48. Let g be f(-16). Solve -2*x - 5*x - 21 = g for x.
-3
Let d = 314 + -312. Solve -d*g - 12 = g for g.
-4
Let j(r) = 2*r**2 + 15*r + 9. Let z = 34 - 41. Let u be j(z). Solve -5*s - u - 8 = 0 for s.
-2
Let f = -32 - -7. Let o = f + 28. Solve o = -5*j + 8 for j.
1
Let k 