t + 48 = 5*h + n, 0 = -3*h - 3*t for h.
4
Suppose -3*s + o - 3*o - 2 = 0, -3*o - 3 = 3*s. Let p be 2 + (6 - s/(-2)). Let y = p + -6. Solve 2*g = -4*v - 10, 4*g - y = v + 2*v for v.
-2
Let l(c) = -c**3 + 3*c**2 + 3*c - 4. Let d = 6 - 3. Let h be l(d). Solve w - 2 = -h*s - 0, -3*s = -2*w + 4 for w.
2
Suppose -h + 5*r - 23 = -2*h, 3*h - 3*r + 3 = 0. Solve 5*i - 11 - 14 = h*u, 4*u - 2*i + 10 = 0 for u.
0
Suppose -2*f + q = 2*q - 19, -3*q = -4*f + 13. Let w = f + -6. Solve s - u = -w, u - 1 = -4*s - 0*s for s.
0
Let l(j) = j**2 + 24*j - 47. Let z be l(-26). Solve 3*c + z = 2*t - 0, 5*c + 5 = 5*t for c.
-3
Let q(f) = -f + 12. Let n be q(-8). Suppose -5*k + 2*c = 10 - 0, 4*c - n = k. Solve k*d = -2*w + d - 14, 2*d - 33 = 5*w for w.
-5
Suppose -2*n + 5*h + 40 = 3*n, 2*h = n - 13. Let o(s) = 0*s**2 - 2*s**3 - 6*s**2 + 5 + n*s**3. Let i be o(6). Solve -16 = -3*c - i*q, -5*q - 5 = -15 for c.
2
Let c = 13 + 13. Let i = -19 - -31. Let v be i/(-2)*2/(-3). Solve 0 = 3*n - 3*s - 24, n = -n + v*s + c for n.
3
Suppose 0 = 5*l + w - 29, 3*l - 3 = 3*w. Solve -4*y + 45 = -l*c, 5 = -4*c - 2*y - y for c.
-5
Let q(o) = o + 10. Let g be q(-7). Suppose g*h = 3*d + 9, h + 4*d - 3 = -0*h. Solve 0*k = -3*k + 2*p - 5, -k - h = -p for k.
1
Suppose 0 = 2*d - v - 3, 3*v - 3 + 4 = 2*d. Let x be d/((-3)/6*-1). Solve 3*r + 0 + 26 = -x*s, -3*s - 11 = -2*r for s.
-5
Let x = 9 - 2. Let j(n) = n**3 + 4*n**2 - 6*n - 4. Let d be j(-5). Let k be d*2*5/5. Solve 12 + 0 = 5*m + k*s, 0 = 3*m + s - x for m.
2
Let f = 36 + -34. Solve -x = -f*u + 10, 2*u - 2*x - 15 = -u for u.
5
Suppose -3*c + 2*c - h + 10 = 0, c = 4*h + 10. Let w be (-2 - -5)*(-4)/3. Let t = w + 9. Solve -t*g - 4*b + 2*b = -23, -3*g - 5*b + c = 0 for g.
5
Let j(i) = 2*i**2 - 6*i + 2. Let b be j(4). Let r = -6 + b. Suppose 2*c + 1 = -1, -r*s - 5*c + 75 = 0. Solve -k = 2*l + 2*k - s, 3*k = 4*l - 4 for l.
4
Suppose -15*w + 30 = -0*w. Solve m + 5 = -4*h, 3*h + 2 = -m + w*m for h.
-1
Suppose -n = 0, 2*n = -5*i + 4*n - 55. Let w be (1 - 4) + (-1 - i). Solve j + w = 2*p, 8 = -4*j + 2*j + 2*p for j.
-1
Suppose -1 = 2*h + 3*q, 0*h + h + 2*q = -2. Suppose -2*u + 3 = -p, 0 = -2*u + h + 2. Solve -2*f = -z - f, -35 = -p*z - 4*f for z.
5
Let i = 73 + -68. Solve -i*n = -3*b - 17, 23 = 3*n - 4*b - b for n.
1
Let t = 10 + -5. Let q = t + -2. Solve 4*h - 11 = 1, -q*u - 9 = -h for u.
-2
Let q = 8 + -20. Let g = -9 - q. Suppose -b = -5, 0 = -s - s + 4*b + 4. Solve 0 = 4*u - g*t - 29, 0 = -t + 5*t + s for u.
5
Let n be (1 - 1) + 3 + 0. Suppose 5*w - 3*o = -2*o + 10, 0 = 4*w + 2*o - 22. Solve 5*d - 5 = -3*l + 8, w*l = -n*d + 3 for d.
5
Suppose -2*w = 4*q + 12, -q - 14 = w + 3*q. Let h be 4 - (2 + w/(-1)). Solve 0 = -3*z - a - 3, 4*z + 4 = -h*a - 0 for z.
-1
Suppose 7*p - 16 = 3*p. Suppose 5*y + 0*w - 5*w = 35, -p*y + 2*w = -20. Suppose 0 = -0*o - y*o. Solve o = 5*l + 3*n - 15, -1 = 3*l + n - 6 for l.
0
Let g(p) = -2*p - 7. Suppose 5 = -d, 15 = -5*v - 0*d + 2*d. Let l be g(v). Solve -l*a + 5 = -2*t, 0*a = 5*a + 3*t - 40 for a.
5
Let z(c) = -3*c - 4. Let y(i) = -2*i - 3. Let v(n) = 4*y(n) - 3*z(n). Let l be v(2). Solve l*t + 3*m = 11, 2 - 1 = 2*t + m for t.
-2
Let s = 126 - 120. Solve -6 - s = -i - 4*d, -5*i - d = -3 for i.
0
Suppose 0 = 9*c - 11*c - 14. Let t(k) = -2*k. Let w be t(c). Solve 2*q = 4*s - w, -3*q = -0*q - s + 6 for q.
-1
Let p be 10/(-3)*(-12)/8. Let f = -1 + p. Solve m - 2*j - 2 = -0*m, f*j - 10 = -5*m for m.
2
Let n(q) = -q**3 - 4*q**2 - 7*q - 7. Let u be n(-3). Solve 2 + 5 = 5*r + 3*k, u*r + 25 = 5*k for r.
-1
Let g = -341 - -497. Suppose -v = 2*b - 18, -2*b + g = 4*v + 66. Let a = 15 - 10. Solve -a*y + 2*p = -v, -3*y - 4*p - p = -2 for y.
4
Suppose -1 = c - 5. Solve -5*v + v - 24 = c*f, 4*v = -3*f - 22 for f.
-2
Suppose 0 = -3*w + 2*w + 18. Suppose -3*q - 2*q + 55 = -5*t, 2*q - t = w. Let u = q + -5. Solve -5*i = 5*m, u*m - m - 4*i = -25 for m.
-5
Let k = 3 + -2. Suppose m - k = 2. Solve -5*w + 8 - 3 = -5*h, 2*w = m*h + 7 for h.
-5
Let s(p) = p**3 - p**2 + 4. Let t be s(0). Suppose 0 = -4*o - t*c, 0*c = o - 5*c. Suppose 3*j = -o*j. Solve -4*g = -5*k - j*g - 16, -3*g + 1 = -k for k.
-4
Let o(p) = -17*p - 2. Let i be o(-1). Let m(b) = -3*b - 4. Let s be m(-3). Let n be (-1 - 1/(-1))/(-1). Solve -f + 3 = 2*u, -s*f + n*f = 5*u - i for f.
3
Suppose p - 1 - 12 = 0. Suppose 27 + p = 5*f. Let x = f + 29. Solve i + 3*y + 1 = 3*i, -x = -5*i - 4*y for i.
5
Let l(k) be the third derivative of -k**5/60 + 11*k**3/6 - 3*k**2. Let u be l(0). Solve 0 = 2*n - 2*d + d + u, 0 = -4*n - 5*d + 13 for n.
-3
Let p = -11 - -5. Let h = 6 - p. Suppose 5*r + j - 5 = 10, -2*r - 4*j - h = 0. Solve -r - 7 = 3*n - 4*l, -4*n + 22 = 2*l for n.
3
Let j = -13 - -18. Suppose 0 = 5*u - b - 0 - 7, 4*u = b + j. Solve 2*t + 8 = r, -u*t - 5 = 3 for r.
0
Let d = -3 + 10. Let l(a) = a - 4. Let p be l(d). Solve 3*c = 3*m - 4*m + 5, 2*c + m - p = 0 for c.
2
Suppose 0 = -3*t + 6, 0 = -4*k + 5*t - t. Solve -4*j + 2*h = 3*h + 11, -5*j = k*h + 13 for j.
-3
Suppose 0 = -r + 6*r - 30. Let q = 5 + -3. Suppose -33*j = -32*j - 11. Solve x = 4*p + j, -r*x = q*p - x + 33 for p.
-4
Let i be (47 - (-3 - -2))*(-1)/(-3). Solve -1 - 7 = -4*x - p, -4*x + i = 3*p for x.
1
Let f be 4/5 - (-160)/50. Solve f*i = 3*m - 6 - 7, i - 2 = -m for m.
3
Let r = -5 + -4. Let s = 3 + r. Let j be (-1)/s + 2/(-12). Solve -7*z + 3 = -2*z - 2*l, -3*z - 5*l + 8 = j for z.
1
Let a(w) = -w**2 + 7*w - 10. Let k be a(4). Solve -k*j = 5*g - 3, 3 = -3*j + 4*j + g for j.
4
Suppose 4*p + 1 - 17 = 0. Suppose -y - 20 = 5*s + 2, -5 = 5*y + p*s. Solve -y*d + 9 - 1 = 4*q, -2*q + 4 = 3*d for d.
0
Suppose 2 + 6 = 4*n - 4*i, -2*n = -3*i - 9. Let g be -3*1*1/n. Suppose 3*f + 5 = 2*j - 7, 3*j + 2*f = 5. Solve w + 3*p = -0*p + g, 0 = -j*p for w.
1
Let h(w) = -2*w**3 + 6*w**2 - 6*w. Let c be h(4). Let x be 1/(-3) - c/42. Solve 0 = -o - f - x, 8*o = 3*o - f - 9 for o.
-2
Let w = 4 + -1. Solve -3 = -4*r + w*f - 0, -5*r - f = -18 for r.
3
Let a = 10 - 10. Suppose a = v - 3 - 7. Solve 14 = 5*c + 3*d, v + 4 = 2*c - 3*d for c.
4
Suppose -p + 8 = -8. Let i be 228/p + 2/(-8). Solve -4*v - 16 = 2*d, -d - 4*v - i = -0*d for d.
-2
Suppose 0 = 2*s + 2*s. Solve 0 = 2*z + 5*c - 7, 3*z + 4*c = -s*c for z.
-4
Let x be (2 - 1) + 1 - -8. Suppose 5*n + 15 = 0, 0*n - 4*n - 6 = 3*c. Suppose 3*u - x = -c*u. Solve 3*l + j + 11 = -0*j, 10 = -2*l - u*j for l.
-3
Suppose 0 = -13*x + 9*x + 12. Suppose 5*l = -0*t - 5*t + 70, -5*l + 42 = x*t. Solve -3*v = 4*c - t, -11 = -3*c - v - v for c.
5
Suppose -z = 2*a - 3*z - 32, -3 = 3*z. Let b = 25 - a. Solve -3*w = 3*g - 9, b = 3*w - 4*g - 13 for w.
5
Let v be -3 - (0 + 1)*-6. Solve b = -2*m + 6, 19 = 5*m - v*b - 18 for m.
5
Let b = 1 + -1. Let h be b*(-2 - 9/(-6)). Suppose 0 = 4*w - h - 12. Solve -2*j - w*m = -8*m + 4, -3*m = -4*j - 8 for j.
-2
Let q(v) = v - 5. Let f be q(7). Suppose -20 = -4*i + 8. Solve 3*l + i*x - 16 = f*x, 5*l + 3*x = 16 for l.
2
Let k(d) = -d**2 + 9*d - 20. Let q be k(5). Solve 3*v + 12 + q = -3*h, 3 = -v for h.
-1
Let k(m) = -4*m + 11*m + 0*m**2 + m**3 - 8*m**2. Let z be k(7). Let i = z + 1. Solve v + i = -5*l - 5, -5*l + 2*v = 3 for l.
-1
Suppose -2*y = -4*t - 18, -3*t = -5*y + 4*y + 12. Let g be 2/(-3) - 20/(-3). Solve 3*m + 2*s - g = 4*m, 0 = 3*m + y*s for m.
-2
Let s be (-12)/(-20) + -1 + (-54)/(-10). Solve s*x + 29 = u, 0 = -4*x - u + 6*u - 40 for x.
-5
Suppose 12 = -0*p + 2*p - 2*o, 3*p = 5*o + 18. Suppose 78 = -3*i + p*i + 5*z, -4*z = -12. Let x = -1 - -6. Solve -4*k = -t - 1 - i, -x*k + 21 = 2*t for t.
-2
Let p(j) = 150*j**2 - j - 1. Let d be p(-1). Suppose -4*y = y - d. Solve 5*a = -2*r + a + y, -2*a + 10 = 0 for r.
5
Let t be 1 - (-5 + 4) - -2. Solve t*a + 12 = -4*f, 2*a + 1 = 2*f + 7 for f.
-3
Suppose 5*r - 2*g - 56 = -15, -16 = -r + 3*g. Let x = r + -4. Solve 2*o + x*i = -1, -3*o - 5*i = -4*o - 7 for o.
-2
Suppose 20 = 3*i - 5*a, 5*i - 28 = -0*i + 3*a. Suppose i*x = x - 8. Let p be (-3)/x*(-2)/(-3). Solve -4*r = 5*h - p, -2*r + 2*h + 18 - 4 = 0 for r.
4
Let s be (2*-1)/((-10)/25). Let j = s - 2. Solve -8 = m + k + k, -k = -3*m - j for m.
-2
Suppose 10*y + 5*y - 45 = 0. Solve -2*h = h - 5*n - y, -2*h + n + 2 = 0 for h.
1
Let k(r) = r**2 + 3*r + 4. Let v be k(-3). Suppose 0 = 2*y - 40. Solve v*x + 0*t = -4*t + y, t = 4*x for x.
1
Suppose -11*p + 0*p + 33 = 0. Solve -15 = 3*b - 