3*x - 22 = 2*s, -5*x + 4*s + 25 = -15. Solve -g = x*k - k for k.
-3
Let u be 6*(2/3)/2. Let v(b) = b. Let k be v(1). Let c be k + 0 + -1 - -2. Solve 0 + c = -u*r for r.
-1
Let q be (15/6 - 3)*-8. Suppose p = -5*c + 39, p = -3*c - q*p + 19. Solve -c = -x - x for x.
4
Suppose 0 = 4*j - 5*p - 53, -p = 3*j + 4*p + 4. Solve -j*a = -3*a + 8 for a.
-2
Suppose 5*k - 20 = 5*j, 3*j + 5 = 2*k + 4*j. Solve i = -k*i - 8 for i.
-2
Suppose 6*f - 11*f = -15. Let h be (-2 + f - 2)*-5. Solve 0 = h*l - 7 + 17 for l.
-2
Let v(g) = g**2 - 5. Suppose d + 4 = 3*n - 3, -4*n + 11 = -d. Let y be v(n). Let a be 3/9*3*5. Solve -9 = -a*i + y for i.
4
Suppose 4 = -2*i + 4. Solve -3*j + 3 + 6 = i for j.
3
Suppose -4*k + 5*w - 2*w + 11 = 0, 0 = -4*k - 5*w + 3. Let j = -1 + 1. Suppose -l = j, 0 = -y + 3*l - l + 6. Solve -5*o + y = -k*o for o.
2
Let a be (-3)/(-2 + -1) + (-7 - -11). Solve -a = 2*x - x for x.
-5
Let b be (5 + -4)*-3 - (1 - 6). Solve 2*m - 16 = -b*m for m.
4
Let i be 1/(-1) + -3 + 6. Solve 0 = -i*p - 2 for p.
-1
Let p(v) = -3*v - 30. Let n be p(-10). Solve n*a - 3*a + 15 = 0 for a.
5
Suppose 0 = 10*l - 17*l + 70. Solve g - 7 + l = 0 for g.
-3
Let z be (-152)/(-36) + (-4)/18. Suppose -4*v + 12 = 0, 3*m - 4*v + 1 = 4. Suppose 0*d = m*d. Solve -2*y + 8 - z = d for y.
2
Let c(i) = -4*i - 12. Let b be c(-4). Solve -s + 5 = b*s for s.
1
Suppose 0 = r - 3, -h - 35 = -6*h + 5*r. Solve -h = 3*a + 2*a for a.
-2
Suppose 3*v + 3*s - 7 + 1 = 0, v + 3*s = 2. Suppose -4*d + 4*x = -3 - 9, 5*d - v*x - 15 = 0. Let t be (-1 - 5/2)*-2. Solve d*c + t = -5 for c.
-4
Let s(r) be the first derivative of -r**2 - 4*r + 1. Let o be s(-3). Solve l + o + 0 = 0 for l.
-2
Let f(r) = r - 12. Let d be f(6). Let w = 0 - d. Suppose -4*t + w = -2. Solve -t*z = -7*z for z.
0
Suppose k = 5*r - 14, 0 = -4*r + 6*r - 6. Let t be 32/6*(-15)/10. Let g = 10 + t. Solve g = 3*c - k for c.
1
Let v be 2/10 + (-20)/(-25). Suppose q - 10 = -v. Solve 0 = -5*p - 11 - q for p.
-4
Suppose 0 = 2*f - 2*r - 14, 10 = -3*f - 3*r + 1. Solve -f*l + 3*l + 1 = 0 for l.
-1
Let p be -12*((-15)/(-9))/(-5). Suppose 5*c = 11 + 19. Solve w = p*w + c for w.
-2
Suppose 0 = -k - 4*z + 28, 2*k = -k + 5*z + 16. Suppose -8 = -2*d + f, -5*f = -3*d - 4*f + k. Let v = 0 - -4. Solve -3*q = -d*q + v for q.
4
Suppose -5*d - s + 21 = 0, -d + 2*s = d - 6. Let c be (-1)/d - (-164)/16. Solve -m + 3*m = c for m.
5
Let a = 44 - 39. Solve a*f + 7 = -3 for f.
-2
Let z(p) = p**3 - p**2 + 2*p - 3. Let f be z(2). Suppose 0 = 3*j + 5*u - 9, 0 = f*j - 5*u - 0*u - 15. Let b = 2 + 0. Solve -b*g = j*g + 20 for g.
-4
Let b(v) = 3*v**2 + 3*v + 6. Let g be b(0). Solve -c = -4*c + g for c.
2
Let j be (1/(-2))/((-4)/24). Suppose -4 = -2*t + 3*p - 8, -11 = -3*t - 4*p. Let r(w) = 4*w**2 + w. Let f be r(t). Solve 14 = -j*h + f for h.
-3
Let b be (-1)/(-3*(-3)/(-27)). Solve b = -a - 1 for a.
-4
Suppose -5*k = -l - 6 - 6, 0 = 4*k - 4*l. Solve 0 = -g + k*g for g.
0
Let k(n) = n + 2. Suppose q - 10 = 14. Suppose 3*z + q = 5*f, 4*z = 5*z + 3. Let d be k(f). Solve -3*c = -2*c + d for c.
-5
Let p(a) = -3*a. Let j be p(-1). Suppose -2*c + j*c = 7. Solve 4 = d + c for d.
-3
Suppose 0 = 2*m - b - 0 - 2, 3*m - 3*b = 0. Let p be (-2)/3*(-9)/2. Suppose -v = -p*v. Solve -m*i + 2 = -v for i.
1
Let y(v) = 2*v**3 - 3*v**2 + 2*v - 2. Let o be y(2). Let p be o*3*(-2 - -3). Suppose p = 5*t - 7. Solve t = -4*u + 21 for u.
4
Let t(o) = -o**2 + 3*o + 3. Let j be t(3). Suppose -f = 4*q, 3*f - f - 12 = -4*q. Suppose -x + j*u = f, 3*x = 3*u + u - 11. Solve x*a = -13 + 1 for a.
-4
Suppose 3*w - 4*w = 0. Solve -5*t - 3 - 17 = w for t.
-4
Let x be (-16)/40*(-10 - 0). Suppose -3*s - 7 + 22 = -x*v, 0 = -v. Solve m - 12 = s*m for m.
-3
Suppose 3 = 2*a + 1. Suppose 4*g + a = 5. Solve r = 2*r - g for r.
1
Let t be (1*-4 + -1)*(-66)/165. Let w be ((-6)/(-4))/((-1)/(-2)). Solve -t = f - w for f.
1
Let n(j) = j + 9. Suppose -2*i + 24 = -x + 3, -i - 39 = 4*x. Let u = x - -7. Let g be n(u). Solve -g + 0 = -v for v.
5
Let z be 6/14 + (-360)/56. Let c(s) = -s - 3. Let q(k) = -1. Let f(t) = -c(t) - 3*q(t). Let m be f(z). Solve -2*v - 7 + 1 = m for v.
-3
Let o = 32 - 21. Let w = 15 - o. Solve w*n = 17 + 3 for n.
5
Let q be (6 - (-1 - -7))/(-2 - 0). Solve -1 = w - q for w.
-1
Let j = -14 - -4. Let a = -9 - j. Solve 3*q + a - 13 = 0 for q.
4
Let j be 2/(-3) - 14/(-3). Suppose n - 5 = -1. Suppose -3*i + n*i = 9. Solve j*g = i - 29 for g.
-5
Let v = 6 + -9. Let h be (1 - -1) + v - -15. Let u be 7/(h/12) + 2. Solve -u*i = -4*i - 16 for i.
4
Suppose 240 = 14*j - 10*j. Let a be (-6)/(-33) + j/33. Solve 0 = -a*v - 2*v - 8 for v.
-2
Let w = 17 - 13. Suppose -w*d + 7*d = 0. Solve d*o = -2*o + 6 for o.
3
Let u(t) = 3 - 4*t + 3 + 5*t. Suppose -n + 3 + 3 = 0. Let p be u(n). Solve p = -2*y - 2*y for y.
-3
Suppose 10 = 2*l - 2*c, -5*c - 26 + 10 = -2*l. Let g be (-4)/(2/(2 - 4)). Solve l*o - g = -13 for o.
-3
Let q = 10 - 4. Suppose q*k - 2*k - 32 = 0. Solve -3*f - k = -7*f for f.
2
Let t = 18 - -10. Let p = t + -23. Solve -p*h = -2*h - 9 for h.
3
Let t be (-9)/(-6) + 9/2. Let j(a) = a - 6. Let h be j(t). Solve h = q + 3*q - 20 for q.
5
Let c(g) = -g**2 - 14*g - 15. Let n be c(-12). Let h = n - 3. Solve -3*z - h = -0 for z.
-2
Let l(z) = 10*z + 4. Let r be l(-3). Let c = r + 34. Solve -4*h = -c - 4 for h.
3
Suppose 4*l - 68 = 16. Let q be 36/l*(-7)/(-2). Solve 0 = y + y - q for y.
3
Suppose -5*u + 4*g = -4, 2 = -2*u + u - 2*g. Solve f = -u + 3 for f.
3
Let j = -21 - -31. Suppose 0 = -v + 5 + j. Solve 8*c - 3*c = v for c.
3
Let j(r) = r - 6. Let p be j(6). Suppose 3*i - 4 - 2 = p. Solve i*q - 10 = -0*q for q.
5
Suppose -4*c + 0*c + 48 = 0. Let f = c - 9. Solve 2*d - f = 5 for d.
4
Let o(s) = s**2 + 3*s. Let q be o(-3). Suppose q = u + u. Suppose u = -0*t - 3*t. Solve -5*n - 3 - 2 = t for n.
-1
Let c(z) = -z**3 + 5*z**2 + 7*z - 3. Let x be c(6). Let v = 0 + 0. Suppose v = -i + 5 - x. Solve -i*r + 1 = -3 for r.
2
Suppose 2*y + t + 4*t = 11, t - 7 = -y. Let l be 13/4 + (-2)/y. Solve l - 6 = 3*p for p.
-1
Let y(v) = -v**2 + 5*v. Let c be y(4). Let z(i) = i - 8. Let l be z(11). Suppose h + h + l*a = 0, 0 = 3*a. Solve h = -u - 0 - c for u.
-4
Let g be (-2 + 22/10)*5. Let t(m) = 9*m**2 + 1. Let x be t(g). Solve 7*b = 2*b + x for b.
2
Let k = 2 + -7. Let c be k/20 - (-2)/8. Solve 0*b - 5*b + 15 = c for b.
3
Let j(t) = -t**3 - 14*t**2 + 4. Let r be j(-14). Solve r*d = -16 + 4 for d.
-3
Suppose -4*u = 5*a - 51, 3*u = -3*a + 5*a + 21. Let n(s) be the first derivative of s**3/3 - 5*s**2 + 13*s - 1. Let g be n(u). Solve -2*z - g = -12 for z.
4
Suppose -2*r = 2*t - 8, -23 = 3*t - 8*t - 2*r. Solve t*k = k - 12 for k.
-3
Suppose 0 = -6*t + 25 - 1. Solve 3*p = p + t for p.
2
Let q(o) = o**2 + 12*o + 20. Let n be q(-10). Solve n = t - 2*t - 4 for t.
-4
Let g be (-22)/165 + (-94)/(-30). Solve 0 = g*t - 2 - 1 for t.
1
Let k = 5 - 4. Solve -7 - k = 4*w for w.
-2
Let v be (3/2 - 1)*0. Let o(g) = g**3 - g + 5. Let m be o(v). Solve -2*t + m - 3 = 0 for t.
1
Let b(m) = m**2 - 1. Let d be b(-2). Solve 19 = 4*p + d for p.
4
Let j(m) = 11*m**2 - 2*m. Let l(q) = -22*q**2 + 3*q. Let r(y) = -5*j(y) - 3*l(y). Let w = -9 - -8. Let i be r(w). Solve 0*b - i = 2*b for b.
-5
Let k be (3/2)/((-18)/(-24)). Suppose 2*d = k + 6, -2*a + 3*d = 0. Solve h + a = 3*h for h.
3
Let y be 2/(-8) + (-14)/(-56). Solve 0 = -v - y*v for v.
0
Let u be ((-4)/6)/((-4)/(-36)). Let v be u + 3 + 3 - -12. Solve l - v = 5*l for l.
-3
Let b(r) = -r**3 + 3*r**2 + 4*r - 2. Let i be b(3). Suppose 0 = x + x - i. Solve -x*n - 20 + 5 = 0 for n.
-3
Let q be -7*(3 - 1 - 3). Let i(d) be the second derivative of d**4/12 - d**3 + d**2/2 - d. Let o be i(6). Solve -q = -2*t + o for t.
4
Let a be (1/(-3))/((-1)/6). Solve 0 = -a*v - 3 + 5 for v.
1
Let p(t) = -t - t + 0*t. Let c be p(-6). Let l be (27/c)/(9/24). Solve 4*i + l = 18 for i.
3
Let i = -70 + 75. Solve 3*c + 2 = i*c for c.
1
Suppose -4*a + 17 = 5. Let x be (-6 - -2)*a/(-3). Suppose 3*l = -h + 18, -2*h - h - 1 = -2*l. Solve h*k + x = 1 for k.
-1
Suppose 4*q - 2*q = 4. Solve 0 = -3*l - 11 + q for l.
-3
Let a be 3*(2/1 + (-4)/6). Solve 3*t + 5 + a = 0 for t.
-3
Let p(k) = k - 1. Let a be p(-1). Let t be ((1 - 2) + 0)*-1. Let l = t - a. Solve l*u + 2 = 5*u for u.
1
Suppose -l + 9 = 3*y, -5*y + 6 + 9 = 0. Suppose l*c + o + 6 = 5*c, 4*c = -5