f for f.
-1
Suppose -544 = 9*i - i. Let n be ((-2)/(-7) - 0) + i/238. Let x = -4 - -4. Solve n = -k + 2 - x for k.
2
Suppose 2*s = -0 + 12. Solve -7*z + s*z = 5 for z.
-5
Let a be 1 + 2/((-2)/17). Suppose 11*s = 5*s + 6. Let i be a/(1 + -5) + s. Solve -10 = i*g - 10*g for g.
2
Let c = 89 - 131. Let i be (2 + -1)/(3 - c/(-15)). Solve 0 = 3*r - i*r - 6 for r.
-3
Let t be 22/4 - 3/6. Suppose 20 = -4*u + 8. Let s(k) = k**2 + 3*k. Let o be s(u). Solve o*m = 5*m + t for m.
-1
Let c(g) be the third derivative of g**5/30 + g**4/12 - 5*g**2. Let z be c(0). Solve 4*b - b - 15 = z for b.
5
Let k be ((-3)/(-1) + 3)/2. Let x be ((-4)/(-5))/((-12)/30). Let r be (-2)/((x/5)/1). Solve k*a + 7 + r = 0 for a.
-4
Let d be (0/(-1))/((-2)/(-5)*-5). Suppose -2 + d = -i. Solve 0 = 4*w - i*w - 4 for w.
2
Let v(z) be the first derivative of z**3/3 + 4*z**2 + 20*z - 8. Let j be v(-8). Let i(m) = -m**3 + 4*m**2. Let x be i(4). Solve j = 4*s - x*s for s.
5
Suppose 11 = -7*h - 31. Suppose 0 = -0*t - 4*t - 28. Let m = h - t. Solve 4 = 5*r - m for r.
1
Suppose 0 = i + 6*i - 70. Suppose -i*n = -0*n - 50. Solve -n = 3*v + 7 for v.
-4
Let a(j) = -j**3 - 6*j**2 - 6*j - 1. Let i be a(-5). Suppose i*b - 20 = -0*b. Suppose 0*k + 3 = 2*k - 3*y, -b*y = -4*k + 9. Solve 2*t = k - 2 for t.
2
Suppose 5*c + 6*u = 10*u + 21, 4*c = 4*u + 16. Solve -v - c*v + 30 = 0 for v.
5
Let j be -6 - (5 - 9) - (-6)/2. Let w be 16*j/(-1)*3/(-12). Let l(b) = -b**2 - 7*b - 6. Let m be l(-6). Solve 2*k - w*k + 2 = m for k.
1
Suppose 22 - 58 = -4*o. Suppose -j - 5 = 4*c - 6*c, -3*c + 5 = -2*j. Suppose j*l + 4 = o*l. Solve l = g + 3 for g.
-2
Let p(o) = -o + 4. Let g be p(4). Let t(h) = -53*h + 1699. Let a be t(32). Solve -a*j - 9 = -g for j.
-3
Suppose 45 = 2*q - 3*i, -4*q + 2*i + 112 = 2. Solve -5 = 7*w + q for w.
-5
Suppose 0 = 8*b + 27*b - 3955. Solve 115*c = b*c + 6 for c.
3
Let l be 212/20 - (-5)/50*-6. Solve 0 = -l*c + 8*c + 6 for c.
3
Suppose z = -5*q + 27, 2*q - 7 = 2*z - 1. Suppose -3*i + 3*w - w = -1, -q*w = -i - 4. Solve 3 = j + i for j.
2
Let n(j) = -j**2 + 20*j - 18. Let r be n(19). Solve 7*v + r = 8 for v.
1
Let q(v) = 2. Let d(y) = 3*y + 7. Let t(g) = -d(g) + 2*q(g). Let s be t(-1). Solve -b - 2 - 2 = s for b.
-4
Let l be 6/(-8)*(-12 - -8). Let x(d) = -3*d + 1 - d + l*d. Let j be x(-2). Solve j*i + 25 = -2*i for i.
-5
Suppose 2*r + 3*k = 8*k + 33, -3 = r + 4*k. Solve 6*p - 3*p = -r for p.
-3
Let m(l) = 2*l**2 - 9*l - 2. Let s be m(5). Let u = 28 - 26. Let w(x) = -x + 11. Let q be w(0). Solve u*y = -q + s for y.
-4
Suppose -4*b - 5 = -13, 4*m = -b - 2. Let r be 1 - (m + 0 + 1). Solve r = -2*x - 5 for x.
-3
Let j be -1*((4 - 6) + 0). Suppose j*u - 13 = -9. Solve -u*h - 1 = 1 for h.
-1
Let z = -84 - -86. Solve -c = -0*c + z for c.
-2
Let p be (1/3)/((-9)/(-1323)). Solve -7*w + 14 - p = 0 for w.
-5
Let k(y) = y + 1. Let q(l) = -6*l - 14. Let m(p) = -3*k(p) - q(p). Let n(t) = 4*t + 16. Let f(h) = -7*m(h) + 5*n(h). Let c be f(0). Solve 5*i + c = -2 for i.
-1
Let g(f) = 2*f**2 - 32*f + 131. Let c be g(7). Solve 0 = -c*y + 14 + 6 for y.
4
Let n be (-2)/6 - 470/(-15). Let a = -31 + n. Solve a*u + u = 0 for u.
0
Suppose -65 = -5*f - 0*f - 3*h, -4*f - 2*h + 50 = 0. Solve 15 - f = p for p.
5
Let p = 3 - 1. Let z be ((-6)/(-3))/p*24. Suppose 4*v = -5*w + 37, 2*w = 6*v - 3*v + z. Solve 4*n + w - 1 = 0 for n.
-2
Let p(w) = 15*w - 56. Let s be p(9). Solve 2 = 81*u - s*u for u.
1
Let x = -36 + 10. Let q be (-12)/78 - 56/x. Solve 7*i = q*i + 20 for i.
4
Let b = 1 - 1. Suppose -n - 4*j = -5*n, 0 = -2*n + 4*j - 10. Suppose 2*l - 4*f - 35 = f, -n*l + 3*f = -40. Solve b*c - l = -5*c for c.
1
Suppose -160*b + 371 = -153*b. Solve -b = 9*a - 26 for a.
-3
Let d = -10 + 13. Suppose d*n = 7 + 14. Solve 2 = -p + n for p.
5
Suppose -4*g - 34 = -2*b, 0*g + 3 = -g. Solve -b*s = -9*s + 10 for s.
-5
Suppose -p + 5*l = p + 47, 4*l + 68 = -5*p. Let y = -27 - p. Let j be (-1)/(-2 - -1) - y. Solve -m + 5*m = j for m.
3
Let d be (2 - (-30)/(-21))/(3/21). Suppose d*k = -j + 1, 2*j + 3 = 5*j. Solve x = -k*x - 2 for x.
-2
Let f(c) = -144*c + 746. Let r be f(5). Solve 0 = 20*q + 6*q + r for q.
-1
Suppose 2*k + 0*k + 16 = 0. Suppose 0 = 9*j - 10*j. Let z = j - k. Solve -u + 5*u = -z for u.
-2
Suppose -2*h - 4 = -4*h. Let i = 11 - 6. Suppose 3*o = -5*u + 4, u - i*u - 3*o = -2. Solve -6 = h*j + u for j.
-4
Let d(q) = -15*q - 6. Let s be d(-2). Let l = -19 + s. Solve -3 = l*f + 12 for f.
-3
Let d be (-825)/(-198)*2*3. Solve -5*p + d = -10*p for p.
-5
Suppose -5*s - x + 13 + 2 = 0, 4*x = s + 18. Suppose 2*a + g - 15 = 0, 7*g = -2*a + s*g + 19. Solve 0 = -a*p + 6*p - 4 for p.
-4
Let t(w) = 2*w + 16. Let z be t(-6). Suppose 7 - 15 = -z*l. Solve l*g - 7*g = -5 for g.
1
Let c be -3*(-5)/3*(-4)/(-10). Let a be (-20)/6*54/45. Let n = 0 - a. Solve -c*r = 2 + n for r.
-3
Let j = 20 + -27. Let s be (0/j)/((-1)/(-1)). Solve s*u = 3*u - 12 for u.
4
Let u(k) = 17*k**3 - 6*k**2 + 3*k. Let h be u(1). Solve -i - h = -14 for i.
0
Let h(z) = -3*z**3 + 3*z**2. Let t be h(2). Let k be 3*(-8)/t + -1. Solve 0 = -2*p - k + 3 for p.
1
Let h = 294 - 265. Solve 5*m - 34*m = -h for m.
1
Let t = -3 + 6. Suppose 0 = t*c + y - 4*y - 9, 5*c - y - 3 = 0. Solve -8 + c = 4*j for j.
-2
Let u(b) = -2*b**2 + 9*b + 22. Suppose -40 = 13*s - 118. Let a be u(s). Solve -2*l - a = -0 for l.
-2
Let o(m) = m**3 - 7*m**2 + m + 8. Let c be o(7). Let l be 2/(c/(-25) + 1). Solve l*a - 24 + 4 = 0 for a.
4
Let r = 12 - 15. Let g(l) = -l**2 + l. Let i be g(r). Let u = i - -15. Solve -c = u*c for c.
0
Let m be 2/9 - 66/297. Solve -36*j + 39*j + 6 = m for j.
-2
Suppose 5*a - 185 = -60. Suppose -2*r = -7*r + a. Let b = -6 + 9. Solve j + r = b for j.
-2
Let a be -2*3/(-12)*0. Let l = 3 - -3. Suppose -21 + l = -5*h. Solve 0*p - 3*p + h = a for p.
1
Suppose -4*z - z = 4*t - 149, -t + 35 = 2*z. Suppose k + t = 49. Solve -k = 5*s - 3 for s.
-1
Let v be (180/96 - 2) + 2/16. Solve v = 8*m - 6*m + 6 for m.
-3
Suppose -64*s + 69*s - 45 = 0. Solve -s*i - 9 = -12*i for i.
3
Suppose -z = 5, 2*z + 25 = 2*k - 3*z. Let u(m) = m**3 + m**2 + 5. Let r be u(k). Solve r*h = 2*h - 15 for h.
-5
Let m be (15/9)/(3/9). Let p = 20 - m. Suppose -8*z + 3*z + p = 0. Solve 0 = -z*o + 4*o for o.
0
Let z be (-24)/28*7/(-2). Solve -z*d = -5 + 8 for d.
-1
Let m = -484 - -511. Solve -4*q = -11 + m for q.
-4
Let j = -42 - -45. Suppose 127*m - 125*m = 10. Solve 4*y = j*y + m for y.
5
Suppose -2*l - 2*l = -8. Suppose -2*s + 4*c = -s + 3, 0 = 2*s + l*c - 24. Let w(m) = -m**3 + 9*m**2 + 5. Let o be w(s). Solve -o*f = -0*f for f.
0
Let q(w) = -w + 8. Let j = 10 + -8. Suppose 4*a + 2 = -j*m, -a = -3*m - 5*a + 3. Let v be q(m). Solve 0*c + v*c + 9 = 0 for c.
-3
Let w be (-45)/12*(-5)/(-9)*-12. Solve -w*i + 13 = -112 for i.
5
Let r(z) be the first derivative of -z**4/4 + 4*z**3/3 - z**2 + z - 1. Let v be r(3). Suppose -v*s + 8*s - 4 = 0. Solve -3*b + s = -2 for b.
1
Suppose 2*q - 5*a - 6 = -3*a, 2*q + 4*a - 36 = 0. Suppose -10*v + 10 = -q*v. Solve 20 = -v*b - 5 for b.
-5
Suppose 15*w - 21*w - 432 = 0. Let f = 74 + w. Solve f = -n + 1 for n.
-1
Let x = 17 + -46. Let v = 32 + x. Solve -12 = -v*r - 0*r for r.
4
Suppose -l + 6 - 1 = 0. Suppose 3*p = 5*v + 21 + 13, -l*v = p + 22. Let c be ((-10)/p)/(18/(-27)). Solve -c*o = 16 - 1 for o.
-3
Let y be 2 + (28/(-8) - -4)*16. Solve -19*a = -14*a + y for a.
-2
Let a(h) = -h + 5. Let q be a(5). Suppose -4*p = -41 - 11. Let k(y) = y**3 - 12*y**2 - 12*y - 10. Let w be k(p). Solve q*s - s = w for s.
-3
Let q be (10/16)/(75/600). Solve q*t - 14*t - 9 = 0 for t.
-1
Let p(g) = 3*g - 6. Let n be p(4). Suppose 0*t = -2*t + 8. Suppose 2*j = 4*j - t. Solve b + j*b - n = 0 for b.
2
Let y(r) = -3*r + 34. Let b be y(9). Solve b*v = 5*v - 2 for v.
-1
Let k be (4/(-3)*-1)/(20/30). Suppose 3*d - d + 5*p - 10 = 0, 2*p - 15 = -3*d. Solve -6 = k*a - d*a for a.
2
Suppose -5*p + c = -6*p + 2, 3*c - 6 = 0. Solve -w - 4*w - 5 = p for w.
-1
Let w be ((-6)/(-4))/(6/4). Suppose -3*s - w + 10 = 0. Suppose -4*g - s*p + 3 = 0, g - p + 2 = p. Solve j + g*j + 5 = 0 for j.
-5
Suppose -18 = -4*o - 5*p, 0 = 4*o - 0*p + 2*p - 12. Suppose -o*v + 51 - 17 = -m, 4*m = -8. Solve 0*g + 4*g + v = 0 for g.
-4
Let v = -8 - -21. Let l(a) = 6*a**2 + a. Let c = -3 + 2. Let g be l(c). Solve -g*o + v = -7 for o.
4
Let r be (-1)/(-5)*3*5. L