u = g, -i = -x + 4 for i.
-3
Let b(z) = -z**2 - 5*z + 1. Let r be b(-7). Let u = r + 15. Suppose -4*n + m + 1 = -9, -u*n - 2*m = 0. Solve 3*p - x + 3 = 0, -n = 2*p + 4*x - 0*x for p.
-1
Suppose 4*c + 40 = 14*c. Solve 0*s - c*s + 23 = u, -2*u + 2*s = 4 for u.
3
Let k = 1580 + -1578. Solve 5*z = -3*o - 16, 3*o + 4 = 2*z + k for o.
-2
Let z = 1726 - 1722. Solve -o + 5 = 2*m - z*m, -m = 4*o - 20 for o.
5
Let n be 6 - (2 - 3) - 2. Suppose y + n*l - 2 = 0, 4*y + l - 27 = 57. Solve 3*k = 4*f + y, 0 = f - 0 + 4 for k.
2
Suppose 5*m - 3*k = -38, 5*m - k + 33 = -3. Let y(b) = -b**2 - 5*b + 16. Let o be y(m). Solve 2*a + 3*x = o, 4*a = -a - x + 18 for a.
4
Let p(d) = d**2 + d**2 - d**3 + 0*d + d. Let u be (-3)/9*(4 + -1). Let q be p(u). Solve -z = -c, 0 = -c - q*c + 5*z for c.
0
Let v = -191 + 193. Solve -3*d = v*q - 1, -25 = -3*d + 3*q + q for d.
3
Suppose 0 = 4*u - 4, 4*u + u = c + 35. Let a = c + 30. Solve 0 = -0*h + 3*h + 15, 4*p + 4*h + 12 = a for p.
2
Suppose 3*u + 6 = 4*k, k = u + 3*u + 8. Suppose k = y + 4*o - 6, -6*o = y - o - 8. Let l = 6 + y. Solve 3*t + t + 6 = -5*b, 2*b = -l*t - 12 for b.
2
Suppose 2*t = 5*c - 16, -5*c = t + 4*t - 30. Solve -3*f + 18 = -2*q - f, -2*q - t*f - 2 = 0 for q.
-5
Let k = -39 + 109. Suppose 0 = s + 4*s + 4*d - k, 4*s = 4*d + 20. Solve 10*y - 5*y = -2*b - 23, 2*y = -s for b.
1
Let z(p) = 15 + 0*p + 4*p - 2*p - 9. Let n be z(0). Let t(s) = s**3 + 5*s**2 + 3*s - 4. Let m be t(-3). Solve 4*v + n*b + 20 = b, -v - m = -5*b for v.
-5
Suppose 5*d - 8*d + 24 = -5*y, 3*d = -3*y. Solve -d*s + 0 = n + 2, 2 = -n for s.
0
Let p be 2 + -2 + 2 + 3. Suppose -2*t = -6*t + 16. Let j be (-6)/(-21) - t/14. Solve 2 = 2*z - d, j*d + p*d = -z - 10 for z.
0
Suppose t + b = 227, 2*t = -3*t - b + 1123. Suppose 5*j - j = t. Let n be 6/4*j/21. Solve 2*v - 4*o + n = -0, -4*v + 3*o = 8 for v.
-2
Let n = -53 - -55. Solve w + 2*j - 10 = 0, j = -0*w + w + n for w.
2
Let n be (-64)/(-34) + (-4)/(-34). Solve 5*m + 18 = -n*l, m + 3*m = 2*l for m.
-2
Let i(b) = -3*b**3 - b**2 + b - 4. Let r be i(2). Let m = r - -35. Solve -2*g + 4 = 3*x, 5 = m*x - 0*g + 5*g for x.
2
Let k(w) = -w**3 - 6*w**2 + 14*w - 7. Let o be k(-8). Solve 0*i - 2*i - o = 3*a, -5*a - 3*i - 16 = 0 for a.
-5
Suppose t - 18*s - 2 = -15*s, -10 = -5*t - 4*s. Solve 3*x - 5*p + 34 = 0, -4 = -t*x - 2*p - 0 for x.
-3
Suppose -180*o = -181*o. Solve o = -5*i + 3*h + 8, -7 = -i - i + 5*h for i.
1
Let y = -178 - -181. Solve 0 = -g + 5*m + 5, 0 = -2*g + y*g + 2*m + 9 for g.
-5
Let a be 4/(16/4 + -8) + 4. Solve a*z - z = 3*n, 2*z - 4 = n for n.
2
Suppose -6*d = -12*d + 24. Solve a = -4*r - a + 4, d*a = -5*r + 11 for r.
-1
Let m(q) = -q**2 + 9*q - 2. Let a be m(9). Let c = 35 + -20. Let j be ((-93)/c)/(a/10). Solve 4*v = -3*f - j, 4*f - 2*v + 8 = v for f.
-5
Suppose 22*s - 34 = 32. Solve 3*c = 4*t - 3*t + s, 4*c = 4*t - 4 for c.
2
Let d(x) = 2*x - 8. Let h be d(4). Suppose h = 2*u + u - 3. Let g be (8 + -3)*u - 0. Solve -4*n - g*q + 1 = 0, -4*n - 2*q + 7 + 3 = 0 for n.
4
Let r = 133 - 129. Suppose -k - 4 = -4*t, 2*t + r*k = -t + 22. Solve i = -4*w + 23, -3 = -t*w - i + 10 for w.
5
Suppose 2*s = -4*g - 4, -s = -9*g + 6*g + 7. Solve -i = h + 5, 2*h = i - 6 - g for i.
-1
Suppose 12 = 5*m - 2*r, 0 = m + 2*r + r + 1. Solve -m*g = -n + 13, -4*g - 32 = 3*n - 7*n for n.
3
Let x(o) = -68*o - 733. Let s be x(-11). Solve -c - 7 = 2*q, s = -3*c - 6*q + 2*q for c.
-1
Let c(j) be the third derivative of j**5/20 + j**4/24 - 5*j**3/6 - 9*j**2. Let z be c(-3). Let v = -17 + z. Solve v*r - 2*x = -0 - 2, r = -3*x - 17 for r.
-5
Suppose 8 - 2 = 3*x. Let o = 813 + -813. Solve o = x*d - 2*u - u + 16, -3*d = 3*u - 6 for d.
-2
Suppose 17*t - 14*t = 15. Solve 0 = -t*a + 6*y - y + 5, -a = 2*y + 5 for a.
-1
Let l be 1*(34 - (-2 + 8)). Solve 10 = -i - i, -s - 5*i - l = 0 for s.
-3
Let r(h) = 35*h + 9*h**2 + 4 - 4*h**2 - 3*h**2 - 32*h. Let p = -5 + 3. Let f be r(p). Solve 0 = u - v + 2*v - f, 1 = -4*u + v for u.
1
Let f = 1804 - 1802. Solve 16 = 4*n, -11*y - f*n = -7*y - 20 for y.
3
Let m be ((-8)/12)/((-2)/(-150)). Let j be (m/30)/(2/(-24)). Solve 5*v + 7*d - 4*d - j = 0, 3*d - 11 = 4*v for v.
1
Let u = 160 - 156. Solve 4*x - u = -4*h, -7 = -h + 5*x + 18 for h.
5
Suppose 6*w - 6 = 5*w. Suppose 0 = w*o - 7*o. Solve o = -3*p - 2*g + 6, 7 = -p + 5*g + 26 for p.
4
Let t = -5 + 9. Let o(r) = 2*r**3 + r**2 - r - 3. Let x be o(2). Let n = -12 + x. Solve -z + 3*y + y + n = 0, -y - 22 = t*z for z.
-5
Let r(m) = -m + 5. Let w(i) = i + 11. Let f be w(-6). Let g be r(f). Let c = -149 - -149. Solve -4*q + 2*p = g, c*q + 6 = -4*q + 5*p for q.
1
Let l be 1/(-2) - (-99)/6. Let r = 10 - l. Let h = r - -10. Solve y + 5*t = -3*y - 20, y + h*t + 5 = 0 for y.
-5
Let n be (-7)/(21/(-18)) + 4. Suppose -v + n = 7. Solve -k + 3 = 0, 2*w = -w + v*k - 24 for w.
-5
Let f(w) = 5*w**2 + 45*w + 42. Let s be f(-8). Solve -3 = -s*u + j, -u + j + 2 = -0*j for u.
1
Suppose 0 + 12 = i. Let m be ((-9)/i)/(-1)*28. Let s = m - 18. Solve 1 = -5*a - q - 0, s*a + 3*q - 9 = 0 for a.
-1
Let y be ((-40)/(-4) + -4)/((-6)/(-4)). Solve -4*p - 36 = -y*n + p, 4*p + 12 = -n for n.
4
Suppose f + 3 = -3*u + 1, 0 = 4*u + f + 1. Suppose -u = -5*b + 14. Solve 3*y + 3*z - 9 = 0, b*y + y - 2*z = 0 for y.
1
Let d(a) be the second derivative of -1/3*a**3 - 5/2*a**2 - a + 0. Let u be d(-5). Solve u*q + 20 = -t, -3*t + 7*t - 4 = q for q.
-4
Let i be 10/8*(58 + -6). Let b = 6 + -2. Suppose -b*c - 5 = -i. Solve -3*f = -7*f + 3*l + c, -8 = -f + 5*l for f.
3
Let v(k) = -k**2 - 4*k + 2. Let n be v(-3). Suppose -5*f + 3*j = j, -j = -n. Solve f - 12 = -2*b - m, 28 = 4*b + 4*m for b.
3
Let z be 1 - -3 - (-2 - -3). Suppose -3*l + 33 = z. Suppose -62*u = 61*u - 120*u. Solve 5*b + u*f + f + l = 0, -4*f + 5 = 5*b for b.
-3
Suppose 18 + 46 = -4*d. Let p be -12*((-44)/d + -3). Suppose 3*r = 3*t - 12, 4*t + 1 = -3*r + p. Solve -k = 3*j - 2*k + 6, -3*j - t*k - 6 = 0 for j.
-2
Let q = 81 + -81. Suppose 0 = -4*a + t + 11, -4*a = -q*a + 2*t - 2. Solve a*c - 4 = -0*c + 3*i, 4 = -i for c.
-4
Let p(m) = 2*m - 7. Let i be p(5). Let z be -2*168/(-64) - (-1)/(-12)*3. Let u = 7 - 0. Solve 4*f - 3*j = u, z*j = i*j + 6 for f.
4
Suppose 0*h = 5*w + 2*h - 17, 15 = 4*w + 3*h. Solve -w*x + 3*m = -21, 2*x + m + 0*m = 8 for x.
5
Let g(k) = 3*k**2 + 6. Let c be g(4). Let b = 54 - c. Solve 5*d - 3 = -i - b, 3*d - 5 = i for d.
1
Let q be (6 + 2)/((-4)/(-2)). Suppose -q*i + 9 = -i. Solve 5*b - 16 = 2*c, 7*c - i*c = -3*b + 20 for b.
4
Let q be 0/(-1)*3/6. Let y(w) = 3*w**2 - 2*w - 2. Suppose 15 = -12*x + 3. Let k be y(x). Solve k*t - 11 = j, q = 2*t - 0*t - j - 9 for t.
2
Suppose -2*s - 7 = -4*z - 5*s, 4*s = 4*z - 28. Solve -5*v + 3*q - 2 = 3, -z*v - 2*q - 4 = 0 for v.
-1
Suppose 4*o - 160 = -o. Let a = o + -32. Solve 2*i - 4 = -2*v, a = -3*v + 2*v - 5*i - 10 for v.
5
Suppose 33*u + 3*j = 37*u - 9, 6 = 3*u - 2*j. Solve -3*c - 6*i = -2*i - 3, u = -2*i for c.
1
Suppose 457*u - 427*u = 90. Solve -u*w = 3*t + 6, 8 = -w - 3*t - 4 for w.
3
Let w be 64/24*6/4. Let i = 17 - -2. Let z = -16 + i. Solve -2*u + 6 = -g, w*g + u + z*u + 12 = 0 for g.
-4
Let w = 0 + 2. Suppose -3*j + 4*r = j - 8, 0 = j - 5*r + 10. Suppose j = -7*g + 145. Solve 3*a - 2*t = g, -a - w*t = -t for a.
4
Let b be (108/(-378))/((-3)/84). Solve -2*x - n - 9 = -b, -3 = -3*n for x.
-1
Let l(i) = 16 + 14 + i**2 - 12*i + 6. Let j be l(8). Solve 2*w - 4 = -j*q, -2*q + 6*q + w - 4 = 0 for q.
1
Let v(l) = l**3 + 11*l**2 + 22*l - 16. Let f be v(-8). Let a be (-18 - 7)*(-1)/5. Solve f = -x + a*u - 16, -3*x + 0*u = u for x.
-1
Suppose 33*c = 30*c + 12. Solve c*k + 3*p = 4*p + 14, 3*p = -2*k for k.
3
Let v(n) = n**2 + 5*n - 23. Let u be v(4). Let l be 0 + (-4 - u/(-1)). Solve -3*r - 3*y = 12, 25 = 2*r - 4*y + l for r.
0
Let j(t) = t - 5. Let s be j(3). Let a be s*(-12)/(-8)*-1. Solve -5*i + 20 = -z, 0 = a*i - i + 3*z - 25 for i.
5
Let w(m) = m**2 - 2*m - 4. Let g be w(4). Let a be (0 - (-9)/(-6))/(10/(-20)). Solve 19 = u - 4*p, a*u = g*p - 1 + 26 for u.
3
Let q = 187 - 184. Solve 4*s - 4*j - 16 = -0*j, 4 = q*s - j for s.
0
Let n be ((-12)/2)/(72/(-48)). Solve -n*v - 32 = -4*m, 4*v - 2*m = -4*m - 2 for v.
-3
Let p = -4304 + 4318. Suppose -b + 5*b = 4*m - 8, 0 = 2*b + m - 11. Solve b*x + y + 1 = x, p = -3*x - 4*y for x.
2
Let i(w) = 10*w + 98. Let p be i(-9). Solve 3*g = -z