y + 6 = 5*h + c*y for h.
2
Suppose -l + 1 = 5. Let w be (l + 4)*2/4. Solve r - 3*h - 7 = 0, 3*r - 4*h - 1 = -w*h for r.
-5
Let j = 396 + -396. Let b(i) = -i**2 + 2. Let z be b(0). Solve 3*r + 18 = 5*a + z*r, j = -3*a - r + 14 for a.
4
Let p(j) = j**3 + 4*j - 3. Let c = -56 + 57. Let a be p(c). Solve l - r + 9 = 3, a*r = l + 11 for l.
-1
Let c(j) = 7*j**3 - 2*j**2 - 4*j + 3. Let y be c(2). Let a = y - 23. Solve 0 = 4*p + 4*z + a, 5*p - z = -2 + 7 for p.
0
Let x be 4/28 - (-30)/(-14). Let m be x/11 + (-420)/(-132). Solve -29 = -m*g - 4*u, -6 = -3*u + 9 for g.
3
Let o be 4/(-10) + (-81)/(-15). Let v be ((-1)/(-1))/(1/o). Solve -3*d = -2*t + d, v*t - 2*d - 16 = 0 for t.
4
Suppose -38*r = -34*r - 12. Suppose y = 3*i - 14, 5*i + 4*y - 10 = 3*y. Suppose 0 = 5*t - i*t - 36. Solve 0 = g - r*a - t, -4*g + 0*g + 5*a + 37 = 0 for g.
3
Let v be 3/(1 + 14/(-20)). Let s = 9 + -8. Suppose 0 = -7*x + 34 + s. Solve 5*i = x + v, 4*a - 3*i = -5 for a.
1
Let n(c) = c**2 + 3*c + 2. Let b be n(-4). Let t = 32 + -24. Let d = t - b. Solve -g - v = 4*v - 27, -3*g + d*v - 4 = 0 for g.
2
Let o(z) = z**2 + 4. Let l be o(0). Let k = -577 + 580. Solve x = 3*m + 3, x - l*m = -k*x + 4 for x.
0
Let a be (-2 - -5) + 4 + -5. Solve -2 = 3*h - a*r, -20 = 5*h - 0*h + 5*r for h.
-2
Suppose -m + 35 = -3*c + 11, 8 = -4*c. Let i = -15 + m. Suppose 2*p = 2*v - 6, -p = v + 3*v - 2. Solve -i*r + 2*d + 12 = -v, -2*r + d = -7 for r.
1
Let i(g) = 2 - 56*g - 6*g**2 + 15*g**2 - 11*g**2 + 8*g. Let a be i(-24). Solve -t + 1 = -m, a*t + 8 = -0 for m.
-5
Let h = 3 + 9. Let q be h/(-16)*(0 + -4). Solve -4*n - 25 = -q*a, 5*a - 3*n - n - 31 = 0 for a.
3
Let d = -18 - -6. Let i = 14 + d. Suppose -3*k - p + 8 = 0, i*k = -2*k + p + 13. Solve -t + 4*g = -11 - 13, k = -3*t - 3*g for t.
4
Suppose 4*m - 2*o = -2, -5*m - 42 = o - 43. Solve r - i + 4*i - 3 = m, 5*r + 23 = 4*i for r.
-3
Suppose 3*h - 180 = 7*h. Let d = h - -48. Suppose -4*v + 13 = 5. Solve 5*p = d*g - 3 - 4, 3*p + 8 = -v*g for g.
-1
Suppose -7*w = -3*w - 12. Let t be (-8)/(-12) + (-10)/(-3). Suppose t*b - 34 = -2. Solve -w*j + 0*j - 4*i - b = 0, 4*j - 3*i - 31 = 0 for j.
4
Suppose 0 = -w - l + 18, -69 = -4*w - 5*l + 2*l. Suppose s - w = -5*v, 3*s - 7 - 14 = -3*v. Solve 3*u - u = -s*k + 24, -5*u + 2*k + 2 = 0 for u.
2
Suppose 5*q + 2*d - 4 = 0, -d - 3 = -0*d. Suppose -12 = -5*a + q*a. Solve 3*l - 1 - 8 = -2*j, a*j - 3 = -3*l for j.
-3
Suppose -19 = -5*g - 3*j, -2*g - 5 + 0 = -3*j. Let r(u) = -4 - u - 1 + 3 + 1. Let d be r(-4). Solve 0*s = d*s - g*t - 13, -1 = 3*s + 5*t for s.
3
Suppose 3*b + 4*j + 36 = 0, 0 = -5*b - 3*j + 8*j - 95. Let g be 2/b - 9/(-8). Solve 5*k - 5*t = 20, 2*t + g = -3 for k.
2
Suppose -5*u = -85 - 590. Let d = u - 131. Solve 12 = -5*k + 2, d*f - 14 = -k for f.
4
Let m be -1 - 1*-1 - 9. Let y(k) = 21 - 5 - 7 + k. Let p be y(m). Solve -l = p, 4*l - 8 = -6*b + 4*b for b.
4
Let k(f) = 2*f + 24. Let y = 17 - -7. Let r be y/(-108) - 106/9. Let t be k(r). Solve 4*m + 20 = 0, 2*s = -t*s + 2*m + 8 for s.
-1
Let u = 938 - 926. Solve -4*l + u = 0, 2*c - 5*l + 6 = -1 for c.
4
Let x be 2/(-3) + (-11)/(-3). Suppose 20*q = 25*q - 35. Solve 4*o + g + q = 0, x = -g - 0*g for o.
-1
Let z = 649 - 646. Solve 5*l + 5 = -2*n - z*n, -n = 0 for l.
-1
Let v be 117/78 - 21/(-6). Solve v*o = 3*c - c - 8, 2*c - 8 = 4*o for c.
4
Suppose 287*i - 293*i = -12. Solve -4*v + 0*k = 5*k + 8, -4 = i*v - 4*k for v.
-2
Let u = 173 - 169. Solve -k = 4*d - 1, -u*d + 17 - 1 = -4*k for d.
1
Let d(p) be the first derivative of -9/2*p**2 + 5*p - 1/3*p**3 - 4. Let n be d(-6). Solve -n = 3*c + 2*r, 5*c - 4*r + 45 = -9*r for c.
-5
Let c(j) = 3*j + 10. Let p be c(-3). Let a be (p - -1)*(-45)/(-30). Let d be (a - (-21)/(-5))*-5. Solve -3*z + 2*q - d = -4*z, -10 = z - 2*q for z.
-2
Let p(h) = 7*h + 3. Let l be p(-7). Let f = l + 82. Solve -5*r - 4*y - f = 0, 2*r - y + 4 = -0 for r.
-4
Let r = 22 + -17. Suppose -b = -18 - r. Solve -6*u + 4*u = -2*o - 2, 3*o + b = -2*u for u.
-4
Let b(y) = y**2 + 11*y - 26. Let f be b(-13). Solve 4*i - l - 2 = -f*l, 8 = 4*l for i.
1
Suppose -2*l = -106 - 82. Let d = l + -89. Solve -x = -d*f + 1, -4*f + x - 2*x = -8 for f.
1
Suppose 8*k + 3 = 3. Suppose w + 5*w - 132 = k. Solve 2*c + w = 5*z - 0*c, -2*z = -5*c - 13 for z.
4
Let q be (-236)/(-354) + ((-16)/(-6))/2. Solve -4*d = u - 4, -u + 5 - 1 = q*d for u.
4
Let r = 374 + -374. Solve -4*s - s = u + 13, r = 2*u - 4 for s.
-3
Let z be -5 + 0 + 1*(4 + 3). Solve 4*l + 12 = -4*p, -5*l - 8 = -4*p + z*p for l.
-2
Suppose 2*i + 53 = -9. Let o = -27 - i. Suppose b - 28 = -3*b + o*h, -4*b + 5*h + 30 = 0. Solve -7 = -b*s + 3*k, 3*s + 6*k = 3*k - 15 for s.
-1
Suppose -4*p + 26 = -5*y, -2*p + 6 = -4*y + 5*y. Solve -p*v - 5*h - 4 = 0, 0 = -5*v - 5*h - 5 for v.
-1
Suppose 7 = 4*l + 67. Let o = l - -19. Solve 0 = -2*q - 0*s + o*s - 4, 0 = -3*q + 4*s - 8 for q.
-4
Let r be (-42)/(-5)*(0 - 140/(-8)). Let d be (8/(-5))/(-2) + r/35. Solve -2*g = -5*h - 5*g + 13, -d*g - 5 = 3*h for h.
5
Suppose 6*t - 25 = t. Suppose t*m = 3*m + 4. Suppose -6*c = -c, m*c - 8 = -2*w. Solve -4*g + 5*y = -2*g - 22, -w = 4*g + 2*y for g.
1
Suppose a - 307 = -5*q, 7*q + 3*a = 4*q + 189. Let g = q + -56. Solve g*t + 11 - 36 = 0, 0 = -3*b - 4*t + 17 for b.
-1
Suppose 3*c = 5*c - 4*d, 5*d - 9 = -2*c. Let h(y) = 8*y**2 - 3*y + 1. Let n be h(c). Let b = 3 + -1. Solve -5*r = o - 26, 9*r = 4*r - b*o + n for r.
5
Suppose 0 = -2*s - 3*s + 80. Suppose -3*c + s + 1 = 2*b, 2*b + 18 = 2*c. Solve -x - 4*a = 22, -5*x + 2 = -a + c for x.
-2
Let b be (-3)/3 - (-2 + -11). Suppose d + b = 5*d. Solve -18 = -4*z + 2*s, 5*z + 0*s = d*s + 25 for z.
2
Let k be 4 + (-1)/(-4 + 3). Let c = -42 + 63. Let x = 51 + -48. Solve -4*i = -3*r - x*i + 6, k*r = -2*i + c for r.
3
Let n = -18 + 43. Let j(t) = 2*t**2 + t - 4. Let p be j(-2). Suppose 5*o + 0*o + p*b = 41, 3*o = -b + n. Solve -3*g - z = -15, 4*g - z = g + o for g.
4
Let y = -192 + 133. Let c = y + 39. Let l be 3 + (-3 - c/5). Solve i = r - 2, l*r - i - i = 14 for r.
5
Let b(f) = f**2 + 5*f + 8. Let x be b(-4). Suppose 4*d = 8 + x. Suppose 2*t - t - d = 0. Solve 3 = -2*i + a, -2*i + t*a + 7 = -4*i for i.
-2
Let f = 43 + -88. Let p = -41 - f. Solve -2*t + 2*s = 7*s + 16, p*s = 5*t - 26 for t.
2
Let r be 2/(-5*2/(-120)). Suppose 6*d = 3*d + r. Let l be (d - -22)*(-2)/(-3). Solve -3*b = -i - l + 6, 4*i + 4*b = 8 for i.
-2
Let i = 27 - 23. Suppose 4*q - 5*w = 3*q + 60, i*q = -2*w + 174. Solve 4*n + 6*t - q = t, -n = -t for n.
5
Let q(g) = -7*g + 3. Let a be q(7). Let m = -30 - a. Suppose -4*b + m = -0*b. Solve -4*n = b*k - 8, 0 = -3*k - 4*n + 6 + 3 for k.
-1
Let q(l) = l**3 - 2 + 6*l - 5*l**2 + 1 - 2. Let n be q(4). Solve -3*z - n*c = -4*z - 26, -3*z - 4*c = -17 for z.
-1
Let k(f) = f**3 - 8*f**2 - 2*f + 24. Let p be k(8). Solve 4*x + 10 = -j, -3*x - 5*j + p*j = 0 for x.
-2
Let l be -42*(-3)/12*-2. Let z = l + 24. Solve k = -z*f - 4 - 0, 4*k = -f - 5 for f.
-1
Let a be 4 + -3 + 8/4. Solve -x + a*h = -1, 0 = 2*x - 0*h - 4*h - 2 for x.
1
Suppose 12 = -5*v + 37. Solve -v*u + 5*s - 15 = 0, -5*u - 3*s - 2*s = -25 for u.
1
Let y(l) = l**3 + 27*l**2 - 29*l - 22. Let q be y(-28). Solve -p = -3, -q*p = 3*r - p - 30 for r.
5
Suppose -11 - 1 = -2*b. Let l be b/1 + (1 - 3). Suppose 3*d - 2 = -5*h + 10, -4*h - d = -11. Solve 3*s = -l*m - 3, 0 = m - h*m for s.
-1
Let f = -31 - -34. Suppose 2*i - 40 = -i - 2*n, f*n = -3*i + 42. Solve -i = -2*l + 2*w, 0*l - 14 = -l + 3*w for l.
2
Let y(j) = -115*j + 809. Let m be y(7). Solve 0 = -3*w + u - 2*u - 1, -m*u - 4 = 2*w for w.
0
Let m = 11 - 50. Let d = m + 44. Solve -12 = d*l - 2*z + 6, -4 = -z for l.
-2
Let b(d) = 4*d**2 - d + 7*d - 3*d**2 + 2. Let x be b(-6). Suppose 0 = x*z + z - 15. Solve z*a = -2*m + 32 - 10, -m + 4*a = 15 for m.
1
Let n be ((-80)/(-30))/((16/(-6))/(-4)). Solve -4 = 2*k - 4*g + 6*g, 0 = -n*k - 2*g - 4 for k.
0
Let j(x) = x**3 - 16*x**2 - 14*x - 43. Let f be j(17). Solve 2*v - f = -0*v - 2*c, 0 = -5*v + 2*c - 15 for v.
-1
Suppose 6*o = 7*o - 5. Suppose 0 = o*r + 1 - 1. Solve 2*s = 5*z + 18, r = -s - 4*z - 4 - 0 for s.
4
Suppose -305 + 85 = -11*q. Solve 5*s + q = 0, 0 = -2*o + 5*s - 0 + 12 for o.
-4
Suppose 0 + 8 = -4*b. Let r be (b/4)/(-1)*0. Suppose -4*w + 9 = -w. Solve w*o + r*o = -4*g - 29, -g + 1 = -2*o for g.
-5
Let a = 22 + -22. Solve -5*g - o + 10 = -a*g