 -a*f + 4 for f.
1
Let k = 39 - 67. Let a = -20 - k. Suppose -a = -r + 17. Solve -r + 10 = 3*z for z.
-5
Suppose 0 = 18*m + 70 - 322. Solve -5*u + m = 9 for u.
1
Suppose 0 = -2*l + 5*m - 9, 0 = 2*l + m - 10 + 1. Suppose 23*g - 27 = 42. Solve -l*c + g = -0*c for c.
1
Suppose 0 = -7*r + 6*r + 9. Let v = 14 - r. Solve -v*q + 1 = 6 for q.
-1
Suppose 0 = 11*l + 24*l. Solve l = 11*k - 15*k + 12 for k.
3
Let x(j) = 2*j**3 - 35*j**2 + 7*j - 51. Let m(q) = -q**3 + 17*q**2 - 4*q + 26. Let v(k) = -5*m(k) - 3*x(k). Let y be v(20). Solve y*d = -d + 20 for d.
5
Let l(o) = -2*o**2 - 18*o - 10. Let p be l(-8). Solve -4 - p = 2*f for f.
-5
Suppose 2*p + 3 = -3*r - 2*p, 4*r = -4*p. Let z(x) = -x**3 - 2*x**2 - 4*x - 4. Let c be z(-2). Suppose 9 = c*s + 1. Solve -a - r = s*a for a.
-1
Let j be (2 - (-384)/10) + (-6)/15. Let x be 48/10 - (-8)/j. Solve x*b + 31 - 6 = 0 for b.
-5
Suppose w + h + 7 - 22 = 0, -60 = -4*w - 2*h. Solve -4*k + w = -1 for k.
4
Let i be 42/11 + 2/11. Suppose 11 - 31 = -4*z. Let n = z + -5. Solve n = m - i*m for m.
0
Suppose 25*p = 29*p - 12. Solve -h - p*h = 12 for h.
-3
Suppose 25*c = 5*c - 3*c. Solve -12*v + c = 12 for v.
-1
Suppose -2*o = 3*u + 2*o - 371, -o - 4 = 0. Let h be u/45 + (-8)/(-60). Solve h*k - 3 = 4*k for k.
-3
Suppose -72 + 72 = -38*q. Solve -5*o + 1 + 19 = q for o.
4
Suppose 43*f + 3 = 42*f + 5*r, 3*r - 1 = f. Solve f*o + 3*o + 20 = 0 for o.
-4
Let r = 94 - -16. Let b be r/9 - (-4)/(-18). Let f be (-8)/b + (-52)/(-6). Solve 3*i = -i + f for i.
2
Let b be 132/1 - (-3 + 2). Suppose -5*o - 4*g = -b, 2*g + g - 78 = -3*o. Solve -5*n = 4 - o for n.
5
Suppose 3*g + 5*c + 20 = -48, 4*c - 112 = 4*g. Suppose 2*k = -19 - 13. Let w = k - g. Solve b = -b + w for b.
5
Let m = -4 + 11. Suppose -9*j - 44 = -116. Suppose p - j = 2*k - m*k, 2*k + 4*p + 4 = 0. Solve -17 = -3*u - k for u.
5
Let c(k) = 162*k - 806. Let s be c(5). Solve w = 5*w - s for w.
1
Let k be 3 - (-42)/6 - 2. Solve -q = -3*q - k for q.
-4
Let l(m) = -717*m - 3 + m**3 + 5*m**2 + 7 + 724*m. Let b be l(-2). Solve -4 = w - b*w for w.
4
Let b(x) = x**3 - x + 5. Let a be b(0). Suppose -3*c = -4*v - 7 - 2, a*c - 15 = -v. Let h = -74 - -74. Solve -w = -h*w + c for w.
-3
Let j be 1/((-2)/(-18)) - 4. Suppose -4*w = j*n + 10, -w = -4*w + 2*n + 4. Solve w = -2*s + 4*s for s.
0
Suppose 161 - 56 = 5*v. Suppose 4*h = -3*m - 50, -h + 10 = -2*h - 2*m. Let b be 6/h + 51/v. Solve -b*l = 2*l + 8 for l.
-2
Let i = 37 - 43. Let s(o) = -o**2 - 7*o + 4. Let u be s(i). Solve -3*h + 5*h + u = 0 for h.
-5
Let z be -3 + 26*(-1 - -2). Suppose -5*y + z = 3. Let x(g) = g**3 - 3*g**2 - 2*g - 4. Let m be x(y). Solve -v = -1 + m for v.
-3
Suppose -6*y + y = -j - 18, 26 = 5*y + 3*j. Let x be (-1)/(y - (-81)/(-21)). Let m(k) = -k + 2. Let o be m(x). Solve -21 = 3*s - o for s.
-4
Let t = 19 - 34. Let r = t + 15. Suppose -4*z - 12 = 0, a + 3*a - 3*z - 21 = r. Solve 0 = -0*q + 3*q - a for q.
1
Let c = -231 + 233. Solve 4*w + c = -2 for w.
-1
Let t(u) be the second derivative of 0 + 0*u**4 - 4*u + 0*u**2 + 1/20*u**5 - 1/6*u**3. Let o be t(0). Solve 3*d = -o*d for d.
0
Suppose a - 13 = -17, -4*y + 164 = 5*a. Solve -y*m = -36*m for m.
0
Let k(v) = v**3 + v**2 - 1. Let f(m) = -17*m**3 + 4*m**2 - 3. Let x(z) = f(z) - 2*k(z). Let p be x(-1). Solve -4*l - l = -p for l.
4
Let a be (108/(-60))/(1 + 13/(-10)). Suppose a + 21 = j. Solve 5*g + 2 = j for g.
5
Let m be 147/98 + 315/2. Solve -m*p = -163*p - 8 for p.
-2
Suppose 0 = -7*s + 3*s + 20. Solve i - 1 + s = 0 for i.
-4
Let c = -70 - -75. Solve c*q = 2*q - 12 for q.
-4
Suppose -4*d - 3*l = -176, -2*d + 53 + 53 = -3*l. Let p = -45 + d. Solve p = -2*w - 6 for w.
-4
Let r(y) = y**3 - 10*y**2 + 5*y - 8. Let s be r(10). Let b be s/(-9)*18/(-21). Suppose -b = -4*q + 4*f - 16, -f = -4*q - 3. Solve 0 = 4*p - q*p + 12 for p.
-3
Suppose 6*d = 5*s + 3*d - 9, -3*d = 5*s + 9. Let h be (-24)/6 - (-14 - s). Solve -2 = -4*w - h for w.
-2
Suppose -11 = 31*w - 290. Solve 0 = -4*k - w + 1 for k.
-2
Let w be (5 + (2 - 10))/(-3). Solve -15*b + 14*b - w = 0 for b.
-1
Let k be 0/(1/(2/(-4))). Let i(q) = -q**3 - 12*q**2 + 15*q + 29. Let s be i(-13). Solve -s*x + x - 6 = k for x.
-3
Suppose x + 3*t + 8 = 0, 3 + 13 = 3*x - t. Suppose x*j - 20 = -j. Solve -j*z - z = 0 for z.
0
Let c(t) = 5*t - 10. Let i(n) = -n**2 - 7*n - 10. Let q be i(-4). Let m be c(q). Solve -k + 6*k - 5 = m for k.
1
Let n be (-3)/(-1 + -2) - (-8 - -5). Suppose n*c = 2*c. Solve c = -6*j + 4*j + 6 for j.
3
Let d(k) = -k. Let j be d(-6). Suppose 0 = 4*v + j - 14. Suppose 4*y = -4*n + 52, -v*n + 35 = -3*y + 2*y. Solve 3*h + 7 = n for h.
3
Let r be ((-12)/(-14))/(300/42 + -7). Let q = 0 - -5. Suppose -q*f + 19 = -r. Solve f = -5*g - 0 for g.
-1
Let r(c) = -c + 3. Suppose -7 = 3*w - 10. Let a be r(w). Suppose -5*s + 12 = -a*s. Solve 5*b - 16 = s for b.
4
Let t = 13 + -8. Suppose 0 = t*i - 4*i + 16. Let l = i - -31. Solve 5*s + l - 5 = 0 for s.
-2
Let z(y) = y**2 + 8*y + 10. Let p = -1 - 7. Let t be z(p). Suppose 0 = 5*o, 5*i + 7 = -5*o + 27. Solve -d - i*d + t = 0 for d.
2
Suppose -4*a - x = -61, -31*a - 4*x = -34*a + 22. Solve -a*p + 15 = -41 for p.
4
Suppose 6*n - 14 = -n. Suppose 0 = -n*o - 2 + 10. Solve 2 = 2*w - o for w.
3
Suppose 4*a - 3*v + 4*v - 53 = 0, 33 = 4*a - 3*v. Let p be (-3)/2*a/(-9). Solve l = -p + 7 for l.
5
Let r = -4 - -6. Let q(u) = -5*u**3 - 2*u**2 - u. Let p be q(-1). Suppose -3*c - 2*j = 3*j - 17, -4*c + p*j + 12 = 0. Solve r*a = -0 + c for a.
2
Let p be (-6)/((-2)/1) + (-59 - -56). Solve p = 2*x - 6 for x.
3
Let f be (-6)/(-10)*(35 + -40). Let m = f - -5. Let h(k) = -k - 1. Let a be h(-3). Solve m*i - 4 = -a*i for i.
1
Let i be (-4 + 18/4)*10. Let v(x) = -x**2 + 4*x + 5. Let o be v(i). Solve -4*j + 7 + 1 = o for j.
2
Let o(i) = -51*i - 1007. Let m be o(-20). Solve -m*c + 26 = -0*c for c.
2
Let p = -606 - -737. Solve 0 = 2*m + 125 - p for m.
3
Suppose -154 = -8*v - 114. Solve -2*n + v = 15 for n.
-5
Let f = -93 + 51. Let z be (-1 - -4) + f + 4. Let l be 10/z - 2/(-7). Solve l*h = h + 5 for h.
-5
Let w = -42 + 30. Let s be w/(-7) + 8/28. Suppose -s*p = -p. Solve 4*c - 4 = -p*c for c.
1
Let u = 64 - 40. Suppose n = 4*y - 3, 2*y - u = -0*n - 4*n. Solve y*s + 2 = -8 for s.
-5
Suppose -14*k + 36 = -11*k. Let a be (k + -8)*6/8. Suppose -a*n + 19 = 3*h - 17, -2*n = h - 19. Solve -n*q + 15 = -4*q for q.
5
Let j(n) = 2*n - 10. Let l be j(5). Suppose l*f + 3*f + 32 = 5*x, 5*f = -5*x. Solve d - x = -6 for d.
-2
Let z = 7 + -5. Suppose 0 = 4*r - 21 + 1. Let s = r + -5. Solve -2*n - z - 2 = s for n.
-2
Suppose -4*n - 5 = -3*n. Let h be -5*1*2/n. Let i = -378 + 380. Solve -h*f - i*f = -16 for f.
4
Let j = 16 - 12. Suppose 3*n - 2*k = -26, -j*k + 1 - 9 = 0. Let g be (-116)/n + (-4)/(-10). Solve 3 = 5*a - g for a.
3
Let r(n) = -n + 12. Let y be r(0). Suppose 3*h = 2*w + h - y, 4 = w + h. Solve w*f + 17 = 2 for f.
-3
Let o be (-15)/((-25)/10 + 1). Let q = o - 7. Solve -17 = 4*f + q for f.
-5
Suppose 0 = 3*l - 4*k + 5, 0 = -2*l + 5*k - 15. Suppose l*p - 29 = -4. Solve p*m + 6 = -4 for m.
-2
Let k(r) = 27*r + 251. Let s be k(-9). Solve s = -7*m - 6 for m.
-2
Suppose 2*j + 5*o + 35 = 5*j, 5*j + 2*o = 17. Let h be 6/(j/(3 - -2)). Solve -z - z = -h for z.
3
Let l(d) = -4*d**2 - 1. Let q be l(1). Let g be (4 - 1)/((-384)/(-78) + -5). Let s be g/(-15) - 2/q. Solve 0*p = -s*p for p.
0
Suppose -4*b - 3*v - 2 = 14, -b + 4*v = 23. Let m = -3 - b. Suppose 0*c = m*c. Solve c = 5*s - 5 + 10 for s.
-1
Let w = -182 - -55. Let j = w - -127. Solve y = -j*y for y.
0
Let l(s) = -109*s - 62. Let c be l(-1). Solve 0 = c*t - 49*t + 6 for t.
3
Suppose -4*l + 0*l + 16 = 0. Let c(i) = i**3 - 2*i**2 - 2*i + 4. Let m be c(3). Suppose -2*w + z = -24, 5*w - 4*z = 8*w - 47. Solve -l*b - m = w for b.
-5
Suppose 3*g - 23 = 2*v, -2*g + 11*v - 6*v = -19. Solve -g*s + 13 + 1 = 0 for s.
2
Let v(n) = n**2 - 9*n - 36. Let d be v(-3). Solve 8*k = -d*k - 16 for k.
-2
Let j(q) = 9*q + 117. Let h be j(-12). Solve -h - 11 = 4*f for f.
-5
Suppose 48 = 4*p + 4*m, 0 = -3*p - m + 6*m + 52. Let w(t) = 3*t - 40. Let g be w(p). Solve 10 = -g*z - 0*z for z.
-5
Let j be (13/2)/(8/16). Let h = j + -13. Suppose -s + 5 = -t, h = -s - 2*t + 20 - 0. Solve 3*g + s = g for g.
-5
Let g be 14 - ((-3)/6 - (-3)/(-6)). Solve b = -4*b + g for b.
3
Let u(o) = -o + 25. Let w be u(20