2*o + 3*n + t for o.
-1
Suppose 0 = -4*r - 5*x + 63, -4*x - 615 + 608 = -5*r. Solve 5*s = -4*p - 12, -12*p = -r*p - 3*s - 22 for p.
2
Let k(c) = -116*c + 4 + 96*c - 17. Let r be k(-1). Solve r = -g - w, 5*g - w = 2*g - 1 for g.
-2
Let x(o) be the third derivative of o**4/12 - 31*o**3/6 + 5*o**2. Let v be x(15). Let l be v*(-2 - -4)*-1. Solve -k = 2*h + l*h - 10, h = -5*k + 12 for k.
2
Suppose -10*z + 8 = -8*z. Suppose -m - 2*o + 12 = -z*o, 0 = -5*m - o + 38. Let d be (11/(-1))/(1 + m/(-4)). Solve 3*p - u = d, 5*u - 2 - 3 = 0 for p.
4
Let o(y) = 7*y**3 - 78*y**2 + 12*y - 9. Let w be o(11). Solve -4*f + 4*g - 4 = -0*g, -7 = w*f + 3*g for f.
-2
Suppose 4*h - 222 = 2*w, -4*h + 6*h - 93 = -5*w. Let q be (h/6 + -8)/(2/6). Let t(f) = 2*f - 4. Let b be t(4). Solve 0 = -b*j - 2*c, 4*j - q*c + 9 = -11 for j.
-2
Suppose 0 = -2*q - 4*p - 28, -2*q - p + 863 = 870. Suppose -3*n - 4*z = 2*n - 28, -2*n + z = -6. Solve 2*g + q = 5*o + 16, 0 = n*g - 5*o - 12 for g.
-2
Let d = 348 + -345. Solve -g = d*s - 7 - 5, -g = 5*s - 18 for g.
3
Suppose 476 = 23*z - 6*z. Solve 5*p + z = 2*o + p, 3*o + 2*p = 10 for o.
6
Let i = 323 + -443. Let a be (-3 + -2)/(i/96). Solve -4*p - 4*x + 5 = -3*p, -4*p - a = 4*x for p.
-3
Let j = -17526 + 17529. Solve j*t = 3, -5*w + 20 = -2*t + 7 for w.
3
Suppose -10*m = -8*m + 42*m - 1056. Solve 4*w = 4*i, -5*w + m - 18 = -2*i for i.
2
Let s(c) = -353*c - 4. Let z be s(-1). Suppose 120 + z = -7*f. Let v = -64 - f. Solve 0*n + 30 = 5*p + v*n, 4*p - 7 = n for p.
3
Let q(l) = 23*l + 1361. Let z be q(-59). Solve 18*s - 17*s + n = 2, 0 = 2*s - z*n + 20 for s.
-2
Suppose -5*h = -4*h - 165. Let i = h - 264. Let q = 99 + i. Solve -4*f = 3*g + 24, -7 = g + f - q for g.
-4
Let p be 12/(-15)*6*-5. Let h be 78/p*8/1. Suppose 5*s = -6 + h. Solve -2*t + s*b = 8, -4*t + 7*b - 7 = 2*b for t.
2
Let d(c) = -7*c + 48. Let n be d(6). Suppose -n*l = -2 - 10. Let z be (-66)/(-10) + 3/(-5). Solve -z = l*v + 4*r, -6 = -0*v + 3*v + 5*r for v.
3
Let j(p) = 28*p**2 - 59*p + 60. Let v be j(1). Solve -5*s - v = k, 2*s + 0 = 3*k + 2 for s.
-5
Let h be ((18 - 245) + 1 + 2)/(-1). Let p = h + -221. Solve 6 = 2*d - p*f, 3*d + 4 = -2*d - 2*f for d.
0
Let k = 210 - 198. Suppose -4*r - k = -4*m, -4*m + 0 = -2*r - 12. Solve 0*g + 12 = -m*g, 5*g = 5*c - 35 for c.
3
Suppose 26*a - 71 = 553. Suppose -r + 2 + 21 = 3*q, -4*q + 5*r - 1 = 0. Let h = -3 + q. Solve 0*f + a = -h*y - 3*f, 5*y + 2*f = -25 for y.
-3
Suppose 3*v = -2*x + 3*x + 131, 41 = v + x. Suppose -v*t = -45*t. Solve -2*g + 5*g - 5*c = 22, -4*c - 8 = t for g.
4
Let q(l) = l**3 + 53*l**2 + 55*l + 162. Let z be q(-52). Solve 0 = -u + 4, 0 = b - 3*u + z*u - 10 for b.
-2
Suppose -3*z + 48 = -5*g, -4*g + 33 = -2*z + 65. Suppose -78*r = -79*r + z. Solve 0 = -4*o + 2*y - r, -4*o - 30 + 10 = -3*y for o.
-2
Let r = 316 + -170. Let h = r + -137. Solve 0 = -5*u - k + 24, 0 = 3*u + k - 23 + h for u.
5
Let w(l) = 4*l**3 - 4*l**2 - 2*l + 18. Let h(g) = g**3 - g. Let a(p) = 5*h(p) - w(p). Let i be a(-3). Solve i = 5*c + 2*x + 21, -c - 4*x + 3 = -6*c for c.
-3
Let i(b) be the second derivative of -9*b**3/2 + 10*b**2 + 6*b. Let k be i(-2). Let w = k + -72. Solve -w*s - x - 5 = 0, -2*s - 3*s + 3*x = -15 for s.
0
Let o = 844 - 839. Suppose -2*i = o*f - 13, f + 5*i - 1 = -f. Solve f*x = 4*x - 5*d + 22, 0 = 3*x - 4*d + 11 for x.
3
Let x(g) = 86*g**3 - 257*g**2 + 3*g - 7. Let c be x(3). Solve -8*j + 5*z - 10 = -c*j, 2*z - 18 = -4*j for j.
5
Suppose 251*w = 1887 + 4405 + 1238. Solve 2*z = -3*m + 20, 3*m + 2*m - w = 0 for z.
1
Let b = -13799 + 13813. Solve -10*f + b*f - 3*q = 4, -4*f - 5*q - 28 = 0 for f.
-2
Let m(k) be the second derivative of k**4/12 - k**3/2 + k**2/2 - 13*k. Let g be m(6). Suppose 4*p + g = 27. Solve 2*r - 1 = -w, -p*w = 4*r - w - 7 for r.
3
Let i be (-54)/(-11) - (1704/132 + -13). Solve 2*z = t - i*t - 26, -4*t + 3*z - 31 = 0 for t.
-7
Suppose 490*t - 3248 + 758 = -8*t. Let o(l) = -2 - 2 - 5*l + l. Let g be o(-6). Solve q + 5*k - t = 0, g = 5*q - 4*k - 5 for q.
5
Let i be ((-2)/38)/((-20)/380)*2. Solve -c + 2*s - 7 = 8, -i*s - 5 = 3*c for c.
-5
Suppose 18*a = 4734 + 2448. Let g(c) = -a*c**3 + 400*c**3 - 3*c**2 - 2 + c**2 - c. Let y be g(3). Solve -3 = -2*r + y*m - 5, -5*m - 5 = -5*r for r.
3
Suppose 161*r - 162*r + 40 = 4*v, -8 = 4*r - 5*v. Solve 2*j - 2*g = 12, -r*g = 5*j - 7*g + 6 for j.
0
Suppose 2 = -2*w + 4*s - 9*s, 3*s - 10 = -4*w. Solve 2*d + 3*y - 6 = 0, w*d - 4*y + y = 12 for d.
3
Suppose 7*l + 227 = 353. Solve -15*x = -l*x + 3, 2*y - x + 11 = 0 for y.
-5
Let z(y) be the second derivative of y**5/20 - 11*y**4/6 - 4*y**3 + 25*y**2/2 - 35*y. Let h be z(23). Solve -2*u - p = p + 10, h*p = -10 for u.
0
Let j(u) = 9*u**2 + 17*u. Let g be j(-2). Let s(f) = -f**2 + 2*f - 3. Let q be s(-3). Let p = -8 - q. Solve c + 0*c = 3*l - g, -5*l + p = 5*c for c.
1
Let i(m) = m - 23. Let o be i(25). Let z(n) = 5*n**2 - 3 + 5*n**3 - 2 - 13*n**o - 6*n**3 - 8*n. Let r be z(-7). Solve r*k - 6*k - 3*p = 0, -5*p = k for k.
0
Suppose 4*c + 36 = z, -2*z = -0*z - c - 51. Let n be z*(23/2 - 4). Suppose -10*l + 0*l + n = 0. Solve 2*k - 2*q - 1 = 11, 2*q = 4*k - l for k.
3
Let x = 9248 - 9243. Solve -4*g + 16 = u + 12, -x*g = u - 4 for u.
4
Suppose -5*p + 28 = -4*j, -4*j - 16 = -30*p + 28*p. Solve 226*q = 4*x + 230*q - 24, 16 = 4*x - p*q for x.
5
Let s be ((-36)/(-126))/(12/(-18)*(-3)/28). Solve -s*b - 6*g + 2*g = -28, -5*b + 19 = g for b.
3
Let x = -820 - -548. Let u be 6/27 + x/(-72). Solve -2*b = z - b + u, 5*z + 3*b + 20 = 0 for z.
-4
Let p be (-1 - 1/1) + 712/178. Solve r + 4 = 0, -a - p*r - 207 + 203 = 0 for a.
4
Suppose -3*a - 4*n - 314 + 313 = 0, a = -n. Solve 5*h - 43 = 3*r, -3*r - r - 5*h = -a for r.
-6
Let n = 6629 - 6627. Solve r = 2*r - l - 4, 5*l - 1 = -n*r for r.
3
Suppose 0 = 3*c + 33*d - 32*d - 35, 2*c - 2*d - 34 = 0. Suppose 0 = c*o - 0 - 26. Solve -2*h - 4 = -o*n, -4*h = -2*n - 5*h + 4 for n.
2
Let h(q) = -q**2 + 11*q - 2. Let i be h(5). Suppose -5*a - i - 47 = 0. Let d(r) = r + 25. Let c be d(a). Solve z = -5*o + 4*z - 11, 4*o + c = 3*z for o.
-1
Suppose 1069 = 7*s - 107. Let t = s + -166. Solve 0 = 3*g + t*o + 12, 2*g + o + 1 = 3*g for g.
-2
Let j(g) = 3*g**3 + 28*g**2 + 9*g - 2. Let b be j(-9). Let w be b/(-16) + (-1054)/(-272). Solve r - 3 = -o + w, -5*o + 5 = -5*r for o.
4
Let d be (2 - (-6 + 8))*7/(-14). Solve 2*b + 4*o - 22 + 0 = d, -3*o = -15 for b.
1
Suppose -g - 6*g + 133 = 0. Suppose -m + g = 17. Solve -2*s = q - m*q + 4, 4*q = -3*s - 6 for s.
-2
Let v = -6 + 11. Let o be (8/(-6))/((-11)/(-1023)). Let d = o - -126. Solve 4*b = -v*m - 16, -b + d*b + 5*m + 19 = 0 for b.
1
Suppose -o - 7 = -3*f, 0 = -3*f - 0 + 12. Solve -4 = l + z + 3, 2*z + 29 = -o*l for l.
-5
Let t = 3532 + -3527. Solve 4*a = -2*i + 16, -2*i + t*i + 3*a - 15 = 0 for i.
2
Suppose 150*j - 151*j + 14 = 0. Let d(t) = -8*t + 121. Let q be d(j). Solve 2*s + 3*o = q, 6*s + 25 = s + 2*o for s.
-3
Let q = -10542 + 10561. Solve -5*i + 0*b + q = -b, 3*i - 8 = 4*b for i.
4
Suppose -2*o - 7*o = -234. Suppose 4*v = 5*i + o, -v + 5*i - 6 = -5*v. Solve -4*p = 3*r + 19, -5*p + v*r = 2*r + 18 for p.
-4
Let u be (-7 + 7)*23/(-46). Solve u = -3*m + 2*r - 21, 0 + 20 = -m + 5*r for m.
-5
Suppose -3*v - 3*k + 15 = 0, -2*k - 16 = -2*v + 2*k. Let r be 16/v*3/2. Suppose -8 = -r*g + 2*g. Solve 3*s = -12, g*s = -a - 2*a - 16 for a.
0
Suppose -5*q + 31 = -2*g - 162, 4*q = 2*g + 192. Let k be (1/(-2) + 1)/((-11)/2156). Let n = g - k. Solve 6*a + n*p = 2*a + 32, 0 = -5*a - 2*p + 31 for a.
5
Let j be 1505/15 + -2*(-1)/(-6). Suppose -18*s + j + 80 = 0. Solve 0 = 2*n + t - 0*t - s, -3*n + 22 = 5*t for n.
4
Suppose 3*j = -2*p + 13 - 14, -3*p - j = -9. Solve -3*a + 32 = -4*l, 2*a - p + 11 = -3*l for a.
4
Let a = -20 + 14. Let q(u) = -u - 8. Let k be q(a). Let i be (k/(-5)*1)/(17/170). Solve 2*v = 2*n - 4*n + i, 40 = -5*n + 5*v for n.
-3
Suppose 2*l - 51 = -15*l. Let y(n) = 2*n**3 - 5*n**2 + 7*n - 6. Let d be y(l). Solve d - 10 = 4*a + 2*f, a - 2*f = -9 for a.
1
Let a(g) = 3*g**2 + 5*g - 72. Let x be a(-6). Solve -4*b - 2*w = x, 9*b = 4*b + 3*w - 24 for b.
-3
Let g(l) = -9*l**2 + 7*l - 3. Let x(k) = -2*k**2 + k - 1. Let o(d) = -g(d) + 3*x(d). Let y be o(2). Solve -y*s - 3*t = 0, -11 = 4*s - s + 5*t for s.
3
Suppose 22*a - 88 = 11*a. Suppose 0*c - 10 = -c. Suppose -a*g - c = -10*g. S