 u.
3
Let m be 1*0/((-5)/1). Solve 2*f = -m*f - 6 for f.
-3
Let w(m) = m**2 - 4*m. Let t be w(3). Let h be t/(-12) - (-76)/16. Solve h*s = -2 + 7 for s.
1
Let w(y) = y**2 - 8*y + 9. Suppose -f = 4*p + 13, 5*p = f + 3*f - 53. Let u be w(f). Solve d = -u*d - 15 for d.
-5
Suppose f = 7*f - 150. Solve -2*q + 7*q = -f for q.
-5
Suppose -4 - 76 = -8*c. Solve -4*p - c - 2 = 0 for p.
-3
Suppose 3*m = 2*c - m - 42, -5*c - 3*m + 40 = 0. Suppose -5*l + c = 1. Suppose 0 = l*o + 2*o. Solve o*x - 3*x + 6 = 0 for x.
2
Let k(d) = -3*d - 3. Let r be k(-1). Let f be ((3 + -2)*0)/2. Suppose -4*o = -f*o - 12. Solve 0 = o*a - r + 9 for a.
-3
Let y = 26 + -16. Let b = -14 + 19. Solve -p = -b + y for p.
-5
Suppose 3*p + 3 = 4*q, -4*p + 2*q = p - 9. Solve 0 + 3 = -p*a for a.
-1
Suppose 4*i = -5*x + 9, 4*x + 3*i + 2 = 2*x. Solve x*k = 4*k + 4 for k.
4
Let q be 13/3 + (-4)/12. Suppose 5*k = -4*h - 0*h + 17, 0 = -q*h - 2*k + 14. Solve -h = -3*z + 9 for z.
4
Suppose 2*b = 3*b. Let g(m) = -3*m + 27. Let a be g(4). Solve -4*i - i + a = b for i.
3
Let w(q) = q**3 + 4*q**2 - 7*q - 7. Let s be w(-5). Solve o - 2 = s for o.
5
Let k(l) = l**3 - 9*l**2 - 11*l + 12. Let i be k(10). Solve -z + i*z - 2 = 0 for z.
2
Suppose 0 = 3*b - 4*b. Suppose -3*n - 2*y = -2*n - 26, 4*y - 20 = b. Solve -u - 3*u - n = 0 for u.
-4
Let g be -1 - 0 - -2*3. Let j = 6 - 2. Suppose -j*t = -t. Solve t = a - g for a.
5
Suppose -10 = 4*u + 18. Let m = u + 8. Solve 0 = 2*y - m - 7 for y.
4
Let f be -1 - (1 + -4 + 0). Let a be f/7 + (-38)/(-14). Solve -a*l - 12 = -0*l for l.
-4
Let g = 4 + -3. Let w be -5*(-4 - -3) - 3. Solve -j + g = -w*j for j.
-1
Let h be 20/(-6)*((-140)/25 - -2). Solve 3*g - h - 3 = 0 for g.
5
Suppose 3*b + f - 25 = 0, 0*f = 4*b + 2*f - 34. Solve -3*z = -z - b for z.
4
Suppose -3*i + d = -5*i + 18, 0 = -3*i + 2*d + 34. Let s = i + -6. Solve -12 = s*a - 0 for a.
-3
Suppose y = 2*y - 5. Suppose -j = -5*q + 2*j + 16, -2*j = -5*q + 19. Suppose 5*g + 0*g - 20 = f, -q*f - 20 = -5*g. Solve 0 = y*v - 11 - g for v.
3
Let a(r) = 2*r**2 - 3*r. Let h be a(2). Suppose -2 = h*u - 12. Solve -v = -u*v for v.
0
Let g be 0/(-3 - -1 - 0) - -2. Solve 5*b - g = -7 for b.
-1
Let f(h) = -5*h**3 + 2*h**2 - 2*h. Let u be f(1). Let q = -2 + 3. Let l be (u - -6)*(q + 3). Solve -l = r + r for r.
-2
Let j(s) be the second derivative of -s**5/20 + 5*s**4/12 + 4*s**3/3 - 4*s**2 + 2*s. Let x be j(6). Solve 5*w = 3*w - x for w.
-2
Suppose h - 13 = 4*g + 8, g = -5. Solve 2 = v - h for v.
3
Let b be -2 - 18/((-3)/1). Solve -9 + 25 = b*d for d.
4
Let k = -4 - -6. Suppose 0 = j - 5, j = -v + 9. Solve -v - 4 = -k*g for g.
4
Let k be 2/8 - 11/(-4). Suppose -4*d - 4*m = -26 - 6, -5*d = m - 24. Solve -k*s - d = 2 for s.
-2
Let m(c) = -c**2 - 4*c + 9. Let z be m(-7). Let p = 16 + z. Solve 0*o - 4*o = p for o.
-1
Suppose -19*q = -25*q + 30. Solve q*v - v = 4 for v.
1
Suppose -26*i - 22 = -27*i. Solve -5*p + 3 = -i for p.
5
Let u(w) = -w - 7. Let s = -27 - -18. Let c be u(s). Suppose 5*p - 3*k = 9 + 11, -5 = k. Solve i = c*i + p for i.
-1
Suppose -3*v = -8 - 10. Solve -3*p = -p + v for p.
-3
Let y(o) = -2*o + 17. Let u be y(7). Solve 4*m = u*m + 4 for m.
4
Suppose j - s + 2*s - 5 = 0, -s = 5*j - 5. Let v(b) = b - 4. Let f be v(4). Let n = f + 0. Solve j = -3*g - n - 3 for g.
-1
Suppose -w + 92 = w. Let k = w + -32. Solve 39 = -5*n + k for n.
-5
Let w be (4 - (-1 - -10))*4/(-10). Solve w*p + 3 = 5*p for p.
1
Let u = 15 - 43. Let v = -13 - u. Suppose 3*b + 2*i - 4*i = v, 4*b + i = 20. Solve b*j + 4 = 14 for j.
2
Let l be (-14)/14 - 15/(-3). Suppose 3*g = 7*g. Solve l*t = -g*t - 20 for t.
-5
Let m(g) = 1. Let b(w) = -w - 15. Let r(z) = -b(z) - 3*m(z). Let s be r(-9). Let c = s + -3. Solve 3*v + c = -6 for v.
-2
Let d(h) = 2*h + 4. Let z be d(-4). Let a be 1/z - (-93)/(-12). Let l be (-6)/a - 18/(-8). Solve 0 = k - l*k - 10 for k.
-5
Let g(y) = 3*y + 34. Let b be g(-10). Solve 0 = b*h - 13 + 1 for h.
3
Let l be (-7)/(-3) - (35/(-21) + 2). Solve -8*y + l*y + 18 = 0 for y.
3
Suppose -6*c + 2*c = -64. Solve 3*z = 7*z - c for z.
4
Let k(n) = -2*n**2 + 7*n + 2. Let z(a) = -3*a**2 + 10*a + 3. Let l(j) = 7*k(j) - 5*z(j). Let g be l(3). Solve 18 = -g*r - 7 for r.
-5
Let o be 62/(-6) - 12/18. Let t = o + 14. Solve 4*a - t = 1 for a.
1
Suppose -4*i = -4*n + 64, 2*n - n = -5. Let a = i - -23. Solve 0 = 2*d - 0 + a for d.
-1
Suppose -4 = -0*o - o. Let m(f) = -f + 8. Let g(v) = v**3 + 10*v**2 + 7*v - 13. Let r be g(-9). Let t be m(r). Solve -o = -w - t*w for w.
1
Suppose -8 = -2*d, 4*k - 2*d = 3*d. Suppose k*a = 12 + 3. Suppose -3*b - 4*s = b - 16, a*b - 8 = s. Solve -b*h = h + 12 for h.
-3
Suppose -w - 1 = 0, -d + 4*w = 5*w + 4. Let c = -3 - d. Solve 4 = 2*p - c for p.
2
Suppose 0*f = 7*f - 14. Solve -f*w = -7*w for w.
0
Let i be (-156)/(-42) + 2/7. Suppose 0 = -i*o - o. Suppose -2*c + m = c - 25, 3*c - 3*m - 33 = o. Solve 0 = -c*j + 3*j + 16 for j.
4
Suppose -6*l + 82 - 28 = 0. Solve 3*p = -l - 6 for p.
-5
Suppose 5*x + 4*h + 29 = 0, -3*x + 2*h - 5*h = 15. Let j = x - -4. Let q = -2 - j. Solve 5*r + q = 13 for r.
2
Let y be -58*3/(-54) - (-6)/(-27). Solve y - 28 = 5*s for s.
-5
Let f(y) = 5*y - 7. Let l be f(3). Suppose 6 + l = 7*v. Solve -7*m - 10 = -v*m for m.
-2
Let g = -8 - -12. Suppose g*u - 5 = 7. Solve -12 = s + u*s for s.
-3
Let b(g) = -g**2 - 7*g - 8. Suppose 3*i + 10 = -11. Let a be b(i). Let m be (1 + -4)/(6/a). Solve -m*z + 8 = -2*z for z.
4
Let g be ((2 - 1) + (-15)/(-5))/2. Let k(d) = -d - 2. Let z be k(-2). Suppose -2*r + 3*r - 3 = z. Solve -r*y = -g + 14 for y.
-4
Let i(l) = l**3 - 2*l**2 - 5*l + 4. Let y be i(3). Let g be (-8)/y - (-4 + 3). Let b = g - 3. Solve b*j + 16 = 6 for j.
-5
Let y = 20 + -12. Let h = 10 - y. Suppose h*q = -2*q. Solve q = o + 1 + 3 for o.
-4
Suppose 0 = -3*s - 3, 2*v - 3*s - 7 = 26. Suppose h + 2*h = v. Solve -h*y = -y - 8 for y.
2
Let d = 25 + -25. Solve d = j + 3*j for j.
0
Suppose 13 + 11 = 2*y. Solve 0*j = -3*j - y for j.
-4
Suppose -2*a = -0*a + 3*c - 12, 5*a - 2*c - 11 = 0. Let z = a + -2. Let k be (-2 - (z - 2))*-1. Solve 4 + k = -5*p for p.
-1
Let d(u) = -u**3 + 12*u**2 + 16*u - 34. Let v be d(13). Solve 0 = -v*l - 1 - 9 for l.
-2
Suppose 4*d + 4 = 2*d. Let q(r) = -r**3 + 5*r**2 + 5*r + 2. Let n be q(6). Let o = d - n. Solve o*s - 3 = -7 for s.
-2
Let t be 20/30 + 40/3. Suppose 2 + t = 4*k. Solve -8 = -d - k for d.
4
Let r = -7 + 32. Solve -4*n = -9*n - r for n.
-5
Suppose 2*t - 7*t - 50 = -5*v, -4*t = -3*v + 34. Solve -9 = -k - v for k.
3
Suppose -29 = -s - 2. Suppose -4*n - 5*r - 26 = 15, 4*n + 2*r + 26 = 0. Let h be 87/s - n/(-18). Solve -h - 5 = -4*x for x.
2
Suppose 2*j - 4*c = 16, -j + c + 0*c = -4. Let a(m) = -m**3 + 26*m**2 - 25*m + 2. Let n be a(25). Solve n*b + j*b + 8 = 0 for b.
-4
Suppose -2*n + 3*q = -3 - 15, 0 = n - q - 7. Solve n*i = -4 - 2 for i.
-2
Let p be -1 - (2 + 0 + -4). Suppose 4*x - 23 = 5*c, -c = 2*x - 3 + 2. Let l be p - x - (-3 - -1). Solve l = 5*h - 4 for h.
1
Let s(d) = d - 1. Let n be s(-6). Let x(h) = -h**3 - 6*h**2 + 4*h - 10. Let c be x(n). Suppose 5*q - 29 - c = 0. Solve -3*l + 20 = -q*l for l.
-4
Let k be 3 - 1*(-3 - -4). Suppose k*t - 23 = -3*r + 2, 0 = 2*t - r - 5. Solve 10 + t = -5*u for u.
-3
Suppose 2*k - 31 + 27 = 0. Suppose f = -0*f. Solve f*n = -k*n - 10 for n.
-5
Suppose 1 = -j + 8. Let i = j + -7. Solve i = 2*a - 3 - 3 for a.
3
Suppose -2*k - 9 = -5*k. Suppose 0 = -3*t - 7*h + 2*h - 16, -3*t + 5*h + 4 = 0. Let p = t + 5. Solve k + 6 = p*y for y.
3
Let x be 4/24*3*8. Solve 5*v + 2 = x*v for v.
-2
Let m = 178 + -178. Solve -4*s + s - 3 = m for s.
-1
Let y = -3 + 7. Suppose 2*z + 10 = -0*z - 2*g, -y*g - 20 = 0. Solve z = -3*r + r for r.
0
Suppose -2*v = -3*a - 3, 3*v + 0*v - 6 = 3*a. Suppose v = -w + 8, -w = -2*p + 3. Suppose 2*i + 2*u - 20 = 0, -3*i - 4 = -p*u + 1. Solve -15 = i*z - 0 for z.
-3
Let d be (-6)/10 + (-252)/(-45). Solve 0 = -2*y + d - 7 for y.
-1
Let w(c) = c**2 - 7*c - 5. Let u(p) = p**2 - 7*p - 5. Let f(h) = 4*u(h) - 3*w(h). Let s be f(8). Solve 10 = s*b + 2*b for b.
2
Suppose 0 = -v + 9*v. Solve 2*f + 2*f - 4 = v for f.
1
Suppose -5*o = -5 - 0. Let g = -2 - -4. Solve -g*p = -p + o for p.
-1
Let u(b) = b**2 - 8*b + 6. Let a be u(5). Let t(l) = l**3 + 9*l**2 + 4. Let y be t(a). Solve -y*g - 7 = -19 for g.
3
Let d be 0/(-3*(-4)/(-6)). 