Let j = 1452 + -1449. Solve 0 = -j*n + 5*n + f for n.
-2
Let j(u) = -7*u - 23. Let b be j(-9). Suppose -12*h = -2*h - b. Solve h*f + 6 = -2 for f.
-2
Suppose -4*k + 2 = -2*x, -5*k - 3*x = x + 17. Let r = 13 + k. Suppose 0 = r*f - 11*f. Solve f = 4*s - 7*s + 3 for s.
1
Suppose 47*c + 8*c - 165 = 0. Solve -c = 9*i - 10*i for i.
3
Let u(t) = t**3 - 2*t**2 + t - 3. Let m be u(0). Let c be m*((-2)/5 + 18/(-30)). Solve l - c = -6 for l.
-3
Let w = -169 - -168. Let j be 1/w + (-24)/(-8). Solve -15 = 3*h + j*h for h.
-3
Let j(k) = k**2 - 8*k - 3. Let p be j(6). Let x(l) = 31*l + 376*l**2 + 18 - 92*l**2 - 92*l**2 - 93*l**2 - 97*l**2. Let f be x(p). Solve -f*z + 12 + 3 = 0 for z.
5
Suppose -4*g + 37 = 2*w - 37, -2 = 2*w. Solve 0 = 9*s - g*s + 30 for s.
3
Suppose 3*w = 18*w - 15. Let d be (20/(-1 + 3))/(1 + w). Solve -3*u = -d*u for u.
0
Let n be 3/12 - 275/(-20). Let p be 12/24 + n/4. Solve i = -p*i + 20 for i.
4
Suppose -113*n + 28*n + 2*n + 1411 = 0. Solve -n*z + 23*z - 6 = 0 for z.
1
Suppose -7*l + 28 - 4 + 11 = 0. Solve -l*g = -55 + 30 for g.
5
Let l(q) = -q**3 + 8*q**2 - 13*q + 7. Let w(t) = t**2 - 13*t + 17. Let u be w(12). Let x be l(u). Suppose 21*s = x*s. Solve s = -n + 3 - 0 for n.
3
Let c = 28 + 13. Let q = c + -37. Solve 2 - q = -f for f.
2
Suppose -3*h = b - 126 - 665, -h + 5*b + 237 = 0. Solve 264*n - 4 = h*n for n.
2
Let v = -547 + 552. Let c = -6 + 11. Solve 0 = -10*x + c*x - v for x.
-1
Let p(h) = 10*h**3 + 2*h**2 + h - 1. Let n be p(1). Suppose 2*s - 3*q = n, -4*s + 12 = -2*s - 5*q. Let c be 4/2 + (9 - s). Solve 9 = c*t - 16 for t.
5
Let n(h) be the first derivative of -3*h**2 - 7*h - 1. Let z be n(-2). Solve s - 3 + z = 0 for s.
-2
Let n = 22090 + -22086. Let c be -8*-1*(1 - 0). Solve -c*w = -12*w - n for w.
-1
Suppose -1393 = -184*y - 18*y + 3*y. Solve -10*f = -3*f + y for f.
-1
Let u be 46*(-29 - -35 - (-22)/(-4)). Solve -2*a = u - 33 for a.
5
Let b(l) = -l - 8. Let h be b(-9). Let o(y) = -y**2 - 21*y + 1153. Let x be o(-46). Solve -2*a = -x*a + h for a.
1
Let v = 2544 - 2515. Solve v*t = 19*t - 10 for t.
-1
Let q(r) be the second derivative of -r**5/20 + 3*r**4/4 - 13*r**3/3 + 9*r. Let s be q(6). Let f be (4/(-6) - 0) + s/(-18). Solve 0*k = -2*k + f for k.
1
Suppose 5*b - 3 + 19 = 3*z, -3*z - 3*b + 24 = 0. Suppose z*i = 26*i - 133. Solve 3*h - i*h + 20 = 0 for h.
5
Suppose 2 = 147*n - 1 + 3. Let r be (-9)/(-3) - (1 + -1). Solve l + r - 7 = n for l.
4
Let y = 2 + 2. Suppose -5*l + 40 = -5*v, -4 = -3*l + l - y*v. Solve r + l = -2*r for r.
-2
Suppose -64*x = -72*x + 22 + 74. Solve 27*f = 24*f + x for f.
4
Suppose 11*s - 7193 + 6346 = 0. Solve 74 = -b + s for b.
3
Suppose 639 = 3*d + 2*i + 18, 3*d - 627 = -3*i. Solve -3*g = 191 - d for g.
4
Suppose -61*a = -56*a - 15. Suppose -13*c = -4*m - 17*c + 20, a*m - 10 = 2*c. Solve -14 = -m*y - 30 for y.
-4
Let v(s) = -4*s + 22. Let f be v(4). Suppose z + f = -9. Let l(g) = g**3 + 15*g**2 + 8. Let c be l(z). Solve -t - c = t for t.
-4
Let x be (0/(-2))/(-5 + 6). Suppose x = -3*v - 2*v - 3*g + 439, -5*g - 157 = -2*v. Let h = -83 + v. Solve 5 + 4 = -h*n for n.
-3
Let m(j) = j**3 + 3*j**2 + 3*j + 9. Let g be m(-5). Let w be g/(-24) - 0 - (-4)/6. Solve -w*b + 0*b = -12 for b.
4
Suppose -122*q = -118*q - 8, -5*q = 4*o - 110. Let v = -11 + 17. Let b = v + -3. Solve -o = 2*h + b*h for h.
-5
Suppose 10*m - 50 = 3*m + 5*m. Solve -m*k + 21*k = -20 for k.
5
Let l(o) = -590*o - 4041. Let y be l(-7). Solve 51*z - y = 13 for z.
2
Let l(x) = 15*x + 11. Let w(i) = -i**3 - 8*i**2 - 15*i + 1. Let v be w(-5). Let z be l(v). Solve -10*y - z = 3*y for y.
-2
Suppose -5*o = -4*f - 32, -23 = 6*f - f - 2*o. Let s(m) = -8*m + 4992 + 4*m - 5003. Let x be s(f). Solve x = -3*c + 16 for c.
5
Let a = 2515 - 2502. Solve 51 = a*i - 1 for i.
4
Suppose -3*w = 6*w - 54. Suppose -272 = -w*u - 260. Let f be 2/((-1)/(-4)*2). Solve f*p + u = -2 for p.
-1
Let c(z) = -228*z - 1593. Let v be c(-7). Solve -v*f + 8*f = 25 for f.
5
Suppose 4*x = 8, 2*h - 1041*x - 2822 = -1046*x. Solve -h*t + 1430*t + 72 = 0 for t.
-3
Let q = -31 - -26. Let b be q/(20/(-16)) - 8. Let j be (-8)/(b + 5 - 3). Solve -2*x = -4 - j for x.
4
Suppose 0*m - 88 = -44*m. Let w = 53 + -12. Suppose 3*a + 2*n - w = -m*n, 5*a - 10 = 5*n. Solve 2*f + 3 + a = 0 for f.
-5
Let t(b) = 11*b - 19. Let d be t(10). Suppose 3*m - d = -l, -l + 0 - 5 = 0. Suppose -j = 3*j - m. Solve 0*q = -4*q - j for q.
-2
Let k(p) = p**3 + 21*p**2 + 25*p + 16. Let o be k(-20). Let m = 84 + o. Let j(g) = 2*g**2 - g + 7. Let b be j(m). Solve 32 = -5*a + b for a.
-5
Let q be (3/5)/((-4)/(-20)). Suppose 2*a - q = 5*a. Let z be a*(0 + 3 + -7). Solve -2*v = -6*v - z for v.
-1
Let q be (8/(-12))/(-2 - (-2000)/1002). Let k = q + -157. Solve 0 = 11*c - k*c - 4 for c.
4
Suppose 4*c = -2*y - 26, -432*y - 2*c - 4 = -428*y. Suppose 0 = -u - 2*u. Solve y*h = -u*h - 6 for h.
-2
Let b(c) = -5*c - 23. Suppose 0 = -3*j - 2*j - 25. Let h be b(j). Solve 1 = -h*v + v for v.
-1
Suppose -5*o + 392 = 2*o. Let u = o - 53. Suppose 6*g = u*g + 6. Solve g*r = -0*r for r.
0
Suppose -273*u - 365 = -5*m - 276*u, -4*m + 285 = u. Solve z - 63 + m = 0 for z.
-7
Let w be 4/(-22) + (-2578)/(-22)*1. Solve 105*r - 12 = w*r for r.
-1
Suppose -3*u + 108 = 2*u - 4*v, 3*u = v + 55. Let w(b) = b**3 - 3*b**2 - 2*b + 1. Let d be w(4). Suppose d*l = 4*l + 10. Solve -2*j + u = l*j for j.
4
Suppose 0 = 7*q - 2*q + 4*c - 24, 5*c = 4*q - 11. Let u(w) = -w**3 + 19*w + 3. Let r be u(-4). Let k be (r + q)/(5/(-2)). Solve 0 = -y - 1 - k for y.
-3
Suppose -3853*d = -3841*d. Solve d = -11*f - 3 - 30 for f.
-3
Let f(g) = 4*g + 0*g + 78 + 20*g + 14 + 14*g. Let k be f(-2). Solve 15 = k*h - h for h.
1
Let y(b) = -2*b**2 + 25*b - 49. Suppose -5*q = 5*u - 2*u - 37, 2*u + 3*q - 24 = 0. Let w be y(u). Solve 0 = -16*v + w*v + 4 for v.
2
Let u(z) = -2*z**3 - 58*z**2 + 16*z + 481. Let d be u(-29). Solve -d*r - 54 = 31 for r.
-5
Let m be (0 - 1) + 0 - -19. Let r(a) = -a**3 - 12*a**2 + 17*a + 72. Let k be r(-13). Suppose 5*o - n = m, 4*o - 2*n - k = -4*n. Solve -o*v = v - 20 for v.
4
Let f be (-6)/(-21) + 6536/56. Suppose -9*z + 6*z + f = 0. Suppose 6*h - z = -15. Solve 0 = 3*v - h*v for v.
0
Let n = -9486 - -9546. Solve 14*t = n - 4 for t.
4
Let q(s) = -4*s - 10. Let r = 1 - 33. Let a = r + 27. Let c be q(a). Solve 0*m + c = 5*m for m.
2
Let m = 4371 + -4341. Solve 7*b - m = -79 for b.
-7
Let j(a) = a + 20. Suppose 2*b - 1 = 2*n + 9, 0 = -5*n + b - 29. Let k be j(n). Solve 6 = -4*o - k for o.
-5
Suppose -252*k + 242*k = -180. Solve 554*s - 545*s + k = 0 for s.
-2
Let h be 18/10*(16 - 1104/(-36)). Solve -h*b + 5 = -85*b for b.
-5
Suppose p + 15*d - 12*d = 16, -4*d - 2 = -2*p. Solve -p*y = -6 + 62 for y.
-8
Suppose -16*z + 15*z = -3*w + 183, 3*w - 195 = 3*z. Solve 24*f = -w - 13 for f.
-3
Suppose 2*l - 2*d + 36 = 78, 55 = 3*l + d. Solve 0 = -l*w + 21*w + 16 for w.
-8
Let l be 3/(46/(-40) + 1). Suppose 5*o = 19*w - 21*w - 56, 2*o + 11 = 3*w. Let m be 2/(o/4*2/l). Solve -17 - m = 5*k for k.
-5
Suppose -c + 5*w - 4 = 3*w, 0 = -w + 4. Suppose 0 = 5*j + 10 - 35, -5*o - c*j + 65 = 0. Let g = 14 - o. Solve 0 = g*i + 7 + 8 for i.
-3
Suppose -2*u = 143 + 15. Let p = u - -110. Suppose -8*o + p + 9 = 0. Solve o*l = -0 - 20 for l.
-4
Suppose 0 = -b - j + 6*j + 20, -3*b - 2*j = -9. Suppose -5*c + 5*q + b = 40, 16 = 4*q. Let a be (c + 1)/(0 + -2). Solve 3*v - 7 = -a for v.
2
Let q(a) = -12*a + 287. Suppose 4*n + 51 = 2*p + 1, 3*n = 2*p - 49. Let o be q(p). Solve -o = 6*i + 13 for i.
-4
Let t(c) be the first derivative of c**2/2 + 25*c - 77. Let u be t(-22). Solve -u*l = -44 + 32 for l.
4
Suppose -4*x = 27 - 75. Suppose -13*v + x = -27. Solve -10 = v*f - 5*f for f.
5
Let v(m) = 8*m**2 + m - 1. Let o be v(2). Suppose o = 3*w - 111. Let c be 16/7 + w/(-168). Solve -c = 4*k + 2 for k.
-1
Let a(w) = 62*w**2 + 10*w + 3. Let z be a(-3). Let h = z + -523. Solve h = -6*v + 2 for v.
-1
Suppose 53*o = 4982 + 1908. Solve -95*d = -69*d - o for d.
5
Let c = 22499 + -22492. Solve -27*v = c*v + 238 for v.
-7
Suppose 2*n - 24 = 2*q, n + 12*q - 16*q - 9 = 0. Solve 57 = n*a + 5 for a.
4
Suppose 0 = 3*v - 9, 3*p + 1228 = -5*v + 1549. Solve -p = 4*y - 130 for y.
7
Let u = -54 + 111. Let v be (-2)/8 - (2 - (-1085)/28). Let x = u + v. Solve 9*l = 5*l - x for l.
-4
Suppose -35 = -6*b - 47. Let j(n) 