or f.
-4
Let a = 114 + -109. Suppose -16*c = -a*c - 33. Solve y - 8 = c*y for y.
-4
Let m(h) be the third derivative of 1/2*h**3 + 0*h**4 + 1/120*h**6 + 1/20*h**5 + 0 + 3*h**2 + 0*h. Let x be m(-3). Solve -7*r + x*r = 8 for r.
-2
Let s be -1*(32 - -3)/(-5). Suppose 0 = 2*w - s - 5. Solve -w*i = -i + 5 for i.
-1
Let k = 1 + 2. Let c(b) = -2*b - b + b**3 - 4*b**2 - 17 + 10 + 0*b. Let j be c(5). Solve k*t - j = 4*t for t.
-3
Suppose -41 = 41*s - 205. Solve -3*f + s = 7 for f.
-1
Suppose 4*v + 3*l + 9 = 0, -3*v + 3 = -5*l - 12. Solve b + 2 - 1 = v for b.
-1
Let c = 67 + -99. Let g = c + 35. Solve -1 + g = o for o.
2
Let f be ((-4)/(-2) + -1)/(1/(-4)). Let k(q) = -q**2 + 2*q + 31. Let h be k(f). Solve -2*r + 20 = -h*r for r.
-4
Let j be ((-102)/(-12))/((-1)/2). Let d = -15 - j. Suppose d*n + 2*n = 24. Solve -n = -6*c + 3*c for c.
2
Let r(p) = 2*p**2 + 11*p - 10. Let u be 1/(2 + ((-66)/21 - -1)). Let k be r(u). Solve 0 = -3*m + k + 4 for m.
5
Suppose -190*u = -197*u + 63. Solve -4*d - 20 = -u*d for d.
4
Suppose 2 - 7 = -i. Suppose -10 = 4*w + i*h, 5*w + 5*h = -9 - 1. Let m be ((-36)/15)/(-4) - (-946)/215. Solve m*f + 10 + 10 = w for f.
-4
Let k be -1*((-52)/(-2))/(-2). Suppose -5*g - 5*v - 15 = 0, -1 + k = -4*v. Solve s + 2 + 0 = g for s.
-2
Suppose 3*u - 2*a = -5 + 43, -2*u = 3*a - 47. Solve 14*o - u*o = -10 for o.
5
Let s = 12 + -9. Suppose 0 = -7*r + s*r - 4. Let k be (-1 + 1/(-1))*r. Solve 0 = k*d - 7*d - 15 for d.
-3
Let a be 258/24 - (-2)/8. Solve -2*n - a = -21 for n.
5
Let r = -3 - -5. Suppose 0 = -2*m - r*m + 16. Let p be (m/(-8)*0)/(-1). Solve -a + 3 = -p*a for a.
3
Let y = -536 + 544. Solve 0 = -4*p + y*p - 12 for p.
3
Let a(l) = l**2 + 7*l + 9. Let r = -1 + -5. Let u be a(r). Let d(i) = -i**2 + 5*i - 2. Let y be d(u). Solve 0 = -3*j - y - 8 for j.
-4
Let x = 172 + -169. Solve -12 = x*c - 0*c for c.
-4
Let z(u) = -4*u - 5. Let x be z(-13). Suppose -9*y + x = 11. Solve -y*h = 3 - 15 for h.
3
Suppose -y + 0 = -3, -2*c = 5*y - 35. Solve 14*p = 16*p + c for p.
-5
Let x be 2 + -1 + (3 - 3). Let s be (x + 0)*(1 - -4 - 5). Solve f + 2 + 0 = s for f.
-2
Suppose 7 = 5*v - 8. Solve v*q = q - 6 for q.
-3
Suppose 2*w = 7*w - 20. Suppose 6*l + 20 = 2*q + 3*l, w = 4*q + 3*l. Let m be (2/4)/(1/q). Solve -3*y - m*y = -10 for y.
2
Suppose 5*f - 32 = -3*f. Let q = 2 + f. Suppose 9 = 4*g - 3*c, 2*g = -c - c - q. Solve 2*k - 6 = -g*k for k.
3
Let x = -103 + 130. Solve -x = -4*n - 47 for n.
-5
Let o be (-6 - 0)/(14/(-35)). Solve o*b = 10*b - 20 for b.
-4
Let c = 0 - -2. Let y = c + -2. Let a = -3 - -6. Solve -v - 4 + a = y for v.
-1
Let k(l) = -l**3 - 12*l**2. Let j(o) = o**3 + 3*o**2 + o + 8. Let p be j(-4). Let w be k(p). Solve s + 2*s + 9 = w for s.
-3
Let x be (40/12)/((-28)/36 + 1). Suppose -x*q + 179 = 14. Solve -t + 9 = q for t.
-2
Suppose 5*d + 105 = 26*d. Solve 10 - d = m for m.
5
Let t be (1 - 44/8)/((-6)/20). Solve 7*u + t = -6 for u.
-3
Suppose -4*z - 97 - 131 = -4*x, 2*z + 166 = 3*x. Suppose 0 = 4*y - x - 28. Suppose 14*s - 32 = 24. Solve y = h + s*h for h.
4
Suppose -9*g - 2092 = -2137. Let f be 0*((-2)/(-1))/4. Solve f = g*c - 9 - 1 for c.
2
Let w(d) = d - 1. Let x(n) = -n**3. Let o be x(-1). Let z be w(o). Let q be (-9)/(-6)*(2 - z). Solve 9 = 3*s - q for s.
4
Let h = -1 + 1. Let s be 3 - (-1 - (-2 - -2)). Let n be s + -7 - -5 - -3. Solve h = -n*d - 0 - 20 for d.
-4
Let n = 1027 - 1019. Solve 6 = -n*b - 34 for b.
-5
Let l = -5 - -7. Let b be (-1)/(l/((-6)/3)). Let i = 12 + -9. Solve -i*f + 13 = b for f.
4
Let l = 1772 - 1755. Solve -l + 2 = -5*z for z.
3
Let c(z) = 29*z - 69. Let h be c(3). Solve j + 5*j + h = 0 for j.
-3
Let s = -13767 - -13769. Let m be 2/((-2*1)/(-2)). Solve -k = -m - s for k.
4
Let u be 627/152 - 3/24. Solve 10 = u*q - 2 for q.
3
Let u be 1/(9 + 0 + (-1474)/165). Let l = -2 + 2. Solve u = 5*v - l for v.
3
Let l(m) = 2*m**3 + 5*m**2 + 2*m. Let f be l(-3). Let o = 21 + f. Solve -3*y = -0*y - o for y.
2
Let n = 38 - 33. Suppose 3 = 4*s - n. Solve s = -j - 0*j for j.
-2
Let z(o) = 10*o**2 - 12 - o**3 - 13*o**2 + 9*o**2 - 2*o. Let x be z(5). Solve 0*i + i = x for i.
3
Let v = -391 + 403. Solve 0 = 7*t - t - v for t.
2
Let v(q) = q**3 - 9*q**2 - 10*q + 4. Let u = -63 + 73. Let i be v(u). Solve 0 = -2*t + i*t + 2 for t.
-1
Let r(q) = -q - 5. Let k be r(-3). Let v be (9 - 1)/(-2 + 2 - k). Solve -8 + v = d for d.
-4
Let i(m) = 13*m**3 - 2*m + 1. Let z = 6 + -5. Let x be i(z). Solve 5*c - c = x for c.
3
Let k be (-1)/(-5) + (-1482)/(-190). Solve 2*p = -0*p + k for p.
4
Let c(q) = q**2 - 10*q + q - 5 + q**2. Let t be c(5). Solve -3*n - 12 = -t*n for n.
-4
Let s be 2/10 - 56/(-20). Suppose s*q - 5 = 4. Solve 3*h + q = -3 for h.
-2
Let z = -9 + 13. Let t be -4 + 10 + 10/(-5). Solve -t*w = -z - 8 for w.
3
Suppose 3*d = d + 54. Let n be 4/(-3)*d/9. Let h be n - (3 + 2 + -11). Solve -h*v = -v for v.
0
Let r = -306 + 313. Solve r*w = 35 - 0 for w.
5
Suppose -7 - 2 = -3*t + 4*g, 0 = 3*g. Solve -19*m - t = -22*m for m.
1
Let h(q) = -q**2 + 9*q - 7. Let w be h(9). Let f = w - -3. Let n = f + 8. Solve -12 = -p + n*p for p.
-4
Suppose -7*k + 3*k + 3*m + 14 = 0, m = 3*k - 13. Let u = 2 - 1. Solve -24 = k*h + u for h.
-5
Suppose -2*p + 30 = 4*m, -4*m + 35 = -5*p + 8*p. Solve m = 3*j + 20 for j.
-5
Let r(z) = -2*z**3 - z**2 + z + 3. Let w be r(-1). Suppose 11 = -w*s + 23. Solve 0 + 20 = -s*d for d.
-5
Suppose 0 = -2*w - 4, -3*w + 3 - 9 = -i. Let v = -6 - -9. Solve i = -5*j + 23 - v for j.
4
Suppose -189 = -17*b + 1120. Solve 32 = -15*r + b for r.
3
Suppose -g + 101 = u, 0*u + u = g - 93. Suppose -3*x + g = 5*q, -2*q = 3*q - 3*x - 103. Solve -2*f - 2*f = q for f.
-5
Suppose -165*h + 153*h = -24. Solve -25 = -h*q + 7*q for q.
-5
Let q be 5/(10/(-4)) - -1. Let m be (q - -2)*(-2)/(-1). Let w = -114 - -114. Solve w*l + 8 = m*l for l.
4
Let f be -1 - 3*(-4)/3. Let d = 15 + -11. Solve d*p + 19 = f for p.
-4
Let s(o) = -5*o - 9. Let h be s(-3). Suppose -h = 5*r - 26, -5*r + 5 = -3*a. Solve 0 = -0*l - a*l + 10 for l.
2
Suppose -b = 3*m + 1 + 2, -3*b - 2*m = -5. Solve 10 = -b*n - 2 for n.
-4
Let f(o) = -6*o + 32. Let h be f(5). Solve -t = t + h for t.
-1
Let w(l) = -l**3 - 37*l**2 - 34*l + 83. Let i be w(-36). Solve 13*a - i*a = 4 for a.
2
Let w(l) = 0*l - 3 + l**2 + l + 4*l. Let u be w(-6). Solve -n = u*n + 12 for n.
-3
Let j be 3/(-2) + 2 + (-339)/(-6). Let p = 58 - j. Solve 0 = -m + p - 2 for m.
-1
Let f = -201 + 204. Let c(l) = l**2 + 4*l - 2. Let n be c(-5). Suppose -2*r = t - 7*r - 20, n*t + r = 60. Solve f*o + t = -o for o.
-5
Let t(r) = 9*r**2 - 61*r + 42. Let x be t(6). Solve 384*v - 381*v + 6 = x for v.
-2
Suppose 4*h - 22 = -3*w + w, -h - 22 = -5*w. Suppose 5*j = h*p + 19, -p - 13 = -j - 2*j. Suppose 3*k = -2*k + 5. Solve j - k = -f for f.
-4
Let z(s) = 24*s**3 + 2*s**2 - 4*s + 3. Let g be z(1). Suppose -22*h = -17*h - g. Solve c + 0 = h for c.
5
Suppose -2*i - 3*w = 0, 2*w = -2*i + w + 4. Suppose -i*n + 20 = 2*n. Solve 7*t - 3*t = n for t.
1
Let l(b) = 10*b - 4. Let v = 3 + 2. Let y be l(v). Let i be 14/(-49) + y/14. Solve -i*j + j - 8 = 0 for j.
-4
Let l = 1114 + -1114. Solve l = h + 6 - 10 for h.
4
Let t be -1 + (26 - -4) - 4. Let z = -18 + t. Solve 3*p + z = -2 for p.
-3
Let w(u) = u**2 - 5*u - 19. Let z be w(8). Let b be (-3 - -4)*1 + 3. Solve z - b = a for a.
1
Let z(r) = 83*r - 411. Let v be z(5). Solve 0*d = -v*d for d.
0
Let x = 13 - 7. Suppose q - 2*a + x = 5, -4*a = q - 5. Solve -4*n + q - 13 = 0 for n.
-3
Suppose 15*k - 13*k = 4*y - 52, -5*k + 65 = 3*y. Solve 22*x - 28 = y*x for x.
4
Suppose 5*z - 5*f - 50 = -2*f, 19 = 2*z - f. Suppose 0 = l - 3 - 9. Suppose 2*i + 5*n + 4 = -l, -2*i + n + 8 = 0. Solve -10 = -z*c + i*c for c.
2
Let g be 2120/15 + 16/6. Solve 0 = 9*x + g - 153 for x.
1
Let l = 1007 - 978. Solve 0 = -l*h + 32*h + 9 for h.
-3
Let v be -1 + (-609)/(-119) + 2/(-17). Let o(f) = 10*f - 36. Let c be o(v). Solve c*a = -a + 25 for a.
5
Let j = -27 - -18. Let z be j/(-4) - 3/(-4). Suppose 3*k + z*a = 7 - 19, 5*k = -3*a - 12. Solve 3*p - 3 + 0 = k for p.
1
Suppose 3*c + 193 = 196. Solve 4*g + 11 = -c for g.
-3
Let y(x) = -8*x - 14. Let r be y(-2). Suppose -k - 5 = -2*k. Solve -r*u = -u - k for u.
5
Suppose -5*w - 8 = 82. Let i = w - -15. Let b be (1 + i - -6) + 1. Solve 15 = -b*o - 10 for o.
-5
Let z = 1 + -1. Solve 3*k - 5*k