 u for b.
4
Let h be (1 - -1 - 4)/(-1). Suppose -1 = h*a - 5. Suppose f - 8 = -0*f - 4*n, 4*f + a = n. Solve 4*p = -4 - f for p.
-1
Suppose 34*f - 3 = 31*f. Solve 3 = 4*z - f for z.
1
Let w be 2*(4 + -1*6) + 11. Solve 10*u - w*u - 3 = 0 for u.
1
Let s(p) = -p - 1. Let y be s(-4). Suppose 2*m + 1 = y. Solve m = 2*k - 1 for k.
1
Let z(r) = r**2 - r - 4. Let l be z(3). Solve l*d + d = 9 for d.
3
Let t(g) = 0*g**2 - g**3 + 3*g**2 + 9 + g**2 + 3*g**2. Suppose -2*d = 4*m - 28, -3*m + 25 = 4*d + 4. Let x be t(m). Solve x*b = 4*b for b.
0
Let p be 12/(-9)*51/(-2). Suppose r = l - p + 8, -4*l + 105 = -5*r. Solve n - 6*n = -l for n.
5
Let d(l) = l**3 - 5*l**2 - 9*l + 20. Let h be d(6). Let v be 1 + -3 - -2*2. Let k(b) = 12*b. Let m be k(1). Solve -h*z - v*z = m for z.
-3
Suppose -3*w + 0*w + 18 = 0. Let m = 8 - w. Suppose 3*d - 27 + 9 = -3*b, m*d = 4*b. Solve 5 + 1 = -b*i for i.
-3
Let o be (-8)/14*14/(-4). Suppose 5*y = -5*q + 35, -20 = -o*y - 3*y. Solve -d + 6 = q for d.
3
Suppose -q = -5*u - 5 - 18, -5*q - u = -11. Suppose -5*m + 45 = p, 2*p + 3*m - 65 = -q. Solve 4*a + p = -a for a.
-5
Suppose -6*q + 10*q = 8. Let v = q + 4. Solve 4*x = -v + 26 for x.
5
Suppose 3*j = 3*l - 3, -l - 25 = -5*l - 3*j. Solve 2*n - l*n - 8 = 0 for n.
-4
Let v(h) = h**2 + h. Let w be v(-2). Suppose -2*f - 13 = -w*m - f, m - 11 = -4*f. Let t = -4 + m. Solve 0 = -t*n + 2*n - 2 for n.
-2
Let l be (3 + -2 + -1)/(-3). Solve -m + l = -3 for m.
3
Let u = 165 + -165. Solve u = 3*b - 5 - 10 for b.
5
Let z be (-28)/20 - 2/(-5). Let d = 1 - z. Solve d*a + a = -12 for a.
-4
Suppose 5*x + 0*x - 21 = 4*y, -3*x = -4*y - 11. Let b = -7 + -12. Let c = b - -27. Solve x*v = -12 - c for v.
-4
Let y = 4 - 4. Suppose q + 2*q = y. Solve q*l - l = 0 for l.
0
Suppose -2*r - 10 = 0, 4*r - 8 + 3 = -5*c. Solve -c*o - 10 = -5 for o.
-1
Suppose 4*b + b = 0. Suppose -4*x + 3*z = -43, b = -3*x - z + 14 + 15. Solve k = -k - x for k.
-5
Let p = 32 - 31. Suppose -5*q + 21 = u, -3 = 5*q - 2*u - 21. Solve -v + q = -p for v.
5
Suppose 2*z = 3*z + 2. Let b(w) = w**3 + w**2 - 3*w - 1. Let u be b(z). Solve -u + 6 = -r for r.
-5
Let g be (-4 - -4)/(-2)*1. Solve g = 7*h - 3*h for h.
0
Let u = -27 + 69. Let q = -3 + u. Suppose 0*r - 3*r + q = 0. Solve 5 = -4*n + r for n.
2
Suppose 5 = -8*w + 7*w, 10 = -a - 3*w. Solve -4*b + 1 = a for b.
-1
Suppose -v = v - 40. Let g be 3/1 - (8 - 10). Suppose -z = g*b - 14, -3*z - 2*b + v = z. Solve 0 = z*r - 8 for r.
2
Suppose -16 = 4*z - 64. Let a = z + -10. Solve a*u = 6*u for u.
0
Let k(t) = -t**3 - 7*t**2 - t - 6. Let s = 14 - 21. Let m be k(s). Suppose -2*f + 28 = -0*f. Solve -5*o = f + m for o.
-3
Suppose 0*g - 2*g + 8 = 0. Suppose 6 = -2*q, 10 = 2*a + 2*q - g*q. Suppose -2*l - 62 = -92. Solve -l = -a*r + 5*r for r.
-5
Let h(s) = -s**2 + 15*s - 16. Let t be h(13). Let z(b) = -b**2 + 9*b + 14. Let y be z(t). Solve -25 = y*j + j for j.
-5
Let x = 33 - 21. Solve -x = -a - 3*a for a.
3
Let u be (15 + -14)/(2/(-8)*-2). Solve -y + u*y = 0 for y.
0
Let r = -22 + 26. Solve 0 = -5*o - 1 - r for o.
-1
Let q(r) = -5*r + 3. Let h be q(3). Let n = h - -17. Solve -8 = n*v + 17 for v.
-5
Suppose -5*a = -5*k + 20, 0*a = -5*a - 20. Solve k = -2*r - 3 + 9 for r.
3
Suppose r - 8 = -0*r + 2*k, 15 = -5*k. Let v be 0 + 0 + 2 + r. Suppose v*u = u + 48. Solve 0 = -5*z + 41 - u for z.
5
Suppose 0 = -m - 3*a - 5, m = 4*m - 4*a - 24. Solve 0*z = 2*z - m for z.
2
Let q(j) = -j**2 + 7*j - 6. Let d be q(1). Solve d = 4*a - 3*a - 2 for a.
2
Let r(o) = -o - 1. Suppose -60 = 7*z - 2*z. Let d be r(z). Suppose x + 3*b - d = 0, -4*x - 2*b + 14 + 0 = 0. Solve i - x*i - 4 = 0 for i.
-4
Let y = 25 - 10. Suppose -5*x = 5*a - y - 0, -3*a + 10 = 4*x. Solve 0*o = -2*o - a for o.
-1
Let i = 22 + -19. Solve -i*c + 16 = -7*c for c.
-4
Let r(z) = -z + 4. Let i be r(0). Suppose -i*o = -0*o - 32. Suppose 0 = -4*q + 6 + 2. Solve -5*s + o = -q for s.
2
Let w(f) = 4*f**2 + 4*f - 5. Let r be w(1). Let k = 2 - -2. Solve -t + k = -r*t for t.
-2
Suppose 0*q + 3*s = 4*q - 97, -2*q - 3*s + 71 = 0. Suppose -4*v - 7 = g - q, -2*g = -10. Let d(f) = -f + 1. Let k be d(1). Solve 0 = -2*w - v - k for w.
-2
Let a(q) = q**2 - 4*q - 2. Let x be a(-2). Solve 6*j - j - x = 0 for j.
2
Let x(r) = r**2 + r - 3. Let i be x(-3). Solve -i*v = v - 16 for v.
4
Let g(o) = -o**3 + 5*o**2 - 6*o + 8. Let u be g(4). Solve u = -z - 2*z + 12 for z.
4
Let j = -177 + 182. Solve j = -l + 2 for l.
-3
Suppose -5*v = -3*z - 3*v, -4*z + 2*v = 0. Solve 15 = -5*a - z*a for a.
-3
Let w(s) = s**3 + 6*s**2 + 1. Let b be w(-6). Let m be 8/(-12)*(4 - 1). Let o = m + 13. Solve -2*i = o - b for i.
-5
Suppose 0 = o + o. Suppose -h = -o*l + 4*l + 8, h + 2 = -2*l. Solve 3*g = 2*g - h for g.
-4
Let a = 50 + -112. Let z = a - -87. Solve 5*o = 5 - z for o.
-4
Let w(q) = q**2 - 11*q - 19. Let i be w(13). Let d be (-56)/98 - (-32)/i. Solve -15 = d*u + 1 for u.
-4
Let o = -1 + 3. Suppose -2 = -3*h + o*h. Solve 0 = -3*c + h*c + 2 for c.
2
Let b(i) = i**3 - i - 1. Let l be b(2). Suppose -5*w + 2*w + 45 = 0. Suppose 2*g = -3*y + w, 0*g = -g - 4*y - 5. Solve -g = -2*c - l for c.
5
Let p(u) = u**3 - 14*u**2 - 12*u + 7. Let y(b) = -2*b**3 + 29*b**2 + 24*b - 13. Let a(c) = -9*p(c) - 4*y(c). Let z be a(11). Solve z = i + i for i.
0
Let o be -1 + (-26)/(-8) - (-2)/(-8). Solve -z + 4 = o for z.
2
Suppose -3*x + 60 = 2*x. Suppose 4*r = 5*k + 25, 2*r - 2*k - x = -0. Solve -4 + r = -m for m.
-1
Suppose 2*o + o = 132. Let i = -24 + o. Suppose -4*n + i = 3*z, -z = 5*n - 6*n + 12. Solve 3*h - n = -h for h.
2
Let x(f) = f**3 - 21*f**2. Let m be x(21). Solve -5*d + m*d + 20 = 0 for d.
4
Let a be (1/2)/(4/(-344)). Let x = -23 - a. Solve -2*c - 3*c + x = 0 for c.
4
Let i be 2/4*30/((-4)/(-4)). Solve 5*l - 2*l = -i for l.
-5
Let n = -15 - -22. Suppose -2*i = -3*z - 9, 3*i = -4*z + z - 9. Solve i = -3*s + n*s + 12 for s.
-3
Suppose 0 = 18*d - 15*d - 15. Solve -5 - 15 = -d*n for n.
4
Suppose 0 = 5*i - 18 - 7. Suppose 3*m - 3*l - 12 = 0, 2*m + l + 2*l + 12 = 0. Suppose m = -i*q + 3*q. Solve -f + 1 - 3 = q for f.
-2
Let z = -20 - -20. Solve 0 = -c - z - 2 for c.
-2
Let s(w) = w**2 + 7*w - 9. Let g be s(-7). Let l be g/(-15) + 9/(-15). Solve 2*n + 0*n - 4 = l for n.
2
Let k = 184 + -182. Solve -i - k*i = 3 for i.
-1
Suppose -5*s = -0 - 10. Solve 0 = 4*m + s - 10 for m.
2
Let g(v) = v**2 + 4*v + 4. Let y be g(-4). Let l = 0 + 20. Solve -y*o + l = -0 for o.
5
Suppose f = 3*b - 15, -6*b + 10 = -b. Let y(c) = c**2. Let a be y(3). Let n = f + a. Solve o = -n*o for o.
0
Let w(j) = 5*j**3 + j**2 - 1. Let p be w(1). Solve x + 0*x = p for x.
5
Suppose -26 = -4*o + 102. Suppose 2*k = -0*k - 5*c + 8, -2*c + o = 4*k. Solve -5*h - 1 - k = 0 for h.
-2
Suppose a - 5 + 5 = 0. Solve a = -5*j + 17 - 7 for j.
2
Let p(a) = -a**2 + 3*a. Let d(n) = n. Let o(q) = 4*d(q) - p(q). Let m be o(-2). Suppose 10 = m*c + 2. Solve -w + 10 = c*w for w.
2
Let a = -1 - 7. Let m = 13 + a. Solve 0 = 3*f - 4*f + m for f.
5
Let v be (-1)/((-13)/12 - -1). Let t(b) = -b + 6. Let g be t(6). Solve -3*r + g + v = 0 for r.
4
Let r be (-95)/15 + 2/6. Let d(p) = -p**3 - 6*p**2 + p + 7. Let s be d(r). Let j = 0 + s. Solve -5*n - 11 + j = 0 for n.
-2
Let v(o) = o - 16. Let b be v(8). Let h = b + 18. Solve 3*q = -2*q + h for q.
2
Let s(c) = 12*c**2 - 2*c + 1. Let u be s(1). Let i = u + -7. Suppose 0 = 2*d - i*v + 2 - 8, 4*d - 5*v = 12. Solve -d*y = -y for y.
0
Let w be 3 - (8/28 + (-8)/28). Suppose 0 = -4*j - 0*j + 8. Solve -t - j = w for t.
-5
Suppose 3*q + 6 - 21 = -w, 0 = -3*q + 2*w + 24. Let c = 8 - q. Solve c*l + 4 = -0*l for l.
-2
Let u(p) = -6*p**3 - 4*p**2 + 4*p - 36. Let m(q) = q**3 + q**2 - q - 1. Let t(y) = 5*m(y) + u(y). Let k be t(0). Let a = -25 - k. Solve -4 = 4*o + a for o.
-5
Let b = 2 + 0. Let s(n) = n**b - 8*n + 3 + 0 + 0. Let v be s(8). Solve -2 - 13 = v*z for z.
-5
Let d = -36 + 66. Suppose -c - 2*c = -d. Solve u - c = -u for u.
5
Suppose 11 + 4 = 3*b. Let f(x) be the second derivative of x**4/12 - x**3/6 + x**2 - x. Let q be f(2). Solve q*y + 3 + b = 0 for y.
-2
Suppose 20 = -4*k - 4*s, -5*k - 20 = 6*s - 2*s. Solve k*c + 2*c = 0 for c.
0
Suppose 4*f - 17 = 3. Solve 3 = -h + f for h.
2
Suppose -o = 3*o. Suppose -2*p + p = o. Let c be p - -6*(1 - 0). Solve -c = 5*d + 9 for d.
-3
Suppose -22 = -4*s + 10. Solve 0 = -2*u - 0*u + s for u