ve -3*s + 3*c - x = 0, 9 = -4*s + 5*c - 18 for s.
-3
Let p = 8 + -6. Suppose 0 = 4*m + 16, -p*m = 2*s + 3 - 1. Solve s*g - 3*j - 6 = 3, 0 = 2*j for g.
3
Let f(u) = -u**2 - 6*u - 2. Suppose 15 = -2*n - n. Let m be f(n). Suppose 18 = 2*v + 2*r, -m*v + 11 = 5*r - 24. Solve 10 = -v*g - x, 2*x + 10 = -0*x for g.
-1
Suppose -4*l - 2*g + 10 = -4, -4*l - 4*g + 20 = 0. Suppose l*r + 3*r - 20 = 0, 2*q + 3*r - 54 = 0. Solve -3*v - q = -3*b, 18 + 7 = -5*v for b.
2
Suppose -w = -2*w + 4. Solve 2*t + 4*o + w = 5*t, 2*o = -3*t + 16 for t.
4
Let i = -66 - -68. Solve -3*u - 7*t - 3 = -3*t, i*u - 3*t + 2 = 0 for u.
-1
Suppose -5*k + 12 = 2. Suppose -k*t = 2*t - a + 11, t + 6 = -3*a. Let p be 38/3 + 2/t. Solve 5*r = 5*x + p + 13, -3*x = r + 7 for x.
-3
Let k = 11 - 7. Suppose -2*h = k - 12. Suppose -n = 2*f - 13, h*n - 3*f = 2*f + 65. Solve 9 + n = -4*s + 3*g, 0 = -3*s + 3*g - 21 for s.
-3
Let r(h) = h**2 - 4*h + 6. Let s be r(4). Let a(j) = j**3 - 6*j**2 + j - 2. Let i be a(s). Solve 5*u - 4*q - 20 = 0, -25 = -9*u + i*u + 5*q for u.
0
Let p(q) = q**2 + 6*q + 6. Let n be p(-6). Suppose -5*h = -i - 22, 2*i = -h - 3*h + 12. Solve n*w - 4*w - h = -g, -4*g + 1 = 3*w for w.
3
Suppose -r + 24 = -0*r - 5*d, -2*d = 4*r - 8. Solve 2*l = 3*j - r, -3*j - j = -4*l for j.
4
Suppose -2*h = -17 + 3. Solve -j + 9 = 5*b, j = b - 4*j - h for b.
2
Let b be (2/3)/((-2)/(-12)). Let q(l) = -6 - 3*l**2 - l + l**3 + 8 - 1. Let n be q(b). Solve 4*c + c - 4*o = -21, 4*o - n = -3*c for c.
-1
Suppose 4*i = 12, -3 + 0 = -2*b - i. Suppose b = u + 4*u - s - 12, -2 = s. Solve u*r = -g - 6, -6 + 3 = -3*g + r for g.
0
Suppose -g - 1 = -2*o + 2, -o = 2*g + 1. Solve 0 = -3*h - 2*p + 7 - o, 15 = -4*h + 5*p for h.
0
Suppose 34*u - 24*u = 50. Let a(q) = -q**2 + 6*q - 5. Let y be a(4). Solve -3*i - 16 = 4*n, n + 4 = -u*i + y*i for i.
0
Let b be 18/(9/6 - (-1)/2). Solve -b = -4*p + 5*g, 3*p - p - g - 3 = 0 for p.
1
Let g = 102 - 62. Suppose 5*s - s - 2*n - 46 = 0, 5*s + n - g = 0. Solve -2*z + 4*z = i + s, -5*z + 22 = -2*i for z.
4
Suppose 5*i - 10 = -0. Solve i*d = 4*w + 18, -2*w - 3*w - 35 = -5*d for w.
-2
Let w(i) = -i + 1. Let y be w(-8). Solve -2*h = 3*v - 11, -v + 2*v - 2*h = y for v.
5
Let y be 5/(-3)*48/(-40). Solve 5*a - 22 = 2*b + 3, 21 = -3*b + y*a for b.
-5
Let o(a) = -2*a + 16. Let j be o(0). Solve -h + y = 0, j = 3*y + y for h.
4
Suppose -4*a = 2*g + 24, 0 = -5*a - 0*a + 5*g. Let w be (-86)/6*-1 - 2/6. Let v be (-46)/a - (-7)/w. Solve -2*f + 3 = -0*n - n, v = 2*f + 2*n for f.
3
Suppose -2*u + u + 1 = 0. Let n be u + (-15)/(-3)*4. Let k = 6 + -2. Solve k*m + n = 5*g, -3*g + g + 18 = -4*m for g.
1
Let m = 13 + -8. Suppose -r = -m*r + 40. Let c be (7/5 - 1)*r. Solve -c*g + 4 = 0, -2*g = 4*n - 4*g - 14 for n.
4
Let t(u) = -u**2 - 4*u + 3. Let m be t(-5). Let p be (1/m)/(6/84). Let y = -2 - p. Solve -4*c + i = -7, y*i = -0*i + 5 for c.
2
Let x(w) = w + 21. Let v be x(-10). Suppose 0 = -q + v - 5. Solve 0 = 2*m - 3*g + 6, q*g - 19 = -m + 2*g for m.
3
Suppose -12 = -2*u - 2*r, 2*u + 3 = -4*r + 9. Solve -3*j - u = -2*v, -6*v + 3*v + 4 = 5*j for v.
3
Suppose 4 = -2*z - 4*u, -2*z - u = -2*u - 6. Solve 3*g + t = -z, -4*g + 2*t - 5*t = 6 for g.
0
Let o = -19 - -22. Solve 8 = 3*p - f - 0*f, 0 = -p + o*f for p.
3
Let w = 5 + 0. Suppose 3*z - w*z = 8. Let p = z - -8. Solve -2*k + 4*t = -6, -4*t = -p*k - k + 9 for k.
1
Suppose 27 + 9 = 9*k. Solve -k*o - o = 20, 5*u - o + 21 = 0 for u.
-5
Suppose 4*a = -a - 20. Let k(i) = -i**2 - 4*i + 4. Let r be k(a). Solve -35 = -2*t + 5*y, y = r*y + 15 for t.
5
Suppose 5*y - 262 = 198. Let h be (y/28 - 3)*14. Solve 2*x - 17 = 5*i, -x + 16 = -0*i - h*i for i.
-5
Suppose -3*c + 4 = -c. Suppose -2*x + 15 - 5 = 0. Suppose -24 + 9 = -x*a. Solve c*b - a*l = -0*b + 3, -5*b = 5*l + 5 for b.
0
Suppose 0 = h - 0*x + 3*x - 9, 4*x = 5*h + 12. Let t = 3 - 1. Let q be (t + -6)/(-2) + 2. Solve 4*o + 3*b - 1 = -2, 2*o - 2*b + q = h for o.
-1
Let y = 133 + -114. Solve -2*c = -a + 3*c, -3*a - y = 4*c for a.
-5
Let m = -52 + 137. Suppose 39 + 9 = 3*j. Suppose -3*t = r - j, 0 = 4*r + 4*t + t - m. Solve k - 2*u = 7, -r = -5*k + 6*u - u for k.
3
Suppose 12 = 8*p - 5*p. Suppose 40 = p*q + q. Solve -3*a = g + 12, -5*g + q = -2*a - g for a.
-4
Let a be 2/(-5) - 85/(-25). Suppose a*q - 5 = -5*r, 4*q - 5 = 3*r + 21. Solve 2*t = 4*i - 3*i + 3, 0 = q*t - 4*i - 6 for t.
2
Let y(s) = s**3 + s**2 + 2. Let f be y(2). Let h be ((-8)/f)/(4/(-14)). Solve -6*n = -3*n - 4*z + 11, -h*z - 17 = 3*n for n.
-5
Suppose o + 0*o = 21. Solve -o = -3*z + w - 3, -3*z - 3*w = -6 for z.
5
Let s = 7 - -2. Suppose -4*u + s*u - 40 = 0. Let y = u + -5. Solve j - y = -2*c, -3*c = -2*c + 1 for j.
5
Suppose -20*o - 10 = -22*o. Suppose 3*g + 11 = 5*u - 39, -5*g = 0. Solve o*p = -2*f + 27, 2*f + 3*f - u = -p for p.
5
Let f = 3 + 0. Suppose -4*k + f = -9. Solve -20 = 3*g - 4*l, k*g + 0*l = 5*l - 25 for g.
0
Let g(z) = z**3 + 9*z**2 - 2*z - 2. Let f be g(-9). Suppose -5*d + 4 = -f. Solve w - 2 = -3*y + 2*y, -2*w = d*y - 8 for y.
2
Let q(w) = -2*w**2 + 31*w - 15. Let l(f) = f**2 - 15*f + 7. Let z(c) = -9*l(c) - 4*q(c). Let m be z(8). Solve 3*g = -r + 9, 0*g - m = 3*r - 3*g for r.
-3
Let v(j) = j - 2. Let q be v(11). Solve -3*o + 14 = 5*t - q, 5*t - 2*o = 18 for t.
4
Let c be 3 + (3 - 4) - 9. Let x = 26 + c. Solve -5*d + 5*b - x = -4, -2*d - 9 = b for d.
-4
Let h(y) = y + 10. Let s be h(-6). Solve 1 + 2 = 3*t + 3*p, s*t - 2*p - 22 = 0 for t.
4
Suppose 0 = a - 3*v - 6 + 5, 4*a - 46 = -2*v. Solve -3*t - 2*t - 5*q = a, -2*t - q - 2 = 0 for t.
0
Let m(i) = i - 5. Let v be m(7). Let y = 14 + -5. Let c be (-2)/y + 94/18. Solve 4*x = 2*w, c*w - v*x = 2*w for w.
0
Let s = 4 - 2. Let i be (s - 88/20)*-5. Solve -i = -4*d + t - 3*t, -3*t = 5*d - 14 for d.
4
Let j = 53 - 38. Solve -32 + 8 = s + 4*b, -3*b = j for s.
-4
Let n be (-30)/(-18)*-1*3. Let t be (-22)/n - 2/5. Solve t*a = -5*o + 12, -5*a - 3*o + 11 = -4 for a.
3
Let x(o) = -o**2 + 5. Let i = -6 - -6. Let y be x(i). Let v = 55 + -33. Solve y*b - v - 3 = 0, -3*b + 13 = -n for n.
2
Suppose 0 = -4*t - 0 + 12. Solve 3*c = -t*l + 15, -5*l = -3*c + 17 - 2 for l.
0
Let z be (5 - 5)/((-1)/(-1)). Let m be z/(-1*(0 + -1)). Solve w - s - s - 1 = m, 7 = -2*w - 5*s for w.
-1
Let s(v) be the second derivative of 0*v**3 + 5*v**2 - 4*v + 0 - 1/12*v**4. Let k be s(0). Solve -3*r - 2*t + 4*t + 12 = 0, -k = r + 4*t for r.
2
Let b be 161/56 + 1/8. Let f be (-363)/(-18) + b/(-18). Solve 4*a + f = 0, -5*i - a - 4*a = 30 for i.
-1
Let v = 16 - 11. Suppose 0*o + 3 = o. Suppose 2*h = -o*r, 5*h - 5*r = -2*r. Solve h = -2*d + 5*p + 13, -v*p - 3 + 10 = 3*d for d.
4
Suppose -15 = 7*d - 99. Solve -2*o + 2 = 5*a + o, 2*a - 2*o = -d for a.
-2
Let f = 12 + -19. Let g = f - -23. Let b = g + -3. Solve -4*s = -4*z + z + b, -5*s = -5*z + 15 for z.
-1
Suppose -3*j + 6 + 3 = 0. Let m be -5*(-12)/30*2. Solve 0 = -0*c + m*c + 3*s - 32, -j*s + 7 = -c for c.
5
Suppose -3*m + 16 = 5*q, 3 - 14 = -q + 2*m. Solve -b - n = -5, 3*n - 15 = q*b - 4*b for b.
0
Suppose 4*q - 5*x + 0 = 1, -3*q = -3*x - 3. Solve -m + 2*m = -5*t - q, 5*m = 5*t + 10 for t.
-1
Suppose -2*n + n = -4. Solve 0*u + 24 = 5*u - g, u + 12 = -n*g for u.
4
Let s be 4/(-4) + 4 - 1. Solve 0 = 3*c + 3*m - 21, -6*c + s*c = 2*m - 24 for c.
5
Let l = -1 + 1. Suppose l*y + 3 = y. Suppose 0 = y*b - 2*b. Solve -4*n - 5*j + 28 = -0*n, b = -2*n + j for n.
2
Suppose b + 2*b + 66 = 0. Let p = -21 - b. Solve 2*y - u - p = -10, 6 = 2*u for y.
-3
Suppose -l = -2 - 1. Suppose l*a - 20 = -2*a. Suppose -2 = -p + a. Solve h + 10 = -p*g + 3*g, h + 18 = -5*g for g.
-4
Suppose -2*t = 8, 43 = -3*s + 4*s - 5*t. Let x be 24 - (2 - 3/3). Suppose 5*c + 3*u + 7 - s = 0, 0 = -4*c + u + x. Solve j + c*l - 16 = 2*j, 5*j = l - 8 for j.
-1
Let u = -18 + 13. Let a = u - -9. Suppose 4*x + b - 3 = 0, 2*b - b = a*x - 13. Solve -4*s = -c - 6, 3 = -x*s + c + 5 for s.
2
Let a be 20/(-15)*(2 - -1). Let o be 66/15 + a/10. Suppose -4*r - 3*s = 15, -s = 5 - 0. Solve 2*p = 2*n - 7*n - 3, r = 5*p + n - o for p.
1
Suppose -2*h - 2 = 5*d + 17, 3*h + 16 = -5*d. Let k = 5 - h. Let s be (-8)/(-2)*(-1)/(-2). Solve -3*v + 15 = -k*g, -5*g - 18 - 3 = -s*v for g.
-3
Let d(j) = 0*j + 2*j - 9*j - 3 - 3*j**2 + 2*j**2. Let b be d(-6). Let v = 20 - 5. Solve p + p = -l + 15, v = b*l for p.
5
Let v = 34 - 25. Solve -2*g + 0*g