5*a - 12 for a.
0
Suppose -5*j + 4*n - 5*n + 57 = 0, -5*j = 5*n - 45. Solve -5*b - j = -3*l + l, -l - 5*b - 9 = 0 for l.
1
Suppose 0 = -0*l + 13*l - 195. Suppose 5*u - l = b, 5*b - 3*u - 9 = 4. Solve 3*c = b*c - 3*p + 10, 5*p = 3*c + 15 for c.
-5
Let v = -41 - -43. Suppose 4 = 2*h + v. Solve -h + 6 = -5*b + 4*m, 2*m = 4*b + 10 for b.
-5
Let z be (33/9)/(10/60). Suppose 3*g + 10 = z. Solve g*h + 9 = -v + 6*v, -2 = -3*v - h for v.
1
Suppose 3*v + v = 8. Let m be 236/30 + -4 + (-620)/(-150). Solve 3*d - 2*d = -5*g + m, 2*g = -v*d for g.
2
Suppose 4*h - 9 = n + 16, 15 = 2*h - n. Solve -h*c - 4 = -2*v + 3, 0 = -c + v + 1 for c.
-3
Let r(f) be the first derivative of -1 + 12*f - 3/2*f**2. Let c be r(4). Solve -4*m = 4*a - 7 + 15, -3*m + a + 10 = c for m.
2
Let g(k) = 5*k**2 - 66*k - 51. Let a be g(14). Solve -24 = n + 2*n - a*j, 3*j = 2*n + 15 for n.
-3
Let c be ((24/(-18))/((-6)/27))/2. Solve -4*h = c*a + 5, 0 = 5*h - a - 3*a + 14 for h.
-2
Suppose -2*j = -d - 1, -d = -5*j + d + 3. Let s be 1/(-2)*j*-4. Suppose 2*o - 10 + s = -2*n, -8 = 2*n - 2*o. Solve -2 = -5*k + 4*w, n = -4*k - w + 4 + 6 for k.
2
Suppose 3*u - 4*p = -3*p + 30, -5*u + 2*p = -50. Let v be (-4)/(-10) + (-44)/110. Solve v*d = y + 5*d + 25, -y - 2*d - u = 0 for y.
0
Let m be 14/70 - 26/5. Let x = 5 + m. Suppose -5*j = -5*p - 30, x = 4*j - 7*j - 3*p. Solve -3*t + q + 3 = -2*q, -5*q - j = -4*t for t.
2
Let p(u) = u**3 + 5*u**2 + 4*u + 3. Let w be p(-3). Let f be 33/w - 2 - 2/(-6). Solve -2*n = -6, f + 24 = 5*s + 2*n for s.
4
Let d = 28 + -28. Let t be -3*2/12*d. Suppose 4*m = -t + 8. Solve -2*z - 5*g = -28, -2*z - 12 = -m*g - 3*g for z.
4
Let x = 358 - 146. Let h be 8/60 + x/(-15). Let b = h + 20. Solve 2*l + 4*p - b = 0, 2*p + 2*p = 2*l + 26 for l.
-5
Let w be ((-1)/1)/(3/(-6)). Suppose -5*i - 2*h + 1 = h, -4*i - w*h = -2. Let s be i/11 - (-14)/(-77). Solve 2*x = -2*u - 6, 1 = -s*x - x - 3*u for x.
-4
Let i be 0*-1*(2 + -1). Suppose 2*s - 4*n = -0*n + 24, -3*s + 4*n + 26 = i. Solve 0 = s*r + j + 1, -4*r + 7*r + 3*j + 9 = 0 for r.
2
Let l(f) = 2*f**3 + 79*f**2 + 43*f + 161. Let o be l(-39). Solve -5*m + o*a + 35 = 0, a + a - 10 = -4*m for m.
4
Suppose -29*v + 165 = -67. Solve -3*y - 16 = -z, 3*z + 3*y - v = -2*z for z.
4
Let v be ((-15)/(-10))/(3/6). Solve 0 = v*x - 3, -3 = 4*d - d - 3*x for d.
0
Let w be (-16)/(-3) + 4/(-12) - 3. Suppose -y - 9 + 4 = -h, 3*y + 15 = -w*h. Solve -5*z - 25 = -2*f - 0*f, 5*z + 3*f = h for z.
-3
Let d(v) = 6*v - 2. Let t be d(2). Suppose 5*w - 5*f = 3 + 7, -3*f - 12 = -5*w. Solve 3*h = -4*z - t - 13, -w*z - 6 = 0 for h.
-5
Suppose 5*s = 16 - 6. Let m be (2/1)/((-1)/(-7)). Let v = 4 - 2. Solve 5*j = -v*t - 19, t = -s*t + j + m for t.
3
Let o(q) = -3*q - 21. Let z be o(-15). Let k be -1*2 - (-48)/z. Solve k = -3*n - 3, 3*n = -5*g - 0*g + 12 for g.
3
Suppose -5*u = -p - 75, 26*u - p = 24*u + 30. Solve 5*g = -5*m - 0*g + u, 3*g + 12 = 4*m for m.
3
Suppose 8*i + 52 = 10*i. Let z = -24 + i. Solve -4*n + 4 = -a, 3*n - z*a - 6 = 2 for n.
0
Let x = 4 + -2. Let t(i) = -i**3 + 12*i**2 - 13*i + 24. Let m be t(11). Solve 5*w - 2*w = m*y + 7, y = -x*w for y.
-2
Let h be (528/(-60))/((-4)/10) - 4. Solve 2*b + h = -3*s, 0 = -b - 4*s - s - 23 for b.
-3
Let t be (9 + 568/(-56))/((-4)/14). Suppose -2*x = -4*x - g + 10, -3*x - 5*g = -8. Let w = x + -3. Solve -y = -t*u + 2*u + 3, 9 = -3*u - w*y for u.
0
Let i = 86 + -88. Let t be 4 + 10 + i/(2/3). Solve -5*k + t = -k - 3*o, -3*k + 12 = -o for k.
5
Suppose o - 70 = -65. Let c(g) = -8*g + 42. Let l be c(o). Solve 3*d + v - 11 = 0, -4*d - l*v + 18 = d for d.
4
Let x(z) = 2 - 36*z + 70*z - 37*z + z**2. Let t be x(3). Solve 0 = 5*p - 20, 5 = -2*b - t*p + 19 for b.
3
Let t = 601 - 596. Solve -5*r - t = 5*g, 7 = -3*r - 8 for g.
4
Let q = 627 - 622. Solve -v + q = a, 2*a - 7 = 7*a - 3*v for a.
1
Let h be 5 - (0/(-3) + 2). Suppose h*n + 7 = 3*u + 4*n, 3*n = -4*u + 1. Solve -u*o - 4*t = -8*t + 28, -3*o - t = 9 for o.
-4
Suppose q = 18 - 13. Suppose 2*j + 22 = 4*a - 3*j, 4*j = q*a - 23. Solve 3*u - 5 = -2*c + c, -a*c + 3*u = 21 for c.
-4
Let s = 92 - 87. Suppose 2*c = -3*c + s*z + 35, 3*c = 5*z + 31. Solve 0 = -2*h - v + 6, c*h + 4*v = -0*h for h.
4
Let b(a) = a**3 - 6*a**2 + 5*a - 20. Let u be b(6). Solve -5*g + u = -5*z, -3*z + g - 4 = -g for z.
0
Suppose -3 = 3*x - 5*t, -x + 4*t = -5*x - 36. Let r(m) = 5*m - 4*m + 4 - 3 + 7. Let h be r(x). Solve 4*s + q - 14 - 3 = 0, 0 = -h*s + 2*q + 6 for s.
4
Let w = -194 - -183. Let z(j) = -j**3 + 4*j**2 - j - 1. Let u be z(4). Let l = u - w. Solve 0*y = 3*c + y + 3, -l = -3*c - 4*y for c.
-2
Let j = -116 - -119. Suppose 7*a = 5*a - j*a. Solve -2*s - 10 = o, 5*o = -3*s - a*o - 29 for s.
-3
Let p = 144 + -72. Suppose 4*x + 4 - p = 0. Suppose 3*i - l = 23, 0 = -i - l - l + x. Solve -3 = -2*z - 4*o - i, 2*o = 5*z - 9 for z.
1
Let p(g) = 2*g + 80. Let w be p(-38). Solve b + 3*m - m = 2, w = -3*b + 4*m for b.
0
Let m(k) = -k + 36. Let n be m(34). Solve i = -4*g + n, 5*g = -0*g for i.
2
Suppose 28 = 3*c + 18*d - 20*d, 5*c = d + 56. Solve 5*m - 3*t - 26 = 0, -4*m - 2*t = -0*m - c for m.
4
Let a(z) = 71*z - 495. Let q be a(7). Solve b - 9 = -q*y - 11, 4*b = 0 for y.
-1
Let h be 0/(3/1 - (-3 + 5)). Solve h = -o + 5*g - 8, g + 0 = -o + 4 for o.
2
Let o be (-6 + 2)/(-2) - (4 + -22). Let q be 19/2 + (-30)/o. Solve 3*v - f = 6, -4*f - q = -3*v - 2 for v.
2
Let w = -1 - -5. Let z be w/6*39/26. Let y be z + (2 - (3 + -3)). Solve 2*b + 3 = -4*u - 9, b + y*u + 9 = 0 for b.
0
Suppose 26 = -14*q - 30. Let o be -1 + 5 + -4 + q + 13. Solve r = -4*f - 12, -5*f - 4*r - o = -2*f for f.
-3
Let q(t) = t**2 - 32*t + 140. Let d be q(27). Solve -d*w - 3 = 2, z - w = 0 for z.
-1
Let z(f) = 2*f - 4. Let a be (-6)/(4/(-10) + 22/(-20)). Let s be z(a). Let p = 5 + 0. Solve 5*c = s*y - 0*c + 11, y + p*c + 9 = 0 for y.
-4
Let c = 780 - 778. Solve 3*z = 8*z + 2*n + 27, -2*z - c*n = 12 for z.
-5
Suppose -8*d = -7*d - 4. Suppose 5*p - 59 + 4 = 0. Solve 5*t = -2*y + 26, -y - p - 2 = -d*t for t.
4
Let i(a) = 3*a - 5. Let d be i(5). Let s(o) = -o - 6. Let v be s(-2). Let y(j) = -j**2 - 3*j + 9. Let x be y(v). Solve -2*b + 6*b = 3*q + d, q + x = 3*b for q.
-2
Let c = 35 - 0. Suppose 29*y = c*y - 174. Solve -y = 5*a + 3*d, 4*a = d - 2 - 11 for a.
-4
Suppose 18*n - 21*n + 6 = 5*u, -3*n = u + 6. Suppose 0 = -3*f - 5*l + 8, 2 + 0 = -2*f + 4*l. Let b = f - 1. Solve 0*r + i - 11 = -u*r, r + 4*i + 11 = b for r.
5
Suppose 3*y + 5*b = 75, 2*y + 0*y - b - 50 = 0. Solve 4*m + 3 = -h - 2, 5*h = -5*m - y for m.
0
Let k be (-2)/8 - (-105)/(-28). Let h be 7 + 1 + 0 + k. Suppose 3 - 9 = -2*l. Solve 9 = -l*x + 3*a, 3*a + h + 2 = 0 for x.
-5
Let j(y) = 2*y - 7. Let g be j(6). Let m = 7 + -7. Suppose -g*c + c - 20 = m, -4*a + 17 = -c. Solve -2 = -4*n + 2*u, -a*u + 3 = 3*n - 3 for n.
1
Let w(n) = -n**2 - 20*n - 48. Let d be w(-17). Let c = -9 - -13. Let g(j) = j + 2. Let x be g(0). Solve 37 = -d*z - 5*b, c*z - x*b + 1 = -5 for z.
-4
Let i(p) = p**3 + 9*p**2 + 9*p + 5. Let a be i(-7). Let m be 3*(a/(-28))/((-3)/7). Solve -2*z + 0*z - 25 = -3*j, -3*z = j + m for z.
-5
Let j(i) = -6*i**2 + 10 - 3 + 7*i**2 - 8*i. Let n be j(7). Suppose -p - 4 = -n*c + c, -4*c - 3*p = 11. Solve x = 4*h - c - 10, -5*x - 25 = -5*h for h.
2
Let z = -59 + 99. Let c = z - 18. Solve -3*h + 29 = -5*x, -4*x + 0*h = -2*h + c for x.
-4
Let t(r) = 0 + 10*r - 3 - 9*r. Let v be t(5). Let w(q) = -q**3 + 6*q**2 - 3*q - 7. Let m be w(5). Solve 0 = 2*u + 2*c - v, -4*u - u = m*c - 9 for u.
3
Let o = 30 - 10. Suppose 0 = 214*x - 232*x + 72. Solve -o = x*g, 2*g + 22 = 3*s - 6*s for s.
-4
Let m(b) = 2*b**2 - 24*b - 17. Let i be m(16). Let l be (-3)/(2/(-3 + i/(-9))). Solve -g - 5*t - l = 0, -4*t = 5*g - 7*t - 25 for g.
2
Let o(d) = -2*d**3 - 20*d**2 + 19*d - 29. Let m be o(-11). Solve 4*y + 16 = -2*g, 16 = 14*g - 18*g - m*y for g.
0
Let i be 1 + (-4)/(5/(-3 + -2)). Solve m = b + 3, -m - b = -i*b - 9 for m.
1
Let m(d) = -d**2 + 6*d + 10. Let v be m(7). Suppose 0*a - 52 = -4*b + 3*a, v*a + 62 = 5*b. Let h = b - 3. Solve w - 13 = -5*o - w, 0 = 2*o - w - h for o.
3
Let j be (6 - 1) + -1 - (-60 - 1). Let w = -60 + j. Let h(a) = a - 1. Let r be h(3). Solve r*y + 15 = -w*u, -2*u - 3*u + 3*y - 15 = 0 for u.
-3
Let p(j) = j - 2*j**2 - 124 + 124 + j**3. Suppose -8*k + 4*k + 4 = 0. Let b be p(k). Solve -q = 