 Solve u = j, -j = -4*g + j for g.
0
Let x = 726 - 722. Solve 0 = 2*n - 5*j - 24, -2*n + j + 4 = -x for n.
2
Let t be 8/((-40)/(-15))*10/15. Solve 4*h - 2*k + 12 = 0, 2*h - t = -0*h + 3*k for h.
-5
Let z be 1/2*(12 + -6). Let j(y) = -2*y**2 + 3*y - 5. Let t be j(5). Let n be (t/(-6))/((-8)/(-12)). Solve -2*o - b = -z*b - n, 2*o - 8 = b for o.
3
Suppose -3*i + 15 = 2*i. Suppose i*l + 6 = 0, 3*p + l + 26 = 5*p. Solve 5*k - 3*k = -5*q + 6, 3*q = 4*k - p for q.
0
Let f(w) = 9*w**2 - 2*w + 3. Let o be f(1). Let d be (-2)/3*(-45)/o. Suppose -x = -4 + 2. Solve 6 = -4*v - b, -d*v - 2*v - x*b = 6 for v.
-2
Let m(n) = n**3 - 2*n**2 - 5. Let y be m(3). Let v = -9 + 93. Suppose 0*t = -3*t + v. Solve 5*c - 4 = 2*j - t, y*j = -4*c - 8 for j.
2
Suppose -13*z = -5*y - 18*z, z = -3. Solve 0 = c + 2*v + 4, y - 5 = 2*c + v for c.
0
Suppose -3 = -3*g - 2*r, -5*r = g - 4*r. Suppose -9 + 14 = -5*z. Let c(n) = 7*n**2 + n - 1. Let p be c(z). Solve -3*w = -g*j, -5*w - 3 = -3*j + p for w.
-4
Let g = 207 + -205. Solve g*w - 4*y = -14, -9 + 2 = 3*w + y for w.
-3
Suppose 2*x + x + 6 = 3*o, 0 = o - 2*x - 4. Suppose o = 4*q - 11 - 5. Solve 3*j + 5*z - 9 = 0, -4*j + 11 = -q*z - 1 for j.
3
Let b(c) = -5*c - 2*c - 15 - c + 10*c. Let r be b(9). Solve -r*l = -2*h - 10, 0 = -8*l + 4*l + 16 for h.
1
Suppose 0 = -8*p + 82 - 2. Solve -3*r - b - p = 0, -3*b = -r - b - 1 for r.
-3
Suppose 0 = 2*u - 6, -8 + 18 = -g + 5*u. Solve h + 0*h - 8 = -3*z, 2*h = 5*z + g for h.
5
Let v(z) = -2*z + 13. Let w(u) = -u + 6. Let h(p) = -2*v(p) + 5*w(p). Let t be h(0). Solve -t*r + 3*m = 7*m + 20, 0 = -2*m - 2 for r.
-4
Suppose -30*f - 4*f = -850. Solve 0 = 4*p + u + 20, -f = -p + 6*p - 2*u for p.
-5
Suppose 0 = -3*u + 2*u - 36. Let q = u - -44. Solve -c + 6 = 3*c - 2*y, q = 3*c - 5*y for c.
1
Let x be ((-5)/(-20)*-2)/((-2)/20). Solve -2*o = -3*s + 5, -15 = -x*o - s + 3*s for o.
5
Let s = -555 + 837. Suppose 0*i - 16 = -i + m, -2*i - 5*m + 46 = 0. Let v be (-4)/i + s/54. Solve 2*k + v*h + 16 = 0, 3*k + k - 3*h = -6 for k.
-3
Let i(g) = -g**2 + 10*g - 9. Let h be i(7). Let l = h - 5. Solve -2*m - n - 1 - l = 0, 4*n - 4 = 4*m for m.
-3
Let z(u) be the first derivative of 1/3*u**3 - 6 + u + 1/2*u**2. Let w be z(3). Solve -5*x = -5*b + 3*b - w, -19 = 5*b + x for b.
-4
Let j(y) = 35*y - 2. Let b be j(-2). Let u = b + 74. Solve 4*l = -u*h + 22, 4*l - 8*h + 3*h = -13 for l.
3
Suppose -5*a + 4 = 7*q - 4*q, 0 = -q + 4*a + 7. Solve -2*m = r - q*r + 12, 4*m = 5*r - 29 for m.
-1
Suppose -5*y + 10 = -5*m, -4*y + 10 = -7*m + 2*m. Let k be -2 + 1 + 4 + y. Suppose 8 = 3*g + 4*q, 3*g = -2*q + 9 + 1. Solve p - g*p = 3*x - k, x = p - 5 for p.
3
Suppose 6*h - 5*t - 10 = 2*h, 0 = -t - 2. Solve -2*s = 4, 3*s - 9 = 3*j - h*s for j.
-5
Let c = 202 + -191. Solve 4*n = p + 30 - c, 0 = -5*n + 25 for p.
1
Let p be (-8)/6*(5 + (-23)/4). Solve 4*y = 2*z + p + 3, 3*z = 2*y - 2 for y.
1
Suppose 11*g = 14*g - 18. Solve -g*z + z - 5*f - 10 = 0, -z = -f + 6 for z.
-4
Let x = 850 - 846. Solve 0 = x*d + 4*w - 12, 0 = -d + 7*w - 4*w - 5 for d.
1
Let o be (14/(-49))/((-4)/28) - -1. Solve 4*t - 2 = -2*b, -4 = 3*b + t + o for b.
-3
Suppose r + 45 = -4*r. Let i = r + 12. Let u be i + -1 + (4 - 3). Solve -3*f + u*a + 7 = -14, 4*a + 31 = 5*f for f.
3
Let w = -135 + 160. Solve -3*i - 2*t = 0, 5*t + w = 5*i - 0*i for i.
2
Let g = 16 + -4. Suppose z - 3*z + 4 = 0. Suppose -6 = -4*l - 5*h, -4*h - 4 = 3*l - z*l. Solve l*f - 12 - 6 = q, q + 2*f = g for q.
2
Let p(f) = f**3 + 6*f**2 + 8*f + 20. Let y be p(-5). Solve -5*b - 17 = -3*b + y*g, -3*b - 2*g + 2 = 0 for b.
4
Let n(j) = -32*j + 192. Let l be n(6). Solve 4*s - s = -3*x - 3, l = -3*x - 4*s for x.
-4
Let o = 413 + -410. Solve -3*r = 5*d + 1, 2*r + d = -o*d for r.
-2
Let k = -1 - 5. Let h be (36/(-12))/(k/4). Solve -2*i - h = 4*r, 3*r + 3 = -3*i - 2*r for i.
-1
Suppose -54*r + 484 = -650. Solve 5*a + r = 2*l, -5*l + l + 2*a + 2 = 0 for l.
-2
Let v be 6 - (4 + -4 + 2). Solve 0 = 3*w + v*s - 0*s + 9, 5*w - 17 = 4*s for w.
1
Let t be 2/((-2 + 1)*-1). Suppose h = 2*w - 8, 4*w - 31 = 5*h - 3. Suppose -w*l - 2*l = -20, -2*b - 2 = -t*l. Solve -3 = -5*i - 28, -b*i = 2*z + 12 for z.
4
Let k(z) be the first derivative of 5*z**2/2 - 7*z + 2. Let v be k(2). Solve 5*f = -3*h - 16, -4*h = -0*f + 3*f + v for f.
-5
Suppose 73 = 24*q + 25. Solve -q*z = 4*i + 14, -5*z + 4*z - 12 = 3*i for z.
3
Suppose -37 = 11*w - 70. Solve -5*i + w*l = -37, 3*i + i - 2*l = 28 for i.
5
Let t(f) = f**3 - 16*f**2 - 23*f + 106. Let w be t(17). Let q(u) = u + 2*u - 2*u. Let j be q(w). Solve j*n = -5*p - 11, 0 = -2*n + 4*n + 4*p + 4 for n.
-4
Suppose 11*i = -2*y + 12*i + 12, -6 = -y + 2*i. Solve -b + y - 7 = 3*u, -5*u + 5*b = -25 for u.
1
Let o be 6*(14/(-4))/(-7). Suppose 0 = -o*s, -w + 5*w = 3*s + 20. Solve -w*q + 4*d = -26, q = 3*d + 5 + 9 for q.
2
Suppose -49*h + 54*h - 5*o - 30 = 0, -3 = -5*h - 4*o. Solve 2*s + 0*s = 0, h*p - 5*s = -3 for p.
-1
Let b(n) = 30 + 4*n + 6*n - n - 4*n. Let p be b(-6). Let k(c) = -c**3 - 4*c**2 + 5*c + 2. Let o be k(-5). Solve 4*i = -o*r - 4, p*r - 6 = 4*i + r for i.
-2
Let f(o) = -o**2 + 9*o + 26. Let r be f(14). Let b = r + 46. Solve 4*w = -b*h - h + 6, -w - 5*h = 7 for w.
3
Let j = 115 - 113. Solve 3*o - d - j*d = 0, -4 = -3*o + 4*d for o.
-4
Suppose 5*a = 5 + 5. Let v(n) = 2*n**2 + 4*n**2 + 9*n + n**3 + 4*n**a - 9 + n**2. Let s be v(-10). Solve 2*y - s = -o, 0*o - 4*o + 4*y + 16 = 0 for o.
3
Let t = -9 + 12. Let r be (-1)/(-2) + (-6)/(-4). Suppose r*a = -t*a + 25. Solve -y - 9 = -4*h, a*y = 6*h - h - 15 for y.
-1
Suppose -5*m - 10 = 0, 3*c - m = 5*c. Let o be 1/2*19/(19/(-6)). Let x be (-2)/(-4)*-2*(o + 0). Solve -x*a + 5*v - c = 0, 0*a - 2*v = -a for a.
-2
Suppose 2*o = 6, -i + 3*o = -9 + 23. Let q be (i/(-10))/(2/(-44)). Let l = q + 11. Solve 4*c - 11 = 5*u - 2, l = -2*c - 5*u - 33 for c.
-4
Let a = -1068 + 1071. Solve -5*h = -3*h - 5*x + 16, -4*h = a*x + 6 for h.
-3
Let i = -728 + 730. Solve -i*r - 3*v = 2*r + 1, 0 = -2*r + v - 3 for r.
-1
Let i be (0/(-5))/(-7 + 3 - -2). Solve -5*w + 38 = -2*q + 5, -2*q + 4*w - 28 = i for q.
-4
Let d = -773 - -777. Solve j + d = -3*j + 2*q, -2*j + 4 = -4*q for j.
-2
Suppose -1 + 61 = 4*t. Suppose 1 - 11 = 3*n - 5*m, 2*n = 5*m - t. Suppose 80 = 3*k + 2*k. Solve p - n = -h, -4*h - 2*p + k = -0*h for h.
3
Let k be ((-63)/14)/(-1 - 1/(-2)). Solve -2*w - 3*m = k, 0 = -w - 0*w - 4*m - 12 for w.
0
Suppose 2*a - 6*a + 44 = 0. Let h = -7 + a. Suppose -3*v = -5*d - v + 7, 4*v = 4*d + h. Solve 0 = -3*l + d*z - 3, -6 = l - 0*l + 4*z for l.
-2
Suppose -6*p = -10*p + 24. Suppose 0 = p*l + 9 - 33. Solve -4*b = -4*j - j + l, 0 = 2*b + 2 for j.
0
Let u be -3 + (-1 - 0)/(9/99). Let s be u/(-8) + (-4)/(-16). Solve 0 = 3*i - 6*i + 5*j + 3, 2 = s*i + 5*j for i.
1
Suppose 0 = 14*g - 356 - 50. Let o(t) = -t + 8. Let b be o(4). Suppose k = -5*w - 2 + g, 4*k + 12 = b*w. Solve 3*s + 2*f = -2, w*s - 7 = 4*f + 19 for s.
2
Let g be 2/(-1) - 2*-2. Let u(w) = 3*w + 6. Let h be u(-2). Suppose -5*x - k = -x - 69, h = x - 3*k - 27. Solve 7 = 5*z + g, 0 = 4*i + 2*z + x for i.
-5
Let w = -193 - -197. Let l be ((-2)/(-2))/(2/(-6)). Let j be (l/2)/((-1)/2). Solve w*r = 2*q + 20, -q = r + j*r - 8 for r.
3
Let h = -8 + 21. Let i = h - 12. Suppose -i - 11 = -4*r. Solve 0 = 4*q - 5*g - 16, 7*g - 2*g - 12 = -r*q for q.
4
Suppose -10 - 17 = -3*h. Suppose 0*x + 3*x - h = 0. Solve 2*o + i = 2, 5*o + 0*o = -x*i + 7 for o.
-1
Let a = 1296 + -1290. Solve -2*j - 5*t = 2*j - 11, -2*t + a = 0 for j.
-1
Let p(n) = -104*n**3 + 2*n**2 + 3*n + 2. Let k be p(-1). Let r = 105 - k. Solve j + b - 1 = 0, 3*j - 2*b - 1 - 17 = r for j.
4
Let s be 14/(-4)*6*24/(-126). Solve 0 = -5*b + 3*b - 10, -s*t - 4*b = 0 for t.
5
Let q be -1*3/(21/(-14)). Solve p = v - 5, 3*p - q = v - 9 for v.
4
Let o(y) = y**2 + 22*y - 17. Let q be o(-23). Suppose q = 3*l - 5*l, -3*u + 57 = -3*l. Solve 0 = -4*b - u, -5*b = 2*r - 10*b - 28 for r.
4
Suppose 4*x - 10*x = -12. Solve -4*m + 5*a = -30, -a + 13 = m + x*m for m.
5
Let q(z) be the first derivative of -z**3/3 - 5*z**2 - z + 1. Let m be q(-9). Let g be 8/(-28) + (-44)/(-7). Solve -v - 2*r = -g + 4, r = 4*v - m for v.
2
Suppose 4*v = -2*s + 26, 18 = 5*v - 2. Solve 20 = -s*j - m, -m = -5*j + m - 20 for j.
-4
Suppose -3*q - 5 = -4*l, 2*l + 25 = 7*l. Let o(u) = -6*u + 4*u - 7 + 4. Let d be o(-3)