n - 8 for n.
5
Let o(s) = 7*s**2 + s + 1. Suppose -2*b - 3 = -5*b. Let r be o(b). Suppose 0 = -r*t + 5*t. Solve 3 = -t*c + c for c.
3
Let a = 248 + -244. Solve -14*i + a = -15*i for i.
-4
Let h(p) = -p**3 - 5*p**2 - p + 14. Let r be h(-4). Suppose 5*y - 4*z = 121, 3*z + 16 = y - 6. Solve r*q + 3*q + y = 0 for q.
-5
Let y = 22 + -26. Let q = y - -8. Solve -5*m - q = -m for m.
-1
Let l be 5 + -7 + -2 + (29 - 1). Let u be (-3 + 2)/((-6)/l*2). Solve -a = u*a - 6 for a.
2
Let h = -838 + 843. Solve -h + 14 = 3*n for n.
3
Suppose 4*h = k - 14, 5*k - h = 43 - 11. Let i be 21/(-15) + (-9)/15 + k. Solve 5 = -l - i*l for l.
-1
Let h(w) = 5*w**3 + 11*w - 9*w**2 - 6*w**3 + 6*w**2 + 6*w**2. Let t be h(5). Solve 3*a + t = 2*a for a.
-5
Suppose 250 = 5*d - 5*o, -3*o = -5*d + o + 251. Let n = d - 51. Solve 4*t + 0*t = n for t.
0
Suppose -13*u + 18*u + 155 = 0. Let p = u + 40. Suppose -7 = -3*b + 4*f, 0*f + p = b + 2*f. Solve -b*i = -0*i + 15 for i.
-3
Let p = 40 + -33. Suppose 1 = -p*z + 15. Solve z*b - 6 - 4 = 0 for b.
5
Let a = 164 + -137. Let f(p) = p**2 - 28*p + 28. Let b be f(a). Solve -2 = -u - b for u.
1
Suppose 4*l - 12 = l. Suppose 0 = -3*d - 0*d - 6, l*d + 7 = -y. Let g be (-2 + 2)/(1 + y). Solve g*i = i - 2 for i.
2
Let x(d) = 10*d + 10. Let a be x(-1). Solve -4*c + 13 + 7 = a for c.
5
Suppose -5*a + 420 = -0*a. Solve -15 = -a*w + 87*w for w.
-5
Suppose 12*x + 420 = -2*x. Let a be -5 - 144/x - 31/(-5). Solve -w = -a*w for w.
0
Let w(h) = h**2 - 5*h - 18. Let d(p) = -p - 10. Let x be d(-18). Let b be w(x). Solve 5*r - 16 = -b for r.
2
Suppose -12*a + 17 = -10*a + 3*k, -3*k = 4*a - 19. Solve d + a - 5 = 0 for d.
4
Let t(u) = -2*u**3 + u**2 + 3*u + 1. Let x be t(-2). Let f = x - 14. Let a = f - -8. Solve 0 = -4*o + 1 - a for o.
-2
Let b = -240 - -250. Solve 0 = 7*l - 5*l + b for l.
-5
Suppose -3*n + 1120 = 37*n. Solve -7*b = -0*b - n for b.
4
Suppose 0 = -3*b + 3, 3*a + 3*b - 3 = 7*a. Suppose -23*j = -99*j + 304. Solve a - j = -h for h.
4
Let c = -231 + 265. Solve 33*s - c*s = -1 for s.
1
Let v = -4 - -7. Suppose z + 6 = 5. Let o be (-2 - (z - -2)) + 7. Solve v*x - o = x for x.
2
Let r be (-9 + (5 - -4))/(-1). Solve -z + 2*z - 5 = r for z.
5
Let h(z) = z**3 - 3*z**2 + 3*z - 2. Let l be 11/(-33) + (-14)/(-6). Let y be h(l). Solve -g + y*g - 3 = 0 for g.
-3
Suppose -2*w + 4*k = -68, -w = -0*k + 3*k - 49. Solve r + 36 - w = 0 for r.
4
Let p be (-36)/(-14)*84/9. Suppose 3*f - p = 3*m, 5*f - 5*m = f + 36. Solve f*v + 6 = 26 for v.
5
Suppose 0 = 6*c - 33 + 3. Let v be (46/(-10) - -5)*c. Let p(r) = 2*r - 5. Let j be p(4). Solve -v*d + j = d for d.
1
Let u(y) = y**2 - 3*y - 2. Let i(v) = -v**2 - 6*v. Let b be i(-5). Let f be u(b). Let z be (-33)/(-6) - 12/f. Solve z*k = k for k.
0
Suppose -57*z + 774 + 1506 = 0. Solve -z + 35 = a for a.
-5
Let n(t) = t**3 + 6*t**2 - t - 3. Let h be n(-6). Let g = 27 + -18. Suppose -d - 3*j - 3 = -g, 3*d = -h*j + 12. Solve -5 = -d*l - 2 for l.
1
Suppose -2*o - 4*k = -32, -209*k = -5*o - 207*k + 128. Solve 0*d + o = -8*d for d.
-3
Suppose 0 = 56*w - 1141 - 2779. Solve 5*f = 75 - w for f.
1
Suppose 0 = -5*f - 20, 5*h - h = -5*f. Let t(w) = -67*w**2 - 15*w - 14. Let d be t(-1). Let k = -61 - d. Solve -2*u - k = h for u.
-5
Suppose -144 = -6*c + 10*c. Let s = 41 + c. Solve 2*n = s*n + 12 for n.
-4
Suppose 3*q - 24 = 3*b, 0 = -0*q - 2*q - 3*b + 6. Solve -11*s + q = -14*s for s.
-2
Let u be -5 + -4 + 3 + 1. Let a be 6/(u/75*-3). Let r = 33 - a. Solve -2*v + r = v for v.
1
Suppose -3*u - 20 = -2*l, 4 = -2*l - 4*u - 4. Solve -4*b = -2*b + l for b.
-2
Suppose 0 = 2*d + t - 3, 7 = d - t + 1. Solve d*a + 9 = 3 for a.
-2
Suppose 0 = 2*f - 4, -7*x - 1 = -10*x + 4*f. Solve -36 = x*h - 48 for h.
4
Suppose 10*k - 8*k - 46 = 5*n, -k + 3*n + 23 = 0. Solve 0 = -8*b + k + 1 for b.
3
Let f(s) = -2*s + 5. Let p(x) = -x + 2. Let u(r) = -4*f(r) + 9*p(r). Let b be u(-5). Suppose -m = -4*k - 1, 4*k - 5*m = 5*k - 5. Solve 8*z - b*z = k for z.
0
Suppose m = -3*m + 100. Solve 23*r - m = 18*r for r.
5
Let c(o) = 3*o - 1. Let r = 0 - -1. Let u be c(r). Suppose 24 - 8 = 4*x. Solve 3*l + x = -u for l.
-2
Suppose -3*y + 5 = 5*w - 7, y - 4 = 5*w. Let p be (-473)/(-99) + (-2)/(-9). Suppose -p*t - 25 = 0, w = v - 2*v - 2*t - 8. Solve -a + 0 = v for a.
-2
Let o(h) = 73*h**2 - 9 + 10*h - 39*h**2 - 33*h**2. Let v be o(-11). Solve -v = -2*l + 4 for l.
3
Let y(b) = -2 - 23*b + 3 + 24*b + 0. Let n be y(8). Solve -n = 4*h - h for h.
-3
Let y(i) = -i**2 + 5*i - 2. Let c be y(4). Let z be (-2 - 4/(-2))*(-1)/c. Solve 0 = -3*f - z*f + 12 for f.
4
Let f = 6 + -5. Suppose -2*i = -9 - f. Suppose -5*r + x - 5 + 2 = 0, i*r = -x + 3. Solve 0 = 5*w - r*w + 25 for w.
-5
Let b(s) = 31*s - 3. Let f be b(2). Solve -63*r - 12 = -f*r for r.
-3
Let i be ((-24)/9)/((140/(-21))/5). Solve -i + 2 = 14*u for u.
0
Suppose 2*r - 3*r + 3 = -3*a, 0 = -5*r - 4*a + 53. Suppose 0 = -3*y + r + 6. Solve -3 = -2*n + y for n.
4
Suppose 2683*g = 2674*g + 144. Solve -3*b + g = 25 for b.
-3
Let q = 10 + -2. Let w = 20 + -17. Let z(n) = 4*n**2 + n. Let h be z(1). Solve 0 = w*f - h*f + q for f.
4
Let d = 140 - 136. Solve d*b - 3 = -19 for b.
-4
Let u be (4/14)/((-17)/(-119)). Suppose 5 = 2*p + 5*s - 8, 2*s = u. Solve p = w + 5 for w.
-1
Suppose 2*t + 30 = 4*b, -2*t + 1 = -1. Suppose -58 = -3*d + 6*l - b*l, 19 = d + l. Solve 3*z - d = -z for z.
5
Suppose 5*h - 21 = 2*h - 3*g, -2*g = -2*h + 2. Suppose -w - 3 = 0, -39 = -3*q + 5*w + 33. Let v = q - 17. Solve -f = -v*f - h for f.
-4
Suppose -18 + 6 = -4*p. Solve -o + 0 - p = 0 for o.
-3
Let i = -197 - -217. Solve -20*l + i = -15*l for l.
4
Let o = 708 + -704. Solve -2*z + o = -z for z.
4
Suppose 3 - 7 = -2*c. Suppose -c*q = 2*q + 4. Let m be 3*(2 - 2 - q). Solve 0*i = -m*i + 9 for i.
3
Let b be 1/(14/(-4) - -4). Let n(m) = -8*m**2 + 4*m - 5. Let k be n(b). Let h = -29 - k. Solve -z = -h*z for z.
0
Suppose -4*d + b = -21, 3*d + 3 = -5*b - 10. Suppose -d*c + 2 = -3*c. Suppose -4 = -n + 1. Solve -c*y + 9 = -n*y for y.
-3
Suppose 2*i = -4*a + 56, -4*a + 16 = -2*a - 2*i. Solve -13*l - a = -16*l for l.
4
Let k = 3 - -3. Suppose 0 = 3*g - k - 6. Suppose -2*m + g*l = 16, 2*m + 3*m - 35 = -5*l. Solve m*p = 5*p + 15 for p.
-5
Let r(s) be the third derivative of s**5/60 - 7*s**4/24 + 3*s**3/2 + 2*s**2. Let w be r(6). Suppose 2*d - w*p + 4 = -2*p, -2*p = -8. Solve d*q = q for q.
0
Let p be (2 + 6/(-3))*93/(-279). Solve 0 = -5*o - p + 10 for o.
2
Let j = 99 - 84. Solve 4*m + 33 = j*m for m.
3
Let s be (2*4/(-40))/((-5)/25). Solve 0 = p + s - 0 for p.
-1
Let q be -3*(-4)/((-24)/74). Let w = 46 + q. Solve -2*b = b - w for b.
3
Suppose 4*v = 3*h + 20, 0 = -3*h - 2*h + 3*v - 15. Suppose 48*j = -3*d + 51*j + 24, 0 = 2*d - 3*j - 21. Solve -d*u - u - 12 = h for u.
-3
Let q(h) = -h**3 - 2*h**2 + 2. Let d be q(-2). Suppose -b - 1 = -d*b. Solve 2*j = b - 7 for j.
-3
Let x = 167 - 162. Solve s + x = 1 for s.
-4
Let o = 2 + -1. Suppose 0 = 6*s + o - 19. Suppose t - 4 = 3*w - 24, -14 = -w + 4*t. Solve -6 = s*r + w for r.
-4
Let u be ((3 - 1) + -6)*-1. Suppose 5*y = -u*m + 22, -y - 18 = -5*m - 5. Suppose -36 = -m*g - g. Solve 4*x - x = g for x.
3
Let r = 14 - 9. Suppose q + 3*k - 8 = 8, 4*q + r*k = 43. Solve 8 + q = -3*f for f.
-5
Let k(v) = 3*v + 10. Let r be k(-5). Let f be ((-10)/(-4))/r*0. Solve f = -2*o - 9 + 3 for o.
-3
Suppose 4*l - 8 = -23*x + 19*x, 4*l = 3*x + 36. Solve 3*d - l*d + 3 = 0 for d.
1
Suppose -175*m + 173*m + 10 = 0. Solve 0*t = m*t for t.
0
Let h(r) = r - 1. Let k be h(1). Suppose 5*w + 20 = 4*x, -2*w - 3*w = x - 5. Solve 2*y + w*y + 4 = k for y.
-2
Suppose 0 = 5*j + t - 69, -t - 23 = -3*j + 3*t. Let y(g) = -g**3 + 14*g**2 - 12*g - 8. Let c be y(j). Solve 0 = z - c + 3 for z.
2
Suppose 2*r - y - 18 = 0, -r - 4*y - y = -20. Let j be ((-9)/(-45))/(2/r). Suppose -4*n - 15 = -5*o + 10*o, o + 19 = -4*n. Solve 2*x - j = o for x.
1
Let j = 34 - 59. Let c = -17 - j. Suppose 2*s - 3*v - 9 = 0, 3*s + 6 - 12 = 2*v. Solve c + s = 4*h for h.
2
Let o(z) = -8*z**2 - 107*z - 30. Let u be o(-13). Solve 3 = -6*g - u for g.
-2
Suppose 2*i - 5*i = 5*c - 357, 3*c = -5*i + 211. Solve 0 = c*t - 71*t for t.
0
Let d be (-2)/5 - 17/(-5). Suppose 17 = -2*g + d. Let b be 6/21 - (-2)/g. Solve b*y = y - 2 for y.
2
Suppose -x + 5 = 3. Suppose 3*h = -2*p - 3 + 17, x*p = 2. Suppose h + 10 = 2*g.