. Solve 3*v = z - 14, 2*z + 2 - u = 0 for v.
-3
Let k be 2*2 - (-2)/2. Suppose 10 = 20*a - 15*a. Suppose 146 = 5*y + a*h, -5*y + h + 25 = -4*y. Solve 3*d = -6, -k*d = -2*p - 12 + y for p.
3
Let j(k) = -7*k - 98. Let f be j(-16). Solve -3*v + 5*c = -6*v - 12, -3*c - f = -5*v for v.
1
Let u(g) = -g + 15. Let i be u(7). Let p = 18 - i. Suppose 5*s - 5 = p. Solve -c - k - 1 = 2*c, -s*c - 4*k = -14 for c.
-2
Suppose -4*l - 2*l + 72 = 0. Let x(f) = f**2 - f - 2. Let v be x(4). Let p = 14 - v. Solve -4*y + i = -l, 7*y - 4 = 2*y + p*i for y.
4
Let r = 199 - 194. Solve -r*s - 3 + 0 = 3*i, 0 = 3*i + 4*s for i.
4
Let u(g) = -11*g + 21. Let f be u(9). Let h = f + 80. Solve 0 = h*z - 5*p - 3, 0*p - 4*p - 1 = -3*z for z.
-1
Let t be (10/(-4))/(35/(-70)). Solve 0 = -x - 7*a + 4*a + 10, 0 = 5*x + t*a - 20 for x.
1
Suppose -9*m - 4*g = -5*m, -3*m + 4 = 2*g. Solve m*f = 3*f - 2*k + 9, 2*f + k - 3 = 0 for f.
-1
Let z be (-138)/(-15) - (-36)/45. Solve z = -5*i - 5*h, 3 + 11 = -2*i + 3*h for i.
-4
Suppose z + 3 - 23 = 4*w, 0 = -z - 4*w - 12. Solve -o + 19 = z*h - 3, 0 = 3*o + h - 11 for o.
2
Let h(x) = 6*x - 8 - 2*x**2 - 3 + 6 - x**3 + 0. Let s be h(-4). Solve 12 = -5*y - k, y + 3*y + 14 = -s*k for y.
-2
Let r = -7 - -36. Let l = 32 - r. Solve -y - l*w = -5*w, y = -w for y.
0
Let o(y) = -12*y + 5. Let w = 6 + -2. Let b be o(w). Let k = -29 - b. Solve 5*m = 2*h - 35, m - 4*h = -11 - k for m.
-5
Suppose 9*z + t + 3 = 11*z, 3*z + 2*t - 15 = 0. Solve -x = -o + z, -4*o + 10 = -x - 8 for o.
5
Suppose 200 = 3*g + 2*g. Suppose g = 5*b + 2*r + 2*r, 4*b - 2*r = 6. Suppose -b*q = -p + 5 - 27, -8 = 4*p. Solve -5*c = -c - 4*a + 4, 0 = -q*a for c.
-1
Suppose 0 = -0*n + 8*n - 40. Let z = 101 - 98. Solve -f - n = v, -3*v + 2*f - z = -8 for v.
-1
Suppose 69 = 5*j + 4*k, j = -4*k + 1 - 0. Solve -j = -5*h + 8, 2*h = 4*i + 22 for i.
-3
Let b be (7 + -1)/(24/36). Suppose 15 = 3*n - 0*n. Suppose q + n*f = 2*q + 25, -5*q + 2*f = 10. Solve -3*c - 6 = q, 3*c + 12 = -5*j - b for j.
-3
Let v(a) = -a**2 + 10*a + 13. Let f = -53 - -64. Let b be v(f). Solve 3*h = 3*l + 15, 0 = b*h - 5*l - 5 - 20 for h.
0
Let n(o) = -o**3 - 2*o**2 + 7*o + 4. Let s be n(-3). Let x be ((-28)/s + -3)*22. Solve j + x = v + 6*j, 3*j = -3*v + 9 for v.
1
Suppose y = -y + 12. Suppose -5*v + 3*z + y = -3, 11 = v + 4*z. Suppose r + v*r = -i + 12, -r + 3 = -5*i. Solve -4*x = -5*s - 0*s - 16, -r*s - x - 13 = 0 for s.
-4
Suppose t + 3*u + 19 = 0, -u + 14 = -t - 3*u. Let y be (4 + -3)*(4 + t). Let k = -14 - -23. Solve 3*q + 4*o = -k, y*o + 3 = -q + 3*o for q.
-3
Let l(x) = x**2 + x. Let q be l(1). Suppose -3*s = -7 - 32. Suppose -3*y - s = -43. Solve -3*v = -q*w + y, w = 3 - 1 for v.
-2
Let h = -133 + 138. Solve h = 5*w + 3*k, 0*w - 3*w + 3*k = -3 for w.
1
Let z = -47 + 33. Let w = z + 19. Solve -w*f + 0*a = -3*a - 9, f = a + 3 for f.
0
Let v(i) be the first derivative of i**2/2 + 7*i - 41. Let k be v(-3). Solve 3*u + 2 = 2*r + 1, -3*r + 2*u = -k for r.
2
Let m be (10 - 95)*2/(-5). Let c = -32 + m. Solve 5*h - 1 - 6 = c*v, -4*h = -2*v - 4 for v.
4
Let d(u) = -39*u - 294. Let i be d(-8). Solve 5*x - 4*n = 12, 5*x - 6 = -2*n + i for x.
4
Let y(q) = q**3 - 18*q**2 - 20*q + 19. Let u be 3 + 4/(-1) + 20. Let r be y(u). Solve 3*h + t - 7 = -3, r = 2*h + t - 4 for h.
0
Let t be (-2 + -4)*2/4. Let s be 9/(-2)*(1 + t). Suppose -2*w + s = w. Solve -w*a - 6 = 4*i, 5*i = a - 5*a - 8 for a.
-2
Let u(g) = g**2 + 2*g + 2. Let o be u(-2). Let n be (-7 - -10) + o/(-2). Solve 2*d + 30 = 5*q, 4*q + n*d + 0*d - 6 = 0 for q.
4
Let v(j) = -14*j + 85. Let d be v(6). Let n(r) = -4*r - 3. Let h be n(-2). Solve 0 = 2*q + 3*z + d, h*z - 5 + 0 = -5*q for q.
4
Let d(a) = -a**2 + 5*a - 3. Let j be d(4). Suppose -2*g = g - 9. Suppose c - 12 = -3*z, -g*z = z + 12. Solve -3*i + c = 3*k, k + 2*i = 3*i + j for k.
4
Let t = -1 + 3. Suppose -38*y + 33*y = 0. Suppose -3*g - 2*v = -9, 3*g + y*v - 9 = 4*v. Solve 3*b - 3 = c - 10, -g*b = -t*c + 2 for c.
-5
Let l be (55/10 - 2)/(2/(-4)). Let q(c) = 7*c**2 + c + 1. Let a be q(-1). Let x = a + l. Solve 6*y = 3*y + 3*h - 3, -3*y + 4*h = x for y.
-4
Suppose 0*j + 5*j = 3*o + 43, 10 = -5*o - 4*j. Let k = o + 8. Suppose -k*b - 64 = -6*b. Solve u + 3*u + 4 = -4*v, -b = -4*v + u for v.
3
Suppose 2*h - 3*i = 4, -h - 4*i + 0*i + 2 = 0. Let a be (h - -1)*16/3. Let f = a - -9. Solve -3*l - l + 23 = -3*r, 3*r - 5*l = -f for r.
-5
Suppose 3*z + 231 = 4*r, -4*r - z + 51 = -160. Let d = r - 46. Let h = -3 + 3. Solve 0 = -5*t - 4*f + d, f - 2 + h = 0 for t.
0
Let n be (-6)/(-15) - (-1)/(5/(-2)). Let s be (6/3)/1 - (2 - n). Solve 0 = 3*x - 3, -2*i + s*x + 4*x = -2 for i.
3
Suppose 0 = 4*d - 8, 9*n - 4*n - 97 = 4*d. Solve 0 = 5*x + 3*t - 5, -21*x + 17*x + n = -t for x.
4
Let g = 108 - 170. Let i = g - -67. Suppose 4*t + 4*z = 64, -20 = -2*t - 4*z + 18. Solve -4*u - 33 = 2*c - t, c - 25 = i*u for c.
0
Suppose 5*q + 12 = 3*q + 5*j, -4*q + 3*j - 10 = 0. Let v = q - -5. Solve 3*u = 3*w, 0 = 3*u + v*w - w - 30 for u.
5
Suppose -28 = -47*v + 33*v. Let r be 60/14 + (-4)/14. Solve i + 2 - 12 = -3*s, 0 = v*i - r*s + 30 for i.
-5
Let a(s) = s**2 + 12*s - 21. Let g be a(-15). Let n = -35 - -17. Let y = g + n. Solve -3*b + 0*b + y = 4*h, 5*h = -b + 13 for h.
3
Suppose 0 = -4*h - 4*l, 81*h - 82*h = -l - 10. Solve 2*x - h*n + 25 = -3*x, 15 = -4*x + 3*n for x.
0
Let v = -136 - -139. Solve -v*n - 8*o + 5*o = -15, -13 = -4*n + 3*o for n.
4
Let p(t) = 7*t**2 + 5*t + 8*t**2 - 19*t**2 + t**3 - 17. Let i be p(4). Solve 0 = -i*b + 5*b + 5*r - 2, -4*b + 4*r = 24 for b.
-4
Let b(u) = 3*u + 4. Let f be b(3). Suppose -2*j + 40 = 2*j. Let v = f - j. Solve 2 = 5*l + 2*a, -3*a = -v*l + 7 + 11 for l.
2
Let d be (-1 - -3 - 9) + -1. Let g be d/(-3) - 8/(-24). Suppose -5*w - g*r + 25 = -2*r, r - 17 = -3*w. Solve 0 = 4*l - w, 3*a - 3*l = -2*a + 22 for a.
5
Suppose 0 = -5*g - 3*p + 33, 4*g - 3*p - 2*p - 19 = 0. Solve x - 2*x = 4*h + 9, -g = 4*h + 2*x for h.
-3
Suppose 4*s - s + 9 = 0. Let m be s/((-3)/(-30)*-6). Solve -m*z = -5*v + 30, 0 - 2 = 3*v + z for v.
1
Let u(m) = -m**3 - 2*m**2 + 4*m + 2. Let q be u(-4). Let v be -2 - (3 + 0 - (q - 11)). Solve v*i + 3*i - 23 = a, 2*a + 14 = 2*i for i.
4
Suppose 0 = c, x - c + 3*c = 6. Solve -x = 4*q + 3*v - 1, 0 = -4*v - 12 for q.
1
Suppose 4*z = 5*z + h - 661, -3*h + 9 = 0. Let s be z/56*1*4. Suppose -3*d + s = 2. Solve -10 + 5 = -3*q + r, -3*r = 2*q + d for q.
0
Let x be ((-3)/6*0)/(-1 + 2). Let p be 10*(x - 2/(-4)). Solve -d - 22 = 3*d + 2*z, -z - p = 0 for d.
-3
Suppose -32*y = -30*y - 10. Let v be (32 - y) + (3 - 2). Let q = v - 28. Solve -j = 5*a - 22, 3*a = -q*j - 4*j + 20 for j.
2
Suppose -21 + 1 = -5*g. Suppose g*v + 8 = -r, 4*r + 0*v - 25 = 3*v. Solve 3*o + 0*o = y - 8, 0 = -o + y - r for o.
-2
Let m(z) = -2*z - 20. Let j be m(-12). Solve 3*x - 7 = v, 8 = 3*x - j*v + 2*v for x.
2
Let r(p) = 4*p + 30. Let s be r(-7). Let b(w) = 7*w + 6. Let m be b(s). Solve 5*c + 3*q - 2 = 0, -q + m = 4*q for c.
-2
Let v = -465 - -467. Solve -v*q - 20 = -6*q + 2*m, -3*q = -5*m - 22 for q.
4
Let r(u) = u**3 - 9*u**2 + 2*u - 17. Let j be r(9). Solve -5*c - 10 = 3*y, -c + j - 5 = y for y.
-5
Let g be ((-18)/10 + (-11)/55)*-4. Solve 0 = -3*x + 2*t - 5, g = -3*x - x + 3*t for x.
1
Suppose -6*l - 125 = -31*l. Solve -l*n - 18 = -3*k, 2*n + 5*k + 0 = -1 for n.
-3
Let d be (0 - 0)/((-6)/3). Let i = 2335 - 2335. Solve 3*r + 5*g - g - 7 = i, d = 4*r - 4*g for r.
1
Let m be (4/(-6))/(11/132). Let c = m - -6. Let u = 7 + c. Solve -w + u*n - 25 = 0, -w - 3*n + 20 = n for w.
0
Let x be 28/(-6)*63/(-6). Suppose 2*j + 0*t = -3*t - 43, 3*j = -2*t - 77. Let y = x + j. Solve -4*f - f = -y, 2*n + f = 14 for n.
5
Suppose 5*s - 3*y = 2*s + 9, -y + 1 = s. Let o be (7 - 6)/(1/s). Solve -2*i = -4*z + 12, -6*i + o*z = -2*i for i.
2
Let w = 78 + -55. Suppose w*r = 27*r - 8. Suppose -4*o - i + 4 = 0, -7*o + 6 = -r*o + i. Solve 0 = -3*m + 5*y - 2, -3*m + y = o*m + 18 for m.
-4
Suppose -3*t + 4*l = -35, -3*t - 5*l = 2*t - 35. Suppose -3*r + p + 6 = -2*p, 4*r = -p + 23. Solve 5*a + 12 = o, 2*o = -0*a + r*a + t for o.
-3
Let s(c) = -c - 19. Let l(u) = u + 5*u - 3*u - 4*u. Let b(m) = 2*l(m) - s(m). Let w be b(14). Solve 5 = 2*i + o, 2*i - 3*i + 7 = w*o for i.
2
Let k(m) = m**3 - 4*m**2 - 19*m - 4. Let d be k(7). Let i be (-5)/d + (2/4)/1. Solve i = f + 3*v, 0 = 3*