 = -3*m for m.
3
Let u(h) = -2*h - 1. Let b be u(-5). Let z = b + -2. Suppose -4 + 1 = -v. Solve -v*p + z*p = 12 for p.
3
Let p = 8 + -6. Suppose 2*q + 5*y = -10, 2*q + y + 4 - p = 0. Suppose -6*t + 2*t + 12 = q. Solve x + 4 = -t*x for x.
-1
Let m(y) = y + 10. Let i be 6/24 + 29/(-4). Let s be m(i). Let t be 9/s + 0 + 1. Solve o - t*o = 12 for o.
-4
Suppose 0 = i - 3*i. Suppose i = -3*z + z + 4. Solve z*d + 8 = -0 for d.
-4
Suppose h + 18 = -4*v, v + 2*v - 3*h = -6. Let u be -1 + (v/2)/(-2). Let b(f) = -14*f - 23. Let t be b(-2). Solve -t*o - 25 + u = 0 for o.
-5
Let w(u) = u - 2. Let x(y) = -y + 7. Let k be x(0). Let n be w(k). Solve n + 4 = -3*s for s.
-3
Let q(m) = -m**2 - 15*m + 1. Let t be q(-14). Solve -7*h + 2*h = -t for h.
3
Suppose 0*h = -5*i + h - 11, -2*i + h = 2. Let v = i + 3. Solve 5*m = -v*m - 15 for m.
-3
Let g = -7 + -1. Let q be (2 - 2)*4/g. Solve q - 4 = -n for n.
4
Let h(t) = -t**3 - 6*t**2 + t + 6. Let x be h(-6). Suppose x = -3*v + 4*l + 1, -3*v + 4*l - 4 = -l. Solve -v*q + 4 = -3*q for q.
1
Let h be 0/(-3) + 4 - 1. Solve -h*r = -6*r for r.
0
Let n = -19 - -23. Solve -s - 2 = -n for s.
2
Suppose l + l + z - 1 = 0, -4*z = -l + 14. Let u be (-5 - -1)*6/(-8). Solve l*t - 5 = u*t for t.
-5
Suppose -f - l = 0, 8 = 5*l + 28. Suppose 4 = 2*b + 2*h - 8, -4*b + 2*h = -18. Let z = 13 + -7. Solve f = b*m - z for m.
2
Suppose a + 9 = 3*p, -3*p - 4*a + 5 + 4 = 0. Solve -p = 2*j + j for j.
-1
Let m(r) = -r - 4. Let h be m(-6). Solve -1 + h = -b for b.
-1
Suppose 0 = 7*f - 2*f + 100. Let k be (-8)/f*(-4 - 1). Let z = 5 + k. Solve z + 1 = -i for i.
-4
Let u(h) = -h + 1. Let y be u(-2). Let a = -7 + 5. Let q be a/y*(-1 + -2). Solve -4*t - 2 - q = 0 for t.
-1
Let h = 2 - 0. Solve -6*o + 8 = -h*o for o.
2
Suppose -i + 8 - 3 = 0. Suppose -f = -i*f + 40. Solve 2*h = -0*h + f for h.
5
Let a(f) = -f**3 + 6*f**2 + 9*f - 10. Let z be a(7). Solve -4*j = -0 - z for j.
1
Suppose 0 = 4*b + 3*w - 23, -2*w = -2*b + 3*w - 21. Solve b*x - x - 4 = 0 for x.
4
Suppose -19 = -4*a + y + 4, -y - 30 = -5*a. Suppose 6*q - 3*q - 66 = 0. Suppose -10 = 4*n - q. Solve n = 2*r + a for r.
-2
Let u be (15/(-6))/(1/(-2)). Suppose 3 = 3*m, 3*r - u*m + 25 = 7*r. Suppose -r*q = 2*c - 18, 0*q + 15 = 4*q + c. Solve a = -a - q for a.
-2
Let v(c) = c**2 - 1 + 1 - 9*c**3. Let t be v(-1). Solve -t = -5*s + 5 for s.
3
Suppose 0 = -2*h + 2*m + 4, -2*m + 0 = 4. Suppose 75 + 3 = 2*d. Suppose -2*l - 5*t = -39, -4*l - 5*t + d + 24 = h. Solve -w = 2*w + l for w.
-4
Let h be 6 + 9 - 0/(-2). Solve 5*g - 2*g = h for g.
5
Let w = 4 - 1. Suppose w*y + 7 = -2. Let h be ((-1)/(-3))/((-1)/y). Solve 2*q + 3 + h = 0 for q.
-2
Let g(p) = p**3 + 7*p**2 - 2*p - 2. Let b be g(-7). Let r be (b/16)/(1/(-4)). Let i be r/(4 + -2 - 3). Solve -2 = -t - i for t.
-1
Let x = 2 + 12. Solve x = 5*c - 1 for c.
3
Suppose 7*l = 3*l. Let n(o) = -2*o - 2. Let x be n(-2). Solve 10 = x*b - l*b for b.
5
Suppose 4*a = 5*o - 0*o - 22, 2*o = 5*a + 2. Let p be (-3 + 2 + o)/1. Solve 17 = 3*s + p for s.
4
Let r(n) = n. Let s be r(0). Suppose -4*y - 70 = -11*y. Solve s = 2*f + y - 2 for f.
-4
Suppose -3*j = -t + j - 4, -3*t - 5*j = -22. Suppose t*s - 5 = -n, 2 = 5*n + 17. Solve s*q - 3 - 3 = 0 for q.
3
Let y(z) = -6*z - 9. Let o be y(-2). Solve -u + o*u = -4 for u.
-2
Suppose -6*m + 5*m + 2 = 0. Solve 6 = m*f - 4 for f.
5
Let l be 3 + -3 - 1*5. Let q = 5 + l. Solve -4*g = -16 - q for g.
4
Let r = -15 + 15. Solve 20 = -4*j - r*j for j.
-5
Let g be (-1)/2*0/2. Suppose g*b = 5*b. Solve 5*a + 17 + 8 = b for a.
-5
Suppose -7*j + 4*j + 21 = 0. Suppose 0 = j*k - 4*k. Let z(v) = 7*v**2 - v. Let x be z(1). Solve -4*p - x + 2 = k for p.
-1
Let j(x) = x + 6. Suppose -5*i + 6 = -19. Suppose -2*n = -4*u - 14, -4*u + 5 = -2*u - i*n. Let s be j(u). Solve -5 = 2*p + s for p.
-3
Let v(n) = -5*n - 45. Let p be v(-13). Solve -6*b + b = -p for b.
4
Let a be (7 + -4)/(2 - 1). Suppose -2*w = -a + 5. Let s = w - -3. Solve s = -b + 5 for b.
3
Let r(h) = -5 + 0*h**2 + 3 - 3*h**2 - 3*h + 0*h**3 + h**3. Let a be -1 + (-3)/(-6)*10. Let c be r(a). Solve l = c - 5 for l.
-3
Let g be ((-18)/(-3) + 4)/2. Solve 0 = -g*r - 17 - 3 for r.
-4
Let u = 2 - 1. Let q(h) = -5*h + 2. Let n be q(1). Let t = n - -6. Solve -u = p - t for p.
2
Suppose -80 = -5*t - 0*t. Let k = -3 - -3. Let n(o) = -5*o - 1. Let l be n(-1). Solve -l*r + t = -k for r.
4
Suppose 6*h = 5*h + 4. Solve 6 = h*g + 26 for g.
-5
Let f(o) = -7*o - 1. Let k be f(-1). Let x be k/(-21) - (-52)/(-14). Let s be (-12)/(-16)*x/(-1). Solve -s*y - 6 - 6 = 0 for y.
-4
Let b = -46 - -47. Solve g = -4 + b for g.
-3
Let c be ((-1)/2)/(2/(-12)). Suppose 0 = 4*n - 13 - c. Solve 1 = y + n for y.
-3
Let x be 2/((-1)/(-6)*3). Suppose -w = -2, 2*n - x*n = -4*w - 8. Solve -n - 7 = 5*k for k.
-3
Let s(h) = -3*h**3 - 2*h**2 - 2*h - 1. Let c be s(-1). Let o be c + (-2 - (2 + -4)). Let r(f) = -f**2 + 3. Let y be r(0). Solve y + 5 = -o*q for q.
-4
Let o = -4 - 15. Let b = o - -27. Let n = -5 + b. Solve 4 = -n*p - 8 for p.
-4
Let m be (-1 - (-1 - 2))*-1. Let t(d) = -4*d + 1. Let q be t(m). Suppose p - q = -3*v, -4*v + 4*p + 7 + 5 = 0. Solve 8*n = v*n - 5 for n.
-1
Suppose 0 = -2*x + z - 2, -4*z + 22 = -2*x + 8. Let s = -152 + 155. Solve -7 = -s*a - x for a.
2
Suppose -23 = -3*c + 2*g - 6*g, c - 3*g = 25. Solve -c = -4*h + 7 for h.
5
Suppose 7*t - 7 = 63. Solve t - 1 = -3*u for u.
-3
Let i = -21 + 23. Let w be 12/2*2/4. Suppose -w*n + 25 = i*n. Solve -n*b + 16 = 1 for b.
3
Suppose 20 = -2*o + 4*o. Solve 0 = -0*c - 5*c - o for c.
-2
Let h(z) = -4*z - 10. Let x(v) = 5*v + 9. Let f(q) = -4*h(q) - 3*x(q). Suppose -i - a = 11, -3*i + 5*a - 13 - 20 = 0. Let t be f(i). Solve t*y - 12 = -4 for y.
4
Let l(p) = p**3 - 4*p**2 - 6*p + 7. Let x be l(5). Solve -4*n + 4 = -x*n for n.
2
Let j(a) = 2*a - 6. Let w be j(12). Suppose 3*o - 18 - w = 0. Solve -5*k + o + 8 = 0 for k.
4
Suppose 4*s - 72 = -2*s. Solve s = 3*j - 3 for j.
5
Let l(b) = 3*b - 1. Let a(w) = w. Let y(t) = 8*a(t) - 3*l(t). Let j be y(-12). Solve 3*p - j = -2*p for p.
3
Let q = -7 - -33. Let b = -26 + q. Solve 0*v + 3*v - 15 = b for v.
5
Let g = -18 + 23. Solve g*m - 9 + 24 = 0 for m.
-3
Suppose 0 = -2*m - 3*c + c - 14, -4*c = m + 16. Let r(p) = 2*p**2 - 5*p - 1. Let u be r(m). Suppose -11 = 5*n - u. Solve d = -d - n for d.
-4
Let y = -14 + 18. Solve -y*p - 1 = -5 for p.
1
Suppose 0 = b - 0*b. Solve -u - 2*u - 6 = b for u.
-2
Suppose 8 + 4 = 3*s - 2*b, 2*s = 2*b + 10. Solve 0 = y - s - 1 for y.
3
Suppose 6*i = -2*i + 11*i. Solve i = -m - m for m.
0
Suppose -4 = -2*c - 0*c. Suppose 0*g - 5*g = -c*u + 5, -5*u + 2*g = -2. Solve -3*f - f + 16 = u for f.
4
Let l(u) be the first derivative of -u**2 - 2*u - 1. Let t be l(-2). Solve t*b = -2*b - 4 for b.
-1
Let a = -3 - -5. Solve 3 = -p - a for p.
-5
Let n(q) = 3*q**2 + q - 1. Suppose 0 = -2*u - z - 8, z - 2 = 4*u - u. Let m be n(u). Solve p - 4*p - m = 0 for p.
-3
Let u(k) = k**2 + 6*k - 10. Let f = 16 + -24. Let v be u(f). Suppose -4*i - v = -3*m, 0*m + 3*m = 2*i + 12. Solve 0 = 2*q - 0*q + m for q.
-3
Suppose q - 5*z = 25, -q + 5*z - 6*z = 5. Solve q = -2*n + n for n.
0
Let t be (-6)/9 - (-12)/(-9). Let b be 5/(5/8) + t. Solve 3*l + b = 21 for l.
5
Let x = 14 + -10. Suppose b - x + 2 = 0. Solve -b*k = -k for k.
0
Let t be (7/(-4))/(5/(-20)). Suppose t = -h + 2*r + 3*r, 3*h + 1 = 5*r. Solve 2*m - h - 5 = 0 for m.
4
Let n(c) = 2*c**2 - 2. Let a be n(-3). Suppose 24 = 5*p + 3*s, 3*s - 8*s = -5*p. Suppose 0 = p*q + q - a. Solve -q*k = -2*k for k.
0
Let r(a) = -9*a**2 + a. Let l be r(-1). Let m = l - -16. Let k(v) = v - 3. Let g be k(m). Solve g*b = -14 + 5 for b.
-3
Let z be (2/4)/(1/(-4)). Let r be (z - 0)*1 + 10. Suppose 2 = 5*f - r. Solve f*v - v - 3 = 0 for v.
3
Let x = -2 + 4. Suppose x*u = u. Solve u = 3*d - d - 6 for d.
3
Suppose z + 91 = -4*y, z + 4 = 5*z. Let m = 38 + y. Suppose -3*j = -0*j + 9, -2*j + m = 3*h. Solve -2*s + h + 3 = 0 for s.
5
Let x be -2*2/4 + 6. Let y(f) = f**3 - 3*f**2 + 5. Let a be y(3). Solve x - 15 = a*j for j.
-2
Let d(y) = -3*y**2 - 2*y + 3. Let g(i) = 13*i**2 + 9*i - 13. Let m(u) = 9*d(u) + 2*g(u). Let q be m(-1). Solve -h + 0*h = q for h.
0
Let k = -41 + 65. Let w be (2/(-6))/((-4)/k). Suppose 3*m - 15 = -v + 10, -2*m + 18 = 2*v. Solve w*j = 2 + m for j.
5
Suppose -5*d + 55 = -5*c, -2 - 7 = 3*d