*f - y for v.
-3
Let f(q) = -11*q + 409. Let m be f(37). Solve -21 + 16 = -5*i + 5*t, 3*i + 2 = -m*t for i.
0
Suppose 0 = -33*g - 210 + 45. Let v be -2 - (34/5)/(2/g). Solve 0 = -4*r - 3*a + 35, 2*a - v = -a for r.
5
Suppose -45 = 22*c - 7*c. Let a be 1 + 6 + c + -4. Solve a = -3*n - 0*n + 5*z + 16, 0 = 4*n + 2*z + 22 for n.
-3
Let b = -35 + 35. Suppose b = -w - 5*q - 14, 5*w - 3*q = -q - 205. Let h = w - -50. Solve -5*p = 3*o + 19, p - o + h = 2*o for p.
-5
Suppose -4*i + 9*p = 5*p, -4*p + 12 = 0. Suppose -i*w - a + 38 = 0, -3*w + 40 = -2*a + a. Let d = 5 + 0. Solve n - 4*x = 2*n + w, 23 = -d*n + x for n.
-5
Let q be (24/96)/((-1)/(-20)). Suppose q*s - 5*f = 40, -9*f + 6*f - 15 = 0. Solve -s*b + j = -1, -2*b + 0*j - 3*j = -19 for b.
2
Let b = -354 - -363. Suppose 3*s = b*s + 5*s. Solve 0 = 2*g - s*g + 3*n - 5, 2*g = 2*n for g.
1
Suppose -2*z + 66 = 2*z + 18*z. Solve -2*b - v - z = -2, 3*v - 19 = 5*b for b.
-2
Let y(f) = -f**2 + f + 11. Let p be y(3). Suppose -2*c + p = -5*w, 0*w = 5*c - w - 1. Solve -2*i - 12 = -4*u, c = 4*i - 9*u + 4*u + 12 for i.
2
Suppose -4*s = -10 + 50. Let g = 18 + s. Suppose -999 = 3*c - 1014. Solve c*b = 5*z + 3*b + 4, -4*b + g = 5*z for z.
0
Let s = 309 - 145. Suppose -s = 3*j - 170. Solve 2*c + c = 2*y + 4, -24 = -4*y - j*c for y.
4
Suppose 0 = 2*q + 41 - 51. Suppose -a = 4*k + k - 15, q*k - 35 = -5*a. Solve -3*j - a*f + 1 + 12 = 0, -4*f = 3*j - 8 for j.
-4
Suppose -53*t + 276 = -54*t + 93*t. Solve 9*j + 20 = 7*j + 5*s, 4*s = t*j + 23 for j.
-5
Let r be ((-128)/(-20) - -4) + (-3)/(-5). Suppose -m + 21 = r. Solve -2*q - 3*w + 3 - m = 0, 0 = -4*q + 2*w + 10 for q.
1
Suppose -24*k = -33*k + 135. Solve 3*m - 6 = 3*q, 0 = 5*q - 0*q - k for m.
5
Let i be 3/(-3) - (0 + 1). Let t = 17 + i. Suppose -20*g - 7*g = -32*g + 40. Solve 3*x + t = 0, g = j - 2*x + 3 for j.
-5
Let y be 148/(-111)*(-3)/2. Solve 2*x - 3 = -3*g + 8, -6 = -y*g for x.
1
Let k(b) = -2*b + 19. Let r be k(8). Suppose 9*v - 23*v = -84. Suppose 2*m - 28 = -r*p, -v*p + 14 = m - 2*p. Solve 2*f + 3*t + 10 = -0*t, -2*f - m = 5*t for f.
-2
Let b(v) = -v**3 + v + 3. Let x be b(0). Let q be (-4 - (-13 - -8)) + (-2)/(-2) + 2. Solve 4*g - 2 = -2*p - q, x*g - 2*p = -5 for g.
-1
Let p = -290 + 293. Solve -p*r + d = 7, -3*r - 5*d = -7*d + 5 for r.
-3
Let x(v) = 1518*v + 2. Let o be x(0). Solve 309 - 296 = w + o*a, 3*a = -5*w + 37 for w.
5
Let k = 100522 - 100522. Suppose -5*s + 10 = 0, 1 = p - 4*s + 6. Let n be (30/(-9))/(1/(-3)). Solve p*h = j - 6*j - n, h - 5*j - 30 = k for h.
5
Suppose -522*n + 1281 = -461*n. Solve -5*d + 3*c = -n, -62*d + 64*d - 8 = c for d.
3
Let a be 1*(2/2 - 1). Let h = -27 - -107. Suppose -71 + h = 3*r. Solve i = 4*q, a = -q + i - 0 + r for q.
-1
Let c be 1990/125 + (-28)/(-350). Solve 4*q + c = -p, 5*q = -2*p + 5*p - 37 for p.
4
Let x be -3 + (-42)/(-18) + (-520)/(-60). Solve -2*o = -4*g + 12, -g = 7 - x for o.
-4
Let l(i) = 96*i**2 - 1 - 7*i + 98*i**2 - 189*i**2. Let u be l(2). Suppose t = -t - b + 12, 5 = 3*t - 5*b. Solve 4*z + 40 = -0*z - t*a, 4*z = u*a for z.
-5
Let t be (-18)/4*(13/(-9) - -1). Let p(r) = -r**3 - 5*r**2 + 7*r + 8. Let a be p(-6). Solve 4*w = -2*u - 4, -a*u - t*w = 3*u - 14 for u.
4
Suppose 0 = 22*g - 65 - 45. Suppose -5*n + 4*r - g*r = -12, 2*n - 2 = r. Solve 0 = h - 3*y - 8, -2*h + 4*h - 8 = -n*y for h.
5
Let w = 9 - -4. Let m = w + -11. Suppose -4*p + 12 = -4*z, -12*p + 16 = 3*z - 10*p. Solve -z*t - 32 = m*t + 4*a, -2*a - 4 = -t for t.
-4
Let h be (14/3)/((-28)/(-21))*-2. Let d(v) = v + 7. Let l be d(h). Suppose 2*p + 2 = -l*p, 5*p = 4*k - 25. Solve -a = -k*m + 21, -5*m + 5*a = -0*m - 5 for m.
5
Suppose -4*c = 5*h + 10, c - 5 = 4*h + 3. Let q be 1/(-4)*-2*2 + 3. Let d be -2*(q/6 - 5/3). Solve 9 + c = -5*r - 4*m, -8 = -d*m for r.
-5
Let k be (-4 + 4)*8/(2 - -70). Solve 8*a - 5*s = 3*a, k = 2*a - 3*s - 1 for a.
-1
Suppose 5*v = v + 16. Suppose -4*l + 18 + 50 = 0. Suppose -2*g + l = 1. Solve -v*o + 4*u = o + 31, g = 2*u for o.
-3
Let t(m) = m - 5. Let v be t(7). Suppose -3*z = -5*k + 2*z, 3*k + v*z = -15. Let o be k + -15*2/(-6). Solve o*h - 2*n = 6, h - 2*h + 5*n = -7 for h.
2
Let v(s) = 391*s - 5060. Let q be v(13). Solve -4*b + 18*a = 17*a + 1, 2*b - 5*a = -q for b.
1
Let c(z) = z**2 - 7*z + 16. Let y be c(4). Let d(m) = 5*m + 31. Let t be d(-6). Solve -y*k = 2*i - 0*k, 3*i - t = -5*k for i.
2
Let z(o) = 4*o + 11 - 13 + 3*o. Let u be z(1). Solve 0 = -u*x - c + 25, 4*c + 0*c - 32 = -3*x for x.
4
Suppose 0 = -3*x - 3*j - 21 + 9, 18*j = 4*x - 160. Suppose 9 = 3*k + w, 4*w + 1 = k - 2. Solve -2*h = -2*f - x, -h - k = -5*f + 3 for h.
4
Let r(o) = 81*o**2 - 478*o + 8. Let g be r(6). Solve -4*h - 4*c + 16 = g, 3*c - 6 = 3*h for h.
-6
Let r be 4 + 4 + (-43 - -36). Solve 4 = -4*m + 2*t, -4 = -m - t + r for m.
1
Suppose 0 = 15854*m - 15883*m - 377. Let t be (0 + 2)*(-10)/4. Let h be m*(15/t)/3. Solve 3*p = b + h, -5 = 2*p - b - 15 for p.
3
Let b(s) = -s**3 - 23*s**2 + 24*s + 3. Let a be b(-24). Suppose 0 = -2*x + q - 1, -2*q - 12 = a*x - 28. Solve x*l - 5*u + 27 = 0, -4*l - u + 11 = 2*u for l.
-1
Let z = 59 + 144. Let a = 213 - z. Solve -2*f + a = 3*j, 2*j = f + 2*f + 11 for j.
4
Let f(u) = 20*u**2 - 5*u - 53. Let n be f(-5). Let s = -467 + n. Solve 4*x - 1 = s*k - 23, 0 = 3*x + 3*k + 3 for x.
-3
Let j = 992 - 988. Solve 5*a - j*b - 26 = 0, -3*a + 14 = 4*b + 24 for a.
2
Let z be 166/(-3818) - (-116)/23. Solve 5*y = z*i - 30, -3*y + 3 - 12 = 0 for i.
3
Let y = -91 + 151. Suppose -5*n = -5, -4*n + y + 34 = 5*a. Let k be ((-16)/(-6) + 16/12)/2. Solve 0 = -4*t + k*w + 8 + 8, t = 4*w + a for t.
2
Suppose 55*b = 17*b + 1064. Solve b*q - 32*q = 3*n - 29, 0 = -3*n - 3*q + 24 for n.
3
Let c(r) = 2356*r - 7053. Let h be c(3). Solve 3*b = 2*a + 5, -h*b - 15 = 3*a - 12*b for a.
-4
Let p(a) = 6*a - 59. Let h be p(10). Let j be -17 + (-2 - (-10)/(-5)). Let t = j + 23. Solve -t*k - 2*y = 2*y - 12, y = h for k.
4
Let t be (-5 + 6 + -2)*-7. Suppose b - 3 = 4*b. Let u = t + b. Solve 4*n - x - 11 = -u*x, -n = x - 2 for n.
-1
Let y be (-54*15/180)/(0 + 6/(-4)). Solve -5*g = 2*c + 1, -y*c + 3 = c + 5*g for c.
2
Let x be (-14)/(-9) - 48/(-108). Let b be ((-2)/5)/(2/5). Let u be (-2)/b + -1 + 1. Solve 14 = -u*h + 2*a, -3*h - x*h - 27 = -a for h.
-5
Let c be -7 - (957/58)/(2/(-4)). Solve 5*m - 15 = 21*j - c*j, 4*m = -2*j for j.
6
Suppose 3*v = 2*v + 2*s + 8, 9 = -3*v - 5*s. Suppose 0 = v*k + 4*h - 12 - 14, 0 = k - 4*h + 17. Solve 4*y = 2*l - 22, 2*y - 1 = -0*l - k*l for y.
-4
Let s = -45 + 50. Suppose -60 = -2*h + s*i, -3*h - 5*i = -h - 80. Suppose u - 20 = -5*v, 1 - 4 = 4*v - 3*u. Solve 5*q = 2*q + 4*j + h, q = v*j + 20 for q.
5
Suppose -235 = t + 4*t. Let a = -42 - t. Let s(p) = p**3 - 5*p**2 + p - 2. Let j be s(a). Solve 0 = 3*k - j*w - 12, -5*k + 2*w = -16 - 7 for k.
5
Let t = 3 - -1. Let p(j) = 11*j - 16. Let x be p(3). Suppose -x*f - 24 = -25*f. Solve t*g - 6 = y, -2*y + 1 = -y + f*g for y.
-2
Let a = -42 + 52. Let v be (-6)/(-30) + 18/a. Let m be ((-18)/18)/((-1)/v). Solve 4*l = -2*k + k + 13, 5*k = -m*l + 11 for k.
1
Let l = -1572 - -1585. Solve -5*n - 12 = -5*x + l, 2*x + 2 = -4*n for n.
-2
Suppose 12*y = 34 - 22. Let w be y/(-1 - 11/((-363)/36)). Solve -3*i + 7*d + w = 3*d, -16 = -3*i + 5*d for i.
-3
Let k = -2138 - -2142. Solve -4*t + 3 = 5*q, -k*t + 6 = -30*q + 32*q for t.
2
Let m be (-12128)/(-304) + 4/38. Suppose 20*p - 30*p + m = 0. Solve 2*n + 2*v + 8 = 3*n, 4*n + p*v = 8 for n.
4
Let g = 871 - 868. Solve 0 = -j - 4, -5*x - g*j = -5*j + 2 for x.
-2
Let z be ((-4)/36)/(105/(-4815)) - (-2)/(-21). Solve 0 = -6*x + x + m + 20, -z*x + 20 = 5*m for x.
4
Let b(y) = y**3 + 20*y**2 - 27*y - 536. Let z be b(-20). Solve z*w - 79 = -p - 61, -2*p = 5*w - 24 for p.
2
Let y be 7*((-36)/21 - -2). Let p = -64 + 69. Suppose y*l - l = p. Solve -h - z + 0 = 4, 20 = -h - l*z for h.
0
Let o(z) be the first derivative of z**4/4 + 5*z**3 + 9*z**2/2 - 66*z - 71. Let r be o(-14). Solve -p + 2*x = 6*x + 4, 4*p - 4*x = r for p.
0
Let l = 6 + -4. Let n(p) = -2*p**2 + 46*p - 23. Let t be n(24). Let a = -50 - t. Solve 2*i = -3*v - l - a, 4*i = -v - 21 for i.
-4
Suppose 2*c = -y + 19, -17*c - 4*y - 80 = -22*c. Solve -d + p = -4*d + 14, -4*d = -2*p - c for d.
4
Let f = 47 + -47. Let l be (2/(-5) + f)*-60. Let h = -18 + l. Solve 2*z = -3*w, z = w + h*z - 13 for w.
-2
Le