 4 = m*t - 0 for t.
1
Suppose -3*l = -2*l - 5. Solve -12 = -l*u + 3 for u.
3
Let y(s) = 3*s**2 - 2*s - 2. Let k be y(-1). Solve 0 = 2*p + k*p for p.
0
Suppose -80 = -4*g + 5*u, 0 = -6*g + g - 4*u + 100. Let p be 228/g - (-6)/10. Let l be 69/p - 3/(-12). Solve -2*m = -l*m for m.
0
Let z(o) = o + 2. Let h be z(3). Suppose 0*x + 4*n + 3 = -x, 0 = -h*x - 5*n. Solve -f + x = 4 for f.
-3
Let n(o) be the third derivative of o**6/120 - o**5/12 + o**4/8 + 2*o**3/3 + 4*o**2. Let p be n(4). Suppose -3*i + 3 + 3 = p. Solve -6*g + i*g + 20 = 0 for g.
5
Let q be (2 - 16/14)*7. Let h be (-3)/2*8/q. Let w be 0/((-4)/(h/1)). Solve -3*v - 6 + 3 = w for v.
-1
Let r be -1 + 2 + (-8 - -11). Solve -r*z - 1 = 15 for z.
-4
Let o(y) = y - 14. Let g be o(14). Solve 1 = -z - g for z.
-1
Let l = -14 - -8. Let t(o) = -2*o - 9. Let c be t(l). Suppose 4*a - c = 1. Solve -h + a = -3 for h.
4
Suppose 4 = -3*o + 4*o, -4*v = 5*o - 48. Suppose -w - 6 = -3*w. Solve v*r - w*r = -12 for r.
-3
Suppose a = m - 4 + 1, 5*a = -3*m + 33. Let w(k) = 27*k - 2. Let x = 7 - 6. Let b be w(x). Solve -d + b = -m*d for d.
-5
Let j = 55 + -46. Solve -1 = 4*l - j for l.
2
Let g(p) = p - 1. Let x be g(6). Solve 0 = x*j - j for j.
0
Let z = 3 + 9. Solve -t - 2*t = z for t.
-4
Suppose 4*x - x + 9 = 0, 0 = -2*a + 2*x + 22. Solve 3*z = 5*z + a for z.
-4
Suppose 26 = -v + 26. Solve v*j + 2*j = 2 for j.
1
Let u = -35 - -44. Solve u*q - 5*q - 8 = 0 for q.
2
Let k = -13 - -13. Let v = -6 - -9. Let b = v + k. Solve b*j + 10 = 1 for j.
-3
Let p = -2 - -14. Suppose 3*y - 5*x = -x + p, 4 = y - x. Suppose u = -y*u. Solve u*s + 2*s - 4 = 0 for s.
2
Let y(f) = -f**2 + 3*f**2 + 0*f**2 - 6*f. Let i be y(4). Let s(r) = 4*r - 12. Let k be s(i). Solve -j + k = -5*j for j.
-5
Suppose 6 = w + 2*w. Suppose 0 = -t - 3*n + 24, w*t + 5*n - 32 = t. Solve 4*v = -t + 28 for v.
4
Let d = 16 + -1. Let g be d/9 + (-4)/(-12). Solve 1 - 5 = -g*m for m.
2
Let f(t) = -7*t + 1. Let b(w) = 8*w - 1. Let a be (3/6)/(1/(-14)). Let u(l) = a*f(l) - 6*b(l). Let h be u(3). Solve 0 = -0*m + 2*m - h for m.
1
Suppose -3 - 37 = -5*k. Let o = -4 + k. Solve -z - z + o = 0 for z.
2
Let n(x) = -16*x + 1. Let z be n(1). Let m be (-2)/(0 - (-2)/z). Suppose -3*c + m = 0, 6 = 4*a + 2*c - 4*c. Solve w = -3*w + a for w.
1
Suppose -2*r + 5*d - 6 = 0, -6*d = 4*r - d - 18. Suppose -r*h + 6 = -h. Solve f - 4*f = -h for f.
2
Let s(k) = -k + 7. Let q be s(1). Solve 4*j - q = j for j.
2
Suppose -12 = -2*m + d - 5, -4*m + 4*d + 12 = 0. Suppose 2*s = -m*q, -q = 3*q - s - 12. Solve -q = -i - 1 for i.
1
Let s = -9 - -6. Let z = 0 - s. Solve -3 = z*y - 6 for y.
1
Let y(v) = -v + 3 - 1 + 3. Let o be y(4). Suppose 0 = -3*n - 2*p + 4*p - o, -22 = n - 5*p. Solve 0 = -2*x - n*x for x.
0
Let v(t) = -t**2 + 22*t - 105. Let s be v(7). Let k(f) = f + 5. Let u be k(6). Solve 5*b + u + 4 = s for b.
-3
Suppose -4*u = -u - 9. Let s = 4 - u. Let b = s - -2. Solve -b*j - 5 = -2 for j.
-1
Let q(b) = -b**2 + 6*b - 2. Let d be q(4). Let v = 0 + 3. Solve v*c = 5*c + d for c.
-3
Suppose 0 = 3*l - 2*l, 36 = 4*t - 4*l. Let u = 11 - t. Let a be (1 + -6)/(1*-1). Solve u*d + a = -5 for d.
-5
Let y(b) = 2*b - 3. Let k be y(3). Let a be ((-4)/k)/((-1)/(-3)). Let n be 6/12 + (-6)/a. Solve -12 = -n*z - 2*z for z.
3
Let o(l) = -2*l - 8. Let r be o(-7). Suppose 5*t = -q + 30, -t + r = 4*q + q. Let v be (-1)/2 + (-2)/(-4). Solve v = -4*y - 22 + t for y.
-4
Let p be (-1)/6 + 50/12. Let l(u) = -u**3 - 11*u**2 - u - 11. Let w be l(-11). Suppose -4*x = 2*m - x + 5, p*x + 20 = w. Solve m*v - v = -8 for v.
-2
Suppose -g = 2*k - 3*k + 1, 5*g - 5 = 0. Suppose -k*n + c + 11 = 0, -4*n = 2*c - 0*c - 18. Suppose n*a + 8 - 33 = 0. Solve 2*u = a*u - 6 for u.
2
Let c = -5 - -11. Suppose c*v = 3*v + 24. Suppose -5*k + 30 = 5. Solve v = -k*s - 7 for s.
-3
Let y(q) = -q**3 + 5*q**2 + 5*q + 8. Let w be y(6). Suppose -2*k + w - 24 = 4*l, l + 9 = -4*k. Let i be 3 + (0 - (k - -2)). Solve -i = -3*h - 17 for h.
-5
Let i(y) = y**3 + y**2. Suppose 5 = 3*w + 2. Let c be i(w). Suppose -4*d + 2*f + 2 + c = 0, 0 = -2*d + 5*f - 14. Solve 7 = -d*u - 5 for u.
-4
Let r be (-4 - (-45)/10)*0. Solve 5*o + 0*o - 15 = r for o.
3
Let l be (-1 - (-8)/2)/3. Let g be -1 + l/(-1)*-1. Solve g*n + n - 1 = 0 for n.
1
Suppose -4*m + 26 - 18 = 0. Solve 0 = -6*i + m*i for i.
0
Let q(r) = r**3 - 3*r**3 + 3*r**2 - 5*r**2 + 2 + 3*r. Let u be q(-2). Solve -2*p + u*p = 6 for p.
3
Suppose -5*r + 6 = -4*k, -3*r + r - 3*k = -7. Let l be (2/4 + -1)*0. Solve l = -3*b - 10 - r for b.
-4
Let o be 16/(-3)*(0 - -3). Let n = 32 + o. Suppose -4*b - 4 + 20 = -2*q, 2*b - 4 = 3*q. Solve b*s = 9 + n for s.
5
Suppose -2*o + 3*x = -5, -3*o - x - 5 = -3*x. Let q = 8 + o. Let b be (2/q)/(4/12). Solve 4*c - b*c = -8 for c.
-4
Let q = -16 + 20. Solve -q*z = -2*z - 10 for z.
5
Suppose 0 = -i + 2 + 2. Let w be (-92)/(-22) - (-14)/(-77). Solve w*x + 0*x - i = 0 for x.
1
Let q = -5 - -8. Suppose -3*k = 2*a - a - 1, -23 = -5*a + q*k. Let y be 2/a*(1 + -1). Solve 3*i = 12 - y for i.
4
Suppose 3*o + 5*p - 2 + 10 = 0, -o - p = 0. Solve o*a - 11 = 9 for a.
5
Let w = 19 - 9. Solve -8*u - w = -3*u for u.
-2
Let z = 49 - 46. Solve -5 + 17 = -z*w for w.
-4
Suppose -o = o + 10. Let f be (-1 + o)*(-4)/6. Let w(y) = y**3 - 3*y**2 - 3*y - 4. Let l be w(f). Solve d + d - 6 = l for d.
3
Let t = -20 - -28. Let k = t - 3. Solve b = k*b + 20 for b.
-5
Let y(x) = x - 5. Let w be y(10). Solve w*v = 10 + 15 for v.
5
Suppose -v - 1 = 2*z - 7, 4*z - 4*v = 0. Let o be (0 - -33 - -1) + z. Suppose o - 11 = 5*c + s, -4*s = 4*c - 4. Solve w + c = 3*w for w.
3
Suppose g - 6*g = -3*t - 15, -19 = g - 5*t. Solve -x - g = -3*x for x.
3
Suppose -6*i + 17 - 5 = 0. Solve 0 = i*d - d - 4 for d.
4
Let k = 9 - 7. Suppose k = t - 1. Solve -t*p + 0*p = 6 for p.
-2
Suppose 5*i + 0 - 1 = 2*y, 2*y - 2*i = 2. Suppose y*x = -0*x + 10. Solve -3 = -2*b + x*b for b.
-1
Let s(c) = c**3 + 5*c**2 - 6. Let o be s(-5). Let t be (-16)/o*12/8. Solve -t*q - 6 + 18 = 0 for q.
3
Let m be (4/(-3) + 1)*-42. Let a = m - 11. Solve a - 6 = y for y.
-3
Let j(q) = -q**3 - 3*q**2 + 3*q + 6. Let t be j(-4). Suppose 4*h - 23 + 11 = 0. Solve -2*n + t = h*n for n.
2
Suppose 0 = 6*b + 21 + 15. Suppose -2*d + 5 = 5*z, 5*z + 9 = z + d. Let r be 1*z/2*b. Solve 0 = 3*m - r + 12 for m.
-3
Let d be (4/(-8) + -1)*-2. Suppose -2*h = 2*v - 17 - 9, -4*v = 3*h - 47. Solve f - v = -d*f for f.
2
Let u = 5 + -3. Suppose -u*b + 5 = -b. Suppose -b*a = -4*n + 32, -n + 0*n - 9 = 3*a. Solve 0 = -2*p - n*p for p.
0
Let m be (4/(-6))/((-1)/9). Suppose m = 2*q + q. Let s be 0 + q + 5 + 1. Solve 2*b + s = 6*b for b.
2
Let x = 81 + -79. Solve 4*k = x*k for k.
0
Let a = -5 - -13. Solve 4*k - 12 = a for k.
5
Let m = 25 - 23. Solve m*x = x - 2 for x.
-2
Let w(c) = 1 + c**3 + 0*c**2 + 3*c**2 - 3*c**2 - c - c**2. Let a be w(1). Solve -2*z - 3*z = a for z.
0
Suppose -2*w + 5 = 3*w. Let i be w/(-2) + 5/2. Let n be 1/(3/12*i). Solve -n*l - 15 = l for l.
-5
Let d = 12 - 12. Solve -3*p = -d + 12 for p.
-4
Suppose -20 = 2*j - 6*j. Solve -j*s + 0 = -10 for s.
2
Let u be ((-16)/(-12))/((-8)/(-60)). Solve u*i + 15 = 5*i for i.
-3
Let g be (-12)/16*(1 + -5). Suppose -g*q - 15 = -4*l - 0*l, 4*l - 36 = -4*q. Solve l = 2*n - 0*n for n.
3
Let s = -11 - -8. Let b = 6 + s. Let z be 1*5 - (b + -1). Solve -4*w + z = 11 for w.
-2
Let v be 2/(-6)*24/(-2). Suppose v*i = -0*i + 16. Solve -5*k - i - 1 = 0 for k.
-1
Let x be 4 + -3 + 9 + 4. Suppose 0 = -2*f - 2*k - 6, -4*f + k = -x + 1. Solve 0 = -f*d + 5*d + 15 for d.
-5
Let h = 20 + -14. Suppose -4*y - 2*g + h*g = -32, 3*g = y + 2. Solve -5*m - y = 2 for m.
-3
Suppose -5*a - 27 = -3*l, -l + 5*l - a - 36 = 0. Solve -2*c + l = c for c.
3
Let t(j) = j - 2. Let i be t(4). Let b be -9 - (-1 - i - -1). Let k be b/14 + (-82)/(-4). Solve k = 5*o - 0*o for o.
4
Let n = 0 + 12. Solve -n = -2*g - 8 for g.
2
Suppose w - 22 = -w. Suppose -b + 3*j + 2*j + 17 = 0, j = 4*b - w. Solve -b = -3*g + 4 for g.
2
Let p(y) = 3*y**2 + 5*y + 3. Let u be p(-3). Solve 10*s = 7*s + u for s.
5
Let c be (4 - (-6)/3) + -2. Let l be 4/(-14) - c/(-14). Solve -3 = -v - l*v for v.
3
Let a = -2 + 5. Suppose -c - 3*b = 3*c - 6, 10 = -a*c + 5*b. Suppose 0 = -m - c*m. Solve m*x + 2*x = 8 for x.
4
Let m be (14/(-2) + 1)/(-2). Suppose -a + 4 = -3*c, 3*a + 2*c - 1 = -0*a. Let r be -2 +