= -x - 2. Let q be i(-5). Let v be a(q). Solve -5*c - 15 = v, t*n = -3*n + 4*c + 7 for n.
-1
Let b(v) = v**2 + v - 2. Let z be b(-3). Let s(x) = 29*x - 111. Let a be s(4). Solve -h - 23 = z*l, -2 = a*h - 2*l + 3 for h.
-3
Let r(z) be the first derivative of 3/2*z**2 + 4 - 5*z. Let o be r(5). Solve -12 = 3*d, -5*f + 2*d = o + 7 for f.
-5
Suppose 23*j + 39*j - 310 = 0. Let y be 4 + -1*(-2 + 1). Suppose 4*u + 0*v + 3 = y*v, 0 = -3*u + 3*v. Solve 19 = -5*p + u*p + j*k, -11 = 4*p - k for p.
-2
Suppose 20 = 3*b + 2*b. Suppose -r = 3*m + 2 + 6, -2*r + 24 = -b*m. Let y(d) = -d + 6. Let c be y(r). Solve 5*f - 5*x = 20, -2*f + 2*x + 6 = -c*x for f.
5
Suppose 5*p - 7 = 4*p. Let j(g) = g - 1. Let k(c) = -6*c - 2. Let v(u) = 8*j(u) + k(u). Let b be v(p). Solve -b*q + 6 = 2*d - 4*d, q = 3*d - 1 for d.
1
Let v(o) be the third derivative of -o**6/60 - o**5/2 - o**4/24 - 2*o**3 - 31*o**2. Let g be v(-15). Solve -2*y - 21 = 5*r, -3*y + g*r + 2 = -19 for y.
2
Suppose 6*g + 4 = 22. Solve -5*z + 13 = -4*b, 2*z = -g*b + 7 + 12 for z.
5
Let v = -23 - -28. Suppose -3 + 1 = -k. Suppose 0 = k*i - 6 - 0. Solve 3*h + 12 = i*z, 5*z = 4*h - 2*h + v for z.
-1
Suppose -11*q = -735 + 691. Solve -4*u + q*b + b = 37, -5 = -b for u.
-3
Let s = 1031 - 1026. Solve o - s*a + 25 = 0, -4*o = o + 3*a + 13 for o.
-5
Let o = -56 - -56. Let t be (-4)/((-16)/(-20)) + -1. Let z = t - -9. Solve o = -k + 3*u - 9, 5*u = -k + z*k + 16 for k.
-3
Let n = -757 + 762. Suppose -4*m + s + 13 + 2 = 0, -m = 5*s + 12. Let v be m/(9/6 - 0). Solve 3*x + 16 = 3*b + 4, v*b - n*x - 11 = 0 for b.
3
Let x = 47 - 44. Solve 5*q + 3*v = -21, -x*v - 2 - 4 = 0 for q.
-3
Let x be (-72)/84 - (-68)/14. Solve i + 2*d - 4*d = -3, -x*i = -3*d - 3 for i.
3
Let g(q) = -2 - 110*q + 56*q - q**2 + 61*q. Let f be g(4). Solve -f = 5*j, -2*w + 3*w = 4*j + 11 for w.
3
Suppose -5*k - 4*h + 10 = 0, 0 = -k - h + 2. Let p = k + 0. Let u = -89 - -94. Solve 3*a + a = -16, 2*a = u*q + p for q.
-2
Suppose 0 = 5*z + 3*x, 10*z = 5*z - 4*x. Let c(m) = m**2 - 18*m + 90. Let b be c(12). Let s = -13 + b. Solve z = 3*a + 2*r + s, -7*a - r - 13 = -2*a for a.
-3
Let l = -473 + 474. Solve -m + 5*c - l = 0, 0*m - 3*m + 8 = -4*c for m.
4
Let y be -6 - ((3 - 0) + -27). Let t = -13 - -41. Solve 0 = b - 5*a + t, b - 2*b + 3*a = y for b.
-3
Let s(f) = 11*f**2 - 36*f + 9. Let w be s(3). Suppose -4*n = -3*h + n - 5, -3*h - n + 19 = 0. Solve w = 4*o + q, -h = 2*q + 3 for o.
1
Let c be (-4)/(-34) + (-30)/255. Solve -w = -c*s + 3*s + 7, w + 3 = -2*s for s.
-4
Suppose 0 = -3*a + 2*a. Suppose 4*i - 15 - 1 = a. Solve 3*d = -5*l + 7, i*d + l + l = 0 for d.
-1
Suppose -3*f - 5*r = -39, f - 7*r + 10 = -r. Let p(j) = -j**2 + 4*j + 4. Let n be p(4). Solve 0 = -5*w - n*y + f + 9, -w = -y - 7 for w.
5
Suppose -4*u + 20 - 152 = 0. Suppose -41 = -z + 2*q + 9, -3*z + 138 = -2*q. Let r = z + u. Solve -5*a - g + 2 = 0, 4*a - 5 = 4*g + r for a.
1
Let p be 15/10*(-140)/(-42). Let t be (-4)/(-7)*(-63)/(-18). Solve y = -2 + 6, t*w = -p*y + 22 for w.
1
Let u(k) = k**3 + 4*k**2 - 3*k + 13. Let f be u(-5). Solve -3*y = -f*c, -5*c - 4*y = -c - 40 for c.
5
Suppose 6 = 4*o - 2, j - 4*o = -8. Solve -3*t = 6, j = 4*s + 2*t + 2*t + 28 for s.
-5
Let i be 56/21 + (-2)/(-6). Solve 2*z - i*z = 2, -5*o = -4*z - 13 for o.
1
Let d be (11 - 12)/(2/58). Let f = d + 32. Solve f*n = 15, -21 = 3*r - 5*n + 10 for r.
-2
Suppose -2*d = -4*d. Suppose d = m - 0*m. Suppose m*n = n. Solve n = -a + 5*o + 4 - 19, 2*a + 5*o - 15 = 0 for a.
0
Let s(f) = -f**2 - 4*f**2 - 7 + 105*f + f**3 - 114*f. Let y be s(7). Solve m = -l - 1, 4*m + y = -2*l + 4*l for m.
-5
Suppose 2*z = 3*z + 6. Let n be (-4)/z - (-258)/18. Suppose 0 = -5*o - 0*o + n. Solve 7*p - 2*p = -4*m - 14, 3*p + 3 = o*m for p.
-2
Suppose -w + 2*d - 4 = 4*d, 3*d = -w - 7. Solve -w*r + t - 13 = -4*t, -r = 4*t for r.
-4
Let v be ((-12)/10)/(11/220). Let u = 25 + v. Suppose 0 = 5*z + 3*h - 10 + u, -16 = -4*z + 2*h. Solve -2*j + 2 - z = f, -f - 3 = 4*j for j.
-1
Let p be (-6)/(-4)*(-24)/(-9). Suppose 3*f - 4*a = 0, f + p*a = -0 + 16. Solve -f*n - 8 + 24 = 0, 15 = k + 5*n for k.
-5
Let z be (4 - (-49)/14)*(-12)/(-45). Solve 2*i + 11 = -5*v, 0 = -4*i + z*v - 3*v - 13 for i.
-3
Suppose 3*v = 3*o + 6, -24*v + 25*v - 2*o - 4 = 0. Solve 10 = z + 5*w, -4*z - 5*w + 3*w + 4 = v for z.
0
Let m be 6/(3/(0 + (-12)/(-8))). Solve b = 3*k - 13 - 2, 0 = 2*k + m*b - 10 for k.
5
Suppose -5*p = -12*g + 15*g, g - p = 0. Solve -3*n - 4*m + 12 = g, 2*n - 4*m + 12 = 4*n for n.
0
Let a(c) = c**2 + c - 4. Let v be a(-4). Let w = -78 + 85. Suppose -v = -m + w. Solve -n + 5*l = 4*n + m, -3 = -3*n - l for n.
0
Let p be 2/13 - (-2)/(-13). Suppose p = -3*w + 46 - 31. Solve 0*j = -2*j + s + 7, 4*j = -w*s - 21 for j.
1
Let v be (-1 - 2)/((-18)/(-48)). Let y = v - -10. Suppose n - 11 = -y. Solve h + n = 4*g - 2*h, -5*g = 4*h - 19 for g.
3
Let l(c) = -26*c + 289. Let a be l(11). Solve -4*i - a*g - 31 = 0, 5*g = 5*i - 8 + 3 for i.
-4
Suppose -2*f - 7*m + 4*m + 16 = 0, -4*m + 23 = 3*f. Solve -2*r = 4*y + 14, -f*r = -7*y + 3*y - 21 for r.
1
Let s = 1113 - 1082. Solve -5*u = 4*y - s, 0 = -6*y + 4*y + 4*u - 4 for y.
4
Let d = 6 - 16. Let q = d - -27. Let j = q + -12. Solve -j*z = -c - 4, 5*c + 2*z = -z + 8 for c.
1
Let u be (420/168)/(5/4). Let t = -6 - -11. Suppose -4*h + 5*v + 7 = 0, 0*v = 5*h + t*v - 20. Solve -b + 3 = u*f, -b + 9 = f - h*b for f.
3
Let o be 20/(-6)*39/(-65). Solve 0 = -4*a + 5*s + 7, 5*s = o*a + s - 2 for a.
3
Let g be 3*(-3)/(-27)*12. Suppose 3*x + 4*k = x + 18, g*x = k. Let p be 3/2*(-6 + 8). Solve -r + p*f - 5*f + 9 = 0, -x = 3*r - f for r.
1
Let v = 64 - 55. Suppose 9*f + 6 = 2*a + 11*f, 3*f - v = 5*a. Solve -3*c = -5*s - 24, a = -s - 4*c + 3 + 6 for s.
-3
Let r be (-12 - -8)/((-1)/(2/4)). Suppose 7*k - 4*k = 6. Solve -k*i - b = r, 0 = -i - b - 0*b for i.
-2
Let p = 23 - 11. Suppose 2*d + 8*z - 2 = 4*z, 0 = 4*d - 4*z - 28. Solve o = d*k + 19, o - 4*k = -3*o + p for o.
-1
Let o be 26/10 - 6/(-15). Suppose 0 = -q - g + 5, 5*q - 2*g = o*g + 45. Suppose 3*k = -1 + q. Solve -l = -2*f + 13, 5*f + k*l - 10 = -0*f for f.
4
Let n be ((-1)/(6/(-36)))/(1 + 1). Solve 0 = 4*u + d + 15, -3*u + 19 = -7*u + n*d for u.
-4
Let z be (0/((-4)/1))/1. Let d be -2 + -1 - (-5 - -2). Let p = 3 - d. Solve 2*t = p*b - 5 - z, b - t = 3 for b.
-1
Suppose 4*f - 6 = f. Suppose 0 = 3*z + f*z - 80. Solve -3*s - 3 = -4*m + z, s - 3 = -m for s.
-1
Suppose 6*j - 252 = -54. Suppose 5*x + 84 = -66. Let b be x/8*(-176)/j. Solve 0*c = 2*z + 5*c - 13, b = 4*z + 4*c for z.
4
Let l = 5 - 4. Let v be (l/(-2))/(11/(-88)). Solve n = 4*q, -v*n = q + 2*q + 19 for q.
-1
Let h = -557 + 563. Solve -h*g + 3*g - 4 = -j, -3*g = 3*j - 12 for j.
4
Suppose 6*v - 261 = -249. Suppose -z + 0*z = -6. Solve 0*n + v*l - z = -4*n, n - 3*l = -9 for n.
0
Suppose 6*c - 18 + 0 = 0. Suppose -c*d - 6 = 5*a, 3*a + 3*d + 6 = 4*a. Solve -4*l - 2 = -q, -5*q = -a*l - 2*l + 8 for q.
-2
Suppose 75*h = 16*h + 1357. Solve 0 = -5*z + 4*t + 41, -2*z - 2*t - h = -5*z for z.
5
Let w be (-429)/78*8/(-22). Solve -2*v = 5*b + 18, 20 = -7*b + w*b for v.
1
Let s(r) = r**3 - 12*r**2 - 28*r + 2. Let f be s(14). Solve -i - 21 = -5*t, -14 - f = -4*t for i.
-1
Suppose 55 = 4*j + 27. Solve 2*i - j*i - 5*c - 5 = 0, i + 17 = -5*c for i.
3
Let l = -18 + 21. Suppose -1 = -2*j + l. Suppose -z - 2*z = -6. Solve j = -t - m, -2*t - z = 4*m - 0 for t.
-3
Let c = 8 + -5. Let l be -1 + -1 + 3 + 3. Solve -u = q, q = -c*u - q - l for u.
-4
Suppose -5*t - 3*i - 2*i - 15 = 0, -3 = -4*t - i. Suppose 2*p - 2*w - 8 = 0, -p + t*w + w = -2. Let c = 0 + 2. Solve -3*b + p*u = -11, -2*u = c*b - 3 + 1 for b.
2
Let v = -14 - -9. Let a(p) = -p**2 - 5*p + 1. Let k be a(v). Solve -3*j + w = 14, -k = -j + 4*w - 2 for j.
-5
Suppose -30*c - 13 + 13 = 0. Solve -4*f + w - 2 + 5 = 0, c = 4*f + 2*w - 18 for f.
2
Let h(v) = v**3 - 4*v**2 + 55*v - 289. Let g be h(5). Solve 4*d + g - 56 = -5*u, 4*d = -3*u + 35 for u.
5
Let w(m) = -m + 7. Suppose -4*y + 24 = 2*s, 5*s + 5*y - 21 - 59 = 0. Suppose -4*x + s = -0*x. Let j be w(x). Solve -10 = -2*g + 2*f, -j*g - f + 2 = -2 for g.
3
Suppose 0 = p + 4*o + 47, -2*o + 33 = -p + 4. Let h = 64 + p. Solve -4*q + u - 17 = 0, 3*u + h = -q - 3*q for q.
-5
Suppose -g = -2*g + 3*r, 20 = 3*g - 5*r. Solve 3 - g = -w - 3*p, -5*p + 12 = -w for w.
3
Let d be (-2)/