- z = 0, k*i + 29 = -5*a for i.
-1
Let d(o) be the first derivative of o**3/3 + 5*o**2/2 + 7*o + 4. Let j be d(-4). Solve 5*h - 22 = -c, -3*c = j*h + 2*c - 22 for h.
4
Suppose -28 = 2*o - 6*o + 4*m, 0 = -5*m - 5. Let a be o + (-30)/8 - (-1)/(-4). Solve -2*k + j = -a - 6, -k + j = -5 for k.
3
Suppose 3*f + 3*a = 9, 38*a - 34*a = 4*f - 20. Solve -5*o + h + 25 = 9, f = -2*o + 3*h for o.
4
Let c = -4 + 7. Suppose 0 = 25*s - 59 - 66. Solve z + o + 0*o = -c, 2*z - s*o + 13 = 0 for z.
-4
Let a(g) = -g**3 + 28*g**2 + 59*g + 35. Let y be a(30). Solve -n + 3 = -b + 4, -y*b = -n - 17 for n.
3
Let o = 3 - -1. Let u(g) = g**3 - 3*g**2 - 5*g + 7. Let a be u(o). Solve -5*k + 4*x = -25, k - 2 = -5*x + a for k.
5
Suppose 4*w + 12 = 2*t - 0, -4*t = -4*w - 16. Solve -2*r - 3*n = 17, r - t*n - 2 = -0*r for r.
-4
Suppose t = 26*t - 100. Solve t*c = 2*s + 4, -2*s + 8*c - 4 = 7*c for s.
-2
Let q(y) = y + 8. Let t be q(5). Let k = -8 + t. Suppose 23 = 6*r + k. Solve 0 = -c - 6*n + 5*n, 5*n = -r*c + 8 for c.
-4
Suppose 3*w - 3 = 2*w. Suppose 90 = -6*t + 24. Let n = 14 + t. Solve 5*m + 6 = w*i - 5, n*m = 5*i - 13 for m.
-1
Let z = -595 + 599. Solve -2*y + 16 = -3*t, -4 = -t - 0*t - z*y for t.
-4
Suppose 4*r - 11 = 6*n - 3*n, -2*r = 3*n - 19. Solve 5*g + 8 = 4*h, -n*g - 5*h + 0*h = -10 for g.
0
Let c be (1/2)/(-8 - (-539)/66). Solve -4 = n, -2*b + 4*n = c*n for b.
-2
Suppose 3*b = b + 2. Let x = b - 1. Let h(z) = z**2 + 16*z + 32. Let v be h(-14). Solve -2*m + 4*u - 26 = x, v*m - 3*m + 4*u = 11 for m.
-5
Suppose -3 = 3*t - 5*z + 22, 2*t + 5 = z. Solve t*b + 13 = u + 5*b, -2 = -b for u.
3
Let y be 10/(-1) - (-90)/9. Solve y*q - 2 = 5*q + 3*t, -2*t + 6 = -4*q for q.
-1
Suppose 5*c = -2*s - 0*s - 13, -4*s - 5*c - 11 = 0. Let o be s + 1 + -4 + 4. Let v = 8 - 2. Solve -u + v*u - 2*q + o = 0, 12 = -3*q for u.
-2
Suppose 2*n + 2 - 8 = 2*t, 0 = -5*t + 10. Solve 4*j + o = -19, -21 = -0*j + n*j + 4*o for j.
-5
Let u(t) = t**2 - 2*t - 10. Let q be u(5). Suppose -w - 2*w + 22 = 5*v, -q*w = -v - 46. Solve 5 + 7 = g + 5*h, g + w = 2*h for g.
-3
Suppose 2*r - 3*r + 4 = 0. Suppose 5*z = -r*t + t - 6, 3*t = -z - 6. Solve 3*o = -1 - 2, z = 4*n + o - 11 for n.
3
Let o be -3 + -2 + 6 - 2. Let p be o*(4 - -4)/(-2). Solve -v = m + 2*m + 8, -12 = p*m for v.
1
Let v = 12 + -10. Let u be 6/v + (0 - -2). Solve -3*h + 2*h - 11 = u*t, 2*h = 5*t + 8 for t.
-2
Let x(w) be the first derivative of -w**4/4 - 2*w**3 - 3*w**2 - 2*w - 1. Suppose -4*k = k + 25. Let y be x(k). Solve 3*z + 6 = -5*r, -1 + y = -r - z for r.
0
Suppose 3*g = -3*g + 12. Suppose -4*n - x + 9 = 0, 4*n - 9 = -3*x + g. Solve -n*c = -2*y - 2, c + 4 = -c + 4*y for c.
4
Suppose -15 = -2*j + 2*x + 3*x, 2*j - 4*x - 14 = 0. Let s = 7 - j. Solve 4*g - 3*y - 12 = 0, s*y + 8 = g - 0*y for g.
0
Let l(s) = 2*s**2 - 120*s - 233. Let q be l(62). Solve 0 = b, 0*g + 2*b = 3*g + q for g.
-5
Let v be ((-12)/15)/(3/(-165)). Let u = v - 42. Solve 0 = -u*h + 2*l, 3*h + 2*l + 6 = 3*l for h.
-3
Let u = 932 - 912. Solve u = 2*q + 5*w, 3*w = -w + 8 for q.
5
Let k(a) be the second derivative of -a**4/12 - a**3/6 + 9*a**2/2 + 5*a. Let o be k(0). Solve 3*w - o = 4*p + 22, -5*w + 29 = -p for w.
5
Let c(q) = -q**2 + 11*q - 15. Let b be c(10). Let z = 5 - b. Let j be z/6 - (-1)/3. Solve 0 = 3*y + r + 3 - 1, -y + j*r = 10 for y.
-2
Let l(a) = -5*a + 15. Let q be l(3). Suppose q = -4*p + 6*p - 4. Suppose 5*c = -0*j - j + 2, 5*j + c - 10 = 0. Solve -v = -j*t - 5*v - 6, 5*t + 3 = p*v for t.
-1
Let h(q) = -q**2 - 7. Let w be h(-3). Let k be (2 + -1)/((-20)/w - 1). Solve k*l = -8, -2*d - 2*l = -3*d + 7 for d.
3
Let o(w) = -6*w + 21. Let x be o(3). Solve -2*z = -5*y - x + 24, 0 = -4*y - 4*z + 28 for y.
5
Let v = 280 - 269. Solve 2*l = -3*z + 17, 4*z - v = 2*l + 7 for l.
1
Suppose -30 + 189 = 3*h. Suppose 3*m + 53 = h. Solve -3*r + 9 = -6*r, m = -5*g - 4*r - 27 for g.
-3
Let s(b) = -5*b - 197. Let d be s(-40). Solve -u = -4*y - 2, 5*y - 3*y + 6 = d*u for u.
2
Let w(i) = i**2 + 30*i + 31. Let n be w(-29). Let l(h) = h - 2. Let u be l(0). Let v be (6 + 5)/((-1)/u). Solve -n*r = o - 6, -2*r - v = o - 7*r for o.
-2
Suppose -133*f = -137*f + 20. Suppose 0 = 8*k - f*k. Solve k = 5*h - 5*d - 10, 23 - 3 = 3*h + 4*d for h.
4
Let i be (-18)/(-10) - (-4 + (-95)/(-25)). Solve 3*h + i*r = 2*h + 6, 14 = -5*h + r for h.
-2
Let d(m) = m**3 - 5*m**2 + 2*m - 2. Let u be d(5). Let w = u - 6. Let b(k) = k**2 - 5*k + 4. Let i be b(5). Solve 0 = w*r - i*s - 10 - 6, 2*r - 10 = s for r.
4
Suppose 152*v + 3 = 153*v. Solve -4*z = 16, 2*c - 6*c - v*z = 12 for c.
0
Let f be (1/((-3)/(-18)))/(-1 - -3). Let z be (-5 + 1)/(f + -4) - 2. Solve -3*y - z*g = 2*g + 23, -4*g = -2*y - 2 for y.
-5
Suppose -81*z + 290 = 47. Solve 5*a + 1 = 2*j - 5*j, -z*j = -a + 7 for a.
1
Let f(v) = 5*v**2 - 3*v**2 + v**3 + 6*v**2 + 1 - 4*v**2 + 3*v. Let h be f(-3). Solve -4 = w - 3*y + h, 2*y - 12 = 5*w for w.
-2
Let j = 1995 + -1992. Solve -5*d - 3*a + 2 = 0, j*d = -4*a + a for d.
1
Let c be ((-1)/(-2))/((-3)/18). Let l(d) = 5*d + 4*d + d**2 - 4 - 2*d - 7*d. Let a be l(c). Solve 0 = -5*n - a*s - 45, 0*n + 3*n + 31 = -4*s for n.
-5
Suppose -205 = -53*f + 12*f. Solve r = s, 3*s = -3*r + f*r + 1 for s.
1
Let a(t) = -4*t**3 + 83*t**2 + 21*t + 2. Let b be a(21). Let y = 17 + -12. Solve -b*f + y*x = -29, -f = -2*f + 5*x + 27 for f.
2
Let k = -715 + 720. Solve 0 = -k*z - 5*c - 20, 2 = -8*z + 3*z + c for z.
-1
Let h be 4/(-3)*(-2 - 21/12). Solve h*q = 4*y, 5*q - 45 = -5*y - 0*y for q.
4
Let k be 14 - (0 - (-6 + 4)). Solve -2*n - c = 4, c + 2*c = n - k for n.
0
Suppose o = -7*o + 72. Solve o = 5*i + 3*a, -3*i - 2*a + 15 = -5*a for i.
3
Let i(q) = 2*q - 15. Let h be i(0). Let m(z) = z**2 + 13*z - 23. Let x be m(h). Solve -4*y = -3*o - 0*o - 2, x = y - 4*o for y.
-1
Let g(n) = n**2 - 4*n - 4. Let w be g(5). Let q = -6 - -8. Suppose -q*k - w + 11 = 0. Solve o + 8 = 3*o, -36 = -k*h - 4*o for h.
4
Let x = -4 - -7. Let m be ((-108)/(-20)*(-38)/(-57))/((-4)/(-10)). Solve m = -x*k + 3*g, -2*k + k - 4*g = 13 for k.
-5
Suppose 5*i + 0 = 20. Suppose i = u + 2. Let g = 5 - u. Solve -g*n + 0*n = 3, 2*p - n - 11 = 0 for p.
5
Let b = 37 + -37. Suppose -3*z + z = b. Solve k = -4*p, 0*k + 2*k + 8 = z for p.
1
Let h = 26 + -26. Let i = h + 2. Solve 4*k + 3 = -3*g, i*k = 2*g + 28 - 12 for k.
3
Let f(x) = 94*x - 91. Let t be f(1). Let j(z) = -z + 8. Let w be j(6). Solve -2*u + t*c = -c - 2, 4*u = -w*c - 6 for u.
-1
Let b be -7*(-3)/(-6)*-10. Let z be 15/(-3)*(-14)/b. Solve -2 = -3*n + n - 2*y, -z*n - y - 3 = 0 for n.
-4
Let g(h) = -6*h - 4. Let b be g(-2). Suppose 37 = 7*z - 47. Solve b = 2*m - 4*k, 3*m + 5*k = -0*m + z for m.
4
Let z(r) = -r**2 - 5*r - 7. Let u be z(-5). Let g(x) = x + 6. Let m be g(u). Let a be (m + 2)/(-1) - -1. Solve -2*i + p + 8 = a, 5*i + 0*p - 18 = 2*p for i.
2
Suppose -4*s + 6 = 5*m - 1, -2*m = -3*s - 12. Solve 2*h - 8 = -3*y + 6*h, -m*h - 27 = 3*y for y.
-4
Let j be ((-2)/(-4))/((-4)/16). Let k(d) = -4*d - 3. Let h be k(j). Let m = -81 - -84. Solve v = 0, 0*v + m*v = -h*x for x.
0
Let j(s) = -34*s**2 + 68*s + 2. Let a be j(2). Solve 3*o - 17 = 5*b, -5*b + a*o = -0*o + 18 for b.
-4
Let m(f) be the third derivative of 3*f**2 + 1/24*f**4 + 0 + 0*f - 2/3*f**3. Let c be m(7). Solve 0 = o + 4, t + 0 - 17 = c*o for t.
5
Let s(k) = 5*k - 20. Suppose 10 = -0*y + 2*y. Let z be s(y). Solve -3*x = -n + 7, z*x + 11 = 3*n + x for n.
1
Suppose -2*p = -p + p. Suppose 4*d + 4*d - 192 = p. Solve 2*y - b + 14 = 5, -5*y = -3*b + d for y.
-3
Let s(t) be the first derivative of -1/2*t**2 + 0*t - 5. Let c be s(-3). Solve c*w = -2*i - 0 + 5, -4*w = -5*i - 45 for w.
5
Let s = -100 + 58. Let f = -40 - s. Solve j = -2*p - 0*p + 6, -3*j + 14 = f*p for j.
4
Let d = 10 - -1. Solve -6*m = 3*j - d*m, -4*m = 5*j for j.
0
Let b(x) = -2*x + 33. Let o be b(15). Suppose 4*i - 12 = -o*m, 9*i - 8*i - 4*m - 3 = 0. Solve 2*g - 2*a = g + 7, 0 = 3*g - i*a - 9 for g.
-1
Let h be 1 + 4 - 6/(-18)*0. Solve -5*q - 4*m + 2*m - h = 0, 0 = -5*q - 3*m for q.
-3
Let h = 37 + -34. Suppose 10 - 34 = -h*w. Solve q + 2*c = -3*c - w, -4*q - 9 = -3*c for q.
-3
Let j be 0*(-23)/299*1/2. Solve 2*u + 6 = j, -d + 35 = 3*d - 5*u for d.
5
Let y(s) be the third derivative of s**4/4 - 19*s**3/6 + 11*s**2. Let a be y(4). Solve 5*c + 3*r = -7, -5*c + r = -3*c + a for c.
-2
Let v be 30/9*(-