- 3*f - x for f.
-1
Let q = -4 - -17. Let d = 13 - q. Solve 5*n - 10 - 5 = d for n.
3
Suppose -c = 3*v - 12, 3*v = -2*v - 3*c + 20. Solve d + v - 5 = 0 for d.
1
Let c = -61 + 64. Solve 7 = 2*k - c for k.
5
Let h be (-69)/(-15) + 4/10. Solve -1 = 4*v - h for v.
1
Let f(t) = -t**3 - t**2. Let x be f(-1). Solve x = -5*z + 5 for z.
1
Let i be (4/(-3))/(-4 + 33/9). Solve -1 = i*w - 5 for w.
1
Suppose -p = -2*p, 4*g - 28 = -5*p. Let a be 3/2 - (-3)/6. Solve a = -t + g for t.
5
Suppose -9 = 2*y + y. Let p(b) = -b**3 - 2*b**2 - 4. Let d be p(y). Solve -d*u = -0*u for u.
0
Let m = 16 + -14. Suppose 5*u + 15 = l, 2*l - 11 = -u - 3. Suppose m*w = q + q - 4, -w - l*q + 16 = 0. Solve -h + 2*h = -w for h.
-1
Suppose 0 = -2*z + 5*z. Solve 0 = 4*p - z*p for p.
0
Let p = -13 - -8. Let n(y) = 1. Let c(f) = -f**2 - 4*f - 5. Let t(d) = -c(d) - 2*n(d). Let m be t(p). Solve -m = -3*h + h for h.
4
Let t(l) = 15*l - 62. Let n be t(5). Solve -5 = -4*o - n for o.
-2
Let a(i) = 4*i + 30. Let p be a(-7). Solve -4 = p*z + 2*z for z.
-1
Suppose 5 = 3*m - 2*m. Let w be 35/14*4/5. Solve 0 = w*o + 3*o + m for o.
-1
Let k(z) = -17*z. Let t be k(1). Let b = t + 23. Solve p + b = -p for p.
-3
Let g be (-444)/(-48) + (9/12)/1. Solve 2*z - g = -3*z for z.
2
Let b = 3 - 0. Let a be b/3 + 0 + 1. Let v = a - -1. Solve -5*i + 8 = -v*i for i.
4
Suppose 16 = 3*x + x. Suppose 2*j + 2*b = 0, 2*b = 5*b. Suppose -3*r + 3*v - 4*v - 2 = j, -x = 4*r + 2*v. Solve 3*i + 6 + 9 = r for i.
-5
Suppose 3 = t - 2. Solve -10 + 0 = t*c for c.
-2
Let f = -37 + 46. Solve 3*x = f + 3 for x.
4
Suppose 0 = 2*l + l - 5*h - 13, -2*h = 4*l - 26. Let j be (-2 - 0)/(3/(-6)). Suppose -8 = -j*a - 0. Solve g + a*g = l for g.
2
Let w(v) = 2*v**2 - 2*v + 12. Let p be w(0). Solve 3*a + p = 7*a for a.
3
Let p be 3 + 54/(-15) + (-39)/(-15). Let r = -6 - -10. Suppose 10 = r*b - 2. Solve p = -5*u + b*u for u.
-1
Let j(v) = -v**3 + 6*v**2 + 3*v - 7. Let u be j(7). Suppose 3*i + 0*i - 2*n = 155, -60 = -i - n. Let z = i + u. Solve -5*m + z + 0 = 0 for m.
4
Suppose -5*d + 19 = 2*y, 3*d = 1 + 8. Let s be ((-18)/(-3) + -5)*1*2. Let b be (-1 + 1)*-1*1. Solve -y*m + s + 0 = b for m.
1
Suppose -522 = 5*d + 93. Let q be d/(-18) + 1/6. Solve -2*z + q*z + 10 = 0 for z.
-2
Suppose v + v = 6. Suppose -v*h = 4*i + 1, 4*h = 1 - 13. Solve i*c = -c - 9 for c.
-3
Suppose -2 + 0 = 2*a + 2*t, -21 = -4*a + t. Solve 12 = -a*b + 4 for b.
-2
Let c(d) = 2*d**3 - d**2 - d + 1. Let w be c(1). Let m be (1 + 0)*w - -1. Solve -4*l + 14 = m for l.
3
Suppose -4*r + 4*x = -24, -r = -2*x + 4*x + 6. Let i be (-52)/(-6) - (-2)/6. Suppose 0 = 3*t - i, 0 = 4*c - 4*t + 1 + 7. Solve 3*p = -c - r for p.
-1
Let m be (-2)/((-2)/4 - 0). Let c be 44/16 + 1/m. Solve c = 2*u - 7 for u.
5
Let q be (-66)/8 - 4/(-16). Let m = -5 - q. Solve -m*v = -v - 8 for v.
4
Let j(c) = -c**2 - 4*c + 2. Let f be j(-4). Let r = f + 0. Solve 0 = 3*u - 2*u - r for u.
2
Let d = 8 - 1. Suppose -d*f = -3*f - 36. Suppose -5*m - u + 40 = 0, -2*m - 5*u + 2 = f. Solve -3*p + m = -6*p for p.
-3
Suppose 5*y + t = 6*t - 25, -2*t + 4 = 4*y. Let b = y - -3. Let c be (-1 + b - -1)*2. Solve 6*a - c*a = 0 for a.
0
Let q = -13 - -15. Solve 0*z = 2*z + q for z.
-1
Let i(s) = s**3 + 3*s**2 - 7*s - 2. Let f be i(-5). Let a = f - -42. Solve 2*p = -3*p - a for p.
-5
Suppose 0*p + 2*p + m = -1, -3*p - 3 = 3*m. Solve 4*u - 1 - 19 = p for u.
5
Let j be (-4)/4 + (-6)/(-2). Suppose j*i = -3*a + 20, -2*i + 7 = -5*a + 19. Suppose i*w = w. Solve 5*f = -w*f for f.
0
Let a(u) = u**2 + 14*u + 24. Let z be a(-12). Solve z*h = 5*h - 25 for h.
5
Suppose -2*j - 18 = 3*h, 3*h = -3*j + h - 17. Let z(x) = -x + 3. Let d be z(j). Solve d*u = 3*u + 9 for u.
3
Let n(i) = 2*i - 4. Let v be (-26)/(-10) + 2/5. Let o be n(v). Suppose o*t = 2, 3*g + 3*t = -g + 19. Solve g*a - a = -3 for a.
-1
Let n be (2 - 3)/(1/18). Let d = n - -25. Solve d*q - 15 = 2*q for q.
3
Let r be 8/12 + 12/9. Solve r*f = -0*f for f.
0
Let p = -3 + -1. Let o be ((-46)/(p + 2))/1. Solve -5*l - o = -8 for l.
-3
Let t be (0*(-3)/9)/1. Suppose -c + 4 = -t*c. Suppose 0 = -0*j - 4*j - 4*s + 32, 2*s = -c*j + 22. Solve -v = 2*v + j for v.
-1
Let f be 1*(-6 - -5) + 1/1. Solve 3*a - 8 - 7 = f for a.
5
Suppose -a - 4*a + 75 = 0. Suppose a - 55 = -2*o. Solve -3*w - 2*w = o for w.
-4
Let f(u) = -u**2 + 7*u - 2. Let t be f(5). Let l(j) = -j + 10. Let m be l(t). Solve 7*d - m*d = 5 for d.
1
Let t(g) = g**3 - 5*g**2 + 4*g + 4. Let h be t(4). Solve h = 4*i - 0 for i.
1
Let i = 20 - 14. Solve 0 = -i*x + 2*x + 4 for x.
1
Let b(j) = -2*j - 13. Let d(k) = -k - 6. Let q(i) = 2*b(i) - 5*d(i). Suppose t = -2*v - 1, -2*v - 5*t + 16 = v. Let r be q(v). Solve 2*m + r = 3 for m.
1
Let a be 4 - 4 - (-1 + -4). Suppose 0*n - a = -5*n. Solve 21 = 4*w + n for w.
5
Let w(c) = c + 4. Let t be w(-3). Suppose -2 = 2*g - 3*g. Suppose -g*x + 15 = 3*x. Solve x*a = 11 + t for a.
4
Let v(c) be the first derivative of c**2/2 + 8*c - 1. Let u be v(-8). Suppose u = -5*t + 15, -4*t = -3*s + t + 45. Solve z = -4*z - s for z.
-4
Let k(q) = q**2 - 10*q - 7. Let g be k(11). Solve g*w = w - 6 for w.
-2
Let s(i) = i**2 + i - 14. Let q be s(-6). Solve -6*w - q = -2*w for w.
-4
Suppose -15 + 3 = 4*i. Let q = i - -4. Solve -q = 2*l - 5 for l.
2
Let b(s) = 3*s**2 - 3*s - 3. Let c be b(3). Suppose -2 = -2*g + 4, 0 = -4*k - g + c. Solve -1 + k = j for j.
2
Let a(y) = 3*y + 3. Let c be a(-4). Let h be 0 - -3 - (-27)/c. Solve 2*o + h*o = -6 for o.
-3
Suppose d - 4*d + 18 = 0. Let x be ((-12)/9)/((-4)/d). Let z = x - 2. Solve -2*l - 2*l - 4 = z for l.
-1
Let v = -177 + 177. Solve v = 4*u - 5*u + 4 for u.
4
Let q(b) = 11*b**3 - 2*b - 1. Let w be q(-1). Let d be (-6)/15 - 24/w. Suppose -d = -n + 5*j + 3, j = -2*n - 1. Solve -4*c - c = n for c.
0
Suppose -c - 4*y = -16, 0 = 5*c - 4*y - y - 5. Suppose -c*w + 21 = 5*t, 4*t + 0*w + 3*w - 16 = 0. Solve t = -s - 1 for s.
-2
Let v = 1 - -8. Let y = 13 - v. Let j = -1 + y. Solve -j + 0 = -3*k for k.
1
Let c(v) = v**2 - v - 4. Let p be c(3). Solve -l + p = -1 for l.
3
Suppose 5*o - 15 = 5*z, 0 = -5*o + 4*z - 5 + 15. Let f be 54/12*o/(-1). Let p = -5 + f. Solve 0 - p = -2*d for d.
2
Suppose 4*r = -5*a + 7, 9*a = 4*r + 4*a - 17. Solve -r*c + 1 + 5 = 0 for c.
2
Let k = 6 + -2. Suppose m + 6 = k*m. Let x be 3 - 4*2/4. Solve m*w - 7 = x for w.
4
Let g = -25 - -29. Let r = -7 - -4. Let b be r/2*(-12)/9. Solve -x + b*x - g = 0 for x.
4
Suppose j - 12 = 3*j. Let t be (-3)/2*j/9. Let u be (t/2)/((-3)/(-6)). Solve u - 5 = 2*h for h.
-2
Let v(h) = -h. Let p be v(0). Let b = -6 - -9. Let w(s) = -s**3 + 4*s**2 - 4*s + 3. Let x be w(b). Solve x = k - 1 - p for k.
1
Suppose 25 = x + 4*x. Solve 2*m - x*m - 3 = 0 for m.
-1
Let g = -16 - -22. Solve -j = -3*j - g for j.
-3
Suppose -23 = -5*h + 3*o, 4*o = -4*h + 3*h. Solve 2 = -h*b - 14 for b.
-4
Suppose -12 = k + 6. Let x be k/(-12) + (-1)/(-2). Solve -b = x*b for b.
0
Let i = 50 + -45. Solve -38 = -i*y - 13 for y.
5
Let m(f) = 2*f**3 - 9*f**2 - 5*f. Let z be m(5). Let h(i) = -i + 2. Suppose 7*r - 3*x + 6 = 2*r, 5*r + 3*x = 6. Let c be h(r). Solve u - c*u + 1 = z for u.
1
Let c = -11 - -15. Suppose 0 = c*a - a - 6. Let g(s) = s**2 + 2*s. Let v be g(-4). Solve 0*x - v = a*x for x.
-4
Suppose 5*v + 0 = 35. Solve 4*b - 1 - v = 0 for b.
2
Let r = -47 - -54. Solve -3*s + r + 8 = 0 for s.
5
Suppose 0 = 36*s - 30*s - 12. Solve -6*v = -s*v + 20 for v.
-5
Suppose 0 = -13*a + 10*a + 6. Solve 4*w = a*w - 4 for w.
-2
Suppose -4 = -0*h - 2*h. Let x(l) = -l**3 + 7*l**2 - 7*l - 8. Let r be x(6). Let t = 20 + r. Solve t - h = -2*m for m.
-2
Suppose -5*d + 4 = -6. Solve -5 = d*n - 1 for n.
-2
Let m be (-1)/(-2 + 1) + 6. Let j = -5 + m. Suppose 3*s - 4 = -2*k + 11, 4*s - 12 = 0. Solve -5*i - k = j for i.
-1
Let i = -15 + 16. Let v be 4*(3/6)/i. Solve 10 = -0*h + v*h for h.
5
Suppose 0 = -4*n - 2 + 14. Let p = 14 + -23. Let q = p - -15. Solve q = -j + n for j.
-3
Suppose 7 + 11 = 3*k. Let g(o) = o**2 + 6*o - 7. Let n be g(-7). Suppose -2*l + 0 = -4. Solve n = u - k + l for u.
4
Let m(i) = 8*i**3 - i**2 + 2*i - 1. Let d be m(1). Suppose -y + 5 = -3*r - 2, 4*r + 16 = 3*y. Let j = 6 - y. Solve 2*c = -j*c + d for c.
2
Suppose -4*r - 4*d = -9*d - 5, 0 = 3*d - 9. Solve i - 6*i - r = 0 for i.
-1
Let s(l) = l**2 - 16*l - 14. Let a be s(17). Solve -a*r = 2*r for r.
0
Let r(