-3*f - a, f - 2 = -x*c - 2*c for f.
-2
Let b be (68 + 4)/4 + -2. Suppose 66*n - 70*n + b = 0. Let w = 6 + 0. Solve -3*k - 4*c - 10 = -w*k, n*c = -k - 18 for k.
-2
Suppose 0 = 2*u + 4*w - 29 + 9, 3*w + 30 = 3*u. Solve -j = -b - u, 3*j = 2*b - 0*b + 25 for j.
5
Suppose 4*m = -15*m - 228. Let k be (-4)/16 - 51/m. Solve 2*l - 3 = -h, -2*h = -k*l - 0*l + 10 for l.
2
Let y(u) = -23*u - 133. Let v be y(-7). Solve -2*j + 0*k - 7 = k, 5*j - k + v = 0 for j.
-5
Let l(h) = h**2 - 32*h - 766. Let n be l(48). Solve -2*r - 2*r - n*b - 4 = 0, -r + b = 1 for r.
-1
Suppose -2*t = 2*f - 12, -f + 28 = 2*t + 18. Solve -21*o + t = -17*o + 3*w, -o = -2*w - 1 for o.
1
Let u = 10067 + -10065. Solve 4*k - u*l + 10 = 0, 3*k + l = -3*l - 2 for k.
-2
Let f(d) = -17*d + 83. Let s be f(4). Suppose -5 = -s*j + 40. Solve 2*p - x = -j*x + 16, 4*p = x + 12 for p.
4
Let n(b) = b**3 + 5*b**2 + 3*b - 7. Let i = 32 + -26. Let k be 2*(-1 + 1 + (-9)/i). Let z be n(k). Solve 9 = w + 2*h - z, 4*h - 25 = -3*w for w.
3
Let b be 135/(-12) + (-12)/32*2. Let g be (-10)/(-25) + b*(-8)/60. Solve v + t + 14 = -4*t, g*v + t = -1 for v.
1
Let q(v) = 124*v + 7938. Let z be q(-64). Solve -29*j = -34*j + 2*o - 33, 0 = -z*j + o - 14 for j.
-5
Let f(h) = h**2 + 19*h + 74. Let j be f(-20). Let w = 106 - j. Solve 0 = -x - 5*m + w, 0 = -x - 3*m + 2*m for x.
-3
Let n(r) = 4*r**2 - 35*r + 6. Let h(j) = 2*j - 1. Let m be h(5). Let v be n(m). Solve 5*g + 25 = 4*p, 3*g - 4*p + v = -7*p for g.
-5
Let k be (4 + -4 - -1)*(185 - 0). Suppose 0 = -15*z - 65 + k. Solve -4*l + 4 = -2*b, 4*b + l + 3*l = -z for b.
-2
Let d be -2*(6/(-12) - 10/5). Suppose -45 = -5*y - 3*o, -d*o - 50 = -2*y - 1. Solve 3*w = 3*s - 0*w + 12, 4*s + y = 2*w for s.
-2
Let j(t) = 2*t**2 + 11*t + 16. Suppose 3*k + 4*v + 6 = 20, -3*v + 15 = 0. Let r be j(k). Solve 2*f + 2*u - 13 = -5, 0 = 3*f + r*u - 8 for f.
0
Let d = -289 - -292. Suppose 0 = 3*y - 9 - d. Solve -g + 4*r = 9 + 4, -4*r = y*g - 8 for g.
-1
Suppose -11 = -4*d - 160*t + 161*t, -4*t = -5*d + 11. Solve -d*a = -6, -3*n - 71*a + 27 = -68*a for n.
7
Let a = -2853 - -2865. Solve -2*n + k - 1 + a = 0, 4*n - 7 = -k for n.
3
Suppose 2*q + 3*q = 115. Let c = -20 + q. Suppose 3 = 3*u, f + 4*u = 3 + 3. Solve -4*d - 26 = -2*y, 2*d - c*y + 25 = f*y for d.
-5
Let j = 110 + -47. Let c = 63 - j. Solve r + 3 = -g - c*g, -4*r - 3*g - 7 = 0 for r.
2
Let v = -42 - -60. Suppose 3*s + 3*s - v = 0. Suppose -s*g + 34 - 28 = 0. Solve g*w = 3*l + 3*w - 2, -4*l - 2*w = -2 for l.
1
Let g be -1*2*154/28. Let r(j) = j**2 + 14*j + 35. Let s be r(g). Solve 3*m - 28 = 5*l, 0 = -5*m + s*l + 2*l + 25 for m.
1
Let b be (-174)/(-10) + -7 + 14/(-10). Solve 2*t - 1 = 1, b = -j + 3*t for j.
-6
Let g be 17 + (-18)/((-270)/(-195)). Solve 0 = -g*i + d - 17, -31*d = -4*i - 26*d - 5 for i.
-5
Let h(n) be the second derivative of n**3/2 - 15*n**2/2 - 245*n. Let d be h(6). Solve 3*m + 5 = s, 0 = -d*m - 0*m - 5*s + 7 for m.
-1
Let v(n) = 5*n - 71. Let h be v(16). Let f be ((-63)/(-35))/h + 74/5. Solve -f + 7 = 2*l, 16 = 3*s - l for s.
4
Suppose -4*h = -5*b - 10 - 13, 25 = 4*h - 3*b. Let f = 3 - -1. Suppose v + h + f = 2*g, -3*v + 44 = 5*g. Solve -x + 3*j = -2 - 4, x - 4*j = g for x.
3
Suppose -10*n = -5*n + 20, 4*n + 4 = -3*l. Solve 5*c - 3*t + 35 = 0, l*c + 4 = -5*t + 13 for c.
-4
Let v(w) = -53*w + 3729. Let b be v(70). Solve 23*c - 28*c + b = 3*h, 5*h + 3*c - 5 = 0 for h.
-2
Let n(v) = 2*v + 3*v + 3 - 6 - 1. Let w be n(2). Solve 16 = -w*g + 3*g + 4*t, 4*t + 12 = -4*g for g.
-4
Let n = 13876 + -13876. Solve -3*k + 4*b - 28 = n, 5*b + 85 = -3*k + 93 for k.
-4
Let y be -5*2*9/(-15). Suppose -21 = -k - 4*p, -3*p + 0*p - 3 = 0. Let m = k - 20. Solve 0 = m*t + 4*b - 1, -t - t = -4*b - y for t.
1
Let r(w) = w**2 - 8*w + 10. Let o be r(7). Suppose 2*m + 2*m - 15 = -j, -o*j = -m - 97. Suppose 11*d - j + 9 = 0. Solve 2*a = d*z - 6, 5 + 1 = 3*z for a.
-1
Let u = 159 - 158. Let a be (-5 - u) + 11 - 0. Solve 3*n - n - 20 = -4*l, -l + n = -a for l.
5
Suppose -4*l - 4*b + 36 = 0, -3*l + 2*b + 44 = 7. Solve 5*m - 5*r = 30, -36 + l = 5*r for m.
1
Let b = 9383 + -9367. Solve -3*m = -4*h - b, -10*m = -5*h - 5*m - 25 for h.
-1
Let a be ((-2)/4)/((-18)/612). Suppose 11*u - 104 - a = 0. Solve 4*g + g - 5 = 5*t, 5*t + u = 3*g for g.
-3
Let q = 242 - 239. Solve q*n + n + 4*r = 40, -5*n + r + 20 = 0 for n.
5
Let i(r) = r**2 + 52*r + 663. Let l be i(-22). Solve -l*y - 4*b = -19, 2*b - 9 = -1 for y.
1
Let q(n) = n**2 + 18*n - 58. Let f be q(-17). Let m be (f/(-12))/(11/44). Solve -3*y - y + 30 = 2*d, 4*d + y = m for d.
5
Let x be (-46)/345*(-180)/8. Solve -15 = -x*u - 12, 3*u - 9 = 3*f for f.
-2
Let z = 129 - 165. Let m be (5 - z/(-8)) + (-10)/(-4). Solve 4*l = m*l + 5*u - 5, 2*u = 0 for l.
-5
Let n be (884/4641)/((-1)/(-14))*6/8. Let s be (84/49)/(2/14). Solve -2*v + 4*o + 16 = 0, -n*o - s = o for v.
0
Let t = 44 + -50. Let h(x) = -3*x**2 - 9*x + 8. Let f be h(t). Let s = -17 - f. Solve d = 2*c + 13, -5*d + s = -c - 0*d for c.
-4
Let j be (-3 - 21/(-3)) + 1436. Suppose 5*x = -3*c + 5*c + j, -20 = -4*c. Let d be x/70 - (-2)/(-14). Solve -l - 17 = -5*g, -35 = -5*l + d*g - 9*g for l.
3
Let u(d) = 6*d**2 - 7*d - 1. Let o be u(-1). Let j(x) = -2*x**2 + 25*x + 8. Let m be j(o). Solve -y - 2*y - 5*t = 40, -y - m = 3*t for y.
-5
Suppose -2*v = 4*r - 83 - 247, 2*r = -5*v + 169. Solve r*j - 3*w + 15 = 79*j, 3*w - 7 = 2*j for j.
-8
Let u = 5 + 1. Let x = -463749 - -463759. Solve -4*d - b = -4*b - x, d - u = -b for d.
4
Let i be (115/(-92))/(1/6)*-10. Suppose -250 + i = -35*q. Solve 3*l + 5*g = -22, q*l + 3*g = g - 24 for l.
-4
Let k = 2079 - 2075. Solve 9 = 4*p + v + 4, -23 = -k*p + 5*v for p.
2
Suppose -11*h + 6 = -8*h. Suppose -h*q + 9*q - 56 = 0. Suppose w = -3*w. Solve 3*r = 2*n + 6, -4*n + q = -r - w for r.
4
Let x(l) = 34*l - 104. Let r be x(3). Let a be ((-360)/24)/(3/r). Solve 0 = s - 4*z - 0*z + a, 0 = 2*z - 4 for s.
-2
Suppose -5*l - 3 + 18 = 0. Suppose 4*x + 92 = 14*b, 5*x - 63*b = -65*b + 41. Solve -3*u - x = n + 11, -l*n - 23 = 4*u for u.
-5
Let b = -106 + 105. Let m be (1 + -5 + 3)*(b + -1). Solve 0 = -2*j - m*d, 2*d + 3 = -j + 6 for j.
-3
Let k be 6/(-9)*(-9 - 36). Suppose k*q = 33*q. Solve -4*z - 2*o = -q*o, 0 = -z - 5*o - 9 for z.
1
Suppose 0 = -5*p + 4*a + 8, 0*a = -4*p + 3*a + 6. Suppose -46*j + 44*j + 18 = p. Solve -q = 4*s - 6*s - 8, -j = -3*q + 3*s for q.
-2
Let k be -11 - 7/((-35)/15). Let u be k/(48/(-27))*-2. Let p be (-1)/(u - -9 - 1/4). Solve h - 3 = 5*s + 5, p*h + 2 = 3*s for s.
-2
Suppose -3*p - 3*u = -81, 2*p + 2*u + 3*u = 45. Let j be 90/(-27)*(-36)/p. Solve 0 = -5*b, 3*c - 4*c - 5*b - j = 0 for c.
-4
Let k = 286 + -287. Let a be -3 + 9 + -3 - k. Solve -a*y - 3*x + 13 = 5, -3*y + 2*x - 11 = 0 for y.
-1
Suppose -114*p - 548 = -251*p. Solve -z + 19 = -p*v, -14 = -z - 3*v - 23 for z.
3
Let r(v) = -4*v + 81. Let p be r(19). Solve -4*f + 5*l + 48 = 0, p*l + 55 = 27*f - 22*f for f.
7
Let v(b) = 2*b**2 - 58*b - 58. Let f be v(30). Solve -l + 5*s + f = -3*l, -2*l - 2 = 3*s for l.
-1
Let c(m) = 4*m + 7*m**2 - 124 + 127 - 2*m**2. Let o be c(-1). Solve -3*l - 2 = -o*g - 37, 2*g - 4*l + 30 = 0 for g.
-5
Let h(v) = -2*v**3 - 79*v**2 - 26*v + 518. Let i be h(-39). Solve -5*j + 22 = -2*m, -13*j - 8 = -i*j - 5*m for j.
6
Suppose 456*u - 454*u - 14 = 5*h, 3*u - 44 = -4*h. Solve -n = -5*l - u, -l + 3*l = -4*n - 18 for n.
-3
Let d = -4792 - -4797. Solve -5*y - 8 + 13 = -5*r, d*r - y = -17 for r.
-4
Let b = -4741 + 4743. Solve 8*o - 14 = 6*o - y, -b*o - 4*y + 26 = 0 for o.
5
Let m be ((-5 - -3) + 1)*-2. Suppose -10*h + 7*h = x, 4 = m*x + 2*h. Solve 2*j = -x*a + j + 1, -4*a = -4*j - 12 for a.
1
Suppose -3*r = 5*m - 32, 7*r + 2*m = 2*r + 66. Solve -4*q + 3*f + r = 16, -2 = -f for q.
1
Suppose 0 = 129*a - 472 - 44. Solve -a = -13*t + 18*t + u, -4*u = 5*t + 1 for t.
-1
Suppose 19 = 4*w - 3*x, 80*x - 75*x + 29 = 6*w. Solve q + 20 = w*j + 8, -6 = -j + q for j.
2
Let d = 4828 + -4823. Solve -a + 5*m = 6*m - d, -m = 2*a - 6 for a.
1
Let k(b) be the first derivative of -b**3 + 5*b**2/2 + 3*b - 4. Let h be k(2). Solve 0 = 4*u + 5*x + 9, u + 0*x - 2*x = h for u.
-1
Suppose -9*r - 3*q = -34 - 5, -4*r + 13 = -3*q. Suppose 93*h = 94*h. Solve r*p + 16 + 1 = -m, -3*p + 4*m + 11 = h for p.
-3
Let g = 5 - 4. Let s be ((-2)/(-4))/(g/4). Let a be 29/7 + (-240)/(-280