g - t = j - l for j.
-2
Suppose -2*g + 2*b + 2*b = -20, 20 = -4*b. Let l = g - -2. Suppose 0*v + 36 = 6*v. Solve 3*p = 4*x + 2 + 12, -2*p = -l*x - v for x.
-5
Let n = 8 + -13. Let x = n - -7. Solve 13 = -4*y - 3*b, -3*y = -x*y - 4*b + 8 for y.
-4
Let k be (-7)/(-1) + 2 + -5. Suppose i + k*i - 110 = 0. Suppose j = 2*j - i. Solve 4*l + 24 = d, 3*d = -2*l + 4*l + j for d.
4
Let p = 3 - 18. Let a = 18 + p. Solve j = a*i - 9, -2*j - 3*j = i - 3 for j.
0
Suppose -4*t - 2*y = -18, -9 = t - 3*y - y. Suppose -t*l + 3 = -0. Solve 3*j + l = -2*j + 4*v, 3*j + 7 = 4*v for j.
3
Let n be 0/(-1) + (-5 - -8). Solve j = n*y + 2, -y + 4*j = 1 + 7 for y.
0
Let r = -5 + 7. Suppose 0 = r*v - 13 + 5. Solve -4*j + 7 = q - 3*j, -3*q + 24 = v*j for q.
4
Suppose -20 = -3*c - c. Let f be (5 - 3)/(-20) + 612/120. Let y(q) = -q**3 + 4*q**2 - q + 4. Let t be y(3). Solve c*j = t, -f*j = 3*g - 0*j + 2 for g.
-4
Let h(i) = -i**3 + 3*i**2 - 4*i + 3. Let l be h(2). Let r be -1 + (28 - (l + 2)). Let j be r/3 + (-3)/(-9). Solve -18 = -5*v + 4*n, -4*n + 1 = j for v.
2
Suppose -4*w = -3*w - 15. Let a be (-1)/5 + (-99)/(-45). Solve w = -5*d + a*y, 3*y - 4 - 6 = -5*d for d.
-1
Let j(l) = -l**3 + 7*l**2 - 6*l. Let k be j(6). Let g = 1 + -2. Let q be (-1 - g) + 4 + 2. Solve 0 = 4*v - 2*v - m + q, -2*v + 3*m - 2 = k for v.
-4
Let h be (1 + (-1)/4)/(33/264). Solve 5 = g - q, -2*g = -0*q + 2*q - h for g.
4
Let j = 3 + 0. Suppose -6*t - o = -t + 5, -3*o = 2*t + 15. Solve -l + 2*a + 14 = -2*a, j*a + 12 = t for l.
-2
Let z(a) = a**2 + 4*a. Let j be z(-3). Let w be 3/(-9)*j - -2. Suppose 0 = u - w*u + 10. Solve 0 = -g + o + 3 - 2, -u*g = -3*o - 3 for g.
0
Let j(d) = 17*d**2 + 153*d. Let h be j(-9). Let x(p) = -8*p - 1. Suppose -4*r - 2 - 2 = 0. Let c be x(r). Solve 8 + 4 = -4*f, h = -s - f - c for s.
-4
Suppose 4*u = 4*i, -2*u + 2*i - i - 1 = 0. Let t be 3 + -2 - u*2. Solve o - 2 = 4*k, -4*k - 6 = -3*o - t*k for o.
2
Suppose -5 - 27 = -4*k. Let f(l) = l - 6. Let b be f(k). Solve 4*v - 4 = -b*a, 4*a + 9 = a - v for a.
-4
Suppose 11 + 31 = h. Let m = h - 18. Let j be m/2 + 2 + 0. Solve -4*f + j = -3*l - 5*f, 0 = -2*l + 2*f - 4 for l.
-4
Suppose -5*r + 15 = 5*y, 3*r + 0*r = 5*y + 33. Let w be -1 + r*(-1)/(-2). Solve w = 4*n - u - 4*u, 0 = -4*n - 4*u - 16 for n.
-2
Let x be (-2)/(-4)*(4 - 4). Solve 3*v + 4*i + i + 10 = x, 13 = -3*v - 2*i for v.
-5
Let s be (-114)/(-12) + (-3)/2. Solve l + 0 = -2*v - 4, -s = 2*v for l.
4
Let t = 6 + -2. Let f be (5 + 0)/((-2)/(-4)). Suppose 5*y - 3*y - f = 0. Solve -t*v - 1 = -z, 2 = -y*v + 4*z - 2 for v.
0
Suppose 104 = 2*o - 72. Suppose -5*q - w + 4*w + o = 0, 2*q + w - 33 = 0. Solve s - 3*a = -11, -3*s = -2*s + 4*a - q for s.
1
Suppose -16 - 2 = -4*d + 5*k, -2 = k. Solve 9 = -5*b - 3*y, 0 = -2*b - d*b + 5*y + 15 for b.
0
Suppose 0*g - 3*g + 6 = 0. Suppose -5*y + 2*y = -2*x + g, -4*x + 26 = 5*y. Solve 0 = -x*c - 3*b + 18 + 3, 4*c = 2*b + 6 for c.
3
Suppose 23 = 4*r - 1. Suppose -r*k - k + 14 = 0. Solve 5*p = a - 9, -4*p - p - k*a = 12 for p.
-2
Let i(v) = -v**3 + 10*v**2 - 5*v - 11. Let a be i(9). Solve -5*y + 22 = -4*p, -5*p + 0 = -5*y + a for y.
2
Let o(d) = d**2 - 8*d - 6. Suppose 5*q - 1 - 2 = -2*w, -2*q = w - 3. Let t be o(w). Solve 4*n = 3*c + 3, 4*c + 2 = -t*n - 2 for c.
-1
Let f = -20 + 24. Solve 0 = -2*k - 3*k - 3*p - 12, -2*k - f = 2*p for k.
-3
Let g = 4 + -2. Solve m + 1 = -0, 2*m + g = 4*a for a.
0
Let v be (7 + -1)/((-1)/(-1)). Suppose 0 = -v*q + 17 + 7. Solve u + 6 = -q*i, -5*i + 2*i = u + 4 for u.
2
Let i be -2 - (-2 - -1)*7. Solve -5*d = 2*s - 23, -i*d + s + 2*s + 3 = 0 for d.
3
Suppose 0*z - z = -5. Suppose 5*k + 45 = 4*s, 2*s - s + z*k - 5 = 0. Solve 4*j - 3*t - 1 + 20 = 0, t = 5*j + s for j.
-1
Let x = 8 - 5. Solve -2*k = 2*k - x*m - 21, 4*k = -4*m for k.
3
Suppose -2*j + 27 = 2*a + j, -j = -5. Solve 0 = -z + a - 1, -4*z + 10 = -5*p for p.
2
Let q be (12/8)/((-9)/(-24)). Suppose -4*l = 5*y + 54, 6*y - 2*y = -l - 41. Let b = y + 14. Solve -4*f - 2*n = -q, 4*f + b*n - 15 = -3 for f.
-1
Let h = -45 - -52. Solve -3*p - h = 2*u, 3*u = 2*p + p + 27 for p.
-5
Let s be 13*(0 + 0 + 1). Suppose -6*n + 3*n + 9 = 0. Let y = n + 0. Solve 4*m + 19 = y*i, -3*i - 2*m - 2*m - s = 0 for i.
1
Let x be (11 + -12)*(10/(-2) - 0). Solve -5*z - x*r + 2*r = -9, -5*z - 15 = -5*r for z.
0
Suppose 37*a - 34*a - 6 = 0. Solve 0 = -3*g + g + r - 6, -a*g - 18 = -4*r for g.
-1
Let l be (-33 - 1)*(-2)/(-4). Let c = -9 - l. Solve 2*x + 3*y - c = -2*x, 4*x - 2*y = 8 for x.
2
Let w = 14 - 9. Solve 0 = 2*s + w*o + 25, 2*s + 3*o + 15 = 5*s for s.
0
Suppose 3*p = 2*q + 12, 2*p + 6 - 24 = 3*q. Let i(y) = -y**2 - 8*y - 7. Let v be i(q). Solve -v*l - a = 4 - 27, 5*a + 5 = -l for l.
5
Suppose 3*t - 4*m - 27 = 0, -5*t - m = -2*m - 62. Solve 3*v - 4*v = 2, t = q - 4*v for q.
5
Suppose 3*f - w - 11 = 0, -w = -f + 2*f - 1. Let s be f*(1/3)/1. Solve -5*k + 3*k + 2*o = -10, s = k + 3*o for k.
4
Let z(u) = -u + 7. Let p be z(4). Suppose -3*s - 2 = -p*y + 7, 3*s = 12. Solve 2 = 3*g - y, -3*b + g - 12 = 0 for b.
-3
Let h = 9 + -20. Let p = 14 + h. Solve 15 = 3*y - 5*z + p*z, y - 15 = 4*z for y.
3
Let t(h) = -h**3 + 7*h**2 + h - 3. Let f be t(7). Solve 0 = 2*r - 10, 0 = y - 2*r + 3 + f for y.
3
Let f(u) = u. Let k be f(2). Suppose 0 = -3*a + k*a. Solve -3*v - c - 2*c - 6 = 0, a = -3*v - 5*c - 8 for v.
-1
Let y be (-6)/(-27) + 16/9. Let x be -2*1/(-2)*y. Solve -x*f + 5 = t, -4*t + 7 = f - 6 for t.
3
Suppose 3*c - 6 = 9. Suppose 0 = 4*x + 12, -x - 645 = -5*p + 4*x. Suppose -34 = 4*t - p. Solve t = 4*b + 3*i, -c*i + 3 = -2 for b.
5
Let v(p) = p**3 - 9*p**2 + 8. Let g be v(9). Solve -5 = s - 3*s + 5*z, -2*s + g = -2*z for s.
5
Suppose 2*x - 21 = 3*y, 4*y + 2*x + 21 = y. Let g(m) = -m**2 - 6*m + 7. Let w be g(y). Solve f - 3*k - 6 = w, -6*f + 3*f = -k + 6 for f.
-3
Let c = 5 - 10. Let p = -2 - c. Let s = 2 - 0. Solve -4*k + 2*u + s*u + 8 = 0, -2*k + p*u = -3 for k.
3
Let n = 8 - 4. Let g(k) = 4*k**3 - 5*k**2 + n*k + k**3 - 4*k**3 + 5. Let y be g(4). Solve 3*x = -5*s - 2 - 19, -4*x + s - y = 0 for x.
-2
Let h = -9 - -11. Solve h*y + 8 = -5*m, y - 4 = -y + m for y.
1
Let o(a) = a**2 + 7*a - 5. Let y be o(-9). Let k = -9 + y. Solve -4*q = k, s + q = 4*s + 2 for s.
-1
Suppose 6 = -2*q + 2. Let o(z) = z**3 + 4*z**2 + z - 1. Let j be o(q). Solve -g - 16 = -4*w, -5*w + 10*w = j*g + 5 for w.
5
Let h(y) be the first derivative of y**4/4 - 7*y**3/3 + y**2 - 8*y + 1. Let v be h(7). Solve -k = 2*g - 12, 5*g - v*k + k = 15 for g.
5
Let b be 2 + (6 - (5 + -2)). Suppose -1 + 17 = a. Suppose -101 + a = -b*y. Solve 3*k - 3 - y = -5*f, 4*k - 5*f = -20 for k.
0
Let q = 3 + -14. Let u = 15 + q. Solve 5*t = -u*x - 10, 0 = -5*x + 2*x - 15 for t.
2
Suppose 4*d - 31 = 17. Solve 3*b = -2*p - p + d, -b = -p + 4 for b.
0
Let q(s) = -s**3 + 5*s**2 + 2*s - 7. Let x be q(5). Solve -k + 2 = -2*y + 6, -k = x*y - 11 for y.
3
Suppose -n + 10 = -4*o + 3, -5*n - 2*o = -13. Solve b + n*b - 2*p + 20 = 0, 4*b = -5*p + 8 for b.
-3
Let k = -11 + 27. Let p = -2 - -3. Let h = p - 1. Solve -3*y - 3*d + 12 = -h*d, 3*y = -4*d + k for y.
0
Suppose -d = -0 - 3. Let c(v) = -2*v**2 - v + 0*v**3 + 2 + v**d - 2*v**3. Let w be c(-2). Solve -2*x = -f - 4 - 2, x = w*f + 17 for x.
1
Let i(m) = -m**2 + 7. Suppose 2*v - 5*v = 0. Let t be i(v). Let x be t + -4 + 2 + -1. Solve -x*j - 4*z + z - 17 = 0, -4*z + 14 = -2*j for j.
-5
Let b(y) = -y**2 - y + 3. Let a be b(-3). Let r = 8 + a. Solve 0 = -2*w - 5*k + 3, -2*k - 5 = r*w - 2 for w.
-1
Suppose 22 = 8*o - 6*o. Solve 0 = 5*t - 0*l + 3*l + o, 0 = 3*t - 5*l + 27 for t.
-4
Let l(o) = 2*o**2 - 5*o - 18. Let n be l(6). Solve -4*r = 4*s - n, 6*r - r - s = 0 for r.
1
Suppose -13 + 1 = -4*y. Solve -y*t + 2*t - 2*r = -3, 2*r + 17 = 3*t for t.
5
Let n be (-28)/16 - (-2)/(-8). Let z be 1 + (-1 - n - -3). Solve 2*i - 3*s = -3, 2 = 2*i - z*s + 7 for i.
0
Let g(w) = -w**3 + 5*w**2 - 8*w + 9. Let r be g(3). Solve -r*t + 0*t - d = 5, 2*d - 8 = 0 for t.
-3
Let f(j) = 12*j. Let z be f(1). Suppose -5*i - 2*h + 25 = 0, 0 = -4*i + h - 0*h + 7. Solve -s = 3*w + 2, -2*w - s - i*s = -z for w.
-2
Let h(x) = x**3 - 4*x**2 - 2*x + 2. Let z be h(4). Let q = z - -6. Solve q = -5*m - p - 7, -2*m = m - 3*p + 15 for m.
-2
Let r = -15 - -17. Solve 12 = -2*k - r*x, -3*k - 3*x = -6*x for k.
-3
Suppose -h = -2*h - 7. Let c be 2 - -8 - 4/(-2