 v.
-4
Let t = -81 + 87. Solve 5*s = 4*o + 30, 2*s = t*s + 4*o + 12 for s.
2
Let b = -53 + 55. Solve -4*w + u = -b*u + 4, 0 = -3*u + 12 for w.
2
Let t be 378/(-108)*(-8)/7. Solve 0 = s - t*v + 6, v + 2 = 2*v for s.
2
Let i = 7 + -3. Suppose 4*o - 6*o - 2*q + 16 = 0, 4*o - 22 = -2*q. Suppose o*r + 2 = i*r. Solve -3*m + r*m = 3*n - 14, 0 = 4*m - 2*n - 14 for m.
5
Let p(v) = -v**2 + 3*v + 6. Let q = -16 + 20. Let a be p(q). Suppose 0 = 4*t - 3*t - a. Solve 5*c - 2*z - 2*z = -5, t*c = -z - 15 for c.
-5
Let b(g) = g**3 + 7*g**2 - 9*g - 11. Let q be b(-8). Let s = q - -15. Let n be ((-4)/s)/((-1)/3). Solve v + 3*w + 0 = -n, -4*w = 3*v - 7 for v.
5
Let m(r) be the second derivative of r**5/20 + r**4/4 - r**3/6 - 2*r**2 - 8*r. Let i be m(-2). Solve 3*u - 7*n + i*n = -14, 16 = 4*n for u.
2
Let p be (16/(-6))/((-14)/63). Let x be -26 + (-3)/p*-4. Let j = x + 27. Solve -2*s + 8 = j*y + s, 5*s = -2*y + 8 for y.
4
Let f = 33 - 23. Let p = f + -10. Suppose p = 3*z - 0*z. Solve 2*j - 3*a + 16 = z, 0 = -a + 2 for j.
-5
Let v be (-22)/(-5) + (-10)/25. Let p(w) = -8*w + 2*w + 17 + w + v*w. Let h be p(6). Solve 3*r - n - 6 = 0, 4*n + h = -r - 0*n for r.
1
Let o = -20 - 49. Suppose -2*q - 248 + 50 = 0. Let r = o - q. Solve 0*f - r = -4*f - 2*m, 5*m = -4*f + 45 for f.
5
Let a(v) = v**2 - 6*v + 7. Let z be a(5). Let o be (3/2)/(z/4). Solve -2*q + 4*g - 14 = -4, q + o*g - 20 = 0 for q.
5
Let z(y) = y**2 - 9*y + 23. Let j be z(6). Solve -4*x + 24 = j*c, 0 = -2*c - 4*x + 9 + 3 for c.
4
Suppose 25 = 2*o - 13. Let h = 16 - o. Let y be (8 + 0)/(h - -5). Solve -t - 5 = -y*f, -4*f = -4*t - 0 - 8 for t.
-1
Suppose -276 + 228 = -12*b. Solve -4*g - 18 = f, 5*g + b*f + 21 = 2*f for g.
-5
Suppose 2*s + 3*d - 3 - 19 = 0, -3*s = 5*d - 35. Suppose -4*y + 60 = 44. Suppose -w = -l + 6, 0 = -y*l - 3*w - w. Solve f - s*f = -4*n + 8, l*f + 4 = n for f.
-1
Let o(p) = p**2 + 6*p - 107. Let x be o(8). Let f be 3 + 1 + (2 - 6). Solve f + 12 = 3*b - 3*j, 5*j + 20 = -x*b for b.
0
Let f(c) = -c**3 - 4*c**2 + 2*c + 8. Let y be f(-4). Suppose -3*q + 1 = b, -b + 6*b + 4*q - 27 = y. Solve 5*m = -3*x - 33 + b, x - 18 = 5*m for m.
-4
Let q = 11 - 10. Let r(s) = -s - q + 9 + s**3 - 3. Let k be r(0). Solve -4*l = l + k*u + 25, -5*u = 20 for l.
-1
Suppose 3 = -n - 0, -5 = r + 3*n. Let s(t) = -t**2 - 6*t + 2. Let a be s(-5). Let f = a + -7. Solve 4*v - v - 1 = -z, -r*v - 2*z = f for v.
1
Let m be (-11)/66*9*-2. Suppose -4*i = -3*h - 0 + 30, 5*h = i + 50. Solve h = 5*a - 5*t, 0 = -m*t - t - 20 for a.
-3
Let y(a) = -a**3 + 11*a**2 - a + 14. Let r be y(11). Suppose -r*g + 4 = -11. Solve 39 - 9 = 5*b - 2*j, 0 = 3*b + g*j + 13 for b.
4
Let s(h) = -9*h + 3. Let c be s(-3). Let p be 2/(5/(-7 - -2)). Let b(a) = a**3 + 2*a**2 - a. Let j be b(p). Solve 0*g + 3*g - 20 = -o, 0 = j*g + 4*o - c for g.
5
Suppose 5*j = 10*j - 70. Solve -j = -4*l + h, 18 = -3*l + 7*l - 3*h for l.
3
Let w = 11 + -8. Let s be (0/(-1 + w))/1. Suppose -l = s, -5*j + l - 5*l + 15 = 0. Solve j*n + 2*n = 10, -2*h + 6 = 5*n for h.
-2
Suppose 20 = -5*x, 3*r + 13 = -0*x - 4*x. Let s be 2 - (r - (-4)/(-1)). Suppose -s*t + 20 = -t. Solve 2*f = -t*u - 3 + 9, -2*u + f = 3 for u.
0
Suppose o + 2*o - 15 = 0. Suppose 3*v - 28 = -v. Let x = v + -5. Solve 0 = x*b + 2*j - o - 3, 4*j = 2*b + 4 for b.
2
Let g = -4 + 9. Let u(b) = -2*b - 9. Let j be u(-8). Suppose 0 = -g*s + j + 13. Solve 3*y - 25 = 4*v, -s*y - 1 + 5 = 2*v for v.
-4
Let f(b) = 5*b**3 - b**2 + b - 1. Let t be f(1). Let k be 1 - (-1 + (-4)/t). Suppose k*s - 7 = 8. Solve s*c + 10 = 0, -q + 4*c + c + 14 = 0 for q.
4
Let o(t) = -37*t + 703. Let m be o(19). Let c(r) = r - 2. Let w be c(3). Solve 3*f - 5*b = 2 + 15, -f - 5*b - w = m for f.
4
Suppose -2*j = -3*j. Let z(n) = 2*n + 3*n**2 - 8 + n**3 + j - 13*n**2 + 8*n. Let w be z(9). Solve -u = q - 2, 0 = 4*u + u - 4*q - w for u.
1
Let s(q) = -q**2 - 6*q - 2. Suppose -15 - 35 = 10*b. Let w be s(b). Solve 0 = 5*v, -x - w*v = 4*x + 5 for x.
-1
Suppose -17 = 2*l - 27. Let w be 10*5/4*2/l. Let z be (1/3)/((-2)/(-30)). Solve 2*j - 3*o - 6 = 0, z*j - 3*o - w = 1 for j.
0
Suppose -14 + 6 = -5*k - 4*p, 3*p - 6 = 4*k. Suppose -5*i + 9 = -k*j + 2*j, -1 = -3*j + 5*i. Solve -o + 1 = -d, -j*o = -4*d - 16 + 4 for o.
-4
Let a(o) = -7*o - 45 + 11 - 2*o. Let c be a(-4). Solve -c*z = -7*z + 10, 0 = -2*p - 4*z + 6 for p.
-1
Let v(p) = p**2 + 7*p + 8. Let g be v(-6). Suppose 4*r = -g*n - 24, 3*n + 0*n = 12. Let l be -3*2/r*4. Solve z - 5 = -4*y - 3, z - 1 = -l*y for z.
-2
Let y(h) = -h**3 + 30*h**2 - 30*h + 33. Let k be y(29). Solve -12 = k*f - 5*x, -1 = 3*x - 13 for f.
2
Let a be 2*3/(2 - -1). Suppose 0 = -a*l + 4*y, -l + 6*y = y + 12. Suppose l*b - 15 = 3*b. Solve 2*c + 3*c = 5*p, b*p - 4*c = 0 for p.
0
Let k(n) = -20*n + 1369. Let p be k(68). Let a(m) = m**2 + 10*m + 3. Let z be a(-6). Let v = 33 + z. Solve 0 = 4*s + 4*b - 3*b - p, 0 = s + 5*b + v for s.
3
Suppose 0 = 4*h - j - 12, 4 = -2*j - 4. Let x = -6 + 22. Solve -2*c = 2*c + p - 5, -5*c + h*p + x = 0 for c.
2
Let o(u) = u**3 + 17*u**2 + 15*u - 14. Let t be o(-16). Let r = 44 - 44. Solve 0*l = -5*b + 3*l + 19, -l + t = r for b.
5
Suppose -6*l - 36 = -3*l. Let t = l + 15. Suppose -3*k = -4*k + t. Solve -k*c - 27 = 5*h, c - h = -4*h - 13 for c.
-4
Suppose -3*j + 4*j + 1 = 0, t + 5*j = 0. Solve -t*b - 2*y = -3*b - 6, -b = -2*y for b.
2
Suppose -w + 29 = -0*w. Let q = -49 + w. Let x be (-6)/3 - (q - 0). Solve -3*z + 30 = -5*i + 6, 2*z = 4*i + x for z.
3
Let y(w) = -w**3 + w - 1. Let a be y(-2). Let h = -11 - 5. Let n = h - -45. Solve 2*r + 0*q + 18 = -4*q, a*q + n = 4*r for r.
1
Suppose 4*n = 4*w - 8, 0*n = n. Let p(k) = 16 - k + 2 + 3. Let g be p(17). Solve 2*c = -3*c + 5*s + 10, g = 2*c + w*s for c.
2
Suppose 0 = -9*h + 3 + 24. Suppose 0 = -4*q + h*q + 3. Solve -2*j = y + q*y - 14, 5 = 2*y - j for y.
3
Let r = 74 + -64. Suppose -6 = r*y - 26. Solve t - 30 = 5*s, 2*t = t + y*s + 15 for t.
5
Suppose -4*i + i = -51. Suppose 4*t - i = 27. Let k = t - 11. Solve k = 5*w - 3*g + 22, -3*g - 18 = -0*w + 3*w for w.
-5
Let y(q) = q**3 + 9*q**2 - 12*q + 7. Let p be y(-10). Suppose -p = -2*s + 45. Let l be (46/(-6))/((-12)/s). Solve 4*j = -j + 3*f + 5, -2*j + l = 3*f for j.
4
Suppose -5 = v - 2. Let o be 0 + v/(-6)*8. Suppose 3*n + n = 4. Solve 20 = o*m + 4*y, -5*m + 3*y + 2 = n for m.
2
Let o be (-3 + -3 - -20) + 0 + -2. Let c be (o/(-18))/((-3)/9). Solve 3*v - 14 = c*v + 4*a, -3*v + 12 = -2*a for v.
2
Let x(w) = w**2 + 8*w - 33. Let r be x(-13). Solve -3*j = -o + 2 + 2, 4*j + r = -4*o for j.
-3
Let w be 3 + (-6)/(0 + 2)*-1. Solve 0 = -3*m + 2*c - 2 + 7, -m = -5*c - w for m.
1
Suppose 4*r = -67*r + 213. Suppose -l + 6 = z - 2, l + 17 = 4*z. Solve -5 = z*p, 4*p + p = r*f - 20 for f.
5
Let v be (1 - 39)/(6/3). Let h = 1 - v. Suppose -f + 4*l + 11 = 0, 3*l = f - 3*f + 33. Solve -5*n = 5*a + h + f, -3*n + a - 9 = 0 for n.
-4
Let w(y) = -9*y - 320. Let f be w(-36). Solve -5*l = r + 8, 5*l - f*l = r + 2 for l.
-1
Let y = 1256 - 1250. Solve 0 = 3*j + y, -4*k + 0*j + 22 = -j for k.
5
Suppose 3*w = -5*t, -t - 2*w = -4*w. Let o be -6*15/(-9) + 2. Suppose -o*g + 11*g = t. Solve 5*f = 4*a - 4, -4*f - 12 = -a - g*f for a.
-4
Let r = -6 + 8. Suppose 2*a = -5*u + 1, 0 = r*a - 5*u - 31 - 20. Let g = a - 8. Solve 18 = -5*z - 4*s, g - 13 = 4*s for z.
-2
Suppose -5*c = -q + 6 + 3, -5*c + 3 = 2*q. Suppose 92 = 5*n + 52*n - 136. Solve n*f + 16 = -z, q*z + f = -z - 4 for z.
0
Let w = -178 + 181. Solve -8 = 4*h + v, -2*v = -w*h - 0*v - 6 for h.
-2
Let k be 3 - (3 + -3) - -1. Solve -5*x - 3 = c, 2*x - k*c - 4 + 14 = 0 for x.
-1
Let w = 746 - 745. Solve -17 = 2*y - 5*m + w, m + 2 = -y for y.
-4
Suppose -3*r - 4*w + 146 = 0, 5*r + w - 236 = -4. Let j = r - 45. Let a(d) = -3*d - 3. Let l be a(-3). Solve -2*n + 3*p + j = 0, -p + l = -5*n - 11 for n.
-4
Let v be (4 - 4 - 0)/(-1). Let n be v*(-4 - (-45)/12). Solve n = 4*a + 2*j - 14, 2*a + j = -a + 9 for a.
2
Let y = -640 - -644. Solve 5*r + 25 = y*t, -5*t + 4*r = -0*r - 29 for t.
5
Suppose 4*p - 5*y - 5 = 9, -4*y = -p + 9. Let f be p/(((-1)/(-3))/(8/6)). Solve -4*i + 3 = x, f*x = x + 2*i - 5 for x.
-1
Let x(m) = 2*m + 17. Let q be x(-6). Solve -c = -3*o - 0*c, q*c = 3*o - 12 for o.
-1
Let v be (1 - (-2)/(-8))*4. Suppose j + 47 = 4*h - 25, -402 = 5*j + h. Let i = j - -82. Solve -3*t = -3*g - v, 4*t +