 2 = 0, -t - 2*t - 13 = 4*h for t.
1
Suppose -4*y + 40 + 73 = 3*k, 75 = 3*y - k. Let z = 1305 - 1302. Solve y = -z*w + 5*m, m - 5*m = w - 14 for w.
-2
Let o = 703 - 681. Solve o = -2*t + 6*a - 3*a, 2*a = t + 13 for t.
-5
Let b be 66/14 + (38/(-14) - -3). Suppose -5*o = -b*c - 15, -3*c + 2*c - 2*o = -12. Solve -c*l + 0 = 2, -3*l = 5*g - 12 for g.
3
Let v be 2/(-4) - (-413)/(-14). Let c be 11/3 - (-20)/v. Let s = 15 - c. Solve 0 = 4*d - u - 1 - 3, 0 = 3*d + 3*u + s for d.
0
Let c(y) = 3*y. Let a(b) = 13*b + 1. Let w(p) = 2*a(p) - 9*c(p). Let n be w(2). Let x = -3 - -3. Solve 4*t - 15 = -x*t - 5*u, n = 5*t - 2*u + 6 for t.
0
Let r be (3 - 1)/(7/(0 + 14)). Solve 5*a + 12 = -q - 7, 0 = -r*a - 16 for q.
1
Let f = -94 - -96. Suppose -f*d + 0*d = 3*d. Solve n - 4*p = -18, 0 = n - d*n - 5*p + 22 for n.
-2
Suppose -5*o - 4 = -79. Suppose 11*a = o + 7. Solve 5*b + 25 = -5*y, -3*b - 1 = a for y.
-4
Let y = -3 - -6. Suppose -y*s - s = 0. Let p be s/3*(5 - 4). Solve 4 = 2*f + v - 7, p = -5*f + 3*v for f.
3
Let t = 494 - 491. Solve -4*v + 5*a = 1, t*v - 7 = -0*v - 4*a for v.
1
Suppose 0 = -20*z - 6 + 146. Solve -7 = 5*w - 3*n, n - 2*n - z = 3*w for w.
-2
Let m(h) = -10*h - 47. Let k be m(-5). Let c be -1*(0 - -3 - k). Solve 2*u - 2 = 4*j, -3*u = -c*u + 5*j + 8 for u.
-1
Let j = 249 - 154. Suppose -8*x - j = -13*x. Solve -x = 5*r - 3*z, 8 = 3*r + 4*z + 2 for r.
-2
Let x(h) = -h**3 + 6*h**2 - 4*h - 5. Let o be x(5). Let c = 25 + -17. Suppose -4*u - c = -16. Solve o = -u*g + 7*g - 3*s, -2*g + 5*s - 19 = 0 for g.
3
Suppose 8 = -2*f + f. Let z = -6 - f. Suppose 3*t - 2 = z*t. Solve -2*d = -0*d + t*i - 12, -4*i = -3*d + 11 for d.
5
Suppose 4*d = 9*d - 65. Let g = d - 9. Solve 3*h = i + 2*i, i - g*h = 0 for i.
0
Let w(b) be the second derivative of b**4/12 - b**3/3 - 3*b**2/2 - b. Suppose 4*d - 19 = -3. Let x be w(d). Solve -2*t = x*m - 20, 0*t - 2*m + 8 = -4*t for t.
0
Let r(m) = -m**3 + 13*m**2 + 13*m + 17. Let g be r(14). Suppose -6*w + g*w = -15. Solve -q + 3*p - 9 = 0, -2*q + 4*p - 19 + w = 0 for q.
-3
Let r = 8 + -7. Let h = 0 + r. Suppose -w - h = -3. Solve 3*c + 5*j + 16 = 0, 0*c = 2*c + w*j + 8 for c.
-2
Let g(m) = -5*m - 15. Let o be g(-4). Suppose -t = 3*t + 12, o*s - 31 = 2*t. Solve 3*n - y + 3 = 0, -2*n - 3*n + 2*y = s for n.
-1
Let m = 700 - 698. Solve -12 = 4*d - 4*r, 6*d + 3 = 5*d - m*r for d.
-3
Let d = -109 + 55. Let r = d + 57. Solve -1 = -s + 3, r*x + s - 7 = 0 for x.
1
Suppose 2*f = -2*p + 8, 6*p + 3 = 3*p + 2*f. Let j = p + -1. Let q be (-4)/4 + ((-2)/3)/((-8)/84). Solve -3*c = 4*u - q, j = -0*u + u - 2*c - 7 for u.
3
Let n(o) = 2*o. Let w(u) = u**2 - u + 5. Let q(r) = 3*n(r) - w(r). Let b be q(2). Solve 4*g - 4*z = -8, -b*z = 5*g - 11 + 51 for g.
-5
Let k = -1177 - -1178. Suppose 0 = -b + 3 + 1. Let y(p) = p**3 - 4*p**2 + 5*p - 6. Let i be y(b). Solve 2*r + 2*t = 10, -4*r + i = -3*t + k for r.
4
Suppose 0 = -u - 4*u - 645. Let j be u/(-27) + (-14)/(-63). Solve -j*t - 4*s = 9, -5*t - 2*s - 7 = -0*t for t.
-1
Let l be 2/(-5) - (-34)/10. Let n be ((-21)/(-9) + -2)/(2/(-12)). Let p be n*1/6 + 78/18. Solve -p*w + 5*h - 13 = -2*w, l*w - 2*h + 3 = 0 for w.
1
Let b be ((-45)/6)/(45/(-108)). Let f be (-24)/b - (-5)/(-3)*-2. Solve -2*s + 5*k = -4 - 4, -f*k - 4 = -s for s.
4
Let o be (-1012)/(-6) + (-5)/(15/2). Suppose 0 = -7*n - 0*n + o. Solve 2*r + 5*m = n, 0 = r - 2*m + 4*m - 10 for r.
2
Suppose z + 3 - 8 = 0, -5*j + 20 = z. Solve 13*n - 10*n = j*d - 9, 4*d = n for n.
-4
Let y(n) = -n**2 + 4*n - 4. Let x be y(-9). Let u = 121 + x. Solve 4*d - 3*o + 32 = u, -4*d + d = -o + 19 for d.
-5
Suppose -3*b - 14 = -44. Let x be 27/(-6)*b/(-3). Let c = x + -8. Solve 22 = 4*a + 2*t - c*t, 4*a + t - 10 = 0 for a.
3
Let a(z) = z + 4. Suppose 2*g + 4*i + 1 - 3 = 0, -2*g + 8 = i. Let d be a(g). Let c be d/12 - (-10)/8. Solve -c*v = 2*f, 5*v + 0*v - 2*f + 35 = 0 for v.
-5
Let v = 16 - 18. Let k be -4*(3 + 3) - v. Let i = k - -22. Solve 5*c = 3*f + 4, i = -5*f + 2*f - 5*c - 14 for f.
-3
Let k(v) = v**3 + 10*v**2 + 14*v - 14. Let h be k(-8). Solve 8 = 2*c, 5 = 5*l - 2*c - h for l.
3
Suppose 4 = -5*z - 2*d, 5*z = -9*d + 12*d + 6. Solve -2*n = 5*c - 7, 2*c - 5*n + 3 + z = 0 for c.
1
Suppose y = 5*c - 8*c - 1, 0 = -2*c - y - 1. Solve 3*d + 3*h + 11 = -h, c = -3*h - 15 for d.
3
Let u = 1054 - 1054. Solve o + 2*t - 13 + 5 = 0, o - t + 7 = u for o.
-2
Let b be 93*(-4)/(-12) - -3. Let j = b - 25. Solve z - 5 = k, 3*k = -2*k + z - j for k.
-1
Suppose -40 = -27*r + 31*r. Let s be (-7)/(70/4) - 54/r. Solve -2*c = s*j - 17, -7 + 3 = 2*c - 2*j for c.
1
Let u(d) = 2*d**2 - 9. Let p be u(-4). Solve 3*c + 3*j = 24, -3*c - c + p = j for c.
5
Suppose 3*o = -4*a + 47 - 167, -o - 95 = 3*a. Let j = 53 + a. Solve -j = 4*n - 4*h, n + 4 = -n - 4*h for n.
-4
Let j = -136 - -139. Solve -2*f + j*v = 12, -f + 2*v - 3*v = -4 for f.
0
Let h = -1017 - -1021. Solve 0 = -2*s - 5*b - 12, b = -h*b - 20 for s.
4
Let k = -63 - -66. Suppose -5*f + 10 = -0*y + 2*y, k*y = -5*f + 5. Solve 0 = 4*i + x + 5, 0 = -3*i + i + f*x - 16 for i.
-2
Suppose -25 = -5*c + 5*f, -2*f = f + 9. Suppose -u + k - 2 = 0, u - 5*u - c*k + 16 = 0. Suppose -u*y = -y - 12. Solve y = -4*p + 4*b, p + 2*b - 18 = 6*p for p.
-4
Suppose 2*r + 11 = -1. Let j = -7 - 1. Let c be ((-3)/(-2))/(r/j). Solve 3*s + 2*a = -0*a + 1, -c*a = 2*s + 2 for s.
3
Suppose 0*o - 3*o + 12 = 0. Let z = -663 - -667. Solve 4*g + 0*g + z*j + o = 0, 0 = 3*j + 9 for g.
2
Let n = -42 + 54. Solve -d - 1 - 1 = l, n = 2*l - 2*d for l.
2
Suppose 0 = -75*x + 62*x + 52. Solve 4*y - 3*u = 9, -2*y + 12 = -0*u - x*u for y.
0
Let a(w) = w**2 - w - 3. Let b be a(3). Let j = 285 - 168. Let k be b/(-2) - j/(-18). Solve 2*o + 0*o + 4*p = -8, o + k = -3*p for o.
-2
Suppose q + 5*t - 3733 = 0, 4*q - 5*t - 11159 = q. Let z be (-3)/8 + q/136. Suppose z*r = 26*r + 2. Solve -5*j = -10, -4*j = 5*b - r*b - 14 for b.
2
Let s(o) = 8*o - 2. Let i be s(2). Suppose 0 = -4*l - 4*f, l - 2*f - 11 - 1 = 0. Solve -l*v - 5*k + 7 + 10 = 0, k = 5*v - i for v.
3
Suppose 13 = 6*j - 5. Suppose 3*z = -5*c - 2*z + 5, -4*z = j*c - 2. Solve 2*u = -4*t - 6, -c*u + 3*t = u for u.
-1
Suppose -v + 10*i = 15*i, 0 = 2*v + 4*i. Solve -4*l + 7 = a - 0*l, v = -3*a + 2*l - 21 for a.
-5
Suppose -29*q = 7*q. Solve 4*m + 8 = -3*h, q*m - m = -3*h + 2 for h.
0
Let y be (-4)/10 - (-231)/15. Let i be (-6)/(-4) + y/2. Let w be 1*(-2 - (3 - i)). Solve -v - 10 = 2*o, -2*o + w*v - 2*v = 10 for o.
-5
Let h = 710 + -707. Let y(p) = p**3 - 4*p**2 - 3*p - 6. Let c be y(5). Solve c*v + 17 = 5*k - 10*k, 2*k - h*v = -16 for k.
-5
Suppose 11 - 4 = 3*u - h, 5*u = -4*h + 23. Solve 2*s + u*s + 19 = 2*y, -4*y + 11 = -s for s.
-3
Suppose -f + x = 0, -7*f + 12 = -2*f - x. Solve 3*u + 6 = f*z - 9, z - 3*u - 9 = 0 for z.
3
Let m(x) = -x**3 - 3*x**2 + 4*x + 5. Let o be m(-2). Let p be (-6 - o)/(3/84). Solve 3*g + p = -5*w, -3*w - 2*g = -w + 12 for w.
-5
Let a = 1 + 2. Let o(q) = -q**3 + 3*q**2 + 4*q + 3. Suppose 4*f - 2*m = 26, m + 1 = 4*f - 20. Let n be o(f). Solve 0*b - n*u = -a*b + 18, -b + 18 = -5*u for b.
3
Suppose 3*k - 5*x = -3*x + 37, -3*x = -k + 24. Suppose -27 = -k*h + 18. Solve 4*m + 19 = -h*r, -r - 12 = 2*r + 3*m for r.
-3
Let q be (1*-2)/(4/(-30)). Let g = 36 + -43. Let t = -2 - g. Solve -5*h = -4*f + t, -2*f = -0*h - 5*h - q for f.
-5
Let l(f) = -f - 104. Let w be l(0). Let z = -178 - w. Let k be z/(-3) - 6/9. Solve -16 = -x + 5*t, -k = -x + 5*x + 2*t for x.
-4
Let g(r) = r**3 + 9*r**2 - 11*r - 8. Let o(f) = 3*f + 23. Let a be o(-11). Let n be g(a). Solve n*y - 18 = -4*m, -y = 5*m - 28 + 7 for y.
1
Let u = 2460 - 2451. Solve u = 4*m - 3*a, m - 5*m - 15 = 5*a for m.
0
Let t(j) = 2 + 2*j**3 - j**3 + 6*j + 8*j**2 + 6 - j**2. Let v be t(-6). Solve 3*i + 4*g = 11, 4*i - 2*g - 14 = v for i.
5
Let l = -95 + 75. Let w be (l/5)/(-4)*(0 + 3). Solve 4*q + q + r = 3, 3*q - r = -w for q.
0
Let p = -26 - -22. Let k be (2 + 2 + p)*(4 - 5). Solve -5*d - 2*o - 12 = k, 4*d - 5*o + 57 = 21 for d.
-4
Suppose 133 = -z + 20*z. Solve 0 = -w + 4*l - 5 + 28, 0 = 4*w + l - z for w.
3
Let i(p) be the first derivative of -p**2/2 + 5*p + 16. Let a be i(4). Solve 3*c - n = -5, -3*c - n = -0*c + a for c.
-1
Suppose -3*c = 3*i - 15, 0 = -3*i + 4 + 8. Let f(y) = 9*y**2 - 1 - 21*y + 23*y - 6*y**2. Let u be f(c). Solve 5*a = q + 4 + u, 4*a - 4*q - 16 = 0 for a