+ t, k = 3*m - 1 for m.
2
Let n(f) = -f**3 + 5*f**2 - 4*f + 3. Let q be n(4). Let d = 0 + q. Let h(k) = -k + 3. Let z be h(1). Solve -3 - 9 = x + d*r, 2*r = -z*x - 12 for x.
-3
Let y(f) = -20*f**3 + f**2 + 2*f + 1. Let n be y(-1). Solve -w + 4*r = 4*w + 7, -4*w = 4*r + n for w.
-3
Let n be (-4)/10 - (-288)/20. Solve -4*t = -2*f - n, -2*t - 4*f = -7 - 5 for t.
4
Let x = 11 - -5. Solve x = 5*l + 2*y - 7, 5*l - 22 = -3*y for l.
5
Let o(b) = -b + 1. Let j(t) = t - 11. Let q be j(7). Let y be o(q). Solve y*s + 3 = 3*c - 22, -7 = s - c for s.
-2
Let d(f) = -2*f**3 + f**2 - 1. Let t be d(-1). Let p be (-32)/(-12) - 2/(-6). Solve w + 7 = -t*c - 0, 2*c + 5*w + p = 0 for c.
-4
Suppose z + 15 = -l + 4*l, -3*z + 4*l - 40 = 0. Let f = 39 + z. Let k(s) = 2*s + 1. Let g be k(1). Solve 0 = -3*m - g*c + 21, -2*m - 5*c = m - f for m.
4
Let k = 5 + -3. Suppose 2*t + k = -4*w, -t + 2*w + 21 = 2*t. Solve -2*p + 2*v = 4*v + 2, -5*p + 45 = -t*v for p.
4
Let z(f) = -4 - 3*f - f + 0. Let a be z(-5). Suppose -o + 3*r = 12, -5*o + 1 = 4*r - 15. Solve 3*b - 4*v - 37 + a = o, -b - 12 = 5*v for b.
3
Let i be (66/8)/((-3)/(-8)). Solve 0 = c - 5*h + 28 - 5, -4*h + i = -2*c for c.
-3
Let l be (-3 - (-4)/1) + 22. Solve 3*b = -2*q - l, -5*q = 15 + 5 for b.
-5
Suppose -3*h - 2 = -2. Let x(f) = 5*f**2 - f - 1. Suppose 5*j + 4 = j + 2*i, -4*j = 2*i + 4. Let q be x(j). Solve 3*z + 2*r = -h*z + 9, -q*z + 2 = -r for z.
1
Suppose -5*l = 3*q - 10, -2*l + 2 = 3*q - 2. Solve -2 = -u + 3*c, -2*u + q*c + 2 = -4*c for u.
-1
Let p(u) = -u**2 + 6*u - 2. Let g be p(5). Suppose -2*q + 10 = -4*q, -5*q = -5*y + 75. Let s = y + -6. Solve -5*x + b = -g*x - 4, -s*b = 16 for x.
0
Let o(g) = -g**2 - 11*g - 6. Let v be o(-9). Suppose 5*i + 2*t = 19, -3 + v = i + 3*t. Solve 2 = -4*f - 2*q - 12, 0 = -i*q - 9 for f.
-2
Let a be (-1 + (-4 - -7))*1. Let k(j) = -j + 7. Let p be k(5). Suppose -2*r - a = 4, -r = p*h - 3. Solve -h*f + 3*l - 17 = -l, 0 = 2*l - 4 for f.
-3
Let o = -3 + 17. Let c = -37 - -42. Suppose 7*a - 2*a - 10 = 0. Solve 6*q + o = q - a*k, -c*k - 16 = 3*q for q.
-2
Suppose 0 = 7*y - 0 - 35. Solve 0*s = -3*o + 5*s - 20, -y*s = o - 20 for o.
0
Let n(f) = -f**2 + 7. Let m be n(0). Let a be (m/2)/((-5)/(-10)). Let l be 5/((-10)/(-12)) + -2. Solve 5*s = -3*w - a, l*s + 10 = -s for w.
1
Let o(h) = h**3 + 5*h - 53 - 6*h**2 + 53. Suppose 0 = 4*z - 0*z - 5*n, 3*z - 31 = -4*n. Let w be o(z). Solve -5*v = -3*r - 0*r + 25, 2*v - 2*r + 14 = w for v.
-2
Let l = -6 - -9. Let q(m) = -3 + 0*m**2 + 4 - m + 5*m**2. Let v be q(-2). Solve -c = -5*c - 5*o + v, 7 = -c + l*o for c.
2
Let b = -16 - -20. Let f(p) = -p**3 + 5*p**2 - 4*p + 2. Let u be f(b). Let g = 1 - -1. Solve -5*v = g*h + 5, 0*h + 8 = -u*h - 2*v for h.
-5
Let y = 9 + 12. Let p = 4 + y. Let l be 85/p + 2/(-5). Solve -4*t = l*i, -2*i + t = 4*t for i.
0
Let q = -21 + 34. Let v = q - 8. Solve -v*r + 5*u = 3*u + 14, 5*u = -3*r - 27 for r.
-4
Suppose -4*z - 3*b + 352 = -5, -3*z + 5*b = -275. Let f be (3/(-5))/((-6)/z). Solve 4*x = -2*u + 3 - f, 4*u + 2 = 2*x for u.
-1
Suppose 0 = 5*m - 25, 0*g - 5 = -2*g + m. Solve -5*x + 4*o + 13 = 0, g*x - o - 4*o = 15 for x.
1
Let i be 6/(-21) - 4/(-14). Solve -1 = h + 3*j - i, j = 0 for h.
-1
Let o = 0 + 3. Let p be (0 - 2) + 3 + 4. Suppose 4*k = -4*f + 56, p*k + 7 - 42 = 2*f. Solve -r = 4*n + o, -3*r - 3*n - k = -2*n for r.
-3
Let v(p) = p**3 + 3*p**2 - 1. Let x be v(-2). Let w = 3 - x. Let n be 4 + (1 - (w - 0)). Solve -h + n = m - 1, 6 = 3*h for m.
4
Let w be (-3)/((-1)/(-8)*-3). Let d = -103 + 99. Let q = w + d. Solve 2*j = -q, 4*j = -i - 11 + 2 for i.
-1
Suppose 6 = -2*w + 14. Solve -3*b = 3*a + 9, -2*b = -w*b - a - 3 for b.
0
Suppose -2*x + 54 = 5*l + 10, x = -5*l + 12. Let a be 4/6 + x/24. Solve -3*g - 2*c + 20 = 0, a*g + 3*c - 28 = -2*c for g.
4
Suppose 3*j - 10 = 20. Let p be 36/j + 2/5. Solve 24 = 4*n + p*s, -3*n + n = -5*s + 2 for n.
4
Suppose -2*r - k = -0*r - 6, 21 = 5*r + k. Solve -4*a + r*y = a + 50, -4*y = -20 for a.
-5
Let z(s) = s**2 - 5*s + 2. Let d be z(5). Suppose -2*j + 3*j - 4*x + 29 = 0, -4*x = -20. Let m = j + 10. Solve 0 = 4*f - d*c - 16, -f + m = -c - 2 for f.
5
Let x = 32 + -28. Solve x*n + 3 + 14 = p, p + 10 = -5*n for n.
-3
Suppose -3*z - 11 - 1 = 0. Let d = 16 - z. Suppose 0 = -2*i + 6*i - 3*c - 5, -2*c = 4*i - 30. Solve 5*r = 4*f - d, 2*f - 1 = -r - i for r.
-4
Suppose -1 = -3*t + 5. Suppose t*x + 5 = 7*x. Solve 0 = 4*z + 4*k + 24, k + 8 - x = -2*z for z.
-1
Let q = -4 + 9. Let p = q - 1. Solve -2*f + 2*g - 19 = -g, -p*g + 2 = 2*f for f.
-5
Suppose 2*p - 25 = -3*p. Solve -3*y - 2*g = -9, 6*y - 2*y + 11 = p*g for y.
1
Let t be 6*1*(-18)/12. Let l be (-1)/((-6)/t)*-2. Suppose 2*j = -8, l*h + 2*h - 47 = -2*j. Solve -w - 2*b = 2, -5 + h = -3*b for w.
2
Let j(m) = -m**3 - 4*m**2 + 3*m + 5. Let v be j(-5). Solve q - 4*d - v = -0*q, 3 = 5*q + 4*d for q.
3
Let t(f) = -f + 2. Let a be t(0). Suppose u - 21 = -a*u. Let r = u + 8. Solve -4*b + 0 - r = -5*h, -h - 26 = 5*b for b.
-5
Let o = -4 - -2. Let g be (-5)/o*(-2)/(-1). Solve g*u - 3*a = 12, 0 = u - 2*a - 5 + 4 for u.
3
Suppose -14*y + 0*y + 140 = 0. Solve 5*f = y, u = f + 4*f - 10 for u.
0
Suppose -3*v = -35 - 37. Solve g + 2*p = 4*g + 7, -g + 5*p - v = 0 for g.
1
Let a = 13 + 16. Suppose 2*h - 2*y - a - 25 = 0, -4*h = 3*y - 94. Solve 4*w = 3*d - h, 4*d - 2 = 2*w + 18 for w.
-4
Let a be 4 + (-34)/9 - (-32)/18. Solve -t - 4*u = 8 + 1, 0 = -2*t - a*u - 12 for t.
-5
Let j = 35 + -32. Solve -j*b - 4*a = 8, 7 = 4*b + 2*a + 1 for b.
4
Suppose 3*a = -4*f + 1, 16 + 17 = 2*f - 5*a. Suppose -c + 3*c - f = 0. Solve -y - c*x = -2 - 4, -14 = y - 3*x for y.
-2
Suppose 8*l = -2 + 2. Solve 5*h = -5*a - 5, l = 2*h - a - 10 for h.
3
Let g = -77 - -80. Solve -g*c - 3 = 2*r, 6*c - c + 5*r = 0 for c.
-3
Suppose 0*i + 2*i = 0. Suppose 5*h + i + 2 = q, 3*h = 3*q - 6. Solve 3*p + 5*b = 25, -3*b = -5*p - q*b + 23 for p.
5
Let y be (-1 + -2)/((-33)/22). Suppose -55 = -3*r - f, 0 = 4*r + y*f + 2*f - 76. Solve 3*a - 1 = -4*b + r, 30 = 5*a + 5*b for a.
5
Suppose j + 1 = -4*g, -8*j - g = -3*j + 24. Let c be (-3 + j/(-2))*0. Suppose 3 = -2*t + 3*t. Solve 4*k = -u - 14, -2*k - 2*u - 7 + t = c for k.
-4
Suppose -5*l + 15 = 0, -2*x + 3*l = -6 + 5. Let y be (-1)/4 + 37/4. Solve -x*j - 3 = r, -j - r + 5*r = y for j.
-1
Let b be (2/(-3))/((-2)/18). Let r be b/((3 - 1)*1). Solve 4*l - 2*y + 0*y + 10 = 0, -1 = -l - r*y for l.
-2
Suppose c - 6*c = -15. Suppose c*n + n = 0. Suppose -b - 5*z = -n*b + 21, 3*b - 7 = -z. Solve -g - b*j + 5*j + 1 = 0, -g = 2*j - 4 for g.
2
Let v = 0 + 5. Suppose -1 = -y - v*i, y - 19 = -3*y - 5*i. Solve 5*w - 22 + 3 = -3*h, 3*h = -y for w.
5
Suppose 3*f = q + 4, 0*f - 5*f - 3*q = -30. Solve -s - 2 = -2*b, s - 2 = -2*b - f*s for b.
1
Suppose 3*p = 5 + 13. Suppose -2*m = -p*m. Solve m = -3*x - 3*l, -l = -5*x + 29 + 1 for x.
5
Suppose a - 4*a = 0. Let p(t) = 4*t**3 - 2*t**2 + 1. Let n be p(1). Suppose 2*w - 3*w + 4 = 0. Solve n*z = -3*g + 2*z + 6, g + w*z - 2 = a for g.
2
Let s be 0*(-1 - 6/(-4)). Solve 3*j - 2*b = -12, s = -b - 2*b for j.
-4
Let q = 4 + -4. Solve -2*v + 5*v = 0, -3*b - 4*v + 6 = q for b.
2
Suppose -7*z = -3*z + 16, -2*z + 4 = -3*x. Let a = 11 - -6. Let m = a - x. Solve -2*o = -7*o + 5*d - 25, 5*o = d - m for o.
-4
Let s(k) = -k + 9. Let h be s(5). Solve 3*r = h*r - 4*w + 25, -2*w = 2*r for r.
-5
Let c = 19 - 13. Let t be ((-37)/(-3))/(2/c). Suppose -5*k + 3 = -t. Solve 0*q + 4*f = 4*q + 20, 0 = -4*f + k for q.
-3
Suppose 0*k - 19 = -3*k + 4*i, 3*k + 5*i - 10 = 0. Solve m = 0, -5*y + 4*m - k*m + 10 = 0 for y.
2
Let w be (1/3)/(1/9). Suppose -4*j = -j + w*v - 24, 5*v + 9 = 2*j. Suppose -5*u + 10*u = 15. Solve -m + j = 2*p, u*p = 2*m - m - 2 for m.
5
Suppose -u - 5*a - 8 = 0, -2*u + 2*a - 2 + 10 = 0. Solve 0 = -5*b - 2*y + 33, -5*b - 4*y + 31 = -u*b for b.
5
Let r(i) = 10*i + 1. Let q be r(-1). Let l = 13 + q. Solve -4*z = 2*s - 3*s + 13, 2*s + 2*z + l = 0 for s.
1
Suppose -2*t + 4*k - 2 = -12, 5*t - 3*k = 11. Suppose t - 101 = -5*n. Solve -3*p + 0 = m - n, -2*m = 2*p - 20 for m.
5
Suppose -t = -0*g + 4*g + 13, 4*t - 2*g = 20. Suppose t*h = -h. Suppose 0 = o - h*o - 3. Solve 4*c - 4 = 4*x, x - 4 - 3 = -o*c for c.
2
Let z = 17 - 12. Solve -z*m + 28 = -2*i, -4*i - 3*m + 4*m - 20 = 0 for i.
-4
Suppose -3*z + z + 3*l = 15, 3*z = 4*l - 20. Solv