 = 4*d + 45*l - 41*l, 2*l = 3*d - g for d.
-1
Suppose 4*o - 10 - 6 = 0. Suppose -t + 1 = -3, o*q - t + 28 = 0. Let a be (q/15)/(2/(-15)). Solve -h = -4*h + 3*z - a, -5*h + 2*z = 14 for h.
-4
Let m = -1490 - -1500. Let c be (3 + -7)*(1 + -2). Suppose 4*w - z = -3*z + 6, -w = c*z + 2. Solve y + h = -m, -y - w*y = h + 20 for y.
-5
Let p = 3 - -6. Let h(j) be the first derivative of j**3/3 - 7*j**2/2 - j - 45. Let v be h(p). Solve 7 = 3*y + 2*s, 0*s - v = -3*y - 4*s for y.
-1
Let m be 44/110*(-120)/(-3) - 4. Solve 2*v + 5*y + 8 = 0, -v + 4*v + m = 5*y for v.
-4
Suppose -20*j - 6144 + 6534 = -5*j. Solve -9 = c - 3*n, 5*c + 2*n - j = -37 for c.
-3
Suppose 5*w - 3 = 12. Let f(o) = 2 + o**2 + 2 + o**3 + 0*o**2. Let z be f(0). Solve 3 = v - z*r, -5*v + r + w*r = 17 for v.
-5
Let r(h) = 13*h**2 + 76*h + 470. Let g be r(-6). Solve 4*c - 8 = 5*j, j = -2*c + 472 - g for j.
-4
Let p(d) = -d**3 + 9*d**2 + 22*d + 3. Let j be p(11). Suppose 0 = j*s + s - 4*x + 8, s = 5*x - 18. Solve s*m = 3*l + 18, l - 2*m + 0 = -10 for l.
-4
Suppose -4*m = 3*y - 17, 56 = 3*m + 2*y + 42. Solve -2*d = 7*q - 11*q - 22, -q = -3*d + m for q.
-5
Let s(y) = -3*y + 20. Let a be s(9). Let t = a - -11. Let l = 186 - 182. Solve -f + 8 = -4*k, -t*k + 6*k + f + l = 0 for k.
-2
Suppose 11*h + 7 = -9 + 82. Solve 4*y - 4 = -8, -b = -4*y - h for b.
2
Let d = -420 + 277. Let c = -117 - d. Solve -5*p = 2*g + 25, -4*g = 3*p - p + c for p.
-3
Suppose -2*u = 3*w - 20, u + 2*u = -w + 16. Let j be 4 - 3 - -15 - u. Let c be (-1)/4 + j/(-16) + 1. Solve 4*k + 4*s - 20 = 0, 2*s - 2 = -c*s for k.
4
Suppose -4*d = -11 - 53. Solve 3*w - d*p = -13*p - 3, 3*w = 4*p for w.
-4
Let z = -15398 - -15415. Solve -2*c = 29*w - 25*w + 16, c - 3*w - z = 0 for c.
2
Let j be (-8)/(-12)*18/(-12) + 1 + 5. Solve -3*o + 4 = j*c - o, -3*o - 19 = -5*c for c.
2
Let k = 369 + -352. Solve p - 9 = 2*q, 0 = -p + 6*p - 3*q - k for p.
1
Suppose 30*c - 7*c = 230 - 184. Solve 3*b = 2*i + 15, -25*b + 24 = -c*i - 19*b for i.
-3
Let c be (-28 - -27)/(2/24). Let i = c - 17. Let u = i + 31. Solve -4*x + 4*m - 16 = 0, u = -4*x - 4*m + m for x.
-2
Suppose -4*z = c + 15, -4*c + 5*z + 34 = 10. Let s be -4*(-3)/24 - 9/(-6). Solve 3*f = 4*f - w + 2, -w + c = -s*f for f.
1
Suppose -4*s + 3*s + 2*x + 5 = 0, -2*s = -2*x - 8. Suppose -5*v + 4*y = -12, -11*y + 8*y + 2 = -v. Solve s*u + 1 = -2*d - 6, -2*u - v = 2*d for d.
1
Suppose 0 = -3*q + 2*q + 3. Suppose -a - a = q*b - 15, -9 = 2*a - 5*b. Let o be 37/(-2*a/(-6)). Solve -5*i + 5*v - o + 7 = 0, -19 = 4*i + v for i.
-5
Suppose 16 = 2*o + 10. Suppose 0 = o*v - 2 + 5. Let y(z) = 5*z**2 + 2*z + 2. Let n be y(v). Solve -3*h = -5*d + d + 26, 0 = -d + n*h + 15 for d.
5
Let i(t) = 7 - 6*t**2 - 75824*t**3 - 8*t + 75826*t**3 - 3. Let q = -3 - -7. Let b be i(q). Solve -b = -2*g + 4*g, 5*f - 5*g = 5 for f.
-1
Let w be 20/30*(2 - -1). Let r = 86 - 55. Suppose -3*c - 4*g + r = -0*g, 2*c - 16 = 2*g. Solve 3*q + 17 = 5*l, w*l = -q - 0*q + c for q.
1
Suppose 776*z = 730*z. Solve -3*x = -b - 17, -x + 9 = -z*b - 2*b for x.
5
Suppose -49 = -2*n - 3*h - 40, 0 = -4*n + 3*h + 9. Solve -4*y - n*j - 27 = -7*y, 5*y + 5*j = -5 for y.
4
Let n = 25298 - 25273. Solve t - 5*b = n, 0 = 12*t - 7*t - b - 29 for t.
5
Let a(s) = -447*s - 1787. Let x be a(-4). Solve g + 5 = r + 3, g - x = 4*r for r.
-1
Let h(k) = k**3 - 2*k**2 - 13*k + 15. Let z be h(0). Let f(y) = -2*y + 33. Let c be f(z). Solve -r = 4, -u - c*r - 9 = -r for u.
-1
Let r be 25 - -12 - ((-4)/(-8)*-10 + 6). Solve 3*a + f - 9 = 0, -5*f + 7 = -40*a + r*a for a.
2
Let x be ((-10)/4 + 2)*-10. Solve 51*y + x*d + 6 = 50*y, 0 = -y + 3*d + 10 for y.
4
Suppose n + 5*x = 26, 3 = -2*n + 4*x - 3*x. Let f(d) = d**2 + 2*d - 3. Let v be f(n). Solve v*o = -3*t + 4*o - 5, 10 = 2*o for t.
5
Let g be 19 + (4 - 1) + -3 - -2. Suppose g + 12 = 11*w. Solve -6 = -w*p, -p + 5*p = -i + 4 for i.
-4
Suppose -9 = -2*p + 3. Let u be (6/5)/(p/20). Let b = 103 - 95. Solve -x + z = -b, u*x + 4*z = x - 4 for x.
4
Let c be (-96)/(-40)*(2 - 28/(-6)). Suppose -c*q = -8*q - 48. Solve 3*h - 4*m = -17, q*h + 5*m - 30 = h for h.
1
Let r be (42/24)/7 + -1*(-216)/32. Solve 9 = -i + 2*g + 2*g, 0 = i + 4*g - r for i.
-1
Let i = -119 + 192. Suppose w + 44 = 3*l, -2*l - 5*w = 21 - i. Suppose 0 = l*o - 12*o - 16. Solve -3*h + 0*r - 4*r = 1, -o*r - 11 = h for h.
5
Let h = 88 + -84. Suppose -i - 5*a = 13, -5*i = a + a - h. Solve -i - 4 = -o - 2*g, 0 = o - g + 6 for o.
-2
Let z = -3 - -26. Let j be (114/133)/(4/14). Solve 2*t + 3*i = -t + 3, 2*t - j*i + z = 0 for t.
-4
Suppose -3*h = 2*q - h + 16, 4*q = -9*h - 72. Solve 0 = -f - 4*l + 8, -f - 3*l + 5 = -q*f for f.
-4
Let r be ((-12)/(-2) - -532) + -3. Suppose 36*o - r - 5 = 0. Solve -4*c - 4 = 2*b, -b - o = 3*b + c for b.
-4
Let o be (-198)/462*14/(-3). Let v be (((-3)/o)/3)/((-56)/560). Solve -v*h + 0*j = -2*j + 35, 5 = -2*h - j for h.
-5
Let y = 48 + -49. Let b(f) = -18*f**3 - 2*f**2 - 2*f. Let l be b(y). Suppose m - l = -13. Solve 0*g - 3*g + 3*i = 0, 40 = -5*g - m*i for g.
-4
Let q(h) = -h**3 + h**2 - 107*h - 221. Let a be q(-2). Solve -c - 6 = 4*y, -3*c - 5 - 13 = a*y for c.
-6
Let x be ((-4)/7)/(54/63 - 1). Suppose -4*z + 24 = x*w, -3*w - 5*z = -0 - 22. Solve -4*y - 2*j - 12 = 0, -y - 4*y + 3*j - w = 0 for y.
-2
Let i = 28553 + -28547. Solve -4*q - 5*a = -30, 7*q - 2*q - a + i = 0 for q.
0
Let d(z) = 103*z + 728. Let c be d(-7). Solve 2*j = 4*f + 16, -3*f - c - 8 = -3*j for j.
2
Suppose q = 8, -2*s - 299*q + 302*q = 14. Solve -s*r = -128*l + 126*l + 3, 2*r - 2 = 4*l for l.
-1
Suppose -4*p = -v - 27, 441*v - 438*v + p = 10. Solve 2*r + b + 8 = -v, 0 = r + 3*b + 2 for r.
-5
Suppose -3*n = -2*a - 3*a + 62, 4*a + 4*n = 24. Suppose 0 = -u - 5 + a. Let v be 23/u + 15/(-25). Solve -5*q - 1 - 2 = 2*j, 4*q = -2*j - v for j.
-4
Suppose s + 6 = 351*f - 349*f, -3 = 4*s - 5*f. Solve 4*l + 2*w + 6 = s, -15 = 5*w for l.
2
Let s(c) = 2*c**2 + 16*c + 48. Let b(f) = -f**2 - 8*f - 23. Let a(d) = -7*b(d) - 3*s(d). Let w be a(-2). Solve -w*v + o = -4, v = 5*o - 3*o - 1 for v.
1
Let g(o) = -62*o - 65. Let h be g(-1). Let l be (h + 1)/((-5)/15). Solve m + 6*r - 5 = 4*r, l = 2*m + 3*r for m.
-3
Let w = 4243 - 4240. Solve -w*k + 23 = -4*a, k + 13 = -3*a - k for a.
-5
Let c(z) = -2*z - 76. Let f be c(-34). Let l be 20/f*1*-2. Solve l*o = 10, -4*d + 3*o + 14 = 4*o for d.
3
Suppose -5 = -4*f - 3*v, -20 = 4*f - 6*f + 2*v. Solve f*q - 2*z + 23 = 0, -2 = 73*z - 71*z for q.
-5
Let r = 2 + 0. Let m(j) = -j**2 + 10*j - 22. Let t be m(5). Suppose g + 11 = 3*f, 2*f - 5 - t = g. Solve 3*c = 7*c + 4*q - 32, f*q - 4 = r*c for c.
4
Let g(o) = -o + 5. Let b be g(12). Let l = -6 - b. Let h be (l - -2)*1 - 1. Solve 0 = 5*x, x - h - 2 = f for f.
-4
Let i = -7023 - -7028. Solve 4*t - 6*a = -t - 15, i*a = -5*t - 15 for t.
-3
Suppose -4*m = 3*j - 497, -2*j - 643 + 161 = -4*m. Let v = 142 - m. Solve -5*q + p + v = 0, 3*p - 5 = 2*p for q.
5
Let z(a) be the second derivative of a**4/12 - a**3/2 - 5*a**2/2 + 78*a + 2. Let f be z(-2). Solve -m - 16 = -2*m + 5*c, f*m + 4*c = -7 for m.
1
Suppose 0 = 314*u - 311*u. Solve 3*a - 2*w + 2 = u, 2*a - 5*w = a + 21 for a.
-4
Let f(o) = -2*o**2 + 16*o + 10. Let m be f(8). Suppose -40 = -m*u + 10. Solve q = -u*i - 22, 4*q - 4*i = 2*q + 26 for q.
3
Suppose 2*m + 30 - 8 = 3*i, -2*i = -2*m - 18. Let q = i + -4. Suppose -n - 4*n + 20 = q. Solve 2*c - n = -5*d - 20, 6 = -5*c - 4*d for c.
2
Suppose 2*f - 4 = -5*j, -140 = j + 4*f - 130. Solve 6 = -2*p - j*s, -3*p = -s + 6 + 11 for p.
-5
Suppose 4*r = 3*n, 41*n - 40*n = 4. Solve 7*g - 8 = r*g, -2*t + 3*g - 8 = 0 for t.
-1
Let s = -2 - -4. Suppose 2*n - 9*i = -7*i - 12, -2*n - i + 6 = 0. Solve n = 5*c + s*m - 7*m - 20, 0 = -5*c + 3*m + 22 for c.
5
Suppose 0 = -18*n + 20*n + 4*q - 30, -5*n + 4*q - 9 = 0. Solve m = 2*m + n*u - 10, -2*u + 4 = -2*m for m.
1
Let u(g) = -g - 22. Let i be u(-12). Let w(r) = r**3 + 8*r**2 - 19*r + 15. Let k be w(i). Solve 0 = k*x, 2*a - 6 = -x + 3*x for a.
3
Let y(f) = -27*f**2 - 1. Let c be y(1). Let u be -6 + c/(-7) + 2. Solve -1 = l - u*l - z, 2*l + 16 = -5*z for l.
-3
Let a be 0/(-16)*21/42. Let h = -4 + 36. Suppose 7*m - 3*m = h. Solve t - m = 3*c - 3, 3*t - c - 15 = a for t.
5
Suppose -2*o = -2*g + 238, -35*g = -30*g - 2*o - 577. Solve 3*r + 10 = -108*q + g*q, -6 = -3*q - 4*r for q.
2
Let f(x) = 2 +