0 = 4*h - 4*t, k*t + 10 = 2*h for h.
2
Let f(t) = -t**3 + 8*t**2 + 9*t - 4. Let x be f(9). Let v = x + 3. Let w be (v - -1)/(2/(-1)). Solve 2*z + 10 = -n, -n + w*z - 3*z = 13 for n.
-4
Let l = -7 + 15. Let u = -8 + l. Suppose u = -3*w - 0*w + 12. Solve 3*s - 2*s = g, w*s - 5*g = 0 for s.
0
Let w be 22/(-33)*6/4 + 1. Solve 6 = -q - w*a - 4*a, 4*q - 5*a - 18 = 0 for q.
2
Let c be 18/4*(-1)/(-3)*4. Solve -x + 5*f = -15, 0 = -2*x + c*x - 4*f - 12 for x.
0
Let v = 44 + -40. Suppose -3*m + z + 12 = 3*z, -m - v*z = -14. Suppose -3*t = -0*t - 3, -3*t + 45 = 3*p. Solve j = -2*j - k + p, m*j - k - 1 = 0 for j.
3
Let s(d) = -389*d**2 - d. Let a be s(-1). Let m = -164 - a. Let f be (-2)/3 - m/(-48). Solve 3 - 5 = -q, -f*q = -k - 12 for k.
-4
Let x(m) = -m**3 - 7*m**2 + 19*m + 13. Let h be x(-9). Solve -2*y - f = 11, -h*y - 3*f + 8 - 33 = 0 for y.
-4
Let r(m) = m**3 - 4*m**2 + 3*m + 2. Let h be 0 - -1*(4 + -1). Let b be r(h). Suppose -b*y + 3 = -11. Solve 0 = 3*w - 15, -q = -y*w + 2*w + 24 for q.
1
Suppose 11*c = 6*c + 60. Let f be 3 + (c - 0) + -1. Solve -g - f = -5*m, 2*g - 3*m = -3*g - 4 for g.
1
Let m = 43 - 47. Let s be 2/m - 9/(-2). Solve s*o = c - 1, 3*o = -2*o for c.
1
Let v = 156 + -239. Let m = -74 - v. Solve -h = -3*a, 4*h - m = -a + 4 for a.
1
Suppose -49 = 10*q - 3*q. Let j(n) = -n**2 - 8*n - 5. Let b be j(q). Solve 3*v - 14 = 2*r, b*r - 5*v - 10 = 7*r for r.
-4
Let w(s) = -2*s**2 + 23*s - 56. Let a be w(4). Solve -2*b + 10 = -2*j, 3*j + 9 + 10 = a*b for b.
4
Let s be 156/27 + 8/36. Suppose -3*z = -z - s. Solve 4*o + 16 = z*q - 4*q, 2*q - 5*o = 20 for q.
0
Let b = -2 + 4. Let w(c) = -4*c + 16. Let j be w(3). Suppose -j*z - 3*q + 12 = z, 5*z - 5*q = 20. Solve -b*f = -p - 3, z*p = -0*p + f - 14 for p.
-5
Let r be 5 + (1 - 1) + 0/(-9). Solve -r*f + 19 = o, -4*o + 13 = 3*f + 5 for f.
4
Let w be (-11)/3 + (-3)/9. Let y be (-4)/(-3)*(-18)/w. Let r be (-1)/(-2) - (-61)/2. Solve 4*p + 23 = -3*g - y, -r = 5*p + 2*g for p.
-5
Suppose -3*t + 0 = -6. Let v be (33/(-6) + 4)*-2. Suppose 8*i - v*i = 3*o + 25, -3*i = 3*o - 15. Solve t*j = -4*s + 20, -4*s + 3*j - j + 20 = o for s.
5
Suppose u = -y + 6, -4*y + 5*u + 10 = -y. Solve n + f + 5 = 0, -5*n + 3*f = -2*f + y for n.
-3
Suppose -4*q = -7*q - 504. Let x be (-2 - 1) + q/8. Let a be (x/9)/((-8)/12). Solve -2*z + 7 = z + 4*c, c = -a*z + 18 for z.
5
Let q = -257 - -260. Solve 0 = -q*r + 4*t + 35, 2*r - t = -0*t + 15 for r.
5
Let b be (-4 + (-14 - -13))*-1. Solve -b*p - 8*u + 9*u = 22, 0 = -3*p + 3*u - 18 for p.
-4
Suppose 0 = 12*l - 22*l. Suppose 0 = 5*h - 4*q - 35, -2*h - q + l*q = -1. Solve -5*g = -h*a - 20, 5*a + 3*g = a - 17 for a.
-5
Suppose 0 = -9*l + 2*l + 21. Let n be (1 - (l + 0))*-9 + 2. Solve -5*u - 4*m = -m - 32, 0 = -u - 4*m + n for u.
4
Let r = 323 - 309. Solve -3*y - 2*y - r = 3*w, -3*w = -3*y + 6 for w.
-3
Let q be (9 - 8)/((-2)/(-4)). Solve 22 = 2*d + 4*h, -2*d + 4*h - 4 = q*d for d.
3
Suppose b - 4 = -2*p, -13*p + 10*p = -2*b - 6. Solve -g = -4*k + 4, 3*g = p*k + k + 6 for k.
2
Let l be (19 - 20)/((-1)/2). Solve b = -l*m + 4, 0*m - 2*m = 2*b for m.
4
Let s be ((-10)/3)/((-2)/(-6)). Let o be (s/(-3))/((-2)/(-6)). Suppose -19*a = a - 40. Solve -b + o = y - 0, a*b = 2*y for y.
5
Let f = -63 + 60. Let z be 39/(-26)*4/f. Solve 15 - 36 = -3*s + z*d, -2*s + d = -13 for s.
5
Suppose h = -4*v + 17, -3*h + 0 = 5*v - 30. Solve q - 5 = -3*g + 1, -4*g = -3*q + h for q.
3
Suppose 0 = -s - 2*w - 4, -s + 3*s + w - 1 = 0. Suppose -s*l + 4 + 4 = 0. Solve -l*o + 4 = 3*z, 2*o = z + 2*z - 16 for z.
4
Let a(o) = -o**2 - 7*o - 6. Let y be a(-7). Let l(t) = -3*t - 9. Let r be l(y). Suppose -r*x = -3*x - 60. Solve -2*z + i - 1 = 4, -x = 2*i for z.
-5
Suppose -5*v + 3*v - 27 = -5*c, -v + 9 = 2*c. Solve f = -f - 5*p + 29, -c*p + 23 = -f for f.
2
Let t(h) = h**3 + 3*h**2 - 4*h + 3. Let d = -9 - -13. Suppose 0 = -d*s + 9*s + 20. Let a be t(s). Solve -a*m + 0*m = p - 7, 0 = 2*p + 4*m - 10 for p.
1
Let m be (1/4)/(-9 + (-981)/(-108)). Solve -11 = -2*b + m*i - 0*i, -4*b - 2 = 2*i for b.
1
Let k = 475 - 475. Solve k = j + 4*b + 16, -3*b + 2 = 2*j + 14 for j.
0
Let b = -603 + 607. Solve -6 = b*j - c, -2*c - 2 = -5*j - 8 for j.
-2
Let z be ((-5)/(-2))/((-2)/(-4)). Suppose -2*f + 35 = 3*f. Suppose -1 = p - f. Solve y + p = 2*u - u, 0 = y + z*u - 6 for y.
-4
Suppose 0 = -2*h - 4*p + 26, -20*p = -21*p + 5. Solve -3*f + 1 = t - 4*f, 3*f - h = 0 for t.
2
Let h be (-3)/((45/3)/(-5)). Let b be (h/(-2))/(2/(-52)). Solve -o = -3*g - 3 - 4, 3*o - g = b for o.
4
Suppose 2*l - 16 = -3*w + 3, -5 = -5*l + w. Suppose 4*r - 3*p - 13 = 0, -2*r - 4*p = 2*r + 8. Suppose 0 = y - 6 - r. Solve 2*z = -i + l, -i + y = i + z for i.
4
Suppose j + 4*j - 45 = -4*u, 5*j - 25 = 0. Solve -4 = -2*w - 5*h, 3*w + h - 6 = u*h for w.
2
Suppose 0 = 202*d - 225*d + 1035. Solve 25 = 2*p - 5*k + 58, -5*p + 5*k = d for p.
-4
Suppose -79 = -9*x + 4*x + 2*k, 5*k - 5 = -x. Solve 12 = 4*h + 3*i, -3*i - x = -5*h - 2*i for h.
3
Suppose -1 = -i + 1. Let w(h) = -2*h**2 - 3*h + 19. Let s be w(-7). Let n = -35 - s. Solve -i*y - 5*l = -30, 4*l = -4*y + 13 + n for y.
5
Let n(q) = q**2 - 18*q + 111. Let s be n(9). Solve 2*p - 5*i = 21, 4*i + s = 10 for p.
-2
Let o(b) = -3*b - 1. Let w(y) = -4*y - 2. Let x(i) = 5*o(i) - 4*w(i). Let v be x(7). Solve q - 7 = -0*q + 2*l, -2*q + 3*l = -v for q.
-1
Let f = 13 + -8. Suppose 0 = 6*k - 1022 + 1010. Solve -l - 4*a = 23, 0 = -3*l - k*l + f*a + 10 for l.
-3
Let p(f) = -f + 34. Let i be p(13). Let q be 384/i - 2/7. Solve -2*z = -4*b + q, -5*z - 4*b + 5 = -6 for z.
-1
Suppose 3*f - 6*f = -480. Let i be f/6 - 2/3. Solve 0*b - z = -b + 6, -5*z - i = -3*b for b.
2
Let v(s) = s + 18. Let u be v(-12). Suppose u = 3*w - 0*w. Suppose 2*c + 6 = 3*m + 28, -3*c + 35 = -5*m. Solve -5*d - c = 0, 3*d + 4 = b + w for b.
-1
Suppose -7*o = -25*o + 162. Solve 0 = 4*i + 5*v + 32, 0 = -4*v - o - 7 for i.
-3
Let j = 3 + -1. Suppose 0 = 2*z - 3*r - 16, r - 4 = -4*z - 0. Solve -5*o = j*w + w + 8, z*w - 24 = 4*o for w.
4
Let z = -19 - -22. Solve -k + 4*l = -3, z*l + 0 = 5*k + 19 for k.
-5
Let v(t) = -2*t**2 + 10*t - 11. Let a be v(9). Let f = a - -143. Let o be 12/(-42) - f/(-14). Solve 7 = -d - o*s, 0 + 8 = -d - 5*s for d.
-3
Let q(l) = 3*l - 22. Let z be q(8). Let v = -2 - -2. Let f(x) = -x**3 - 7*x**2 + 8*x + 5. Let o be f(-8). Solve -o*u - d - 27 = 0, z*d + v = -4 for u.
-5
Suppose -3*k - 5*d + 60 = 0, 0 = -4*k - 8*d + 9*d + 103. Solve k = 5*h - z + 4, 3*h = 4*z + 16 for h.
4
Suppose 19 = -11*g + 10*g. Let h = 26 + g. Solve h*k + n = 2*k - 20, 3*n + 3 = 4*k for k.
-3
Suppose b = 3*b + 6. Let p be 0 - (b + (-1 - -2)). Let d = 36 - 36. Solve 0 = 2*q + 3*j - 0*j + 2, -p*j = d for q.
-1
Suppose -4*x + 13 = 1. Let v = -23 - -50. Let j = -23 + v. Solve -j*z = -4*s + 1 + x, -5*s + 2*z = -8 for s.
2
Suppose 2*w = -3*l - 46, -5*w - 3*l - 137 = -l. Let y = w + 33. Suppose y*k - 30 = 6. Solve 5*h + 20 = -k*v + 4*v, 5*h = 5*v for v.
-2
Suppose 6 - 18 = -6*a. Let f = -97 + 99. Solve a = -m - 0, -18 = -f*u + 5*m for u.
4
Let o = -35 - -40. Suppose 47 = 2*m + g, o*m + g = 2*m + 69. Solve -3*i = 2*a + 3*a - m, 2*a - 5*i = -16 for a.
2
Suppose -2*d = -2*a - 2, -3*d + 5*d - 3*a = 0. Suppose -2*o + d = o. Let g be 1*(o + 0)/1. Solve k - g + 8 = -3*x, -2 = k - 2*x for k.
-4
Let x(b) = -7*b**2 + 29*b. Let c be x(4). Solve -4*f - 27 = -3*r, -c*r + 17 = 2*f - f for f.
-3
Let s be (-2)/5 + 390/(-25). Let r = -41 - -28. Let v = r - s. Solve -q - 2*o = 4 + 2, -v*q - 14 = 2*o for q.
-4
Let v = 37 - 36. Let s(k) = -k + 1. Let d be s(v). Solve d = -2*i - 5*b + 21, -i + 0*i + b = 0 for i.
3
Let f(s) = -6*s - 32. Let z be f(-6). Solve -5*g - 12 = 4*p, 3*p - 5*p + z = 0 for g.
-4
Suppose 4*d - 12*t = -13*t + 3, -5 = t. Solve y = -d*y - 3*r, 5*r = 4*y for y.
0
Suppose r - 4*r + 35 = -5*h, -h - 9 = -r. Solve 0 = 6*f - 2*f + 2*y - 8, 3*f - r*y = 32 for f.
4
Suppose 0 = -3*y + 6*y. Suppose -3*q + 4*q = y. Suppose q*u = u. Solve u = p - 3*z + 16, -3*p + 5*z - 28 = z for p.
-4
Let y = 8 + -9. Let g be y + (5 - 0) + 0. Suppose 3*v + g*x - 10 = 0, -6*x + 4*x + 10 = 4*v. Solve 3*o + v*d + 6 = 0, 0*o - 32 = 5*o - 4*d for o.
-4
Suppose 56 = 3*x + 2*q, -5*x + 3*q = 24 - 111. Solve -2*l - 5*y - x = -y, -4*y = l + 13 for l.
-5
Let l = 21 + -16. Let o = 0 + l. Solve 2*y + 24 = o*t, 5*y - t + 10 = 2*y f