 2395 = -473. Let w be 149/21 + c/(-651). Solve 0 = w*x - 0*x + 7 for x.
-1
Suppose 2*m - 33 = -m. Suppose 19*d = 21*d - 4*w - 18, -2*w = 4*d + 4. Solve 3*v + d = -m for v.
-4
Let v be ((-3)/(-12))/((-3)/6)*-6. Let x be -18*(-5)/10 - 4. Let a be (1 - x)*1/(-2). Solve -a*c - 5 = v*c for c.
-1
Suppose -a = 4*a - 85. Let m be (-4)/72*-12*3. Solve -5*l + a = m for l.
3
Suppose 0 = -5*t + 59 - 19. Let h(o) = 0 + t*o**2 + 6 - 58*o + 0 + 52*o. Let u be h(1). Solve -5*r = u - 3 for r.
-1
Suppose -7*j + 5580 = 53*j. Solve -10*s = 123 - j for s.
-3
Let x(w) = w**3 - 9*w**2 + 6*w + 8. Let d be x(7). Let f = 51 + d. Suppose 3*s - p - 27 = 0, f*p = s - 2*p - 9. Solve -4*g = -g - s for g.
3
Suppose 12*o + o = 104. Let m be 3/(-12) + -10 + 170/o. Solve -m*l + 17*l = 5*l for l.
0
Suppose 52 = -3*p + 8*p - 4*q, 0 = 4*q - 8. Suppose p = r + c - 4*c, c = 2*r - 14. Let z(d) = 5*d**2 + 4*d + 3. Let s be z(-2). Solve 3*h + s = r*h for h.
5
Suppose 13*k + 0 + 13 = 0. Let p be (6 + k)*130/325. Solve 0 = -p*w - 10 for w.
-5
Let f(i) be the second derivative of i**4/12 - i**3/3 + 5*i**2/2 - 2*i. Let j be f(5). Suppose 13 - 13 = 81*q. Solve -5*c - j = -q*c for c.
-4
Let x be (2 + -1)*(-6 + 130 + 3 + -3). Solve -124 = -7*b - x for b.
0
Let s(d) = -d**3 + 3*d**2 - d. Let v be s(2). Let h = 93 - -48. Let f = -139 + h. Solve f = -v*q + 4 for q.
1
Let b be ((-1)/2)/(12/(-30))*16. Let w be 16/80 + 2 + (-44)/b. Solve -8*p - 33 - 7 = w for p.
-5
Let t(h) = 45*h + 1318. Let p be t(-28). Solve 56*r - 6 = p*r for r.
-3
Let f(a) be the third derivative of -a**7/5040 + 7*a**6/720 + a**5/3 - 7*a**2. Let c(q) be the third derivative of f(q). Let l be c(0). Solve 4*j - 9 = l for j.
4
Suppose 0 = -2*p - 2*m + 14, -5*p + 33 = 3*m + 6. Let u(k) = -672*k + 2055. Let w be u(3). Solve -12*s - w = -p for s.
-3
Let j be -3 - (-9 - -2) - 4. Suppose -10*w + 13 + 7 = j. Let c(d) = 2*d**2 - 3*d - 2. Let k be c(w). Solve 3*n + k*n = -6 for n.
-2
Suppose 9*q - 18*q = 153. Let i(x) = -11*x - 185. Let l be i(q). Solve v - l + 5 = 0 for v.
-3
Suppose -4*t - 56 = -0*t. Suppose 3*o - 3*q = -18 + 60, 2 = q. Let y = o + t. Solve -c = -3 - y for c.
5
Let g = 79 + -140. Let c = 55 + g. Let b = 6 + c. Solve 0 = -b*a + 3*a - 6 for a.
2
Let p = -13599 + 13643. Solve p*g + 51 = -169 for g.
-5
Let q(l) = 2*l**2 + 7*l + 11. Let b be q(-6). Suppose -b = -4*y - 29. Suppose 4*i + 5*g - 15 = i, y*g - 9 = 4*i. Solve h - 4*h + 6 = i for h.
2
Suppose 0*v + 158 = 4*i - 3*v, 3*i - v - 121 = 0. Let d be (-31)/(-496) + (-1528)/(-128). Solve 38*s = i*s - d for s.
4
Let u be (-1)/((-5)/(0 + 20)). Let p be (-24)/4*(u + 6/(-2)). Let m be (3 - (-26)/p)*3/(-1). Solve 0*y = y - m for y.
4
Let y(v) = -v**2 + 12*v + 347. Let l be y(25). Solve -18*t = -l*t + 20 for t.
5
Let j be 185/15 - (-1 + 8/6). Suppose -12*l = -15*l + j. Solve 0 = l*c - 0*c - 4 for c.
1
Suppose 8*b - 1483 = -739. Solve -72 - b = 33*u for u.
-5
Let v = 30 + -27. Suppose -2*y + 33 = -0*y - 5*o, -2*y + v*o = -23. Suppose -k + 0*r - y = -2*r, -3*r = k - 11. Solve 0 = 7*c - 5*c - k for c.
1
Let n(f) = -f**2 - 6*f - 2. Let o be n(-5). Suppose 24*j - 70 = 2. Suppose -2*i = j*l + 13 - 80, -4*l + i + 104 = 0. Solve 2*s - l = -o*s for s.
5
Suppose 104 + 676 = -15*c. Let b be (-82)/(-26) + (4 - (-216)/c). Solve b*v - 4*v - 3 = 0 for v.
-3
Let v(w) = 2*w. Let h(q) = -q + 1. Let i(p) = 3*h(p) + 2*v(p). Let m be i(-1). Solve 0 = -m*c - 0*c - 4 for c.
-2
Let h be (-24)/(-9)*15/20 - 6. Let f be 7 + ((-8)/(h + 2) - 1). Solve -f + 0 = 2*n for n.
-5
Let i(f) be the second derivative of f**5/20 + 13*f**4/12 + 2*f**3 - 5*f**2/2 + 9*f. Let d be i(-12). Let c be (2 + -1)/(d - -6). Solve -a + 2 = -c for a.
3
Let j = 1 - 3. Let o be -6*(j/(-6) + -1). Let p be 24 - 20 - (1 + (-14 - -7)). Solve p = -x - o*x for x.
-2
Let n = -3174 - -3201. Solve -37*k = -46*k + n for k.
3
Suppose -2*z + 32 = c, z = -0*z - 3. Suppose 5*g - c = 2*g + 5*y, g + 3*y - 8 = 0. Let w = -3 + 8. Solve -w*a + 1 = g for a.
-2
Let x(j) = j**3 + 63*j**2 - 340*j + 4. Let i be x(-68). Solve -i*o + 2 - 6 = 0 for o.
-1
Let f be (-24)/(-9)*(-63)/(-24). Solve 0 = 70*n - 69*n + f for n.
-7
Let k be (-921485)/(-2035) + (-27)/33 + 1. Solve -9*o + k = 435 for o.
2
Let w be (140/4)/7*6/10. Suppose 21*y - 12*y = w*y. Solve y = 3*o - 11*o for o.
0
Let o be 2 - (-2 + 0 + 1). Suppose -5*r = -2*r - 4*i - 29, -r + i = -9. Let v(y) = -57*y**2 - 118*y - 6. Let t be v(-2). Solve -r = -o*l + t for l.
3
Suppose -3*z - 13 = -46. Let j = 1367 - 1362. Solve 2*k - z + j = 0 for k.
3
Let a(t) = -t**2 + 12*t - 1. Let y be a(4). Suppose -y = -12*u + 197. Solve 6 = 5*p - u for p.
5
Suppose -39*b + 44*b = 3*d + 145, -3*b + 2*d + 88 = 0. Suppose 0 = -b*n + 73*n - 658. Solve 14 - n = 6*q for q.
0
Suppose 2*a = 2*d - 56, -8*d = -4*d - 11*a - 70. Solve -d = -4*i - 14 for i.
5
Let t be (15/(-9))/((-115)/17802)*(-3)/(-9). Solve -82 = -4*c - t for c.
-1
Suppose -49*o + 1152 + 1494 = 0. Suppose -o*k + 73*k = 285. Solve -13*v = -8*v - k for v.
3
Let z = 11114 + -11043. Solve z*g - 62*g + 27 = 0 for g.
-3
Let b(g) = 26*g + 1018. Let k be b(-39). Solve -k*t = -40 + 60 for t.
-5
Let s(c) = c**3 + 6*c**2 - c - 1. Let j be s(-6). Let q be (822/1370)/(62/(-65) - -1). Suppose -3*r = -j*g + q, 0 = -g + 2 + 3. Solve r*x = 8*x for x.
0
Let z be 4 - 4 - (-24)/2. Let t(r) = -34*r - 170. Let v be t(-5). Solve v = -5*n + 22 - z for n.
2
Suppose 8*m - 27*m - 3296 = -225*m. Solve 24 = -8*d + m for d.
-1
Let j(s) = 17*s - 9*s - 14*s - 3. Let v be j(-5). Suppose -7*w + v = 2*w. Solve 0 = -i - w + 8 for i.
5
Suppose -79 = 4*y - 71, 5*y = -2*g + 536. Solve -61*o = 30*o - g for o.
3
Let z(r) be the first derivative of r**4/2 + 8*r**3/3 + 5*r**2/2 + 3*r + 55. Let q be z(-3). Solve 0 = -10*v + q*v for v.
0
Let n be (-91 - 0)/((-34)/(-34)). Let u = -66 - n. Suppose u*x - 75 = 10*x. Solve -x*v - 20 - 5 = 0 for v.
-5
Let d = -2282 - -4648. Solve -7*n - d = -2352 for n.
-2
Let w be -5 + (-28)/(-1 + -6). Let i be w/(-1 + 4 - (-48)/(-15)). Solve -3*x + i - 14 = 0 for x.
-3
Let a = -47 + -82. Let c = a + 217. Let n = 88 - c. Solve n*p + 5 = p for p.
5
Let j = -7 - -21. Let u(s) = -12*s**2 + s**3 + 35*s + 0 - j + 0 - 7*s**2. Let n be u(17). Solve 6*o - n*o = -6 for o.
-2
Suppose -333*q + 35548 = 8288 - 712. Solve t - q = 13*t for t.
-7
Let a = 11 + -8. Suppose 44 = a*o + 14. Let d(j) = j**3 + 5*j**2 - 59*j + 79. Let f be d(-11). Solve -4*p + f = o for p.
-2
Let w be (14122/(-92))/(2/(-8)). Let i = -609 + w. Solve i*n - 23 = -3 for n.
4
Let l(x) = x**3 + 96*x**2 + 91*x - 376. Let q be l(-95). Solve -33 + 25 = q*z for z.
-2
Let v = 1228 + -863. Suppose 77 = 13*y - v. Solve -3*d + 31 - y = 0 for d.
-1
Let j(z) = z**3 - 7*z**2 + 3. Suppose 0 = 5*u + 188 + 12. Let r be (-7)/(28/u) + -3. Let s be j(r). Solve -s*d = d for d.
0
Suppose -10278 = 7*k - 10880. Solve -k*t = -59*t - 27 for t.
1
Suppose 19*n + 52 = 20*n + 5*u, -62 = -2*n - 3*u. Solve 0 = n*a - 115 - 17 for a.
6
Suppose -18*z - 1840 = -2*z. Let u = 124 + z. Suppose 1 = -4*b + u. Solve 4*i = b*i + 6 for i.
3
Let s be (-2 + 16 - 4)*4. Let a = 50 - s. Suppose z + a = 4*c - 8, 4*z = -2*c + 18. Solve 3*h = -z*h for h.
0
Let b(p) = -p**3 + 3*p**2 + 62*p - 53. Let s be b(9). Solve 55*n - 74*n = s for n.
-1
Let h be (-5)/2 + 3/6. Let b be (h - -7) + 2/(-2). Let l = 2324 + -2324. Solve -n + b = -l*n for n.
4
Let b(c) = -26*c + 23. Let x be b(-12). Let a = x - 323. Suppose -5*t + 4*j + 36 - 2 = 0, -4*t = -3*j - 27. Solve 2*m - t*m = -a for m.
3
Let j = -906 - -969. Solve -206 = -j*o + 46 for o.
4
Suppose -56*g - 66*g = -70*g - 1456. Solve -103*w = -99*w - g for w.
7
Let v = 1248 + -573. Suppose -2*h + v = 645. Solve s = -4*s - h for s.
-3
Suppose 4*i - g - 39 = 0, 4*g + 6 + 22 = 0. Solve 0 = 7*n + 6 + i for n.
-2
Let d = 1 - 0. Let h(m) = 7*m - 36. Let z be -12*(4 - 9/2). Let c be h(z). Solve 0 = a + d - c for a.
5
Let n(r) = r**3 + 15*r**2 - 4*r + 8. Let j be n(-15). Suppose -12 = j*k - 72*k. Solve g = -0*g + k for g.
3
Let i(h) = 8*h**2 + 8*h + 9. Let a be i(-2). Let s be 2 - (-1)/(4/48). Let x = -14 + s. Solve -4*n - n - a = x for n.
-5
Let b be (3/(-12)*2)/(15/(-180)). Suppose -2*u + z + 1 - b = 0, 4*z - 20 = 0. Solve u = 21*x - 8*x + 26 for x.
-2
Let x(q) = 32 + 96*q + 2 - 102*q. Let c be x(5). Solve 7*g + 3 = c*g for g.
-1
Let j(h) = -h