t g = 23 + 5. Let s = g + -23. Solve -15 = -3*o + 3*q, 3*q + q = s*o - 23 for o.
3
Suppose 3*p - 9*p = -24. Solve 0 = 3*i + y - 5, p*y = -i - 2 - 0 for i.
2
Let q(h) = h**2 + 6*h + 5. Suppose 0 = 4*g - 0 + 16. Let z be q(g). Let p be z/(-9)*(-2 + 17). Solve -4 = 2*n + 2*s, -3*n + p*s = 2*n + 20 for n.
-3
Let n(r) = -5 - 3*r + 5*r - 2. Let g be n(6). Solve -g*x = 5*u - 5, -4*x + 8 = x + 2*u for x.
2
Let s = 83 - 43. Suppose -2*v = 8, 2*p + 0*v + 2*v + 8 = 0. Suppose -4*i = -p*i. Solve 5*w + 5 = 4*q, 4*w + 4*q + 0*q + s = i for w.
-5
Suppose -2*g + 2*n + 8 = -g, -3*g = -3*n - 15. Solve -x + g*x + 5 = -h, 2*h + 10 = -4*x for h.
-5
Suppose 0 = 2*u + 2*u - 8. Suppose -1 + 5 = u*q. Solve -5*z + 25 = -b, -q*b = 2*z - 3*z + 5 for b.
0
Suppose 4 = -2*u, 0 = s + 2*u - 1 - 2. Let n = s + -2. Solve j + 5*f = -9 - 4, n = -j - f for j.
-3
Let h = 56 - 56. Solve h*b = 3*b - 3*l - 15, 5*b = -3*l - 15 for b.
0
Suppose -3*y + q + 3 = -2, 4*y + q - 9 = 0. Let v = 1 - -3. Let m be 82/5 - v/10. Solve 0 = 3*b + 2*u + u + 12, 0 = -y*b + 4*u + m for b.
0
Let w be ((-1)/(-2))/(1/14). Let i be ((-10)/6)/((-4)/12). Let a be 28/8 + 1/(-2). Solve 5*g + w*b + 6 = 3*b, a*g - i*b + 11 = 0 for g.
-2
Let j be ((-6)/4)/((-9)/228). Suppose -j - 10 = -4*t. Solve -4*w - 3*s + t = 0, 4*w - 12 = -2*s - 0*s for w.
3
Let x(m) = -m**3 + 3*m**2. Let q be x(3). Let l = -853 + 855. Solve 5*b + 4*d - 15 = 0, -4*b + 12 = l*d - q*d for b.
3
Let i = -16 + 23. Suppose -3 + i = c. Solve 0 = -4*h - 3*k + 2, 0*h + 4*k + c = -2*h for h.
2
Let b(w) = -5*w**3 - 7*w**2 + 9*w + 3*w**3 + 0*w**3 + w**3 + 10. Let c be b(-8). Solve -6*l - 23 = -4*q - 3*l, 5*q + c*l - 23 = 0 for q.
5
Let l be 5 - 96/18 - (-2)/6. Solve -4*s - 8 = 4*y - l*s, -s = -4*y - 23 for y.
-5
Suppose 4*x - 5*s - 84 = x, 0 = 4*s + 12. Solve x = 3*g - g - 3*h, 4*h = -20 for g.
4
Suppose -5 = -b, 3*a + 7 - 31 = -3*b. Solve 5*s + 6 = -3*c, s + 0 = -a for c.
3
Let v be (-5)/2*18/(-15). Suppose 2*o = -3*n + 3 + 12, 3*n + 3 = 4*o. Solve 2*z - o*g = -5*g, 2*g - 15 = v*z for z.
-3
Suppose 0 = 2*d + d. Solve 2*n + d*o - 5 = -3*o, 3*n = o + 2 for n.
1
Suppose -6 = -s - 1. Suppose -2*t = t - s*y + 85, 0 = -2*y - 2. Let g be ((-2)/(-3))/((-4)/t). Solve -4 = f, -2*p - g*f = -2*f + 18 for p.
-3
Let p(k) = -4*k**2 + 0*k**3 - 1 + 6*k**2 - k**3 + 4*k. Let z be p(3). Let y(b) = b**2 - 2. Let c be y(z). Solve 4*x - 2*x + 2*a = -6, -4*a = -c*x for x.
-2
Let z be (4 - -1)*60/75. Solve z*d = -2*b + d + 2, 1 = b - 5*d for b.
1
Suppose 4*u = -u. Suppose k + 34 = 2*k. Suppose 5*a + 4 - k = u. Solve g = 3*s - 4, -2*s + a = -g + 2*s for g.
2
Suppose 0 = p - 3 - 7. Suppose -4*v + 97 - 25 = 0. Solve -i + 2*i - p = -2*d, -i + v = 4*d for i.
2
Let m be (-4)/22 - ((-40)/(-44))/(-5). Solve 5*p - c + 25 = m, -c + 2*c = 0 for p.
-5
Let i = -1 - 2. Let d = i - -5. Suppose -d - 1 = -m. Solve j - 6*p = -2*p + 5, -m*p - 6 = 0 for j.
-3
Let q(i) = i - 1. Let u be q(3). Suppose u*t + z + 3*z - 4 = 0, 5*z = -25. Solve 8 = 2*g - 6*g + 2*x, -3*x = -t for g.
0
Let a(t) = -t**2 + 4*t - 4. Let f be a(4). Let x(d) = -d - 3. Let k be x(f). Let u be (-4)/k + 2 + 6. Solve 3*p - s - 9 = 0, -u*p = -9*p + 2*s + 14 for p.
4
Let j = -2 + 2. Let y = j + 2. Solve y*n = 6*n + r - 23, -r = -3 for n.
5
Suppose 11 = 2*a + 3. Solve -a*o + 17 = -k, -k = o - 2*o + 8 for k.
-5
Suppose -d - 1 - 6 = 4*k, -3*d = k - 12. Solve h + 16 = -d*w - h, 0 = -4*w + 3*h - 22 for w.
-4
Let i = 9 + -5. Suppose -2*f + 8 = i*q, -5*f + 4*q + 14 = 8*q. Solve -f*c + c + 1 = 2*d, 2*d + 24 = 4*c for d.
-2
Suppose 2*t = -2*u - 0*u + 10, -t + 3*u = -13. Let m = 3 + t. Let z = 6 - 1. Solve -3*c + 2*i = -4*c - 4, 0 = -c - z*i - m for c.
0
Let m(b) = 16*b**2 - b + 3. Let t be m(-3). Let a be (4/6)/(5/t). Solve i - 4*q = -a, q - 1 = -4*i - 13 for i.
-4
Suppose -5*u = 4*a - 3*a - 10, 20 = -4*a. Solve -u*f + 1 = b, -1 = f - 0*f + b for f.
1
Let l be 513/18 + 1/2. Suppose 0 = -5*h + l + 21. Let s = 1 + 1. Solve -h = s*c + 4*o, 3*c - 3*o - 12 = -0 for c.
1
Let c be (-3)/(-18) + (-118)/(-12). Suppose 15*v - c = 10*v. Solve v*q - 22 = 3*z - 0*z, 3*z = -5*q + 13 for z.
-4
Let g(p) = p**3 + 4*p**2 + 3*p + 1. Let a = -10 + 8. Let x be g(a). Solve -4*u + 1 = x*i - 4, -5*i - 3*u = -12 for i.
3
Let g(x) = -x - 9. Let o be g(-10). Let y be o*-3*(-2 + 1). Solve 4*k + 9 = -h, 2*h + 3*h - y = 4*k for k.
-2
Suppose -25*x = -11*x - 112. Solve -z + 5*z = k - 10, -4*k - x = 0 for z.
-3
Let u = -16 - -26. Let r(p) = -p - 7. Let f be r(-7). Suppose -3*s - h + 13 = 0, -6*h + 2*h = 2*s - 22. Solve f = -5*y + 2*v - s*v, -u = -5*y + v for y.
1
Let k = 43 - 6. Solve 5*c - k + 13 = -l, -c = 4*l - 1 for c.
5
Let b(d) = d - 1. Let p be b(3). Suppose -2*x + 10 = -j, 2 = -p*x + 12. Solve -5*k - 4 = -4*f - 5, -4*f - 2*k - 22 = j for f.
-4
Suppose -11 = -4*f + 1. Solve -2*i = -f*z - 0*i - 8, 3*i + 1 = -2*z for z.
-2
Let d = -2 + 7. Let u = -12 - -9. Let m be 0/(6/(u - 0)). Solve c = -q - 2, m = -4*c + q + 7 - d for c.
0
Suppose -8 + 43 = 7*g. Solve 0 = -g*l - 4*z - 36, -5*l = -2*z + 6 + 6 for l.
-4
Suppose -8*r - 4*q = -4*r - 52, 4*q + 32 = 3*r. Solve -5*p - 5*b - 2 + r = 0, 0 = 3*p - 5*b - 6 for p.
2
Let o(w) = -2*w + 1. Let t be o(-2). Suppose 0*k - 10 = -t*k. Solve k = -c, 2*x - 3*x - 4*c - 4 = 0 for x.
4
Suppose 5*n + 0*n = 20. Suppose -2*z + 5*p + 0*p = 6, 5*z - 3*p - 4 = 0. Solve f + 0*f = 4*r - 5, -n*r = -z*f - 10 for f.
-5
Let q(a) = 2*a**2 + 3*a + 2. Let i be q(-2). Solve 0 = -5*p + n - 15, -i*n = 4*p - 5*n + 13 for p.
-2
Let p be 4/(-14) + 75/(-7). Let t be 350/21 - (-4)/(-6). Let h = t + p. Solve 8 = 2*z, -2*l - h*z = 7 - 29 for l.
1
Let n(s) = s**2 - 3*s. Let b be n(3). Suppose 4*u - 12 = -b*u. Let r(t) = t + 1. Let y be r(5). Solve -u*q - 1 = v, 0 = -2*q + 3*v - y - 13 for q.
-2
Suppose 3*h = t + 33, -h - 27 = -3*h - t. Suppose -4*k = -h - 0. Suppose -5 - 5 = -5*r. Solve -j = 3*d - k, -2*d - 3*j = -r*j - 3 for d.
0
Let i(g) = -g + 5 + 3*g - 3*g. Let r = -12 + 7. Let c be i(r). Solve 0 = 2*f + 5*b + c, 0*f = -f + 3*b + 17 for f.
5
Let h = 46 + -33. Solve -3*w = 2*p - h, -4*p = 4*w - 8*w - 16 for w.
1
Let j be (1 - 3/2)*-154. Let x be j/5 - (-2)/(-5). Let m be 11/2 - (-1)/(-2). Solve 0 = 5*y - 2*d, 6*y + x = y + m*d for y.
2
Let p = 57 + -52. Suppose 3*i - 14 = -5. Solve -p*s = 3*k - 6, -2*k = -1 - i for s.
0
Suppose 5*m - 6*a + 3*a = 26, -4*a = -m + 12. Suppose -18 = -m*y - 2. Solve -2*i - i + q = -y, i - 2 = q for i.
1
Let h = 8 + -7. Suppose s - h = 0, 3*f + 0*f + 4*s = 16. Solve f*g + 2*o + 3*o - 11 = 0, -10 = g - 3*o for g.
-1
Suppose -l + 5*i = 21, -23 = -2*l - 0*i - 3*i. Let v = -98 + 98. Let u = 11 + -7. Solve 0 = u*a + 2*c - 9 - 1, v = -l*a - 4*c for a.
5
Let w(i) = i + 5. Let x be w(-3). Let f be x/2*(6 + 5). Solve 3*u + f = 5*s, 4*s - 14 = 2*s - 2*u for s.
4
Suppose -3*y = 3, -3*r + 0*y + 17 = -2*y. Suppose 30 = r*c - 0*c + 5*u, 2*c = 4*u. Solve -c*q - 3 = 5*o, 0 = -2*q - 0*q + 5*o + 21 for q.
3
Suppose -5*q = -3*n + n - 681, -4*q = -3*n - 549. Let h be (-4)/10 - q/(-25). Solve 4*g + 2*r = -3*r + 18, -h*g = -5*r for g.
2
Let k(j) = -j**3 + 15*j**2 + j + 21. Let m be k(15). Solve -3*t + 2*b + 15 - m = 0, -3*t - 27 = -4*b for t.
-5
Suppose -10*i = -3*i - 14. Solve 4*g = -2*y - g - 3, 2*g = i*y - 4 for y.
1
Let x(w) = -3*w + 26. Let c be x(8). Solve 3*r - 4*d - 21 = 0, r - c*d - 15 = 2*d for r.
3
Let i be 0 + (-1)/(-3)*3. Suppose -w + 4 + i = 0. Let g be (2/(-1) + -1)/(-1). Solve g - 7 = -2*u, -10 = -5*v - w*u for v.
0
Suppose -2*p + 12 = p, -3*p = 4*o - 48. Solve -4*b = 2*f + o + 9, 2*f - 2*b = 12 for f.
1
Suppose -2*v - k - 28 = -9, -k = v + 10. Let i = v - -14. Suppose 8 = l + 5*x, -i*l + 3*x - 7*x + 19 = 0. Solve 0*w - 30 = -l*c - 3*w, -4*w = -c - 15 for c.
5
Let i = 12 + -2. Suppose -x + i = 5. Solve 2*a = x*d - 6, 2*d - 6*d + 4 = -2*a for a.
2
Let z(r) = -r**2 + 5*r + 5. Let m be z(5). Suppose -50 = -m*s + 5*y, 5*y + 0 = 5. Solve 0 = -4*f + 12, -2*f + 3*f - s = -4*g for g.
2
Suppose 0 = 2*r + 4*v + 9 + 11, 4*v = 2*r - 20. Suppose r = 4*g - 5*b - 3 + 12, 5*g = -b + 25. Solve 0 = -d + 5*d + y + 7, 2*y + 2 = -g*d for d.
-3
Suppose -11 = -2*a + 1. Let i be 1/a + (-665)/(-42). Solve h - q + 0*q - 1 = 0, -2*h - 5*q + i = 0 for h.
3
Suppose 5*u - 12 = 2*q, 0 = -4*u + 3*u + 3*q - 8. Solve u*c + 3*y = y + 10, -5*c = -5*y - 5 for c.
2
Let x(k