ve n = -o*n + x for n.
5
Let p be (1 + 1 + 2)/2. Suppose -s = -3*u + 26, -u + p*u + 4*s + 13 = 0. Suppose 0 = -u*d + 3*d. Solve d = -0*k - 4*k for k.
0
Let a(m) = -m**3 + 3*m**2 + 5*m + 3. Let g be a(4). Let k be (2 - -8)*g/14. Suppose -3*h - 2*h = -4*l + 12, 4*l = 2*h + 12. Solve h = -k*p + 3*p - 4 for p.
-2
Let y(b) = -b**2 + 6*b + 8. Let p be y(7). Let z(s) be the first derivative of 5*s**3/3 + 9*s**2/2 + 3*s - 18. Let l be z(-2). Solve -l*d = p + 4 for d.
-1
Let r be (9/4)/((-2)/(-40)). Suppose r = -5*l + 2*v - 7*v, -2*v - 25 = 3*l. Let y = -5 - l. Solve 3*n = -y*n for n.
0
Suppose 4*c + b - 42 = 5*c, -5*c = 2*b + 175. Let p = -35 - c. Solve -3*f - p*f - 10 = 0 for f.
-2
Suppose 1423 = 197*z + 241. Suppose 40 + 20 = 3*w. Solve -l = -z*l + w for l.
4
Let y be 1/(-2)*(39 + 7). Let k = -15 - y. Solve -p - k = p for p.
-4
Let x = 1430 - 1418. Solve -8*n = -x*n + 4 for n.
1
Suppose 3*f + 943 = 2*m, 10*m + f = 5*m + 2366. Solve 0 = 3*h + m - 461 for h.
-4
Suppose 12*h + 728 - 56 = 0. Let x = 60 + h. Solve -x*i - 1 = 3 for i.
-1
Let g be 2034/42 - 3/7. Suppose 52*l = g*l + 12. Solve 0 = -l*p - 0*p for p.
0
Let x be -1 - (-27 - -2 - 1). Suppose x*o + 4 = 26*o. Solve -2*m - 4 = o for m.
-4
Suppose 0 = -6*k - 36 + 240. Suppose -5*r - 3 = -f - k, r = 2*f - 1. Solve -4*p + 23 = r for p.
4
Suppose 0*u = -4*c + u - 171, c + 57 = 5*u. Let a = -39 - c. Solve 0 = -5*p - a - 2 for p.
-1
Let k(v) = -8*v**3 - 4*v**2 + 2*v + 8. Let b be k(-2). Solve 12*d + d = b for d.
4
Suppose -2*x + 0 = -2. Let n be x + 3 - (-1 + 5). Suppose 5*d + 4*g - 20 = n, -d - 2*d + 12 = g. Solve f - d*f = 12 for f.
-4
Let j be (-12)/(-9) + -3 + 55/15. Solve 3 = q - j*q for q.
-3
Let i = 248 + -248. Solve i = -a + 10 - 7 for a.
3
Let k = 868 - 866. Solve -4 - k = 2*c for c.
-3
Let y be (-30 + 26)/((-1)/(-2)*-1). Solve -u = -0*u + y*u for u.
0
Let y be ((-8)/(-5)*2)/((-2)/(-5)). Suppose 0 = -n + 4*n - y*n. Solve n*j = j + 2 for j.
-2
Let n = -107 + 107. Solve n = 5*h + 2*h for h.
0
Let j be 116/(-4) - (0 - -2). Let f = 41 + j. Solve 0 = -2*m + f - 0 for m.
5
Let k(w) be the third derivative of w**6/120 + w**5/20 - w**4/24 + w**3/2 + 30*w**2. Let o be k(-3). Solve 4*l = 14 - o for l.
2
Suppose -k - 8 = -s, 0*s + 4*s - 14 = -2*k. Suppose -2*z - 3*h = s, z + 3*z + 3 = h. Let i = z + 3. Solve m + i = -m for m.
-1
Let u be (-1 + 0)/(2/(-18)). Let l(s) = -s + 31. Let y be l(-14). Suppose 129 = 6*g - y. Solve -5*d - u = -g for d.
4
Let m(k) = k**3 + 9*k**2 + 28*k + 40. Let t be m(-4). Suppose 6 = 5*h - 4. Solve -5*a + h = -t for a.
2
Suppose 0*p + 3*p + 3*l = 18, 5*p - l - 12 = 0. Suppose 0*c = -p*c + 3. Suppose t - c = 3. Solve -2*x = t - 14 for x.
5
Suppose 5*l + 366*u - 122 = 369*u, -4*l + 104 = -4*u. Solve -2 = 10*b - l for b.
2
Let p(x) = -3*x + 39. Let r be p(13). Solve 3*g + r*g = 15 for g.
5
Let s = -31 - -34. Let m(p) = -p**3 + 9*p**2 + 2*p - 6. Let i be m(9). Solve -s*u + 7*u - i = 0 for u.
3
Let m(w) be the second derivative of w**4/6 + 5*w**3/6 + 2*w**2 + 5*w. Let v be m(-2). Solve 3*j = v*j for j.
0
Let c(u) = u**3 - 5*u + 4. Let f be c(3). Let w = -144 - -140. Let m be (-21)/(-12) - w/f. Solve -m*z = -10 + 4 for z.
3
Let o = -29 + 40. Let d(z) = 17 + 5 - z - o. Let x be d(8). Solve 0*q = -x*q + 6 for q.
2
Suppose 336 = 33*s - 17*s. Solve 4*z + 13 = s for z.
2
Suppose -220 = 6*b - 2*b. Let l = b - -64. Solve -11 = -5*i + l for i.
4
Let s(i) = i**3 + 8*i**2 - i - 6. Let z be s(-8). Suppose 0 = -5*o - 3*y + 3, -z*y + 2 = o - 0. Suppose 0 = 2*p - o*p - 8. Solve p = 5*d - 3*d for d.
2
Let w be -1 + (-39)/(-36) + (-4)/48. Solve 0 = -2*r - w*r for r.
0
Let z be (8/6)/(10/45). Suppose 0 = 3*a - z - 0. Let f be (-1 + -3)*(-1)/a. Solve 0 = -2*k + f - 4 for k.
-1
Suppose 660 = t + 655. Solve t*j - 23 + 3 = 0 for j.
4
Suppose -b = -4*b - 9. Let f(h) = -h**2 - 3*h + 2. Let z be f(b). Suppose 5*o = r - 30 + 11, z*r = 4*o + 20. Solve -r*x = x for x.
0
Suppose 5*i + 2*n = 10, 4*i = 7*i + 2*n - 10. Solve -61*k + 58*k - 3 = i for k.
-1
Let y(k) = k**2 + 28*k + 79. Let v be y(-25). Solve -v*t = -7 - 9 for t.
4
Let h be 1 - 2*(-7 + 6). Solve -15 = 8*n - h*n for n.
-3
Let w be (12/9)/((-1)/(-3)). Let s be 3/((-12)/(-16)) - 5. Let p = s + w. Solve -p*v = -2*v + 2 for v.
-2
Let t(b) = -41*b - 73. Let l be t(-2). Solve z - 4*z - l = 0 for z.
-3
Suppose -4 = d + 3*d. Let s be d/2*-2*3. Let u = -1034 - -1037. Solve 4*m - u*m = -s for m.
-3
Let f(o) = o**3 - 11*o**2 - o + 16. Let j be f(11). Suppose 23 = 3*p - 5*g, 0*g = j*p + 2*g + 3. Solve z + 2 = p for z.
-1
Let c(f) = -f**2 + 15*f - 22. Let u be c(13). Let g(n) = -n**2 - 9*n - 18. Let t be g(-4). Solve t*q = -2*q + u for q.
1
Suppose m = -3 + 3. Let t(l) = -l**3 + l + 2. Let q be t(0). Suppose -q*u = -j + 2, 2*j + 23 = 3*j + 5*u. Solve m = -4*c - j for c.
-2
Let m(x) be the third derivative of -x**5/60 - 7*x**4/12 + 19*x**3/6 - 3*x**2. Let q be m(-15). Solve 4*y - 5*y + q = 0 for y.
4
Suppose 30*z + 120 = 36*z. Solve 0 = 14*g - 6 + z for g.
-1
Suppose -3*k + 5 + 7 = 0, -3*k + 41 = n. Let g be n/2 + (-3)/(-6). Solve g = -j - 2*j for j.
-5
Let r(f) = -f - 9. Let n be r(0). Let d = n + 11. Let i(l) = l**3 - 18*l**2 + 16*l + 20. Let q be i(17). Solve -d*y + 25 = q*y for y.
5
Let d be 1 + -13 + (-6)/(-2). Let s be d/(-15) + (-6)/10. Suppose 0*y + 5*y = s. Solve -g + 1 = -y for g.
1
Let h(x) = -4*x**3 - 2*x**2 + 2*x + 6. Let n be h(-2). Let k = n - 23. Solve k*s - 5 = 1 for s.
2
Let t(x) = -x**2 + 7*x + 10. Let m be t(8). Let k = 12 - -2. Suppose -5*j + 5 = -15. Solve k - m = j*a for a.
3
Let s(o) = 5*o**2 + 16 - 3 - 3 - 10*o. Let v be s(3). Solve -v = 5*k - 0*k for k.
-5
Suppose 5*d - 3 = 7. Let h be 3/((d/(-5))/(-2)). Solve 4*r - r - h = 0 for r.
5
Let a(b) = -b**3 - 12*b**2 - 21*b - 7. Let y be a(-10). Suppose 3*s = -y*z + 35 - 8, 15 = 2*s - z. Solve -1 = 3*q + s for q.
-3
Let r be (-1)/(12/8 - 2). Suppose -r*w + 3 = -5. Solve -v - v = w for v.
-2
Let h be (-139)/(-4) + (-1)/(-4). Let r = 51 - h. Let d = r - 15. Solve 5*x + 11 = d for x.
-2
Let u be 44/77*(-14)/(-4). Suppose 14 + 6 = u*c. Solve 0 = x + 4*x + c for x.
-2
Let g be (-5833)/(-133) - (4 - 2)/(-14). Solve 6*y = 17*y - g for y.
4
Suppose -2*j - j + 15 = 0. Let w be 0/(-5 - (3 + -4)). Solve w*v = -j*v for v.
0
Let v = -7 - -21. Let a = v - 12. Suppose a*u = 4 + 2. Solve 0 = -u*i - 3 for i.
-1
Let c = -109 + -23. Let y = -127 - c. Solve -2*u - y = -13 for u.
4
Let g be (-8 - -7)/(2/30). Suppose 4*o + 0*o + 20 = 0. Let q = o - g. Solve -c = c - q for c.
5
Let l(u) = 2*u**2 - 27*u + 87. Let x be l(9). Solve x*f = 3*f + 6 for f.
2
Let d = 1224 - 1214. Solve -d*f - 34 = 7*f for f.
-2
Let x = -283 + 289. Solve -x*o = -11*o + 10 for o.
2
Suppose 5*k = 3*m + 3*k - 8, -3*m - 4*k = 16. Let g be 7/(1/((-4)/(-14))). Solve m = -g*p - 2*p + 8 for p.
2
Let o = 23 - 1. Suppose o*g - 18*g = 16. Solve g*x = 2*x - 6 for x.
-3
Suppose -52*y = 10*y - 868. Solve 4 = y*l - 10*l for l.
1
Let t(d) = -d**2 + 9*d - 7. Let h(z) = 3*z**2 - 2*z + 2. Let n be h(1). Let r be t(n). Solve 4 = 3*j - r for j.
5
Let x be (-100)/25*8/(-2). Solve 3*o + x = -o for o.
-4
Let k = 36 - 34. Suppose -k*f + 7 = -23. Solve -q + f = 2*q for q.
5
Suppose 5*w = a - 4, 2*a - 7*a = -20. Let y(s) = -s**3 + s**2 - 2*s + 1. Let k be y(w). Suppose -4*f + 8 = -0*f. Solve -f*h - k + 5 = 0 for h.
2
Suppose v + v - 8 = -2*s, 4*s = 3*v - 12. Suppose -3 = -5*k - 3*a - 6, -v*a - 4 = -4*k. Solve -o + 6*o = k for o.
0
Let c(d) = -d**3 - 5*d**2 - 4*d + 2. Suppose 0 = 4*b + b + 20. Let q be c(b). Let w(p) = p + 2. Let s be w(q). Solve x - s = -x for x.
2
Let a = 6 + -2. Suppose 4*x - 8 - 12 = 0. Let q = x - 4. Solve a*m - q = -17 for m.
-4
Suppose 1 = -l, -r + 5 = -4*l - 2. Suppose q - 20 = -0*o + r*o, 0 = -q + 2*o + 15. Solve 2*s + 1 = -q for s.
-3
Let y be (3/9)/(1/6). Solve -y = x - 1 for x.
-1
Let j(i) be the third derivative of i**5/30 + i**4/4 + 3*i**3/2 - 6*i**2. Let y be j(-6). Let c be (y/(-12))/((-1)/4). Solve x = -4*x + c for x.
3
Suppose 3*k + 3*l - 36 = 0, 0*l + 2*l = -k + 11. Let d be (-2)/k - (-2)/13. Solve d = -2*v - v - 3 for v.
-1
Suppose -f = -4*q - 3, -6 = 3*q + q - 2*f. Suppose 4*g + c - 1 - 2 = q, -3 = 3*c. Solve v - g - 2 = 0 for v.
3
Suppose -4*f + 43 = -3*n - 4, 3*f = 5*n + 60. Let w be -10*(15/n)/((-6)/(-9)). Solve r - w = -4*r fo