 4*o for o.
-3
Let k(g) be the second derivative of 2*g + 1/6*g**3 - 1/2*g**2 + 0. Let l be k(5). Solve 13 = 3*w + l*y, 3*w + 5*y - 10 = 4*y for w.
3
Let l be ((-30)/(-24))/((-1)/(-4)). Solve -1 + 3 = -3*y + s, 2 = 3*y - l*s for y.
-1
Suppose -5*h + 0*h = 0. Let l = 1 - 1. Let o = 1 - l. Solve h*p - o = 3*p - 4*a, p - 6 = -5*a for p.
1
Suppose v + a = 8, -5*a + 16 = 2*v - 6. Solve 4*s + 0*s = 2*o - 18, v = -2*s for o.
3
Suppose -5*r - 15 = -50. Let z(h) = h**3 + 8*h**2 + 6*h - 6. Let m be z(-7). Suppose -u + m = -5. Solve 2*i + r = w, 2*i - 3*w = -7 - u for i.
-2
Suppose -3*i + 181 = 5*k - 7*i, -17 = -k - 4*i. Suppose -3*d = 3*y - 21, -6 = 3*d + 5*y - k. Solve m - 3*m = -c + 1, d*c - m + 3 = 0 for c.
-1
Suppose -5*t + 0*t + 5*a + 35 = 0, 5*t = -3*a + 11. Let r = t - 4. Solve -4*d - 28 = -2*c, 5*c - 5 = -3*d - r*d for d.
-5
Let a be 10/20 + (-18)/(-4). Suppose 0*d = -d. Suppose 143 = 5*k - 12. Solve d = m - 5*h - a, -7*m - k = -2*m + 3*h for m.
-5
Let u(t) = t**3 + 4*t**2 - 3*t + 8. Let w be u(-4). Solve -3*l - 5*p = 25, -3*l - 5*p - w = -l for l.
-5
Suppose 7*t = 4*t + 18. Suppose 2*x - 13 = -5*y, 0*x - 2*y + t = x. Solve -2*s - w - 2*w - 7 = 0, -3*s + 2*w = x for s.
-2
Let i be (1 - 1 - 3)/(-3). Solve p + z - 2 = -i, -3*p + 2*z = 12 for p.
-2
Suppose 0 = l - 6*l - 25. Let g(j) = 4*j**2 - j**2 + 2*j**2 - 4*j**2. Let f be g(l). Solve 0 = -3*t - 0*t + 3*c + 6, 5*c - f = -2*t for t.
5
Suppose -2 + 8 = n. Suppose 5*y - 14 - n = 0. Suppose t = -t + y. Solve -v = -3*x + 7 - t, 4*x = -4*v + 28 for v.
4
Let f be (-6 + 1)*(-7)/1. Suppose m + 4*y + 25 = y, 3*m - y + f = 0. Let c = -8 - m. Solve -c*i + 24 = -4*n, 19 = -0*n + n + 5*i for n.
-1
Suppose -5*g - 2 = -7. Let t be ((-6)/(-5))/(g/5). Suppose -3*b - 38 = -4*p, 4*p - 52 = -t*b + 2*b. Solve -4*x - 3*r - 2 = p, 4*x + 5*r + 11 = 0 for x.
-4
Let q be ((-52)/65)/((-4)/90). Let i be (-1)/3 + 42/q. Solve 3*p - s = -i + 3, 0 = -2*s + 10 for p.
2
Suppose -s - 2 = s. Let h = 3 + s. Suppose -6 = -2*f - h. Solve 0 = -4*c - 4*r + 8, r - 7 = -f*c - 0*r for c.
5
Suppose 492 = -2*w + 498. Solve -b + 6 = 2*p, w*b + 0*b + p + 2 = 0 for b.
-2
Suppose 5*r - 129 - 81 = 0. Let q be ((-8)/(-3))/(4/r). Let w be (-8)/q - 2/(-7). Solve w = 4*z - 2 - 10, 0 = -h - 3*z + 8 for h.
-1
Let k = 13 - 10. Suppose -2*g + 34 = 4*n, -4*n + k*g + 30 = g. Solve -2*s = 4*d + 4 - n, -4*s + 17 = -d for s.
4
Suppose 0*x - 9 = 4*x - 5*l, x + 6 = 2*l. Let i = 1 + 6. Suppose -p = -3*w - i, 8*w = 5*p + 3*w - 35. Solve p*r = x*r - 3*b, -4*r = 5*b + 2 for r.
2
Let n(r) = -r**2 + 5*r - 1. Let w be n(3). Let h = -4 - -1. Let v = 3 + h. Solve 0 = -v*u - 2*u + 4*j - 28, -w*u - 30 = -2*j for u.
-4
Suppose 3*c - 47 = 37. Suppose -2*n = 5*j + 28, -4*j - n - 2*n - c = 0. Let y = -2 - j. Solve 2*m - 4 = -4*z + 6, 10 = -2*z + y*m for z.
0
Let c(j) = -j**2 + 9*j - 15. Let d be c(6). Solve -2*p = -b + d*b + 6, -p - 7 = 5*b for p.
-2
Let h(n) = -n**3 - 4*n**2 + 5. Let d be ((-4)/5)/(9/45). Let g be h(d). Solve 2*w - g*i + i = -6, 4*w - 4*i + 4 = 0 for w.
1
Let f be 34/10 - 4/10. Suppose -5*o - 3*r + 75 = -2*o, -25 = -o + 4*r. Solve i + s + 10 = 2*i, -2*s - o = -f*i for i.
5
Let n = -9 + 3. Let k be (n/(-8) + -1)*-4. Let w = 1 - k. Solve -2*o = h + 1, -4*o - 5*h + 3 + 4 = w for o.
-2
Suppose 0 = 5*q - 38 - 12. Let g = 13 - q. Solve -t - 8 = -4*r + g*r, 0 = 4*r + 2*t - 8 for r.
4
Let l be (-12)/(-30) - 141/15. Let f(s) = s**2 + 10*s + 13. Let v be f(l). Solve -2*o + v*a = 6, 3*a - 2 = -o + 15 for o.
5
Let w(r) = r + 16. Let m be w(0). Suppose 0 = -g - 3*g + m. Solve -5*v - 3*y - 30 = 0, 2*v + g*y + 28 = 2 for v.
-3
Let c(w) = w**3 + 8*w**2 + 0*w**2 - 2*w + 8*w - 3. Let b be c(-7). Solve -2*z + 12 = z - 4*h, -3*h - 9 = -b*z for z.
0
Let d = -65 - -72. Solve 2*p - 8 = 2*c + d*p, 3*p + 12 = -3*c for c.
-4
Let r(m) = -m - 4. Let a be r(-5). Suppose -s = -5 + a. Solve 3*g + 2*j + 5 = -4, -12 = s*g - 2*j for g.
-3
Suppose -5*d - 4*g = -36, -5*d + 5*g = -3*d - 21. Let m(n) = -3*n - 3. Let t be m(-2). Solve t*w = 2*z + d, 3*w - z - 9 = -w for w.
2
Let u(d) = -d - 13. Let n be u(-13). Solve 3*i + 38 = 4*m + 12, 5*m + 3*i - 19 = n for m.
5
Suppose -h = -5*d + 5, 4*d + 2*h = d + 16. Suppose -a = -n, 0 = -5*n + 2*a + 13 + d. Suppose 3*p = -2 + n. Solve -3 = -0*f - 3*f - 3*x, 5*f - x = -p for f.
0
Let m be (-4)/6 + (-8)/(-12). Let l = m + 5. Solve -l*k + 10 + 11 = d, -24 = d - 4*k for d.
-4
Suppose -3*a = -4*a + 3*d + 7, 4*a + d = 15. Solve 3*u + 6 = 4*q, 3*q + 0*u = -a*u + 17 for q.
3
Suppose 5 + 0 = 5*i. Suppose 2*j - i - 11 = 0. Let y = -3 + j. Solve 0*f + 2*f = -r - 7, -5*r - 14 = y*f for f.
-3
Suppose 0*i = 2*i. Let l be (30/(-3) - i)/(-2). Solve -l*q - 21 = -2*o, 2*q = 3*o - 3*q - 24 for o.
3
Suppose -40*y = -31*y - 27. Solve 7 = -2*v - y*q, -6*q - 8 = 3*v - 2*q for v.
4
Let j be -4 + 0/3 + -1. Let a be 0*3/(-9) - j. Solve 0 = a*p - 4*u + 5 + 7, -4*p + u = 3 for p.
0
Suppose 0 = -2*y - 111 - 17. Let f be y/(-12) + 2/(-6). Suppose -5*g + 12 = 4*d, -2*g + d = -f*g + 10. Solve -12 = 3*n, -19 = -p + n + g*n for p.
-1
Let a = 42 + -38. Solve 3*c + 20 - 6 = i, 11 = 3*c + a*i for c.
-3
Suppose -2*a + a + 25 = 0. Solve 0 = -4*o - 4*p, 2*p + 0*p = 3*o - a for o.
5
Suppose k = -5*u + 4*k + 10, 5*u + k = 10. Solve -2*z = -g - 11, -u*z - 2*z - 5*g = 13 for z.
3
Suppose 4*w - 25 = 103. Suppose 4*r - 6*a - w = -2*a, 0 = 5*r + 5*a - 20. Solve 4*t = -3*m + r, -4 = -2*t + 2 for m.
-2
Let z = -90 - -132. Suppose 5*p - 2*p = 5*a - z, -5*a + 2*p = -38. Solve -3*b - 18 = 2*c, a*c - 2*b = 3*c - 1 for c.
-3
Let s(p) = p**2 + 5*p + 2. Let n be s(-2). Let c be (-3)/n*4/1. Suppose -x + c = -7. Solve 0 = -q + 4*j + x, -q + 3*j = j - 4 for q.
-2
Let l = -15 - -10. Let y be 1 + 0/(-3) + l. Let n be (-97)/y + 3/(-12). Solve j - n = -3*j + g, j - 5*g = 25 for j.
5
Let h = 5 - 1. Suppose -22 = h*c - 146. Let q = c + -15. Solve -2*g = 4*a + q, -3*a + 2 + 4 = -3*g for g.
-4
Let h = -3 + 9. Let c = h - 4. Solve 4*x = l + 4*l - 40, -c*x + 2 = 3*l for l.
4
Let f(a) = -2*a**2 + 17*a - 30. Let j be f(5). Solve 3*c - 12 = 0, -3*c + 5 = j*i - 12 for i.
1
Suppose 14 = -2*x - 0. Let n be ((-6)/x)/((-1)/(-14)). Solve -o + 3*d + 13 = 0, 0 = 3*d - 6*d - n for o.
1
Let u be ((-3)/(-2))/(((-21)/(-8))/7). Solve 24 = q - 5*z, u*z = -2*q + z - 4 for q.
4
Let r(g) = g**2 + 3*g - 3. Let d be r(2). Let n(i) = i**2 - 6*i - 1. Let u be n(6). Let h be 1 + -1 + u + 4. Solve -m + x + d = 0, -h*m + 4*x + 8 = -18 for m.
2
Suppose 5*t + 2*c + 2*c = -176, t + 2*c + 40 = 0. Let i = -3 + t. Let h be ((-2)/2)/(7/i). Solve a + 4*k = 3, h*a + 3*k - 4*k + 6 = 0 for a.
-1
Suppose 3*a - 29 + 17 = 0. Let b be (-16)/40 + (-24)/(-10). Solve v - 2*g = 3, a*g = -5*v + b - 1 for v.
1
Let m(u) = -2*u**3 - 2*u - 1. Let t be m(-1). Suppose 0 = 3*j + 3 + t. Let w = j + 2. Solve 3*v + 5*k + 21 = w, 8*v - 4*v - 3*k - 1 = 0 for v.
-2
Let q be 11/(22/24) - 4. Let c(y) = 4*y - 8. Let x be c(q). Solve -i + 5*b - x = 0, 6*b - 2*b = 16 for i.
-4
Let x(n) = -2*n - 1 + 3 + n. Let t be x(0). Suppose y - t*i - 11 = 0, -20 = -y - 4*i + 3*i. Solve -5*v - 7 = -h - 3*v, -4*h - y = v for h.
-3
Let r be ((-12)/(-18))/((-2)/(-9)). Solve -s = -5*v + s + 31, r*v - 4*s = 27 for v.
5
Let b be (12/8)/3*(-5 + 5). Solve -5*j - 5*r = -5, b*j + j - 3*r = 13 for j.
4
Suppose -3*g = -6*g + 30. Solve 3*u - 3*o = 27 - 3, -u - 5*o = g for u.
5
Let o be 6 + (-2)/(-4 - -4 - -2). Solve -3*n + o*n = -2*m - 16, -11 = 4*n - 3*m for n.
-5
Let y(k) = k**2 + 8*k. Let t be y(7). Suppose 13 = -2*f - t. Let g be f/(-7) + 6/(-14). Solve -2*s = 2*s - 5*j - g, 5*j = 0 for s.
2
Suppose 0*d = 8*d - 160. Solve -2*x + w = -x - 5, 4*x = -4*w + d for x.
5
Let d be 6/(-4) - (-12)/(-24). Let r(t) be the first derivative of t**4/4 + t**3 + t**2 - 1. Let i be r(d). Solve 5*f + q + i*q = 15, f = -5*q + 3 for f.
3
Suppose -2*b - z + 20 = 3*z, -b - 5*z + 4 = 0. Solve 2*m = 4*f + 4*m - b, -4*f - 3*m + 15 = 0 for f.
3
Suppose -3*w = -2*k - 1 - 7, -2*k - 2 = 0. Let a(s) = 4*s**2 + s - 3. Let t be a(6). Let j be (-1)/4 + t/28. Solve j*h = -z + 5 + 5, -w = -h + 3*z for h.
2
Let x = -8 + 10. Suppose 4*l + 3*u = -0*u + 23, 2*l - 9 = u. Solve -l*j = 4*w - x, 2*j - 6 + 16 = 2*w for j.
-2
Let s be 5 - 5/10*0. Solve -3*g - 24 = -7*g + 4*y, -18 = -s*g + y for g.
3
Suppose 4*r = 4, -4*m - 5*r = -24 + 3. Suppose -5*