0 = 3*x - i + 6. Solve -u*v + 4 = 0, -x*y - 3 = -0*v - 3*v for y.
0
Suppose 2*m - 4 = 2*f + m, 0 = -f - 3*m + 5. Let c be 8/(-2) - -14*f/(-1). Solve 0*d + 2 = a + 3*d, -c = -5*d for a.
-4
Let c(o) = o**2 + 20*o + 4. Let a be c(-20). Suppose -8*i = -a*i - 12. Solve -s + 2*b - 6 = 0, i*s + 9 - 1 = b for s.
-2
Suppose -r = 4*v - 204, -v + 51 = -2*r + r. Suppose 9*l - v = -6. Solve -3*d - 2*b = -b + 18, 28 = -l*d - b for d.
-5
Let a be (7 - 8)/(1 - 2). Let n be a/(-2)*(-10 - -10). Let t(q) = -q**2 + q + 3. Let b be t(n). Solve 2*f - 4*c = 4, -c - 7 = -2*f - b for f.
2
Let i = 1 + 3. Let f(b) = b**3 - 5*b**2 - 10*b + 3. Let y be f(7). Let k = 37 - y. Solve 5*u = -q - 30, -k + 46 = -i*q - 4*u for q.
-5
Suppose 20*u = 3*u + 34. Solve 0 = 2*f - b - 7, u*f - 5 = 5*b - 2 for f.
4
Suppose -5*s = -4*b - 4, -2*b + 15 + 5 = 3*s. Solve -h = -2*i + s, 1 + 4 = 3*i - h for i.
1
Let y = 106 - 102. Suppose -3*b = i - 6, -i = -b - 2*b. Solve -4*g + y = -3*r - i, 0 = -3*g - 5*r - 2 for g.
1
Suppose 4*g = a + 2*a + 33, -5*g + 5*a = -35. Let k be (g/15)/(14/35). Suppose 5 - k = s. Solve 2*i + t - s = 0, -t = -4*i + 3*t + 36 for i.
4
Suppose 0 = -5*l - 3*q + 8, -l + 4*q + 0*q + 20 = 0. Suppose -j - 33 = 4*m, j - 2 = 3*m + 21. Let f = -5 - m. Solve -2*y - 3 = -f*s + 1, -l*s = -5*y - 10 for s.
0
Let z(s) = -3 + 0 - 1 + 37*s - 4. Let k be z(4). Suppose 4*q = 12, -5*q + 0*q + k = 5*d. Solve 2*t - i - 4 = 0, 5*t + 8*i - d = 3*i for t.
3
Suppose 2*b = i - 42, -17*b - 20 = -13*b. Solve w + 4*k + 5 = -16, 3*k + i = -4*w for w.
-5
Let d = -56 - -65. Suppose -28*x + 31*x - d = 0. Solve 0 = -4*k + 12, -l + 2*k = -x*k + 12 for l.
3
Suppose 594 = 48*p - 366. Solve p = -4*t - 3*y, -3*y - 2*y - 18 = -t for t.
-2
Let z be ((-8)/(-16))/(4/128). Solve 2*i + 2*l = 6*l - 16, -4*l = 2*i - z for i.
0
Suppose -p + 3 = r, 2*r + 5*p = -1 + 4. Solve -5*m + r*h - 24 = 0, -2 = m + h + 1 for m.
-4
Suppose 0 = -97*x + 102*x - 10. Solve x*u + 18 = -4*n, u = -3*u - 3*n - 11 for u.
1
Let j = 22 + -17. Let z = -6 - -23. Let b = -15 + z. Solve -b*o - j*x + 5 + 12 = 0, -1 = 2*o - x for o.
1
Suppose -21*j = 4*j + 50. Let f(q) = 14*q**2 - q. Let i be f(-1). Let c be (-1 - j)*i/3. Solve x + 2*x - 23 = -c*o, 4*x = -3*o + 16 for o.
4
Let a = 3 + 1. Suppose 0 = 5*g - 11 - a. Suppose 4*s - 11 = 3*v + 9, 16 = -2*s - 5*v. Solve -s*x - d + g*d = 0, 0 = -3*x + 4*d - 1 for x.
1
Let d be 1/2*(-3 - -7). Solve d*u - 2 = 3*y - 0*y, -3*y = 0 for u.
1
Let n(x) = 2*x**2 + 50*x + 256. Let v be n(-18). Solve -4 = -4*h + v*u, 0 = -3*h - 3*u - 0*u + 27 for h.
5
Let x = -1 + 1. Let a = 48 - 45. Suppose 3*l - a*h = 0, 2*l + 2*h - 8 - 4 = 0. Solve -l*o + t - 20 = x, -4*o + 0*t - 2*t = 10 for o.
-5
Let b be ((-2)/(-4))/(3/144). Let x = -20 + b. Solve -3*z - 28 = -0*t + x*t, -z - 3*t - 16 = 0 for z.
-4
Suppose 253*s - 137 - 736 = 645. Let x be (-1)/((-2)/4) - -2. Let q(t) = -t**2 + 5*t. Let f be q(x). Solve -y - 2*d = s, 0*d = -5*y - f*d for y.
4
Let k = -207 - -207. Solve -n + 5*y - 3*y = k, 0 = -3*y + 6 for n.
4
Let f be (-14)/63 - 166/(-18). Suppose 21 - f = 3*v. Solve -3*s + 19 = -2*k + 2*s, 2*k = -v*s + 26 for k.
3
Suppose 0 = b - 5*b - 5*y + 46, 2*b + 2*y = 24. Solve 2*k + b = 3*i, 3*i = 15 - 3 for k.
-1
Suppose 4*m - 7*m + 9 = 0. Solve 0 = -l - 5*g + 7, -m*g + 9 = -5*l - 6*g for l.
-3
Let n be 1/((-2)/4) - 184. Let o be (0 + 2)/(-12) + (-775)/n. Solve 44 - 16 = o*t - 4*d, 4*d = 5*t - 33 for t.
5
Let a = -301 + 321. Solve 0 = -0*b - 4*b - a, -2*b - 25 = 5*m for m.
-3
Let q be (24/10)/((-1)/((-35)/21)). Solve 3*h = m + q, -3*m = -2*m - 2*h + 3 for m.
-1
Let a = -42 + 39. Let c(i) = i**2 - 3*i + 3. Let v be c(a). Solve 5*l - 3*r + 5 = 0, -l + 6*r - r + v = 0 for l.
-4
Let s(h) = -h + 5. Let a be s(10). Let k(j) = -4*j - 15. Let f be k(a). Solve 3*b - 6*p = -7*p + 7, 0 = -f*b - 2*p + 11 for b.
3
Suppose 103 + 221 = -6*n. Let m = 59 + n. Solve 0 = 2*i + 2*c - 2, 3*i + m = 5*i - c for i.
2
Let i(h) = h**3 - h**2 - 13*h + 9. Let p be i(4). Solve 4*g + 5*u + 10 = 0, 0 = -4*u + p + 3 for g.
-5
Suppose 0 = -8*d + 10*d - 3*f + 12, d - 8 = -2*f. Solve -4*t + 5*u + 45 = d, -2*u = 10 - 0 for t.
5
Suppose -9*p + 8*p + 4 = 0. Suppose -p*r + 6 = -6. Solve -b - 4*i = -7, b - 5 = -5*i + r for b.
3
Suppose s - 21 = -3*x + 36, 3*s = -3*x + 147. Let p = 50 - s. Solve -4*b = -p*b + 3*a - 4, -4*b - 4*a = -16 for b.
2
Let m be 4*(-6)/3*-2. Suppose 0 = -m*j + 13*j. Suppose b - 2 - 20 = j. Solve -4*i = -5*h + 6, 3*i + h + 4*h + b = 0 for i.
-4
Suppose 20*l - 21*l = -3. Let t = 7 - l. Solve 5*f - 2 = z, -2*f + 15 - 7 = -t*z for z.
-2
Let w(s) = -3*s. Let y(f) = -4*f. Let d(i) = 3*w(i) - 2*y(i). Let r be d(-5). Suppose -5*b + 54 = -2*b. Solve 3*x = -r*m - 15, -b = 4*m + 3*x - 3 for m.
0
Let x be 528/14 - (-6)/21. Suppose 2*r + x = 4*r. Suppose 13*p - 17 - 22 = 0. Solve 0 = -l - 5, v + 3*v + p*l + r = 0 for v.
-1
Let h = -27 + 56. Let s = -14 + h. Solve 0 = 4*j + 2*c - 18, -j - j - 3*c + s = 0 for j.
3
Let w = 99 - 92. Suppose -25 = -2*p + 5*y, -5*y = 2*p - w*p + 40. Solve -3*r + 2*k - k = 3, p*r = -5*k - 25 for r.
-2
Let z be (15 + -14)*(4 - 3/(-3)). Solve 7 = 3*r + 4*d + 1, -15 = -z*d for r.
-2
Let h = 11 - 7. Let t(v) = 6*v - 3. Let n be t(h). Let b = n + -16. Solve -j + b*f = -1 - 0, -5*j - 3*f = 23 for j.
-4
Suppose 2*c = -4 + 2. Let p be 9/c*(-2)/6. Solve -3*j = j - k - 1, -k = -p*j for j.
1
Suppose 5*u = t, t + 2*u + 0*u - 7 = 0. Suppose -a = -3*k + 2*a + 18, -25 = t*a. Solve 0 = -3*l - c - 7, -l + 3*c + k = -10 for l.
-1
Suppose 12*y - 9*y = -15. Let x = 10 + y. Suppose -2*n + x + 5 = 0. Solve 2*z - n*z = 3*j + 3, -4*j + 24 = -3*z for z.
-4
Let f = -7 - -12. Let x be (0*(-21)/294)/(-2). Solve -o - 17 = -3*k - x*o, o = -f*k + 23 for k.
5
Let m be ((-3)/(-2))/(3/20). Suppose 0 = 2*l - 3 - 1. Suppose -6 = -l*c + m. Solve -g - 4*k + c = 0, -5 + 25 = -2*g + 4*k for g.
-4
Let u(v) = 2*v**2 + 13*v - 25. Let o be u(2). Solve -5*q - 24 = p - 4*p, 2*p - q = o for p.
3
Let l = -8 + 32. Let m be 88/l*(2 + 1). Suppose -3*y = -m - 19. Solve 5*x - y = -0*i - i, -2*x = -4*i + 18 for i.
5
Suppose 2*q = -5*v - 101 + 126, 0 = 3*v + 5*q - 34. Solve -1 + 26 = 4*h + v*r, -5*h + 4*r + 8 = 0 for h.
4
Let g be 795/10*4/6. Let i = g - 13. Suppose -i = -k - 3*x, 4*k - 45 = 5*x + 64. Solve -2*o = -8, -5*v - o - k = -5*o for v.
-3
Let i be -26*(1 + 2 + (-42)/12). Solve 5*j - 20 = d, -i = -4*j + 5*d + 3 for j.
4
Suppose 0*z + 3*z - 9 = 0. Let c(n) = -n**2 + 5*n - 5. Let v be c(z). Let x = 3 + 0. Solve -2*g + m = -10, 4*m = -g - v - x for g.
4
Let i(g) = g**3 - 3*g**2 - 2*g + 4. Let h be i(4). Suppose -2*x - f = f, -2*x = -f - h. Solve -4*p + c = -13, -x*p + 0*p + 8 = 4*c for p.
3
Suppose -4*g - 2 = z, -z - 5*g - 3 = -0*z. Suppose 0 = a + z - 4. Solve -4*h = -a*p, -p + 6 = -4*p for h.
-1
Let z be ((-21)/42)/((-1)/26 - 0). Suppose -3 = 5*u - z. Solve -4*w + 3 = -3*x, -x - 31 = u*w + 4*x for w.
-3
Let q be ((36/(-5))/(-9))/((-2)/(-25)). Solve 5*h + 40 = -4*u, 20 = 5*h - q*h for u.
-5
Let t be 1 + 7 - (2 + 4 + -9). Suppose -3*b - v + t = 0, 2*b - 2*v - 24 = -6*v. Solve -2*x + 22 = b*x - z, 3*x = z + 17 for x.
5
Let i(z) = 1. Let f(v) = 3*v**3 + 2*v**2 + 4. Let h(a) = -f(a) + 6*i(a). Let m be h(-1). Solve m*o + 0 - 10 = -2*y, 0 = 4*o - 16 for y.
-1
Let c = 26 + -30. Let r be ((-56)/20)/(c/10). Let i be (9 - r) + (-1 - -2). Solve -5*b = -i*t + 24, b + 21 = 4*t - 2*b for t.
3
Let i be 4 - 3/(-1) - (5 - 0). Solve 8 = u - 5*u - 4*d, -5*u + d + i = 0 for u.
0
Suppose -t - 10 = -r, -3*t + 0*t = 3*r. Solve r*c = -p - 10, -p - 2*c + 11 = -4*c for p.
5
Let n = -214 + 222. Let g be (-4)/6 - 44/(-3). Solve 3*s = 2*k + n*s, 2*k - 2*s - g = 0 for k.
5
Suppose z = 3*z - 3*t - 10, 20 = 4*z + 5*t. Let i(b) = -b - 6. Let o be i(-6). Suppose f = -o*f + z. Solve 4*k - 3 - 33 = 4*v, 29 = f*k - v for k.
5
Suppose 8*z - 4*t = 9*z + 2, 2 = 3*z + 4*t. Solve -2*p + 4*h - 6*h = 10, 0 = z*p + 3*h + 13 for p.
-2
Let m = -1430 - -1433. Solve -20 = -4*b + 2*g - 3*g, -m*g = -12 for b.
4
Let w = 1923 + -1921. Solve 0 = 3*n - 2*n + 5*h + 24, -2*n = -w*h for n.
-4
Let a = 28629 + -28625. Let h(o) = -o**2. Let n be h(-1). Let f be n*5*-1*1. Solve -c - 3*d - d = -7, 0 = f*c + a*d - 3 for c.
-1
Let b = 5 - 22. Let t = b - -19. Solve -t*r = 3*n - 19, 3*r = -2*n + n + 18 for r.
5
Let x be 31/9 + -3 + 1015/45. Sol