p = 3*g - 15 for s.
2
Let d be (-8)/(-8)*(8 - 3). Solve 0 = -2*h + x + 15, 2*h = -x - 2*x - d for h.
5
Suppose -4*r + 22 = 2*f, -4*f = -6*f - 2*r + 16. Solve 3*l = -3*i, -6 + 1 = -f*l for i.
-1
Suppose -b + 11 = -5*c, 5*b + c = 66 + 15. Let z = b + -14. Suppose -z*i + 0*i = 0. Solve l - 4 = s, i = 3*s - s - 3*l + 9 for s.
-3
Let f = 9 - -18. Suppose 22 = 2*l + 4*v, -3*v - 6 + f = 3*l. Let b be (-25)/(-5) - l*-1. Solve b*p = 3*p + k - 11, 3*p + k = -13 for p.
-3
Suppose -68 = -23*h + 47. Solve 5*d = -5, h = -l - 4*d - 4 for l.
-5
Suppose -270*n + 25 = -265*n. Solve 4*v + 2*p + n + 3 = 0, 5*v + 8 = -2*p for v.
0
Let y = -198 + 211. Solve d - y = 4*q, -5*d + 4 + 31 = -5*q for d.
5
Suppose 2*x - 30 + 8 = 0. Suppose n - 3*a = -0*n - 7, n + 3*a - x = 0. Solve -n*l - 8 = 0, 2*q + 14 = -l - 4*l for q.
3
Suppose 304 - 117 = 11*a. Solve 0 = -4*i + 16, t + 2*t = 5*i - a for t.
1
Let s be (1 - 3)/(-3*6/81). Suppose 2*c - s = 3*a, c - a - 3 = -0. Solve -2*z + 3*v - 6*v - 16 = 0, c = z - 5*v - 18 for z.
-2
Let b be (0/4 - -4)*6. Let s be b/9*3/2. Solve -s*l - 1 = 5*x - 7, -4*l = -3*x - 22 for l.
4
Let g = 1675 - 1671. Solve 0 = 3*x - 3, -g*z + 1 - 2 = -x for z.
0
Let w = -32 - -34. Let p(f) = -5*f - 7. Let g be p(-5). Suppose 4*i = g - 2. Solve -n - 2*a - i = 0, w*n + 20 = -3*n - 5*a for n.
-4
Let n = 89 - 78. Suppose 0 = -3*l - 5*i + 33, -n*l - 5*i = -16*l + 95. Solve 0*p + 3*p - 16 = -4*g, 4*g - l = -p for p.
0
Let i be -1 - (7 - 2)*-1. Suppose j + 7 = -i*x + 5*x, 3*x - 16 = 2*j. Solve -5*l = 20, -2*z + l - x - 2 = 0 for z.
-4
Let l(a) = a**2 + 3*a + 2. Let v be l(-2). Let z be v + -3 + 4 - -1. Suppose -c + g + 9 = -0, z*g + 8 = 0. Solve -c*j - 2*k + 33 = 0, 4*k - 15 - 6 = -j for j.
5
Let w = 12 - 4. Suppose -5*g = -w - 12. Suppose 0*r - 2*m = -r + 18, 4*m + g = 0. Solve 3*j = 5*f + r, f - 2*j = 3*j - 12 for f.
-2
Suppose 5*s - 60 = -2*w, 4*w + 0*s + s - 120 = 0. Solve p = -0*p + 5*m + 20, -5*m = p + w for p.
-5
Let p be (-1 + (-1 - -2))*1. Solve -3*s - 2 = -2*g + 5, 4*s + 5*g + 40 = p for s.
-5
Suppose -8*j - 2 = -10. Let q be (-1338)/(-54) + 4/18. Suppose -o - 29 = -5*o + t, 5*o = -t + q. Solve -j = -n + 4*z - 3, 5*z + o = -3*n for n.
-2
Let p(v) = v. Let f be p(4). Suppose -57*q = -52*q. Solve -5*n - 8 = -3*n + f*i, 2*n - 5*i - 10 = q for n.
0
Let z = -359 + 363. Solve -2 = -2*a - 5*u - 23, 0 = -z*a - 2*u - 18 for a.
-3
Let m = 1124 + -1118. Solve 18 = -3*g + m*g + 3*p, 0 = 5*g + 2*p - 15 for g.
1
Suppose m - 10 = -2*w, 0 = 3*m - 5*w + w - 40. Let r be ((-15)/3)/(4/8). Let f = r + m. Solve 4*v = p - 11, f*v - 4*v = 2*p + 8 for v.
-3
Suppose -d + 97 = -18. Let g = 115 - d. Solve -2*j + 12 = 4*v, -2*j - 9 = -g*v - 3*v for v.
3
Suppose 30*i = 33*i - 4*x - 9, 5*x = 5*i - 15. Solve 0 = b + i, q + 0*q - 4 = 3*b for q.
-5
Suppose 4*h - 2*m - 60 = 0, 0 = h - 7*m + 8*m - 15. Solve 5*i + 4*n + 25 = 0, -3*i + 6*n - h = 2*n for i.
-5
Suppose 0*v - 4*v + 24 = 4*l, -4*l - 12 = -5*v. Solve l*f = 4*c - 12, 5*c = -2*f + c - 4 for f.
-4
Let v(d) = -d**2 + 5*d + 8. Suppose -2*j + 10 = 2*c, 3*j - 4*c + 2*c = 20. Let l be v(j). Solve 0*p = -p - l, -8 = -w + 5*p for w.
-2
Suppose -4*b + 6*b = 12. Let t be -8*(b - 3)/3. Let q be (-32 - t)/(2 - 3). Solve 0*i - 4*i = -4*g + q, -2*g - 2*i - 4 = 0 for g.
2
Suppose 5*w - 2*b = 19, -6*w = -5*w - 4*b - 11. Solve w*x = -2*x + 4*u - 9, 4*x + 16 = u for x.
-5
Suppose 4*t = -5*w - 12, -w = -5*t + 18 - 4. Suppose -5*i - t = -7*i. Solve 4*u + 5 + i = 2*o, 4*u + 3 = o for u.
0
Suppose 0 = -3*z - 11 + 17. Solve -4*q = -q + z*k + 15, -3*q + 5*k = -6 for q.
-3
Let g = 33 + -27. Suppose -g*b + 9*b = -3. Let f be (10 - 36)/(-2 - b). Solve -4*i + 10 - f = -4*c, -5*c = -i - 24 for c.
5
Let k = -292 + 297. Solve 0 = -k*q + 4*q + 4, 5*y = 3*q - 12 for y.
0
Suppose -4*u - 14 = -110. Suppose -5*p - 1462 = -1487. Solve 4*b - u = 8*b - 4*y, -15 = -p*b - 4*y for b.
-1
Suppose -4*k = k. Let c(d) = d**2 + d - 1. Let q(f) = -7*f**2 - 6*f + 22. Let o(u) = 6*c(u) + q(u). Let s be o(k). Solve 3*z + s = -a, z + 2 = 4*a + 1 for a.
-1
Let i(d) = 2*d**3 - 8*d**2 + 11*d - 9. Let r be i(4). Solve 0 = -5*k - 5*q - r, 2*k - 3*q + 2 = 8 for k.
-3
Suppose -4*q - 277 = y, 0*q + 5*q - 3*y = -359. Let h be 28/6*(-60)/q. Solve -d + h*r - 5 = 2*d, -4*d - 10 = -2*r for d.
-3
Suppose -5 = -k + 2*s, 7*s - 57 = -8*k + 6*s. Solve w - k*q = -10*q - 14, -2*w - 4*q - 20 = 0 for w.
-2
Let h(j) = j - 11. Suppose -u = 2*u + 24. Let x be h(u). Let r = -15 - x. Solve -7 = -2*z + 3*y, -10 = r*z - 7*z + 4*y for z.
2
Let m = 329 + -317. Solve 0 = 5*g + 3*l - m, -l + 1 = 2*g - 4 for g.
3
Suppose -5*t - 8*k + 22 = -5*k, 5*t + 5*k - 20 = 0. Solve -3*g - 22 = 3*f + f, f = -t*g - 14 for g.
-2
Let z(q) = -q**3 - 9*q**2 + 9*q. Let k be z(-10). Suppose k*j = 16*j - 18. Solve i + j*i + 2*b = -12, 2*i - b + 14 = 0 for i.
-5
Suppose -27*d = -45 - 90. Solve 16 = -d*p + 3*z, -12*z + 7*z = p + 20 for p.
-5
Let l be ((-14)/((-2)/1))/((-5)/10). Let r = l - -19. Solve 4*g - r*o = -g + 10, 4*g - 14 = o for g.
4
Let b be 9 - (-1 + 3 + 5). Suppose 4*i - 5 = 3. Solve y + 2*m = -1, -b*m = -m + i for y.
3
Let w be 1/2 + (-6)/4. Let g(v) = 5*v + 5. Let u be g(w). Solve n + 3*r - 13 = u, 5*n - 2 + 5 = 2*r for n.
1
Let q(c) = c + 4. Let x be q(-7). Let w be x/(-21) - 18/(-21). Solve -3*s = 2*m + 19, -4*s = -2*m + 15 + w for m.
-2
Suppose -4*j - 4 = 4*m, -2*m + 55*j + 19 = 50*j. Solve -m*t - 1 = 3*x, -4*t = t + 4*x + 13 for t.
-5
Let c be (-5 - -8)/((-6)/4) - -3. Let h be c + 5/(-6) - 204/(-72). Solve -h = 3*l, a + 2*l = -2*l for a.
4
Suppose -3*q - 22 = -46. Solve -5*n = -5*r - 20, -n = -4*n - r - q for n.
-1
Let o(q) = 2*q**3 - 6*q + 6*q**2 - 3*q**3 + 2*q**2 - q**2. Let j be o(6). Let d = j - -3. Solve -5*t + 4 = d*i - 2*i, 8 = -3*i + 5*t for i.
-1
Let a(p) = -6*p + 79. Let r be a(10). Solve 3 = 2*m + v - 7, -m = 4*v - r for m.
3
Suppose 0*a + t - 24 = 3*a, 3*t = -9. Let i = a - -13. Solve -2*v - 5 = -j, 4*v - i*j = j - 13 for v.
-2
Suppose -3 = -4*m - 7, 5*x - 2*m = 42. Suppose x*l = 10 + 6. Suppose -4*r + 5 + 3 = 0. Solve -5*j - 2*d = -19, -j - r*d = l*d + 7 for j.
5
Suppose 0 = -240*j + 238*j + 8. Solve -2*l = j*o, 2*o + 3*o + 5*l = 0 for o.
0
Let m(a) = -2*a - 3. Let t be m(-3). Let v be 4/(-12) + 1/(-3)*-1. Solve -2*w = -5*w - c, v = t*c for w.
0
Suppose -2*u + 5*w + 34 = 5, 5*u = 4*w + 30. Suppose 0 = -p + u*p - 1. Suppose 3 = h + p. Solve -3 = -5*o + 2*d, -d = h - 3 for o.
1
Let y be (1 - (-5 + 4)) + 5. Solve -y*z + 2*a - 17 = -2*z, -z = -4*a - 11 for z.
-5
Suppose 32 = -0*w + 4*w. Let q be 1*(w + 1 + -2). Let s(a) = 12*a - 70. Let r be s(6). Solve 0 = -r*b - q - 1, 16 = x - 5*b for x.
-4
Let l = -740 + 756. Solve 2*o + 2 = -3*c + 13, l = 5*o - 4*c for o.
4
Let u(j) = j**2 - 2. Let l be u(2). Let i be -3*(-5)/(-15) + -22. Let y = 26 + i. Solve -q - 12 = 2*o - y*q, 0 = 5*o + l*q - 5 for o.
-1
Let g be 8/(-40) - (-401)/5. Let w = g + -30. Let c = -34 + w. Solve -3*q + c = -2*q + 3*x, q = -4*x + 21 for q.
1
Let m = -8 - -2. Let j be 1/m - 25/(-6). Let r be -1 + -1 - (-4 - j). Solve r*v - 4*v + 5*t + 8 = 0, -2*v + 3*t + 8 = 0 for v.
1
Suppose 0 = 43*f - 44*f + 2. Suppose n = -0*n + 2. Solve -n*k - 2*i - 11 = i, 3*i = f*k - 7 for k.
-1
Suppose 2*f - 5*m = -20, 2*m + 30 - 38 = 0. Solve f*d = 4*d + 2*y + 10, 4*d = -5*y - 19 for d.
-1
Let n = -546 + 548. Solve 0 = -2*p - 0*g - g + 5, 5*p - n*g - 8 = 0 for p.
2
Let u(a) = -4 + 6 + 5*a - 4. Let m be u(3). Let g = m + 16. Solve -5*s = -k - g, -4*k + 13 = -6*k + s for k.
-4
Suppose -4*p = -11 - 1. Let z be (-78)/(-13)*3*(-1)/(-6). Let l be (z + -4)/(p/(-6)). Solve c = -3*v + 4*c, -l*v = c for v.
0
Let s = -217 - -217. Solve f = -5*r + 17, s*r + f = r - 1 for r.
3
Let y be 4/(-10) - ((-192)/30 + -2). Solve 3*m + 2*q = 4, -4*q - y = 2*m - 4*m for m.
2
Let f be -6*((-15)/9 - -1). Let j be (-2)/(6/(6/2)). Let k = f - j. Solve -5*u - d = -25, 10 = k*u - d - d for u.
4
Let n(q) = q**3 - 5*q**2 + 2. Let k be n(5). Suppose -3*u + 62 = k*u + 2*y, 0 = -4*u - 2*y + 50. Let j = u - 8. Solve 0 = -j*l + 2*v + 3*v + 7, 2*v = 2 for l.
3
Let l be (-4 - 0)/(5 + (0 - 3)). Let r be ((-2)/6)/(l/72*2). Solve -3*n - 5*i + r = 0, n - 3*n = -i + 9 for n.
-3
Let i(n) = 4 - 1 + 3 + 14*n + 10 + n**2. Let x be i(-12). Let u be (x/5)/(2/(-5)). Solve 2*t = -u*b + 4*t - 2, 1 = 5*b + t for b.
0
