3*w. Solve p = 5*u - x*u for u.
0
Suppose -o = 3, -3*t + 8*t - 5*o - 95 = 0. Solve -2*w = 2*w + t for w.
-4
Let u be (-1)/(-3) - 32/6. Let k be 8/u*(-15)/6. Suppose 0 = -5*l - 2*m + 2, l + 2*m + k = -2. Solve -3*o + l*o = -3 for o.
3
Suppose -s + 2*s - 4 = 0. Solve s*k - 5*k + 5 = 0 for k.
5
Let p be (-3 + 3)/(6/(-3)). Suppose p = -v + 4*v - 4*d + 6, 0 = -d + 3. Suppose v*u = 3*u, 0 = 5*y - u - 10. Solve y*s + 3 = -s for s.
-1
Suppose -1 - 9 = -3*v + 5*d, 5*d + 10 = -3*v. Suppose -8*w + 10*w - 2 = v. Solve -w = c + 3 for c.
-4
Let m(v) = -v**3 + 7*v**2 - 5*v - 1. Let i be m(6). Solve -i*c + 0*c = 20 for c.
-4
Suppose 7*d = 11*d. Let i(k) = -11*k + 1. Let a be i(-1). Solve f + 3*f + a = d for f.
-3
Let o be 16/(-24) - (-28)/6. Suppose 0*i - o*x - 22 = -2*i, 5*x = -i - 17. Solve -i*d = -0*d for d.
0
Let k be ((-27)/15)/(12/(-40)). Solve 0 + k = 3*z for z.
2
Let v(d) = -2*d**2 + 0 + 3 + 3*d**2 - 7*d + 3. Let c be v(6). Suppose -4*z + 2*z = c. Solve z = -3*r + 7*r for r.
0
Suppose 13*f - 4 = 9. Solve -f = -g + 3 for g.
4
Suppose 2*x + 2*y = -2, -5 - 8 = -2*x + 3*y. Solve 0 = -x*u - u + 6 for u.
2
Let u be (1 - -2)*20/15. Let v(a) = 3*a + 1. Let w be v(1). Let f = w - u. Solve f = 4*n - 2 + 22 for n.
-5
Let a = -1 + 3. Let d be (-1 + -1 + a)/(-1). Solve -3*f + 1 - 13 = d for f.
-4
Let a(i) = i**3 + 7*i**2 + 2. Let h be a(-7). Solve 2 = -h*b - 2 for b.
-2
Let b(p) = 2*p**2 - 3*p. Let r be b(2). Let d be (-1)/(1/(-6)*r). Suppose -d*v + 2*v = -3. Solve 14 = -v*t - 1 for t.
-5
Let m(a) = a. Let p be m(5). Solve -o - 4*o = -p for o.
1
Let y be 2/4 - 5/2. Let m be (6 + y)*(1 + 0). Solve -10 = -3*z - m for z.
2
Suppose x = -4*x - 10. Let k = x - 1. Let t = k - -5. Solve -n = -0*n + t for n.
-2
Let k(w) = 8*w**2 + 3*w. Let f be k(-2). Solve 5*u + 11 = f for u.
3
Suppose 0*j - 2 = 4*j - 2*t, 3*t = 2*j - 5. Suppose 2*i - 10 = -5*k, 0*i + 3*i = -5*k + 15. Let w = k - j. Solve 4 + 4 = -w*c for c.
-4
Suppose 3*x + b = 2, -3*x + 2*x + 4*b = -18. Solve -2*v - x*v = 20 for v.
-5
Suppose 0*w - 4*w + 48 = o, -w + o + 12 = 0. Solve 2*t = -t - w for t.
-4
Suppose 9 = 3*j + 4*o, -4*o + 7 = 2*j - 3. Let k(d) be the first derivative of -d**4/2 + d**3/3 + d**2/2 + d + 15. Let f be k(j). Solve 0 = 2*y - f - 1 for y.
2
Let h be (-12 - 1)*(-5)/5. Solve -h + 5 = -2*v for v.
4
Let p(l) be the first derivative of -l**2/2 + 14*l - 2. Let j be p(14). Solve c + 1 = -j for c.
-1
Suppose -33 = -2*p - 0*p + 5*y, -18 = -2*p + 2*y. Suppose 8*t - 3*t + p = 4*w, 2*t - 2*w = -2. Solve t = z + 2*z + 15 for z.
-5
Suppose -d - 1 = -i, d - i = -5*i + 24. Solve q + d = -q for q.
-2
Let f(m) = -2*m - 7. Let s be f(-5). Let v = 68 + -67. Solve s*k + 11 = -v for k.
-4
Let r = -1 + 0. Let t = 1 - r. Solve -f - t = 1 for f.
-3
Let p be 36/84 + 25/7. Solve 0 = p*z - 10 + 2 for z.
2
Let m = 10 - 8. Solve -3*a + 20 = m*a for a.
4
Let p(y) = 2*y + 17. Let l be p(-7). Suppose -l*k = -6*k. Solve k = 5*r - 4 - 16 for r.
4
Suppose -3*b - 3*s - 6 = 0, 0*s - 3*s - 7 = 4*b. Let m = 1 + b. Solve m*w = -4*w + 20 for w.
5
Let l(w) = -w**3 + 3*w**2 + 5*w - 4. Let j be l(4). Solve 2*r - 4 - 2 = j for r.
3
Let o(i) = -i + 16. Let b be o(11). Solve b*p = 2*p + 12 for p.
4
Suppose 7*c - 2*c + 2 = -4*h, 4*c = 3*h - 14. Suppose -3*b - f + 2*f + 24 = 0, 4*b - h*f - 32 = 0. Solve -16 = -b*g + 4*g for g.
4
Let l be ((-6)/(-5))/(10/25). Let k be (-32)/3*30/(-20). Solve -l*y + k = 4 for y.
4
Let x = 13 + -1. Suppose -3*k + 34 = k + 3*w, -k + w + x = 0. Let u be (-2)/(-5) + 46/k. Solve u*j = j for j.
0
Let i = 12 - 3. Suppose -2*j - 2 = -4. Let h(v) = 5*v**2 + 4*v + 3. Let o be h(-1). Solve j = o*m + i for m.
-2
Let l(o) = o**3 + o**2 + o + 2. Let v be l(0). Let i = 3 - 2. Solve v*x - 3 = -i for x.
1
Suppose 8 + 4 = 3*m. Let l = m - 0. Let d be (l/(-2))/(-2) + 2. Solve x = d*x + 10 for x.
-5
Let t(f) = -2*f - 11. Let s be t(-7). Solve 0 = -s*y + 5*y + 8 for y.
-4
Let l(r) = -r**3 - 11*r**2 - 9*r + 2. Let n be l(-10). Let c = n - -10. Solve c*q - 7*q - 20 = 0 for q.
-4
Suppose -4*o - p + 0*p + 22 = 0, -5 = -3*o + 5*p. Suppose -o*b = -10*b + 10. Solve b*q = 2 - 12 for q.
-5
Suppose 13 + 7 = 5*a. Solve 3*z + a = 2*z for z.
-4
Suppose -3*r + 2 = -r. Solve 0 = -a - 2 + r for a.
-1
Suppose 5*c = -4*a - 15, 4*c + 6 = -6. Suppose 3*y + 4*z - 6 = a, 2 = y + z + 2*z. Suppose -4*h + 5*h - y = 0. Solve 3 + h = 5*v for v.
1
Let a = 9 - 9. Suppose 2*y + 12 = 2*f + f, 5*f + 2*y - 4 = a. Solve -2 - f = -o for o.
4
Let q(p) = p**2 + 5*p - 4. Let h be q(-5). Let i = h + 7. Solve 0 = -i*r - r - 16 for r.
-4
Let i be (-4)/(-2)*25/(-10). Let y(d) = d**3 - 5*d**2 - 3*d - 7. Let w be y(6). Let x = i + w. Solve -9 = -3*z + x for z.
5
Let o(s) = 2*s - 2. Let g be o(-2). Let x be (-2 - g)*(-10)/(-8). Suppose -2 = 3*v + 2*w - 3*w, -3*v = -x*w + 10. Solve v*q + 4 = 2*q for q.
2
Let l(a) = -a**2 + 4*a + 2. Let t be l(5). Suppose 0 = r + 1 + 3. Let y be 8/t*6/r. Solve o = -y*o + 5 for o.
1
Let z(j) = -j**2 - 4*j + 6. Let x be z(-3). Solve 3 = 3*g - x for g.
4
Suppose 4*o + 32 = 144. Solve 5*p - o = -8 for p.
4
Let p = 17 + -13. Let c(n) = -n**2 + 12*n - 10. Let r be c(11). Solve -u + p = -r for u.
5
Suppose -4*i = -i - 15. Let m = 53 - 29. Let q = -19 + m. Solve -q*d = i + 5 for d.
-2
Let d(b) = -b**3 + 5*b**2 + 2*b - 5. Let u be d(5). Solve -3*a - u = 2*a for a.
-1
Suppose -5*s + 34 = 4. Let t = 9 - s. Solve -t*h + h = -10 for h.
5
Let t = 5 - 4. Let p be -1 - (1 - 2)*t. Suppose -5*u = -4*u - 4. Solve p*h + 2*h + u = 0 for h.
-2
Let j(d) = d**2 + 7*d + 9. Let z be j(-6). Let o = -3 - -2. Let c = o + 3. Solve c*p - z = 5*p for p.
-1
Suppose 0 = 3*r - 8*r + 20. Suppose -3*w + r*w = 5. Solve -4*z = -w*z - 4 for z.
-4
Suppose 0 = -n + 8 - 2. Solve -l = -n*l + 25 for l.
5
Let p(s) = 2*s - 9. Let j be p(6). Solve -h + 8 = -j*h for h.
-4
Suppose 39 - 7 = 4*u. Suppose -u = -5*a - 2*l, -2*a - l - 1 = -5. Solve -12 = 3*i - a*i for i.
-4
Let r(z) be the first derivative of z - z**2 + 3/4*z**4 + 2/3*z**3 - 1. Let p be r(1). Solve 0 = u + p*u - 25 for u.
5
Suppose 2*f = -f. Solve h + 0*h = f for h.
0
Let i be -16*(-3)/(2 + 1). Let l be (40/12)/((-8)/(-12)). Suppose 0 = -2*b - 4, 5*b = 4*m - l*m - 9. Solve 5*v + m = i for v.
3
Let p be 0 - (-8 + -2 + 4). Let a = -4 + p. Let z(t) = -t**2 + 11*t - 8. Let j be z(7). Solve -3*u - a*u + j = 0 for u.
4
Suppose -3*b = -7 + 1. Solve -s = -3*s - b for s.
-1
Suppose -24*f + 6 = 6. Let v be 18/8 - (-1)/(-4). Solve 0 = -f*n - v*n - 10 for n.
-5
Suppose -2*x + 5 = -5. Solve x*m = -0*m - 5 for m.
-1
Let t(k) = -k**3 - 10*k**2 - 10*k. Let r be t(-9). Let f be 4/(-3)*r/(-6). Let s = -13 - -25. Solve -f*j - j - s = 0 for j.
-4
Let r be (-7 - 0)/(2 - 3). Suppose 3*d - 25 = -5*g, d + 4*g = r + 13. Solve -4*k = -d*k for k.
0
Let t be (-14)/2 - -1 - -3. Let y = t - -7. Let w(a) = 4*a**2 + 2*a - 1. Let c be w(-2). Solve y*q - 5 = c for q.
4
Let c be (-8)/4 - 2 - (-7 - 1). Solve -d = -5*d - c for d.
-1
Suppose -2*g = 3*p + 20, 3*p = g - 1 + 2. Let v = g + 11. Solve 9*m = v*m - 25 for m.
-5
Let g be (-6 - 0)*(-8)/6. Let s(h) = -1 - h + 0*h + g*h. Let j be s(1). Solve -j = 5*u + 4 for u.
-2
Suppose 7 = -5*k + 17. Suppose 2*l - 30 = -3*l. Solve -i - l = k*i for i.
-2
Suppose w + r - 3 = -1, 0 = -4*r - 16. Solve -w = -3*m + 3 for m.
3
Let k = 2 - -4. Suppose 5*s + p - k - 14 = 0, 4*s + 3*p = 27. Solve 0 = 5*i + 12 + s for i.
-3
Suppose 4*b - 55 = -t, 20 = 3*b + t + 4*t. Solve 0 = 2*r + r - b for r.
5
Let a(v) = -v - 3. Let h be a(-5). Suppose h*c - 5 = -3. Solve 2 - c = i for i.
1
Let g = 71 - 44. Suppose 3*j - 2*i - 15 = 0, 2*j - i - 15 = -j. Suppose -7*v - 18 = -2*d - 4*v, 0 = -j*d + 3*v + g. Solve 0 = -h + d*h + 10 for h.
-5
Let b(c) = -c + 27. Let t be b(0). Suppose 4*j - t = -11. Solve 0 = j*a + a + 15 for a.
-3
Let i be 1/((-2)/20) + 2. Let a = -5 - i. Suppose -a*r = -2*r - 3. Solve -2*n = r*n + 15 for n.
-3
Suppose -8 = 2*y - 3*y - 5*f, y + f = 4. Suppose -4*h = -y*o + h + 18, h = -5*o + 30. Solve 0 = -3*j + j + o for j.
3
Suppose -9 = -2*r - 3. Let s be 0/((-2)/(-2) - r). Solve -2*l + 2 + 8 = s for l.
5
Let k(r) = 2*r**2. Let c be k(1). Suppose 3*g = -5*f + 51, c*g + 6*f - f - 39 = 0. Suppose -b = 3*b + 16, -3*b = -i + g. Solve 5*q - q = i for q.
0
Let t(q) = -q**3 + 6*q**2 + q - 4. Let f be t(6). Solve -4*i = -f*i + 10 for i.
-5
