i = -u - 1, -4*u = 3*i + 2 + 13 for i.
-1
Let c(g) = 2*g**3 - g**2 - 2*g + 2. Let r be c(0). Solve f - 5*f = r*n - 4, -3*f = 3*n - 9 for f.
-1
Suppose -5*m - 2*m = 105. Let d be (-4 + 1)*10/m. Solve 3*r + 14 = 2*l, -d*l + 15 = -4*r - 1 for l.
4
Let m be 136/51*(10 + -4). Solve -4*o + m = -4*i, 0 = -o - 5*i - 7 - 19 for o.
-1
Let z = -60 + 62. Suppose -z = -2*a + 4. Solve -g - a*g = -m - 15, 3*m = 3*g for m.
5
Let f be ((-81)/(-6))/(4/8). Suppose -w = 2*w - 9. Suppose -5*u + f = 6*c - w*c, 0 = 4*u - 12. Solve -c*g = -2*z + 10, -g = 3*z - 2*g - 5 for z.
1
Let i(d) = d + 2. Let l be 11*(-2)/(-4)*-2. Let w(c) = -3*c - 7. Let n(a) = l*i(a) - 4*w(a). Let g be n(-5). Solve -2*m - 5*y = -g, 3*y = -m + y + 1 for m.
3
Let i(w) = w**3 + 4*w**2 + 2*w. Let u be (-9)/(-6) - 18/4. Let h be i(u). Solve -s + a - 1 = -h, 3*a = 4*s - 9 for s.
3
Suppose 15 = -5*a + 10*a. Let i(r) = r**2 + r - 1. Let j be i(2). Solve -25 = -4*v - 5*u, a*u - j = -2 for v.
5
Let j = 158 - 143. Suppose 0 = -m + 1 + 2. Suppose 5*i = m*u - 24, 0 = 3*u + 2*i - 2 - 1. Solve u*x - 2*p - 7 = 15, 0 = 3*p + j for x.
4
Let f = 197 - 142. Suppose t - f = -52. Solve -q = -t*s - s - 11, q - 5*s = 14 for q.
-1
Let y(u) = -u**2 - 18*u + 25. Let c be y(-19). Suppose m = -m + c. Solve -3*p - 7 = -5*h - 2, -3*h + p + m = 0 for h.
1
Suppose -l + 58 = 5*t, -5*l = -3*t - l + 44. Let k be (t/14)/((-14)/(-98)). Let s be (-2)/k - 176/(-33). Solve -s*w + 4*j = 11, -3*w = 5*j - 4*j - 7 for w.
1
Let d = 701 + -697. Solve -d*k - 5*s - 16 = 0, 16 = -3*k - 5*s + 4 for k.
-4
Let i = -8 + 7. Let f be (i + 43)/(6/8). Suppose -l - 7 + f = 2*g, -24 = -2*g + 4*l. Solve -g = x - 5*j - 6, 0 = -3*j + 9 for x.
-1
Suppose -2*b + 9*t = 4*t - 26, 4*b + 3*t = 0. Solve -3*i + 4*c + 1 = -0, 27 = -b*i - 3*c for i.
-5
Let m(g) = -2*g - 5. Let l be m(-4). Let d be (11/(-11))/((-1)/3). Let b be -6 + 17/((-102)/(-36)). Solve b = -k + n, l*k - 6*k - d*n = -24 for k.
4
Suppose 34*z = 10*z + 120. Solve -z*f - 2*g = -3*g, 0 = 5*g for f.
0
Let o(i) = i**3 - 9*i**2 - 16. Let j be o(10). Let k = j - 79. Solve -2*f = -d + k, -2*f + 9 = -5*f + d for f.
-4
Suppose 9*w - 56 = -5*w. Let b be 4/18 - 68/(-18). Suppose d = b - 2. Solve w*j = -a - 5, -j + 3*j = -d*a - 4 for j.
-1
Suppose 232 = -21*r + 421. Solve -3*f + r = 0, 0 = -2*a - 3*f + f + 6 for a.
0
Suppose 0 = -5*j + s - 2, -3*s = 2*s - 10. Let q(b) = -3*b - 66. Let m be q(-26). Solve -y + 3*l + 3 = j, 0 = -4*y - 0*y + 2*l + m for y.
3
Suppose -m = t + 5, -1 = -3*m - 4. Let u(k) = -k**3 - 5*k**2 - 4*k. Let j be u(t). Suppose -5 = -w - j. Solve -4*b = -w*g + 1, 0 = -3*b - g + 4*g - 3 for b.
-4
Suppose 89*d = 95*d + 18. Let n be ((-32)/12)/(2/d). Solve -4*x - 5*g + 2 = -n, -5*x - 3*g + 14 = 0 for x.
4
Let d(c) = -c - 6. Let x be d(-6). Suppose x = 5*y - 8*y + 9. Solve -4*k + 5*z - 25 - 3 = 0, y*z = 3*k + 18 for k.
-2
Let s be 1/((-55)/(-670)) - 2/11. Suppose 0 = 3*n - 15*i + s*i + 6, -2 = -n - i. Solve 3*z - 16 = y, -z - 4*y - 7 - 5 = n for z.
4
Let t(l) = -2*l**2 - 47*l + 24. Let g be t(-24). Let k(d) = -d**2 - 2*d + 4. Let n be k(g). Solve 0 = 3*o - n*v - 11, -5*v - 1 = 5*o - 2*v for o.
1
Suppose -3*l = -3*o - 21, 7*o = -4*l + 2*o - 8. Solve l*v - 7 + 4 = -3*w, v = -3*w + 3 for v.
0
Suppose 5*j - 3 - 15 = 3*u, u + 4 = j. Let a(t) = 3*t**3 - 5*t**2 - 2 - t**3 + t - t**3. Let g be a(5). Solve -5*q + 5 = -s, g*q - 2*s + j = -1 for q.
2
Let b(h) = -3*h**2 + 3*h - 2. Let g be b(2). Let q = 12 + g. Suppose q*d = d + 3*a + 3, -4*d + 5*a = -5. Solve t + t - 5 = -s, -3*t - 4*s + 20 = d for t.
0
Let r(j) = 3*j - 29. Let s be r(11). Suppose -3*b + 2*l = -6, -s*l = -5 - 7. Solve -4 = -3*q - g, 0*q = 4*q + b*g for q.
2
Let q be (-10)/(-15)*6*4. Solve -5*l = -4*s + 41, 6*l = 2*l - s - q for l.
-5
Suppose 2*f = 4*k - 8, 2*k - 8 = f - 2*f. Let q(j) be the first derivative of -j**2 + 4*j + 1. Let t be q(f). Solve -5*o = a - 26, t = -4*a + 4*o - 7 - 9 for a.
1
Let o = 19 + 16. Suppose 0 = -2*r + x - 4*x - 3, -3*r - 4 = 4*x. Solve r = 2*y + 5*h - 5, -h + o = -4*y + 4*h for y.
-5
Let m = 44 - 0. Let u = 46 - m. Solve 0 = -3*b - r - u*r - 9, 4*r = 0 for b.
-3
Suppose 0 = -2*q + 7 - 3. Suppose 0 = -0*d - q*d + 10. Solve 3 = -3*z - 6, -k + d = -z for k.
2
Suppose 11 = o + 4*r, -2*r + 0 = -4. Suppose 9 = -o*q + 24. Suppose 3*n = -2*j + j, 3*j - 14 = q*n. Solve 4*g - z - 3*z = 24, -2*z + 3 = j*g for g.
3
Let p = -611 + 613. Solve 2*f - 9 = 3*v + 4, -3 = -p*v - f for v.
-1
Let u be (-1*2)/(42/21). Let h be u/((-4)/40 + 0). Solve 0 = -5*m - h, -m = -2*a + 3*m + 6 for a.
-1
Let g(w) = w**2 - 13*w + 15. Let z be g(11). Let s be 8/28 + (-12)/z. Let d(l) = 2*l - 11. Let b be d(12). Solve 5*q + b + s = -5*f, 17 = -3*q - 5*f for q.
1
Let c = 225 + -223. Solve -5*j - 3*b = -4*b + 7, 2*b = -c*j - 10 for j.
-2
Suppose 4*t + 3*s = 17, -5*s + 9 = -4*t + 2. Solve -3*z - t*f = -3*f + 2, z = f - 2 for z.
0
Let v(o) = o**2 - o + 1. Suppose -7 = -r + 3*m + 2*m, -3*m - 1 = r. Let b be v(r). Let f be 2/((3 + 2)/10). Solve s = -3*h + f - 0, 3*s = -b*h + 6 for h.
1
Suppose 113*g - 118*g = -15. Solve 0 = 5*i - 3*r + 6, -6*r + 6 = i - g*r for i.
0
Let q be -2*(-4 + 44/8). Let t = 1 - q. Suppose 21 = t*u + 9. Solve -5 = r + u*s, 5*r - s - 15 = 2*r for r.
4
Suppose 2*l + 18*j = 22*j + 36, 0 = 2*l + 5*j. Solve -15 - 14 = -5*h - f, 0 = -2*h + 5*f - l for h.
5
Let y(n) = 7 - 4*n**2 - 3 + 4*n**2 - n**2. Let f be y(0). Solve 0*v - 6 = 5*g - 2*v, -f = 2*v for g.
-2
Suppose -5*g = -g - 12. Let b be 19 + (-4)/(-6)*g. Suppose -2*p - 18 = -2*u, 3*u + u - p - b = 0. Solve 2*v - u*v + 14 = l, -2*l = -3*v + 7 for l.
4
Let t = 684 - 679. Solve 5*s = 4*f + f - 35, -t*s = 3*f - 5 for s.
-2
Suppose -5*y - 42 = -102. Solve -w = 5*q - 14, 6*q = 2*q + y for w.
-1
Suppose o + 19 = 3*r, 5*o + r = -0*r - 47. Let b(s) = -2*s - 15. Let f be b(o). Solve -4*h + 2*w + 11 = 7*w, -f*h - 3*w = -4 for h.
-1
Let o(f) = 3*f**2 + 3*f + 4. Let n(y) = 8*y**2 + 9*y + 11. Let r(t) = 4*n(t) - 11*o(t). Let a be r(2). Solve 0*p - 2*p + 4 = -a*j, 0 = -4*j - 5*p - 26 for j.
-4
Let m(l) = -l**3 - 6*l**2 + 2*l + 11. Let f be m(-6). Let b be 5 - (0 + 2 + f). Solve -2*w = 2*y + 18, 3*y + b*w + 49 - 18 = 0 for y.
-5
Let u(b) = -5*b**2 + 52*b - 14. Let d be u(10). Let i be 52/5 - (-2)/(-5). Suppose i = 4*k - d. Solve -4 = -l, -8 = -4*f - 4*l + k for f.
-1
Suppose -2*c - 3*c = -i - 21, 2*i + 2 = 2*c. Solve j - 7 = c*g, 4*j = j - 5*g + 1 for j.
2
Suppose -13 + 41 = 14*t. Solve -17 = -3*c - t*g, 0 = -10*g + 6*g + 16 for c.
3
Suppose -20 - 4 = 3*z. Let g = z - -10. Solve -4*k = -0*s - s - 3, 0 = -g*s - 2*k - 6 for s.
-3
Suppose 25*d = 6*d + 95. Solve -3*w = -6, -10 = 4*x + x + d*w for x.
-4
Let n = -868 - -873. Solve y - 2 = 5*c, 20 = y + n*c + 18 for y.
2
Let z be (-12*1)/((-3)/9). Suppose -4*p = 5*p - z. Solve 3*d = -p*u + 4*d + 4, 4*d = 5*u - 5 for u.
1
Suppose 19*y + 5*h = 14*y + 5, -5*y + 21 = -3*h. Solve f + y*z + 15 = 0, 5*f - z = f + 5 for f.
0
Let b(c) = -111*c + 557. Let x be b(5). Solve 2*n = 4*i - n - 11, -x*i + 19 = 3*n for i.
5
Let t be 118/1003 - (-132)/34. Solve -5*b - 30 = 3*a, -t*b + a = -4*a - 13 for b.
-3
Let a = -1 + 1. Suppose 5*x - 107 = -4*m, 5*x = 3*m - 4*m + 113. Suppose -8*h = -x*h + 60. Solve a = -b - h*f + f + 8, b = f - 8 for b.
-4
Let i = -31 + 76. Let s be (-2)/(-4) - i/(-20)*2. Solve -4*q - s = -3*z, -4*z + 7*q - 2*q = -6 for z.
-1
Suppose 4*a = 19*a. Solve -4*n + 2*d - 10 = 4, a = n - 4*d + 14 for n.
-2
Let g = -89 + 101. Suppose -5*j - j = -g. Solve 4*f - 4 = -j*n, -5*n + 5*f + 7 + 3 = 0 for n.
2
Let a be (-1)/5 - (-6 - (-108)/(-15)). Let z be (-2 - -4)*(-14)/(-2). Suppose a*n = z*n. Solve n = -4*q, 2*q = -5*b - 0*q - 15 for b.
-3
Let d = 17 + -13. Solve -5*s - 10 = -f, 3*f - 4*s - d = -2*s for f.
0
Let h(d) = d**2 - 8*d + 4. Let i be h(6). Let f = i + 27. Suppose -2*v + 19 = -f. Solve 4*x = r - 18, -5 = 4*x + 2*r + v for x.
-5
Let y(i) = i - 15*i**2 + 15 - 4*i**2 + 7*i**2 - i**3. Let c be y(-12). Solve 6 = -c*m, -5*d - 4*m - 24 = -1 for d.
-3
Suppose -r - 4*a - 5 = -9*a, 2*r - 4 = -4*a. Let c = 22 - 18. Let l = c + 6. Solve 5*h - m + 2 = -l, r = -4*m + 8 for h.
-2
Let z = 36 + 9. Let j be (-2)/10 - (-9)/z. Solve -5*l + 7 = t, -2*l - 5*t + 5 - 16 = j for l.
2
Let h = -559 + 564. Solve 5*q - 4 = 2*q - g, -16 = -3*q + h*g for q.
2
Let h be (-7)/(-2) - 1/(