*x for x.
2
Let a = -1773 + 1823. Solve -6*s + 20 = a for s.
-5
Let l = -35 - -45. Let h(d) = 1 + 0 + d - 3. Let s be h(2). Solve -2*i + l = -s*i for i.
5
Suppose -3*p + 37 = 1. Suppose -9*u - 6 = -p*u. Solve -u*y = -y for y.
0
Suppose -5*i = -9*p + 7*p - 5, 25 = 5*p. Solve -i*l = 5 - 2 for l.
-1
Let c(j) = -5*j + 135. Let b be c(27). Solve b = 4*a - 6*a + 2 for a.
1
Let u(h) = h**3 + 3*h**2 + h. Let m be u(-2). Suppose 0 = m*x - 3*x + 18. Suppose -2*w + x = -12. Solve -2*p - w = p for p.
-5
Let p = 6 - 1. Suppose p*a + 5 = -0*a. Let u be 3/(12/8) + a. Solve r + u = -0 for r.
-1
Let b(q) = q**3 - 14*q**2 - 10*q - 68. Let r be b(15). Solve -6*m = -37 + r for m.
5
Let r be (2 - 65)/3 - -1. Let x be (14/35)/(2/r) + 12. Solve o + o + x = 0 for o.
-4
Let p(d) be the third derivative of -d**4/24 + d**3/6 + 6*d**2. Let t be p(-1). Let g be t - (0 - (3 + 10)). Solve 3*b = -0*b + g for b.
5
Let v be (-15 - -15) + (13 - 0). Solve -22 + v = 3*x for x.
-3
Let a = 0 - -4. Solve 0 = 9*x - 8*x + a for x.
-4
Let q(x) = x + 9. Let a be q(6). Suppose -11*p = -a*p. Solve p = 5*v + 18 + 7 for v.
-5
Let l(g) = g**2 + 31*g - 213. Let f be l(6). Solve 10*k - 2 = f*k for k.
2
Let i be (-27)/(-81)*(-1 + 1). Solve i = -2*u - 38 + 46 for u.
4
Let x = -2615 - -2630. Solve x = 10*g - 5*g for g.
3
Let p = -36 - 7. Let j = p - -46. Solve j*z - 1 = -7 for z.
-2
Suppose -5*y + 152 = -3*v, -2*v - 2*y = 146 - 34. Let t = 65 + v. Solve 3*a - 1 = t for a.
4
Let t = -578 + 584. Solve 11*y = 9*y + t for y.
3
Suppose -6 + 27 = 5*u + 2*m, -6 = 3*u - 5*m. Solve -u*r + r + 6 = 0 for r.
3
Let h be (18/(-15))/(24/(-300)). Solve 0 = -9*x + 6*x + h for x.
5
Let w be ((-8)/(-6))/((-11)/(-30 - 3)). Solve -3*z + 2 + w = 0 for z.
2
Let l(w) = -5*w + 2. Let u be l(0). Suppose -u*v - 2*z - 10 = 0, -2*v + 2*z = v - 10. Solve 0*s - s + 4 = v for s.
4
Suppose 0*h - 2*h = 0. Suppose h*x - 4*x = 36. Let p = x - -9. Solve -k - k - 4 = p for k.
-2
Suppose -25*b + 37*b - 216 = 0. Solve -40 = b*o - 8*o for o.
-4
Let j be (-250)/(-40)*8/5. Solve -2*r + 4*r + j = 0 for r.
-5
Let x be 2 - (-2 + 4/2). Suppose -x*z = z - 75. Suppose -8 - 8 = -4*w. Solve -f - w*f = -z for f.
5
Suppose 0*m - 2*m + 8 = 0. Suppose m*d - 4*k - 16 = 0, 3*d + 5*k + 4 + 0 = 0. Let t be (2 - -1)*d + -3. Solve -f = t*f - 12 for f.
3
Suppose -32*a + 84 = -4*a. Solve -2 = a*i + 1 for i.
-1
Let t be 244/(-16)*2*2. Let u = 76 + t. Solve -2*i + u - 11 = 0 for i.
2
Suppose -x - 59 - 20 = 3*c, 4*c = -x - 105. Let s = -14 - c. Suppose 4*w + s = 8*w. Solve 0 = w*v - 3 for v.
1
Suppose -5*c + 43 = 3*a, 2*a + c + c = 30. Suppose -6*n + 2 = -a. Solve 5*v = 23 - n for v.
4
Let s(h) = h - 1. Let i be s(2). Let z be i/2 - 51/(-34). Suppose -27 = -5*b - z. Solve 0 = b*x + 32 - 12 for x.
-4
Let m = 88 + -83. Suppose -y - 3*y = k - 2, -9 = y + 5*k. Solve -v - m = -y for v.
-4
Let s = 31 + 96. Let z = 130 - s. Solve v = z + 1 for v.
4
Let z(o) = -o**2 + 20*o - 17. Let t be z(19). Suppose 0*h + 9 = h. Solve -n = t*n - h for n.
3
Suppose 2*h + 143 = 175. Solve h*w - 12*w + 20 = 0 for w.
-5
Let m be (1/(-1))/((-29)/(-116)). Let w(r) = r**3 + 4*r**2 + 2*r + 10. Let y be w(m). Solve y = c - 2 for c.
4
Suppose -4*p = -3*p - 3. Suppose p*o - 23 = -8. Solve -o*a - 20 - 5 = 0 for a.
-5
Let z(n) = 3*n + 3*n**2 + 2*n**3 - 8*n**2 - n**3 - 2*n. Let k be z(5). Solve -k*q = -18 - 2 for q.
4
Suppose -10*a + 5*m = -7*a - 55, 5*m + 75 = 5*a. Solve 11*c - a = 9*c for c.
5
Suppose 832*d - 2716 = 825*d. Solve 20 = -384*o + d*o for o.
5
Suppose 0 = d - 2*b - 0*b + 8, 2*d - 3*b + 11 = 0. Let t be -29 - (-3 - -1) - 2. Let j = t + 32. Solve d*n = -j*n for n.
0
Let j(a) = -3*a - 6. Let n be j(-2). Suppose -3*u + 21 = 4*q - n*q, u = -5*q + 18. Solve -1 = -u*w + 2*w for w.
1
Suppose 24*f = -2*f + 546. Solve f = 5*b + 26 for b.
-1
Let z(d) = -2*d**3 - 46*d**2 - 82*d + 47. Let t be z(-21). Solve 445*r - t = 444*r for r.
5
Suppose -n = -3*q - q + 10, -4*q = 5*n + 2. Solve -3*l = -q - 1 for l.
1
Let j be -10 + -20*(-7)/14. Let t(c) be the third derivative of c**4/24 - 5*c**3/6 + 2*c**2. Let x be t(5). Solve d + x*d + 5 = j for d.
-5
Let g be ((-28)/63)/(4/(-18)). Suppose -s + 28 = g*j - 7*j, 3*j = s - 18. Solve -i - s*i + 8 = 0 for i.
2
Let l(q) = 4*q**3 - 1. Let x be l(-1). Let v be 3 + (1 + x)/(-2). Suppose 0 = -3*j - v*j. Solve j*d - 5 = -d for d.
5
Let g(b) be the first derivative of 5*b**2/2 - b - 7. Let r = -5 + 6. Let f be g(r). Solve -5*a - 1 = f for a.
-1
Let j(i) = i**3 + 6*i**2 - 2*i + 4. Let x be j(-6). Let w be (-8)/28 - x/(-7). Solve -w*r = -0*r for r.
0
Let l be 8/(-16)*-34 + -6 + 1. Solve -l*f = 47 - 35 for f.
-1
Let r be 1*-9*(-240)/36. Let a be (-24)/r*3*-5. Suppose a*j = 7*j. Solve j = -3*c + c - 10 for c.
-5
Suppose 4*x = -2*v + 158, 2*x - 3*v = -3*x + 203. Suppose u - x = -3*u. Suppose -y = -2*l - u, 5*y - 4*l = 2*y + 22. Solve 0 - 6 = y*m for m.
-3
Let s be 62/8 - (-7)/28. Suppose -s*l + 60 = -4*l. Let i = -8 + l. Solve i*o - 2*o + 10 = 0 for o.
-2
Let l(y) = -y. Let q be l(-2). Suppose -j = -q*j. Suppose -4*b + 5*b - 8 = j. Solve -5*i - b = 12 for i.
-4
Let o be 3 - (4 + -3 + 0). Suppose 3*c - t = -69, -o*c - 34 = -2*t + 12. Let x = 29 + c. Solve x = 5*g + 1 for g.
1
Let h(y) = -y**2 + 22*y + 47. Let i be h(24). Let u(w) = -w**3 - 3*w**2 - 4*w - 2. Let d be u(i). Solve d*z + 9 = 3*z for z.
3
Suppose 4*g - 5*x - 89 = 0, x + 72 = -4*g + 179. Solve -g = -4*u - 14 for u.
3
Let q be ((-1)/(-1))/2*6. Suppose q*y - 5 = 2*y. Let l be (-3 - (-114)/30) + (-132)/(-10). Solve y*g - 4 = -l for g.
-2
Let f be (-1 + 4 + -5)/((-2)/5). Solve 11*j = -f + 5 for j.
0
Let b(a) = -a**2 + 12*a - 23. Let r be b(5). Let u be ((-24)/(-36))/(2/r). Solve u*x = 3*x for x.
0
Let i be -3 - (-15)/(-2 - -5). Solve -i*c = -c - 2 for c.
2
Suppose 5*a - 5*v + 10 = 0, 4*v - 2 - 22 = -4*a. Suppose 0 = -6*k + a*k + 36. Solve -3*o - 24 + k = 0 for o.
-5
Let n = 4 - 12. Let j be (-9)/(-4)*n/(-6). Solve 2*i = j*i + 5 for i.
-5
Let a(q) be the third derivative of q**6/120 - q**5/3 - 19*q**4/24 - 5*q**3 - q**2. Let v be a(21). Solve -2*w + v = 2 for w.
5
Suppose -9*i = -10*i + 5*m + 19, -2*m - 6 = 0. Let w(x) = -x**3 - 5*x**2 - 2*x - 7. Let t = 0 - 5. Let g be w(t). Solve i*p = g*p + 4 for p.
4
Suppose -7*f + 6*f - 2 = 0. Let d(m) = -2 - 3*m**2 + 2*m**2 - 2*m**3 + 2*m + 1. Let i be d(f). Solve -i*r + 2*r = 0 for r.
0
Let w = 8 - 8. Let u(d) be the third derivative of -d**6/120 + d**5/6 + 11*d**4/24 + d**3/3 - 4*d**2. Let r be u(11). Solve w = 4*b - r*b for b.
0
Suppose -4*o = -2*u - 6, -16*u = 4*o - 19*u - 1. Suppose 4*k - 12 = 12. Suppose -5*g = -3*g - k. Solve -g*n + 2 = -o for n.
2
Let x = -275 - -154. Let z = x - -137. Solve o - 5*o = -z for o.
4
Let d(a) = 35*a - 770. Let q be d(22). Solve 3*m + q*m = 9 for m.
3
Suppose 5*z + 3*g = 9, 12 = z + 2*z + 4*g. Suppose v + 5*a - 20 = 0, z*v + 2*v - a = 7. Solve 2 = v*k + 12 for k.
-2
Suppose 4*q - 4 = 2*q. Suppose -4*x + 3*x + 34 = 3*f, q*f - 31 = x. Let g be (4 - -1)*(-12 + f). Solve 3*l = g*l for l.
0
Let r(z) be the second derivative of 0 + 5/2*z**3 + 13/12*z**4 - 9/2*z**2 - 1/20*z**5 - 4*z. Let w be r(14). Solve -3*d + w = -10 for d.
5
Let x = 1118 + -1112. Solve 0 = u + x - 7 for u.
1
Let p = -20 - -12. Let w be (104/(-6))/(p/12). Suppose -5*j - w = -n - n, 18 = 2*n - 3*j. Solve -n*h = 2*h for h.
0
Let j(o) = 7*o**3 - o. Let l be j(1). Solve -y = 5*y + l for y.
-1
Let w = 28 + -25. Suppose 2*t - 28 = -4*q - w*t, -2*t = -8. Let b = 2 - -1. Solve -q*d = d - b for d.
1
Suppose 76 = 4*u - 2*p, 3*u = -p + 45 + 2. Suppose 2*b = u + 69. Let j = b + -29. Solve -4*m - 34 = -j for m.
-5
Suppose 0 = 4*t - 27 + 7. Suppose 4*a - 5 = -5*n, 4*a = 3*a - n. Let b be ((-10)/a + -4)/(-1). Solve -b = t*w + 8 for w.
-2
Suppose 0 = -a - 2, -3*k + 4*a = -52 + 29. Let j(r) = -r**3 + 5*r**2 + r - 4. Let f be j(5). Let l be f + 1 - 1 - -1. Solve n = k - l for n.
3
Let v(t) = t**2 - 2*t - 2. Let d be v(-2). Let c(x) = -x**2 - 18*x - 28. Let b be c(-12). Let n = b - 42. Solve -y = d - n for y.
-4
Let n = -218 + 222. Solve -5*i + 21 = -n for i.
5
Suppose -284*j = -277*j. Solve y - 4*y - 6 = j for y.
-2
Let l be (-15)/(-5)*(-4)/6. Let x be (1 - 0 - 47)/l. Let r(n) = -n**3 + 3*n**2 + 12*n - 7. Let o be r(5). Solve x = 4*v + o for v.
5
Let d = -121 - -171. Let y be (d/2 - 2)*8. L