 x + 2*c + 3 for x.
3
Let v(j) = j**3 - 4*j**2 - 5. Let t be v(4). Let y(k) = k**3 + 6*k**2 + k - 10. Let q be y(t). Solve -5*a - 14 = -2*x, a + 3*a - 2*x = -q for a.
-4
Suppose 4*s - 23 - 14 = -5*y, -3*s + 23 = -y. Solve 0 = -4*p - s, -4*f + 4*p + 22 = 2 for f.
3
Suppose 3 + 2 = f - u, 3*f - 19 = -u. Suppose 12 = -3*y, -f*d + 4*y = -3*d - 58. Let p = -5 + 8. Solve s - d = 5*s - 3*a, 2*s - p*a + 4 = 0 for s.
-5
Let b be 0 - (100/(-28) + (-4)/(-7)). Suppose 2*s + 2 = b*n - 4*n, 4*s = -n - 8. Solve -2*v = -n*y, v = -3*y - v for y.
0
Let p = -10 - -9. Let l(z) = -2*z**3 - z**2 - z - 1. Let f be l(p). Solve 2*c - w - f = -2, -2*c = 3*w - 11 for c.
1
Suppose 0 = 3*j + j - 56. Suppose 12 = 3*m + 5*h, -3*m + h + j = 2. Solve 5*d - 10 = -3*o + 5, -m*d = -4*o + 20 for d.
0
Let d be (18/(-24))/((-1)/16). Suppose -d = 5*c - 2. Let o be 1 + (c - -3 - -3). Solve 3*s + 20 = -o*l, -2*s - 2*l - 10 + 2 = 0 for s.
0
Let c(f) = f - 5. Let w be c(8). Suppose 4*b - 16 = -3*a + a, 5*a = -3*b + 47. Let n be 18/(-45) + 44/a. Solve 0 = -h - n*g - 15, 4*g - w*g = -4 for h.
1
Suppose 0 = 4*t + 2*n - 57 - 17, -2*t + 52 = 4*n. Let f = t - 15. Suppose 8 = 3*k - f. Solve k*a + 7 = 5*d, -4*d + 5*d - 5 = -3*a for d.
2
Let j = 662 + -662. Solve j*b - 4*b = -2*m + 22, -21 = -3*m + 2*b for m.
5
Suppose -q = -k + 1 + 1, -2*k - 10 = 5*q. Let g be k + (1 - (-14 + -1)). Solve -5*f = -2*y + g, 2*y + 2 = -f - 6 for f.
-4
Let s(z) = z + 3. Let p be s(-4). Let w be -5*(3/p + 4). Let y = w + 9. Solve 4*i - v = -15, -4*i + y*v + 7 = 31 for i.
-3
Let k = 10 - 7. Let z = -2 + 13. Solve k*d = t + 17, t + 3*d = -t + z for t.
-2
Suppose -52 = -7*a - 17. Suppose -a*z = -8 - 2. Let n = z + 9. Solve -4*i + 16 = 2*l, 0 = 4*l + 3*i - n - 1 for l.
0
Let f = 54 - 7. Suppose 3*j = -x + 23, 4*x - j - f = -4*j. Let a be -3 + (-4)/(x/(-26)). Solve -2*q = -5*u + a, -2*u + 3*q + 4 = q for u.
2
Let m(n) = -n**3 - 4*n**2 + 6. Let t be m(-4). Suppose 4*k + 2 = 5*a, 3*a - 7*a = -k - t. Solve -5*x = 2*b + 12, a*b + 6 = -3*x + 2 for x.
-4
Let x = -108 - -133. Let h = 1 + 8. Suppose 2*w - h = -w. Solve o = z - 2*z - 10, -w*z = 2*o + x for o.
-5
Suppose v + 46 = 3*w, -5*w + 12 = -v - 62. Suppose 5 + 19 = 6*i. Let h be 6/i*(-12)/(-9). Solve g = -5*y - 18, 0 = -3*y - h*g - w + 6 for y.
-4
Suppose 0 = -3*z - 0*z. Suppose z*x + 6*x - 18 = 0. Solve 2*s - r = x, 5*s = -r - 4*r + 30 for s.
3
Suppose -4*x + 3*m + 93 = 0, -3*m + 2 = -13. Let n = -22 + x. Solve 2*r + 5*o - 20 = 1, -21 = -n*r - 2*o for r.
3
Let m(k) = -k**3 + 7*k**2 - 7*k - 2. Let d be m(4). Suppose 0 = -4*h - 2*h + d. Solve 0*n + 4*n - 15 = 3*i, 0 = h*i + 3 for n.
3
Let u = 2 - 2. Let i be (-5 + 5)/((-2*2)/2). Solve i = 5*o - 5, 3*n + u*n - 9 = 3*o for n.
4
Let w(m) = -9*m + 93. Let i be w(10). Solve -i*c - 3*z - 15 = -5*z, -2*z - 3 = 3*c for c.
-3
Let m(a) = a**3 - 4*a**2 + a - 2. Let h(f) = -f**2 + 2*f + 28. Let x be h(6). Let c be m(x). Solve 3*r + 40 = 5*k, r = -c*r - k - 10 for r.
-5
Let d(h) be the first derivative of h**4/4 - 7*h**3/3 + 3*h**2 + 4*h + 8. Let l be d(6). Solve 5 = s - 2*w, 5*s + 1 + 44 = -l*w for s.
-5
Let z be 6/(-27) - (-30)/135. Let p = 4 - 12. Let u = p - -10. Solve 2*y = 3*v - 3*y - 2, z = u*v + 4*y + 6 for v.
-1
Let n(s) = s**3 + s**2 - 8. Let p be n(2). Solve 0 = -5*q + 4*a + 13, -3*q - 5*a + 26 = -p for q.
5
Let f = 17 + -15. Suppose -19 = -f*d + 3*a, 4*d = -0*a - a + 17. Solve -1 - 1 = 2*r, d*b + 9 = r for b.
-2
Suppose 0 = -4*z - 2*u - 10, -z + 3 - 23 = 4*u. Solve 4*r = -3*m + 3*r - 4, 2*m - 2*r = z for m.
-1
Let f(o) = -o - 5. Let c be f(-10). Solve -3*q = k + 1, k + q = 2*k + c for k.
-4
Let m be (33/5)/(-3) + (-9)/(-45). Let u be (0 + -1)*2/m. Solve 4*p + 18 = -i, 4*i + 15 + u = -2*p for i.
-2
Let c be (0 - (-4 - 0))/(4 + -3). Suppose y - 2*y = 5*r, 4*y - 15 = -5*r. Suppose h - 2*h - 8 = -n, -5 = 2*n + y*h. Solve f = t + t + 3, -n = -3*f + c*t for f.
-1
Suppose -2*h + 5 = k - 8, 0 = -h - k + 9. Solve 4*x - h = 8*x - 3*n, 5*x - 30 = -5*n for x.
2
Suppose 4*n + 20 = 2*x + 5*n, 3*x = -5*n + 23. Solve -5*b = -3*s - 23, -2*s - 3*s = 4*b - x for b.
4
Let s be 11/2 + 4/(-8). Suppose k - 3 - 1 = w, 4*w - 26 = -2*k. Suppose -48 + 6 = -k*t. Solve 13 = n + 2*n - s*b, 4*n = b + t for n.
1
Let s be (100/45)/(-10) + (-94)/(-18). Solve -6*i + 10*i - 17 = -x, -s*x - i = -28 for x.
5
Let t = 197 - 192. Solve 5*y - 20 = 5*h, 5*y + 0 = -t*h + 20 for y.
4
Let n(r) = 4*r + 3. Let p be n(-3). Let q = p - -12. Suppose 22*x - 30 = 17*x. Solve x = -5*u - z, u - 2 = 6*u - q*z for u.
-1
Suppose -58*w + 111 + 121 = 0. Solve d + 16 = -w*r, 5*r - 29 = 5*d - 74 for r.
-5
Let u(b) = -b**2 + 5*b - 4. Let y be u(3). Let j(z) = -2*z + 6. Let n be j(16). Let k = n + 33. Solve -4*h + k + 1 = -y*q, -q = 3*h - 11 for h.
3
Suppose 2 = -f, 3*h = -3*f - 0*f. Solve -s - 4*a - 11 = -0, -3*s + h*a = 5 for s.
-3
Let u = 362 + -359. Solve 2 = 3*h + 5*n - 11, 31 = -4*h + u*n for h.
-4
Suppose 2*c - 45 = -3*c. Suppose 0 = -2*g - 4*v + 8, -3*v + 4 = 4*g - v. Solve 5*l - 3*q = -q + 17, -l - q + c = g for l.
5
Let q = 83 + -117. Let f = 34 + q. Solve f = 2*l + u + 4, l + u = -0*l for l.
-4
Let r = 7 - 5. Let b(j) = 2*j**2 + 2*j**r - 3*j**2 + 0 - 4. Let w be b(-3). Solve -n = 5*k - 5, -3*n = -w*k - 7 + 32 for k.
2
Let x = -6 - -10. Suppose 2*y = -5*t - x, 40 = 3*y - 5*t - 4. Let p = -6 + y. Solve 2*l + p*v - 11 - 9 = 0, -4*l = -v - 15 for l.
5
Let c = -24 + 31. Let m = 7 - c. Solve -r = o + 4*r - 2, m = r for o.
2
Let t(u) = -u**2 - 38*u - 162. Let x be t(-5). Solve -4*k = -0*y - 2*y + 6, -5*k = -x*y + 5 for y.
-5
Let t = -581 - -581. Solve 2*n - 4*z - 4 = t, n + z - 4 = 1 for n.
4
Let j(s) be the third derivative of -s**5/60 - s**4/24 + 4*s**3/3 + 5*s**2 + s. Let h = -2 + -1. Let x be j(h). Solve 5*t + 15 = 0, -c - 4 = -2*c + x*t for c.
-2
Let i(f) = f**3 + 8*f**2 + 9*f + 2. Let l be i(-6). Suppose -5*m + n = -2*n - 40, -3*m + 24 = -4*n. Solve 4*b = l, -3*a - 4*b + 18 + m = 0 for a.
2
Let t = 4 + -4. Solve t = -3*u - 12, -8*u + 3*u = 4*x + 36 for x.
-4
Suppose -3*g = x + 11, -3*g = x + g + 12. Let n = -8 - x. Suppose 5*w + l - 5 = n, -5*w + l = -2 - 13. Solve -r + 1 = w*y - 5, -y = -2*r + 7 for y.
1
Suppose -13*t + 67*t = 216. Solve -3*n + t*w = n + 12, -2 = 2*n + 2*w for n.
-2
Let t be (1 + 0)*(15 + -15 + 2). Solve 0*p + 3*p - 5*m - 13 = 0, t*p = 5*m + 12 for p.
1
Suppose -p - 2*o + 8 = 0, -3*p + 4 + 10 = o. Suppose -3*v = -4*j - 8, 5*v + 4*j - p = -12. Solve 4*z - 2*r = -14, 4*z + r = -v*r - 17 for z.
-4
Let x(v) = v**2 - 10*v + 16. Let h be x(8). Solve 0 = -2*f + 4*i + 8, 0 = -5*i - h*i for f.
4
Let r be (-35)/(-14)*(-48)/(-60). Solve r*y - 5*a - 5 = 7*y, -2*a + 33 = -5*y for y.
-5
Let x be (-1 + (-26)/(-6))*(-126)/(-105). Solve -4*o + 7*l = 12*l, -x*l = -3*o for o.
0
Suppose 0 = -9*r - 7 + 52. Solve r*k = 4*p - 24, k - 5*p + 8 = -1 for k.
-4
Suppose 2*x + m - 1 = 2, -2*x + m = 3. Suppose x*l = -5*l. Suppose -3*r + 6 = -6*r, -4*t - 4*r - 8 = l. Solve 3*w + 3*u + 27 = t, 0*w + 3*u + 31 = -4*w for w.
-4
Suppose -3*w + 192 = w + 4*c, 2*w = 2*c + 84. Suppose 5*m - 5*t = w, 2*m + 3*t = -m + 15. Solve 5*q + 2*i + m = -18, 11 = -2*q - i for q.
-3
Let u = 4 - 2. Let v = 6 - u. Solve 2*k + 0 = -x - 2, -2*x = -v for k.
-2
Suppose 4*y - 10 = 3*v, -11*y = -13*y - 4*v + 16. Solve -5*o = 3*g - 5 + 8, y*g + 2*o - 10 = 0 for g.
4
Suppose 79 - 359 = -40*s. Solve 5*r + q = -0*q + 2, 0 = -4*r + q + s for r.
1
Suppose 2*y - 10 = -3*y. Let b = 21 - y. Let l(s) = -s**3 + 28*s**2 + 2. Let g be l(28). Solve -5*x + 21 = 3*u - b, -10 = -g*x for u.
5
Suppose 0 = -2*d + 14*d - 96. Solve -3*j - 4*h + d = -3, 0 = j + 5*h - 11 for j.
1
Let g be 15*(0 - 4/4). Let k = 17 + g. Let b be (-4 - -6 - k)/(-2). Solve 2*w + 4*x - 4 = 2*x, 4*w - 2*x - 26 = b for w.
5
Suppose 3*h + 2*t = 8, 2*h + 5*t + 5 + 8 = 0. Suppose -2*m = -h*m - 40. Let w be 6/m - (-130)/50. Solve -w*x - 10 = 0, -x - 3 + 4 = 3*r for r.
2
Suppose -3*t = -4*r + 31, -4*t - 25 = t. Let z be -6*(2/r + 1). Let c = -5 - z. Solve 2*o - 2*n = 5 + 13, 31 = c*o - 3*n for o.
4
Suppose 13 = -s - 3*o + 3, 0 = -4*o - 16. Let u = 223 + -215. Suppose s*y + 4 = u. Solve 2*h = 5*z - 23, -16 = -4*z - h + y*h for z.
3
Let u = -8 - -12. Let b be (1/(-3))/(1/(-9)). Let s = b + 3. Solve s = -3*z + q, -3*z - 21 = u*q - 0*q for z.
-3
Let q be 5/(-2)*966/(-35). 