2*h + 5*c + g, h - 16 = c + 3*c for h.
4
Let q(t) be the first derivative of -2 + 3/2*t**2 + 1/4*t**4 + t + 5/3*t**3. Let u be q(-4). Solve z + 1 = 4*k, -2 = -2*k - 3*z - u for k.
0
Suppose -3*x + 3*j = 18, 2*j + 21 = -x + 6*j. Let t be (0 + -7)*(0 + x). Solve -2*y - 8 = 0, 4*s + y = s - t for s.
-1
Let z(l) = l**2 + 10*l - 9. Let f be z(-11). Solve -5*g = -15, -2*o + 4*g - 12 = f*o for o.
0
Suppose 5*i - 30 = -10. Suppose -i*r = -31 - 9. Solve 3*b - 15 = -5*u, 5*u = -2*b + u + r for b.
5
Suppose 0 = -19*u - 21*u + 15*u. Solve 5*n + 5*d - 5 = u, 4*n + 4*d = -n + 1 for n.
-3
Suppose -4*k + 0*k = -16. Suppose 3*o - k*o + 6 = 0. Solve -h - o = -5*f, -1 = 3*h + 2 for f.
1
Suppose 8 = 2*h + a - 6, -h = 2*a - 13. Solve 5*d + 2*r = -1, h*r - 14 = -3*d + 7*d for d.
-1
Let d be 6 - (6 - (-1 - -3)). Let s be (1/(d/10))/1. Solve y = -s*x - 16, 4*y - y - 3*x = 6 for y.
-1
Let j be 6*(1 + 6/(-9)). Solve 0 = -j*z + 3*l + 17, -z + l + 3*l + 16 = 0 for z.
4
Let g be (-57)/21 + 2/(-7). Let v be -2 + (1 - g*2). Suppose 0 = -4*k + 119 - 11. Solve k = -v*a + 2*q, 3*a + 19 = -a - q for a.
-5
Let t be 0 + -16 + 0 + 4. Let u be (-3 + -1)*t/24. Solve -5*s - 27 = 4*z, 2*s + u*s = -12 for z.
-3
Suppose -5 - 3 = -2*y. Suppose 7 + 1 = y*s. Solve 2 = -5*j + 4*h, -j - 2*h + 4*h + s = 0 for j.
-2
Let a(p) = p**2 - 4*p + 2. Let g be a(2). Let k = g + 4. Suppose b + k*r = -2*r + 9, 4*r = 2*b - 6. Solve 5*m + 10 = -5*d, m - b*d = 6 - 2 for m.
-1
Let v be (4 - 0)/((-1)/(-3)). Let d = v + -7. Solve 4*y = 2*l + 20, 2*y + 15 = -4*l + d*y for l.
0
Let k(d) = 0*d**2 - 2*d + 0*d**2 - d**2 - d. Let u be k(-3). Solve 3*x = 4*m + 9 - u, m + 3 = 0 for x.
-1
Let t(p) = p - 4. Let w be t(11). Solve 2*k - f = -0*f - w, 5*f - 11 = 4*k for k.
-4
Let j(t) = 11*t + 26. Let n be j(-2). Solve n*g + 8 = -4*s, -3*g = -2*g + 4*s + 11 for g.
1
Let q(p) = -p**3 + 5*p**2 - 2*p - 7. Let x be q(3). Solve -5*c + c - 2 = 3*v, -2*v = -c + x for v.
-2
Let b = 1 - -21. Let q = -24 - -26. Suppose -18 = n + v - 6*v, 16 = 4*n + q*v. Solve -4*a = -4*c + 16, -5*a + c = -n*c + b for a.
-5
Suppose -2*m = 94 - 100. Solve -b - 4 = -5*u + 8, -m*b = -2*u + 10 for b.
-2
Let s be 20 - (3 + 1 + -2). Suppose 0 = 4*r - 4*k - 28, 0*k + 11 = 5*r + k. Solve -4*y - r - 5 = 4*h, 3*h - s = 5*y for h.
1
Suppose -3*g + 13 + 2 = 0. Suppose -g + 30 = 5*h. Let y(w) = -w**2 + 13*w - 11. Let o be y(9). Solve 0 = 5*p + o, 0 = 5*s + p - 0 + h for s.
0
Let t(q) = -7*q - 29. Let p be t(-5). Solve p*n - 2*n = -3*g - 16, -4*g + 2*n + 8 = 0 for g.
0
Let c = 1 - -3. Let l be (c + -5)/((-2)/6). Solve 2*x = -4*j - l + 1, 2 = -2*j for x.
1
Let r be ((-64)/(-6))/1*3. Suppose -3*g + r = -g. Suppose 4*m - 4 = g. Solve 0 = -p + m*d + 5, 3*d + 0 = 5*p + 19 for p.
-5
Let f be 2 + (0 - (1 - 1)). Suppose 2*x = -5*w - 21, -2*x - 3*w - 11 = -0*w. Let d = 34 - x. Solve -5*o + b + d = -f*b, -4 = b for o.
4
Let u = 4 - 4. Let h = 2 + u. Let i be h + ((-6)/2)/(-3). Solve q + i*l + 0*l = -17, 0 = 3*q + 2*l + 23 for q.
-5
Let d be 2/13 - (-37)/13. Solve 0 = q + d, -5*m - 4*q - 17 = -0*m for m.
-1
Let p be (3/2 + -1)*6. Let u(w) = -3*w**2 + 30*w + 37. Let c be u(11). Solve -p*v = -c*i - 7, v = 2*v - 4*i - 13 for v.
-3
Let y be (-3 - 0)/(5/(-20)). Let v = y - 9. Solve -3*x - v = 3, 0 = 4*f + 4*x for f.
2
Suppose 1 = r - 7. Let i = -1 + r. Suppose i*b = 2*b + 20. Solve 5*w - b*m - 41 = 0, -5*w + 11 = m - 10 for w.
5
Let h(c) = -3*c**2 + 25*c - 3. Let p be h(8). Solve 4 = 5*n + k + 13, -3*n + 17 = -p*k for n.
-1
Let r be (0 + -3)*(0 - 1). Suppose -4*u + 3*y + 8 = 0, -r*u - 4 = -5*u - 4*y. Solve h + z = -8, -10 + 0 = u*z for h.
-3
Suppose 0 = 5*w - 2*g - 35, -3*w + 15 = g - 6. Solve -w = d + 4*v, -v + 0*v = d + 4 for d.
-3
Let c(q) = q**3 - q**2 + q + 1. Let d be c(1). Solve -4*s + h - 6 = -h, d*s - 4*h + 18 = 0 for s.
1
Let p = 24 - 22. Solve -4*h - p*m - 2 = -0*m, h = -3*m - 3 for h.
0
Suppose -10 = -4*k - 2. Let x be (-7 + k)/(-3 + 2). Solve -2*h = -4*h + 2*a + 8, -x*a + 8 = 2*h for h.
4
Let c = 28 - 11. Suppose -8 = -c*z + 13*z. Solve 2 = -5*o - 5*s - 3, z*o + 4*s + 8 = 0 for o.
2
Suppose -3*b + y + 1 = -0*b, -3*y + 11 = -2*b. Solve 3 + 4 = j - 3*f, -b*j = f - 7 for j.
4
Suppose -5*s = -7*s. Solve 2*p + 6 = -2*u - s*u, 0 = 3*u - p - 11 for u.
2
Suppose -4*w + 79 = 3. Solve 0 = -3*a + g - 2, w = -a - 5*g - 3 for a.
-2
Suppose -o + 3*w - 9 = 2*o, -4*o + 8 = w. Let j(x) = 24*x**3 - x + 1. Let h be j(o). Solve -5*z - s - h = -0*z, -s = -1 for z.
-5
Suppose 5 = z + 3. Solve b = -5*d - 8 - 1, 3 = -b - z*d for b.
1
Let b(o) = -o. Let t be b(-6). Let z be ((-1)/(-2))/(3/18). Suppose z*n - 6 - 9 = 0. Solve 0*v - v + 4*y - 6 = 0, -n*v + 2*y + t = 0 for v.
2
Suppose 0 = 4*h - 13 + 5. Solve 4*c = h*b - 2, -2*c + 4*b + 0*b = -14 for c.
-3
Let z = -17 + 29. Suppose -2*a + z = 2. Let b be 2/(-2)*15/(-3). Solve -b*v + 18 = -4*k, -a*v + 2 = 3*k + k for v.
2
Let d(o) = -o**3 - o**2 + 1. Let x be (-9)/6*2/3. Let s be d(x). Solve 7 = 2*k - s, -2*k + 16 = -4*y for y.
-2
Let z(m) = -m**3 - 3*m**2 - m + 3. Let q be z(-3). Solve -3*o - a + q*a - 22 = 0, o = a - 4 for o.
1
Let q(n) = -2*n**3 - 3*n**2 - 4*n. Let t(v) = v**3 + v**2 + v. Let o(y) = q(y) + 3*t(y). Let c be o(1). Solve 5*f - h - 4*h = -25, c = 2*h for f.
-5
Let w be (-666)/(-42) - 2/(-14). Solve -3*r + w = -2*y, -2*r = -2*y - 6*r + 12 for y.
-2
Suppose 13*t + 28 = 20*t. Solve k - 3 = i + t, 4*i + 3 = -k for k.
5
Suppose 5*n - 25 = 0, 3*f - 4*n = -7*n + 30. Solve 5*m + b + 7 = 0, 2*m + 23 = -2*m + f*b for m.
-2
Let t = 1 - 7. Let p = t + 5. Let m be (p/(-3) + 0)*9. Solve -m*f = 3*i - 3, -2*i + 5 = -3*f - 2 for f.
-1
Let t = 4 + 0. Let u = -2 - 13. Let m = u - -17. Solve -t = m*i - 5*r, 4*r - 3*r = 4*i + 8 for i.
-2
Let t be (0 + (-5)/(-2))*2. Suppose -12 = -3*r - o, 0 = t*r - 2*r - o - 6. Solve -r*l - l = 2*i - 8, -4*l + i = -8 for l.
2
Let f be (0/3)/(-3) - -2. Suppose 8 = -f*m + 6*m. Suppose 5*b - 4 = g, 2*b - m*g = b + 8. Solve b = -5*p + 20, -2*i - 4*p + 12 = 2*i for i.
-1
Let f be ((-15)/10)/(2/(-4)). Solve -o - 4 = f*z - 2, 8 = -4*o for z.
0
Let b(j) = j**3 - 4*j**2 - 4*j + 3. Let y be b(5). Let g be (-3)/(-6)*2/1. Suppose -g - y = -3*q. Solve -24 = 3*n - 4*o, 0 = q*n + o - 2*o + 15 for n.
-4
Suppose -15 = -0*l - 5*l. Suppose -f + l*b - 5 = -b, -3*b = 4*f - 18. Solve 3*j = f*s - 6, 16 = -3*j - 0*s - 2*s for j.
-4
Suppose 2*y - 2 = -0, -3*r + 4*y = -53. Suppose 0 = 5*b + 4 - r. Let w be 1/b + (-24)/(-9). Solve -v = -4*m + 19, 0 = 2*m + v - w*v - 8 for m.
5
Suppose 0*q + 4*f = -2*q + 2, q - 2*f - 5 = 0. Solve -2*y - 13 = 2*n - q, 2*y = 2*n - 10 for y.
-5
Let i(t) = -2*t - 3. Let k be i(-3). Let c be k/12 + (-30)/(-8). Solve -c*p + 1 = 5*l - 14, -2*l + 8 = 2*p for p.
5
Suppose -p + 5*p = 20. Let r be p/10 + 14/4. Suppose 2*z + 8 = 6*z. Solve r*j - 16 = 4*h, h - 3*h - 8 = z*j for j.
0
Suppose -5*r + 34 = 24. Solve -z = -5*c + 20, r*c - 2*z + 9 = -5*z for c.
3
Let g be (-7 - -8)/((-1)/(-11)). Let d = -11 + g. Let l(u) = -u + 10. Let o be l(7). Solve -h + 1 = 3*q + o, d = -3*q + 3 for h.
-5
Suppose 4*n - 1 = 19. Let m = 3 - n. Let h be m/(-8) + 11/4. Solve 0 = -z - 3*r - 0*r, 0 = h*z - 2*r for z.
0
Let l be 760/30 - 1/3. Solve 2*w - 24 = -y - 2*w, 0 = -5*y - w + l for y.
4
Let t be (0 + 4)/((-1)/2). Let o be 2/t*0 - -2. Suppose 4*m + m = 115. Solve -5*h = -b + m, -b + o*b = h + 3 for b.
-2
Let w(z) = -z**2 + 5*z + 3. Let k be w(5). Suppose -k*q = q - 16. Solve -2*g = -4*g - m + q, -5 = -g - 2*m for g.
1
Let p(m) = -m**2 + 9*m - 9. Let t be p(7). Suppose 4*k = t*f + 17, 0 = -f + 1 - 2. Solve 5*h = 0, 0*d = 5*d + k*h - 25 for d.
5
Let d = -2 - 0. Let q be -1 - 2/4*d. Solve q*h = -5*h + 20, 0 = 2*s - 4*h + 8 for s.
4
Suppose 3*q = -6, -q + 15 + 8 = 5*i. Suppose 2*g + 12 = i*g. Suppose g*f + 32 = 4*z - 0*z, z - 18 = -4*f. Solve -2*d = -4*k + 6, -d - 2 = -5*k + z for k.
3
Let w(r) = -6*r - 18. Let t be w(-4). Suppose -d = d - 14. Solve -19 = -3*p - 2*x, -t*x - d = -3*p - 2*x for p.
5
Suppose -5*i + 20 = 5*u, -3*i - 2*i - 7 = -4*u. Let w be 18/3 - -1 - u. Solve 2*r = -3*g - 0*r + w, -g = 2*r for g.
2
Let o = -13 + 15. Solve 14 = -5*q - x - 8, 0 = o*q + 3*x + 1 for q.
-5
Let z = -1 + 4. Suppose 4*h + z*q + 16 = 52, -3*h + 5*q = -56. Solve n = -2*n + 5*o, -3*n + o - h = 0 for n.
-5
Let a(x) = -x**2 + 4*x + 3. Let y be a(4). Solve y