et b = j - 4. Suppose -5*u = b - 15. Solve -x = -1, -u*t = -5*x - 4 + 1 for t.
4
Let x = 34 - 29. Solve 6 = -2*r + 2*s, 4*r - 21 = 6*r - x*s for r.
2
Suppose -4*d - 10 = d. Let q(b) = 2*b**2 + 4*b + 3. Let o be q(d). Let j = 5 + 0. Solve 0 = -o*v - 12, -7*v = j*n - 2*v for n.
4
Let z(t) = -t**2 + 2*t + 4. Let d be z(0). Solve 2*l + 2*f + 4 = 0, -f - d*f - 10 = 0 for l.
0
Suppose 0 = c + 4*n, c = -0*c + 2*n + 6. Solve 2*i = -3*k - 5, -5*k - 3 = -c*i + 20 for i.
2
Suppose 2*c + c = 6. Let x be (-5)/(-10) + 7/c. Let h be (-3 - -1)/(4/(-10)). Solve -x*t + 4*d = -4, 4*d = 5*t - 3 - h for t.
4
Suppose -3*f - 5 = -5*p + 26, -5*p = 5. Let l be 2*3*(-26)/f. Let k = 31 + -20. Solve l = 2*y + 3*c - 0*c, 3*c - k = -4*y for y.
-1
Let j(o) = -2*o**2 - 1 + 2*o**3 + o**2 - o**3. Let d be j(2). Suppose 2*f + 5 = d*f. Solve h + 4*k = -2*h - 35, 0 = -f*h + 5*k for h.
-5
Let z(a) = 3*a - 5*a + 0*a + a. Let t be z(-4). Suppose -4*u - l = -11, -t*l = 2*u - 3*u + 7. Solve 4*v + 5*h + 20 = 0, -u*h = -2*h for v.
-5
Suppose h + 3 - 2 = 5*u, -2*h = -u + 2. Let k = 2 - u. Let d be (-32)/(-56)*(5 + 2). Solve -10 = -k*c + d*c + 3*f, 2*c = 3*f + 14 for c.
1
Let b be 3/7*14/2. Let r be ((-2)/(-4))/(1/20). Solve 2*c + r = 4*d, -2*d - b*d + 13 = -2*c for d.
3
Let a(l) = -2*l - 8. Let g be a(-5). Solve -7 = -2*p - 3*s + 2, 15 = -g*p + 5*s for p.
0
Let u(m) = 3*m - 7. Let p be u(6). Solve 5*z - 7 = 2*q, p = -3*z + 7*q - 2*q for z.
3
Let j be -3 + (-6)/(12/(-10)). Solve -t - 4 = 2*i, j*i - 2*t + 16 = 3*t for i.
-3
Let x = 116 + -100. Solve -5*y + 10*y - x = -f, -4 = 4*f + 3*y for f.
-4
Let k = -16 + 24. Suppose -k = -2*g - 0*g. Solve -g*j - 13 = -f + 3, 4*j - 5*f = -32 for j.
-3
Let v = 4 - -19. Solve -v = -5*q + 3*w, -5*q + 22 = -5*w + 3*w for q.
4
Let u = -16 + 18. Suppose -5*l = 4*k - 2, -4*l + 2*l = k - u. Solve p - 3*p = t, 2*p - l*t = 0 for p.
0
Let t = 6 - 4. Suppose 2 = -t*f + b, 0*f = 2*f - 2*b + 6. Solve 0 = r - f, -5 = o - 4*r + 3 for o.
-4
Let y be (-8)/3*21/(-14). Suppose -p = -y*h - 1, -4*h = -5*p - h + 22. Solve 3*b - 8 - p = o, 23 = 5*b - 3*o for b.
4
Let t = -32 + 38. Solve -16 = -4*o - 4*p, -o + t*p - 3*p + 8 = 0 for o.
5
Let g be 1/(-3*(-3)/18). Let k = g + 0. Solve -15 = 3*a, 0 = 5*s - a - k*a - 5 for s.
-2
Suppose -a = -4*a + 48. Suppose -2*d + a = 5*w, -4*d + 6 - 18 = -w. Solve -1 = h - 6*h - 3*y, 0 = w*h - 5*y - 23 for h.
2
Let u be (2/4)/((-1)/(-4)). Solve 5*k = -u*b - 2, k - 4 = -4*b - 8 for k.
0
Let q(v) = v**3 + 2*v**2 - 4*v - 6. Let o be q(-2). Solve 5*r - l = -9, r = o*r - 5*l - 3 for r.
-2
Let o = 15 + -13. Let w be o/(-3) + 11/3. Solve -w*l - 7 = -2*z + 5, 4*l - 3*z = -17 for l.
-2
Suppose 2*v - 5*v = 27. Let i = -4 - v. Suppose 5*a - 43 = 4*d, 26 = 2*a - 3*d + 6. Solve 5*u + 0*y - i*y = 5, 5*u + a = 2*y for u.
-3
Suppose -n - 3*l = 2*l - 2, 4*n - 8 = -3*l. Suppose -5*i + 3*m = n*m - 7, -i - 4*m = -14. Solve 5*d + 4 + 6 = i*k, d + 29 = -5*k for k.
-5
Suppose 0*b = -3*a + 2*b + 2, -2*a + 2*b = 0. Solve -3 = 3*g - 2*g - a*c, -4*c + 27 = 5*g for g.
3
Let z = 8 + -11. Let o be 3*2/(-9)*z. Solve 2*q - o*d - 12 = -2, -5*d = q - 5 for q.
5
Suppose -12 = -3*m + 12. Let n(i) = -i + 10. Let q be n(m). Solve c + 3*d + 18 = -2*c, 4*d = -q*c - 20 for c.
-2
Let t be 6/5 - 20/(-25). Solve 0 = -0*v + 3*v - 3*h + 15, 0 = t*h - 6 for v.
-2
Let a be (-5 - (-168)/40)*10/(-4). Solve w + 0*d - 18 = -5*d, 3*w + a = -d for w.
-2
Suppose -81 = -5*f + 99. Suppose -2*j + 4*j = f. Suppose l + l = j. Solve k + 4*b = 7, k - b - l = -6*b for k.
-1
Let a(t) = -t + 12. Let w be a(10). Let j(d) = d**3 - 3*d**2 + 3*d. Let m be j(w). Solve c - 4*c + 3 = -3*u, m*c - 3*u = -2 for c.
5
Let s(b) = -b + 6. Let h be s(-9). Solve 8 + h = -5*m - 2*d, m - 17 = 5*d for m.
-3
Let g(t) = -3*t - 8. Let l be g(-4). Suppose -4*q = q + 2*b - 93, -l*q = b - 72. Solve q = 5*y - 2*x, -2*x + 1 = -3*y + 8 for y.
5
Let l = -8 + 1. Let b = l + 7. Suppose 5*m + z = 1, -4*z - 18 = -2*m - b*z. Solve 4*j + 9 = 3*s + m, -3*s = -j + 7 for s.
-4
Suppose 5*s = 2*s + 78. Solve -5*j - 2*i - i = s, -5*j = 2*i + 24 for j.
-4
Let k(f) = -f**3 - 12*f**2 + 11*f - 24. Let p be k(-13). Solve -d - d - 1 = -i, p*d + 2*i + 16 = 0 for d.
-3
Suppose a - 20 = -4*a. Let u be a/(4/(-3)) - -7. Solve -3*f = -s - 10, f = -f + u*s - 10 for f.
5
Let q = 3 + -5. Let w = q + 6. Suppose -12 + w = -4*x. Solve x*n - 6 = 3*z, -6*n - 4 = 2*z - 2*n for z.
-2
Suppose 0 = -6*x + 6 + 12. Solve x*i - 2*u = 3*u + 8, -5*i = 3*u + 32 for i.
-4
Suppose 2*g = 2*u + 18, -2*u = 3*g - 4*u - 22. Let a be g/8 + (-22)/(-4). Solve 5*z + 4*n = -23, 2*n + n = -a for z.
-3
Suppose 0 = -4*j - 40 + 4. Let f be (-1 + 0/4)*j. Solve f*q - 4 = 4*q - 4*o, 2*o + 4 = -q for q.
4
Suppose 0 = -3*t + 10 - 1. Let b(v) = 2*v - 2. Let j be b(t). Solve -j*r + 4*y - 16 = 0, -16 = 2*y - 6*y for r.
0
Suppose o = -5*v - 3*o + 1, -2*o + 8 = 0. Let z = v + 6. Suppose z*k - 85 = -2*k. Solve 4*y - 4 = -2*c, y - k = -5*c + 2 for y.
-1
Let t be 6/21 + 58/(-7). Let i(u) = -2*u + 4. Let b be i(t). Suppose 0*w + 5*w - b = 0. Solve 0*r + 5 = 3*r + w*g, 3*r - 3*g + 9 = 0 for r.
-1
Let l(m) = m**2 + 19*m + 24. Let v be l(-18). Solve -2*u = -4*w + 2*w, -5*w + 3*u = -v for w.
3
Suppose 3*t - 29 = 3*u + 2*u, -2*t - 2*u + 14 = 0. Let i = t + -4. Solve d + i*d = 3*p, -2*d + p = 1 for d.
-3
Let c = -60 - -68. Solve z - 4*t - c = 0, 4*t + t = 5*z - 10 for z.
0
Suppose j = -3*r - 22, -2*r - 6*j - 28 = -2*j. Let v(b) = b**2 - 12*b + 11. Let p be v(8). Let z = r - p. Solve 2*i + 8 = 3*s, 3*i - 2 = 5*s - z for i.
-1
Suppose 24 + 16 = -5*o. Let j be o/16*(-1 - 25). Solve b + 0*b + 3 = 0, 3*b = -v - j for v.
-4
Let m be (-1 + 2)/((-5)/15). Let l = 7 + m. Let i = 5 - -1. Solve -3*g = -l*q - 0 + i, -4*q = 0 for g.
-2
Let m(a) = 4*a. Let x be m(7). Let b = x - 25. Solve -2*d + 6*d + 14 = -b*q, 3*d + 5 = -5*q for d.
-5
Let q = 7 - 4. Let b be (-21)/(-3) - q - -1. Solve 25 = -l - 2*g - 2*g, 3*l = 2*g - b for l.
-5
Suppose -20 = 4*d, -2 = k - d + 3*d. Suppose 0 = -3*h - 4*u + 20 - 4, 0 = -2*h - 2*u + k. Solve h = 3*l - 6, -y = -6*l + 3*l + 6 for y.
0
Suppose -15 = 5*j, 5*i - 2 = 3*j + 2. Let t be 1*(1 + (i - -3)). Let c be 2/(-4)*(t - 3). Solve c = 5*q - 3*k - 3, -4*q - 2 = 2*k for q.
0
Let p = 46 + -41. Solve -4*n + 3*v + 5 = 18, p*v = -n - 9 for n.
-4
Suppose 7 = 4*b - 1. Let d = 12 + -12. Let w be 1 + 1 + (-77)/(-11). Solve w = -f + 4*p, 0 = -b*f + 3*p - d*p - 8 for f.
-1
Let p be (-10)/(-4) + 2/4. Solve 2*f - 7 = -h + p*f, 2*h + 4*f = -10 for h.
3
Let t(y) = 15*y**2 + 2*y - 1. Let v = 0 - -1. Let i be t(v). Solve i = 4*m, 8 = w - 0*w + m for w.
4
Suppose 0*l = -l - m - 1, -2*m = 5*l + 5. Let p(b) = 9*b**2 - b. Let u be p(l). Solve 0 = 2*x + u, -3*h - 10 = 2*x for h.
0
Let t = 69 + -66. Solve 2*w = k - t*k + 8, -k - 6 = -w for w.
5
Let q be 2/(-6)*(10 + -10). Solve -2*s = 5*w - 7, 5*s - 2*w - 2*w - 1 = q for s.
1
Let s(z) = -z**2 + 12*z + 30. Let c be s(14). Solve 5*k = -5*x - 5, 0 = x + 4*k + 2 + c for x.
0
Let u = -5 + 8. Suppose 3*a + 6 = 3*l, l - 2*a = u*l - 12. Solve q = 3*o + 4, q = 2*q + o + l for q.
-2
Let a be (-4)/(-18) + (-936)/(-162). Solve b = g - a*g + 11, 2*b + 5*g - 7 = 0 for b.
-4
Suppose 2*y - 6*y + 24 = 0. Suppose 0*b = 2*b - y. Solve t + 9 = -3*t - 3*q, 5*t + b = -q for t.
0
Suppose -3*j = -25 + 7. Solve -j = -2*z + 4*r + 10, -2 = -4*z + 2*r for z.
-2
Let l(p) = p**3 + 5*p**2 - 2. Let z be l(-5). Let n be z*(1 + (-6)/4). Let m = 2 - n. Solve u - 9 = 2*w, w + 11 = 2*u - m for w.
-2
Suppose 2*u = -0*u + 2*s + 4, -8 = 4*s. Suppose u = 7*z - 3*z. Solve -2*r + r - 3*t = z, 4*t = -r + 1 for r.
-3
Let x = 13 - 9. Let f(j) = -1. Let m(c) = -c + 4. Let q(i) = -5*f(i) + m(i). Let s be q(x). Solve s*d - 3*a - 13 = 0, -d + 4*d - 5*a = 11 for d.
2
Suppose -v = -4*d - 0*v + 13, 4*d + 3*v - 9 = 0. Solve -d*s + 0*z - 4*z - 15 = 0, s - 2*z + 5 = 0 for s.
-5
Suppose g - 4*z = -4, -2*g + 2*z = 3*z - 10. Let l be 1*(-7)/(7/(-2)). Solve 5*c - 2 = 4*f, 5*c - 2 = l*f + g for c.
2
Let c be (-2)/(-10) + 28/10. Let g be (-2)/c - 1/3. Let j be -3 + 0 - g - -2. Solve 3*m - 4*n = -1 - 20, 2*m + 2*n = j for m.
-3
Suppose 4*c - 17 = -5*v + 19, 4*v = 0. Let j = c + -7. Solve -3 = j*m + 4*z + 7, 4*z = m - 1 for m.
-3
Suppose 3*g = -2*u + 7, -17 = 3*g - 4*g + 3*u. Suppose -s + 55 = 3*o, -3*o + 2*s + 57 = g*s. Solve 0 =