u + 23 for u.
4
Let x(w) = -2*w**2 - 130*w - 483. Let a be x(-61). Solve 3*v + 13 = t, 6*v - 17 = 5*v - a*t for v.
-3
Let c be 15 + 0 - (-13 - -3)*-1. Solve 0 = 2*d + 4*r + 14, 4*d - 56*r - c = -53*r for d.
-1
Let y = 314 - 305. Suppose -5*j + y = 2*b - 4, 4*j = -b + 5. Solve -l + 2*d + b = -2*d, 5*d = 2*l - 12 for l.
1
Let x be (-16 - 135/(-9))*0. Solve 2*k = x, 20*y + 3*k - 4 = 24*y for y.
-1
Let q be (4 + -2)/(4/22). Let a be 2/(-12) - (2299/(-66))/11. Solve r + 0*m = a*m + 5, -m = -5*r + q for r.
2
Let h(k) be the first derivative of 11*k**2 + 2*k + 20. Let o be h(1). Suppose 26*m + o = 29*m. Solve i - 3*n = 9 + m, 1 = -2*i - n for i.
2
Suppose -85*v + 99*v = 0. Solve 0*l + 4*k = -2*l + 6, 4*l + 4*k = v for l.
-3
Suppose 0 = -66*z + 53*z + 169. Solve 0 = 3*x - 5*h + 4 + z, -3*h = x - 13 for x.
1
Let i(p) = -p**3 + 4*p**2 + 8*p + 6. Let v be i(-3). Suppose -v*t = -43*t - 6. Solve 5*z = 5, 2*y - t = -z + 6 for y.
4
Let y be 42/35 + -1 - 368/(-10). Let s be (35 - y)/((-8)/3 - -2). Solve s*p - 12 = i, -3*i + 6 = 4*p - 10 for i.
0
Suppose -732 = 8*y + 508. Let h = 159 + y. Solve -h*d = -5*s - 19, d = -2*s - 0*d - 5 for s.
-3
Let q(j) = -5*j - 40. Let z be q(-9). Solve -3*a = -4*d + 11 - 15, 3*a = -5*d - z for d.
-1
Let q = -1 + 3. Suppose 5 = -i, -5*b - 20 = -2*i - 55. Solve b*j = -c + 11 + 19, -2*c = q*j - 20 for c.
5
Let s be (-11)/(-44) + 158/8. Suppose -2*r = -4*w + s, 3*r - w = 4*w - 25. Solve -4*j + a - 12 = 0, -j + 4*a - 18 + r = 0 for j.
-2
Let b = -4 - 20. Let h be 15*b/20*-1. Let n be (-1 - (-105)/45)*6/4. Solve -4*p + n*o = 5*o + h, 23 = -5*p - 4*o for p.
-3
Let u(x) be the third derivative of -x**6/120 - x**5/3 + 47*x**4/24 + 73*x**3/6 + 86*x**2. Let c be u(-22). Solve -4*s + c = -9, 2*w = -s + 10 for w.
3
Let a(w) = w**3 - 32*w**2 - 74*w + 307. Let m be a(34). Solve 2*h + 5*y - 14 = 0, 4*h + m*y = 107*y for h.
2
Suppose -5*w + 4*o + 35 = 0, -7*w - 18 = -8*w + 3*o. Solve 4*z - 5*n + 3 = 19, -z = -n - w for z.
-1
Let p be (((-1152)/8)/6)/((-16)/12). Solve -u + f + 6 = 0, u + f + p = -4*f for u.
2
Let j = -12900 - -12902. Solve -10 = j*a - 3*m, -3*a + 4*m = 2*m + 15 for a.
-5
Suppose -2*p - 4*c + 6 = -c, 10 = 2*p + c. Suppose -43*v + 40*v = -p. Solve -3*j - 2*z + 11 = 0, -4*z + 17 = 5*j - v for j.
3
Suppose 48 = -4*x - 3*o, 8 = x - 2*o + 20. Let k be ((-16)/(x + 14))/(2/(-1)). Solve k*q = -f + 20, -3*q = -f - 2*q - 5 for f.
0
Let w be 10/(-25) - (-2)/(-10)*-1972. Let s = w - 394. Solve s = 5*y - 10, 0 = 5*m + 2*y + 1 for m.
-1
Let v be ((552/20)/(-3))/((-6)/15). Suppose 2*x = -3*q + 16, 0 = 43*x - 38*x - q - v. Solve -o = x*i + 20, -3*o - 12 - 12 = 3*i for o.
-5
Suppose -3*j - 3 = -4*k - 2*j, -2*j + 12 = k. Solve 5 = -k*l + 3*m + 3, -2*l - 2 = 3*m for l.
-1
Let i(g) be the second derivative of g**5/20 - g**4/4 + 7*g**3/6 - 7*g**2 + 20*g. Let s be i(6). Let y = s - 99. Solve y = 3*v - 5*n, 2*n + 24 = v - 2*n for v.
4
Let b be (2 + -2 + -1 + 1)/(804 + -806). Solve -13*u - 3*y = -17*u + 12, -2*u + 5*y + 6 = b for u.
3
Let w = 364 - 321. Suppose w*p - 3*p - 160 = 0. Solve p*k + 4*c = 8, -3*k + k = -2*c + 12 for k.
-2
Let f = -3064 + 3199. Solve 0 = 5*m + 136*v - f*v - 5, -35 = -5*m + 5*v for m.
2
Let u(y) = -y**2 - 7*y + 2. Let j be u(-9). Let g be 9/(-4)*j/6. Let z be 165/g - (4 + -3)/2. Solve 4*c - 3*t = -t + 18, 4*c - z = 5*t for c.
3
Suppose 8*a - 22 = 10. Suppose -2 = -x - 3*g - 6, -4*x = -5*g - 35. Solve 16 = -x*l - 4*p, -2*p + 20 = a*l - 7*p for l.
0
Let j = 331 + -347. Let i be (-64)/(-10) - (0 + j/(-40)). Solve -10 = 5*r, 3*y - 4*r = i + 11 for y.
3
Let u be (13 - (-13 - -5))/3. Solve 0 = -5*g - u*a + 8*a + 27, -5*a = 3*g - 5 for g.
5
Let q be ((-111)/(-4))/((-189)/(-36) - 5). Let c = 131 - q. Let w(u) = -u**3 + 20*u**2 + u - 6. Let d be w(c). Solve -5*r + 29 = l, -5*l + 6 = -d for r.
5
Let c = 86 - 83. Let h be 432/90 - c/(-15). Solve 2*m + h = 3*l, -4*l + 4*m = -0*m - 12 for l.
-1
Let a = 40 + -44. Let h be (570/a)/5 - 10/(-20). Let c = 47 + h. Solve -4*y - 17 = -f, 2*f = 4*y + 3 + c for f.
5
Let m(c) = -c**3 - 104*c**2 + 106*c + 125. Let f be m(-105). Solve -f = -4*p + 17*a - 20*a, a = p + 2 for p.
2
Suppose 15*b + 6242 = 6302. Solve 4*g + 11 + 13 = 2*t, 0 = g + b for t.
4
Suppose -2*b + 0*b - 13 = -5*m, -5*b - 17 = 3*m. Let s be (-1155)/25 - m/(-5). Let y be (-24)/84 - s/14. Solve y = -4*o - 3*q + 2, q = 1 for o.
-1
Let r be (-336)/36*(-24)/14. Solve 3*h - 18 = 5*s + 17, -r = 4*s for h.
5
Suppose -3*u - 2*s = -2, -42*u + 40*u - 5*s - 6 = 0. Solve -u*f = n - 2, -4*f - 1 + 7 = 3*n for f.
0
Let o be 6 + 5/5 + 2. Suppose 0 = -2*i + i - 3*c - o, -19 = -5*i + c. Solve -i*w - 12 = -4*b, b = 2*b - 4*w - 16 for b.
0
Let n(i) = -19*i**2 - 608*i + 9. Let t be n(-32). Solve 3*s + 3*r + t = 0, 17*s - 3*r = 22*s + 21 for s.
-6
Suppose -4*n - 70 = 38. Let l(y) = y**2 + 30*y + 88. Let p be l(n). Solve -2*v + 6*x + 26 = x, x = v - p for v.
3
Suppose 7*p - 9*p = -3*q + 22, -5*q + 38 = -2*p. Solve 4*s = 4*w + 28, 0 = q*s - 7*s + 4*w + 3 for s.
5
Suppose -196*o = -202*o + 1272. Let j = o - 210. Let v(s) = 2*s. Let w be v(2). Solve 5*i + 15 = x, -j*i + w = -5*x - 13 for x.
-5
Suppose -163*c = -159*c - 12. Suppose -15 = -8*k + c*k. Solve -4*m + 4 + k = -3*j, m = 5*j - 11 for m.
4
Let c be -1 + 3 + (-2)/2. Let l(y) = y + 3. Let s be l(2). Suppose -9 - c = -s*v. Solve -n + v*n + 2 = 0, 0 = f + 3*n + 10 for f.
-4
Suppose 5*x + 0*x + 175 = 2*y, -3*y - 4*x = -228. Suppose -l - y = 7*l. Let h(o) = o**2 + 9*o + 14. Let r be h(l). Solve -3*q - 15 = -8*q, r = -3*v + 4*q for v.
-4
Let x = 2778 - 2775. Solve 2 = -z - x*o, 5*z - 12 = 9*o - 13*o for z.
4
Let p = 218 - 216. Suppose p*h = 3*o - 7, -5*o + 5 = -2*o - 4*h. Solve 2*q + 10 = -4*f, o*q - 5*f - 16 = 2*q for q.
1
Let v be (-34 - -94)*1*1/3. Solve 0 = 5*h + v*i - 25*i - 10, 0 = 3*h + 4*i + 15 for h.
-1
Suppose 44 = 4*i + 3*u, 105 = 5*i - 292*u + 302*u. Solve -5*r = -9*r + i*w - 36, 3*w - 24 = 3*r for r.
-4
Let d be 6/33 - (-62)/22. Suppose d*j - 48 = -5*j. Suppose 13*c = 11*c + j. Solve 3*a + c*u + 18 = -0*a, -u = -3*a - 2 for a.
-2
Let u be 4/(-6)*99/4*-6. Let n = u - 90. Let m(s) = 2*s**2 + 10*s - 3. Let h be m(-7). Solve 5*c - 5*v - h = 0, -3*v + 4*v + n = 3*c for c.
2
Let z(b) be the second derivative of -b**4/12 + 5*b**3/6 - 3*b**2 + 4*b + 5. Let t be z(3). Solve 0*k + 3*c + 8 = k, t = 5*k + c + 24 for k.
-4
Let m = -204 - -192. Let v be ((-20)/m + -2)*0. Solve 0 = 2*z + 10, t - 8*z + 3*z - 21 = v for t.
-4
Let o = -3596 + 3602. Solve 0 = -3*l - 3*x + 5*x - 14, 2*l = -2*x - o for l.
-4
Let f(u) = -u**2 + 9*u - 9. Let n be f(6). Solve 4*s - 4*r + 4 = 0, n*s - 4*s = -2*r - 12 for s.
-2
Suppose 4*t - 2*n - 16 = 0, t + 4*n = -4*t + 46. Suppose 13 = t*q - 275. Suppose 5*w = 8*w - q. Solve -z + w = 4*p - 3*z, -5*p + 19 = -2*z for p.
3
Suppose -c = -3*d + 26, -4*c + 6 = -2*d + 30. Solve -4*i = -d, -q + 2*q - 3*i = -9 for q.
-3
Suppose 0 = 10*q + q - 2321. Let s = q + -207. Solve 3 = 3*n - 9, n - s = 2*v for v.
0
Let f(y) = y**3 - 35*y**2 + 64*y + 70. Let b(j) = 3*j + 48. Let i be b(-5). Let x be f(i). Solve 2*d + 12 = x*h, 3*d = 5*h - 4 - 12 for h.
2
Suppose -n - 6 = -2, 3*n - 3 = -3*b. Suppose 10 = 4*w + 5*p - 10, 3*p = 5*w - 25. Let i be 2/10 + 114/30. Solve -i*q = -b*l + 3 + 1, -4*l - 5 = w*q for l.
0
Let x(p) = -p**3 - 65*p**2 + 195*p - 589. Let v be x(-68). Solve v*l - 22*l + 3*q = 5, -4*l = -5*q - 3 for l.
2
Let p = 308 - 296. Suppose -x + 5*g - 7*g = -5, -2*x - 2*g = -p. Solve 5*h + 2*n - x = 0, 0 = -5*h - 4*n - 0 - 1 for h.
3
Let i(s) = -s**3 + 4*s + 3. Let l be i(-2). Solve -3*j = -l*a - 12, -2*a + 13 = 4*j + j for a.
-1
Let f be 1182/(-15) - (-8)/(-40). Let v = f + 82. Solve 10 = 5*r + 2*d, -4*d = -v*r - 3*d + 17 for r.
4
Let u(h) = -5*h + 42. Let c(l) = -l + 1. Let n(b) = -6*c(b) - 3*u(b). Let z be n(7). Solve z = -4*v + y, 2*v + 2*y + 20 = -0*y for v.
-5
Let x be (-300)/220 + (-24)/(-66) - (-7 + 1). Solve 10 = -x*s - q, -2*s + q = s - 2 for s.
-1
Let q be 1/(-2)*(-14 - -10). Suppose -q*v = -4*i - 8, -3*i - i + 16 = 4*v. Suppose v*a = 3 + 13. Solve -m + 3*c = 9, 0 = -2*m - 2*c + a + 10 for m.
3
Suppose -2*o + 24 = 20. Let u = 6 + -18. Let h = 17 + u. Solve 0 = 5*s + o*t - 23, 20 = -0*s + 3*s - h*t for s.
5
Suppose -5 = -5*p, -4*v + 3*v + 7*p = 4. Solve 4*g + 1 = -x - v, 0 = -2*x - 3*g - 8 f