h - 2*v + 5*v, -3*v = -p*h + 21 for h.
2
Let i = -2 - -4. Let a(g) = -g**3 + 7 + 0*g**3 - 2*g**i + g - 5*g**2. Let x be a(-7). Solve 0 = 2*j + 4*h + 4, 2*j + 2*h = -6 - x for j.
-4
Suppose -2 = -3*j + 7. Let z(g) be the third derivative of -g**5/60 + g**4/6 + g**3/3 + 24*g**2. Let b be z(j). Solve -3*y = 4*a + 20, y - b = 4*a - 1 for a.
-2
Suppose 2 = -2*v + 2*b, 3*b + 5 = -0*v + v. Let t be (-3)/(-6) + (-6)/v. Solve -3*w + 4 = -t*c, -w + 2*c + 4 + 0 = 0 for w.
0
Let q be (-4)/6*(-459)/18. Solve 2*v - 2*p - 6 = 0, -4*v + 5*p = -0*p - q for v.
-2
Suppose 10*q = 1 + 49. Solve 5 = -5*a, q*a - 5 = 5*i - 0*a for i.
-2
Suppose -a = 5*f + 2, -2*f - a = -2*a - 2. Suppose 3*m - 7*m = 5*u - 62, -4*m + 12 = f. Let p be (-10)/(-5)*u/4. Solve c + 3 - 1 = 0, 0 = -p*b + c + 27 for b.
5
Suppose 4*q - 12 + 0 = 0. Suppose -2*i = 2*b - q*i - 4, -3*i = 12. Solve b = -w + 4*d - 16, -w = w - d - 3 for w.
4
Let j = -107 - -108. Solve 2*a + 4 = 0, -2*k = -5*k - 5*a - j for k.
3
Suppose 3 = -2*b + 9. Suppose -5*m + 5*t - b*t = -18, 3*t + 8 = -2*m. Solve 4*j = p - 19 - 0, -m*j + 4 = 4*p for p.
3
Suppose 5*s - 153 + 13 = 0. Let a = 56 - s. Let o be (12/(-14))/((-4)/a). Solve b + 2*x - o = 3*x, 0 = 2*b + 4*x + 6 for b.
3
Let q(k) = -k**3 - 5*k**2 - 4*k + 4. Let y be q(-4). Suppose 0 = y*m + 9 - 85. Solve -5*s - 3*i + 6*i + 16 = 0, 2*s + 3*i - m = 0 for s.
5
Suppose 0 = 12*p + p - 39. Solve 17 = -4*i + k, p*k - 5*k = 6 for i.
-5
Let c = 3 - 1. Suppose 2 = 3*w - 4. Let d(x) = 9*x - 11. Let r be d(4). Solve r = 5*b, -b - 7 = c*n - w for n.
-5
Let s = -22 + 32. Suppose y + 0*y - s = 0. Solve -5*c + i - y = 2*i, 0 = 3*c + 5*i + 28 for c.
-1
Suppose 8 = -3*f + 2*a, -3*f + 5*a - a - 16 = 0. Solve -2*k + 4*s = -4 - f, 0 = -2*s for k.
2
Let j be ((-2)/(-2))/((-2)/(-8)). Solve -4*a - 20 = -j*x, -3 = 2*a + 1 for x.
3
Let h(n) = -n**3 + 4*n**2 + n - 1. Let z be h(4). Solve -z*j + 0 = -a - 6, 2*j - 4 = 0 for a.
0
Suppose -3 = 4*q + 9. Let b(w) = w**3 + 3*w**2 - w - 1. Let x be b(q). Suppose -x*i = 2*i - 20. Solve 5*l - 10 = i*k, -2*k - 1 = l - 4*l for k.
-5
Let v = 29 - 12. Solve -v = -5*p + 4*c - 0*c, 3*p = -5*c + 25 for p.
5
Let r(t) = -t**2 + t + 1. Let v be r(-1). Let b = 4 + v. Solve 4*f + 4 = 0, b*l - 2 = -0*f + 2*f for l.
0
Suppose 5*z - 27 - 63 = 0. Suppose -2*u + u + 3 = 0. Suppose 3*y - u*n = z, y = -3*y - 4*n. Solve d = -1, 0*h - 3*h + 3*d - y = 0 for h.
-2
Suppose -2 = -0*w - w. Solve -m = w*g - 4*m - 15, -4*m = 20 for g.
0
Suppose 4*r = 5*q - 0*q - 9, q - 17 = -3*r. Suppose -2*n + r = 2*n. Let l be 0 - (2 + 0) - -4. Solve -3*y + l = -4*y - 2*s, -s = -3*y + n for y.
0
Let o(c) = c**3 - 14*c**2 + c - 16. Let z be o(14). Let x = 2 - z. Solve 4*s = 0, p - 5*p = 4*s + x for p.
-1
Let p(q) = 2*q**3 - 2*q**2 - q - 2. Let b be p(2). Let i = -3 + b. Let r be (3 - i) + 1 + 0. Solve -4*x - x - 25 = -r*c, -10 = 5*c + 2*x for c.
0
Suppose -2*j - 3*f - 4 = -7*j, -16 = -3*j - 5*f. Suppose j*z = -5*b + 28, b + 2*z = 7*z - 16. Solve 0*m + 13 = b*m - 5*o, 0 = 3*o + 3 for m.
2
Let c be 1 - 3/((-12)/16). Let o be (0 - c)/(35/(-42)). Solve 9 = q - 3*h, q - o*q = -4*h - 23 for q.
3
Let f = -7 + 15. Suppose 0 = -3*a + 12, a = j + 3*a - 10. Suppose -n + j*n = 3. Solve -16 = -4*t + n*i, 2*t - i - f = -0*t for t.
4
Let a be (0*(-1)/(-4))/(-2). Solve -2 = -2*k - a, 2*i = 5*k - 1 for i.
2
Let w be 147/7*1/3. Let t(p) = 5*p + 29. Let s be t(-5). Solve -27 + w = -s*m, r + 14 = 3*m for r.
1
Let p(l) = l**3 - 7*l**2 + 2*l - 8. Let k be p(7). Solve 3*x - 8*x = 5*r + 15, 0 = -2*x - 3*r - k for x.
-3
Let w = -155 - -158. Solve w*s = -3*j - 9, 4*s + 7 = 3*j - 2*j for s.
-2
Let f = -55 + 98. Let l = f + -21. Solve -3*y - u - 8 = u, -3*y - l = -5*u for y.
-4
Let y be (-1 - 1/(-1))/1. Solve -2*z - 22 = -y*d + 3*d, -37 = 5*z + 3*d for z.
-5
Let d(l) = l**3 - 6*l**2 + l - 3. Let h be d(6). Solve h*y + 2*y = 2*p + 8, -4*y = 3*p - 11 for y.
2
Let l = 33 + -20. Suppose 0 = 3*b + b - 16. Let d = 7 - b. Solve d*h + 18 = -3*v, -5*v - l = -5*h + 7 for v.
-5
Let y(a) = a**3 + 6*a**2 + 4*a - 4. Let c be y(-5). Suppose 2 + c = k. Solve 5*d = -4*o + 19 + 8, -4*o + 3*d + k = 0 for o.
3
Suppose 0*l + 1 = -l. Let b(a) = 7*a + 1. Let s be b(l). Let x be (s/4)/(1/(-2)). Solve -5*m - x*u + 4 = 0, 0*u + 11 = m + 4*u for m.
-1
Suppose 3*y - 116 = 40. Suppose i + 3*i - 4*g + y = 0, -5*i = 2*g + 58. Let t = -9 - i. Solve -3*c - 5*w + 3 + 7 = 0, 2*w - 13 = -t*c for c.
5
Let w = 26 + -41. Let x be (-4)/(-5)*w/(-6). Solve -4*r - 4*f - 24 = 0, -f = -x*r - 0*r for r.
-2
Let y be (6/(-4))/(3/6). Let n = -2 - y. Solve 5*l - o - 8 = -n, l = -o + 5 for l.
2
Let y = 76 - 71. Solve f = -5*p - 10, -y*p - 20 = 4*f - 5*f for p.
-3
Suppose 3 = -5*t + 28. Suppose 13 = t*k + 3. Solve 4*j - 2*d = -30, -3*d = -4*j + k*d - 45 for j.
-5
Suppose 6 = -4*f - 5*m + 103, -12 = 4*m. Solve -4*r - 23 = 5*z - 2*r, f = -4*z - 4*r for z.
-3
Let d(k) = -k**3 + 6*k**2 - k + 8. Suppose -4*o - 8 = 0, 5*i + 10 = 7*i + o. Let h be d(i). Solve -5*m = h*g - 19, -2*g = g - 4*m + 29 for g.
-3
Suppose -21 + 3 = -k. Let f be k + (-4)/6*-3. Let t(z) = 11*z - 2. Let s be t(2). Solve -f = 4*x - 2*w, -5*x - 3 - s = -2*w for x.
-3
Let h = -22 + 24. Solve 2*x - 2*t + 14 = -x, 2*x = -h*t + 4 for x.
-2
Suppose 3*p - 15 = 2*i, 5*p = 3*i + 1 + 21. Let o = 11 + i. Solve -3*b + g = -g + 5, o*b - 3*g = -10 for b.
1
Let a be (-24)/9*3/(-2). Let h be -14*(-1)/2 - 2. Solve z + 5 = 4*i, i - 15 = a*z + h for z.
-5
Suppose 5*q + 5*p + 3 = q, p + 15 = 4*q. Solve 0 = q*i + 4*m, -3*i = -5*i - 5*m for i.
0
Suppose 0 = 3*m + 7 - 22. Solve 0*x + 4*x + 20 = -3*u, -m*u - 28 = 4*x for u.
-4
Let x be 2/(-8) - (-324)/16. Suppose q = -3*q + 3*h + x, q - h = 6. Suppose 0 = 2*f - 35 + 7. Solve -q*t - 1 = -y - 0*t, 4*y + f = -t for y.
-3
Suppose -f - 2*s + 6 = -7, 0 = -4*f - 2*s + 28. Solve 0 = -3*w - 3*x + 9, 0 = x - f + 3 for w.
1
Let a(j) = 6*j**2 + 4*j. Let u be a(-1). Solve 3*q + 4*t - u = q, -5*q + 27 = -t for q.
5
Let x(y) be the second derivative of 2*y**3/3 - y. Suppose -b + 5*b = 16. Let d be x(b). Solve 3*h - 3*k = 0, 0 = -k - 3*k - d for h.
-4
Let l = -3 - -7. Suppose 13 = -2*g - 3*w, -2*w = -3*g - 2*g - l. Let j = 7 + g. Solve -3*a - j*v = 12, a + 2*v + 4 = -v for a.
-4
Let c = 6 - 1. Suppose r = c*r + 20, -r - 14 = -3*a. Solve -2*b + 1 - a = 0, -4*q - b - 9 = 0 for q.
-2
Suppose -2*j = -v + 15, 0*v - 2*j = 4*v - 30. Solve 2*d = -n + v, 2*d + 3 + 3 = 2*n for d.
2
Suppose 0 = 6*g - 21 - 9. Solve 3*k + 40 = g*m, -4*k + m = 42 - 17 for k.
-5
Let b = -38 + 38. Solve -g + c = -b*g + 2, -c = -2*g - 5 for g.
-3
Let q = -4 + 8. Suppose 0*b - 5 = 2*b - 3*a, a - 5 = 4*b. Let o be (b + q)*(1 + 4). Solve 3*c - 4*m - 21 = 0, 0*c + m + o = 4*c for c.
3
Let b = 19 - 9. Let i be 1/(-5) - (-152)/b. Solve -x - 4*s + 5 = 2*x, -4*x = s + i for x.
-5
Let k(z) = -3*z. Let w be k(-1). Solve -4*f = 8, 5*a - w + 0 = 4*f for a.
-1
Let a be 2 - (-1)/(-1)*-1. Suppose -7 = 6*h - 43. Solve a*y = -h, -d + 4*y = -6*d - 18 for d.
-2
Let j be (2 + -1 - -1)*(-36 - -37). Solve 4*t + 20 = 2*y, -2*t = -j*y + 10 + 2 for y.
2
Let q(m) = -m**2 + 7*m - 6. Let j be q(3). Suppose 0*g + j = 2*g. Solve -s - 12 = 3*s + 4*u, 0 = -5*s + g*u + 1 for s.
-1
Let h(d) = -15*d - 10. Let z be h(-1). Solve 0 = -z*p - 3*s - 4, -5*p + p + 4*s + 16 = 0 for p.
1
Suppose 5*s - 3*s = 2. Solve -4*j + s = -2*g - 3*g, 0 = 3*g + 4*j + 7 for g.
-1
Suppose 2*f - 6*f - 10 = -2*w, w = -2*f - 15. Let v = 10 + f. Solve j = -v*g + 12, 3*j + j = 4*g - 24 for j.
-3
Suppose 3*h + 8 + 7 = 0. Let n = h + 7. Solve -n*q = 0, 2*q + 4 = -2*v + 2 for v.
-1
Let r(v) = -v + 2*v - 3 + v. Let q be r(6). Solve -4*u - q - 3 = 0, 2*z + 3*u + 7 = 0 for z.
1
Let y(i) = -i + 14. Let o be y(11). Suppose 10 = 4*v + 2*r, -3*v - 4 = o*r - 10. Solve 4*g = v*z - 2 + 1, 0 = z + g - 5 for z.
3
Suppose -o = 4*o - 10. Solve -o*n = -2, -n - 3 = 4*x - 0 for x.
-1
Suppose 0 = 5*n - 2*t - 19, -4*n - 1 = -3*n + 2*t. Solve 4*q + 4*z = 12, n*z - 16 = 4*q - 0*z for q.
-1
Let b(v) = v**2 - v + 2. Let g be b(0). Suppose -25 = -3*i - g*i. Solve 0 = -s + 5*s + 4*h - 4, 3*h = i*s - 29 for s.
4
Suppose -2*r + 3*r = 0. Suppose -l - 3*l = r. Solve l = -2*t - 6*o + o - 18, -3*t + 3*o + 15 = 0 for t.
1
Let m be (-1 + 2)*(-7 + 1). Let r = m - -8. Solve -x - 9 = r*x + 3*o, 0 = -4*x + o + 3 for x.
0
Let d be (33/