 12 for u.
3
Let s be (-2)/9 + 816/27. Let c = 39 + -34. Solve c*n + 5 = s for n.
5
Let m be (2 - 2 - -12) + -2. Let h = 12 + -15. Let p be (-4)/4 - -3 - h. Solve -m = -5*r + p for r.
3
Suppose -5*t = 5*s - 6240, 2488 = 4*s - 2*s - 2*t. Let z be s/63 - (-2)/9. Solve 0*k - z = 4*k for k.
-5
Let z = 22 + -16. Solve z*i + 20 = i for i.
-4
Suppose 4*g - 28 - 20 = 0. Solve 3 - g = 3*c for c.
-3
Let v be 18/8 - (-1)/(-4). Suppose v*x - 7*x = -125. Solve -w - x = 4*w for w.
-5
Suppose 25 = b + 2*b + 5*p, 4 = -p. Solve h = 6*h - b for h.
3
Let k be (-2)/7 - 688/(-56). Let n be (6/(-4))/(9/k). Let i(o) = 2*o**2 + 2*o - 1. Let p be i(n). Solve -p = 2*r + 5 for r.
-4
Let t(j) = j**3 - 4*j**2 + 2. Let x be t(4). Suppose 16 = x*g + 2*g. Solve 2*u + 2*u - g = 0 for u.
1
Let g = 0 - -2. Let u be g/3*45/10. Suppose -u*w + w + 4 = 0. Solve -n = -w*n - 4 for n.
-4
Suppose -5*f + 73 = 4*s, 2*f - 4*s - 28 = -5*s. Let x = 13 - f. Solve x*w - 2 = -w for w.
2
Let g = -70 + 72. Solve -2 = -g*l + 3*l for l.
-2
Let p(g) = -g**2 + 2*g - 5. Let d be p(0). Let r(t) = -t - 2. Let c be r(d). Solve c*i + 18 - 6 = 0 for i.
-4
Let i = 16 + -11. Let v = -14 + i. Let w be -1 - ((-6)/(-2) + v). Solve -w*x = -3*x - 4 for x.
2
Suppose -2*n = -4*n. Let l be n*-3*3/(-18). Solve m = 5 - l for m.
5
Let y(m) = m**2 - m + 22. Let i be 4/(-18) + 2/9. Let d be y(i). Suppose 0 = 4*q - 3*s - 33, -2*q + 3*q = -s + 3. Solve 4*a + q = d for a.
4
Suppose -2*b - 5*h + 15 = -9, -10 = 5*b - 5*h. Solve b*o + 5 = -5 for o.
-5
Suppose 4 = -5*u - 4*n, -6*n = -2*n + 4. Let l(a) = 2*a + 5. Let c be l(-4). Let m = c - -3. Solve u*o + 3*o = m for o.
0
Let p = -168 - -176. Solve 13*v + 10 = p*v for v.
-2
Let l = -24 + 35. Solve 0 = 4*n - l - 9 for n.
5
Let x(w) be the second derivative of w**5/20 + 2*w**2 - w. Let r be x(0). Solve 0 = r*c - 2*c - 10 for c.
5
Let r(u) = -u**3 + 2*u**2 + 3*u + 2. Let c be r(-2). Let n = -5 + c. Let a be n/(-2)*16/(-28). Solve 5*x = a - 22 for x.
-4
Suppose 4*s + 2 = 10. Let z(x) = -x + 1 + 10 - 2 + s + x**2. Let f be z(0). Solve -1 = 2*c - f for c.
5
Let t be (4/14)/(1/7). Solve t*h - h - 4 = 0 for h.
4
Let k = -17 - -25. Let j be 14*(7 - 3)/k. Solve 3*s - 4 = j*s for s.
-1
Let r(k) = -k**2 - 3*k - 2. Let g be r(-1). Solve 15 = -g*y - 5*y for y.
-3
Suppose -5*v = -4*x + 41, 3*x + 2 = 6*x + 2*v. Suppose 2*h - 3*c = -18, 0 = 2*h + 2*c - 5 + 3. Let t be 68/6*h/(-2). Solve -x*m - 5 = -t for m.
3
Let g = -6 + 7. Suppose 3 + g = -2*p - 4*t, 0 = -p + 4*t + 10. Solve p*d = 3*d + 1 for d.
-1
Let t(p) = -p**3 + p**2 - p + 1. Suppose -2*a = -3*b, 4*a + a = b. Let m be t(a). Let x = m + 1. Solve -2*r - 8 = x*r for r.
-2
Let o = -13 + 25. Suppose -4*z - o = 4*t, 3*z + 3 = -0*t - t. Solve 4*q - 20 + 8 = z for q.
3
Let p = -5 - -5. Let v be -2*(2/(-2) + p). Solve v*m + 4 = -2*m for m.
-1
Let c be (-10)/(-8) + 2/(-8). Suppose -k - 9 = k + 3*m, 0 = k - 4*m - 12. Suppose 2*f + f = k. Solve f = 2*h + c - 3 for h.
1
Let l(q) be the third derivative of q**5/60 - q**3/6 - 4*q**2. Let w be l(-1). Let d(u) = 7*u**2 - 2*u - 1. Let k be d(-1). Solve b + b + k = w for b.
-4
Let w(t) = -5*t**3 + 4*t**2 + 6*t + 1. Let k(v) = 11*v**3 - 8*v**2 - 12*v - 3. Let z(c) = 4*k(c) + 9*w(c). Let i be z(5). Solve i*b = 1 - 3 for b.
-1
Suppose 8 = -v + 11. Solve 0*a - 3*a + v = 0 for a.
1
Suppose 3*r - 397 + 55 = 0. Suppose -2*c - r = -n, n + 3*n = -c - 57. Let w be 2/2 - c/3. Solve 3*f = -f + w for f.
5
Suppose -6 = -n - n. Suppose -n*c - 1 = 4*h - 10, -4*c = -12. Suppose h = z - 4 + 1. Solve z = -0*o - o for o.
-3
Let a = -5 - -7. Solve g = a*g for g.
0
Let i = 9 - 14. Let q be ((-4)/i)/((-2)/(-20)). Let w = q + -5. Solve -w*j = -j for j.
0
Let i be -3 - 2/(-2) - -1 - -3. Solve 0 = -i*f - 4 - 6 for f.
-5
Suppose 0 = a - 6*a - 2*g + 23, -5*g = -2*a + 15. Solve 6 = -a*p + 2*p for p.
-2
Let z be 5/(-30) + 65/30. Solve o - 2 = z*o for o.
-2
Let x be (-8)/(-20) + 26/10. Solve x = 6*o - 3 for o.
1
Suppose 3*u + 8 = 23. Let r(j) = j**2 - 4*j + 7. Let h be r(u). Solve 5*m + h = 2*m for m.
-4
Let x be 26/10 - 4/(-10). Suppose -x*q + 5 = 2*q. Suppose 3*h = 4*h - 3. Solve q + h = -i for i.
-4
Let t(z) = -z**2 + 6*z + 2. Let u be t(6). Suppose -3*x + o = 2*x + 34, -4*o = u*x - 4. Let w = 8 + x. Solve w*r - 3 - 1 = 0 for r.
2
Suppose -2*r + 12 = 2*r. Solve -q + r = -0 for q.
3
Let g be (-2 + (-2)/(-3))/((-18)/297). Solve 0 = -5*l + 7 - g for l.
-3
Suppose -2*l - 3 + 17 = 0. Suppose l*s - 4*s = 0. Let z(p) = -p**3 + 5*p**2 + 3. Let h be z(5). Solve h*u - 3 = -s*u for u.
1
Let p be (-99)/(-6) + -1*4/8. Let a be 1 + (-4)/2 + 6. Solve -s + a*s + p = 0 for s.
-4
Let n = 0 - 1. Let s be 0/(-1) + 0/n. Let y be (-2 - s/(-3)) + 2. Solve b - 2*b + 2 = y for b.
2
Let h be (-62)/(-10) + 9/(-45). Let b be h/27 - (-8)/(-36). Solve 3*f - 13 + 1 = b for f.
4
Let t = 2 - 2. Let x(o) = o**2 - o + 4. Let a be x(t). Suppose 0 = a*z + 5 - 25. Solve -c + 20 = -z*c for c.
-5
Suppose 11*s - 14*s = -6. Let b(g) = -2*g - 4. Let l be b(-6). Solve 0*f + l = -s*f for f.
-4
Suppose 3 = -r - 2, 2*r + 19 = 3*d. Solve 0 = d*y + 2 - 11 for y.
3
Let s be (-6)/8 - 1/4. Let k(g) = -12*g**3 + g**2 + g. Let h be k(s). Let w = 7 + -2. Solve -w*c = -c - h for c.
3
Suppose 7*p - 2*p = 50. Suppose -2*y - 1 = -3*b - 5, -p = -5*y + 4*b. Solve 0 = y*x + 3*x + 5 for x.
-1
Let f(n) = -2*n - 12. Let k be 88/12*(-3)/2. Let d be f(k). Let v(u) = -u**3 - 6*u**2 + 3. Let t be v(-6). Solve 0 = -t*s - 2*s - d for s.
-2
Let i be (-5 + -9)*(-3)/2. Let g be i/27 - (-2)/9. Solve -p = -2*p + g for p.
1
Let l = 5 + 3. Suppose -4*v + l*v - 48 = 0. Let p = -9 + v. Solve m = -p*m for m.
0
Suppose 3*i - 6 = -4*m, 3*m + 1 - 7 = -3*i. Let g = 2 + i. Suppose -3*d + 2*n = n - 71, -3*n = -12. Solve -a - g*a - d = 0 for a.
-5
Let i be (-11)/(-4) - (-2)/8. Suppose -n = -2*r - r + 9, r - 13 = -i*n. Let c = 16 + -16. Solve -h - n*h + 20 = c for h.
5
Let r(l) = l + 17. Let m = -25 - -17. Let a be r(m). Suppose 5*y - a = 4*y. Solve 0 = -b + 4*b + y for b.
-3
Let v(w) = 3*w - 15. Let i be v(5). Suppose k + 3 = 6. Let r = 6 - k. Solve r*t - 2 - 1 = i for t.
1
Suppose 4*p - 10 = -s, -5*s + 28 = 3*p - 5*p. Let q(l) = -l - 2. Let m(o) = o + 3. Let t(a) = -3*m(a) - 4*q(a). Let u be t(1). Solve 3*w - w + s = u for w.
-3
Suppose -x = w + 4*w, 0 = w. Let q = 2 - x. Suppose -g - 1 = -q. Solve -g - 5 = 3*p for p.
-2
Let m(i) = i - 10. Let t be m(12). Suppose y - 3 = 2*z, 6 = t*z - 5*y + 21. Solve 2*j + 6 + 2 = z for j.
-4
Suppose -71 = -w - 67. Solve -6 = w*a - a for a.
-2
Suppose x = -2*x + 3. Solve -v = x - 2 for v.
1
Suppose -9*h - 1 = -10*h. Solve -b + h + 1 = 0 for b.
2
Suppose 0 = 3*c - 5*c. Solve 1 + c = b for b.
1
Suppose 2*u + 3*u = -30. Let m = -2 - u. Solve 2 = -m*g - 6 for g.
-2
Suppose -j = -2 - 1. Suppose -5 = -4*m + j. Solve m*g - 3*g - 4 = 0 for g.
-4
Let j(k) be the second derivative of -k - 3/2*k**3 + 0 + 11/2*k**2 + 1/12*k**4. Let z be j(8). Solve -z*r + 0*r = -9 for r.
3
Let l = 8 + -6. Let u be 1/l + 10/4. Solve 4 = -u*v - v for v.
-1
Let g be (2/(-6) + 95/15)/2. Solve 3*d = g - 6 for d.
-1
Let o(t) = -t**3 - 8*t**2 - 6*t + 7. Let d = -6 - 1. Let y be o(d). Solve -5*k - 19 - 1 = y for k.
-4
Suppose 0 = -k + 7 - 23. Let r be -1 + 0 - (k + 4). Suppose r = 4*d - 1. Solve 0 = d*j + 1 + 8 for j.
-3
Let r(s) = 5*s**2 + s. Let u be r(-1). Suppose -3*i - u = -4*b, -4*b - 3*i = b - 32. Solve 2*h + b = 8 for h.
2
Let i(v) = 13 + v + 3 - 3. Let a be i(-9). Solve y - a*y = 15 for y.
-5
Let d = -103 + 107. Solve 0*r = r + d for r.
-4
Suppose -4*a + a = 0. Let y = 11 + 19. Suppose a*r - y = -2*r. Solve r = -6*n + n for n.
-3
Suppose -27 = -2*a - 23. Let j = -1 + -1. Let p = j + a. Solve -4*c + p*c = 8 for c.
-2
Suppose -4*g + 1 + 11 = 0. Suppose 21 = g*u - 0. Solve 0 = -2*b + u*b for b.
0
Suppose 0 = -4*l + 5*w + 22, l - 38 = -3*l - 3*w. Solve l = 2*i + 2*i for i.
2
Let k(b) = -b**3 - 4*b**2 + 11*b - 3. Let u be k(-6). Solve -u*q + 13 + 2 = 0 for q.
5
Suppose -5*v + z = -z - 4, z = -2*v - 2. Solve x = -v*x - 2 for x.
-2
Suppose -3*u + 30 - 27 = 0. Solve -u = -5*h - 26 for h.
-5
Suppose g = d + 12, 2*g + 3 = -2*d - 5. Let q(t) = t**2 + 8*t + 2. Let u be q(d). Suppose -4*s - 2 = 2*a, a - u*s - 19 = s. Solve 2*h - 1 = -a for h.
-3
Suppose 3*z = 8 - 2. Solve 7*k = z*k for k.
0
Suppose -5*i + 4 = -6. Suppo