Let m be f(4). Let t = -32 - m. Solve 3 = 3*u - t for u.
2
Let s = -34 - -24. Let q be 3 + (s/2 - 3). Let v be -3*(2 + q)/3. Solve -v - 7 = -5*i for i.
2
Let i(y) = 6*y - 19. Suppose v = 2*l + l - 17, l + 5*v + 21 = 0. Let c be i(l). Solve c*j + 8 = -7 for j.
-3
Suppose -56 - 144 = -10*u. Let s = u - 0. Solve -s = -4*o - o for o.
4
Let z(b) be the third derivative of 0*b + 1/24*b**4 - b**2 + 1/2*b**3 + 0. Let m be z(-3). Solve m = -l - 5 + 1 for l.
-4
Suppose f + 2*f = 12. Suppose 5*h - 25 = 3*m, -4*m - 15 = m - 3*h. Suppose -4*l = -m*l + x - 5, 3*l = -5*x - 9. Solve -f = -u + l*u for u.
-4
Let i be (-4)/(-3)*114/8. Let u = i - 19. Let x be 50/10 + u/(-1). Solve c - 12 = x*c for c.
-3
Suppose -3*j = 3, 5*j + 5 = -0*d - 5*d. Suppose 0 = 3*s - 8 - 4. Solve -2*v + 6 - s = d for v.
1
Let b be (4/8)/1*94. Suppose 0 = 2*t - 159 + b. Suppose 3*m = 5*d - 135, 0 = -3*d - 5*m + t + 25. Solve -5*n = -d + 2 for n.
5
Suppose 17*g - 10*g = 0. Suppose g = -8*j + 11 + 61. Solve -d = -4*d - j for d.
-3
Let b(s) = -s**3 - 2*s**2 + 5*s + 2. Let a be b(-3). Let o = a - -9. Suppose o*z + 0*l + 5*l = 35, z - 11 = -2*l. Solve -i + 8 = z*i for i.
2
Suppose 4*b + 72 = 10*b. Solve b*r = 16*r - 4 for r.
1
Suppose -4*d + 1 = -5*d. Let m be d - (-4 + (-1 - -2)). Let x(p) = 3*p - 75. Let s be x(25). Solve -m*k + s*k = -10 for k.
5
Let m be 10/(10/6 + -1). Suppose -30*g + 19 + 101 = 0. Solve g*p = -p - m for p.
-3
Suppose 3*w + 2*g = 46, -5*w + 25 + 53 = 4*g. Let c be (w/(-8))/(1/(-12)). Let p(m) = -5*m**3 - 7*m**2 - 8*m - 2. Let o be p(-1). Solve -o*z = c - 1 for z.
-5
Let s(f) = -4*f**3 + f**2 - 5*f - 2. Let n be s(-3). Let z be (-4)/n*5 - 134/(-26). Suppose 0*y = 2*y. Solve -l + z = -y*l for l.
5
Let a(k) = 26*k + 97. Let q be a(-3). Solve -q*t = -23*t for t.
0
Let w(p) = -2*p - 8. Let s be w(-5). Let z(b) = -2*b. Let c be z(-2). Let i be 1/2*(c + s). Solve -4*j = i + 17 for j.
-5
Let h(w) = 1 - 3 + w**3 + 0 + 4*w**2 - 3*w**2. Let c be h(-2). Let b = c + 11. Solve 4*i = -i - b for i.
-1
Suppose 4*y = 12 + 8. Solve 3*d = y*d - 2 for d.
1
Suppose 0 = g + 3*o - 17, -5*g = 5*o - 0*o - 75. Let u = g + -10. Suppose 24 - 8 = u*h. Solve -h*c = -1 + 13 for c.
-3
Suppose -5*o - 2 = -7. Suppose 2*d = -o + 5. Solve 3*f = d*f for f.
0
Suppose 0*y + 105 = -5*u + 4*y, -3*u - 2*y = 63. Let s = u + 23. Solve 0 = -4*c + 3*c - s for c.
-2
Let s = 185 + -185. Solve s = -g + 1 - 0 for g.
1
Suppose 6*p - 4*p = 30. Let r = p + 5. Suppose -3*w = -4*w. Solve w = -9*u + 4*u - r for u.
-4
Let i be 0 + (-4*(-2)/(-4) - 1). Let z = 11 + i. Solve z*k = 3*k - 10 for k.
-2
Suppose -4*a + 2*a - 3*v - 18 = 0, -3*v = 5*a + 27. Let g(n) = n + 4. Let i(s) = 1. Let r(p) = -g(p) + 3*i(p). Let y be r(a). Solve 0 = -0*z - y*z - 10 for z.
-5
Suppose -1 = -2*k + 3, 0 = -2*u + 3*k + 2. Suppose p + 15 = u*p. Solve v - 2*v = -p for v.
5
Let x = 530 + -519. Solve 0 = -x*z + 12*z + 5 for z.
-5
Let o(i) be the second derivative of 0 + 1/2*i**2 + 4*i - 1/3*i**3. Let x be o(-1). Solve x = -3*d - 6 for d.
-3
Let c = 553 + -550. Solve -c*n = -18*n - 60 for n.
-4
Let a be 76/20 + (-1)/(-5). Let n be a/2 - (7 + -12). Solve -n*j + 4*j = 0 for j.
0
Let o(f) be the third derivative of 0 - 1/60*f**5 + 1/3*f**3 + 0*f**4 - f**2 + 0*f. Let x be o(0). Solve -2*y + x = -0 for y.
1
Let l be (46/5)/(124/620). Solve -12*z = l + 2 for z.
-4
Let w(r) = r**2 + 2*r + 2. Let j be w(0). Suppose -i = -2 - j. Solve i*m + 6 = -6 for m.
-3
Suppose d + 7 = 10. Suppose -4*o = -4*j - 16, -3 = -o - j + d. Let y(q) = q**3 - 6*q**2 + 5*q + 4. Let z be y(o). Solve 1 = -z*l - 3 for l.
-1
Let t = 28 - 23. Suppose 0 = -t*y - 2 + 12. Solve -g + y*g = 2 for g.
2
Let l(r) = -r**2 + 17*r + 24. Let g(b) = -2*b - 2. Let h be g(-10). Let v be l(h). Let w = 2 + 1. Solve -v - w = -3*m for m.
3
Let d(i) = -i**3 - 3*i**2 - i. Let t be d(-3). Suppose 0 = 2*l - 2*v - 12, 5*l - 2*v = 12 + t. Let x(p) = 6*p - 1. Let g be x(l). Solve g*o + 0 = -5 for o.
-1
Let s be 4 + -1 - (18 - 21). Let l(t) = -t**2 + 4*t + 14. Let g be l(s). Solve g*b + 0 - 2 = 0 for b.
1
Let t(d) = -79*d + 3. Let j be t(-2). Suppose -21 = 20*k - j. Solve -w - 5 = -k for w.
2
Let d(f) = -f**2 + 6*f + 9. Let c be d(7). Let j be c + (8/(-20))/(1/5). Solve 3*r - r - 2 = j for r.
1
Let i(s) = -4*s + 29. Let v be i(6). Suppose 10*k = v*k + 15. Solve -k*d - 10 = -8*d for d.
2
Let h be (-1)/((3/204)/(-1)). Let o = h - 53. Solve 0 = y + 2*y - o for y.
5
Suppose -2*w + 3*f = -0*f - 28, w = 4*f + 4. Suppose 2*v - 23 = 3*s, s = -3*v - 0*v + 7. Suppose 4*m = 0, -v*m = 2*a - 9*m. Solve n + 4*n - w = a for n.
4
Suppose 5*u - 7 = 13. Suppose 0 = -2*k + 6, u*k - 2 = b + 10. Solve 2*n + 2 = -b*n for n.
-1
Let s = -3 + 32. Let t = 34 - s. Let b(m) = 5*m - 20. Let z be b(t). Solve v - 6*v - z = 0 for v.
-1
Suppose -t - 13 = -15. Solve 3*z + t*z = 25 for z.
5
Suppose -a - y - 5 = -2, 2 = -2*a - y. Let w be 3/((-9)/(-2))*-6. Let k be (2/w)/((-1)/8). Solve -15 = -k*q + a for q.
4
Let r be (-33)/(-55) - 9/15. Solve 0 = -j + 3 - r for j.
3
Let t be (-3)/(-1)*((-12)/(-6))/2. Suppose 0 = x - t*x. Solve x = -0*n - 3*n - 15 for n.
-5
Let d be 6 + -6*(-4)/(-8). Suppose d*z - 14*z + 33 = 0. Solve -z*t = -3 - 12 for t.
5
Suppose 41 = 2*g + 5*b, 2*g = -3*b - b + 38. Suppose 340 = 15*y - g*y. Let v be (-4)/(-18) + y/45. Solve 0 = -v*d + 6 + 14 for d.
5
Suppose -h = -6*h + 5*k + 35, -4*h + k + 13 = 0. Let q be ((-4)/(-10))/((-5)/(-100)*h). Solve -i - i = -q for i.
2
Let v = -15 - -1. Let x be (-16)/v*28/8. Solve -x*m = -2 - 18 for m.
5
Let m(f) = -13*f + 18. Let r be m(1). Solve -r*z + 3*z + 6 = 0 for z.
3
Let l = -396 - -421. Solve 4*w = -w - l for w.
-5
Let q(w) = w + 4. Suppose -5*t = -0*t + 15. Let v be q(t). Solve -2*x - v = 5 for x.
-3
Let b(j) = -j**3 - 27*j**2 - 32*j + 19. Let c be b(-26). Let w = -173 + c. Let l(s) = s**2 + 4*s + 5. Let y be l(-4). Solve 0 = -w*d + d + y for d.
5
Let h(x) = -9*x**3 - x**2 - x. Let r be h(-1). Solve -r = 4*a - 1 for a.
-2
Let u be 4*-1 - 1887/(-111). Solve -3*t = -u*t + 10 for t.
1
Suppose -2*s - 13 + 21 = 0. Solve 0 = -s*o - 11 + 19 for o.
2
Suppose 4*i + 5*z - 15 = 5*i, z - 2 = 0. Let b = 10 + i. Suppose 0 = 3*l + 2*o - 13, -7 + 2 = b*o. Solve -l = -v - 0*v for v.
5
Suppose 4*u = 21 - 5. Suppose 5 = 10*t - 5*t, -4*p - 202 = 2*t. Let x = p - -61. Solve u*w + x = -w for w.
-2
Suppose 10*i + 81 = 13*i. Suppose -14*m = i - 209. Solve 0 = -5*o + m + 7 for o.
4
Suppose 2*t + 11 = -3*j, -5*t - 277 = 5*j - 262. Solve -27*l = -t*l + 25 for l.
-1
Suppose 0 = -r - r + 8. Let t(h) = 3*h - 12. Let x be t(r). Solve -2*f + 0 - 8 = x for f.
-4
Let q = 447 + -415. Solve -q*m = -33*m - 1 for m.
-1
Let g(f) = 2 + 0 + 2 - f - 3. Let d(v) = -v + 5. Let t(r) = -d(r) - g(r). Let l be t(7). Solve o + o - l = 0 for o.
4
Let i be (-156)/(-18)*(-6)/4. Let d = i + 28. Solve 3*c + d = -0*c for c.
-5
Let z = -27 + 40. Let n = z + -12. Let k be (1 - n)/(-2 + 4). Solve k = -3*r - 7 - 2 for r.
-3
Let h(n) = n**3 + 8*n**2 - 9*n - 6. Let y be h(-7). Suppose 7*m - y = 34. Solve -5*l - m = -l for l.
-5
Suppose -2*n - 2*n - 3*d = -14, 3*d = -5*n + 16. Solve 2*w = -6 - n for w.
-4
Let c be (14 + -9)*(1 + 0). Solve 1 = -4*k + c for k.
1
Let n = -24942 + 24946. Suppose -c + g = -42, 5*c - g + 0*g - 202 = 0. Suppose 4*p = -0*p + c. Solve p = n*o - 2 for o.
3
Let h(i) = 2*i + 12. Let w be h(-4). Suppose 20 = w*y - 0*y. Solve -3 = -k - y for k.
-2
Let r(n) = 2*n - 3. Let y be r(2). Let c be (-1)/(y*(-3)/42). Let w be ((-3 - -3)*1)/(-1). Solve w = 5*z - 4 + c for z.
-2
Let r be -10*((-5)/25 + -1). Solve 0 = -0*w + 4*w + r for w.
-3
Suppose 244 = 5*l - 2*k + 3*k, -197 = -4*l + k. Solve -7*j - l = -14 for j.
-5
Let g be ((-5)/((-10)/(-8)))/(-2). Suppose -g*o + 14 = 4*f, 7 = 3*o + 3*f - 11. Let w(y) = -7*y + 1. Let p be w(-1). Solve 3 = -o*q + p for q.
1
Suppose 4*j - 2 = 14. Suppose -j*p = -2*y + 9 - 29, 4*p - 14 = 5*y. Suppose -227*d + 214*d = -39. Solve d*s - p = -18 for s.
-4
Let m(s) = -s**2 + 3*s + 4. Let v(x) = x**2 - 4*x - 5. Let h(g) = -7*m(g) - 6*v(g). Let r be h(-3). Let n be (-7)/(-28) - 7/(-4). Solve r*a = -6 + n for a.
-2
Let r be -1*5 + 189/27. Solve -2 + r = -7*f for f.
0
Suppose -5*k - 1 = -11. Suppose -4*v = -7*v + 6. Let c be (1 - -4)*v/5. Solve r - k = c*r for r.
-2
Suppose 3*s - o = 4, 4*s + 5*o - 8*o = 7. Solve -p