 - 6*h + y*h for q.
2
Let v = -47 + 67. Suppose -h + v - 155 = -5*o, -4*o = 5*h - 79. Solve 3*i - o = -5*w - 9, 3*w - 15 = -3*i for w.
1
Let b(y) = -3*y + 3. Let o be b(1). Suppose -a - 10 + 14 = o. Solve -w = a*v - 8, 2*v = 5*w - 0*w - 18 for v.
1
Let a(c) = -17*c + 380. Let x be a(22). Solve -24 = -s + 5*l, s + 4*l - x*l = 12 for s.
4
Let o(a) = a**2 + 4*a - 1. Let h be o(3). Let b = h - 12. Suppose -5*c + 7 = -b. Solve -z + 3*w = 14, -c + 5 = z + w for z.
-2
Let w be 19/(-1) - (14 + -13). Let d = w - -32. Let c = d - 5. Solve 5*y = y - b + 6, 0 = 5*y + b - c for y.
1
Let s(q) = -q**3 - 7*q**2 - 7*q + 9. Let y be s(-6). Solve y = 5*r - p, r + 6*p - 24 = 2*p for r.
4
Let h = -1880 - -1883. Solve q + h*n + 0 = -3, 8 = -4*n for q.
3
Let c be (-20)/6*282/(-235). Solve -5*q + 6 = -2*b, -c*b = 4*q + 15 - 3 for q.
0
Suppose -i - 4 = -2*i. Suppose -7*p + i*p = 0. Solve p = 5*m - t, 3*m = 5*m - 5*t + 23 for m.
1
Let h(t) = t**2 - 7*t + 2. Let n be h(7). Solve -2*p - 10 = 5*y, 0 = y - p - 3 - n for y.
0
Let j(z) = -12*z + 123. Let v be j(10). Solve v*g = 3*y + g - 4, -2 = g for y.
0
Suppose -2*h = 5*t - 14, -4*h - t + 8 = -h. Solve 4 = -4*o - 3*x, -h*o + 6 + 2 = 4*x for o.
-4
Let c be (-2)/((-4)/(-10))*(5 - 6). Let u be 5 + (2 - c) + -2. Solve u = 5*t + 3*n + 8, t = 4*n - 11 - 9 for t.
-4
Let g(a) = a**2 - 17*a - 132. Let l be g(-6). Solve l*x = 3*x - 3*y + 21, -17 = -3*x - y for x.
5
Let v be (-2)/(-3) - 20/(-6). Suppose -f = -4 + 3. Suppose 3*z + 4*h - 5 = 0, 2*h - h + f = 0. Solve 3*a = -a - v*k + 12, -a + 1 = z*k for a.
4
Let z(h) = -5*h - 38. Let r be z(-9). Solve 0 = -3*d + 2*m + r, -3*m + 4*m = 2*d - 4 for d.
1
Suppose 13 = 7*r - 8. Let q(w) = -w**3 + 4*w**2 - 7. Let c be q(r). Solve 0*d + 6 = 2*d + 4*j, -c*d - j = -3 for d.
1
Suppose -3*w + 9 = -27. Suppose -140*j + 6 = -134*j. Let p be 9*(4/w)/j. Solve 25 = -3*i + 8*i - 2*m, p*i + 2*m - 15 = 0 for i.
5
Let q = -26 + 26. Suppose q = 5*l - l - 68. Solve -2*w = 2*m + 2*w - 14, -4*w + l = 3*m for m.
3
Suppose u - 7 = -4. Suppose -u*v + 17 = -1. Suppose 4*b - b = v. Solve d = -5*p - 17, 2*d - 4 = d + b*p for d.
-2
Suppose -10 = 10*i - 12*i. Suppose 0 = -i*n - 5*n + 20. Suppose 2*b - 3*h + 3 = 10, 3*h - 13 = -2*b. Solve c - b - 6 = -n*t, t = -c + 8 for c.
5
Suppose -3*s = -u - 12, -2*s - 5*u = -0*u + 9. Solve -s*y - 7*i - 4 = -6*i, 5*y + 2*i + 7 = 0 for y.
-1
Suppose -5*p + 0*p + 25 = 0. Suppose -2*a - 1 = -p. Solve 0 = -a*u + 10, 5 = 5*d - 3*u + 2*u for d.
2
Let n(a) = 2*a + 4. Let f(l) = -l - 1. Let c(u) = -6*f(u) - 6*n(u). Let r be c(-7). Solve -2*v - p + 6*p = -r, 3*v - 5*p - 26 = 0 for v.
2
Let a = 251 - 249. Solve 0 = -3*o + 2*t + 5, -4*o - a*t + 6 = -4*t for o.
1
Suppose 0 = 5*g - 20, -2*g = -0*j - 2*j - 4. Solve 3*k = -h + 5, -h + 4*k + 0 - j = 0 for h.
2
Let z be 4/(-7) + 1 - (-5568)/1218. Solve -z*v + 3 = -4*b, -2*v = 3*v + 5 for b.
-2
Let b be 0 + 0 - 5*-1. Suppose 5 = 4*r + r, -5*m = 4*r + 11. Let f be (-23)/(-2)*m/(-9)*6. Solve -f = 4*p - b*i, 2*p + 0 = -3*i + 5 for p.
-2
Suppose 2*z - g - 38 = 0, -4*z + 76 = 168*g - 171*g. Solve 2*l + 3*n - 2 = -z, l = n + 4 for l.
-1
Let o(c) = -c**3 + 13*c**2 - 16*c + 51. Let s be o(12). Solve 3*l + 11 + 1 = 3*v, v = -s*l - 8 for l.
-3
Let a be -1 + 5 + (-16)/8. Suppose 6*w - 3*w = -5*y + a, 4*y + 4 = -w. Suppose -5*u + 4*o = -16, -o + 5*o = w. Solve 3*g = -u*h - 1, 2*h - 6 = -3*g + 5*h for g.
1
Suppose -5*t = -g - 1, 2*t - 11 = -g + t. Suppose -5*p = -g*p - p. Solve b = p, -2*z - 8 = -3*b - 2*b for z.
-4
Let y(p) = p + 20. Let r be y(-9). Suppose g = -5*h - 13, -g + r = -5*h - 6. Solve -m + 2*m - 3*a - 1 = 0, a + 2 = g*m for m.
1
Suppose 21*a - 2*a = 38. Solve 8 = -a*l + 4*x, -l - 4*x - 7 = -3 for l.
-4
Suppose 0 = 6*p - 4*p - 56. Suppose -p = -4*f + 4*b, -2*f + b = -3*b - 22. Solve 4*z + 20 = -4*s, f*z + 15 = -3*s - 2*z for s.
-5
Let o be (-7 - -4 - -4)*5. Solve 0 = o*d - 4*p + 9 + 4, -4 = -2*p for d.
-1
Let m(j) = -2*j - 13. Let g be m(-8). Suppose 4*y - 3 + g = 0. Solve -l - 7 = 5*d, -2*d + 6*d + 3*l + 10 = y for d.
-1
Let d = 3835 - -2924. Suppose 3*t = 2*q + 3*q - d, -3*q = -3*t - 4059. Let z be (-2)/11 + q/165. Solve 2*w + 32 = -3*w - 3*u, 3*u - z = 5*w for w.
-4
Let c be 28/(-5) - (-10)/(-25). Let v be (-2)/c - (-58)/6. Solve 2*p - 3*o = v, -5*p + 0*o = -3*o - 16 for p.
2
Suppose 8 = -0*h + 8*h. Suppose -3*g + 4*n + 4 = 0, 2*g + 2*g - n = h. Solve g = -4*b + w + 16, -b - 3*b + 16 = -5*w for b.
4
Suppose 5*m - 2*y = 24, 13 = 2*m - y + 3. Let c be (-1 - (-8)/12) + (-1)/(-3). Solve -2*x - 5*k + 19 = c, -x - 4*x + 2*k = -m for x.
2
Suppose 18*g = 3*g + 120. Suppose -g*m - 6*m = -42. Suppose -5*w + 1 = -19. Solve 0 = z - w*y - 2 - 3, 4*y = -z - m for z.
1
Suppose 5*c - 5*t - 127 + 102 = 0, -5*c + t + 21 = 0. Solve -m - j = -c*m, -3*m + 2*j = -3 for m.
-1
Suppose 25*x = 32*x - 14. Solve 3*g + 2*g = -5, -x*s + 4*g - 6 = 0 for s.
-5
Suppose 0 = -x - 5*p + 1 + 2, 0 = x + 2*p - 3. Suppose -x*d + 49 = w, -w = -0*w - 1. Suppose 0 = 5*h - h - d. Solve 5*y - 2 = 2*r + 2, -5*y - h*r = 8 for y.
0
Let u be ((-130)/(-8))/(5/(-20)). Let x be ((-1)/(-5))/((-13)/u). Let j(c) = c**2 + c - 2. Let y be j(x). Solve -5*g = -f - 22, -30 = -3*g - 5*f - y*f for g.
5
Let v = 10 + 2. Let n be 2/5 - 144/(-200)*5. Suppose 0*f + v = n*f. Solve -17 = j + f*b, 2*j + 0*b + 2 = 2*b for j.
-5
Let p(b) = -b**2 - 6*b - 4. Let x be p(-3). Suppose 12 = 13*g - 9*g. Solve -g*c - u + 23 = -x*u, 5*c + 4*u - 17 = 0 for c.
5
Let d(q) = 2*q + 21. Let v be d(-9). Suppose 0 = v*y + 3*y - 18. Solve 0 = -3*b - t, -5*b - y*t = -4*t for b.
0
Suppose 4*j + 9 = -7. Let d(r) = r - 4. Let c be d(2). Let n = c - j. Solve f - 6 = y + 3*y, 0 = -3*y + n*f - 2 for y.
-2
Let n(o) = 4*o**3 - 2*o**2 + o + 1. Let w be n(1). Suppose 6*z - 4 = y + w*z, 0 = -3*y - z + 16. Solve -i - 1 = y*j + 1, -j - 7 = -3*i for i.
2
Let o(d) = d + 2. Let x be o(-2). Let r = x + 8. Solve -j = -c - 1, -3*c - 3 = -r*c + 3*j for c.
3
Suppose 2*d - 8 = 0, -5*r - 2*d + 5 = 12. Let o be 112/20 + r/5. Solve 4*i + o*q = 3, -2*q = 4*i - 6 - 0 for i.
2
Suppose 2*g + 25 = 5*q, -3*q + 10 - 11 = 2*g. Solve b = -q*c - 13, 3*c = -5 - 7 for b.
-1
Suppose 4*l + 4*v - 11 - 9 = 0, -v - 3 = -l. Suppose -l = -b, -j - 10 = j - 4*b. Suppose 8*m = j*m + 15. Solve 2*n + 5 = -3*y - 7, n = 3*y + m for y.
-2
Suppose -45*y = -25*y. Solve 0 = 4*d + 2*l + 10, y*d - 2*l - 10 = 3*d for d.
0
Let r = 42 + -4. Let c = 41 - r. Solve 1 = -2*b + 7, 6 = -c*d + 4*b for d.
2
Suppose 42*o = 55*o - 39. Let q = -1 + 3. Solve -3*g = -15, -o*b - q*b - 3*g = -5 for b.
-2
Let g(d) = d**3 + 3*d**2 - 5*d + 8. Let w be g(-4). Let p be -2*(-42)/w + -1*1. Solve 2*q + 4*o = p, -q + 4*o = -3 - 0 for q.
3
Suppose -8*s + 72 = 48. Solve -4*b - u + 1 = -s, 2*u - 8 = -3*b for b.
0
Let y = 1632 + -1629. Solve -4*i + 4*m - m = 5, 0 = i + m + y for i.
-2
Suppose -19 = -13*d + 33. Solve 7 = j - v, -d*j + 0*j + v + 13 = 0 for j.
2
Let b = 21 + -19. Suppose -b*x + w = 4*w - 8, 0 = -4*x + 3*w + 16. Suppose 3*a - 6 = a. Solve -o - v = -0*v + 2, a*v = -x*o - 11 for o.
-5
Let b = 19 + -19. Suppose 3 = -2*s - b*w - w, 4*s = -3*w - 9. Solve j + 14 = 4*q, 2*q - 5*j - 16 = -s*q for q.
3
Suppose -3*o + 6*o = -3*p - 15, -3*p = 3. Let x = o + 10. Solve -r - 3*h = 3, -r + x = -3*r - 3*h for r.
-3
Let q = -14 - -27. Let m = 660 - 673. Let u = q + m. Solve b - 4 = 3*y - u*b, -4 = -b for y.
0
Suppose -4*g = 20 + 16. Let s be 10/(-3*6/g). Suppose -s*z - h + 5 = 0, 3*z + 2*h + h + 9 = 0. Solve -3*v - 4 = -z*v, 0 = -m - v - 5 for m.
-1
Suppose 21*p = 24*p - 2*k - 13, -5 = -5*k. Solve 3*i - 5*c - 37 = 0, -3*i + p*c + 45 = 2*i for i.
4
Let q(y) = -y**3 + 31*y**2 + 33*y - 28. Let a be q(32). Solve a*n + 5*f - 33 = -7, 10 = 4*n - 3*f for n.
4
Let s be 3*(-2)/4*-2. Let c be 4 + -1 - (4 + (7 - 10)). Let n = c + s. Solve 4*m = -3*q + n*q + 8, -5*m = 0 for q.
-4
Suppose 7 = 3*o + 2*k, -4*k + 9 = 5*o - 2. Solve 0*q - o*q - g = 0, g = q - 4 for q.
1
Let g = -181 - -182. Solve -3*f = -4*o + 10, -g = 5*o + 2*f - 2 for o.
1
Let l(a) = 9*a + 18. Let h be l(-2). Solve -3*u + u = p + 10, 4*u + 16 = h for p.
-2
Suppose -21*t - 75 + 117 = 0. Solve 5*x + 3*g - 6*g + 20 = 0, -2*g = t*x - 8 for x.
-1
Let h = 389 + -370. Solve h = -5*a - 4*r, 0 = -6*a + 2*a - r - 13 for a.
-3
Suppose -3*u + 5*y = -11, -u = -4*y + 2*y - 3. Suppo