-s*c for z.
5
Suppose 17*s + 1836 = -s. Let q = -99 - s. Solve 2*g = q*g + 5*k + 13, -3*g + 2*k = 5 for g.
-3
Suppose 4*u - 17 = -3*x + 44, 4*u - 65 = x. Suppose -u*z - 9 + 57 = 0. Solve 5*r = z*g - 2*g + 3, 3*r + 5*g + 15 = 0 for r.
0
Let m(q) = -q**3 - 7*q**2 + 13*q + 8. Let p be m(-9). Let z = p + -51. Solve 6 = z*k, 2*k = 5*o - 3*k + 20 for o.
-1
Let w = -19 + 22. Let d be (6/w - 1) + -12. Let o = d + 11. Solve 4*b = 3*c - c - 20, -b + 2*c - 8 = o for b.
-4
Suppose 0 = -4*u + 5*a + 14 + 8, a = -2. Solve 5*k + 2 = -u*g, -3*g - 6*k = -3*k for g.
1
Let x(a) = 5*a**2 + 39*a + 40. Let o be x(-1). Solve -5*g - 20 = 0, -3*m + 3*g + 6 = -o for m.
0
Suppose -s - 28 = -6*s - 4*l, 2*l + 30 = 3*s. Solve -8*w + 3*w = 5*t - 10, -2*w - 3*t = -s for w.
-2
Let q(z) = -5*z**2 + 28*z + 49. Let t be q(7). Solve g + t*k = -k + 10, -5*g + 35 = 2*k for g.
5
Suppose 5*z = 11 + 49. Suppose -5*p = -h - z, -4*p - 6*h = -2*h. Solve -3 = a + p*k, 2*a - 3*a - k = 2 for a.
-1
Let g(z) = -z + 9. Let n be g(0). Let w be n/(-15)*1*-5. Solve -4*i - 3*s + 5 = -w*i, 5*i - 5*s = 5 for i.
2
Suppose 0 = -2*q - 4*m + 6, -4*q = 6*m - m - 12. Let r be (13 - -1) + (-6 - -4). Suppose -r*c - 6 = -14*c. Solve -c*g + 6 = -4*g + z, -5*g - 20 = -q*z for g.
-1
Suppose 5*x + 77 = -153. Let k = x + 46. Solve -3*l + 4*u + 12 = k, l - u = -2*u + 4 for l.
4
Suppose -2*l + 6 + 0 = 0. Let p be (3 - 0 - 3) + -100. Let h = p + 103. Solve h*t + 19 = -5*d, 5*d = -2*t - l*t - 25 for d.
-2
Let x(r) = -r + 25. Let h be x(13). Let y(d) = -8*d**2 - 1. Let t be y(-1). Let s = h + t. Solve f + 4*f + 24 = z, 3*z + s*f + 18 = 0 for z.
-1
Let b(h) be the first derivative of h**4/4 + 11*h**3/3 + 3*h**2 - 12*h + 1. Suppose 40 = -17*r + 13*r. Let p be b(r). Solve p = 3*l - 2*g - 3*g, -5*l = g for l.
1
Suppose 0 = -3*n - 3*g, -n - 3 - 5 = 3*g. Solve -5*l = 2*y - 8*l + 3, -n = 4*l for y.
-3
Suppose -28 = 53*n - 187. Solve -2*g + n = -q, 3*g + 29 = 5*q + 4*g for q.
5
Let a(m) = 2 + 0 + 7*m - 5 - 8*m. Let d be a(-3). Solve -2*z + 2 = 0, 2*j + z - 3*z + 8 = d for j.
-3
Let w(g) = -g**2 - 7*g + 80. Let k be w(6). Let q be 1/3*(-2 + 8). Solve -k*m + 2 = 5*c - 0, -2*m = -4*c - q for c.
0
Let x be (2/((-8)/138))/((-6)/8). Let o = x - 42. Solve -c - 3 = 4*c - o*a, -4*c + 4*a = 0 for c.
-3
Suppose 2*y - 118 = -20. Let n = -23 + 14. Let f = y + n. Solve -4*p = -5*x + f, 5*p - x + 32 = 3 for p.
-5
Let b(p) = -5*p + 25. Let q be b(4). Let w be q + (2 - (-1 - -3)). Solve 4*n = w*o, n - o = 1 - 0 for n.
5
Let n = 7 - 3. Suppose -2*y - 8 + 28 = 0. Suppose 3*v + f = 4, n*f = v - 0 - y. Solve 3*u = -5*z - 6, v*u = -5*z - 3 - 1 for z.
0
Let h = -18 - -20. Let g(j) = j - 1. Let r(p) = 4*p - 14. Let q(b) = 3*g(b) - r(b). Let u be q(7). Solve 2*y + h*x = -u, -4*y - 11 = 5*x - 2 for y.
-1
Let j be 8/32 - 8/(96/(-117)). Solve 8 = k - 2*k + 2*y, k + j = 3*y for k.
-4
Let o be (-18)/45 + 4/10. Let v be 1 + (o - (-2 + 1)). Suppose b + 5*h - 15 = 0, -b - 16 = -5*b + v*h. Solve -5*c + 5*q + 5 = -b, 4*c + 4*q = 0 for c.
1
Let o = -64 + 20. Let k be (-22)/55 + o/(-10). Suppose 3*l = 6*l + 15, 0 = -5*v + 4*l + 65. Solve k*t - 6*t = 3*q - v, 4 = q + t for q.
1
Let g be ((-45)/(-75))/((-36)/20 + 2). Solve i - 3*c + 4 + g = 0, -4*i = -3*c + 19 for i.
-4
Suppose 0 = 2*l - 4*k + 2, 0*l = -5*l - 2*k - 5. Let u(c) = 5*c**2 + c - 1. Let n be u(l). Solve -p - n*d + 7 = 0, -5*d = 8*p - 3*p + 5 for p.
-5
Let l = -367 - -367. Solve 4*p = d + 20, l = -2*p + p + 5 for d.
0
Suppose -3*r = -2*u - 14, r - 6 = 6*r + 4*u. Let z be r/4 - 15/(-6). Solve -3*i - 11 = -2*q, z*i + q = -0*i + 1 for i.
-1
Let o(s) = -s - 59. Let l be o(9). Let p = -66 - l. Solve 0 = p*f + 3*g - 19, f - 4*g = -3*f - 12 for f.
2
Suppose 0 = -x + 2*d + 7, -5*x + 10 = -4*d - 19. Solve -x*n = -f - 24, 2*n - 3*n + 16 = -3*f for f.
-4
Suppose 47 = 5*h + g, 6*g = -2*h + 4*g + 14. Suppose 17 = h*o - 33. Solve -c = -o*z + z + 5, c - 7 = -2*z for c.
3
Let h = -7 - -10. Suppose 0 = m + 3*m - 68. Let d be (168/(-42))/((-8)/6). Solve -8 = -5*g - h*x - 1, 0 = d*g + 5*x - m for g.
-1
Suppose 0 = 34*y - 33*y - 26. Suppose -4*p - y = -3*a + p, 2*p = -4*a. Solve -2*z + z - 17 = -5*j, a*j - 2 = 2*z for j.
4
Suppose 0 = 6*x - 3*x - 33. Suppose -5*s = 3*h - 7*h - 40, 0 = -s - 3*h - x. Solve -k - s*k = -3*p + 4, -4*k + 5*p - 11 = 0 for k.
1
Suppose -163*b = -174*b + 132. Solve r + 2*s = -s + b, -r = 5*s - 20 for r.
0
Let c(f) = f**3 - 7*f**2 + 3*f + 9. Let v be c(4). Let n = 41 + v. Let x = 3 + 0. Solve -x*a + 0 = -k + 12, 0 = 3*k + a + n for k.
-3
Suppose 13*r - 60 = 3*r. Let l = 9 - 6. Suppose -l*w + 32 = -w. Solve -k - z + 4 = -r*k, -4*z = -w for k.
0
Suppose 0 = 4*l + 3 + 9, -v - 3*l = 4. Solve -n + 4*c - 10 = 0, 3*n + c - v - 4 = 0 for n.
2
Suppose 2*i + 3*t = 18 - 4, -2*t = -4*i + 12. Suppose d - i*d = -21. Solve 0*r - d = -4*r + h, 15 = 3*r - 4*h for r.
1
Suppose -9 + 55 = 23*i. Solve -c = -i, -5*u - 5*c + 3*c + 29 = 0 for u.
5
Let l be 1/3 + 3/(18/10). Suppose 0 = w + 2*m - 3 - 3, -4*w - l*m = -12. Solve 5*i = w*h + 7, h - 2 = 3*i - 6*i for i.
1
Let j be -46*4/8 + -4. Let i be ((-20)/15)/(2/j). Solve -4*m + 20 = -3*l, m = 5*l + 2*m + i for l.
-4
Let q be (36/81)/((-14)/(-63)). Solve 5*j = 2*m + 18, 0 = -q*j + 4*j + 2*m + 4 for j.
2
Suppose 2*x - 60 = 2*z, -z - 3*z = x - 5. Suppose -5*h + x = 5. Solve 4 = h*a - 9*a + s, a - s = -4 for a.
0
Let s(j) = -5*j - 18. Let g be s(-4). Solve -g*l + p - 13 = -1, -3*l = 5*p - 8 for l.
-4
Let l be (-18)/10*(-5)/6*2. Suppose -2*x - 4*q + 14 = 3*x, -l*q + 12 = 4*x. Solve -3*o + 4*w = 5, 5*w = 4*o + x*w - 6 for o.
1
Let s = 60 + -48. Let n = 3 + 1. Solve 8*v + 2*w - 26 = n*v, 0 = 4*w - s for v.
5
Let r be (-11)/(-77) - 13/(-7). Solve 4*d + 2 = -r*y, -4*y - 2 = -d + 11 for y.
-3
Suppose -18*x - 18 = -24*x. Suppose 1 = a, 0*u + a = x*u + 1. Solve -3*l - 1 - 5 = u, 3*l = 3*h for h.
-2
Let r be ((-4)/(-2))/((-2)/(-5)) + 4. Solve -m - 3*p = -r - 3, -5*m + p = 4 for m.
0
Let m = -8 - -8. Suppose 2*r + 5*u + 9 = m, 0*r - 4*r = -2*u - 18. Solve 5 = -i, -4*y + 4*i = r*i - 5 for y.
0
Let y(u) = -1 + u**2 + 17*u + 4*u - u - 15. Let r be y(-21). Solve 0 = 4*h - 3*m + 3, -3*h + 7 = r*m + 2 for h.
0
Suppose 2*v - 9 = 41. Suppose d = x + v, -5*x = -0*d + d - 43. Solve 16 = k - 5*k, -5*k = 2*u + d for u.
-4
Let j be ((-2)/3)/((-2)/6). Let d = 124 + -127. Let m be (4/d)/(6*(-12)/162). Solve 3*y = j*s - 2, -4*y + m*s + 0 = 2 for y.
-2
Let h(i) = i**3 - 51*i**2 + 186*i + 110. Let b be h(47). Suppose -2*w + 3*t + 6 = -1, -w = t - 1. Solve 0 = 2*k + v - 1 + w, k = 5*v + b for k.
1
Let v(t) = -7*t - 14. Let u(s) = -3*s - 7. Let n(b) = 5*u(b) - 2*v(b). Let j be n(-11). Let a = 0 - -2. Solve j = f, i + 0*i - a*f + 10 = 0 for i.
-2
Let h be (-2)/((-5 + 0)/30). Let i be (28/(-21))/((-2)/h). Solve -3*b - k = -10, 2*b = -5*k + 32 - i for b.
2
Suppose 3 = -5*u + 23. Let x = -1 - -6. Solve -t - 3*t = y + 3, -12 = x*t + u*y for t.
0
Let v be (10/(-6) - (-312)/(-18))*-1. Let s(a) = 3*a - 2. Let h be s(2). Let n be (-2)/h*10/(-1). Solve -2*o = y - 7*o + 21, y + n*o - v = 0 for y.
-1
Suppose -f - 43 = 2*d - 168, 0 = 4*d - f - 253. Let i = d - 53. Solve -4*l + 3*j + i = -7, -j + 11 = 2*l for l.
5
Let b = -25 - -25. Let w be -2 + 7 + -2 - b. Let x = 24 - 20. Solve v + 2*g - x = -5, -w = -3*g for v.
-3
Suppose 0 = -p + o - 2*o + 12, 0 = -p - 5*o + 12. Suppose -i = p*i. Solve 0*k + 3*k + 2*x = 21, -5*k - 4*x + 37 = i for k.
5
Let d(l) = l + 11. Let i be d(-9). Suppose -5*o + 2*c + i*c + 2 = 0, -c = -o. Solve -3*b + z + 7 = -5*b, -2*b = -o*z + 10 for b.
-4
Let x be ((-4)/5)/(14/5 - 3). Suppose 0 = b + 1 - 3, -5*f - 4*b + 38 = 0. Suppose -x*o = f - 14. Solve -4*c - 3*d = 1, -o*c + 2*d - 5*d + 1 = 0 for c.
-1
Suppose -5*c - 5*r = -7 - 33, -4*c + 2*r + 38 = 0. Solve 0 = 5*w - 3*b + 30, -w = -5*b + c + 19 for w.
-3
Let w be 725/261 - (-10)/45. Solve -2*l - w = q - 1, -4*l - 16 = -q for l.
-3
Let i = 467 - 459. Solve 0 = 3*p - i*p + 2*a - 6, 3*a - 9 = p for p.
0
Suppose 11 - 19 = -4*y. Suppose 4*b + 4*p - 40 = 0, -22 = -y*b - 6*p + 2*p. Solve 3*z = b, -4*k + 3*k - 2*z + 2 = 0 for k.
-4
Suppose 15*u = 17*u + w - 18, -3*w = -4*u + 16. Solve f = 5*t - u, -3*t = -f + 1 - 6 for t.
1
Let k(h) = -h**2 - 11*h + 18. Let g(i) = i**3 - 6*i**2 + 5*i. Let p be g(3). Let w be k(p). Solve -5*r + 0*o = 3*o + 7, o = 2*r - w