- h - 2 = 0, 3*l - 4*l - 4 = 2*h for l.
0
Let d(o) = -18*o - 212. Let s be d(-12). Solve -1 = -2*r - y - 0, 0 = s*r - 5*y + 5 for r.
0
Suppose -565 = -20*o + 15. Solve 3*h + o = -0*d + 5*d, -h = 4*d - 13 for h.
-3
Suppose 10 = -s + 3*s. Let c(a) = a**2 + a + 4. Let p be c(s). Suppose 6*i - 11*i = -15. Solve 0 = 3*z + 3*r - 24, -6*z + z - i*r = -p for z.
5
Suppose 496*g + 76 = 515*g. Let h be (3/(-3))/(1/(-5)). Suppose -h*j + 3*j = 0. Solve -5*z + 15 = -j*m + 5*m, m = g*z - 2 for m.
2
Let y = -1080 - -1081. Solve 3*r = 4*w - 10, -2*r + 2*w - 5 = y for r.
-2
Let l be 9/((-45)/2) + (-56)/10. Let i(h) = h**2 + 5*h + 2. Let g be i(l). Solve -r + g = r, -13 = -5*y + 3*r for y.
5
Let p(d) = -14*d + 59. Let y be p(4). Solve 3*c + 1 + 4 = -2*m, y*c + 19 = 5*m for m.
2
Let i = 5 - 1. Let u = -21 + 32. Suppose -u*h + 1 + 21 = 0. Solve 3*c + h*c + 7 = -2*x, -i*x + c = 3 for x.
-1
Suppose -635*y - 6 = -636*y. Solve -5*w + z - 2*z + y = 0, -w = z + 2 for w.
2
Let h = 1789 + -1786. Solve -25 = -3*g + 7*x - 11*x, -21 = -h*g - 3*x for g.
3
Let v(z) = z + 13. Let m be v(-12). Let a be m*12*(-2)/(-6). Solve a*n + 8 = -4*q, 5*q + 2*n = 7*n + 10 for q.
0
Let v(x) = 38*x**3 - 80*x**3 + 0*x + x**2 + x + 39*x**3. Let g be (-4 - -2) + -1 - -2. Let a be v(g). Solve -a*m + 4 = 4*c, 2*m - 5*c + 0*c = -28 for m.
-4
Let z = -115 - -117. Solve u + 2 = 4*f - z*u, 5*u = -2*f - 12 for f.
-1
Suppose 9*n + 162 = 15*n. Suppose -z + n = 25. Let j be 1/4 - (-69)/12. Solve 8 = -4*q + z*y - j*y, 0 = -3*q + 4*y + 15 for q.
1
Suppose 4*u - 24 = 8. Let n = -3 + u. Suppose 4*y = -n*q + 41, y = 5*q + 2*y - 29. Solve -2*o + r - 20 = 3*o, -3*r = -q*o - 30 for o.
-3
Let p = 1814 - 1798. Solve d = 2*d + g - 7, 4*g = p for d.
3
Suppose -3*p + 5*i - 9 = 0, -74*p - 2*i = -73*p - 8. Solve 3*g - 5*s = 6 - 41, -p*g = 4*s - 6 for g.
-5
Let t(k) = -17*k - 29. Let d be t(-2). Solve -7 = w - 2*x, d*w + 0*w + x + 24 = 0 for w.
-5
Suppose 4*z = z + 36. Let p = z - 7. Let b(y) = y**2 + 14*y + 26. Let n be b(-12). Solve 11 = -n*t - 4*i + 5*i, t - 22 = -p*i for t.
-3
Let k be 2/3 - (-8)/6. Suppose 0 = 2*j - t - 1 + 4, -6 = j - 2*t. Suppose j = h - k. Solve h*g - 20 = 6*g, 4*n + 40 = -4*g for n.
-5
Suppose 3*b + 16 = 5*d, -18 = -3*d - 4*b + 3*b. Solve d*k = -3*l - 5 - 29, 12 = -4*l for k.
-5
Let x be -6 + 1 + (-6)/6. Let f be ((-36)/(-6))/x - (1 + -5). Solve 4*g = -3*d - 20, 3*g - 4*d + 2 = -f*d for g.
-2
Suppose a + a = 12. Let v = 35 - 35. Suppose v = -8*s + 9*s - 1. Solve 4*t + 10 = 2*k, -4*t - s = -5*k + a*k for k.
3
Let f(x) = -4*x**2 - 88*x - 3. Let t(j) = 2*j**2 + 44*j + 1. Let p(v) = -2*f(v) - 5*t(v). Let l be p(-22). Solve 0*d = -3*i - 2*d - l, -i + 7 = -3*d for i.
1
Suppose 0 = 3*i + 3, -3*z + 2*i = -i - 18. Let o = 14 + -11. Solve o*s = -4*w - 15 - 4, 5*w + 25 = -z*s for w.
-4
Let i = 8 - 12. Let o(b) be the third derivative of -b**4/12 - 2*b**3/3 - 9*b**2. Let x be o(i). Solve x*n - 2 + 4 = -2*d, 16 = -5*n + 2*d for n.
-2
Let z be (-49)/21 - 8/12. Let f be (z*5/10 - -2)*20. Solve 0*t = -2*t + 5*u + 4, -5*t - u + f = 0 for t.
2
Suppose -8*q - 89 = -121. Solve -3*a + 4*r = -4 + 9, 2*a + 10 = -q*r for a.
-3
Let z = 7 + -3. Let c = z + 0. Let p be (-2)/8 + 111/12. Solve 2*i + t = 6, -i - c*t + 8 = -p for i.
1
Suppose -5*z - 30 + 10 = -5*a, -2*z - 3*a = 28. Let j = z + 13. Suppose -5*r - 9 = -3*q, 2 - 5 = -q + j*r. Solve 4*b - 5 = -5*k - 29, -q*b = 2*k + 11 for b.
-1
Let g = 2207 + -2204. Suppose -3*y - 6 = 0, -5*y + 15 - 50 = -5*p. Solve 0*s + 2*s - 2 = f, 0 = g*s + p*f - 16 for s.
2
Let u(s) = -s + 7. Let z be u(13). Let b = z - -11. Suppose -3*o - 2*y = -8, y + 0*y = -5*o + 18. Solve -b*v - a + o = 0, v + 4*a = 2*v + 16 for v.
0
Suppose -10*s + 8*s + 4 = 0. Suppose 2*v - 8 = 2*n - 44, 4*n - s*v = 72. Solve -6 = 3*a, -2*a - 3*a - n = -2*y for y.
4
Let y be -4 + -21*(-10)/15. Suppose u = -u + 2*p + y, u + 5*p - 5 = 0. Solve 0*g = u*d - g + 20, 0 = 5*d + 2*g + 35 for d.
-5
Let o(x) = 4*x**2 - 12*x + 3. Let t be o(4). Suppose c + t = 40. Solve -6 = 2*b - 4*k - 4, -3*b = 3*k + c for b.
-5
Let g(p) = -6*p - 387. Let b be g(-65). Solve -b*y = -3*j + 11 - 20, 2*j - 2 = 0 for y.
4
Let b = -37 - -57. Suppose -b*o = -7*o. Solve o = -x - 4*x - p - 25, 4*x = p - 20 for x.
-5
Let l = 197 - 137. Let o = 64 - l. Solve -2*c = o, 4 = 3*p - 5*c + 3*c for p.
0
Suppose 16*d - 14 = 50. Solve 0 = -2*x + d*r - 6, 4*x + 0*r = 3*r + 8 for x.
5
Suppose 0 = 59*m - 10*m - 196. Solve -2*k - 2 = 4*x, -5*x - k = m*k + 15 for x.
2
Suppose -2*b - 3*x - 47 = -3, 0 = 3*b + 4*x + 68. Let q = -40 - b. Let a = q + 14. Solve 5*m - y - a*y = 0, 4*y = -4*m for m.
0
Let z(k) = -4*k - 1. Let r(f) = -6*f - 2. Let d(q) = 5*r(q) - 7*z(q). Let y be d(-6). Let s be (36/10)/(y/60). Solve g = 2*g + c, 3*g - 3*c - s = 0 for g.
4
Let g = -67 - -5. Let b = -58 - g. Solve -2*s + 12 = 2*i - b*s, 4*i + 4*s - 16 = 0 for i.
5
Suppose 1816*r - 1814*r - 16 = 0. Solve -3*u = f - 2*u + 2, 0 = 2*f - 4*u - r for f.
0
Let j be 3*(3 + (3 - 5)). Solve 3*y - 11 = -j*s - 2*y, -5*y = -2*s - 26 for s.
-3
Let j be -25 - 3 - ((-3)/(-3))/(-1). Let n(d) = -3*d**2 + 7*d - 2. Let v be n(5). Let y = j - v. Solve 0 = 5*i - 4*o - o + y, 2*o = -i for i.
-2
Suppose -2*w + 3*i + 3 = w, 3*w - 5*i + 3 = 0. Let g = 364 - 360. Solve 12 = j + w*u, g*j + 0*u - 3*u = 10 for j.
4
Let l be 1 + 9 + (4 - 2). Let r(n) = -2*n + 9. Let f(k) = -k + 1. Let d(h) = f(h) - r(h). Let t be d(l). Solve -4*b - t = 4*z, -b = b + z + 3 for b.
-2
Suppose 0 = 14*x - 15*x - 3. Let u(o) = o**2 + 5*o + 10. Let k be u(x). Solve -4*s + 3*v - 2 = 0, 0 = k*v + 5 + 3 for s.
-2
Suppose 0 = 5*z - 3*v - 2, -17*v = 2*z - 19*v. Solve -3*p - 11 = 2*o, 2 - z = -2*o - p for o.
2
Let t(v) = 15*v - 270. Let d be t(18). Solve -4*b + 2*l + 4 = d, 0*b - 3*b = 5*l - 3 for b.
1
Let b(n) = n**3 + 28*n**2 + 25*n - 52. Let r be b(-27). Solve -20 = -5*a - g, -r*g = -2*a + 5 + 3 for a.
4
Let c = 1983 - 1981. Solve -5*g = -c*f - 14, 5*g = 8 + 2 for f.
-2
Let o(g) = -8*g - 3. Let f be o(-2). Suppose -9*k = -74 + 84 - 46. Solve 4*a = 5*u + f, 0 = -4*u + k*a - 6*a for u.
-1
Let m(n) = n**3 + 9*n**2 - 13*n + 102. Let w be m(-11). Solve 5*p + h - w*h = -10, 0 = -2*h for p.
-2
Suppose 0 = 4*n + 4, -z + 3*n = -26 + 3. Let h be 26/3 - z/30. Solve 3*r - r = d + 2, -4*d - 3*r = h for d.
-2
Suppose -2*v - 2*o + 6 = 3*o, -4*v + 5*o = 18. Let l(z) = -6*z - 10. Let g be l(v). Solve 0 = -4*y + 2*r - 12, r + g*r = 0 for y.
-3
Let j(h) = 4*h**2 + 3*h + 2. Let v(n) = -n. Let i be v(2). Let g be j(i). Let p = -10 + g. Solve -5*a = -5*t - 25, p*a - a = 5*t + 21 for a.
1
Let z be (-49)/(-7) + -3 - 4. Solve 3*i = -3*g, 4*g + 3*i - 5*i - 6 = z for g.
1
Let m = -21 - -24. Suppose 5 = -m*x + v, v - 2*v + 5 = x. Let n be 8 + -1 + -4 + x. Solve 5*y + 28 = n*t + 3, 0 = 4*y + 20 for t.
0
Suppose -4 = 10*c - 134. Solve -3*d = d - 2*h + 22, 0 = 3*d + 2*h + c for d.
-5
Let a be 0*((-12)/8 + 1). Suppose 0 = 4*j + 4*b - a*b, b + 20 = 3*j. Solve -3*q - 20 = -4*m, m - 2*m + j = -2*q for q.
0
Suppose 23 = 2*v + 17. Solve -3*z = l - 7, -3*z + 12 + 3 = v*l for z.
1
Let f be (-2 + (3 - -1))*-3. Let u be -6*(1 - f/(-4)). Solve -5*q - 3 = -4*v, u*q - 15 = -3*v - 6 for v.
2
Let m = -6 + 0. Let f be m/(-9)*((-10)/(-4) + -1). Solve -5*r = -c - f, -3*c + 2*r = -0*r + 3 for c.
-1
Let q = 1 - 10. Let t = -3 - q. Let w be 5 - (t/1)/2. Solve -35 = 3*s - 4*o, -3*o + 21 = -w*s - 4 for s.
-5
Let y = 149 - 149. Solve 0 = u - 5*p - 10, y*u = 5*u + p - 24 for u.
5
Let n be (-10)/3*126/(-105). Solve -5*p - 10 = 3*z - 6*z, 0 = -4*z - n*p - 8 for z.
0
Suppose p = -0*p + 5. Let u = -8344 - -8346. Solve -5*o - u = 4*f, -o = 4*o + p*f for o.
-2
Suppose -k + 15 = 10. Suppose 4*g = 5*a - 0 + 3, -4*a = -k*g + 6. Solve 0 = 2*b + 4*y + 14, g*y = b + 2 + 1 for b.
-5
Suppose -p + 3*d = -2, p - 2 = 4*d - 3*d. Solve 3*t = 2*f - 5, -p*t - 12 = -2*f + 5*f for f.
-2
Let m be 16/10*25/10. Solve 3*j = 2*d + 3, -2*j = m*d - j - 1 for d.
0
Let j(r) = 2*r + 20. Let g be j(-8). Suppose 25 = -g*c - 5*u, -2*u = -4*c + 3*u + 25. Solve -2*p + 3*m - 4*m = -3, -5*p - 4*m + 12 = c for p.
0
Let u = -12 + 6. Let p be (-18)/12*8/u. Solve -p*q - 2*z = z, -2*q + 4*z = -14 for q.
3
Let o(q) = q**2 - 4*q + 3. Let l be o(5). Suppose -2*x + 4*x = -l. Let k(p) = p**2 + 3*p. Let u be k(x). Solve -10 + 5 = -3*n - 5*v, 4*v = -u*