h = -b*g for g.
3
Suppose -18 = 6*n - 126. Solve 4*u + t = n, u + 6*t + 3 = 2*t for u.
5
Let r(c) = c**2 + 7*c + 9. Suppose 3*g = -1 - 17. Let p be r(g). Solve -4*y = -4*j, 4*y = 5*j - p + 1 for y.
2
Let w be (4 + 39/(-12))*4. Solve -4*v - 4*b = -4, -w = -4*v - b + 1 for v.
1
Suppose 0*j + j + 4 = 3*k, 6 = 3*k. Suppose d - j*r - 2 = 2*d, 3 = -d - 3*r. Solve -4*x + 8 = d, 3*g + 3*x - x + 5 = 0 for g.
-3
Let h be 1/(9/2 - 4). Solve 4*u + 13 = -3*j - 0*j, h*u = -4*j - 14 for j.
-3
Suppose 3*b = i - 17, 2*i + 4*b + 0 = -6. Solve -i*h + 1 = 4*c - 4, -3*h - 29 = -4*c for h.
-3
Suppose 19*s - 27 = 10*s. Let t(a) = 0*a**3 + 0 + 5 + a**3 + 4*a**2. Let j be t(-4). Solve -5*x = -j*r - 0*x + 5, -s*r + 4*x = -8 for r.
-4
Let l(o) = -7*o + 6. Let u be l(-6). Suppose 0 = -b + 4*b - u. Solve 5*i = 3*d + d + b, 3*i = -d - 4 for i.
0
Let h = -46 + 46. Solve h = 2*r + 4*d + 8, 4*r + 2 = 5*d + 12 for r.
0
Suppose 5*s = -a + 1, -s - s = -a + 1. Let n(q) = -q + 8. Let t be n(7). Let d be t*3/3*5. Solve s = -5*y - 0*y, 3*y = -d*l + 5 for l.
1
Let m(v) = -1 + 3 - 7*v - v**2 + 3 - 2. Let s be m(-7). Solve 5*t + 3 = -w, -s*t + 2*w - 7 + 0 = 0 for t.
-1
Let u(x) = 0*x + 8 - 2*x + 0*x + 4. Let v be u(5). Solve -6 = 6*m - 2*m - v*n, 2 = -3*m - n for m.
-1
Let b = -2 - -2. Suppose 5 = -b*x + 5*x. Suppose -r - x = -3. Solve 0*p = u + 3*p + 13, 2*u = r*p + 6 for u.
-1
Suppose -75 = -3*m - 0*m. Suppose m - 5 = 5*h. Solve -h - 2 = -y + 2*a, 2*a + 8 = 0 for y.
-2
Let s be 0*2/8*2. Let j be -3*(-4 + s + 3). Solve -5*x = -j*a - 22, 2*a + x = 11 - 4 for a.
1
Let z be ((-6)/(-4))/((-3)/(-8)). Suppose 22 = 5*y - 3. Let n = y - 5. Solve -2*q = o - z - 3, n = 2*o + 3*q - 13 for o.
5
Let x = -25 - -30. Solve 4*s = 2*b - 20, 5*s + 4 = x*b - 31 for s.
-3
Let o = 2 - -1. Suppose 2*t - 30 = -5*f, 3*t = 4*f - o + 2. Suppose z + h - 60 = -f*z, 5*h - 69 = -4*z. Solve 0 = -3*m - 5*j - 18, -4*m + 2*j = -3*j - z for m.
-1
Let r(j) = 6*j - 5. Let t(d) = d**3 - 5*d + 4. Let c(m) = 4*r(m) + 5*t(m). Let a be c(1). Solve -a + 14 = 2*s, -3*n - 3 = -3*s for n.
4
Let y(s) = 0*s**2 + 3 + 3*s**2 + s**2 - 6*s + s**3. Let o be y(-5). Suppose v - i = -v + 6, o = -4*i. Solve -16 = 4*q - v*j + 5*j, 2*q = -5*j - 8 for q.
-4
Let o(a) = -a**3 + 5*a**2 + 8*a - 8. Let n be o(6). Solve -n*k - 5 = -3*r, -2*k + 2*r - 1 = 1 for k.
-2
Let o = -13 - -10. Let m = 6 + o. Solve 0 = 5*s - 25, -m*p = -8*s + 3*s + 40 for p.
-5
Let c be 35/20 - (-1)/4. Let y = -5 - -9. Let b = 3 - -7. Solve c*x - y*v = 2, 4*x = 5*v - b*v + 17 for x.
3
Let h(u) = -2*u + 5. Let f = 6 - 11. Let a be h(f). Solve -z + a = -5*w, 0 = -z + w - 0 + 3 for z.
0
Let x = 13 - 10. Suppose -x*l + 36 = -4*g + 15, -3 = l + 2*g. Solve 5*d + 5*f = d - 25, 2*d = l*f - 7 for d.
-5
Let q(n) = n**2 - 4*n. Let w be q(4). Suppose 5*m - 51 - 7 = 2*j, 2*m - 3*j - 32 = w. Solve -4*k - 6 = 3*y, -m = 5*y - 5*k - 0 for y.
-2
Let u = -14 + 17. Solve m = 5*c - 0*m - 10, c + u*m = -14 for c.
1
Let k = 44 + -44. Solve k*v = -3*y + 5*v + 17, 4 = -v for y.
-1
Let a be (-218)/(-4) + 8/(-16). Let c = a + -38. Solve -3*m + 2*w = 7*w - c, 4*w = m + 23 for m.
-3
Let n(g) = 4*g + 2 + 3 - 3*g. Let h be n(-5). Suppose 3*y + h*y = 6. Solve -5*f - 25 = -2*d + 7*d, -y*f - 25 = 5*d for d.
-5
Suppose 27*j = 22*j. Solve 0 = -3*c - n + 6, -2*c + n - 5 + 14 = j for c.
3
Suppose 0 = 5*m + c - 3, 4*m - 5*c = -2*c - 9. Suppose 5*b + x = 11, 4*b + m*x - 3*x - 24 = 0. Solve 16 = 4*t + 2*p, -t = 6*p - b*p - 4 for t.
4
Suppose -i - 2*o + 1 = 0, -13 = -3*i - o + 5*o. Suppose -7*r - 2*q = -2*r - 17, 23 = i*r - 2*q. Solve r*c - 1 = 3*a + 3, 2*c = 5*a - 6 for c.
2
Let r be ((-6)/9)/((-2)/3). Suppose 4*t + 4 = 6*t. Let v = t + r. Solve g = -v*l + 8*l - 16, 2*l - 9 = 3*g for l.
3
Let o be (-62)/(-12) + (2 - 13/6). Solve -o*j = -2*j - 15, 0 = 2*x + 2*j - 2 for x.
-4
Suppose -22 = 31*j - 42*j. Solve -o = 2, -3*i = j*i + 5*o + 20 for i.
-2
Suppose -6 = -2*r + 2*q, -5*r + 3 = 4*q - 3. Suppose 2*c - 2 = r. Solve 0 = -5*t + 2*m - 11 - 14, -19 = 3*t - c*m for t.
-3
Let v be 5/(20/12) - 1. Solve -5*b + 33 = -4*o, -b + v*o = -6*b + 21 for b.
5
Let l = -13 + 29. Suppose 3*r + 4*x = r + l, -x = -4. Solve -4*n = -4, y - n + r*n + 4 = 0 for y.
-3
Let z be (4/(-5))/(1/5). Let q = 3 + z. Let g = q - -5. Solve -g*b - 5*h - 2 = 6, 0 = 2*b + 3*h + 4 for b.
-2
Let o be (-3)/4*(-1 - 3). Let t(m) = m**3 - 3*m**2 + 4*m - 3. Let v be t(o). Suppose -4*l + 21 = v. Solve 4*z + l*b = -0*z, -7 = 3*z + 4*b for z.
3
Let k(r) = r**2 + 5*r - 6. Let v be k(-6). Let l(o) = v + 0 + 2*o. Let y be l(3). Solve 3 = w + 5*s, y*w - 5*s - 12 = 2*w for w.
3
Suppose 4*l = -0*l + 16. Suppose 0 = -f - x + 16, -l*f + 31 = -2*f + x. Let v be -3*-2*1/3. Solve -4*u + 3*z = -3 - 2, -5*z = -v*u - f for u.
5
Let n = -1 - -4. Suppose 5 = 2*q - n. Solve -4*m + 8 = -q*g - 0*g, -9 = -3*m + 4*g for m.
-1
Let l = 12 - 25. Let a = -9 - l. Suppose -2*o + o = -17. Solve 0 = b + a*c, 3*b + c + o = 6*c for b.
-4
Suppose 4*k - 17 - 11 = 0. Suppose 3*o = -k + 43. Suppose 0 = -u + 5*u - o. Solve 5*h = 3*z - 6*z - 26, u*h + 2 = 5*z for h.
-4
Let a = -3 + 5. Solve -4*w = -k - 13, 4*k + 12 = -2*w - a*w for k.
-5
Let f = -4 + 9. Solve -r = 3*m + 7, r + 24 = f*r - m for r.
5
Let a be (-6)/(-3 + 2) - 2. Suppose -3*g - 18 = -a*t, 3*t - 11 = -g - 4. Solve 12 = 2*i + t*h, h = -2*i - 2 + 6 for i.
0
Let j be (4 - 3)/1 - -12. Let d(w) = 2*w - 9. Let c be d(9). Solve -p + 4*u - c = -0*u, 2*p + j = 3*u for p.
-5
Let x be (128/72 + (-4)/(-18))*2. Solve -3*r = -3*p, 3*p - 2*r - x = 2*p for p.
-4
Let u(v) = v**2 - 10*v - 6. Let y be u(11). Solve 4*w + l = 4, 2 = 2*w + y*l - l for w.
1
Let b be 40/6*(-60)/(-25). Solve 0 = -4*l - 5*y + b, 4*l - 3*y - 20 = -l for l.
4
Let s = -1 - -5. Let c(f) = -4*f - 11 + s - f**3 + f - 5*f - 7*f**2. Let l be c(-6). Solve -l*p = 4*o + 5 - 1, -5*p = 2*o + 12 for o.
4
Let a = -3 - -3. Solve -m - 4*d - 19 = a, -27 = -4*m + 2*m + 5*d for m.
1
Suppose -y = -2*y. Suppose y*k - 4*k = -12. Let l be -1*-6*(1 - (-2)/(-3)). Solve -k*d + 17 = 2*a + l*d, -3*d = 3*a - 12 for a.
1
Let y = -1 - -7. Suppose -4 = -5*x + y. Solve s - 4 = 3*v + v, -x*v = -3*s + 12 for v.
0
Let q be 18 + (0 - (-1 - -1)). Let t(b) = -b**2 - 6*b - 3. Let s be t(-4). Let d be (65/26 + (-2 - 0))*4. Solve -z - s*j + q + d = 0, 3*z - 16 = -4*j for z.
0
Suppose 3*x + 6 = -9, 0 = i + 4*x + 17. Suppose 0*m - 2*m - 14 = -n, 0 = -5*n - i*m + 44. Solve -l - n = 2*j, 6*l - l + 4*j = -32 for l.
-4
Let b = 1 - -2. Solve b*l + 0*s + 5*s = 13, -5*l = -s + 25 for l.
-4
Let j be (0*2/(-6))/(-1). Suppose 8 = 2*p - 0*o - o, j = -p + 5*o - 5. Suppose -3*n + p = -2*n. Solve -5*l - 3*w + n*w + 3 = 0, -4*l = -w for l.
-1
Let r(l) = -l**3 + 8*l**2 + 10*l - 4. Let z be r(9). Suppose -z*t = 5*d, -5*t = -3*d + 2*d + 24. Solve -3*x - 25 = 2*b + 2*x, d*b + 3*x + 15 = 0 for b.
0
Let f(i) = 5*i - 45. Let d be f(13). Solve -2*a = 2*a + d, a = 2*g - 7 for g.
1
Let m(k) be the first derivative of k**3/3 + 2*k**2 - 3. Let j be m(-4). Suppose 3*r = -j*r + 18. Solve 0 = 2*i + r, -v - 2*i = -2*v + 6 for v.
0
Let g(w) = w + 1. Let s(t) = 2*t + 1. Let d(c) = -4*g(c) + s(c). Let p be d(-4). Solve -p*u - 25 = -2*i - 2*i, 5*i + 2*u + 10 = 0 for i.
0
Let j = -23 - -12. Let x be (-2)/j - (-217)/77. Solve 10 = -5*p + i - 4*i, -x*p - 6 = 2*i for p.
-2
Let o = 8 + -5. Suppose -20 = -o*v - 2*v. Solve -4*l - v*f = 0, -3*f = 2 + 1 for l.
1
Suppose -5*y + 0*y = -25. Let q = -10 + y. Let i = q - -10. Solve 5*a = i*d - 0 - 5, 2*a = 0 for d.
1
Let n(z) = -5*z**3 + z + 1. Let x be n(-1). Solve 2*h = x*t - 4, 3*h + 0 = -6 for t.
0
Let a be (1 + 0)*4/1. Solve 3*u = -2*i - 21, a*i + 3*u + u = -32 for i.
-3
Suppose -10 = -3*w + w. Suppose -1 = w*l + g, 4*l + 2 = -g - g. Suppose 4*y = -y - 5*n, y - 3*n = l. Solve 0 = 5*t + 4*q + 31, 2*t - t - 5*q - 17 = y for t.
-3
Suppose 2*z = -3*o + 26, -z - 5*o + 6 = -3*z. Let v = z + 4. Suppose -3*b + 0*b = g - v, 0 = 5*b. Solve 4*w = 2*x - 14, 4*w - 2*x = -5*x + g for w.
-1
Suppose 5*p + 0*p + t = 9, -5*t - 9 = -2*p. Let q = 2 + p. Solve q*g = -4*k - 8, g - 1 = 3*g - k for g.
-1
Let d be -2*(-6)/(-4)*-1. Suppose -3*h = 3*u - d, -2*u = -3*u + h + 1. Let w be -2 + 3 + 2 + u. Solve w*b + 5*n = 1 - 3, 3*b - n - 8 = 0 for b.
2
Let k(p) = p + 11. Let z = -10 - -4. Let l be k(z). Solve -12 = l*i - f + 2, -6 = -5*i - 4*f 