2
Suppose -3*j = -5 - 4. Solve j*f + f = -16 for f.
-4
Suppose 0 = -0*h + 2*h - 16. Suppose -2*w = -c + 5, -5*w + c - 2 - 3 = 0. Solve w = 3*o + h + 7 for o.
-5
Suppose 2*w + 4*d = 14, -5*w + 2*d = -0*d + 1. Let v be 121/44 - w/(-4). Solve 0 + 9 = v*s for s.
3
Let a(b) = -b**2 + 9*b - 4. Let q be a(9). Let g = q + 6. Suppose -y - g = -9. Solve -2*o = 3 - y for o.
2
Let r be 2/5 + 8/(-20). Let h be (4 + -24)/(r - 1). Suppose 3*a + 4 = 5*k - 6, -4*k + h = 0. Solve -15 = -5*q + a for q.
4
Suppose -46 = -3*z + 53. Let b be z/9 - 3/(-9). Solve b*d = -1 - 15 for d.
-4
Suppose -9 - 16 = -5*x. Suppose 4*h = x*f + 32, -7 = -3*h - f - 2. Solve -h*l = -l - 6 for l.
3
Suppose 100 = v + 3*v. Suppose -3 = -2*a + 1. Suppose 26 = 4*x - a*u, -x - 3*u + 9 + 1 = 0. Solve 0 = -x*q + 2*q + v for q.
5
Let m(a) = -a + a**2 + 0*a**2 + 0*a**2. Let v be m(1). Solve -4*o + v + 4 = 0 for o.
1
Let j = 21 - 21. Solve 4*d - 2 - 2 = j for d.
1
Let l be (3 - 1) + 0 + 30. Suppose -u = z - 1 - 26, u = 4*z + l. Solve u = -5*h + 8 for h.
-4
Suppose 4*b + 3*w - 16 = -w, -3*b - 4*w = -16. Solve -a + 0 + 3 = b for a.
3
Let x(b) = -b**3 + 4*b**2 - b + 6. Let m be x(4). Let o(n) = -n + 3. Let k be o(0). Solve -m*w + 1 = -k for w.
2
Let q = -4 - -5. Let r(x) = -4 - 2 + 2 + 2 + 5*x. Let m be r(1). Solve m = -4*z - q for z.
-1
Suppose -9 + 3 = -2*i. Let o(q) = q + 5 + q - 4*q**i - 4. Let j be o(-1). Solve j*r + r = 20 for r.
5
Let x = -63 + 72. Solve 3*n - 6 - x = 0 for n.
5
Suppose 2*k + 3*k = 30. Let q be ((-4)/5)/(2/(-5)). Let l be (-3 - -10) + q*-1. Solve 0 = -l*z + k - 1 for z.
1
Let f = -16 + 18. Solve 2*s + f*s = 4 for s.
1
Let o(i) be the first derivative of -i**4/4 + 4*i**3/3 + 5*i**2/2 + 4*i - 2. Let y be o(5). Solve y*s = 8*s for s.
0
Let a be ((-9)/(-3))/1*1. Suppose -8*v = -a*v - 15. Solve -v*u + 5 = -7 for u.
4
Let a be 8/((-48)/9)*-2. Solve -3*i + 3 = -a for i.
2
Let c = -4 - -6. Let t be 4/10*(1 + 4). Suppose 0 = t*w - 5*r - 4, -4*r + 5 - 1 = c*w. Solve -3*o + o = w for o.
-1
Let p = 10 + -16. Suppose 0 = -5*x - 2*f + 273, x - 83 = 3*f - 25. Let a be x/15 + (-2)/p. Solve 12 = -a*d - 8 for d.
-5
Suppose 2*m = 5*o - 20, 2*o - 4*o + 2*m + 14 = 0. Suppose -o*z = 3*z. Suppose -2*k + 0*k + 16 = z. Solve k = n + 3 for n.
5
Let f = -3 + 5. Let k be (-3)/(-1 + 1/4). Suppose -p - 10 = -k*p + z, 0 = -2*z - f. Solve -p*x - 6 = -0*x for x.
-2
Let k(g) = g - 11. Let s be k(14). Suppose 3*c = -s + 15. Solve -c*q - q = -5 for q.
1
Let i(m) = -m - 1. Let x(q) = 4*q + 5. Let w(t) = 5*i(t) + x(t). Let v be w(-2). Solve j + v = 2*j for j.
2
Let r = 5 - 45. Let t be ((-2)/(-4))/((-5)/r). Solve -7*c + 3*c = t for c.
-1
Suppose 5*c - 9 = 2*c. Let a be (-1)/c*(-15 - -9). Solve 1 + a = -3*j for j.
-1
Let q be 4*(-12)/(-16) - (2 + -1). Solve -m - 3 = q*m for m.
-1
Suppose -11 = -3*s + 4*v, 2 = -5*s - v + 28. Solve 6*j - s*j + 3 = 0 for j.
-3
Suppose -2*f - 3*d + 15 = -0*d, -4*d + 9 = -f. Solve -f + 18 = 5*q for q.
3
Let k = 7 - 6. Solve a - 5 = -k for a.
4
Let n be (-2)/(-3) + (-171)/(-27). Solve 0 = -4*c - n + 23 for c.
4
Suppose 3*t + 4*c = -2*t + 32, 3 = -3*t + 5*c. Solve 0 = t*i + 6 + 2 for i.
-2
Suppose 0 = -4*o + 30 + 2. Solve -o = -5*w + 2 for w.
2
Let y(m) = m + 16. Let k be y(-11). Solve -k = -2*h - 15 for h.
-5
Let z be (7 - 6)/(1/(-2)). Let p be 3/z + (-33)/(-6). Solve -2 = -p*h - 10 for h.
-2
Suppose -y - 2 = y. Let k(t) = 22*t + 1. Let r be k(y). Let n be (-69)/r + 4/(-14). Solve -n*z + 4*z - 2 = 0 for z.
2
Let t be 2 - ((2 - 1) + 25). Let a = t + 44. Solve -5*b - a = -b for b.
-5
Suppose -3*s + 0*y = -3*y - 45, s + 4*y = 15. Solve 35 = 4*u + s for u.
5
Let d be 2 - (-37 + (2 - 0)). Suppose 23 + d = 5*v. Let s = -5 - -8. Solve -v = -s*l - l for l.
3
Let s(m) be the third derivative of m**6/120 + m**5/6 - m**4/24 - m**3 + 3*m**2. Let h be s(-10). Suppose 7 = h*p - 1. Solve p*w + w = -12 for w.
-4
Let g be 16/6 - (-48)/(-72). Solve 0 = g*m - 2 - 2 for m.
2
Let c be (-4)/10 + (-62)/(-5). Let a be (-3)/c + 63/12. Solve -1 = 2*g - a for g.
2
Suppose -u - 3*u - 32 = -4*l, 5 = -5*l - 4*u. Solve -x - l*x = 12 for x.
-3
Let z(k) = -k**2 - 6*k + 4. Let c be z(-6). Suppose 2*p - 30 = -c*q, p - 6*q = -3*q - 10. Solve -p*t = -0*t - 10 for t.
2
Let g = -23 + 28. Solve h = g*h for h.
0
Let s(y) = 2 + 3*y**3 + 3*y**2 + y**3 - 5*y**3 + 2*y. Let o be s(3). Solve p + 3*p - o = 0 for p.
2
Let u(o) = 4 + 3*o + o - 3 - o**2. Let n be u(3). Suppose -4*w - 5*m + 5 = 0, 3*w - n*w = -5*m - 20. Solve -1 = -x - w for x.
-4
Let b be 13/3 + (-8)/24. Suppose 4*j + b = 20. Solve -5 = j*f - 1 for f.
-1
Let y be 0 - (-3 - (-3 - -4)). Solve -9 = y*l + 3 for l.
-3
Let c be (-99)/(-27) - 2/3. Solve 0*k - k = -c for k.
3
Let f = 12 + -7. Let r(t) = t**3 + 5*t**2 + 5*t + 3. Let j be r(-3). Solve j*o = f*o - 4 for o.
-4
Let f be -1*(8/2 + -12). Let r = f + 12. Solve -5*v - r = -0*v for v.
-4
Let l = 13 - 8. Let c = 51 - 13. Solve 13 = -l*u + c for u.
5
Let d be (-69)/6 - (-3)/6. Let q be ((d - 0)*1)/(-1). Solve 3 = 4*x + q for x.
-2
Let j(n) = n**3 - n**2 - 3*n + 2. Let b be j(0). Solve -6 = -f - b*f for f.
2
Let p be (0 - 1)/((-3)/12). Suppose 3*f + 25 = p. Let g = 12 + f. Solve 5 = -g*m - 20 for m.
-5
Let s(c) = -2*c - 18. Let a be s(-9). Solve a = 4*d - 3*d + 4 for d.
-4
Let c be 0*2/(-8)*-2. Suppose 3*y - 2*r + 3*r - 6 = 0, -2*y + 5*r + 21 = c. Solve -3*x + 12 + y = 0 for x.
5
Suppose 13*b - 90 = -2*b. Solve -4*w = -b + 22 for w.
-4
Let l(r) = -r - 4. Suppose 18 = -5*p + 2*y, 2*p + 4*y + 20 = -2*p. Let s be l(p). Suppose -4*o + s = 2*i - 4, -3*i = 4*o. Solve -o*z = z for z.
0
Let t(v) = -3*v. Let q be t(-1). Let p = 4 - 3. Solve 0 = r - p - q for r.
4
Let q(g) = g**2 - 3*g + 8. Let b be q(7). Suppose -2*d + b = 2*d. Suppose -4*t + x - 4*x = d, -5*x = 4*t + 15. Solve t*y - y = 4 for y.
-4
Let d be 0 + (28/4 - -1). Let b = 9 - d. Solve 4*j + 5 = b for j.
-1
Let s = 9 + -5. Solve 10 + 6 = s*t for t.
4
Let b = 13 + -22. Let o = 13 + b. Solve -o*l = -9*l + 20 for l.
4
Suppose -v = -1 - 2. Suppose -19 = -2*j + 3*x, 2*j = x - v*x + 14. Solve -j = -5*a + 12 for a.
4
Let w be 1 - (-3 + 0 + 2). Suppose -4*t = -0*t. Suppose -w*y + 6 = -t*y. Solve -j - 4 = -y*j for j.
2
Let j(m) = m**2 - 11*m + 4. Let p be j(11). Solve b = p*b for b.
0
Suppose j - 3*j = 3*j. Solve j = -5*m + m + 4 for m.
1
Suppose 20 = -7*x + 3*x, 18 = q - 3*x. Suppose 2*i + 0 = q*l - 8, -4*l = 4*i + 16. Solve 0*v + 3*v = l for v.
0
Let q(p) = -p**2 + 6*p - 1. Let z be 3 - -1*(-1 - 1). Let r be (2/z)/2*4. Let f be q(r). Solve -2*a - 5 = -f*a for a.
1
Let w = 51 - 48. Solve w = 2*j + j for j.
1
Suppose 4*m - 13 = -5*c, -5*m + 5 = -2*c + 6*c. Let t be (2 - 3) + 2*13. Suppose p = -4*p + t, -25 = 5*i - 5*p. Solve o + i - c = 0 for o.
5
Let z(n) = -4*n - 10. Let t(g) = 2*g**2 + 9*g + 1. Let h be t(-4). Let b be z(h). Solve -s - b = s for s.
-1
Suppose 0 = 2*n + n. Let x(u) = u + 3. Let m be x(n). Suppose -m*y = 2*y - 10. Solve 0 = y*w - 4 - 6 for w.
5
Suppose 2 = -4*o + 14. Solve -n = -o*n + 6 for n.
3
Suppose 4*b - 17 + 5 = 0. Solve 0 = -b*a + a for a.
0
Let t(d) = -d**3 - 29*d**2 + 29*d - 18. Let g be t(-30). Solve 10*p - g = 13*p for p.
-4
Let m be (-50)/(-6)*(-63)/(-35) + 1. Solve 0 = -k + 12 - m for k.
-4
Suppose 5*s - 4*p - 73 - 30 = 0, -s = -2*p - 23. Let w(d) = -d**3 + 4*d**2 + 6*d - 4. Let r be w(5). Suppose 5 = 2*z - r. Solve z*o = -s + 7 for o.
-4
Suppose -4*z = 6*t - t - 28, 4*t - 8 = 4*z. Solve -3*l = -8 + z for l.
2
Suppose -5 = -h - 11. Let q be (-1 - -8) + 24/h. Let j be ((-52)/6)/((-2)/3). Solve -4*p - j = q for p.
-4
Let f = -22 - -19. Let g(k) = k**2 + 3*k + 4. Let l be g(f). Solve 6 = 5*c - l for c.
2
Suppose 2*b - 24 = -4*b. Solve 0*u - b*u = 8 for u.
-2
Suppose 0 = 5*c - 2*b - 2, 3 - 1 = -3*c - 2*b. Suppose 5*j + 10 = c, 0*j + 5*j = u - 8. Let l be (-4)/4 - (-1 + u). Solve -l*t - 2*t - 12 = 0 for t.
-3
Let i be (-24)/(-54)*(-18)/(-4). Suppose 3*h + 0*h = 15. Solve 13 = -h*r - i for r.
-3
Suppose 27 = 3*i + 3*h, 0 = 3*i + 2*h + 2*h - 28. Let x be ((-10)/i)/(1/(-4)). Solve r - x = -0 for r.
5
Suppose -4 + 13 = 3*a. Solve -a*l + 2*l = 0 for l.
0
Suppose 25*j = 28*j - 9. Solve j*q = 7*q - 4 for q.
1
Let w be (-6)/(-4) + 117/18. Solve u + w = -u for u.
-4
Let l(d) = d**2 + 7*d + 5. Let q be l(-7). Solve 0*a + a = q for a.
5
Let d(u) = -u + 13. Let 