 -2*x - x, -y - 5 = -a*x for y.
0
Let n = -145 + 147. Suppose p - 20 = -p + n*w, 0 = 2*p + 3*w. Solve 0 = 5*g - 4*a - 6, -2*g - 1 + p = a for g.
2
Let z be (-685)/45 + 4/18. Let w(o) = o + 20. Let i be w(z). Solve 6*r - r = i*g + 10, 0 = -3*g - 3*r + 6 for g.
0
Let v = -4797 + 4820. Let k = -46 + 67. Solve -3*f = 4*n + v, 4*n + 2*f + k = f for n.
-5
Let h be (6/(-1))/(-3) + 2. Suppose h = d + 64. Let s be 24/5 - 12/d. Solve 7*c + s*z + 2 = 3*c, -z - 12 = -5*c for c.
2
Let x(h) = 2*h**2 + 12*h + 7. Let c(p) = -p**2 - 11*p - 7. Let n(r) = 6*c(r) + 5*x(r). Let i be n(-1). Solve -2*o = -g + 7, 0 = -3*g + i*o + 8 + 10 for g.
5
Let l be 6 + (-1 + 2)/(-1). Suppose 2*s - 4*p - 66 = 0, 2*p - 4*p - 114 = -4*s. Suppose s = y + 8*y. Solve 2*z + l*r = 7 + 21, -32 = -y*z - 5*r for z.
4
Let u(z) = -9 + 0*z + 11*z + z**2 - 1 - 2. Let j be u(-11). Let g be 45/j*(-8)/6. Solve -5*s = 5*l + 20 - g, -2*s = 3*l + 8 for s.
-1
Let l = -760 - -760. Solve 4*d = -l + 8, -2 = -2*f - 2*d for f.
-1
Let b = 90 + -79. Suppose -v = -4*d - b, 2*d + d + 55 = 5*v. Solve 5*k - k = -3*t + 9, 0 = 4*t + 5*k - v for t.
-1
Let l be (-12)/(-7)*((-66)/(-4) + 1). Suppose 5*y - l = -5*y. Let c(n) = -15*n - 1. Let o be c(-1). Solve y*v = 5*i + o, 14 = -4*v + v - 2*i for v.
-2
Let p = 487 + -467. Solve 4*g = -5*i + p, -2*g + 0 + 10 = -3*i for g.
5
Suppose 0*n - 30 = -5*n - t, 3*n = t + 10. Let l be n + -2 + 2 + 2. Solve k = 4*v - 6, 3*v + 3*k = -2*k - l for v.
1
Let n = -70 - -100. Suppose -3*x - n = -8*x. Solve b = -5*i + 7 + 7, 3*b - i = -x for b.
-1
Suppose 4*h - 4*v = 96, 12 = h + 2*v - 7*v. Let g be (-6)/2*(-45)/h. Solve -g*d + 15 = -5*i, 3*i - 8*i + 12 = 4*d for d.
3
Let i = -9 - -6. Let u(v) be the second derivative of v**5/20 + v**4/6 - 2*v**3/3 - 8*v. Let q be u(i). Solve -3*a = -9, 11 = q*p - 2*a + 29 for p.
-4
Let s be (36/30)/(4/10). Suppose s*t + 19 = -8. Let n(z) = z**3 + 9*z**2 - 2*z - 6. Let w be n(t). Solve -6 = -4*d + 2*k, 0*d - 3*d + 4*k = -w for d.
0
Let f = 5 + -17. Let r be (-4 - -13) + f/3. Suppose -r*i = 2*i - 14. Solve i*l + 3 = w, 2*w - 7 = 6*l - l for w.
1
Suppose -4*m + 12 = g - 5*g, -2*g = -4. Suppose -19 = -8*r + m. Solve 4*l - 11 = p, l = 1 + r for p.
5
Let z(n) = n**3 - n**2 - 3*n + 1. Let l be z(3). Let d be ((-32)/l)/(11/(-55)). Suppose -4*r + d + 4 = 0. Solve 0 = -2*g - b + 3, -b + r*b = -g + 5 for g.
1
Suppose j = 0, -3*j = 2*g + 1 + 11. Let n be (-21)/(-12) + g/(-24) - -2. Solve l = 3*x + 20, -n*l + 23 = -5*x - 22 for l.
5
Let n be (-26 - -26)*1/2*1. Solve 5*y = -4*z - 35, 0 = -n*y + y + 5*z + 28 for y.
-3
Let g be -1 + ((-50)/12 - 9/(-54)). Let c be 36/(-45) + (-29)/g. Let o = 6 - 4. Solve 3*a + 2*u + o*u + 6 = 0, -2 = c*a + 4*u for a.
2
Let o be ((-6)/1 + 9)*(-2)/(-3). Solve 2*f - j - o = 0, 4*f - 4*j - 8 - 4 = 0 for f.
-1
Let b(x) = -32*x + 21*x - 1 + 2. Let w be b(-5). Let s be (w/98)/((-4)/(-14)). Solve 0 = -3*d + s*v + 2, -7*d = -5*d + 4*v - 12 for d.
2
Let v(g) = -g**2 - 15*g - 9. Let c be v(-14). Solve c*k - 4*t = -45, 3*k + 2*t + 10 = -k for k.
-5
Suppose 2*k = -5*q + 3*k + 27, 3*q + 3*k - 9 = 0. Solve 21 = -2*h - q*x, -x = 3*h + 2*x + 9 for h.
2
Suppose -5*k + 5*o = 107 - 132, -5 = o. Solve 2*i + 2*r - r - 2 = k, i + r = -1 for i.
3
Suppose 0 = 22*o - 0 - 44. Solve -o*y = -5*z - 11, 0 = -5*y + 4*z + 2 - 0 for y.
-2
Let d = -91 + 91. Solve 4*c + 3*t = 0, -5*c + 2*t + 1 + 22 = d for c.
3
Suppose -3*h = -3*p - 30, 0 + 12 = -3*p. Let u(j) = -j + 10. Let r be u(h). Solve 2*l - 5*l - 3 = 0, -r*g + 11 = -3*l for g.
2
Let c = 1555 + -1544. Solve 2*t + 3*k - k = 10, -c = -3*t - k for t.
3
Suppose -17 = -3*a + 4*q - 23, -2*q - 4 = -5*a. Solve -a*t - 13 = -3*j, -j - 21 = -2*j + 4*t for j.
1
Let q = 65 + -15. Let z = 59 - q. Solve 0 = 2*m - 3*n + 9, -z = 3*m - 3*n - 0 for m.
0
Let m = -51 - -53. Solve 4*b + 16 = -m*t - 0*b, 5*b + 17 = -t for t.
-2
Let t(n) = n**2 - 9*n - 11. Let z be t(11). Suppose 6*y = z*y. Suppose 4 = w - y. Solve 4*a = -b, 6*a + 18 = 4*a + w*b for a.
-1
Let u be (0 - (-8)/1) + -4. Suppose 5*f = -5*h - 5, 0 = -u*h - 5*f - 3 - 3. Solve 0 = 2*d + q, h = -4*d - d - 2*q for d.
-1
Let v(w) = w**2 - 3*w - 1. Let x be v(4). Suppose -x*m = -6*m. Suppose m = -4*b + 5*b - 17. Solve 0 = -4*i - 2*g - 1 + b, 2*i - 10 = -2*g for i.
3
Suppose 4 - 7 = 3*b. Let s be 1 + (11*(b - -2) - 2). Suppose -2*d - 4 = 5*r - 15, 2*d - 3*r = 3. Solve -j + s = -d*h, 3 = h - 5*j + 11 for h.
-3
Let c be (-112)/(-84)*(-12)/(-16). Solve y = 4 - c, 14 = s + 4*y for s.
2
Let r(f) = f - 3. Let c be r(6). Let y be 1 - -2 - (-5 + 10)/(-5). Solve v = -3*v + y*j, -v = -2*j + c for v.
3
Let p = 10 - 34. Let w = -22 - p. Solve 5*f - w*n = 16, 3*f - 2*f - 4*n - 14 = 0 for f.
2
Suppose 23 + 32 = 5*k. Suppose 4*u - 18 = 2*u - 2*t, 4*u = 3*t + 1. Solve -3*b - 4*y = k, u*b + 9 = -3*y - 8 for b.
-5
Let u(r) = 13*r - 3. Let w be u(2). Suppose -6 = -2*p + 4*g, 0 = 2*g - 4*g. Solve -4*t - 6 = -p*f - w, 0 = 4*t - 4*f - 20 for t.
2
Let k(n) = n**2 - n - 2. Let a be k(-3). Suppose 2*v + a = 7*v. Solve 2*w = 2*x - 14 - v, 8 = -2*w for x.
4
Suppose -5*o = -109 - 36. Suppose o*m - 27*m - 10 = 0. Solve 19 = -m*v + h, 5*v - 4*h + 18 = -13 for v.
-3
Let w(t) = -t**3 + 3*t**2 + 3*t + 7. Let h be w(4). Suppose -h*g = 4*v - 12, 2*g + 2*v - 8 = -2. Solve 4*n = -2*l - 13 + 3, g = 3*l - 15 for n.
-5
Let d = -24 + 49. Suppose 17*z = d*z. Solve z = -3*c - s - 13, s - 20 = 3*c - 3 for c.
-5
Let j = -12 - -14. Suppose -j - 2 = -2*l, -3*l = 3*z - 18. Solve 0 = -5*q + z*t - 13, 4*q + 12 = q + t for q.
-5
Let c = 218 + -151. Let a = c + -66. Solve -a + 18 = 4*x - 3*y, y + 4 = x for x.
5
Suppose 234 = 8*w - 30. Let x = w + -18. Solve -5*c + 4*q + 1 = 6, 0 = 3*q - x for c.
3
Let p be (160/28 - 6) + 30/7. Solve -5*m = 3*s - 6*m + 17, s = p*m - 13 for s.
-5
Let w be 0 - 3*(-2 - -1). Let l(t) = -t**2 - 18*t - 56. Let f be l(-14). Solve -h - w + 2 = f, 5*h = -4*j + 7 for j.
3
Let m(p) = -p**3 - 8*p**2 + 5*p - 9. Let k be ((-16)/12 + 1)*0. Suppose k*w = 3*w + 27. Let r be m(w). Solve 2*u + r = 5*t + 2, 2*u = 2*t - 16 for u.
-5
Suppose 0 = 4*i + 196 + 48. Let g = 67 + i. Solve 2*y + g = -2*y - 3*v, y + 5 = v for y.
-3
Suppose -63*z = -45*z - 36. Solve 2*x - 5 = a, -4*x - 2*a = -4 - z for x.
2
Let h(g) = g**2 - 17*g + 77. Let q be h(8). Solve 0 = -v - b + 3*b, -4*b + 12 = -q*v for v.
-4
Let z = 10 + -6. Let s be 16 - 19 - 3/(-1). Solve z*k + 5*m - 35 = 0, 5*m + s*m - 20 = -k for k.
5
Let l be -10 + (0/7 - -12). Solve -y - 10 = l*y + 2*a, 3*y = a - 13 for y.
-4
Suppose 2*h + 2 = 8*v - 10*v, 5*v = -4*h - 1. Suppose -4*r + 62 + 42 = v*w, -4*w + 62 = 2*r. Let n = -4 + 7. Solve -n*x = 5*b, b + r = 2*b - 4*x for b.
3
Suppose -f + 16 = -5*o - 9, -o + 21 = 5*f. Let p be (1 + 0)/(-5 - o). Let s be p - 0 - 1*-1. Solve -d - 11 = -4*b + 5, s = b + 2*d - 13 for b.
5
Suppose -c + 3*c + 26 = 0. Let j(i) = -2*i - 10. Let t be j(c). Let y = -16 + t. Solve 0 = -2*d + d + s + 1, y = d + 5*s - 1 for d.
1
Let w(j) = -j**3 + 16*j**2 + 16*j + 14. Let x be w(17). Let k be x/(-1 - 2) - (1 - 0). Solve 4*l - 2*l + s + 2 = k, -4*l + 8 = 5*s for l.
-3
Let g(y) = -8*y + 1. Let l be g(-1). Suppose -10*m + 1 = -l*m. Suppose 4*s - 6 = 2. Solve s*v = 3*o + 11, -2*o - 3*v - m = 2 for o.
-3
Suppose 5*d = 3*y + 2*y - 25, 5*y = -5*d + 65. Suppose 12*p - 99 = y*p. Solve -4*h = -2*h + 5*q - p, 17 = -2*h + 5*q for h.
4
Suppose 3*p - 510 = -31*p. Solve -4*i - i = 5*d - p, i = -3*d + 5 for i.
2
Suppose 2*p - 2*q + 2 = 4, 0 = 5*q - 10. Suppose -4*c = -p*c - 3. Solve c = -l + 5*n - 3, 0 = 5*l - n + 6 for l.
-1
Let d = 103 + -76. Solve 5*p - 4*x - 41 = -0*p, 0 = -3*p + 3*x + d for p.
5
Suppose 0 = -15*x + 14*x + 7. Suppose -x*b - 4 = -9*b. Suppose 3*m - 2 = 10. Solve 3*t - 6 = 5*d, 3*t = m*t - d - b for t.
2
Let l = -18 - -23. Suppose 4*i - 15 = l. Solve 6 - i = -5*d - 4*s, 4*d - 3*s = -7 for d.
-1
Let p = 9 + -9. Suppose r + 0 - 19 = p. Suppose -14 = -3*j + 5*q, 5*j + 3*q = 7*q + r. Solve -2*t + 0 = -j*a - 15, -a - 2*t - 5 = 0 for a.
-5
Let r = 159 - 90. Let b = r + -39. Let k be 2/(-4) - 11/(-2). Solve 4*t = 3*x + t + b, k*t = 25 for x.
-5
Let z be 588/56 + 3/(-2). Solve 45 = -4*x + z*x - 5*v, -2*v = -3*x + 22 for x.
4
Suppose -h - 8 = -i - 0*i, 4*i - 3*h - 29 = 0. Suppose 3*j = -i*a + 2, 0*j + 2*a + 12 = 2*j. Solve -j = -2*m - 4*c - 0*c, -c = m for m.
-2
L