 be m(x). Solve -i - z*h = -4*h + 4, -3*i - h - 7 = 0 for i.
-2
Let a(j) = j**2 + j + 5. Let f be a(-3). Suppose f*b - 8*b = 12. Solve -b*u + 12 = 3*s, -5*s + 0*s + 3 = u for s.
0
Let j(w) = -w + 5*w - 4*w - w + 20. Let s be j(15). Solve -3*y - 4 = -s*h, 4*y + 3*h = 8*h - 2 for y.
2
Let t(n) = -7*n + 31. Let m be t(4). Solve -5*x - 6 = -2*z, 5*x + z + 0*z = m for x.
0
Let k = 277 - 275. Solve -3*j + 4*n = -2*j + 5, n = -k*j - 1 for j.
-1
Let l be (-46)/(-299) + (-414)/(-13). Solve -v - 4*v = 3*h + 13, 4*v - 3*h = -l for v.
-5
Let s be (-16)/(-4) + 0 - 2. Suppose 0 = a - 0*a - 2. Suppose -a = -3*f + 3*g + 4, 3*f - 2*g - 8 = 0. Solve s*o - 5*i = -24, 4*i - 24 = f*o - 0 for o.
-2
Suppose a = 4*v - 32, 0*a - 3*v = -5*a - 143. Let p be (-3 - a/8)/(2/20). Solve -4*i - 2 = -3*t, -2*t = p*i - 2 - 7 for i.
1
Suppose -5*m + 13 = 2*t, 4*t - 17 + 3 = 2*m. Solve 3*x + 5*g = 12 + 2, 0 = t*x + g - 13 for x.
3
Suppose 4*m + 23 = 83. Solve -g + 6 = -3*i - 0*i, -i - m = 4*g for g.
-3
Let a be (-4 + 6)*201/6. Let z = a - 51. Solve 2*w - z = 2*j, 4*w + 5*j = j for w.
4
Let w(c) = -30*c - 417. Let a be w(-14). Solve -n = k - 3, -a*n = -4*k + 2*n + 21 for k.
4
Let h(g) = g**2 - 13*g + 33. Let d be h(10). Suppose 12 = 9*j - d*j. Solve x + 1 = -j*m + 5, -3*x = -m + 2 for m.
2
Suppose -z - 2*l = 2*z + 16, 4*l = -3*z - 26. Let c(n) = -2*n**3 - n**2 + 4*n + 5. Let p be c(z). Let a = 24 - p. Solve 4*m + 26 = 5*r + 7, -5*r = -a for m.
-1
Let g(v) = 3*v**3 + 2*v**2 + 2*v + 1. Let t be g(-1). Let d be (t + 4/2)/1. Suppose -91 = -5*i - 11. Solve 5*j - m + i = d, 0 = -4*j + 2*m - 8 for j.
-4
Let l = 74 + -70. Let y = 10 - 5. Solve l*c - t = -17, -c + y = t + 3 for c.
-3
Let h be (-1)/(-2)*6 + -1. Suppose -10 = -7*u + h*u. Suppose -2*n - 3*n - 3*a - 6 = 0, -2 = a. Solve y - 1 = 5*p, 0 = -n*p + u*p + 4*y - 4 for p.
0
Let k = -6 - -6. Suppose 4*h + h + 80 = k. Let f be 4/h - (-45)/20. Solve -5*n - m + 2*m = 14, -16 = -f*n - 5*m for n.
-2
Let x(a) = -2*a**2 + a - 24*a**3 - 1 + 27*a**3 + 1. Let y be x(1). Solve 3*k - 3*j + 3 = 0, -7*k + 2 = -y*k + 2*j for k.
0
Let q = 30 + -30. Let u be (q/(-4))/(0 + 2). Let z(l) = l**2 - l. Let b be z(u). Solve 3*a - 3*h = b, a = -0*a + 5*h for a.
0
Let v = -952 - -964. Solve -4*k - 2*m = -v, 4*m = -3*k - 2*k + 15 for k.
3
Let d = 47 - 40. Let q = d + -2. Solve 2*v = q*p - 8, 9 = 5*p + 3*v - 4 for p.
2
Suppose -5*m + 74 = 64. Solve -2*q + 4*q = 0, 2*u - m = -4*q for u.
1
Suppose 2*d - 76 = -2*w - 74, -3*w - 1 = -d. Solve v + v + 3 = 3*j, d = v + j for v.
0
Let n(t) = -2*t + 31. Let r be n(13). Let v be 1/(r/15) + 5. Solve -w - v = 4*c, -2*c + w = -c + 2 for c.
-2
Let a(y) = 2*y**3 + 3*y**2 + y - 3. Let b be a(1). Solve 3*i - 4*s + b*s = -13, -4*s = -2*i - 2 for i.
-5
Suppose -345 - 263 = -32*p. Solve 4*u = -2*v + 16, -u + p = 4*u + 3*v for u.
5
Suppose -7*s = -10*s. Suppose q - 6 - 6 = s. Solve 6 = -4*o + 3*u - 8*u, o - 4*u + q = 0 for o.
-4
Suppose g = -3*g + 20. Suppose 2*s - 5 = o, -g*o + 4*o + 7 = s. Solve 2*x = 4*p + 7 + 3, -s*x + 5*p = -5 for x.
-5
Let t = -1195 - -1197. Solve q + q - 33 = -5*h, 2*q + 2 = t*h for q.
4
Let i(v) = v + 6. Let z be i(-6). Let g = 27344 + -27342. Solve -4*d - 2*o + 0 - 2 = z, -g*o = 5*d for d.
2
Suppose -26*n + 51 + 27 = 0. Solve 12 = -n*w - g, -8 = 4*w - 4*g + 8 for w.
-4
Let i = -56 + 26. Let f be (i/20)/(3/(-10)). Let x(g) = 2*g**2 - 2*g - 2. Let w be x(2). Solve -a - 4 = 4*o + a, f*a = -w*o + 6 for o.
-2
Let w(s) = -s**3 + 8*s**2 + 10*s - 5. Let q be w(9). Let b = -134 + 86. Let n = b - -51. Solve 0*t = q*d + 5*t - 11, n*d = 2*t + 14 for d.
4
Let b(p) = -2*p**2 + 6*p - 1. Let d be b(4). Let j = d + 14. Solve 4*f + 2*l = -2*l, 5*f - j*l = 40 for f.
4
Suppose -3*v - 232*a + 231*a = -17, 2*v + 2 = -4*a. Solve -r = f - 5, r + v*f - 4*f = 9 for r.
3
Suppose -10*u + 9*u + 2*v + 215 = 0, u + 4*v - 215 = 0. Let o be (344/u)/(4/10). Solve 5*t + 8 = g, -o*t - 24 = 5*g - 6 for g.
-2
Let u be ((-8 - -11) + 2*-2)*-27. Suppose 48 - 38 = 2*w. Solve 37 = -w*m + 3*v, -2*m + 3*v - u = m for m.
-5
Suppose -168*l + 171*l = 15. Solve 2*k + l*m = -21, 3*m = -k + 4*k - 21 for k.
2
Let u(c) = -c**2 - c + 5. Let y be (7/(-7))/(1/(-2)). Suppose 0*z = -y*z. Let s be u(z). Solve -s*m + 4*g - 15 = 0, 4*m + 4*g = -m - 15 for m.
-3
Suppose -2*p + 2*z + 2*z - 8 = 0, 0 = 5*p - 2*z + 4. Solve -4*w + p*w = r - 17, -6 = 2*r for w.
5
Suppose -y = 2*t + 11, 2*y - 5*t + 11 = -y. Let u(q) = q**3 + 5*q**2 - 14*q + 8. Let a be u(y). Solve -4*f - j = 7 + a, 2*f - 5*j = -13 for f.
-4
Let v(t) = -2*t**2 + 63*t - 18. Let w be v(31). Solve -5*s = 3*i + 18, 0 = -3*s + 6*s + 4*i + w for s.
-3
Suppose 3*x = 5*f + 36, -3*x + 0*x + 60 = 3*f. Suppose 0 = 9*k - 5 - 31. Suppose 4*y + 5 = 5*y. Solve 0 = -3*q - 12, n - k*q + y = x for n.
-4
Let n(j) = 9*j**3 - j**2 + j + 1. Let i be n(1). Let h = -5 + 13. Let b = i - h. Solve b*y - 4*o + 20 = 0, 0*o = -4*o + 16 for y.
-2
Suppose 3*h = 5*v + 15, -7*v + 4*v + h - 5 = 0. Solve -2*j = 3*o + 4, j - 3*o - 4 - 12 = v for j.
4
Let x(c) be the third derivative of -c**4/12 - c**3/3 + 4*c**2. Let o be x(-6). Let w = 12 - o. Solve -3*r + 10 = 4*t, -w + 8 = 3*r for t.
1
Let s = 350 + -345. Solve -3*o = 2*o + s*a, 4*o = 2*a + 6 for o.
1
Let j(i) = i**2 - 6. Let c be j(0). Let d be c/(-30) - (-12)/15. Solve 0 = -l + 5*l + 4*x - 4, -d = -2*l - 3*x for l.
2
Suppose -393 = -20*c - 13. Solve 2*x + 5*h + 48 = c, 0 = -3*x - 3*h - 21 for x.
-2
Let t be ((-34)/6)/((-2)/6). Suppose 36 = -3*s - 6. Let h = t + s. Solve 5*a - 4 = -f, 0*a + 1 = 4*a + h*f for a.
1
Suppose 6*w + 113 - 335 = 0. Suppose -31*b + w*b = 36. Solve 0 = i + 6*z - z - b, 0 = 2*i + 3*z + 2 for i.
-4
Let n be (616/110)/((-2)/(-5)). Let x be -3 + n/((-3)/(12/(-8))). Let d(t) = t - 3. Let l be d(6). Solve -l*b + x*b = -2*p - 9, -6 = 4*b + 2*p for b.
1
Let n = -26 - -28. Let u(a) = -15 - 2*a**2 + 7*a**n - 6*a - 2*a**2 + 10 + a**3. Let y be u(-4). Solve 4 = 2*p - 0*d - d, -6 = -y*p + 4*d for p.
2
Let a(r) = 2*r + 11. Let k be a(-5). Solve -6 = 3*s - 4*h, -2*h - k + 3 = -s for s.
-2
Let m = -43 + 61. Let k(n) = 5*n - 43. Let i be k(6). Let b = m + i. Solve -2*y = -5*a - 29, 0 = -5*y + b*a + 29 + 6 for y.
2
Suppose 7*s + 598 = 633. Solve -2*u + o = 8, s*u = 2*o - 7*o - 5 for u.
-3
Let q(n) = -n - 1. Let f be q(-5). Suppose -3*g - 4*u + 20 = -7*g, -3*g = f*u - 20. Solve 4*b + 2*o + 14 = g, -b + 0*o + 4*o + 19 = 0 for b.
-1
Let c be (64/(-12) - -4)*6/4. Let u be 1 - ((-8)/c + -8). Solve -2*b - m - 15 = 0, u*b + 6*m + 40 = 3*m for b.
-5
Suppose -541*t + 24 = -539*t. Solve 4*s - 15 = -2*h + h, 0 = 4*h - t for s.
3
Let w(z) be the second derivative of -z**4/6 - z**3/2 - z**2/2 - 5*z. Let i be w(-4). Let m = -13 - i. Solve 3*n = -x + m, -x + 2*n - 20 = -2*n for x.
-4
Let y be ((-8)/(-60)*18)/((-6)/(-40)). Let u be 5/(((-8)/y)/((-1)/2)). Solve c - 10 = -5*l + 5*c, 3*c + 10 = u*l for l.
2
Let l be 4/6 - (-16)/(-6). Let a be 3/((-3 - l) + 2). Suppose -24 = -a*b - b. Solve -h = -5*h + 4*r + 24, h + 5*r + b = 0 for h.
4
Let f = -912 - -916. Solve -15 = -b - 2*g - 7, -f*b + 3*g = 1 for b.
2
Let w(r) = -3*r - 49. Let f(k) = k + 24. Let u(c) = 7*f(c) + 3*w(c). Let b be u(8). Solve b*l + 20 = -5*x, 0 + 4 = -x for l.
0
Suppose -1 - 8 = -r - 3*h, -2*r - h = -8. Suppose -2*k - r*k = -10. Solve a = -2*s + 1, -s + k*s + 13 = -5*a for a.
-3
Let r(k) = 6*k + 4. Let i be r(-7). Let g be (-3 + (1 - -4))/(-4)*i. Solve w + 4*b + g = 0, -2*w + 5*w + 5*b + 22 = 0 for w.
1
Suppose d - 26 + 158 = 0. Let t be d/(-24) + (-3)/2. Solve -t*n + 0*n - 2 = -5*f, 0 = -3*n - 4*f + 14 for n.
2
Suppose -3*r - 9 = 3*i, 2*r = -4*i + 2 - 6. Let l be ((-2)/6)/(5/6 - i). Solve 2*g - 25 = 5*t, 4*t + 27 = g + l*g for t.
-3
Let n = -55 - -43. Let x(i) = i + 18. Let s be x(n). Solve 3*g + 18 = 3*u, -26 = -4*u - s for g.
-1
Let p = -1362 - -1364. Suppose 15 = 3*u, -25 = -3*x - 3*u + u. Solve -5*n - 33 = -p*v - 11, n = v - x for v.
1
Let y be 1 + -1 + -30 + 3. Let n = y + 57. Solve -5*c + 5*v + n = 0, -3*v - 6 = 2*c + v for c.
3
Let f = -21 - -12. Let v = 15 + f. Solve -3*w - 5*o - v = -18, -2*w - 3*o + 8 = 0 for w.
4
Let o(y) = y**2 - 4*y - 29. Let v be o(-4). Solve -5 = 3*k - m, 5*k - 4*m = -3 - v for k.
-2
Suppose -3*u + 5*l = -26, -1 - 22 = -4*u - 5*l. Suppose 0 = -9*r + u*r + 6. Solve -5*p + 0*d - 22 = 3*d, r*p = 5*d -