*h + 3*l = 3, -c = -h + 4*h + l for h.
-2
Suppose 2*s = 4*s. Suppose 2*j - 15 - 15 = 0. Suppose -j = -3*u - s. Solve 3*w = -u*z, 5*z + w = -w for z.
0
Suppose -s + 117 = 2*s. Solve -s = 4*i - 3*a - 8, 4*i + 21 = a for i.
-4
Suppose -4*i + 77 + 143 = 0. Let a be 1*5*22/i. Solve -8 = 4*c - a*c, 0 = 2*z + 3*c + 10 for z.
1
Let t = 11 + -5. Suppose -v - 20 = -t*v. Let g be (58/(-4))/(v/(-8)). Solve 0 = 3*o - 4*j - j - g, 5*o + 4*j + 1 = 0 for o.
3
Let z be (-4)/5*(2 + -7). Let x be (-2)/z + 28/8. Let h = -7 + 12. Solve 2*v - 2*y = -y + 7, h = -2*v - x*y for v.
2
Let u be 2 + -8 + (-36)/9. Let p be (2/(-4))/(1/u). Solve 0 = -p*f - 10, 5*t + 2 = t - 3*f for t.
1
Let m be -1*(-3)/6*10. Solve 3*c + 2*k = -13, -5*c - m*k - 5 = 20 for c.
-3
Let p be 4/(-2 + 6/2). Let n be 2/(-7) - (-107)/7. Suppose -n = -p*i - i. Solve -10 = -0*d - 5*d - i*z, z = -5 for d.
5
Suppose 3*l - 6 = -0*l. Solve 24 = -3*o + 4*d, -l*d = -5*o - 3*d - 17 for o.
-4
Suppose -3*r + 16 = r. Solve -8*m = -5*m + r*b + 14, 0 = m + 5*b + 23 for m.
2
Let n = 6 + -3. Suppose -n*b + 5 = -1. Suppose -l = -b*l + 3. Solve l*j - 3*x = 2*x - 21, 5*j - 3*x = -19 for j.
-2
Suppose 0*v = 5*v + k - 8, v = 4*k - 11. Suppose -x + 5 = v. Solve -4*r - r - 4 = -j, -r - 16 = -x*j for r.
0
Let o be (10/4)/(3/(-6)). Let i be 12/15*o/(-2). Suppose p - 11 - 24 = -2*s, -s = 3*p - 25. Solve 2*b - 4*b = 4*t + s, -i*b = 2*t + 10 for b.
-2
Suppose -3*w - 18 = -6. Let m = 6 + w. Solve 3*p = 4*s + 7 - m, -3*p = -2*s - 7 for p.
3
Let m(k) be the first derivative of k**4/4 + 10*k**3/3 + 4*k**2 - 6*k + 4. Let b be m(-9). Solve 7*c - 2*c = -b*o, 3*c = -5*o for c.
0
Let p be (-2)/(-4)*-2 - -1. Let d be (p + -2 - -6) + -1. Solve -4*y + f + 10 = -y, d*f + 15 = 4*y for y.
3
Let i(k) = 4*k**2 + k - 1. Let v be i(1). Solve 5*b = 2*l - 15, 5*b - 14 = -3*l - v for b.
-1
Let s(g) = g**3 + 5*g**2 - g - 6. Let l be s(-5). Let o be 0 + 1 + -1 + l. Let d be o/(1/(-5)*1). Solve 1 + 17 = 5*c + 4*n, -3*c - 4 = -d*n for c.
2
Let a = 45 - 30. Let l be (-100)/a + (-1)/3. Let n = 9 + l. Solve 4*f - 35 = -3*k, -4*f = -5*k - n + 7 for f.
5
Let z(l) = -l**2 - 5*l - 3. Let k be z(-2). Suppose k*a = -0*a + 6. Solve o + 5*i - 7 = 3*o, a*i = -o + 1 for o.
-1
Suppose -d = -2*z + 14, d - 27 = -5*z + 15. Let l(b) = b**2 - 2*b + 1. Let w be l(3). Solve 3*h = 2*h + 3*g + z, h + w*g = 1 for h.
5
Let n be -1*(-1 + 2 + -1). Let d = n - -2. Solve 3*v = -5*f - 2*v - 10, -d*f + 12 = -2*v for f.
2
Suppose -61 = 5*w - 11. Let o be (-2 - -3)/((-2)/w). Solve 7 = -k + 5*v - 6, -o*k - 9 = 3*v for k.
-3
Let y be (2/3)/((-16)/(-408)). Solve z - 2*v = 2, 0 = -4*z - 0*z - v + y for z.
4
Let i = -59 + 66. Solve a - 7 + 35 = -5*u, i = a - 2*u for a.
-3
Let n be (-8)/(-3) + 2/(-3). Let d = -11 + 39. Let x = 28 - d. Solve 0 = -c - x*c - 4, -2*i = 3*c + n for i.
5
Suppose 0 = 3*r - 8*r - 20. Let j(d) = -4*d + 1. Let w be j(r). Suppose 7*x = -26 + 131. Solve -3*n - w = 3*s + 2*n, -s = 4*n + x for s.
1
Suppose -8*w = -11*w. Suppose w = -10*v + 9*v + 6. Solve 4*x = 3*j + 11, -v*x + 34 = 3*j - x for j.
3
Let h(i) = -i**2 - 9*i - 9. Let b be h(-7). Suppose b*g = 10 + 20. Solve 5 = 5*m, -5*m + 7 = -4*f - g for f.
-2
Suppose 5*i - 3*w = 28, 0 + 18 = 3*i - 3*w. Solve 0 = -5*l - 2*f + i*f - 34, -l + f - 8 = 0 for l.
-5
Let o(j) = -2*j - 5. Let c be o(-4). Let b = c - 9. Let v be b/12*(0 - 0). Solve -3*z - 2*t + 3*t + 5 = v, -2*t - 6 = -2*z for z.
1
Suppose -8 = -a - a. Solve 0*n = 2*n - 2, -3*i - n + a = 0 for i.
1
Suppose -3*p = 3*x - 21, -3*p + 2*x = 6*x - 25. Solve -h = -5*b + 10, p*b - h + 12 = -4*h for b.
1
Let n be ((-210)/(-20))/((-2)/(-4)). Let q = n + -9. Let p = 3 + -1. Solve -3*r + 2 = -2*i + 4, p*i + q = -4*r for i.
-2
Let c be 0*1*(-1)/1. Suppose c = -2*j + j + 5*d + 15, -d + 45 = 3*j. Suppose 0 = 4*t - j - 5. Solve t = 5*w + k, -3*w = -5*w + 3*k + 2 for w.
1
Let d = 2 + -4. Let c be (3/(-2))/(d/4). Let t be 9/c - (-4 + 2). Solve -3*r + t*i - 1 = 0, 5*r + 15 = i + 6 for r.
-2
Let x(w) = w + 1. Suppose 0 = 4*d + 4*o - 20, -4*d + 0*d + 2 = -2*o. Let f = 1 - d. Let b be x(f). Solve 5*k - 2*k = 3*j, -4*k + 2*j = b for k.
0
Let z(u) = -6*u + 4. Let t be z(0). Solve 19 = -v - 5*w, -3*v = -0*v + t*w + 13 for v.
1
Let o = 48 + -48. Solve o*r = -4*r - 5*k, 0 = r + 4*k for r.
0
Let w be (-2 - 0 - 5)/1. Let h = -5 - w. Suppose h*x - 33 = -x. Solve 5*y = -4*c + 32 - x, 0 = 3*y - 2*c + 5 for y.
1
Suppose -4*h = 2*c - 16, h + c + 1 = 3. Solve -4*y - 6 = -2*v, -3*v = y - 2*y + h for y.
-3
Let i = 10 + -7. Suppose g + s = 2*g - 7, i*s + 11 = -2*g. Solve -b - 3*x = 4, -g = 5*x + 3 for b.
-1
Let n(g) = 2*g - 2. Let s(r) = 3*r - 4. Let p(w) = -5*n(w) + 3*s(w). Let a be p(-7). Solve -2*k - 6 = d - 5, -3*k + 5 = -a*d for k.
0
Suppose 4*b - 26 = -5*v, v - 2 = 2*b - 6*b. Let q be 3/(v*1)*4. Suppose q*z + 25 = 5*d, d + 0*d - 3*z = 18. Solve -2*t - g = 2, d*t - g + 10 = t for t.
-3
Let d be (-1 + 1)/(-1) + 18. Suppose -5*x = -68 + d. Solve 4*w = q - x, 2*w + 3*q - q = 0 for w.
-2
Let f = 31 - 7. Suppose -3*q - f = 3. Let z = -4 - q. Solve -3*m + z*x - 7 = 1, -4*m + 3*x = -4 for m.
4
Suppose 7*m - 42 = -7*m. Solve 0 = 5*t - a + 15, -2*t - 35 = m*t - 5*a for t.
-2
Let j(p) = -p + 22. Let f be j(20). Solve 0 = f*q + 8, 3*b + q + 4 = -b for b.
0
Let x(v) = v**3 - 2*v**2 + 5*v - 3. Let u be x(3). Solve 5*t + 0*m + m - 15 = 0, 0 = 4*t - m - u for t.
4
Suppose 2*k + 52 = 4*f, f - k = 4*f - 44. Let w be (-4)/14 - f/(-49). Solve 4*o - 5*h + 9 = 2*o, w = -3*o - 4*h - 2 for o.
-2
Suppose -171 = -a - 2*a. Let r be a/4 - 7/28. Solve -5*f = -2*g - r, -3*f - 2*f + 3*g + 16 = 0 for f.
2
Let l(c) = -c**3 + 2*c**2 + 3*c + 3. Let g be l(3). Let y be 2/((-1)/6*-3). Solve -r + 2*r = y*i, -r + g = -i for i.
1
Suppose 0*g + 9*g - 18 = 0. Solve 0 = -3*k - 3*l - 6, g*k + 2*k = -2*l - 10 for k.
-3
Let t be 4/(-14) - (-74)/14. Let s(n) = n - 6. Let x be s(t). Let y = 4 + x. Solve a + 2 + 7 = 4*p, 0 = 4*p - y*a - 11 for p.
2
Let y(v) = 3*v**2 - 12*v + 2. Let d be y(4). Solve -d*p - 6 = 4*o, p = -o + 2*p + 3 for o.
0
Suppose -5*v - 10 = -7*v. Solve -2*o = 3*o + 2*g + 14, -v*o - 11 = 3*g for o.
-4
Let p be (-14)/4*24/(-21). Solve -5 = -2*c - p*z + 13, z - 3 = 0 for c.
3
Suppose -c = 3*c - 20. Let w = 1 + c. Solve 4*l + w*k - k = -4, 0 = 2*l - 5*k + 2 for l.
-1
Let f be (1/(-3))/(2/(-54)). Let h = 12 - f. Solve -r + h*n - 2 = -n, -4*r - 8 = n for r.
-2
Suppose 4*u - 6 = -3*g, 2*u + 4 = -5*g + 14. Solve -5*d + 5*n - 20 = u, 3*d - 5 + 1 = -n for d.
0
Let q(a) = a - 4. Let y be q(6). Suppose 0*m + 28 = 7*m. Solve m*j = 8, 3*p + y*j - 3 = -j for p.
-1
Suppose -p - 16 = p. Let s = p - -3. Let v be (s + 2)*15/(-9). Solve 6*a - v*i = a, i = -3*a for a.
0
Let g be ((-2)/(-4))/((-10)/(-60)). Solve -2*p + 4*p + 4*f = -16, -g*f = 9 for p.
-2
Let y(j) = -j**3 + j - 2. Let v be y(-2). Let i(u) = -u**2 + 4*u + 3. Let w be i(v). Solve d = w*b + 8, -4*b - 3*d + 16 = d for b.
-1
Suppose -4*g = 4*b - 40, -3*g + 2*b + 0 = -30. Suppose 0 = -4*s + 4*y + 16, -4*y = -s - 2*y. Suppose s*k - g = 3*k. Solve v = d + 7, 4*d + 3*v = k - 9 for d.
-4
Suppose q + 1 = 2*q. Let z be (0 - -2)*6/(-4). Let o = -1 - z. Solve g - k = -1 - q, 0 = -o*g - 2*k + 4 for g.
0
Let k = 104 - 57. Suppose 0 = 5*o - 3*c + 71, -4*o - k = 4*c - 3. Let h = 26 + o. Solve -4*b + 2*b + 13 = -3*n, 5*b - h = n for n.
-3
Let i = 15 - 13. Solve 2*r = -h - 0*r + 8, -2 = -i*h + 3*r for h.
4
Let l(z) = -z**2 + 10*z - 10. Let x be l(8). Let u = x - 6. Suppose -6 = 2*i - 4*a, u = 3*a - 4*a + 3. Solve 4*w + 4 = i*r, r + 26 = 5*w + 5*r for w.
2
Suppose 2*k - 2*h = 14, h + 38 = 4*k - h. Solve -2*y + 0*y = -3*f + k, 2*y + f = -4 for y.
-3
Let l(t) = t**3 - 3*t**2 + 5*t - 6. Let p(b) = -3*b - 6. Let x be p(-3). Let d be l(x). Solve 5*f - 6 = -5*n + d, -5*f + n + 3 = 0 for f.
1
Suppose 1 = n - 1. Solve 2*l = -3*y + 7, 7 = 3*y + n*y + l for y.
1
Suppose -5*k + 5*v = 3*v, -3*k = -5*v. Let u be 4/10*(12 + -2). Solve -c = -u*o + 11, k*c = -2*o + 3*c + 3 for o.
3
Let l be (-5)/2*16/(-20). Suppose -5*p = 0, p - 2 = -0*n - n. Let g = l - n. Solve 2*c + 15 = -0*c - f, -f - 5 = g for c.
-5
Let t(c) = -8*c + 3. Let l be t(-5). Suppose 5*s - l + 13 = 0. Let o = s + -3. Solve o*z - 3*j = 3, -10 = -2*z - j - j for z.
3
Let h = -1 - -1. Let k(a) = -a + 2. Let b be k(0). Suppose h = -0*g + b*g. Solve 4*r