+ 2*f + 6, -2*f - 6 = -9*z + 4*z for z.
0
Suppose -5*q = -5*s - 45, -q + 4*s + 8 + 16 = 0. Solve 0 = -4*r + 4*k - 16, q*k - 15 = -3*r + 6*r for r.
-1
Let m be 34/(-8) - 3/(-12). Let u be (-2226)/(-98) - m/14. Solve 0 = 4*x + y - 19, 7 = -x - 4*y + u for x.
4
Suppose 17 = 5*y - 8. Solve 30 = 5*v - 4*k, 0*v - y*k = -v + 27 for v.
2
Let r = 29 - 28. Solve k = 5*y - 2*y - r, -3*y = 5*k + 5 for y.
0
Suppose -6*i = -3*i + 5*j - 15, 25 = i - 5*j. Suppose -i*l + 3 = -9*l. Suppose -2*t = 2*t - 8. Solve 0 = 3*c - t*h - 11, -l*c - 3 = -2*c + h for c.
1
Let b be -11 + 17 + (2 - 5). Solve 2*y = -5*h - 1, -4*y - 3*h + b = -y for y.
2
Suppose -y = -5*x + 30, 5*y = x + 9*y + 15. Solve -12 - 5 = -5*f + v, v + x = 2*f for f.
4
Let m = 252 + -249. Solve c - 8 = m*c, -2*c = -2*z for z.
-4
Suppose -4*b + 27 = -69. Let g = 27 - b. Solve 0*r - 4*m = g*r - 2, 5*m + 5 = 0 for r.
2
Suppose -5*g + 5 = 0, 2*d + 0*d = -4*g + 12. Solve 18 = -d*p - 2, 0 = -2*n - 2*p - 2 for n.
4
Let j be (-257)/(-6) + (-16)/(-96). Let u = 43 - j. Solve u*q + 4*b + 22 = -5*q, 5*q = -3*b - 19 for q.
-2
Let n = -552 - -555. Solve -n*w - 5*p - 3 = w, -w - p = 1 for w.
-2
Let b be 15/(-2)*(-4)/6. Solve 3*a = q - 3*q - 1, 3*a + b*q = 11 for a.
-3
Suppose 0 = -4*x + x - 3*a + 21, x - 1 = 2*a. Let f be 6 + x - 5 - 2. Let q be (26*1)/(1/1). Solve 0*w - z = -w - 9, -f*w - q = -2*z for w.
-4
Let z = 14 - 12. Let p = -3 - -3. Let x(i) = i**2 - 11*i + 33. Let h be x(5). Solve -h*g + s + 2 = p, -2*g + s = z*g - 3 for g.
1
Suppose 4 = -4*j, -2*s + 20 = 2*s - 4*j. Solve l = 3*l - 8, -4*l + s = 4*n for n.
-3
Let t = 2 + 0. Let l(x) = -12*x**2 - x + x**3 - 3*x + 14*x**t. Let m be l(-3). Solve 3*y = 3*z, m*y + 2*y - 20 = z for y.
5
Suppose 10*t = -t - 770. Let n = -57 - t. Solve -m = 4*y - n, 3*y + 4*m - 7 - 6 = 0 for y.
3
Let v be 0 + -1 - (3 + -9). Let c be 7 - (-5)/((-20)/12). Suppose 0 = 5*u - 5*n - 25, n = c*u - 12 - 8. Solve v*l - 5 - 15 = -a, u*a + 20 = -l for a.
-5
Let d = -13 + 6. Let q be (-12)/(-42) + 72/d. Let b be (q/(-4))/(2/4). Solve b*f - 5 = 5*z, -8*f + 13 = 3*z - 3*f for z.
1
Let f(i) be the first derivative of i**3 + 5*i**2/2 + 9*i + 2. Let k be f(-3). Solve -3*y = -3*h - k, h - 5*y - 1 = -16 for h.
-5
Suppose z = h, -h + 0*z - 3*z = 12. Let d = 2 - h. Suppose -4*o + 0 + 12 = -d*q, 5*q + 5*o - 15 = 0. Solve 2*w + 5*n - 16 = 0, q*w + 2*n - 10 = w for w.
-2
Let i = 1873 - 1857. Solve -2*k + 4*v = 0, 0*k + 4*v = -2*k - i for k.
-4
Let a = -25 + 42. Let i = -12 + a. Let s = 2 - 2. Solve 0 = -2*u + x + i, u = -s*u + 5*x - 20 for u.
5
Let u = 10 + -6. Suppose 0 = -o - 2*s + 4*s + 42, -u*s = 2*o - 76. Let j = -25 + o. Solve 3*f - j = 0, 4*f + 4 - 24 = -4*v for v.
0
Let w be 0/(-2 + 3) + 9/3. Solve 3*g = 4*g + w, 0 = -h + 3*g + 12 for h.
3
Let i(h) = -h**2 + 8*h - 16. Let s be i(4). Solve s = 3*y - 5*z + 10, -5*y + 4*z + 3 - 11 = 0 for y.
0
Suppose 0 = h - 2*a - 30, 2*h + 3*a = -a + 60. Let u = h + -21. Let c = -1 + 3. Solve 5*j = c*z, 4*j - 9 - u = -2*z for j.
2
Suppose 0 = -b + 3*j + 9 - 0, 5*j = -10. Suppose -6*n + b*n = 27. Let k be n + 6 - 1*-5. Solve k = 5*s + 3*y - 8, 0 = -2*s + 2*y + 4 for s.
2
Suppose 0 = -3*d + 2*w + 4 + 1, 1 = -d + 2*w. Suppose 4*f = -d*a - 12, 3*f + 6 = -3*a + f. Solve z - 3*k - 12 = 0, 5*z - k + 12 - 2 = a for z.
-3
Let j be 22/(1232/238) - (-3)/4. Solve 4*q = j*k - 11, -2*q + 3*k + k - 4 = 0 for q.
-4
Let w be (3 - -1)/(3 - 2). Let g(a) = -a**2 + 6*a - 4. Let k be g(w). Solve -k*y = 3*i + 35, -35 + 0 = 4*i + 3*y for i.
-5
Suppose 4*f - 12 = -2*h, -2*h + 6*h - 5*f = 50. Suppose 9*v = h*v. Let z = 4 + v. Solve -2 = -3*t + z*i, t + 2 = 3*t - 3*i for t.
-2
Suppose -2*g - 40 = -5*j, 2*j - 16 = -g + 6*g. Suppose -j*x - 3 = -11*x. Solve 0 = 2*u - 4*z - 5 - x, -z + 3 = -5*u for u.
-1
Let a = -597 + 602. Solve 4*h + 6*m = 7*m - 18, -a*h - 33 = 4*m for h.
-5
Suppose -16*b + 5*b + 55 = 0. Solve 0 = -4*g - 4*r, 4*g - r - b = -0*g for g.
1
Suppose -3*l + 3*s - s = -4, 0 = -l + 4*s - 2. Let v = l + -1. Suppose 2*u + v - 6 = j, 11 = 5*u - 4*j. Solve 2*f = g - u, -5*g + 7 = 2*f - 8 for g.
3
Let s be (65/(-26))/(10/(-24)). Suppose 0 = l - s*l - 2*d + 26, -l = 2*d - 10. Solve 8*h = 3*h - 3*x + 11, -2*x + l = 0 for h.
1
Suppose -34 - 54 = -22*z. Solve -10 = 4*l + l + 3*n, 0 = 2*l + n + z for l.
-2
Suppose -3*x = -2*x - 5*n - 1, 0 = 4*x - 5*n - 19. Let u be (-2 - -12)*x/15. Let a(w) = 5*w + 6. Let o be a(6). Solve d + 12 = -p + 5*p, 5*p + u*d = o for p.
4
Suppose 0 = -t - 3*k + 13, -3*t + 3*k + 6 = 3. Suppose 17*h + 15*h = 128. Solve t*w - 5*c + 18 = -2*c, -2*c = -h for w.
-3
Let d(i) = i**3 + 13*i**2 + 13*i + 15. Let f be d(-12). Let n be (1/f)/(1/3). Solve 5*y = p, -p + n = -3*y + 3 for p.
-5
Let a(t) = 7*t**2 + 4*t. Let y be a(-1). Solve 4*i + 11 = 3*i - y*u, 0 = 4*i + u for i.
1
Let r be ((-13)/26)/((-1)/24). Suppose -6*o + 12 = -r. Solve o*s + y = -2*y, 4*s - 3*y = 24 for s.
3
Let k = -61 - -31. Let n be 4/k + 6246/270. Solve 2*a - 10 = 0, 4*a = x + 8*a - n for x.
3
Let r be (-4)/16 - 295/20. Let w be (-3)/2*(r + 1). Solve w = -5*d - l, l = d - l + 2 for d.
-4
Let o = -12 + 15. Suppose -o*r - 8 = -4*r + g, -5*g = r - 14. Let l = r + -7. Solve 2*z - z - 5*q = 17, 3*z = l*q + 12 for z.
2
Let t(c) = -c**3 - 9*c**2 - 9*c - 2. Let a be t(-8). Suppose a*z + 74 + 88 = 0. Let v be 174/54 + 6/z. Solve 0 = -x - o - 2 + 3, -v*x + 5*o = 21 for x.
-2
Suppose 25*z = -8*z + 660. Solve 3*c - o - z = 0, -o - 2*o - 25 = -2*c for c.
5
Suppose -v + 152 = 5*f, 7*f - 2*f = 3*v + 144. Solve 2*x + 5 + 1 = -4*l, -5*l + 5*x = f for l.
-3
Let r(o) = -33 + o**3 - o + 35 + 6*o - 6*o**2. Suppose -5*j - 3*d = -13, -j = j - 3*d - 22. Let b be r(j). Solve b*g = n, 5*g + 2*n = 12 - 3 for g.
1
Let m be 73/4 + 1*(-14)/56. Solve k + 2*h + 24 = -3*h, -4*h - m = 2*k for k.
1
Let c be (-981)/(-75) + (-2)/(-50)*-2. Solve -b - 1 = 5*g, -c*b - 4 = -5*g - 9*b for g.
0
Suppose 3*w - 4*z = 35, -6*z = -w - 2*z + 17. Let c = w + -4. Let m = 26 + -21. Solve m*b = 4*y + b - 12, c*y = b + 19 for y.
4
Suppose 11 = 29*g - 47. Let i be 5*1 - (6 - 5). Solve -g = -i*j + 4*t + 22, -2*t = 4 for j.
4
Suppose -4*l + 38 = -30. Suppose 0 = 5*g - 37 + l. Solve 17 = -3*h + g*i, 0 = 3*h - 4*i + 2*i + 13 for h.
-3
Let z = 1 - -4. Suppose -152*o + 157*o - 10 = 0. Let n = z - o. Solve 9 = -4*v + v, n*s = 3*v - 3 for s.
-4
Suppose 18*s - 19*s = 9. Let p = s - -10. Suppose -4 = -m - p. Solve m*z = 3, -5*n + 2 = 5*z - 8 for n.
1
Suppose 70*m - 74*m + 32 = 0. Suppose -5*z = -20 + 5. Let c be -1 - ((-7 - -1) + 1). Solve 2*u = -z*s + 13, c*s - u + m = 29 for s.
5
Suppose 6*r - 8*r + 14 = 3*q, -4*r + 6*q - 20 = 0. Solve p = n + 5, n + 4*p + r = 16 for n.
-1
Let v(h) = 2*h**3 - 39*h**2 - 22*h + 45. Let i be v(20). Solve 2*r - 11 = i*x - 1, x + 5*r - 25 = 0 for x.
0
Suppose 12*u + 550 - 598 = 0. Suppose -13 = -4*v - 5. Suppose 4*s - 6 = v*s. Solve s*q - 6*b = -b - 19, u = 2*q + 5*b for q.
-3
Let n = 169 + -167. Solve 2*k = -5*o - 0*k + n, 0 = -2*o + k + 8 for o.
2
Let h = -82 - -86. Suppose 0 = w - t - 1, -31 = -h*w - 4*t - 3. Solve -w*m + 3*a + 1 = 0, 4 = -m + 5*a - 0 for m.
1
Suppose 0 = 5*r - 185 - 290. Suppose 3*j - 4*p = 58, -4*p - r = -5*j + 7. Let q be 1/(j/(-12) - -2). Solve -3*v + 5*c - 19 = 0, -5*c - 2 = -2*v + q*v for v.
-3
Let d = 834 + -830. Solve -3*l = -6*l - 5*w - 25, d*l = -3*w - 15 for l.
0
Let f(s) = -9*s - 58. Let d be f(-7). Suppose -3*k = g - 0*g - 18, 0 = k - 4*g + 7. Let w be 63/k - (-4)/10. Solve 2*x - 22 = d*u, u = -2*u + x - w for u.
-4
Suppose -18 = 215*f - 224*f. Solve 5 = f*m + 3*k, -4*m - 1 - 4 = k for m.
-2
Suppose -3*m + 113 - 101 = 0. Solve -1 = 2*u + s, -6*s = -m*u - 2*s + 16 for u.
1
Let g(a) = a**2 - 4. Let d be g(-2). Suppose -4*b - 2*p + 10 = d, -2*b + 6*b - p - 19 = 0. Solve -2*h - 3*z + 3 = 0, -3*h = b*z - 3 - 2 for h.
3
Let i = -17 + 27. Solve -5*t = -i*t - 4*a, 4*a + 16 = -t for t.
4
Let a(i) = -i**2 + i - 3. Let k be a(0). Let w be (k/(-5))/((-5)/(-75)). Suppose 13*f - w*f = 0. Solve -z + 1 + f = s, -3*s + z = 1 for s.
0
Let j(r) = r**3 + 4*r**2 + 2*r + 2. Suppose p + 0 - 2 = 0. Suppose 2*d + 8 = p. Let o be j(d). Solve -o*k - q + 25 = 0, 6 + 14 = 4*k - 3*q for k.
5
Suppose 5*s + 23 = v, 2*v - 2*s - 23 = -3*v. Let r be v*(-3 + (-28)/(-4)). Solve -5*z + 15 = 2*b, 4*b + 2*z - 2 = -r for b.
-5
Suppose 5*o - 3*i =