 - u for o.
1
Let o = -7953 - -7967. Solve 2*h = 3*z + 9 - o, -3*h = 12 for z.
-1
Let a = -13 + 17. Suppose 0 = 2*m + 3*w + 7, 6*m - a*w = 2*m + 36. Solve -2*q + 3*j - 10 = 0, m*q - j = q - 8 for q.
-2
Suppose 5*c = 3*g + 14, 2*g + c - 10 = -2. Let d(p) = p**2 - 10*p + 5. Let u be 2/(-2*1/(-11)). Let y be d(u). Solve y = 4*s - s + f, -4*s = -g*f - 18 for s.
5
Let p(a) = 12*a**3 + 121*a**2 + 6*a - 36. Let d be p(-10). Solve -3*w + 0*w + 14 = d*y, 4*w - 18 = -5*y for w.
2
Suppose 0 = -2*g + 3*g + 4. Suppose -57 = -16*b - 9. Let l be (g + b)/((-1)/3). Solve -r + 15 = -5*z, 4 = 5*r + l*z + 41 for r.
-5
Let b = 667 + -663. Solve 3*z - 10 = 2*q, 20 = -z - 0*z - b*q for z.
0
Suppose 0 = -90*v + 1830 - 384 + 354. Solve 0 = -19*p + 16*p + 2*k + 17, -5*k = 5*p - v for p.
5
Let j(h) = 8*h + 42. Let i be (-68)/14 - (-2)/(-14). Let s be j(i). Solve s*g - g + 3*k = 4, g = -5*k + 10 for g.
-5
Let v be (30/(-60))/(-1 + (1722/288 - 5)). Solve -13*s + 11*s + v = -4*g, -32 = 5*g - 3*s for g.
-4
Suppose 4*u = u - u. Suppose u = 3*h - 12 + 3. Solve h*a - 4*v = 11, -5*a - 1 = -2*v + 4 for a.
-3
Suppose 207*m - 703 - 2609 = 0. Solve -5*l + 2*k - m - 6 = 0, 5*l + 4*k + 16 = 0 for l.
-4
Let y(p) = 3*p**2. Let c(l) = 10*l**2. Let g(d) = -4*c(d) + 14*y(d). Let t be g(1). Solve 19 = -2*v + 7*s - t*s, 3*v - 14 = -s for v.
3
Let f be (0 - (-7 - (-380)/70)) + 6/14. Solve -m + f*m - 8 = 3*a, 0 = 3*m + 5*a + 18 for m.
-1
Let y(a) = 7*a**3 - a**2 - 4*a + 2. Let v be y(2). Let d = -40 + v. Suppose 7*h = -d*h. Solve 2*i + 27 = 5*s, i + h*i + 3*s = 14 for i.
-1
Suppose -i + 12 = -24*c + 20*c, 0 = -i - 2*c. Solve 3*v + a = -3, i*v - 2*a = 6*v - 2 for v.
-2
Suppose 0 = 6*d - 3132 + 3108. Solve 0*x - d = -x, -4*x = 4*w - 4 for w.
-3
Let d(u) = 23 + 28*u - 8*u - 9*u - 84. Let j be d(6). Solve -j*y = 10, -5*y - 5 = -x + 2 for x.
-3
Suppose 2*q + 26 + 73 = 35*q. Solve -2 = -q*f + d, -f - 6*d = -3*d + 6 for f.
0
Let t = -223 + 462. Let u = 242 - t. Solve -2*y = -u*y - 5*k - 21, 0 = -5*y - 3*k - 17 for y.
-1
Let i(p) = -2*p**2 - 10*p. Let d be i(-5). Suppose 78*w - 26*w - 780 = d. Solve 0 = u - 2*k - 5 - 4, -5*k = w for u.
3
Suppose -5*d - 2 = 2*t - 16, -3*t = d - 8. Suppose 0*r + a = 2*r - 8, -t*r + 8 = a. Solve -3*m - h = -4*m + 2, -r*h - 32 = 4*m for m.
-3
Let v be (0/((-56)/4))/(-2*1). Suppose v = -4*w + y + 72, -4*y + 54 = -0*w + 2*w. Solve -j = 5*k, k - w = -3*j - j for j.
5
Let n = -73 + 107. Suppose -3*y - n = 5*c, y + 3*c - 5 = -15. Let l be -2 + 143/y*1/(-1). Solve 0 = 2*d + q - 0*q - l, d - 1 = -4*q for d.
5
Suppose 7 = -b + 5. Suppose -3*c - 4*h + 41 = 0, 3*c + 2*h = 6*h + 25. Let v be 4*(b - c/(-4)). Solve 4*j - y + 16 = 2*y, -v*y = 0 for j.
-4
Let f(g) = -83*g + 2414. Let l be f(29). Solve -8*h = -2*y - 3*h - l, 3 = h for y.
4
Let c(t) = -t**2 + 24*t + 19. Let x be c(25). Let w be (x + (-240)/(-56))*14/(-2). Solve -j = -5*j - w, -u - 2*j = 11 for u.
-5
Let m(y) = 11*y**2 - 45*y - 121. Let x be m(6). Solve -j + x*t = 2, 2*t = 4*j - 4 - 6 for j.
3
Let x be ((-14)/(-21))/(2/(-42)). Let r = 5 + x. Let d be (84/r)/7*-3. Solve -u + 2*p + p - 11 = 0, -2*u + 8 = d*p for u.
-2
Suppose -3*l - 577 - 673 = -2*n, 4*n - 3*l = 2512. Suppose 6*y - n = -589. Solve 5*q - 4*c + 15 = -y*c, 0 = c for q.
-3
Suppose 5*d + v - 2 = -v, 0 = d - 2*v - 10. Suppose -707*s = -253*s + 218*s - 2688. Solve 33 = -5*y - d*z, s*z = -5*y + 8*z - 9 for y.
-5
Let w be (-2)/((126/(-35))/9). Suppose 2*z = -4*p + 24, -2*p + 9 = 2*z - w. Solve -4*q - p*m - 3 = -2*m, -5*q = 5*m + 10 for q.
3
Let m(y) = -6*y**2 - y. Let q be m(-1). Let t be 42/(-70) + (-13)/q. Let g = -4 + 6. Solve -t*v = -v - 3*a, g*a = 2*v + 4 for v.
-3
Suppose 39 = 71*b - 84*b. Let j be b*(2/(-6) - 6). Solve q = -l - 4, 3*q - 9 = 5*l + j for q.
1
Let b be (100/(-12) - -9)/((-26)/(-6) - 4). Solve 0 = -5*p + b*n - 23, 18 = -p - 3*p + 2*n for p.
-5
Let i = -3287 + 3294. Solve 4*j - 22 = -i*n + 8*n, -j + 2*n + 9 = 0 for j.
5
Let r(q) = -14*q**3 + 105*q**2 + 62*q - 3. Let k be r(8). Solve -3*l + k = 5*p + 63, l - 4*p = 28 for l.
4
Let v = -1422 - -1427. Solve 2*n - 2*k + 14 = 0, v*n = -0*n - 4*k - 17 for n.
-5
Let w(r) = -201 - 228 + 2*r + 413. Let u be 2 + (2 - -1*4). Let s be w(u). Solve 0 = -2*a - 0*m + 2*m - 10, 4*a + m - 5 = s for a.
0
Let s = 204 + -12. Let j = -188 + s. Solve 3*u - 2*q = 11, 5*q = -j*u + 2*u - 18 for u.
1
Let r(s) = 3*s**2 + s. Let j be r(-1). Suppose -186 + 762 = -16*d. Let c be 672/54 + d/81. Solve 4*y = -y - 2*u - c, -j*y = -5*u + 28 for y.
-4
Suppose -117*s = -113*s - 24. Suppose -4*z = 4*w - 20 - 16, -s = -2*w. Solve -3*f - 3 = -3*a, 2*a + z = 5*f + 5 for a.
2
Let u(a) = -2*a**2 + 6*a + 175. Let x be u(-7). Solve 0*j = -5*n + 5*j - x, -6 = 3*n + 2*j for n.
-4
Let u = 4187 - 4183. Solve 15 = 5*b, u*z = -b + 4*b - 25 for z.
-4
Suppose -3*v - 32 = -38. Suppose 0 = -s + v*u + 14, 4*u = -5*s + 11 + 31. Solve n - 17 = 5*l - 0*l, -4*l - s = n for n.
2
Let j be (4/12)/(1/36). Suppose -6 = 3*x - j. Let t be x - (9/3 - 3). Solve a + 6 = 2*n, 4 = 4*n - t*a + 4*a for n.
2
Suppose 0 = -5*l - 3*b + 40, 4*l - 5*b + 5 = -0. Suppose -11 = -3*i + x - l*x, -2 = -i - 3*x. Solve -5*n + u - i*u = -8, 5*u = 5*n + 10 for n.
0
Let b be 4/(-18) + ((-32)/(-216))/(2/3). Solve -26*l + 22*l + 2*y - 2 = 0, b = -4*l + 4*y + 4 for l.
-2
Let a = 3281 - 3278. Suppose -8 = m + m. Let i = 11 + m. Solve 2*s - 4*o = -3*o + i, a*s - 21 = 5*o for s.
2
Suppose -28 + 32 = 2*o. Let d be ((-21)/18 + o)*(-2 + 8). Let l = 14 - 10. Solve -d*f = l*g + 2, -f - 2*g + 6 = -2*f for f.
-2
Let w(l) = -385*l + 3. Let f be w(0). Solve 20*c = f*j + 24*c + 6, -4 = 2*j + 5*c for j.
-2
Suppose 12639 = -13*j + 13094. Solve -2*b = t - 2, -j*b = -39*b + 4*t + 28 for b.
3
Suppose 0*v - 3*v = -x + 9, 2*x = -6. Let r be (5/v)/(12/(-48)). Solve 0 = 2*w - z, 3*w - 4*w + 9 = -r*z for w.
-1
Let s(h) be the third derivative of h**6/120 + 3*h**5/10 + 11*h**4/8 + 3*h**3 - 12*h**2 + 3. Let k be s(-16). Solve 3*m = k*v - 3, -v - m + 0 + 4 = 0 for v.
3
Let f(l) = -l**3 + l**2 + 4. Let x be f(-2). Suppose -40 = -3*z - x. Suppose 4*w - 120 + z = 0. Solve 4*r = -3*t - 2*t - w, r - 14 = 4*t for t.
-4
Let s(o) = -o**3 - o**2 + 10*o - 5. Let a be s(2). Suppose m = -2*p + a*m + 12, 0 = 2*p + m. Solve -3*k = p*k, k = 4*y - 8 for y.
2
Suppose 64*k = -36*k + 431 - 31. Solve 2*b + 8 = x - 5*x, k*x = -4 for b.
-2
Suppose 0 = -11*p + 197 + 6667. Suppose 6*i - p = -624. Solve -r - 11 = b + b, i = 4*r - 4*b - 4 for r.
-3
Suppose -8*r - 3*f = -2*f - 33, -2*r + 4*f = -4. Solve 13*w - 8*w = r*t - 8, 4*w + 3*t = 6 for w.
0
Let h = 55 + -52. Suppose 3*g + 6*w - 2*w - 21 = 0, 4*g + 4*w = 32. Suppose -12*i = -g*i - 4. Solve 5*y - h*y = 5*x + 12, 4*y = i*x + 12 for y.
1
Let y be (-8)/36 - 61/9. Let r be -2 - y - 1*3. Solve -r*h = -c - 9, 5*h + 2*c + 8 - 35 = 0 for h.
5
Let t be 0/(16/((-144)/225)). Suppose -3*b = 5*u - 5 - 20, 0 = -b. Solve -3*p = k - 5, -3*k + t*k + 3 = u*p for k.
-4
Let j = 9032 - 9031. Solve -4*o = l - 11, -o - l - l = -j for o.
3
Let n(s) = s**2 + 2*s - 1. Let i be n(-4). Let z be 6 - (-7 + i + -5 + 9). Solve -3*a = z*g - g - 4, 3*a + 2 = -4*g for a.
2
Let m(v) = -21*v - 159. Let a be m(-8). Let h(r) = 2*r**2 - 15*r - 22. Let p be h(a). Solve 3*k + 2*n + 8 = p*k, 3*k + 4*n - 19 = 0 for k.
5
Let y be (-28 - -3)*4*2. Let q = y - -204. Solve 5*z + 3 = q*u, -1 + 0 = 2*u - 5*z for u.
2
Let l(q) = -q**2 + q + 56. Let y = -35 + 35. Let z be l(y). Let h = z + -53. Solve -4*w - 21 - 8 = -h*j, -4*w = -5*j + 35 for j.
3
Let i be 52/12*2*9/6. Suppose -i*v = -4*v - 18. Let m be 0 + 1 - (-9 + 9). Solve 3*g = 3*f - 9, 0 = 5*f + v*g + m - 2 for f.
1
Let c(w) = -w**3 - 17*w**2 - 15*w + 15. Let h be c(-16). Let z be (h/2)/(5 - 217/42). Solve -4*f + 4 = -4*a, f - a = -f - z for f.
-4
Let p be 3/(6/(-5))*(-28 + 26). Solve 0 = -d - p*n - 13, -5*n - 62 = 4*d - 40 for d.
-3
Suppose 4*a - k - 34 = 4, -5*a = 4*k - 37. Let m = -121 - -124. Suppose -6*x + 2*x + m*x = 0. Solve -2*s - s - h = 7, x = s - 3*h + a for s.
-3
Let r be (-147)/(-27) - (3 - 4 - (-78)/54). Solve 5*n = -5*l - r, -l + 2 = -n - 5 for n.
-4
Suppose 131*t + 53 + 42 = 488. Solve y + 8 = t*l + 1, -4*l = 5*y - 22 for l.
3
Suppose o - 3*m - 2*m = -472, -o + 3*m = 474. Let n = o - -479. Solve -4*h + 16 = -n*w, -4*h + 16 = 4*w - 5*w for w.
0
Let x(f) = -f**3 + 1