pose -2 - 13 = -u*a. Let c = -6 + 14. Solve c = 4*z - 3*v + 27, a*z - v = -10 for z.
-1
Let a = 91 + -92. Let h(g) = -9*g - 4. Let b be h(a). Suppose 3 = 3*l - 0, 2*c + l = 1. Solve c*z - 6 = 3*z, -4*f - b*z = 26 for f.
-4
Let x(q) = -4*q**2 - 19*q - 6. Let g be x(-4). Solve j - 3*c = -g*c - 19, 4*c + 24 = -j for j.
-4
Let v(j) = -j**2 - 7*j + 21. Let m be v(-9). Let n be (2 - 5/(-5)) + m/1. Solve 0 = 5*l - t - 3, -2*t = -4*t - n for l.
0
Suppose -35*i = -22*i - 39. Solve -20 = i*v - 2*r, 0*v + 8 = -3*v - r for v.
-4
Let f = -30 + 16. Let k = f + 14. Solve -2*z = v, -2*z + z + 2*v + 10 = k for z.
2
Let w(q) = -2*q - 7. Let f be w(-5). Suppose -3*v + 10 = -0*v - 5*z, 29 = 5*v + 4*z. Solve 12 = f*d, d = v*x - 2*d + 12 for x.
0
Let w be (28/12)/((-2)/(-6)). Let p be 7/(w/(-2)) + 3. Let v(t) = 26*t**2 - t + 1. Let b be v(p). Solve h + 5*i + b = 0, -4*h + h = -4*i - 17 for h.
-1
Suppose 0 = 11*t + 45 - 67. Solve 0*w - w - 9 = -2*x, t*w + 9 = x for w.
-3
Suppose -7 - 9 = 4*c. Let g be c + 6 + -2 + 16. Let f = 17 - g. Solve 1 = -d - u, -5*d = -3*u - f + 6 for d.
-1
Suppose -7*d = 2*k - 5*d - 32, k + 4 = 4*d. Solve -4*q = -0*q + 2*w - k, 2*w - 3 = 5*q for q.
1
Let m be 9*(-2)/((-11)/((-88)/(-16))). Solve -5*s - 4*d + 12 = 0, 13*s = 15*s + 3*d - m for s.
0
Suppose 12*k = 27*k. Solve 0 = -d - 1, k = 5*t - 5*d + 15 for t.
-4
Let z be -2*(297/(-22) + 11). Solve z*g + 1 = -2*s + 13, 0 = s - g + 1 for s.
1
Suppose -4*c - 62 = -74. Solve 3*r + 2*u + 9 = c, -6 = r + 2*u for r.
0
Let p be (190/(-57))/((-2)/3). Solve -q + 5*q = 5*h + p, -3*q + 2 = -2*h for q.
0
Let r(k) = 3*k**2 - 6*k - 10. Let v be r(-6). Let m = -131 + v. Solve -5 + 11 = 2*t - 2*d, m*t + d - 13 = 0 for t.
4
Let c = -11 - -27. Suppose c = -40*y + 44*y. Solve 5*h = -p + y*p + 4, -9 = 2*p + 3*h for p.
-3
Suppose 2*r - 4*z = 6 + 42, -2*z - 112 = -5*r. Solve -2*p = 2*t - 14, t + r = 2*t + 4*p for t.
2
Let l = 443 + -441. Solve 4*q = -l*m + q + 2, -29 = 5*m - q for m.
-5
Let x(c) = c - 1. Let v be x(2). Let j = 4 - v. Let r = 1382 + -1367. Solve 5*y + 3*q - j = r, 3*y - 4*q = 5 for y.
3
Let y(l) = 2*l + 8. Let m be y(-2). Suppose 0 = m*a + a - 25. Solve 4*w + 2*i = 3 - 1, -w + a*i + 28 = 0 for w.
3
Suppose -6 = -25*j + 23*j. Suppose -2*f + 4*t - j = -5, 19 = 5*f + 4*t. Solve 0 = 4*o - o - 5*c - 4, f*c - 3 = 0 for o.
3
Let a(x) be the third derivative of -x**5/4 + x**3/6 - 4*x**2. Let t be a(1). Let p = t - -18. Solve -9 = p*s + 4*q - 25, 2*s = -q + 6 for s.
2
Let c = 98 - 151. Let b = -38 - c. Solve -f + 3*d + b - 5 = 0, 5*f - 3*d - 14 = 0 for f.
1
Suppose 183*i - 12 = -4*r + 179*i, -5*r + 3*i = -23. Solve t - 3*l + 3 + r = 0, 0 = -t - 2*l - 2 for t.
-4
Let z be 30/16 - ((-125)/40 - -3). Solve 0 = 2*c - 0*c - 4*g - z, 0 = g for c.
1
Let u(x) = 4*x + 15. Let g be u(-4). Let r be (-7)/(-14)*(-1 - g). Solve -i - 5 = 4*a, 5*i - 23 = -r*a + 4*a for a.
-2
Let w be (80/(-15) - -5)/((-2)/150). Suppose -w + 20 = -r. Solve r*c + 3*p + 5 = 2*p, 2*c + p = 1 for c.
-2
Let k = 1535 - 1531. Solve 12 = -4*d, -4*x - k*d - 2 = -6 for x.
4
Let x be (-2 - -5) + 5*10/25. Let m(p) = -2*p**3 + 9*p**2 + 3*p + 12. Let v be m(x). Solve -r = -5, 0*g + 14 = -4*g + v*r for g.
-1
Suppose -40 - 29 = -23*y. Solve y*r - 8*j = -9*j - 11, 0 = -3*r + 3*j - 15 for r.
-4
Let b(g) = g + 8. Let d = -1 + -4. Let a = d - 0. Let x be b(a). Solve 3*s + 4*f + f - 2 = 0, -x*f - 22 = -4*s for s.
4
Let d = 0 - -7. Let l(s) = -s**3 + 2*s**2 - 7*s + 6*s**2 + 5 + 2. Let b be l(d). Solve -4*n = 2*w - 3 - b, 5*w - 3*n = 25 for w.
5
Suppose a = -a - 4*g + 22, 3*g + 94 = 5*a. Let c(t) = -13*t**3 - 1. Let i be c(-1). Let f be 3/i - (-55)/4. Solve 5*x - 3*o = -f, 3*o = 5*x - o + a for x.
-1
Let h(o) = -o**2 - 22*o - 38. Let i be h(-20). Let c be 0 + -1*1 - -3. Let y = 25 - 14. Solve -2*s - y - 1 = -c*a, a + 6 = -i*s for a.
2
Suppose 5*p - 39 = 1. Suppose -m - 4 + p = 0. Solve 4*j - 24 = -0*b - m*b, -b = -2*j + 6 for b.
2
Suppose -3*y = 5*f - 14, 0 = 4*y - 3*f + 3 - 41. Solve 2*b = 3*u + 20, y = 4*b + 2*u - 0 for b.
4
Let h(d) = d - 1. Let k be h(3). Suppose 4*w - k = 3*w + 3*j, -2*w = 4*j - 4. Solve 3*f - 4*m - 25 = 0, -2*f + 0 - 2 = w*m for f.
3
Let z = -32 - -49. Suppose 9*l = z + 91. Solve 2*o = -2*x - x - 1, -4*x + l = 0 for o.
-5
Let h(a) = -a**3 - 8*a**2 - a - 5. Let x be h(-8). Let r = x - -2. Solve d + 0 - 1 = r*s, s - 4*d = -4 for s.
0
Let t = 59 - 64. Let o(j) = 3*j + 19. Let k be o(t). Solve 5*s - 4 = -3*r + r, -r = k*s - 5 for r.
-3
Suppose 0 = 5*n - 5*m, 0 = 5*n - 6*m + 10*m - 27. Solve 10 = b + 3*h, 5*h + 0 = n*b + 12 for b.
1
Let h be 64/10*(-15)/(-6). Let k = 19 - h. Solve -4*t = b + 21 - 2, 0 = 3*b - k for t.
-5
Let u(j) = j**2 - 14*j + 17. Let y be u(12). Let c(o) = o**2 + 12*o + 16. Let s be c(y). Let h = s - -26. Solve 3*b = n - b + 13, 4*n = b - h for n.
-1
Let l be (6/(-4))/(((-7)/38)/(-7)). Let n = -55 - l. Solve -5*w + 0*t = 2*t - 8, n*t = -2 for w.
2
Let l(u) = -u**3 + 3*u**2 + u + 1. Let o be l(3). Let q(i) = i**2 - 15*i + 9. Let d be q(15). Let r = 12 - d. Solve 2*a = 5*b - 28, 2*b + r*a + o = -0 for b.
4
Suppose -4*p = -2*g - 26, -3*g = -6*p + 9*p - 15. Solve 5*n = -5*z + 5, -p*z - 29 = -5*n - 3*z for n.
4
Let u be 0 - 3/(-6)*2. Suppose 6 = q - u. Let y(j) = 2*j - 16. Let p be y(16). Solve i - q = -2*k, 6*k = -i + k + p for i.
1
Let n(z) = -2*z**2 - 99*z + 52. Let v be n(-50). Solve -5*c - 45 = 5*b, -3*b = -4*c + v*c + 7 for c.
-4
Let y(x) = -20*x - 275. Let c be y(-15). Solve -5*i = 2*o - c, -3*o - 2*i + 0*i + 21 = 0 for o.
5
Let p = 72 - 64. Suppose 2*o = p + 2. Let b(v) = v**3 - 4*v**2 + 2. Let i be b(4). Solve 3*c = -2*a - 2, -i*a + o*c - 4*c = -14 for a.
5
Suppose 3*r - 3 + 28 = 4*a, 0 = 5*a - 2*r - 40. Suppose -2*w = -2*b + a, 3*w = 2*w - 5. Solve b*p = -q - 4*p - 15, q = -p for q.
5
Let o be 140/(2/(-13) + (-210)/(-182)). Let r = o + -138. Solve 0 = d - 2*m - 9, 12 = 4*d + r*m - 4 for d.
5
Let w be (-8 + 3)*(-1 - 0). Let s = 7 + -7. Suppose s = -w*z + 10, -6*i - z + 30 = -2*i. Solve 5*q + 4*v - v = 7, 0 = 2*q - 3*v - i for q.
2
Suppose 2*r + 3*g - 15 = -0*r, 4*r - 2*g + 10 = 0. Suppose r = 3*i - 11*i + 200. Solve 2*l = 4*j - 14, -3*j + 4*l + i = 7 for j.
2
Suppose 0 = 5*b - 70 - 85. Solve 0 = -0*s - 2*s + l + 1, -5*l - b = 3*s for s.
-2
Suppose 3 = -n, -5*m = -m + 2*n - 10. Let j = 770 - 767. Solve r - 5*r - 10 = -h, j*r = -h - m for r.
-2
Let s(y) = 4*y**2 + 18*y - 40. Let g be s(2). Solve 2*h = h + 3*z - 5, -g = -4*z for h.
4
Suppose 11 = 12*z - 25. Solve 4*j - 4 = -3*v, 5*v = z*j - 6*j + 14 for v.
4
Let h(w) = 4*w + 3. Let d be h(5). Let b(u) = 45*u + 240. Let n be b(-5). Solve 3*s = -n, 4 + d = -f - 5*s for f.
-2
Let z = 14120 - 14118. Let q(r) = -r + 7. Let k be q(7). Suppose 5*x = -k*x + 50. Solve z*n - 2*v = x, -5*v = -0 + 25 for n.
0
Suppose -4*o + 7 = 5*i - 18, 3*o + 4*i = 19. Solve -4*l - o = -j + 8, -j = -5*l - 15 for l.
-2
Let n = 35 - 31. Suppose 2 = c - 1. Suppose 5*z - 1 = y, 2*z = c*y + 4*z - 14. Solve 3*q = -s + 3, -4*s = -n*q - 0 + y for q.
1
Suppose -5*i - 2 + 7 = 0. Let m be (2 - (i + -1)) + 2. Suppose 3*c - m*z - 5 - 11 = 0, -c - z + 17 = 0. Solve 2*d = -d - 2*p + 7, c = 3*d + 3*p for d.
-1
Suppose 29*b + 1135 - 91 = 0. Let u(x) = 2*x**3 - 5*x**2 - 2*x - 4. Let h be u(4). Let d = b + h. Solve -4*i = -2*p - p + 6, 5*i - 3*p + 9 = d for i.
-3
Let g be 14/6*(4 + -1). Let d be g + (4 - (3 - -5)). Solve -6 = d*n - 4*u + 5, -5*u + 31 = 2*n for n.
3
Let o be 18/(-27) + (-56)/(-12) + -4. Solve -2*z + o*a = -5*a - 10, a + 5 = z for z.
5
Let t be (-442)/51*(0 - -3). Let p = 31 + t. Solve -2 = -2*b, -3*b = -p*g + b - 29 for g.
-5
Let a(x) = 5*x**2 - 3*x - 2. Let t be a(-1). Let n be (-1 - -2)*12/t. Solve -2*u + 2*s = n, 4*u + 2*s + 20 = -2*s for u.
-3
Let v(b) be the first derivative of 7*b**3/3 + 3*b**2/2 - 3*b - 6. Let g be v(-2). Solve -g = -3*a + a - 3*w, 4*a + 12 = 4*w for a.
2
Let a be (-4 - (-57)/15)/((-1)/5). Let t be -4*(-2)/(-4)*(-1 - a). Solve 2*i + 23 = -5*w, 2*i + 1 - 5 = t*w for w.
-3
Let g(s) = 14*s + 5 - 7*s + 2*s**2 - 3 - 2*s. Let t be g(-3). Solve -t*u - 3 = y, -5*u + 4*y - 9 = 2*y for u.
-1
Suppose 3*u - 80 = -4*k, 2*u - 4 = -2*k + 36. Let x = k - 17. Suppose x*g = 8*g - b - 20, -2*b + 4 = g. Solve h - 16 = -5*q, g*h + 16 = 2*q + 2*h for q.
4
Let z(i) = 7*i - 61. Let q be z(9). Solve -q