5*u for u.
3
Let u = -8 - -14. Solve -u*x - 6 = -3*x for x.
-2
Let p(w) = -2*w**2 + 4*w + 3. Let z be p(-2). Let i = 2 + z. Let a = 21 + i. Solve x = 3*x - a for x.
5
Let g = 31 - 29. Solve 4*v + g = -6 for v.
-2
Suppose 0 = 4*k - k - 12. Suppose 0 = -3*o + k*o. Solve -2*w + 2 - 12 = o for w.
-5
Suppose -4*c + 0*c = 4*m + 20, m + 5 = -5*c. Let x = -16 + 14. Let o be (3 + x)*3 - 3. Solve c = -3*z - o - 3 for z.
-1
Let l be 4/6 + (-2)/(-6). Let m be (l - 3)*10/(-4). Solve 4*c = m - 1 for c.
1
Suppose 3*y - u = 5, -2*y - 2*u = 2*u - 22. Solve -y*s + 7 + 2 = 0 for s.
3
Suppose -4*d + 4 = 4. Solve -4*k - k = d for k.
0
Let p = -24 - -15. Let y be ((-60)/p)/(2/12). Suppose y = -2*b + 7*b. Solve b*w = 3*w + 15 for w.
3
Let x be -1 + (-1)/2*-14. Suppose -2*z - 3*r = 3*z - 30, r = z - x. Let f be z/9 + 4/3. Solve f = b - 1 for b.
3
Suppose 4*o - w + 24 = -2*w, -o = -2*w + 6. Let m be 1 - -2*3/o. Solve m = -2*f + f + 4 for f.
4
Suppose -5*p - 2*f - 4 - 2 = 0, -3 = p + f. Suppose 3*x = -p*x + 36. Solve 0 - x = 3*q for q.
-4
Suppose 4*w + 10 = 4*v - 2, 0 = -4*w - v + 8. Solve 0*h - h - w = 0 for h.
-1
Suppose j + 28 = 5*j. Let d = j + -3. Solve -p = p + d for p.
-2
Let w be (3/3)/(2 + -1). Solve -2 + w = -i for i.
1
Let a(v) = 2*v - 3. Let j be a(4). Let f be (4/4)/(2/8). Solve j - 1 = f*h for h.
1
Suppose 2*m + 12 = -m, -5*x - 5*m = 0. Suppose -5*s + 3*q = -8, -x*q + 4 = -s - 8. Solve s*v = v + 12 for v.
4
Suppose 0 = 4*z + 12, 3*x - 2*z = x + 16. Let t(f) = -f**2 + 5*f + 2. Let m be t(x). Let o be (2/m + -1)/1. Solve o = 4*c - 5*c for c.
0
Suppose 1 = -5*k + 4*k. Let w = k - -4. Solve -3 - 3 = w*m for m.
-2
Suppose 2*t = -4, -2 = -2*l - 30*t + 31*t. Suppose 3*z - 5*m = -20, -4*z - 4*m - 3 = -19. Solve z = 2*c - l - 4 for c.
2
Let i be 2*(-10)/(-4) + -2. Let y be 0*(1 + (-2)/1). Suppose y = -b + 2. Solve i*w - b*w = 5 for w.
5
Let a be 3/15 + 4/5. Solve 2*j + 7 = -a for j.
-4
Let o = -1 - 2. Let r = -45 + 48. Let z = r + o. Solve m + 3*m - 16 = z for m.
4
Suppose 6*j = 2*j - 3*c + 20, 0 = -3*j + 4*c - 10. Solve -j = 2*u - 4 for u.
1
Suppose 3*j + 2*c = 7*c - 15, 0 = 5*c - 15. Suppose 4*x - 4 = 2*x. Let q(k) = -k**3 + 3*k**2 + 3*k - 3. Let z be q(3). Solve j = -x*u - u - z for u.
-2
Let d(k) = -2*k + 1. Let b be d(-1). Let h be (-11)/(198/(-4)) + 4/(-18). Solve b*s + h = 12 for s.
4
Suppose 111 = -3*o - 3*q, o + o = 4*q - 104. Let v = o - -67. Solve 0 = -0*l + 5*l - v for l.
5
Let s(u) = -u**2 + 8*u + 9. Let d be s(8). Suppose 6 + d = -3*b, -2*b = 5*q. Solve q*n + 1 + 5 = 0 for n.
-3
Let p(c) = c**3 + 6*c**2 - 8*c + 3. Let f be p(-7). Solve f*d - 5*d = 0 for d.
0
Let j(z) = -z**2 + 8*z - 4. Let u be j(7). Solve -v = -u + 5 for v.
-2
Let r = 16 + -11. Let x = 1 + r. Suppose -10 = -6*v + v. Solve 5*q = v*q - x for q.
-2
Let u(g) = -g**2 - 2*g. Suppose b + 2 = -b. Let j be b/(21/6 + -3). Let z be u(j). Solve 2*v + 0*v - 10 = z for v.
5
Suppose -15 = 5*z + 5*v, 0*z + 14 = 2*z - 2*v. Let d be (-6 + 6)*z/(-6). Suppose -l + d*l = 0. Solve l = 3*i - 5 - 10 for i.
5
Let j(q) = -q**2 + 4*q + 28. Let i be j(7). Solve -16 = 3*z - i for z.
-3
Suppose i = -5*h + 26 - 3, 3*i = 4*h - 7. Solve i = -l - 2 for l.
-5
Let i = -7 - -5. Let d(h) be the second derivative of -h**5/20 + h**3/3 - h**2/2 - h. Let s be d(i). Solve -s = -4*x + x for x.
1
Let n(s) = -5 + 4*s - 2*s + 2 - 3. Let m be n(5). Solve t = 3*t - m for t.
2
Suppose 0*k - 3 = -3*k - 3*f, 3*f + 9 = k. Solve k = o + 4 for o.
-1
Let g = 116 - 112. Solve g*t = 2*t for t.
0
Let f(r) = r**2 - 1. Suppose t - 4*t = -27. Let n(i) = -i + 7. Let w be n(t). Let d be f(w). Solve d*p = -p for p.
0
Suppose 3*z + 12 = 3*q - 0*q, z = 3*q - 4. Suppose j - 3 = 6*j + 3*i, j - 5*i - 5 = q. Solve j*h = -3*h for h.
0
Suppose -10 = -2*x - 2. Solve 0*u + x = -4*u for u.
-1
Let s = 9 + -15. Let k be (-3 + s)/3 - -7. Solve -5*w + k*w - 4 = 0 for w.
-4
Suppose -5*m = -4*x + 19, 4*x - 17 = 3*m - 4. Let n = m - 4. Let g = n + 11. Solve 0*s - g = s for s.
-4
Suppose -5*o + 5*z = -40, 4*o - o = 4*z + 24. Solve 5*v - o = 7 for v.
3
Let a(n) = n**3 - 2*n**2 - 3*n. Let d be ((-1)/(-2))/(1/6). Let g be a(d). Solve 2*v - v = g for v.
0
Let q(g) = g - 4. Let z be q(4). Let l = z + 3. Let j = l - 0. Solve j*v = 4*v + 4 for v.
-4
Let d = -12 - -8. Let f be (-4)/5*10/d. Solve 0 = -3*p - 10 - f for p.
-4
Let z(a) = -a - 10. Let d be z(-12). Let i = 0 - 2. Let h be 12/4*i/(-2). Solve -5*y = -h*y - d for y.
1
Let n(v) = -6 + 0*v + 4 + 1 + 4*v + v**3 - 4*v**2. Let q be n(3). Let w(h) = -h + 2. Let i be w(q). Solve 0 = 3*y - i*y + 12 for y.
-4
Let a(l) = 10*l. Let t be a(-5). Let p be 2/4*-1*t. Suppose -3*c = h - 24, -h + 4*c - p = -2*h. Solve -5*y - h = 4 for y.
-5
Let l = -2 - -4. Suppose 5*p + 3*d - 5 = 4*d, 0 = -p + 5*d - 23. Solve p = 2*a - l for a.
2
Suppose 6*m = -0*m + 18. Solve 0 = 5*d - 13 + m for d.
2
Let f(j) = 4*j**3 - j**2 + 2*j + 1. Let q be f(2). Suppose -4*s + 10*k + q = 5*k, 0 = -k - 5. Suppose g - 4 = -s. Solve 0*x = g*x - 8 for x.
4
Let p = -8 - -16. Solve 3*o + p = o for o.
-4
Let p be (-3)/2*(-120)/36. Solve -p*s = -4*s for s.
0
Suppose -3*b - 2*b = 6*b. Solve 0 = -4*g - b*g + 12 for g.
3
Let u = 103 - 103. Solve u*r + 3 = -3*r for r.
-1
Let u(s) = -s**3 - 6*s**2 + 7*s + 9. Let p be u(-7). Suppose -p = 4*i - 29. Suppose -m - 4 = -i*h - 3*m, 5*m = -h - 13. Solve -h*v = 2*v for v.
0
Suppose -86 = -5*u - 1. Suppose -u*t + 13*t = -8. Solve 0*m = -t*m + 8 for m.
4
Suppose 17*z - 8 = 13*z. Solve 1 = z*v - v for v.
1
Let k = 3 - -6. Let t(z) = -k*z + 0 - 5 + 5. Let p be t(-1). Solve 3*w - p = -3 for w.
2
Let n = 82 - 80. Solve -k = -n*k - 2 for k.
-2
Let x(o) = 11*o**2 - o. Let z(q) = -q**3 - q**2 - 2*q - 1. Let c be z(-1). Let w be x(c). Solve -4*s = s - w for s.
2
Let r = 3 + 0. Solve -r*y + 5 = -2*y for y.
5
Let j(z) = z + 11. Let d be j(-8). Solve d*o = 8*o for o.
0
Let w = 10 + -6. Suppose 7*r + w*z + 6 = 2*r, 2*r - 4*z = 20. Solve r*t - 10 = -3*t for t.
2
Let y be 7 + ((-2)/(-1) - 1). Let x = y - 3. Let j = -15 + 23. Solve m = x*m + j for m.
-2
Let v(b) be the second derivative of b**3/3 - 5*b**2 + 3*b. Let z be v(5). Solve 5*g - 2*g = z for g.
0
Let i be 430/(-55) - (-4)/(-22). Let y = -3 - -13. Let j = i + y. Solve -4 = -2*w + j for w.
3
Let j(k) = k**2 - 4*k - 7. Let z be j(6). Suppose z*s + 4*g = 33, 0*g + 23 = 3*s + 4*g. Solve 5*m + 25 - s = 0 for m.
-4
Let y(f) = 3 + 2*f + 4*f - f**2 - f. Let w be -1 + (0 - -7 - 1). Let g be y(w). Solve j = -g - 2 for j.
-5
Let v(n) = -n + 6. Let y be v(6). Let u be 2 + (y + 0)/(-1). Solve -u = c + 1 for c.
-3
Let s = 21 - 19. Solve -v - v - s = 0 for v.
-1
Let h be 1 + 1 + -11 + 8. Let b = 3 + h. Solve c + b*c - 15 = 0 for c.
5
Let n(d) = 7*d - 6*d - 3*d. Let h be n(-5). Let q = h - 7. Solve q*s = -4 + 19 for s.
5
Let o(q) = q + 5. Let v be o(0). Solve -v*l = -10*l + 25 for l.
5
Suppose 1 - 3 = -n. Solve 1 + 9 = -n*a for a.
-5
Let a(f) = 5*f - 8. Let v be a(2). Solve v*l + 3 = -1 for l.
-2
Let x(z) = z**2 + 2*z - 2. Let a be x(-4). Solve -a*f + 8 = -2*f for f.
2
Let x = 1 - 12. Let n be 2 - (-3 - (-3 - x)). Solve -3*y - 4 = -n for y.
3
Let d(q) = -q**2 - 5*q + 2. Let t be d(-8). Let a be 1 + 2 + t/11. Solve a = 5*j + 26 for j.
-5
Suppose 6 = z - 2. Solve -5*y - z = 12 for y.
-4
Suppose 0 = 4*l - 68 + 20. Let u = l - 10. Solve -5 = -u*y - 3 for y.
1
Let a = 4 + 0. Suppose 2*y - 3*d = 23, -3*d = y - 8*d - 22. Suppose 1 = a*l - y. Solve c - 3 = l for c.
5
Let c be 2*((-3)/6 - -2). Solve 0 = -c*v - 6 - 0 for v.
-2
Suppose 0 = -3*d + 2*c + 8, 0 = -5*d + c - 3*c + 8. Solve d*t = -0 + 8 for t.
4
Suppose v - 13 = -2*v - 2*g, 0 = 3*v - 3*g + 12. Let c = -10 - -16. Solve c = -m + v for m.
-5
Let p be 2/6 - 4/(-6). Solve p = -r + 5 for r.
4
Suppose -4*t - 22 + 34 = 0. Solve 0 = t*o - 4 - 2 for o.
2
Let n be -1 - -2*(-34)/(-4). Let l be (-2 + n/6)*3. Solve l*z = 3*z + 1 for z.
-1
Let i = -10 + 13. Suppose -2*s = i*s - 20. Solve -b - s*b = -15 for b.
3
Let j(q) be the third derivative of q**6/120 + q**5/15 - q**4/4 - q**3/3 - q**2. Let o be j(-5). Suppose 2*r + 1 - o = 0. Solve 0 = 3*s + 8 + r for s.
-3
Let v(f) = 51*f**2 - 2*f + 1. Let k be v(1). Suppose -k = -4*l - l. Suppose 8*m = 3*m + l. Solve -m*b - 12 = -2 for b.
-5
Let w(z) = -z**3 - 4*z**2 + 4*z - 5. Let m be w(-5). Solve 0 = -m*g - 3*g + 12 for 