 = -4*s + 3*s. Solve -4*t = -s*t - 4 for t.
1
Suppose -8*h - 5 = -21. Solve 5 = -3*j - h*j for j.
-1
Suppose 0*l = -2*l - 172. Let u be l/(-7) - 6/21. Solve v - u = -2*v for v.
4
Suppose 6*b = 2*b + 8. Let k be (-135)/(-25) + b/(-5). Suppose -k*d - 12 = 3*j, 5*d + 0*d = 2*j + 8. Solve d = -2*p - 2 - 0 for p.
-1
Suppose 2*g - 3*j - 10 = 0, 5*g - 3*j - 19 = -3. Solve 2 + 2 = -g*w for w.
-2
Let r(y) = 3*y**2 - 1. Let w be r(1). Let k(n) = n**2 - 3*n - 2. Let x be k(5). Suppose -g + 4*o + x = 0, 4 = -6*o + 2*o. Solve w*d + 0 = g for d.
2
Let d be 2/(-4)*0/3. Suppose -c + 3*t = -5 - 0, d = -3*c - 2*t + 15. Solve 2*r - c = -15 for r.
-5
Let m = 3 + 4. Let z = 51 - 35. Suppose 3*h - z = -h. Solve -m*q = -3*q - h for q.
1
Let p be (1*-10)/(0 - 1). Let l be 46/p + 8/20. Suppose -6 - 4 = -l*r. Solve -r*c = -4*c - 2 for c.
-1
Let x(y) = -2*y + 1 + y - 5 + 1. Suppose 3*a + 0*w + 13 = w, 0 = 2*a + w + 2. Let q be x(a). Solve -3*b = -q*b + 12 for b.
-4
Let s(u) = -u**3 + 2 - 5*u**2 + 2*u**3 + u + 0*u**3. Let l be s(5). Suppose -5*h + l + 3 = 0. Solve h*q + 0*q + 6 = 0 for q.
-3
Let c(a) = -a. Let m be c(0). Suppose -r - 3*r + 5*f = -23, -r + 5 = -f. Suppose m = -3*d - r*d. Solve d*i = -2*i + 8 for i.
4
Suppose 2*l = 2*h, -4*h - 8 = -h - 5*l. Suppose 0 = -h*q + q. Suppose q = i - 2*i + 3. Solve i*v = v for v.
0
Let z(p) = -p**3 + 11*p**2 + 12*p + 5. Suppose 5 = 2*y - y. Suppose y*c = 4*c + 12. Let d be z(c). Solve -d*m + 20 = -m for m.
5
Suppose 3*x + 5*o = -17, -3*o - 15 = 2*x - 5*x. Solve -c - x = -0 for c.
-1
Let r(g) = 7*g - 3. Let a be r(4). Solve -a = u - 6*u for u.
5
Suppose n + 110 = 6*n. Solve 5*p - 3 - n = 0 for p.
5
Let n be 3/(-7) + (-24)/(-7). Suppose 9 + 0 = 3*t. Suppose 6 = 5*a - t*a. Solve -9 = n*p + a for p.
-4
Suppose 3 + 2 = t. Let h(o) = o. Let y be h(t). Let m = 5 - y. Solve m*v = -4*v for v.
0
Let h = -2 + 12. Suppose 0 = -2*g + z + 5, 4*z - 2*z = -2*g - h. Solve 4*l + 0*l + 8 = g for l.
-2
Let q be ((-7)/2)/((-3)/(-12)*-2). Solve 0 = -q*z + 3*z + 20 for z.
5
Let i(q) = 2*q - 2. Let a(t) = -3*t + 3. Let d(g) = 3*a(g) + 5*i(g). Let v be d(-3). Let j be ((-6)/v)/((-1)/(-2)). Solve -2*f - j*f = 20 for f.
-4
Let i(t) = t**2 - 16*t - 13. Let o be -2*1*51/(-6). Let j be i(o). Solve -j*y + 5 - 21 = 0 for y.
-4
Suppose 3*y = 5*j + 16, 3*j = 3*y - j - 20. Solve y = -3*h + 3 for h.
-3
Let k be -1*(3 + 0) + 9. Solve 0*y + k = -2*y for y.
-3
Let h = 7 + 8. Solve -3*s + 0*s = -h for s.
5
Let q be (3/(-3) - 3)/(-2). Solve q*i + 3*i = 0 for i.
0
Let a(w) = -1 - w**2 + 2*w - 4 + 9 + 9. Let q be a(4). Suppose -2*g + 0*i = 2*i, 3*g - 4*i - 21 = 0. Solve -g*m - q = 1 for m.
-2
Let p be 0 + ((-4)/16 - 4/(-16)). Let r be (-4)/((-3)/(6/4)). Solve p*g + r = -g for g.
-2
Suppose -4 = 5*x + 4*s, 4*x + 1 = x - s. Suppose 3*y + 0*y = x. Suppose n - b + 0 - 3 = y, -2*b = -4. Solve 0 = n*c + 5 + 10 for c.
-3
Suppose -3*p + 26 = -4*v, -2*p = -p + v - 4. Let z(m) be the second derivative of m**4/12 - m**3 + 4*m**2 + 6*m. Let k be z(p). Solve 3*q - k - 4 = 0 for q.
4
Suppose 4*s = -5*r + 21, 0*r = -s + r + 12. Solve 1 - s = 2*t for t.
-4
Let n(u) = u**3 - 4*u**2 + u - 4. Let p(l) = -2*l**3 + 5*l**2 + 5. Let t(z) = -3*n(z) - 2*p(z). Suppose 9 = -v - 2*v. Let i be t(v). Solve -2*x - i = -0 for x.
-1
Let t(m) = 15*m**2 - m. Let r be t(1). Let i = 16 - r. Solve 0 = -2*q - i - 4 for q.
-3
Let a be ((1 - 4) + 2)*0. Let r be 11 - 2/(a + -2). Let i be 2 + -1 - (-3 - -1). Solve -r = i*s - 6*s for s.
4
Let a be (-1 + 1/1)/(-1). Solve a*f - 2*f = -2 for f.
1
Let l = 26 + -15. Suppose 2*c + 1 = l. Let h(z) = -2*z + 1. Let u be h(-1). Solve u*a - c*a = 6 for a.
-3
Suppose -5*p + 26 = 2*o, 0 = 2*o + 5*p - 2*p - 22. Solve 2 + o = -2*w for w.
-5
Suppose -5*b - 6 = -26. Suppose -5*w = -b*w. Solve w*a = 5*a for a.
0
Let g(b) be the third derivative of -b**4/8 - 7*b**3/6 + 3*b**2. Let s be g(-5). Let o(y) = -y**3 + 7*y**2 + 7*y + 8. Let t be o(s). Solve -6 + t = -3*r for r.
2
Suppose 14 = 4*l - 2. Solve l*n + 11 + 9 = 0 for n.
-5
Let w be 1/1*-1 + 7. Suppose -3*p + 2 = 5. Let f be -2 + ((-2)/p - 0). Solve -3*o + f = w for o.
-2
Suppose 5*b = 7*g - 11*g + 56, b = 3*g - 4. Solve -5*f - 23 = -b for f.
-3
Suppose -j = -2*s + 20, -j + 5*j = -s + 10. Solve 5*z = -0*z + s for z.
2
Suppose -d + 17 = -5*b, d + b - 2*b = 13. Suppose -5*u + 1 = 3*p - 9, -3*p - 3*u = -d. Solve -p - 5 = -2*l for l.
5
Let j(w) = 5*w + 3. Let i be j(3). Solve -2 = 4*f - i for f.
4
Let j(f) = -5*f**2 + 2*f - 1. Let g be j(2). Let k be 1/((-3)/(g + -1)). Let p = -6 + k. Solve -l = -p*l - 2 for l.
2
Suppose j = -2*l + 17, 13 = -0*l + l + 5*j. Solve 0 = 3*i + 4 + l for i.
-4
Let u(r) be the second derivative of -r**5/20 + 5*r**4/12 - r**3/3 - 2*r**2 + 7*r. Let x be u(4). Solve j = x*j for j.
0
Let r(t) = t - 5. Let l be r(8). Suppose a = l*a. Let i(q) = q + 1. Let v be i(a). Solve 4 = h + v for h.
3
Suppose -5*g - 3*z + z = -30, -g - 1 = -z. Let q = 7 - g. Suppose 3*w - 3 = q. Solve -n = w*n for n.
0
Let b be ((-4)/10)/(3/(-180)). Suppose 3*s - 3*j = b, -4*j - 19 = 1. Solve s = -h - 1 for h.
-4
Let k be 9/6 + 70/(-4). Let i = -10 - k. Suppose 4*g - 14 = a, 6*a = a - g + 14. Solve i*n - a*n + 16 = 0 for n.
-4
Let b(c) = 5*c**3 + 2*c**2 + 2*c + 2. Let m(x) = -x**3 - x. Let u(s) = -b(s) - 6*m(s). Let o be u(2). Let k be 14 - 0 - (-2 - -1). Solve o*z + k = z for z.
-3
Suppose -16 = -4*c - 4*r, 4*c - 5*r + 10*r - 20 = 0. Let n = 5 - 3. Solve c = n*u - u - 1 for u.
1
Let g = 174 + -169. Solve 0*i + 20 = g*i for i.
4
Let s(u) = u. Let k(n) = -2*n + 2. Let t(h) = -k(h) + s(h). Let o be t(2). Suppose -5*i = -o*z, -z + 4 = i - 5. Solve -i*v + 7*v = 0 for v.
0
Suppose 8 - 3 = 5*g. Solve -2*w - g = 3 for w.
-2
Suppose 16 = 4*l + v, 2*l = -2*v - 0*v + 2. Let b(w) = 2*w - 7. Let i be b(l). Solve 4*d = i*d for d.
0
Let n = 2 + 7. Suppose z + 8 = 5*z. Let v = 0 - -1. Solve -z*q - v = n for q.
-5
Suppose 2*j + 2*j + 16 = 4*d, -3*j + 36 = 3*d. Let q = 9 - d. Solve 0 = -2*g + 7 + q for g.
4
Let g be 2*(-1)/(8/(-12)). Solve g*n + 4 + 8 = 0 for n.
-4
Let s = 27 + -23. Suppose 5*z - s = k - 2, 0 = 4*k - z - 11. Solve 0 = k*h + 2*h for h.
0
Let d be (18/15)/((-3)/(-10)). Solve -d*t + t + 15 = 0 for t.
5
Let g(d) = -d**3 + 3*d**2 + 5*d + 1. Let p be g(4). Solve 0 = -4*m + p*m - 3 for m.
3
Let a be 15/1*(-18)/(-27). Let i be 22/a + (-2)/10. Let r be (-1)/i - (-5)/2. Solve -r*m = -m for m.
0
Suppose 0 = 2*h - 3*d + 5 - 11, -2*d + 12 = 4*h. Solve 2 = h*z + 5 for z.
-1
Suppose -3*q + 3 = -0*q. Let j(f) = f + 1 + f**2 - 1 + q + f. Let a be j(-1). Solve a = 5*z + 6 + 4 for z.
-2
Suppose -3*t - t + d = -19, 4*t - 5*d - 15 = 0. Suppose 2*y = -o + 1, 0*o = -y + 3*o + 18. Solve -y = -f - t for f.
-2
Let a = 14 + -2. Let w = -3 + 5. Let r(z) = 2*z**2 - 2*z. Let q be r(w). Solve a = -q*u + u for u.
-4
Let h(t) = -t + 12. Let d be h(9). Suppose 5 = 2*z - 6*z + i, z = -5*i + 4. Let r = d + z. Solve -r*s + 0*s = -6 for s.
3
Let r be ((-2)/4)/(1/(-4)). Let v(z) = 6 - 4 + 7*z**2 - z**3 - 5*z - 2. Let d be v(6). Solve -r*n = -d*n + 20 for n.
5
Suppose 1 = -2*c + 3. Let s be c + -3 + 3 - -1. Let g be s/1*9/6. Solve 0 = g*v - 3 - 3 for v.
2
Let q be (44/4)/(0 + 1). Let p = q - 8. Solve 2 = -p*g - 1 for g.
-1
Suppose 0 = 3*x - 4 - 5. Let f be ((-6)/x)/2*-2. Solve 0 = f*t - 0*t + 8 for t.
-4
Let o = 76 + -76. Solve 2*f - 6*f - 12 = o for f.
-3
Let n be (-14)/(-5) - (-11)/55. Solve -n*o = -4 + 13 for o.
-3
Let f(m) = 4*m - 2. Let v be f(2). Suppose 0 = o + 3 - v. Solve -3 = -o*c - 0 for c.
1
Let p(o) = -2*o - 1. Let t be p(-3). Suppose -d - t*v = -3, -d - 3*v + 0 + 3 = 0. Solve 0 = d*n - 6*n for n.
0
Suppose 0 = -g - 3, -j + 4*g + g + 15 = 0. Solve -3*w + 2*w = j for w.
0
Suppose -2*f = -13 + 9. Solve -1 = -f*w - 7 for w.
-3
Let s = -19 - -10. Let k = s + 12. Solve 2*q = -k*q - 10 for q.
-2
Let g be 4 + (1 - 1)/(10 + -11). Solve -5*z + 2 = -g*z for z.
2
Suppose 1 = -2*t + 5. Let l(k) = -4*k + 5. Let h(q) = 4*q - 4. Let f(x) = 3*h(x) + 2*l(x). Let g be f(t). Solve 0 = g*u - 3*u for u.
0
Let y = -8 + 8. Let f be (y/(-4))/(0 - 2). Solve 5*s + 4 + 11 = f for s.
-3
Suppose g - 2 = -3*h, -g + 2*h + 44 = g. Solve 12 = t + g for t.
-5
Let b(x) = x**3 - 6*x**2 + 6*x - 6. Let z be b(5). Let r = z + 7. Solve -c + 20 = -r*c for c.
-4
Let h be (1 + 2)*(-10)/(-15). Suppose h*a