 + k*f for f.
-5
Let w be 6/(-3) - -4 - 1. Solve -w = 3*i - 13 for i.
4
Let c = 7 - 4. Let p = 19 + -8. Let w = 33 + -29. Solve -w*l = -p + c for l.
2
Let s(o) = -o - 2. Let y be s(-7). Let q be ((-1)/(-1))/(y/10). Solve q*j + 0 = 2 for j.
1
Suppose 1 = -t + 5. Suppose 2*d = 5*u + 37, -d + t*u = -35 + 9. Solve 2*l = -0*l + d for l.
3
Suppose -4*p + 12 = -3*w, 0 = -w - 3*w + 16. Solve -y + 25 = -p*y for y.
-5
Let s(q) = q**2 + 9*q + 6. Let z be s(-9). Solve -4*o + 2*o - z = 0 for o.
-3
Suppose -5*g + g + 72 = 0. Let y = -12 + g. Solve -y*z = -z for z.
0
Let x(n) be the third derivative of -n**4/24 + 11*n**3/6 - 3*n**2. Let a be x(9). Solve 2*b = -a*b for b.
0
Suppose -2*c + 0*c + 8 = v, -c - 14 = 5*v. Solve 2 = x + c for x.
-4
Suppose -7*z + 12*z - 5 = 0. Let x be ((-4)/8)/z*-10. Solve -2*u + 3 = x for u.
-1
Suppose 0 = -3*r + 8*r + 20. Let h be r/6*36/(-8). Solve 0 = -0*c - c - h for c.
-3
Let c be (2 - 3)/((-2)/4). Let m = 1 + c. Let l be ((-9)/m)/(0 + -1). Solve -l*k = k + 20 for k.
-5
Suppose 4*i = -i. Solve 2*f + i = 6 for f.
3
Let f(h) = -h**3 + h**2 + h + 3. Let c be f(0). Suppose -c*p + q = 4, 5*q = -0*p - 2*p + 20. Solve 4 = -t - p*t for t.
-4
Let n = -6 - -7. Solve 1 + n = -q for q.
-2
Let h = 34 + -9. Solve o - h = -4*o for o.
5
Let s(x) = -x**2 + 5*x - 1. Let i be s(5). Let b be 102/4 - i/(-2). Solve 2*r - b = 7*r for r.
-5
Suppose -8 = -w - w. Let o(x) = x + 1. Let n be o(1). Suppose a - 3 = -0*r + n*r, a - 4*r = 1. Solve -a = -3*c + w for c.
3
Suppose -4*s = -x + 2, -2*x + 2 = 4*s - 2. Solve -4*k - k + 5 = s for k.
1
Suppose 3*w + 5*o - o = 19, -w - 5*o = 12. Let h = w + -9. Solve -h - 6 = 2*s for s.
-5
Suppose -2*a = 3*g - 20, 2*g - 16 = -g - a. Solve -5*t + g + 1 = 0 for t.
1
Let l be (-144)/66 - (-4)/22. Let f = l + 4. Solve 0 = g - f*g + 5 for g.
5
Suppose -d + 5*i = -4*d - 19, -d = 2*i + 8. Solve 0 = 2*n + d*n for n.
0
Let h be 1 + -1 + 6/2. Suppose 4*g + 4*t = h*g + 18, 5*g - 5*t = -10. Solve g - 14 = 4*f for f.
-3
Let h(o) be the second derivative of -o**4/12 + o**3/2 + 4*o**2 + 2*o. Let r be h(6). Let z be 1*(-5)/(r/8). Solve -z*u + 8 - 4 = 0 for u.
1
Let f(k) = 10*k + 124. Let i be f(-12). Solve -4*x = -5*x + i for x.
4
Let u = -7 - -12. Suppose s - 5*k = -20, s - 3*k + 5 + u = 0. Let f = 20 - s. Solve 5*x - f = 5 for x.
4
Let l be 2/4*6/(-3). Let y be 2 + (-5 - l - 1). Let q be 2/y - (-2)/3. Solve -1 = -d - q*d for d.
1
Let f be 1*2 + 13 + -11. Solve -3*v = -f*v for v.
0
Suppose -5*w + 11 + 9 = 0, -3*w - 43 = -5*v. Suppose -5*i + 4*u + 146 = 0, 5*i + 3*u = i + 92. Solve -5*n = -v + i for n.
-3
Let k = 102 + -97. Solve 0 = o - k + 2 for o.
3
Let c(o) = -o**3 + 3*o**2 + 4*o + 4. Let l be c(4). Solve -l*d - 27 = -11 for d.
-4
Let q(p) = p**2 - 5*p - 2. Let o be q(6). Suppose o*c - 2 = 2. Solve n + c + 0 = 0 for n.
-1
Suppose 2*p - 32 = -r, -4*p + 79 = -3*r + 15. Suppose -2*u = 4*x + p, -4 - 6 = 5*u + 4*x. Solve u*i = -8 + 2 for i.
-3
Let z be (-280)/(-45) - 2 - (-4)/(-18). Solve 0 = z*s - 7*s for s.
0
Let f(x) = -x**2 + 4*x - 3. Let a be f(3). Let t = 1 - a. Let y be (7 - -1) + (-1 - t). Solve -y = 3*d + 6 for d.
-4
Let l be 3 + 3/(-6)*0. Suppose -l*y + 18 = 4*u - y, 4*y + 18 = u. Let m be -2*(-2 + u/(-4)). Solve m - 1 = 2*t for t.
3
Let g be (-3)/(0 - 12/28). Solve 2*j - 20 = g*j for j.
-4
Suppose -2*v - 18 = -4*v. Let i = v - 5. Suppose -3*o + 40 = i. Solve o - 3 = -3*z for z.
-3
Suppose 5*o = 4*x - 3, 4*o = 5*x - 2*x - 2. Let z = -2 - -3. Solve -i + x = -z for i.
3
Suppose -4*p = -2*i - 16, 2*i = -2*p + 28 - 8. Solve 0 = -3*v + p for v.
2
Let d = -80 + 57. Let g = 11 + d. Let s be 9/g - (-45)/12. Solve -s = 4*q + 1 for q.
-1
Let r(n) = 2*n - 7. Let f(k) = -k**3 - 5*k**2 - k. Let s be f(-5). Let l be r(s). Solve -l*t = -5*t for t.
0
Let j = 3 - -2. Suppose 0 = k + 3, -2*u = -5*u + 5*k + 24. Suppose u*a - j*a + 4 = 0. Solve 0 = a*i - 6 + 2 for i.
2
Suppose -24 = -n + 5*v + 23, 55 = 2*n + 3*v. Let q be (-146)/(-9) + n/(-144). Solve 4*y + q = -4 for y.
-5
Suppose -5*o + 4 = -1. Let z be ((-3 - -2)*o)/1. Let t be -2 + z/(-1)*30. Solve -8 + t = 5*f for f.
4
Suppose -15*d + 20*d - 20 = 0. Solve z - 15 = d*z for z.
-5
Let x be (-48)/36*3/(-2) + 2. Solve 0 = -x*s - 0*s + 4 for s.
1
Let r be (-32)/(-8)*(0 - -1). Suppose r*m + 18 = -2*d, -4*d - m - 6 = m. Solve n - 3 = -d for n.
2
Suppose n + l - 2 = 0, -5*n - 4*l + 3 + 2 = 0. Let v be 3 + (-2)/((-2)/n). Solve 0 = -5*q - v*q - 25 for q.
-5
Let n = -8 + 12. Suppose -3*u - p - 2*p - 15 = 0, 0 = u + n*p + 17. Let k = u - -5. Solve 20 = -0*m + k*m for m.
5
Let l = 17 - 12. Let g = -1 - -2. Solve -l = -m - g for m.
4
Suppose -j + 0*x + 2 = -2*x, 3*x + 12 = 3*j. Suppose 5*w + 5*c = 3*c - 34, -2*w - 16 = 2*c. Let z = w + j. Solve z = 4*a + a - 20 for a.
4
Suppose -5*u - 4*a = 2 - 5, 0 = u + 2*a - 3. Let x be (6/15)/(u/(-5)). Suppose -4*i - x*m + 8 = -m, -2*m - 2 = 2*i. Solve -i*y = 3 - 0 for y.
-1
Let t be 34/10 + 16/(-40). Solve 0*a - 15 = t*a for a.
-5
Let m = 14 + -9. Suppose m*h = h. Suppose 2*t + 50 = 3*s + 4*t, 3*s + 5*t - 35 = h. Solve 4*g = -g + s for g.
4
Let q(k) = -k**2 - 2*k - 1. Let o be q(2). Let w be (-2)/(1 - o/(-8)). Let m be (w - -2)*4/6. Solve 0*v - m = -3*v for v.
4
Suppose -q + 6*q = -5*u + 35, 4*u + q - 16 = 0. Solve -u*w - 20 = 2*w for w.
-4
Let j be (-1)/(-1) - (9 - 12). Solve -j*g + g = 3 for g.
-1
Let u(q) = 2*q**2 - 2*q + 3. Let v be u(2). Suppose -7 - v = 2*g. Let z = 11 + g. Solve -3*l - z = l for l.
-1
Suppose 3*d + 2*d - 15 = 0. Solve 2*p + d*p = 0 for p.
0
Let o(w) = w**3 + 7*w**2 - 9*w. Let b(j) = j**3 - 4*j**2 + 4*j + 1. Let r be b(3). Suppose -r*t = -0*t + 32. Let s be o(t). Solve n - s = -3*n for n.
2
Let o(f) = 33*f**3 - f**2 + f + 2. Let x be o(-1). Let h = -13 - x. Solve 0 = 4*g + g - h for g.
4
Suppose -k - a + 282 = 2*k, -2*k - 2*a + 192 = 0. Suppose l - k = -0*l. Suppose 18 - l = -5*i. Solve -3*x + 6*x = -i for x.
-5
Let g = 1 + 2. Let x(v) = -v + 2*v - 3*v**2 - 2 + v**g + 4*v. Let y be x(3). Solve y = 5*k + 38 for k.
-5
Suppose 11 + 15 = 2*j. Let a = j - 8. Solve -19 - 6 = a*m for m.
-5
Suppose -2*j = -j + 2*o - 1, 0 = -2*j - 5*o + 5. Let n = 8 + j. Suppose -n*a + 5 = -2*a. Solve -a*w + 0 = -5 for w.
1
Suppose 4*u = u. Suppose 5*j - 24 = j. Suppose 3*f + j = 0, 0 = g + 3*f - 2 - 0. Solve u = -h - 3*h - g for h.
-2
Let b(c) = c**2 + 6*c + 5. Let o be b(-6). Solve -o*v = -3*v for v.
0
Let v(c) = c**2 - 4*c - 3. Let o be v(5). Suppose o*t + 4*m + 10 = -t, t + 18 = -5*m. Solve 0*b - t*b = 6 for b.
-3
Let m(k) = k**3 + 7*k**2 - 9*k + 4. Let u be m(-8). Suppose -4*t + u = -0*t. Solve 0 = -t*s - 10 + 4 for s.
-2
Let h be (0/5)/(0 + (2 - 4)). Solve h = -a - 0*a for a.
0
Let u(q) = q**2 - 5*q - 6. Let z be u(6). Solve 2*h - 1 - 3 = z for h.
2
Suppose 0 = 7*n - 2*n. Suppose 2*s - s = n. Solve 0 = 4*k - s + 4 for k.
-1
Let f be (-8)/(-20) - (-42)/(-5). Let k be (-4)/f*-2*1. Let m(s) = -14*s + 1. Let i be m(k). Solve 0 = 4*z - 5 - i for z.
5
Let g(r) = 3*r + 7. Let n(t) = -4*t - 8. Let o(l) = -5*g(l) - 4*n(l). Let p be o(6). Solve p*m - 6*m = 0 for m.
0
Let f(g) = -g - 4. Let r be f(-4). Solve r*h - 4 = h for h.
-4
Suppose 3*r + 9 + 6 = -3*p, 23 = -5*p - 4*r. Let s be (p/(-6))/(2/48). Solve -x - s = 2*x for x.
-4
Let u = -83 + 86. Solve -u*j = -7*j + 16 for j.
4
Let p = -19 + 22. Solve -p*i = -5*i for i.
0
Let b = -9 - -13. Let c = -4 + b. Solve -g + 5 = -c for g.
5
Suppose -3*y = -2*b - 16, -5*y + 31 = -b + 2*b. Solve 2*v = -v - y for v.
-2
Suppose -4*f = -n + 20, n = -n - 4*f - 20. Let k(z) = -z + 9. Let u be k(7). Solve n = -5*y - u - 8 for y.
-2
Suppose 0 = -2*r + 4*w - 4, 2*r - 5*w = -6 - 0. Solve -r*b - 20 = -6*b for b.
5
Suppose 3*i = -2*n + 22, -i = 4*n + 3*i - 40. Let y be (-74)/n + (-1)/(-4). Let t = 12 + y. Solve 5 = t*u + 2 for u.
1
Let p(o) = o**2 + o - 1. Let m(k) = -3*k**2 + 3. Let v(r) = -m(r) - 4*p(r). Let b be v(-3). Solve -4 - 8 = -b*j for j.
3
Let i = 2 - -3. Suppose -i*a = -2*a + 5*v - 35, a + 4*v = 21. Solve a*m + 8 = 3 for m.
-1
Suppose 6*z - z = 0. Solve 2*a = -z*a for a.
0
Let h = -14 + 5. Let w(p) = -2 + p - 3*p + p + 1. Let o be w(h). Solve -d = 3*d + o for d.
-2
Let v be 0/(-2 + 3) + 10. Solve -8*p - v = -3*p for p.
-2
Let r = 6 + -4. Let q = -35 - -35. Suppose 0 = -8*l - q*l + 16. Solve r*v - 20 = -l*v for v.
5
Let t(l) = 0 