 = -m - 16. Suppose 0 = 4*y - 3*y - s - m, -s - 4 = -4*y. Solve u - 1 = -y for u.
1
Suppose 0*m + 2 = 2*m. Let g = 0 + m. Solve k - g = 3 for k.
4
Let b be (2 + -1)/(2/10). Let x(k) = 3*k**3 - 2*k**2 + 1. Let m be x(1). Solve b = 7*i - m*i for i.
1
Let f = -2 - -2. Solve f = -i + 2 - 7 for i.
-5
Let o be (6/(-4))/(3/(-4)). Suppose -4*l - 2 = o. Let r be -1*(-1 + l + 1). Solve -2*w - r = 3 for w.
-2
Let q(v) = -v - 1. Let a be q(-5). Solve -x = -1 + a for x.
-3
Let u(b) = -b**2 + 4*b + 6. Let j(n) = -2*n**2 + 7*n + 11. Let x(f) = -3*j(f) + 5*u(f). Let t be x(3). Solve 15 = 6*y - t*y for y.
5
Let k = 16 + -14. Solve 0 + k = p for p.
2
Suppose 5*g - 73 = -8. Suppose -n = -3, 0*n - 5*n + g = -h. Let j(c) = c**2 - 1. Let x be j(h). Solve -4*u + x*u = 1 for u.
-1
Let i(z) be the first derivative of -z**3/3 + 9*z**2/2 - 9*z - 10. Suppose 2*r + 5*c - 26 = -7, 5*c + 23 = 4*r. Let y be i(r). Solve 0*v - y = -v for v.
5
Let q(i) = i**2 - i + 3. Let d be q(-3). Solve -2*k = -5*k + d for k.
5
Let t(b) = 3*b**2 - 2*b + 2. Suppose -4*k = 2*n - 2*k - 10, -3*k = -9. Let c be t(n). Solve -4*h - h = -c for h.
2
Let d(b) = b**3 + b + 3. Let t be d(0). Let f be (t/(-5))/((-7)/35). Solve f*o = 5*o + 6 for o.
-3
Suppose -s - s + 34 = 0. Let q = s + -17. Solve q = 4*y - 2 - 18 for y.
5
Let i(j) = 8*j**3 + j**2 + j - 2. Let t be i(1). Solve -t = -3*l + l for l.
4
Let o be 15 + (-3)/(-6)*8. Let q = 24 - o. Solve g = -0*g - q for g.
-5
Let n = 42 - 38. Solve 3*a - 4 = n*a for a.
-4
Let o(m) = -4*m**2 + 4*m**2 + 6*m - 5 + m**2. Let j be o(-7). Suppose -h + j*d = 5*d - 21, -3*d = -5*h + 105. Solve h + 4 = -5*b for b.
-5
Let x(g) be the first derivative of 8/3*g**3 + 3*g - 2 - 1/4*g**4 + 1/2*g**2. Let m be x(8). Solve 4*i + 5 + m = 0 for i.
-4
Suppose -13*p + 44 = 5. Solve -6*i - 12 = -p*i for i.
-4
Let v be (-26)/(-8) + 1/(-4). Let w be v/2 + (-14)/(-4). Suppose w + 5 = 2*z. Solve -n + 2 = z for n.
-3
Let a be ((-5)/(-10))/(3/18). Solve 0 = -0*q + a*q for q.
0
Let i(n) = -18*n - 2. Let r be i(-1). Solve 0 + r = -4*s for s.
-4
Let w be 0*4/(-10)*(-5)/2. Suppose -15 = -5*f - 0*f. Solve 0 = -3*l - w - f for l.
-1
Suppose 0 = 3*w - 0 - 15. Suppose -2*h = 3*q + h, -w*q - 3*h = 0. Solve -5 = -5*p - q*p for p.
1
Let z be ((-3)/(-2))/((-9)/12). Let a be 34/2*(z - -4). Suppose -a = -5*j - 4. Solve -4*f = -f + j for f.
-2
Let k be (-3)/6 - 174/(-4). Suppose 4*g = -3*n + 26, -4*n - 4*g + k - 3 = 0. Let b = -1 - -5. Solve -n = 2*j - b for j.
-5
Suppose 5*y - 4*x = 19, -2 + 0 = -2*y - 4*x. Suppose 5*i - 16 + 1 = 0, -y*n - 2*i = -21. Let v be (0/(2/1))/(-2). Solve v = n*c - c for c.
0
Let i be (1*10)/(-8 - -6). Let r = 6 + i. Let u be 0*(-1)/(2 - r). Solve u = z - 5 + 3 for z.
2
Let x be ((-3)/6)/((-1)/(-12)). Let t(i) = -i**3 - 5*i**2 + 5*i - 4. Let k be t(x). Solve 1 = -k*q + 7 for q.
3
Let z(i) = -4*i**2 + 6*i + 1. Let t be 90/(-8) - 3/(-12). Let a(w) = 7*w**2 - 11*w - 2. Let u(b) = t*z(b) - 6*a(b). Let h be u(1). Solve -h*j = -7*j for j.
0
Let a = 36 - 14. Suppose 5*w + a = 7. Let y = 0 - w. Solve y*b = -b - 20 for b.
-5
Let h be (60/70)/((-3)/(-14)). Solve m - h = -m for m.
2
Let v be ((-6)/5)/(12/(-30)). Solve 3*h = 9 + v for h.
4
Let f(m) = m**2 + 3*m. Let i be f(-6). Let k = i - -5. Solve -k = 4*n - 7 for n.
-4
Let y be (-1)/2*(17 - 19). Suppose -2*k + 4 = -0*k. Suppose -5*x + 10 + 15 = 0. Solve 0 = -k*i + x + y for i.
3
Suppose q + 4*y - 12 = 0, 2*q + 22 = 5*q + 5*y. Let z be 6/8 + 1/q. Let a(d) = 3*d + 1. Let f be a(z). Solve f = b - 0 for b.
4
Let x = -2 - -13. Let h = 23 - x. Solve 3*r - h = -r for r.
3
Suppose -3*f = -4*f + 19. Suppose -3*x = 4*n + 9, 4*x - 4*n = n + f. Let w be (1 - -1) + x + 0. Solve 3 = 2*a - w for a.
3
Suppose -3*q - 23 = -2*r, -5*r + 29 + 9 = -q. Let i = -5 + r. Suppose -2*s = s. Solve s*m + i*m + 4 = 0 for m.
-2
Let a(g) = g**2 - 5*g - 6. Let i be a(6). Let v be (-9)/6*(i - 2). Suppose 5*h - v = 7. Solve h*t + 3*t = 5 for t.
1
Suppose q + 15 = 3*h + h, -12 = -h + 3*q. Suppose -2*l + 3 = -h. Solve l*a - 8*a = -25 for a.
5
Let f be (-18)/14 - 10/(-35). Let w = 1 - f. Solve -w*v + 15 = 3*v for v.
3
Suppose -16 = 2*j - 4*j. Suppose -4*l = 5*b - 21, 0*l + 19 = 4*b + l. Suppose -5*m + 4*x = -12, 0 = m - b*x - 25 + 10. Solve m = 2*o - 4*o + j for o.
4
Suppose -5*o + 8*o = -12. Let x(i) = i**2. Let b(z) = -2*z**2 - 2*z + 3. Let c(j) = -b(j) - x(j). Let u be c(o). Solve q + 16 = u*q for q.
4
Let r = -5 - -10. Let u be (-6)/(-9) - r/3. Let s be u - -3 - (3 + -5). Solve -q = -s*q + 6 for q.
2
Suppose 3*h + 5*f - 35 = 0, -4*h - 3*f + 23 = -2*h. Let g(x) = x**2 - 5*x + 3. Let r be g(5). Solve 2*p = -r*p + h for p.
2
Let y(l) = l**3 + 10*l**2 + 10*l + 11. Let o be y(-9). Solve 1 = o*x + 5 for x.
-2
Suppose 0*j = 4*j + 208. Let s = -32 - j. Solve -5*w - s = -0*w for w.
-4
Let q = 18 - 13. Suppose q = 4*l - b - 0, 3*l + 5*b = -25. Solve 0 = -l*x - x for x.
0
Let w(a) be the second derivative of -a**4/12 + a**3 - 3*a**2/2 + 3*a. Let o be w(3). Solve -o = 4*n + 14 for n.
-5
Let q(v) = v**2 + v + 10. Let o = -1 - -1. Let w be q(o). Solve -6 = -4*t + w for t.
4
Suppose -17 = 4*x + 35. Suppose 0 = 2*p + 3*t + 10, 2*t - 2 = 2. Let q = p - x. Solve -2*l = -l + q for l.
-5
Let z be (-125)/(-20) - 6/(-8). Let t = z + -2. Suppose -t*l = -4*w - 3, 2*l - 6 = -5*w + 15. Solve b = 2*b - w for b.
3
Let b(h) = h**2 + 2*h + 2. Let x be b(0). Suppose -3*f = -2*n - 25, -5 = -f - 3*f - 3*n. Suppose -d = -5*d. Solve -x*u + f + 5 = d for u.
5
Let d(s) = s**2 - 6*s + 4. Let l be d(3). Let a = -2 - l. Solve -g - a*g = 0 for g.
0
Let f(s) = 2*s**2 + 2*s. Let u be f(-2). Suppose -5*l + y - u = 0, 2*l - 4*y + 4 + 12 = 0. Solve l = n + 2 + 2 for n.
-4
Let x be (-152)/(-36) + 4/(-18). Suppose 0 = 5*c + x*f - 26, 0*f + 10 = -c + 3*f. Let l = -1 + c. Solve 2*p - 1 = l for p.
1
Let q be (2 + -4 - -8)/1. Let c = -5 - -5. Let m be -8*(5 + -3 - 4). Solve q*x - 2*x + m = c for x.
-4
Let h = -5 + 4. Let l = 5 + h. Solve l*f + 0 = -8 for f.
-2
Let i = -15 + 17. Solve -i*f = -f - 5 for f.
5
Suppose -4*r - 14 = -s, 0*r - 5 = 5*s + 5*r. Solve 0 = -0*k + 2*k - s for k.
1
Suppose 5*u - 26 = 4*z + 25, -z = 4. Suppose 3*t - 97 = -4*q, 0 = -3*q + u*q - t - 101. Solve 3*p = 8*p - q for p.
5
Let h(i) = -i**3 + 2*i**2 + 18*i - 13. Let f be h(5). Solve 0 = f*d - 7*d for d.
0
Suppose -9 = -3*p, 0*m - 2*p + 8 = 2*m. Solve 2*g - m = 5 for g.
3
Let b(h) = -h + 2. Let d be b(2). Let n be ((-9)/15)/(4/(-20)). Suppose n*s = 1 + 17. Solve d = -4*i + i - s for i.
-2
Let x = 57 + -20. Suppose 2*y = 2*j - j + 35, 2*y - x = -j. Solve -3 = -3*z - y for z.
-5
Let j(h) = -h**2 + 11*h - 24. Let b be j(7). Solve n + b = 3*n for n.
2
Let x be (-12)/(-4) + 1 + -2. Suppose -4*k - j + 11 = -14, -x*k - 1 = 5*j. Solve k*r = 2*r - 15 for r.
-3
Let q(i) = 8*i - 3. Let z be q(6). Suppose 0 = 5*w - r - 2*r - 5, -5*r + z = 5*w. Solve w*l + 3 = l for l.
-1
Let h be (4 + 14)/(-2) - -4. Let t be (-2)/h*5*2. Solve -r - t = -2*r for r.
4
Let y(f) = f**2 - 4*f + 4. Let o be y(2). Solve o = -2*i + i - 2 for i.
-2
Suppose 13*t = 14*t. Solve t*x + 4 = 4*x for x.
1
Let f = 1 - 1. Suppose f*k + 4 = k. Solve 0 = -k*u + 2 + 6 for u.
2
Suppose 0 = -a - 5*g + 9, -6*a + a - 4*g + 66 = 0. Let q = a + -12. Let k(l) = -l**3 + 8*l**2 - 6*l - 1. Let z be k(7). Solve -z = 2*y + q for y.
-4
Let j(g) = -g**3 + 11*g**2 - 10*g + 5. Let m be (-13)/(-1) + -1 + -2. Let s be j(m). Solve 0 = -z + s - 1 for z.
4
Let z(j) = -2*j - 7. Let t be z(-6). Solve 0 = -t*o + 23 - 3 for o.
4
Let b(x) = 10 - 4*x + 0*x + 5*x. Let t be (4 - 5) + 14/(-2). Let n be b(t). Solve n*o + 3 = -3 for o.
-3
Suppose -3*x + 7 = 1. Let z = x + 1. Let f be (20/(-35))/((-4)/14). Solve -z = -l - f for l.
1
Let o be (-6)/4*8/(-6). Let b be (16/(-6) + o)*-18. Let s be 2/3*54/b. Solve -s*c + 2 = -4*c for c.
-2
Suppose -6 = 5*k + 4*u, -2*u = 3*u + 20. Suppose 2 = -3*r + 8. Solve -k*c - r = -8 for c.
3
Let l(p) = p**2 - 6*p + 8. Let d be l(5). Solve -k + 8 = d*k for k.
2
Suppose -2*n - n = -12. Suppose n = -h + 9. Solve -h = p + 4*p for p.
-1
Let j(p) = -p + 6. Let i be j(6). Let y(v) = -v**2 - v + 6. Let r be y(i). Solve o = r*o for o.
0
Let c be ((-2)/3)/((-2)/3). Suppose -3 = -2*u + c. Suppose -b - b + 76 = 5*q, b - 30 = -u*q. Solve q = -0*i - 4*i for i.
-4
Let i be ((-4)/2 + 0)*1. Let r = i + 7. Sol