- d = 2*t for c.
-4
Suppose -50 = 21*f - 46*f. Solve -f*j - 3*j + 12 = 4*s, -4 = j + 4*s for j.
4
Suppose -19*g + 5 + 33 = 0. Solve -4*z = -0*n + 5*n - 10, 12 = g*z - n for z.
5
Suppose 0 = -c + 2*r + 6, 4*c = 5*c - 5*r - 9. Let x(t) = t**2 - 57*t - 378. Let k be x(63). Solve -j + 11 = -4*l - k*l, c*l = -j - 21 for j.
-5
Let k be (-24)/(-16) + 2/4. Solve k*s + 2*q = s + 1, -5*s - 28 = -q for s.
-5
Suppose 6 = -i - 4*w, -4 = -3*i + 5*w + 46. Solve -5*u + 5*n - i = 6*n, 14 = u - 3*n for u.
-1
Suppose 0*u = 4*u - 16. Suppose 0 = -22*g + 1745 + 125. Suppose -19*j = -67 - g. Solve j = -4*f, 3*a - a + u*f = -16 for a.
-4
Let p = 11 + -7. Solve -w - r = 2, 9*r + 13 = -4*w + p*r for w.
3
Let m be ((-32)/20 - (-3)/5) + -57. Let g = m + 78. Solve -5*o + g = h, -h + 0 = 2*o - 11 for o.
3
Suppose -535 = -56*i + 81. Solve 2*l = -a + i, l - 3*a = -5 - 0 for l.
4
Let h = 24 + -12. Suppose 7*d + h = 10*d. Solve 2 = -5*k + 3*p - 4, 0 = 3*k + 2*p - d for k.
0
Suppose -18 + 2 = -2*t. Suppose t = 10*q - 12. Solve -m + 0 = -q*o - 3, 0 = -3*o + 2*m - 6 for o.
0
Let t = -5 - -8. Suppose -t*l = -l - 4. Suppose k - l*k = -2. Solve 0*r - 5*r - k*d = -5, -5*d = 25 for r.
3
Let q = 31 - -6. Let d = 41 - q. Solve d*k - 7 = -3*b, 2*k + 3*b - 14 = 5*b for k.
4
Suppose -5*n = -n - 20. Suppose 2*k + 3*k = 3*a - 1, 2*a + 4*k - 8 = 0. Solve s + 5 = -a*b, 4*b + 6 = -s - n for s.
1
Suppose 0 = -o + 4*z - 1 + 9, -19 = -5*o - z. Solve 5*r + 15 = 2*r - o*x, 0 = -r + 4*x + 11 for r.
-1
Let b(w) = -w**3 - 9*w**2 - 13*w - 36. Let p be b(-8). Solve 2*z - 4 = 0, -6*x = -x + p*z - 23 for x.
3
Let t be ((-5)/(-10))/(2/8). Suppose 1 = -t*q + 3. Suppose -d + q = -1. Solve 3*g + 15 = d*y - 2, -g = y - 1 for g.
-3
Let s(y) = y**2 - 6*y + 6. Suppose -x = -8 + 1. Let g be s(x). Let o = 16 - g. Solve -o*d = -5*h, 0 = -2*h + 2*d - d for h.
0
Suppose 0 = 10*u + 6 - 26. Solve -3*q + u*d + d - 6 = 0, 5*q + 10 = -4*d for q.
-2
Let v(c) = -c**3 - c. Let j = -9 + 12. Suppose -4*b = -3*b + p - 4, -3*b + j*p = 18. Let d be v(b). Solve -k = -d*z, 5*k = 4*k - z - 6 for k.
-4
Let g be (-3)/12*-1 - (-114)/24. Suppose -2*m - 19 = -5*q, m + 8 = g*q - 9. Solve u + 11 = -u - 3*c, 13 = -u - q*c for u.
2
Let h be (0 - 1)/(((-18)/(-27))/(-2)). Suppose 2*o + 6 = 5*k, 0 = -3*k - h*o - 7 - 2. Solve k = -3*v + 5*p - 22, -v + 3*p = -2*p + 24 for v.
1
Let u(d) = -5*d**2 + 2*d + 3. Let s be u(3). Let b = 46 + s. Solve -k = 2*k - 5*j - 4, -5*j - b = 0 for k.
-2
Let z be (-8 - (0 - 12))/((-8)/(-18)). Solve -q = -4*y + 5*y - z, 12 = 4*q - 2*y for q.
5
Suppose 8*p = 23*p - 105. Solve m - q = -3, p*m - 4*m - 5*q = -19 for m.
2
Suppose 4*y + q + 109 = 0, -3*y - 4*q = -7*y - 124. Let d = y - -52. Suppose -5*a = 3*s - d, -4*s - 7 + 22 = a. Solve -4*n + 17 = -h, 3*n + n - 19 = a*h for n.
4
Let o be -1*((2 - 3) + -1). Let l = o + -2. Solve 3*f + 20 = 8, l = -2*b - f for b.
2
Suppose -3*s = -2*p - 95, 20*p - 19*p + 32 = s. Solve 0 = -4*d + 3*x - 0*x + s, -3*d = 2*x - 2 for d.
4
Suppose 0 = -2*x + 4 + 42. Let n = 24 - x. Solve 2*t + 18 = -3*p - 0*t, 2*p - n = 3*t for p.
-4
Let l(f) = f + 14. Let d be l(-10). Suppose 4*x = 3*s + s + 24, d*s = -x - 4. Solve -r - 4 = -3*h, 8 = h - x*h - 2*r for h.
0
Let b(a) = -8*a - 39. Let o(u) = 2*u + 10. Let l(m) = -2*b(m) - 9*o(m). Let h be l(-7). Solve -10 - h = 4*v, 2 = -2*i + 2*v for i.
-4
Let k(h) be the first derivative of h**4/4 + 4*h**3/3 - h**2 - 4*h + 18. Let w be k(-4). Solve 2*u + 11 = -3*s, -w*u + 4*s = -0*s - 28 for u.
2
Suppose 4*r + 152 = -2*j, 4*j + 33 = -r + j. Let n = r + 50. Let f be 1/(-2)*(0 + 0). Solve f + 4 = 3*o + 5*t, 3*o - 2*t = n for o.
3
Suppose -14*i = -7*i - 14. Solve 5*c - 17 = -k, -i*c = -4*c + k + 11 for c.
4
Let t(s) = -s**3 - s**2 + 2*s + 2. Let u be t(-2). Solve q + 4*i - 17 = 0, -5*q - u*i - 20 = -3*i for q.
-3
Let w(i) = -11*i - 92. Let b be w(-9). Solve 0 = 2*z + 2*q - b*q + 20, 3*q - 16 = 2*z for z.
-5
Let y(o) = o**2 + 8*o - 5. Let f be y(-9). Let b be (-3)/(9/(-12)) - f. Let c be (-1)/(b - (-1)/(-2)). Solve 5*r + 4*h = 6, -r - h - 1 = -c for r.
2
Suppose 19*i + 2 - 40 = 0. Solve -5*x + 3 = -i*w - 10, 0 = 4*x - 4*w - 20 for x.
1
Let g be (-31)/(-3) - (-17 - 735/(-45)). Solve 2*m + 14 = g*r - 7*r, -3*r - 7 = 2*m for r.
1
Let s = -33 - -53. Let r = s - 20. Solve 1 = -x - r*x - 3*m, 5 = 5*m for x.
-4
Suppose 5*p + 14 - 44 = 0. Solve o + 1 = 0, -5*z = 2*o - p*o - 14 for z.
2
Let a = 705 + -702. Let r(l) = l**3 - 3*l**2 - 2*l - 3. Let j be r(4). Solve -a*o - 15 = -4*n, -5*o = -4*o - 2*n + j for o.
-5
Let f = -141 + 143. Solve -2*p + 2*u = -5*p - 11, 5 = 3*p - f*u for p.
-1
Let l be 6 + (-1 + 2 - (5 - 3)). Suppose l*n = 62 + 58. Solve 0 = 2*z + z - 3*c + n, -c = -3 for z.
-5
Let i = 52 + -58. Let x = -2 - i. Solve 23 - 7 = -2*k - 4*l, -4 = -k + x*l for k.
-4
Let c be (-32)/2 - (24 - 40). Suppose -2*h - 2*h = 5*f - 52, 20 = f + 4*h. Suppose -3*p = -p - f. Solve p*i - w - 8 = 8, c = -i + 4*w + 19 for i.
3
Suppose -85*c - 40 = -95*c. Solve -3*j = -q + 12, -5*q + c*j + 23 = 7 for q.
0
Suppose 2*u - 31 + 21 = 0. Solve 3*s = -5*t - 0*t + 23, 24 = u*t + 4*s for t.
4
Let v(z) = -2*z**3 + z + 13. Let g be v(0). Suppose -2*r = -17 + g. Solve 0 = -2*o - b - 8, 0*o - r*b = o + 7 for o.
-3
Let g(k) = 3*k + 4. Let f(j) = -j. Let w(q) = 2*f(q) + g(q). Let a be w(-5). Let s be (a/3)/(3/(-18)). Solve 2*h = 4*n - s*h, 1 = 5*n - 4*h for n.
1
Let k(v) = v + 26. Let g be k(-15). Suppose -4*d = -88 - 72. Let r be (-2)/(-14) + d/14. Solve i = -r*h + 8, -6*h + g = -h + 4*i for h.
3
Let t(u) = -3*u - 2. Let x(d) = -d**2 + 22*d - 23. Let q be x(21). Let c be t(q). Let f = 14 + -10. Solve 8 = f*b + c*k, 5*b - 4*k - 40 = k for b.
5
Let n = -62 - -47. Let w be (-2 + 5)/(n/(-20)). Solve 5 = -5*h, -4*u + w*h - 2*h + 2 = 0 for u.
0
Let s(u) = -10*u**2 + 2*u + 2. Let i be s(2). Let p be (456/30)/((-3)/15*-2). Let n = p + i. Solve -3*q = 2*v - 9, -v + n*q = 4*v + 12 for v.
0
Suppose 6*z = 9*z - 66. Solve 0 = -s - 3, 2*o - z = 4*o + 4*s for o.
-5
Suppose 4*g + 38 = 2*z, -2*z = -z - 5*g - 34. Let b = 2 - z. Let x(s) = s**2 + 7*s + 5. Let o be x(b). Solve -5*r - 10 = 3*w, -3*w - 3 + o = -r for w.
0
Let j be 12/18*(-6)/(-2). Solve 5*w + 3*p + 8 = 0, -j*p - 8 = 5*w - 1 for w.
-1
Let a = 13 + -3. Let q be (-3 - a/(-2)) + 14. Suppose 10 = 11*s - 6*s. Solve -q = 4*r - 4*b, 4*r + 2*b = -s*b - 16 for r.
-4
Let r(k) = 12*k - 18. Let y be r(7). Let g be (0 - 1)/((-6)/y). Solve u + 2*h + g = 0, -5*u - 15 = 3*h + 19 for u.
-5
Let p(i) = -i + 51. Let b be p(19). Let k be 4 - (b/(-20) + 6/(-15)). Solve -9 = 5*o - f, -k = o - 3*f + 7 for o.
-1
Suppose -7*v = 119 + 105. Let q be (0 + -3)/(4/v). Solve 0 = 4*d - 3*i + 21, 6*i - q = 4*d + 2*i for d.
-3
Let r be 5 - (130/(-2) - -5). Suppose 0*v + 49 = 2*v + 3*x, -3*v + 4*x + r = 0. Solve 5*l - 21 = 2*w, -2*l - 3*l + w + v = 0 for l.
5
Let x(l) = 11*l**2 - 20*l + 1. Let v be x(2). Solve -5*b - 5*q - 25 = 0, v*q - 3 + 12 = 3*b for b.
-2
Suppose 0 = -4*v + 6 + 38. Let d be (-36)/(-198) + (-2)/v. Suppose 4*r = 7 + 5. Solve 4*h - r*f - 15 = 9, 2*f + 8 = d for h.
3
Let p(t) = 8*t - 50. Let f be p(7). Let u be 11/(-33) + 2/f. Solve -5*h - 31 = 3*l, u*l + 3*l + 3*h + 21 = 0 for l.
-2
Let v be (-19)/(-4) + 1/4. Let y(i) = -i**3 + 12*i**2 + 14*i - 4. Let x be y(13). Let u = x - v. Solve -2*s - 3*g - 3 = 3, u*s - 28 = 4*g for s.
3
Suppose 0 = 2*z - 24 + 18. Suppose -z*n + 3 = -3. Solve -5*t + 5 = -2*a, a + 1 = n*t - 0*t for t.
3
Let o be (6/4)/((-9)/(-12)). Suppose 4*r + r = 15. Let b be 2/((7 + -9)*-1). Solve 3*z = -r*p + 12, -o*z + 5*p = -2 + b for z.
3
Let y be (8 + -3)/15*0. Let k be (-5)/(-15)*33 - (1 + y). Solve 0 = -5*j + 10, 5*j = 3*q + 9 + k for q.
-3
Suppose -34 = 22*p + 714. Let x be (-2)/3 - 386/6. Let i = p - x. Solve -6*h - 2*s = -h + i, 0 = 5*h + 5*s + 40 for h.
-5
Suppose 4*z - 33 = z. Let j(l) = 19*l - 55. Let c be j(3). Let a be 0 - (-4 + 1)/1. Solve p - 4*r = z, -22 = c*p - 0*r + a*r for p.
-5
Let t be (0 + 5 + 4)/(2/(-14)). Let f = 66 + t. Solve -3*w + 11 = -5*u, 2*u + 3 = -w - f*u for w.
2
Suppose 1221*n = 1215*n - 12. Suppose h + 3 - 4 = 0. Let c = h - n. Solve -c*u = 5*g - 2, u = -2*g - 0*u for g.
-2
Let n be (3 - -2 - 1) + (1 - -1). Let x = n + -4. Solve -2 = -x*o + a + 4, a + 14 = 4*o for o.
4
Let l(x) = -7*x - 9 + 0*x - x**2 - 2*x. Let r be l(-7). Su