Let w = 3135 + -3072. Solve 0 = -4*n - 17*n + w for n.
3
Let r(a) = 8*a**3 - 2*a**2 + 4*a - 2. Let u be r(2). Suppose 0 = 48*o - u*o + 28. Solve 9*w + o = -7 for w.
-1
Let v(g) = g**3 + g**2 - 10*g - 6. Suppose -3*i - 13 + 25 = 0, 0 = -4*u - 4*i + 28. Let f be v(u). Solve f = -6*z + 4*z - 8 for z.
-4
Let v(o) = -o**2 - 6*o - 15. Let z be v(-6). Let l be (-129)/15 + 3 + z/(-25). Let a = 10 + l. Solve -m - a = -4 for m.
-1
Let d(h) = h**3 - 17*h**2 + 42*h - 720. Let l be d(17). Let o(x) = -24*x - 1. Let g be o(1). Let r be (0 - 4/24) + g/l. Solve 0 = -r*t - t - 20 for t.
-4
Let n = -2438 - -2459. Solve 7*m + n = -14*m for m.
-1
Let r(h) = 171*h - 1384. Let l be r(9). Solve -150*o = -l*o - 15 for o.
-3
Suppose -7*v - 235 = 220. Let r = -70 - v. Let p(h) = -h**3 - 7*h**2 - 10*h + 4. Let y be p(r). Solve 12 = -y*i - 4 for i.
-4
Let s be (-2)/(-5)*-1*-5. Let i be (-1)/s - (-36)/24. Let z be ((-144)/90)/(i/(-15)). Solve 5*k + z = -1 for k.
-5
Suppose 4*l + 9 = y, -5*y - 2*l = -4*l - 99. Let a = y - 13. Suppose a = 7*v - 3*v. Solve v*s = 6*s + 16 for s.
-4
Let b = -9344 + 9372. Solve 36*y - 22*y = -b for y.
-2
Let z = 535 - 35. Let p = z + -500. Solve 0*u + 10*u + 30 = p for u.
-3
Suppose 5*i - 253 = 9*i - 909. Solve 0 = 25*f + 16*f - i for f.
4
Let q(y) = -8*y + 3. Let d be q(0). Suppose 69 - 24 = d*k. Solve -k = -17*h + 12*h for h.
3
Let h be (0/25)/(-2 - -1). Let l(y) be the second derivative of 5*y**4/12 - y**3/6 - y**2 - 2*y. Let n be l(-1). Solve h = p + n - 1 for p.
-3
Let a be 9 - ((-2)/(-17) + (-300)/(-51)). Solve 0 = 51*l + a*l + 270 for l.
-5
Suppose -3*s + 50*g = 53*g + 3, 4*s - 4*g = 4. Solve s = 65*u - 117*u - 468 for u.
-9
Suppose -11 = -b - 2*q, 73*b + 13 = 76*b - 4*q. Suppose -12*l + 11*l - b = -5*z, 15 = 3*l + 3*z. Solve l*p = p for p.
0
Let o = 69 + -68. Suppose 0 = 4*c - w - o, -4*c + 0*w = 4*w + 4. Suppose q + 5*m - 8 = c, 3*q = 3*m + 8 - 2. Solve -q*b = -2*b for b.
0
Let v be (6/10)/((-1)/(-10)) - 2. Solve v*r - 51 = -27 for r.
6
Suppose 457 = 55*r - 443 - 475. Solve -r*a = -53*a + 224 for a.
8
Let i(w) = w - 5. Let p be i(9). Let h be 69 - (-2 + 2*p/(-8)). Let d = h + -47. Solve 0 = 2*v + 3*v + d for v.
-5
Suppose -8*i + 40 = 2*i. Suppose k = -4*h + 4*k + 345, h = -i*k + 72. Suppose -6*s + h = s. Solve -5*n = s + 8 for n.
-4
Let k = -2056 + 2253. Solve -5*a - k = -222 for a.
5
Let m(j) = 79*j - 151. Let v be m(2). Let s(d) = d**2 - 12*d + 10. Let a be s(12). Solve v*o - a = 12*o for o.
-2
Suppose 5*k - 5*z - 15 = 0, 5*k + z - 38 = -29. Solve 0*f = -k*f + 4 for f.
2
Let n(m) = m**3 + m**2. Let w be n(0). Let t be 74/14 - (-30)/(-105) - -5. Solve w = -5*z - t - 10 for z.
-4
Let u be 0*(8/(-3) - -3). Let a = 178 + -173. Solve a*m - 2*m = u for m.
0
Suppose 25*a - 1040 = 15*a. Let q = a + -104. Solve q = 2*n - 21 + 13 for n.
4
Suppose u + 6 = -3*g + 16, 5*u = 4*g + 12. Suppose 12*c = c + 4928. Let a = -445 + c. Solve -a*t = g*t - 25 for t.
5
Suppose 4*q + 4*w - 12 = 0, -5*q + 13 = -2*q + 2*w. Suppose 2*r = 4*f + q*r - 38, -3*f + 3*r + 15 = 0. Solve -f*b + 6*b = -0*b for b.
0
Suppose 18 = -9*r + 10*r. Let w be (-4)/(-36) + 268/r. Solve 10*j - 15 = w*j for j.
-3
Suppose 15*h - 15 = 10*h. Suppose -2*s - h + 9 = 0. Let f(w) = -2*w**3 + 6*w**2 + 2*w + 3. Let u be f(s). Solve 0 + u = -3*r for r.
-3
Suppose -2*q = d + 15 - 61, 3*d - q = 166. Solve -d = -24*u + 78*u for u.
-1
Let z = 5573 - 5559. Solve z*f = 3 + 53 for f.
4
Let j be 12/(-1)*187/68. Let v = -24 - j. Solve -12 = f - v for f.
-3
Suppose -4829 + 1509 = -664*x. Let m be (6/4)/3*12. Solve -x*z + 9 = -m for z.
3
Let r = -16424 - -16457. Solve -3*n - 8*n = r for n.
-3
Let w(z) = -z**3 - 33*z**2 - 33*z - 32. Let b be w(-32). Suppose f + 18 - 54 = 4*c, b = 5*c. Suppose 8*x = 14*x - f. Solve -2*y + 0 = x for y.
-3
Let q = -26133 - -26331. Solve 30*o = -q + 48 for o.
-5
Let i = -753 + 757. Suppose 28 = 5*y + 3*b, 4*y + b = 5*b + 16. Suppose 0 = -g - y*g. Solve 0 = -g*a - 4*a + i for a.
1
Let s(k) = 10*k - 64. Let c(w) = 9*w - 66. Let v(z) = -6*c(z) + 5*s(z). Let f be v(18). Suppose -7*h = -3*h - 68. Solve 3 = f*a - h for a.
5
Suppose -2*k = -4*f - 86, 3*k = 5*f + 99 + 29. Suppose k = 2*n + 37. Solve 4*m + 12 = -n*m for m.
-2
Suppose 24 = 5*z + 14. Let b be (-14)/21 + z/3. Suppose -3*u + 29 = -9*w + 5*w, w - 64 = -4*u. Solve 5*f + b*f = u for f.
3
Let d be 42*2/(-1)*(-10)/4. Suppose -d*w + 2 = -208*w. Solve -k - w = -0*k for k.
-1
Let l = 206 - 103. Suppose -337 = -20*q + l. Solve 0 = 6*a - q - 2 for a.
4
Let p(s) = 4*s**2 - 21*s + 115. Let o be p(14). Let y = o + -602. Solve -y*z = -6*z - 9 for z.
-3
Let m = 1 + -1. Let z be 2*(-63)/6 + m. Let y = z - -22. Solve 9 - y = 2*g for g.
4
Let z be 20 + -1*1/(-1). Let d(j) = 2*j**2 - 117*j + 645. Let u be d(6). Solve z*v = 24*v - u for v.
5
Suppose 30*s + 2*s - 532 = -6*s. Solve 5 = s*a - 9 for a.
1
Let b(v) = 2*v + 0*v - 4 - 12. Let x be b(6). Let c be ((-2)/x)/((-17)/(-102)). Solve -t + 7 = c for t.
4
Let d be 7/((-84)/(-15))*4. Suppose 0 = x + 2*b - 10, 5*b - 17 = -3*x + 8. Solve -d + x = -t for t.
5
Suppose 2*n + 12 = -0*n. Let y(m) be the second derivative of m**4/12 + 2*m**3/3 - 4*m**2 - 46*m. Let k be y(n). Solve 5*o = 6 + k for o.
2
Let u(b) = b**3 + 7*b**2 - 4*b. Let n(r) = -r - 15. Let x be n(-8). Let k be u(x). Solve -5*y = -12*y + k for y.
4
Let n(o) = -2*o**2 + 9*o - 2. Let h be n(4). Suppose 0*j + 15 = j. Let w(t) = -t**2 + 2*t + 5. Let g be w(0). Solve g*p = h*p + j for p.
5
Let t(c) = -c**3 - 7*c**2 + 5*c - 20. Let z = -735 - -727. Let s be t(z). Solve 0 = -4*b - s - 4 for b.
-2
Let g(t) = -t**3 - 14*t**2 + 16*t + 18. Let o be g(-15). Suppose 182 - 425 = o*y. Let c = y - -81. Solve -3*l = -c*l for l.
0
Let n(a) = 3*a - 3. Let l be n(9). Suppose i + l + 11 = 0. Let x be (-10)/i + 410/35. Solve -4*w = -w - x for w.
4
Suppose 3*m + 4*x = 33, 2*m + 2*x - 22 = 5*x. Suppose m*v + 3 = 14. Solve -3*r = -7 + v for r.
2
Let g = 2463 - 2400. Solve -773*i = -782*i + g for i.
7
Suppose 182*h - 187*h - 2787 = -4*p, -5*h - 35 = 0. Solve -p = -4*v - 712 for v.
-6
Suppose 186*r - 471 = -417 + 1434. Solve -w - 63 = r*w for w.
-7
Suppose 0 = a + 51 - 49. Let c be (-2)/4*(a + -12 - -6). Solve 0*k + c*k - 20 = 0 for k.
5
Suppose -3*f = t + 1 - 17, 8 = -t + 3*f. Suppose -c - 3*c = p - t, 3*p - 3 = -3*c. Solve 5*d + 4*d = p for d.
0
Let l = -105 + 160. Solve 0 = 46*c - l*c for c.
0
Suppose 18 = 2*f - 5*l, 4*l + 12 = 3*f - 15. Let b be 3 + (-38)/57*f/2. Solve b = -6*z + 6 - 0 for z.
1
Suppose -4*t = 2*h + 2*h + 4, t = -3*h - 11. Let u(q) = 5*q**2 - 4*q - 5. Let z be u(-1). Suppose w = -4, 0 = -c - c - z*w + 22. Solve -t*v + c = 3 for v.
4
Let b(t) = -2*t - 2. Let l be b(-2). Let h be 0/(8/(-24)*(-5 - -8)). Suppose h = l*d + 5*j + 4, 3*d + 5 = 2*j + 18. Solve 7*r + d = 4*r for r.
-1
Suppose 33 - 9 = 6*f. Suppose 0 = -5*n - 25, -3*t - f*n = -n. Solve r = -t + 6 for r.
1
Suppose 0 = -0*b - 2*b + 32. Let z be 61 - (44 - 1931)/(-37). Solve -6 = -b*g + z*g for g.
1
Suppose 5*l + 485 = 5*s, s - 2*l + 230 = 332. Solve -25*i = -2*i - s for i.
4
Let t = 78 - 44. Suppose -30 = -2*a - t. Let g be 184/56 - (12/(-7) - a). Solve n = -g*n for n.
0
Let w(p) = p**3 - 10*p**2 + 15*p + 13. Let x be (-3)/(-2)*(-64)/(-12). Let v be w(x). Solve -v*z + 6*z = 0 for z.
0
Let f(w) = w**2 + 15*w - 13. Let x be f(-17). Suppose -4*l + x = o, -2*o - 5*l = -20 - 25. Solve -5*y = -o + 15 for y.
2
Let b be 7 - 605/88 - 875/(-40). Solve -b*g - 14 = 8 for g.
-1
Let s be 1416/10 + ((-6)/(-15) - 1). Let c = s - 134. Solve c*f - 2*f = 10 for f.
2
Let f be (-11)/(-3) + (-14)/21. Let l = -3495 + 3525. Solve -33 = -f*o - l for o.
1
Suppose 486 = -3*w + 609. Solve -11*p + w = -14 for p.
5
Let i be -4 + (-10)/15*(-18)/4. Let a be ((-32)/(-6))/((-2)/6*i). Solve 5*u - 33 = a*u for u.
-3
Suppose 9*m - 5*m - 20 = 0. Suppose -q + 2 = k, 4*q + q - m*k = 30. Let g(u) = u**2 + 9*u + 22. Let l be g(-6). Solve 2*h = q*h - l for h.
2
Let q = -147 + 152. Suppose 7 + 8 = 5*u - q*l, 2*l + 16 = 4*u. Solve 0 = u*s + 11 + 14 for s.
-5
Suppose -60 = -30*k + 18*k. Suppose v + 2 = k*z + 1, 0 = 2*v + 2. Solve z = 2*u - 5*u + 3 for u.
1
Let j = 9905 + -9590. Solve -52*p = 11*p - j for p.
5
Let n be 2/12 - ((-20209)/(-42) - -4). Let q = -481 - n. Solve -q*j = -8*j + 8 for j.
2
Let s = 7830 - 7823. Solve -23 = -