 + l + 5*j - 10 = 0, 2*l - 3*j - i = 0 for l.
5
Suppose 0 = -0*g + 4*g - 164. Suppose -g = 4*y + 27. Let o = 2 - y. Solve -5*i + o = -3*d, -4*d - 5*i + 13 + 20 = 0 for d.
2
Let v(h) be the first derivative of -h**3/3 - 11*h**2/2 - 5*h - 3. Let w be v(-10). Solve w*m + q = -19, 2*q + 2 - 20 = 4*m for m.
-4
Let c = 3 - -11. Let l(a) = 3*a**3 - a**2 + 2*a - 1. Let b be l(1). Solve o - 26 = 4*o - 5*g, -b*g = -o - c for o.
-2
Let l = 35 + -15. Suppose 5*b + l = 0, -23 = -2*i - 3*i + 2*b. Suppose 0 = -4*d + 3 + 5, d = 5*w - 223. Solve -5*x = -s - 25, -5*x + i*s = -2*s - w for x.
4
Let t = 16 - 10. Let a = -1 + 6. Solve i + 8 = a*g, -g - 6 = -t*i + 2*i for g.
2
Let v = 40 - 33. Solve -5*y - 2*f - v = -30, -4*f + 1 = y for y.
5
Suppose 2*r - 26 + 18 = 0. Solve -d + 1 = 2*g - 4*g, -d + 3*g = -r for d.
-5
Let o = -3 - -2. Let a be (o/3)/(9/(-270)). Solve -2*i - 5*n - 1 = -24, 2*n = 4*i - a for i.
4
Suppose -25 = -5*i, -i + 70 = -5*h - 0*i. Let y = h - -18. Solve k - 3*v = -k - y, 4*v = 20 for k.
5
Suppose 4*o = 2*k - 8, -3*k + 3 = -2*k - 3*o. Solve 3*t - 3*q + 9 = -k, -3*t = q - 5 for t.
0
Let r = -2 + 4. Let j = 8 - 7. Let h be ((r + -2)/j)/(-1). Solve h*z - g = 5*z - 25, -3*g = 0 for z.
5
Let c = 1 - -1. Let v(k) = 2 + 5*k**2 + c*k**3 - 4*k**3 - 3*k + k**3. Let t be v(2). Solve 4*i - 4*b + t = 0, 5*i - 3*b + 18 = 6 for i.
-3
Suppose 2*g + 4 = 5*q, 19 = 3*q + 3*g + 4. Solve -q*i + 18 = 2*m, 3*i - 5*m + 4*m - 11 = 0 for i.
5
Let t(d) = d**3 + d + 2. Suppose -3*h + 18 = h - 2*p, 4*h + 4*p = 0. Let n be 2/h - (-4)/(-6). Let x be t(n). Solve 2*y - 2*l = x, -4*y + 18 = 2*l + l for y.
3
Let y = 2 - -1. Let m be 97/2 + 3/6. Let p = -28 + m. Solve y*r = s + 2*s + p, 0 = 3*s - r + 13 for s.
-3
Suppose 6 = 6*f - 3*f. Solve -y - 5*d = -f*y + 24, 2*d = -2*y for y.
4
Suppose 2*b = -4*c - 0*c + 8, -2*c + 12 = 3*b. Let l = -40 + 44. Let x(d) = -d**2 - 8*d + 5. Let k be x(-8). Solve -h - b*h = m + k, -m - 5 = -l*h for h.
0
Suppose -3*m - m + 3*c + 4 = 0, -2*c = 4*m - 24. Suppose m*i - 6 = 2*i. Solve -a - 4*p = -0*p - 7, i*p = 5*a + 34 for a.
-5
Let x(i) = 2*i**2 - 4*i + 5. Let y be x(2). Solve 0 = -r + y*r + 2*v + 14, v - 1 = 0 for r.
-4
Let p(c) = c**3 + 6*c**2 - 2*c - 6. Let l be p(-6). Let u(y) = -y - 3. Let q be u(-3). Solve 2*v + 8*h - 3*h + l = q, -3*h = -3*v + 12 for v.
2
Let a = -9 - -11. Solve -16 = 3*o + u - 3, 4*u - 4 = a*o for o.
-4
Suppose 3*s = 3, -2*s - s - 12 = -5*k. Suppose -m = k*m - 12. Suppose -3*p + 4 = -8. Solve p*h = j + 18, -m*h = -2*j - j - 18 for j.
-2
Let w = 13 + -8. Suppose 1 = w*p - 109. Solve -2*r - p = 4*n, -3*n + 0*n - 21 = 3*r for r.
-3
Suppose 6*u - u - 60 = -4*s, -5*u = 20. Let t = s + -17. Solve 0 = -4*w - 5*d + 1, -5*w + t - 6 = 2*d for w.
-1
Let f(n) = -n**2 + 6*n - 5. Let l be f(5). Suppose -2*v - 3 + 11 = l. Solve 15 = 4*h - 3*o, o = 4*h - v - 1 for h.
0
Let a(b) = -2*b - 2. Let v(y) = -y - 1. Let r(s) = -5*a(s) + 7*v(s). Let u be r(-1). Solve 4*z + u*z = -5*i - 19, -5*z - 3*i = 14 for z.
-1
Let b(d) = -2*d - 2. Let a be b(-3). Let q = -4 + 6. Solve -4*g - m = -a, 6*m = 4*g + q*m - 4 for g.
1
Suppose -2*s - 3 + 7 = 0. Solve -j = 2*y + 4, 0 = -y - s*y - 4*j + 4 for y.
-4
Let d = -1 - 0. Let f(l) = 5*l. Let s be f(d). Let g = -3 - s. Solve -g*j - 6 = 3*b, -b + j - 5*j = 2 for b.
-2
Let h be 0*2/(-4)*-1. Suppose 0*z + 2*z = h. Solve 3*f - 2*t = -23, -5*f = -z*f + t + 21 for f.
-5
Let w = -2 - -7. Let n(y) = -y**2 + 11*y - 12. Let r be n(9). Suppose 0 = -4*i + r + 10. Solve 3*v = 3*c - c + i, -w*c + 3*v = -8 for c.
4
Let l = -8 - -5. Let u = l - -3. Suppose u = -2*m + 17 + 1. Solve -4*h + 5*n - m = -0, 2*h = -3*n + 23 for h.
4
Suppose -7 + 32 = o - 4*p, o = 3*p + 21. Solve o = -3*k + f - 4*f, f + 9 = 5*k for k.
1
Suppose 0 = 3*d + 5*p - 61, 2*d - 15 = -4*p + 27. Solve 0 = 3*s - j - d, 0 = 3*s + 3*j + 2*j + 13 for s.
4
Suppose -6*d + 10*d + 92 = 0. Let u = d + 26. Solve 2*q - 4*f = 20, -f + u*f = -3*q + 6 for q.
4
Let c be (-4)/7 + (-525)/(-147). Solve x = 2*o - 2, -5*o = -c*x - 2*o - 9 for x.
-4
Let z = 45 - 116. Let o = -49 - z. Solve -2*g + 0*n + n = -6, 5*n + o = 2*g for g.
1
Suppose 5*o = 3*o. Suppose 0 = -3*j - o*j. Solve 2*a = 3*r - 6*r - 14, j = 4*a + 2*r + 20 for a.
-4
Let p(m) = -2*m + 2. Let j be p(-2). Suppose 2*d = -d + j. Suppose 0 = -5*k + 5 + 30. Solve 0 = -2*n - d, -k*l + n - 4 = -2*l for l.
-1
Let a(i) = -i**3 + 4*i**2 + 3*i + 14. Let d be a(5). Solve -d*n = 5*w - 7, 0*n - 3*n = -4*w + 18 for w.
3
Let s be 2/(-2) - -1 - 0. Suppose -4*q + 7*q - 15 = 0. Let k = q + s. Solve -4*p - 18 = d - 6, -5*d - k*p - 15 = 0 for d.
0
Suppose 0 = 2*q - 2 - 0. Let t = q - -1. Solve -10 = -t*w - 0*w, -2*i = 4*w - 24 for i.
2
Suppose 6*i - 9*i = 0. Solve -5*q = u + 13, -4*u - u - 15 = i for q.
-2
Let f be (1 - 0)/1 - -3. Let h be (-2 - -10)*2/f. Let k be (2 - (-16)/(-5))*-5. Solve -h*y - 2 = y + 3*q, -3*q = 3*y + k for y.
2
Let x = -17 - -26. Solve -4 = -j - r, 0 = 5*j - 4*r + 16 + x for j.
-1
Let m(n) = -n**2 + 7*n - 3. Let l be m(6). Let s = -3 - -3. Let o = s + l. Solve 3*t = f + 1, -4*f - o*t - 2*t + 13 = 0 for f.
2
Suppose -12 = r - 18. Solve -r*k + 7 = -2*q - k, -5 = -5*k for q.
-1
Let r = 26 + -21. Suppose -3 = -2*z - r*t + 1, -2*t = -2*z + 4. Solve 4*k = 12, k + 15 = -4*n + z*k for n.
-3
Let m = -6 + 10. Let h(d) = d**3 - 11*d**2 - 13*d + 14. Let u be h(12). Solve -4*v - 4 = -m*l, -3*v - u*v = -l + 17 for l.
-3
Let s = 9 - 5. Let u(j) = -j**2 + 5*j - 4. Let q be u(5). Let w be 4/(-10)*10/q. Solve -s*p - 3*y + 3 = -w, -4*y + 16 = 0 for p.
-2
Suppose 3*i + 65 = 8. Let h = 21 + i. Solve -4*n - 24 = -g, -8 - 2 = -h*n - 5*g for n.
-5
Suppose -15 = -4*t + 5*w, 9 = 3*t - 4*w - 2. Solve -3*q + 8 = -4*h, h + 3*q + 22 = t for h.
-5
Let y(x) = x**2 + 7*x + 7. Let i be y(-5). Let z(q) = -q**3 - 3*q**2 - 2*q - 2. Let b be z(i). Solve -5*n = -2*o + b, -2*o - 3*o = 2*n - 10 for o.
2
Suppose -36 = -5*w + 54. Solve 2*s + 5*u + 5 = 0, 5*u + 3 = 2*s + w for s.
-5
Suppose -5*z + 4*q = 2*q - 16, -5*q - 25 = -5*z. Solve 2*i = -5*v - 17, v + 0*v = z*i - 1 for i.
-1
Let w = 15 + -7. Let l(u) = -2*u - 4 + 3*u + u - u. Let f be l(w). Solve 0 = f*g - 3*d + 5 - 24, -5*d = 5 for g.
4
Let d = 13 + -1. Let w be (d - 4)*2/2. Let h(q) = -2*q + 1. Let y be h(-2). Solve -3*m + 3*v + 6 = 0, -w = y*v - v for m.
0
Suppose 3*j = d + 13, 0 - 2 = -j - 2*d. Solve y = 5*k - j*y, -4*k - 3*y - 7 = 0 for k.
-1
Suppose -3*b + p + 94 = 0, -b + 3*p + 34 = -0*b. Solve -5*x = -3*a - 6 + b, 5*x + a + 5 = 0 for x.
-2
Let q(s) = -s - 7. Suppose -5 = n + 1. Let h be q(n). Let i = -1 - h. Solve -d - 13 = 4*d - c, -5*d - 4*c + 2 = i for d.
-2
Let k(n) = 5*n - 1. Let a be k(-2). Let r be (-2)/a - (-22)/(-121). Solve r = -0*f - 2*f, -m + 2 = -f for m.
2
Let p(x) = 7*x**3 + 2*x**2 - 1. Let g = 4 - 3. Let h be p(g). Solve -u + 12 = 2*u - 5*v, 5*u + v + h = 0 for u.
-1
Let x(z) = -z**2 + 5*z + 1. Let f be x(5). Let i(k) = -k**2 + 3*k + 1. Let r be i(3). Suppose f = d - r. Solve 3 = 2*o - o + s, d*s = o + 12 for o.
-2
Let o = -1 - -8. Let t = 10 - o. Suppose t*j = -0*j. Solve -x - 2*b - 4 = j, x = 4*b + b + 3 for x.
-2
Suppose -66*a = -68*a + 22. Solve -2*k - a = r - 1, -2*r = 0 for k.
-5
Let t = 6 + -6. Suppose t*m = 3*m - 6. Suppose 69 = x + m*x. Solve -6*o + o = -3*k + x, -5*k - 7 = 3*o for o.
-4
Suppose -2*j + 5*h + 9 = 0, -h + 3 = 2*j - 0*h. Suppose 0*f = -j*f + 10. Suppose 4*g - 3*g = f. Solve 0 = 3*n + 3, g*q - 2*n - 17 = -0*n for q.
3
Let d = -18 + 20. Solve 11 = 5*f + 2*p, -d*f = -5*p + 3*p + 4 for f.
1
Suppose 4*n = 5*x + 8, -5*x + 10 + 0 = 5*n. Suppose -q = -4 - 0. Solve -2*l + 11 = -n*w - 7*l, 5*l - 7 = q*w for w.
-3
Let f(t) be the first derivative of t**4/4 - t**3/3 + t**2/2 + 3*t + 5. Let c be f(0). Solve -c*b + 2*j = -15, 2*b = -j - 0*j + 3 for b.
3
Let j be (-2)/(-6) - 8/24. Suppose -15 = -j*l - 5*l. Solve 0 = l*y, 0 = 4*k - 3*y - 0*y for k.
0
Let n(g) = -g - 2. Let r be n(-5). Suppose 3 = -r*i + 21. Solve p - 12 = 3*u + i*p, 4*u = -4*p - 8 for u.
1
Suppose 25 = f - 6*f. Let b be (-76)/f - 8/40. Solve 5*y = -5*m - b, 8 = -3*m + m for y.
1
Suppose 136 = -2*c + 148. Solve -2*y + 0*h + c = h, -4*h = 0 for y.
3
Let m be 10/(-15)*(-3 - 0). Solve -5*i + u = -m*i - 11, -u - 1 = -i for i.
5
Suppose -4*c + a = -62, 2*c - a - 11 = 21. Suppose 2*m + 3*m - c = 0. Solve 2*p + 3 