 u.
0
Let r be -3*2/(-3 + 5). Let k(v) = v**2 + 2*v. Let t be k(r). Solve t = 2*i - i for i.
3
Let c be 2*1/(8/156). Suppose 2*v - 4*i - 124 = 0, 0 = 3*v + 5*i - 174 - 23. Let y = v - c. Solve 5*b = -y + 5 for b.
-4
Let h = 7 - 5. Suppose h*g - 6*s - 9 = -3*s, 2*s = -g - 6. Suppose -n = -g*n. Solve 2*b = -n*b for b.
0
Suppose -a = 2*a - 135. Let d be 10/a + (-133)/(-9). Solve 3*c + 2*c = -d for c.
-3
Let s be (1 + (-2 - 2))/1. Let d be (9/3)/(1/s). Let b be ((-2)/(-6))/((-3)/d). Solve -m + 2*m = -b for m.
-1
Let z = -8 + 15. Let g(j) = 2*j - 8. Let r be g(z). Solve r*n = 3*n + 12 for n.
4
Let u(y) = -y**3 - 2*y**2 + 6*y - 1. Let k(s) = -s**3 - 3*s**2 + 7*s - 1. Let b(i) = -5*k(i) + 6*u(i). Let a be b(3). Solve 0 = 2*d - 4 + a for d.
1
Let q(p) = p**2 + 4*p + 1. Let g be q(-5). Suppose 0 = d - 5*h - 15, 0 = -5*d - 4*h + 104. Solve g*b + d = b for b.
-4
Let x be ((-3)/6)/(2/288). Let w be x/(-39) + (-2)/(-13). Solve 4 = -w*s - 2*s for s.
-1
Let o = 11 - 4. Let u be ((-6)/o)/(2/(-14)). Let w be 1/3 + 58/u. Solve w - 2 = 4*a for a.
2
Let g = 4 - -2. Let m = g - 5. Solve -m = q - 6 for q.
5
Let h(i) = -i + 18. Let m be h(9). Solve 0 = 4*r - r - m for r.
3
Let l(c) = c**3 + 5*c**2 + c + 2. Let t be l(-4). Suppose t = 5*p - 4*q, q + q - 8 = -5*p. Solve -p = -3*z + 1 for z.
1
Suppose -n - 1 + 2 = 0. Suppose -4*d = -15*d. Solve -s - n = -d for s.
-1
Suppose 4*b = 8*b. Solve 0*h + 5*h + 10 = b for h.
-2
Let t = -1 - 3. Let j = t + 14. Suppose -j = -2*i + 2*r, -2*r - 8 = 5*i + 2. Solve -4 + i = w for w.
-4
Let w be 4/((-4)/(-2)) - 2. Suppose 3*l - l - 10 = w. Suppose l*y - 11 = -1. Solve -f = -y*f + 3 for f.
3
Suppose -j + 5 = -0. Suppose -2*m + j = -11. Suppose -10 = -2*d - 2*z - 0, 0 = 2*z - 2. Solve 2*p - m + d = 0 for p.
2
Suppose 5*n - 4 = -7*q + 4*q, 0 = 4*q - 2*n - 14. Let m be ((-6)/4)/(q/(-8)). Solve -r - m*r + 5 = 0 for r.
1
Let w(a) = a**2 + 4*a. Let p(m) = -3*m + 8. Let f be p(4). Let h be w(f). Solve h*x = 3*x + 6 for x.
-2
Suppose -1 = 3*n + 5*s + 2, 3*n - 3*s - 21 = 0. Let v be n/18 - 150/(-54). Solve 0 = 4*j - j + v for j.
-1
Let w be (16*(-2)/(-4))/2. Suppose -3 = w*a - s - 0*s, -4*a - 4*s = 8. Let p be 3 + (1 - -1)*a. Solve 0*t - t - p = 0 for t.
-1
Let o(t) = -t + 1. Let f be o(1). Suppose f*z - z + 5 = 0. Solve -3 = z*w + 2 for w.
-1
Let q be 2*-5*(-2)/4. Suppose 0 - 15 = -q*z. Solve z*x = -0*x for x.
0
Let n(w) = -w - 3. Suppose 4*f + 24 = -4. Let d be n(f). Solve -7 = d*v + 9 for v.
-4
Let d(q) = 5*q - 5. Let p be d(2). Solve p = -2*v - 3 for v.
-4
Suppose 3*d - 2*d + 13 = s, 5*s - 15 = -5*d. Suppose 2*n - 4 = 0, 2*r + 1 = n - 13. Let k = s + r. Solve 0 = k*y + y for y.
0
Let z(j) be the first derivative of 1/4*j**4 + 2 - 5/2*j**2 - 2*j**3 - 9*j. Let b be z(7). Solve b*d - 16 + 6 = 0 for d.
2
Let h(n) = n - 7. Let x be h(8). Solve 2*a = -5 + x for a.
-2
Let f be 2*(-2)/(-4) - -4. Suppose -5*y - 2*n + 84 = 0, -f*y + 2*n + 44 = -2*y. Let r be ((-36)/y)/(6/(-16)). Solve 0 = -2*g + 5*g - r for g.
2
Let x be 344/34 - (98/(-34) + 3). Solve -x = f - 6 for f.
-4
Suppose -11*j + 30 = -5*j. Solve x + 1 = j for x.
4
Let t = 100 + -80. Solve 0*w - 5*w - t = 0 for w.
-4
Let s be (-17)/3 + (-1)/3. Let i = s + 12. Solve 2*f = -0 - i for f.
-3
Let d(b) = -b**3 - 5*b**2 + 5*b - 6. Let v(k) = -2*k. Let l be v(3). Let w be d(l). Solve -r + w + 2 = 0 for r.
2
Let s(t) = -4*t**3 - 6*t**2 - 15. Let j(c) = 5*c**3 + 6*c**2 - c + 16. Let p(k) = 5*j(k) + 6*s(k). Let i be p(7). Solve i = n + 3*n for n.
1
Let g(u) = 4*u - 2. Let l be g(1). Solve l*k = -1 - 1 for k.
-1
Let a(b) = -b - 5. Let f(y) = y + 6. Let c(r) = 6*a(r) + 5*f(r). Let k be c(-3). Let m(h) = -h**2 + 23*h - 22. Let s be m(22). Solve s = -2*p + p + k for p.
3
Let p = 0 + -1. Let w be p*(-2)/2 + 4. Let g(h) = h**2 + 3*h - 6. Let m be g(-5). Solve -w*k = -m - 6 for k.
2
Let q(r) = r**3 - 4*r**2 + 5*r - 2. Let h be q(4). Let s be (-6)/(-27) - 40/h. Let m = 2 - s. Solve m*g + 4 + 8 = 0 for g.
-3
Let w be 9*(8/(-3))/(-4). Suppose -w*y + 2*y + 8 = 0. Let a be 6 - y/(-6)*0. Solve 2*j - 4*j = a for j.
-3
Let n = 51 - 36. Solve 5*s - n = -0*s for s.
3
Let q = -3 + 3. Suppose 4*j = -q*j + 8. Solve 0 = 3*u - j + 17 for u.
-5
Suppose g + 0*d + 11 = 5*d, -3*d + 29 = 5*g. Suppose -17 = -g*j - 2*l + 7, -5*l - 20 = 0. Solve 0 = w + 3*w - j for w.
2
Suppose -j + 6 = -10. Solve -p = -5*p + j for p.
4
Let s = -3 - -10. Suppose 4 = 3*c - 5. Suppose 3 = c*r + i - 1, -3*i - 10 = -2*r. Solve -n = -r + s for n.
-5
Suppose -5*h + 15 = -0*h. Let u be -3 - (-3 + h) - -7. Solve u*c - 10 = 2 for c.
3
Let z be 3 + (-2)/(-4)*0. Suppose z*x = -x + 8. Suppose 0*u + 8 = x*u. Solve 0 = 4*b - 5*b - u for b.
-4
Let p be 0/(5/15*3). Solve 0*q + 2*q + 10 = p for q.
-5
Let r = -29 + 36. Solve -3*p + r = -8 for p.
5
Let u = -130 + 134. Solve 20 = -u*p + 4 for p.
-4
Suppose v - 32 = -7*v. Solve -v*h - 20 = -0*h for h.
-5
Let j(n) = n**2 - 5*n + 7. Let u be j(6). Suppose u + 8 = t. Let a be 330/t + 4/14. Solve -3*b = b - a for b.
4
Let w = 6 + -4. Let z(v) = -v**3 + v**2 + v + 1. Let l be z(0). Let b be l/((6/(-8))/(-3)). Solve b*a = -w + 6 for a.
1
Let a be (129/12)/((-1)/(-4)). Let g = a + -31. Solve 3*h - g = 7*h for h.
-3
Let o(n) = n**2 - n + 5. Let c be o(0). Let r(w) = -w**2 + 8*w + 4. Let k = -17 - -25. Let u be r(k). Solve 0 = c*x - u*x + 3 for x.
-3
Let q(b) = b**3 - 3*b - 2*b**2 - 3 + 2 - 2*b + 3*b. Let r(m) = -m**3 + 7*m**2 + 9*m - 5. Let y be r(8). Let x be q(y). Solve 7*o - x*o = -25 for o.
-5
Suppose 2*p + p = 6. Suppose 0 = p*d - 6*d + 52. Suppose 0 = -o + 4*b - 1, b + 0*b = -4*o + d. Solve 0 = f - o*f - 8 for f.
-4
Let m = -91 + 96. Let o(i) = -i - 4. Let x be o(-4). Solve m*b = -x*b for b.
0
Let x be (-2)/(-4) + (-112)/(-32). Suppose 50 + 112 = 2*k - 2*c, c - 165 = -2*k. Let w = -57 + k. Solve -x*h = -9*h + w for h.
5
Let a(x) = -2*x**3 - 4*x**2 - x + 2. Let o be a(-2). Suppose 4*k + 12 = -5*u, -2*u = -o*k - 4*u. Solve k = -5*r + 27 for r.
5
Let l(r) = -r**2 + 15. Let f be l(0). Let q be (-1)/4*2 - 28/(-8). Solve -2*g + f = q*g for g.
3
Suppose -4*t + 50 = -5*a, 37 = -4*a + t + 8. Let c = a + 9. Suppose 3*g = -g + 4*z - 8, 5*z - 10 = 4*g. Solve c*f - 2 + 5 = g for f.
-1
Let t(c) = -2 + 4*c + 5 - 3*c. Let g be t(4). Solve -g*x = -3*x for x.
0
Let p(u) = -6*u - 78. Let y be p(-13). Let l be 1*3 - (-1)/(-1). Solve 6 + y = l*w for w.
3
Let s be (4/6)/((-6)/(-126)). Let d = s + -11. Solve q = d*q + 2 for q.
-1
Suppose -10*j = 7*j - 5*j. Solve j = 4*m + m - 10 for m.
2
Let y be (-6)/(-45) + (-868)/(-465). Suppose 0*o = -3*o. Let f = o - -3. Solve -f*u - y = 7 for u.
-3
Suppose -4*v = -9 - 3. Let p be v/2*16/6. Let s be (-1)/(-1) - (-6)/2. Solve p*i + s = -0*i for i.
-1
Suppose 4*b + t - 36 = 5*t, -4*t = -b + 21. Solve -b*h + 4 = -16 for h.
4
Suppose 2*h = 6*h - 4. Let b be 0 + (-2 + 2)*h. Let m = -1 - -6. Solve b = m*v - v for v.
0
Let z be (12 + -2)*(-9)/(-6). Solve 2*q + q = z for q.
5
Let h(o) = 2*o - 38. Let z be h(19). Let l = -2 - -4. Solve z = -2*q - l*q + 4 for q.
1
Suppose -y = -3*j + 8*j, -70 = -2*y + 4*j. Solve 7*o = 2*o - y for o.
-5
Suppose -4*f + 12 + 0 = 0. Suppose -f*g + 18 = 2*b - 5*b, 5*g - 2*b = 30. Solve 2*a - g*a = 0 for a.
0
Suppose -10 = -5*b - 5. Let x be (1 + b)/(12/18). Solve -x*l = l - 12 for l.
3
Let h = 5 - 8. Let a be (-3)/h - (0 + 5). Let n be ((-10)/a)/((-1)/(-2)). Solve -n*k + 8 + 12 = 0 for k.
4
Suppose 3*y = -5*q - 0*q - 11, 6 = 3*q. Let f = y + 19. Let b = 1 + f. Solve b = -3*j - 2 for j.
-5
Let t = 70 - 65. Solve 3*c = 8*c + t for c.
-1
Let c(q) = -q**3 - q**2 - 1. Let w be c(-1). Let u(z) = -z**2 - 10*z - 2. Let r be u(-10). Let a be w*(r + 0 + -1). Solve a*t = 8*t + 25 for t.
-5
Let c(z) = -z**2 + 17*z + 18. Let g be c(18). Solve g = -7*t + 4*t for t.
0
Let r(v) = -v**3 - 8*v**2 + 10*v + 11. Let w be r(-9). Suppose 0 = d - 4 + w. Solve f = d*f for f.
0
Suppose 15 = 3*u - 0*g + 3*g, 0 = -4*u + 2*g + 8. Suppose 5*h + 29 = 3*n, 3*n + h - 21 = 4*h. Let y = u - n. Solve y = 3*b - 4 - 5 for b.
3
Let c = 9 - 6. Solve -4*o + c = -o for o.
1
Let p(g) = -g**3 + 13*g**2 + g - 12. Let b be p(13). Solve -b - 2 = r for r.
-3
Suppose -3*w + 5*w = 28. Let j = 10 - w. Let x be 2 + -2 + j/(-1). Solve -8 = -x*q + 2*q for q.
4
Let l(f) = -2 - f - 4 + 3*f + 1. Let m be l(4). Solve -j = m*j + 12 for j.
-