h - 4, 3*h + x = h - r for h.
-2
Suppose -285 = -33*o - 120. Solve -o*m = -5*r + 15, 2*m + 12 = -0*r + 4*r for r.
3
Let m(n) = 3*n - 3. Let q = -1 + 3. Let x be m(q). Suppose -40*c + 54 = -31*c. Solve -c = 3*l, 4*g + x*l = 1 + 9 for g.
4
Suppose -h - 9*h - 270 = 0. Let l = -21 - h. Solve -5*y + r - 11 = 0, 4*y + l = 3*y + 4*r for y.
-2
Let f be ((138/(-9))/1)/((-4)/12). Let s = 52 - f. Suppose 0 = 3*m - 10 + 1. Solve 0 = 2*k + p + 4*p - s, -k = m*p - 3 for k.
3
Let g(t) = -t**3 + 9*t**2 - t + 13. Let x be ((-27)/6)/((-15)/6 + 2). Let z be g(x). Solve -z*r = 2*w - 7 - 13, -3*r = -3*w - 15 for w.
0
Let u(o) = -o**2 + 8*o + 49. Let a be u(-4). Solve -2*q + 3*n - 6 = -n, a = -4*q - 3*n for q.
-1
Let t be 5*-1 - 1*(-1 + -4). Solve -5*k + o + 3 = 5*o, k + o = t for k.
3
Let i(y) = -4 + 21 + 1 + y. Let l be i(-16). Solve 2*h = 4*p, -l*p - 16 = 3*h - 0*p for h.
-4
Let i be ((-148)/(-8) + -17)*16/3. Solve -5*c = -2*k - 2 - i, 0 = -k + 4*c - 11 for k.
5
Suppose -5*o + 19 = -2*x, 2*x - 3*x = -3*o + 12. Suppose 3*m + 3 = 4*m. Solve 16 = -4*z + o*b, -12 = z - 4*b + m for z.
1
Suppose 4*g = g. Suppose 0*i + 24 = 2*o + 4*i, g = -4*o + 2*i + 88. Solve -y + 5*y - o = -4*q, 0 = -2*y + 10 for q.
0
Let m be 2/(-6) - (-26)/6. Let w = 11 - m. Let a(l) = l**2 + 16*l + 53. Let s be a(-12). Solve -2*x = x - k - s, x + 4*k = -w for x.
1
Suppose -2*n + 85 = 3*n. Let v be (10/4)/((630/(-24))/(-21)). Solve h = 4*f - n, -v*h + 3*f - 14 = -0*f for h.
-1
Let u be 3/(-1) + -10*1/(-2). Suppose 0 = 4*h - 4*t + 36, -t + 9 = 4*h + 4*t. Let p = h - -6. Solve 0 = -4*b + 2*w - 2 - 14, 2*b + u = -p*w for b.
-3
Let i be 13/(-52) - (-178)/8. Suppose 0 = 2*c + i - 30. Solve 0 = 3*m - 9, -c*m = 2*h + h - 9 for h.
-1
Let h = -32 - -7. Let v = h + 31. Solve 4*n + 0*n = 5*z + v, 2*z + 16 = 5*n for n.
4
Suppose -5*n = 5*i - 30, -5*n + 18 = 17*i - 15*i. Solve 2*s + j = s + 3, 8 = n*j for s.
-1
Suppose -11*g + 203 + 1095 = 0. Let l = g + -107. Solve 4*r - l = 3*w, -w = -4*r + 1 + 8 for r.
2
Let c be 1/1*(-10 + 46). Let p = -33 + c. Let w be 0/(2/(p + -1)). Solve -3*g - 2*k - 13 = 0, 0 = -2*g + 5*k - 15 - w for g.
-5
Suppose -2*p - p = -15. Let q = -309 - -314. Solve k + 9 = 3*h, 10 + 15 = -p*k + q*h for k.
-3
Suppose -4 = -6*s + 2. Let i(o) = 4*o**2 + 2*o - 2. Let v be i(s). Suppose -y - 15 = -5*d, 4*d + y - 12 = 3*y. Solve w - 5 = -5*g, w = -v*g - d*w - 12 for g.
2
Suppose -3*w = -3, -15*n = -13*n - w - 9. Solve -m = 3*i + m + 21, -28 = n*i + m for i.
-5
Let y be -2 - (2 + 0) - -8. Let q = 10 + -3. Let b = 13 + q. Solve 3*r = y*u + 5*r + b, 4*r = u + 5 for u.
-5
Let o(b) = -2*b**3 + 2*b**2 - 2*b + 4. Let v be o(0). Solve 0 = -f + v*d - 4, -5*d = -3*f - 1 - 11 for f.
-4
Let u(g) = -g - 1. Let r be u(-4). Suppose t = r*t. Suppose 76*a = 171*a - 475. Solve -4*s - a*c - 12 = t, 2*s + 4*c = s - 3 for s.
-3
Let s = -154 + 81. Let u = s + 110. Let p = u + -35. Solve -p*x - 13 = 3*w, 3*x = -0*x + 3*w - 12 for x.
-5
Let p(x) = x - 2. Let g be p(6). Let y = -17 - -29. Suppose -4*j - y = 0, -4*j - 4 + 0 = g*c. Solve 0*b - q + 10 = -c*b, 5*b - 3*q + 25 = 0 for b.
-5
Suppose c = -4*q + 4, -4*q = 3 - 7. Solve -5*b - 6 = -4*d, -4*b + c*b + 4*d = 8 for b.
2
Let h = 24 + -20. Let t(m) = -3*m + 2. Let r be t(-7). Solve -h*k - 4*q = k - r, 10 = 5*q for k.
3
Let o(h) = -h**3 - 9*h**2 - 20*h - 8. Let d be o(-6). Solve -l + d*p = 12, 2*p = -6*l + 4*l - 4 for l.
-4
Suppose -3*x - 225 = -231. Solve 5 = -s + x*i, 11*s + 2*i = 6*s - 1 for s.
-1
Suppose -17*g + 50 = -18. Solve -k - k - 3*q = -2, -g = -q for k.
-5
Suppose -2*a + 48 = 3*d + 262, -d - 76 = 3*a. Let i = -58 - d. Solve i = 3*p + 3*w, -3*w = 3*p - 6*w - 6 for p.
3
Let g be ((-3 - -6) + -6)/((-69)/115). Let i = 0 + 2. Solve 25 + 20 = 5*s - g*w, i*s + 10 = -5*w for s.
5
Let h(y) = 5*y + 3 - y**2 - y**3 - 6 + 3*y**2. Suppose -4*q - 4*z = -24, -12*q - 5*z + 3 = -16*q. Let j be h(q). Solve 2*g + 9 = -5*i, j*g = 2*i + 18 - 3 for i.
-3
Let b(c) = c**3 + 4*c**2 - 4. Let v be b(-3). Suppose -3*k + 38 = -v*s, 5*k - 3*s + 33 = 107. Solve 8 = -2*a, 0 = -2*o - 5*a - k - 6 for o.
-1
Suppose 3*y + 2*l = -17, -y + 51 = -5*y + 3*l. Suppose -4*b + 6 - 10 = 0. Let g be b - (-3)/(y/(-15)). Solve -j - 2*p = -2, 3*j - 6 + g = -2*p for j.
0
Let l(g) = -30 - 6*g + 30 - g**2. Let h be l(-5). Solve 4*v - 17 = -h*r, -4*v = 2*r - 7*r - 7 for v.
3
Let o be 504/(-21) - (-3 - 0). Let z = 24 + o. Suppose -k = z*k - 20. Solve -2*g + 19 = g - k*p, -p = g - 1 for g.
3
Let v be (1 + 4 + -4)*0. Let j(d) be the first derivative of -d**3/3 - d**2/2 + 3*d - 1. Let a be j(v). Solve -a*q + 1 = -5*o, 0 = -4*q + 3*q + 2*o + 1 for q.
-3
Suppose 16*x = 4*x + 60. Solve 2*j + 4 = y, -2*y - x*j + 2*j - 13 = 0 for y.
-2
Suppose 2*p + 22 = 3*j, -j + p - 1 = -10. Solve j*z + 5*d = 26, -2*d - 8 = -3*z - 0*d for z.
4
Let h(x) = x**2 - 37*x + 2. Let n be h(37). Suppose -6*q + 20 = -2*q. Solve -m + 4 = v, n*v - 6*v - 2 = -q*m for m.
2
Suppose 0 = 391*w - 389*w - 10. Solve 0 = -4*q + 4*g - g - 4, -w*q = 4*g - 26 for q.
2
Let k(f) = -f**2 - 7*f + 4. Let y be k(-7). Let v(j) = 1 - 1 - y - j. Let c be v(-4). Solve 4*r + 5*p - 2 = -5, r - 5*p + 7 = c for r.
-2
Let i(x) = -2*x**3 - 31*x**2 + 16*x + 5. Let f be i(-16). Solve -3*a - 23 = f*r + 14, -3*a + r = 7 for a.
-4
Let y be (8/((-56)/(-35)))/(3 - 2). Solve 4 = 4*b + 3*s - 7, 5*s = -y*b + 20 for b.
-1
Suppose -4 = -6*x + 2. Let f be x/(-5) - (-46)/(-15)*-3. Solve 2 - 8 = -3*v - d, 4*v + d - f = 0 for v.
3
Let d be 3 + 3/(5/2 - 4). Suppose 3 - d = 5*i - 3*k, -i - 2 = -3*k. Solve -i - 15 = -4*q - 2*a, 4*q = 4*a - 8 for q.
2
Let z = 173 - 179. Let r be z/14 + (-7 - (-796)/28). Solve -2*m + 5 = 5*c, 4*c - r = 5*c - 4*m for c.
-1
Suppose 2*k = -4*b + 6, -3*b + 15 = 2*b + k. Suppose 2*c - 3 = 3*c, b*a + 3 = -c. Solve 5*p - 3*d - 2*d - 40 = a, 0 = 2*p + 4*d + 8 for p.
4
Suppose 290 = 2*a + 2*d, -410 = -3*a - 3*d + 5*d. Let m be a/49 + (24/21 - 1). Solve -6 = m*t - 3*x, 3*t + 4 = -x - 6 for t.
-3
Suppose n = -4*n + 240. Let v = n + -43. Solve 7*p + 3 = 3*p + w, -2*p - v*w - 7 = 0 for p.
-1
Let p = 1016 - 1007. Solve -4*x = 2*z + 8, -z + p*x + 17 = 4*x for z.
2
Let h be (17 + 165/(-10))/(1/24). Solve 3*p + 3*i + 32 = -2*i, -3*i = h for p.
-4
Suppose 0 = -5*p + 39 + 56. Suppose 0*f = 3*b - 5*f + p, 0 = -3*b + 4*f - 14. Solve 5*t = 5, 2*q - 2*t = b - 0 for q.
2
Suppose 15*k - 16*k + 5 = 0. Solve -26 = 4*j + 5*w, -1 = k*w + 9 for j.
-4
Suppose -2*v - 283 = o, 2*v = 18*o - 17*o - 273. Let m = -135 - v. Solve m*r + 2*g = -0*g + 14, 5*g - 17 = -4*r for r.
3
Let d = -2108 - -2110. Solve 3*y = v - 14, -3*y - d = -4*v + 9*v for y.
-4
Suppose 5*s = 4*d - d + 5, -3*d + 27 = 3*s. Suppose -d*c + 11*c - 24 = 0. Solve 0 = c*y + 2*m - 4, -4*y + 1 = 5*m + 3 for y.
2
Let a(g) = 560*g**3 - 561*g**3 + 2*g**2 + 6*g - 5*g**2 + 13. Let w be a(-4). Solve -3*l + w*t = 1 - 3, 2*l + 2*t = -4 for l.
-1
Let z be (-1)/2 + 175/10. Let p(t) = t**3 - t**2 - t. Let q be p(-1). Let l be 1 + 2 + (1 - q). Solve 5*n + 13 = 2*o, o = 4*o - l*n - z for o.
4
Let c be 1/(-3) + 20/6. Suppose 5*p + 10 = 2*j, p + 1 = 2*j - 1. Let t be j + 4/((-8)/(-6)). Solve 0 = o + 2, -c*o = m + t*m + 26 for m.
-5
Let v = -4 + 7. Let t(b) = -28*b + 171. Let n be t(6). Solve v*a + n*r + r - 19 = 0, 0 = 5*a - 4*r - 21 for a.
5
Suppose -5*s + 75 - 450 = 0. Let w = 86 + s. Solve -3*j - w + 34 = -4*h, -2*h = -2*j + 14 for j.
5
Let k(c) = -20*c - 3 + 2 + 9 + 14*c. Let i be k(1). Solve -2*s - n + 30 = 4*n, -3*n + 2 = -i*s for s.
5
Suppose -6*f - 50 = -16*f. Solve 0 = -b - 4*a - 0*a + 15, 0 = -5*b + f*a for b.
3
Let w(b) = -b**3 - 4*b**2 + 11*b - 2. Let g be w(-6). Solve -5*o - 11 + g = 3*j, 3*o = 2*j - 8 for o.
-2
Let a(z) = 6*z + 1. Let g be a(-6). Let o be -1*5*(-42)/g. Let j(x) = x**2 + 4*x + 2. Let s be j(o). Solve -3*i - 4*h + s = -3*h, 0 = -i - 4*h + 1 for i.
5
Let p = -15 - -20. Suppose 14 - 4 = p*j. Solve 5*x = 2*x - n - 5, 6 = -j*x - 2*n for x.
-1
Let h(y) = 3*y - 15. Let k(v) = -v**2 + 9*v - 7. Let g be k(7). Let o be h(g). Solve -z - u = -o*z - 11, -8 = 2*z - 4*u for z.
-2
Let p(d) = -16*d - 170. Let l be p(-11). Solve -i + 2*i = 2*z - 3, 0 = 3*z - i - l for z.
3
Let v be 3 + -3 + -1 + 3. Suppose 3*j + 8 = -v*u, -4*u + 2*j = 4*j. Suppose 0 = -c + 53 - 31. Solve g = -3*g - u*o + c, -2*g + 3*o - 1 = 0 for g.
4
Let r = -71 + 29. 