= 5*s - v for s.
3
Let r be (2/2)/(2/(-86)). Let a be -37 + -8*3/6. Let d = a - r. Solve -t = d*w - 1, -1 = t - 2*t + 3*w for t.
1
Suppose 16*a - 19 = -3*a - 19. Solve -4*z - 2*v - 4 = a, 2*z + 2*v + 0*v = 0 for z.
-2
Suppose 0 = 2*y + 3*p - 2*p - 9, -4*p = -y + 9. Solve y*w = 20, 3*z + 6*w - 9*w + 18 = 0 for z.
-2
Suppose 0 = -2*o + 2, -19 = -4*j - 2*o + 3*o. Let y = 138 + -115. Let u = -19 + y. Solve g - 4*i = -12, -j*g - u*i + 5 = 17 for g.
-4
Suppose -391 = 40*h + 771 - 1682. Let t be (21/(-14))/((-1)/6). Solve 2 = o - 2*u, -t - h = -5*o - 2*u for o.
4
Let y(n) = 2*n**2 - 11*n - 102 + 120 - n**2. Let f be y(9). Solve j - 2*j - 3*c + 14 = f, -3*j + 4*c + 3 = 0 for j.
5
Let f(l) = 282*l + 569. Let u be f(-2). Solve 4*p - 4*k - 4 = 0, 4*p - u*k + 8*k = -3 for p.
0
Let g = -5171 + 5183. Solve 25 = -5*n, -l - 8*n = -10*n - g for l.
2
Let x be -3 + (6/((-30)/(-35)) - 4). Let z(v) = v**2 + 2*v + 7. Let y be z(x). Solve -7 = -3*j - 5*s, s = -j - j + y for j.
4
Suppose -5*z + 12 = -3*s + 11, s = 2*z - 1. Solve 7 = 2*n + w, -z - 10 = -3*n - w for n.
5
Let c = 1338 - 1334. Solve 5*a - d = 2*d + 23, c*d = 5*a - 24 for a.
4
Let p = 6 - -2. Let a = 290 + -282. Suppose 0 = -w + 8 - 5. Solve -w*v = 3*k, -v - a = 5*k + p for v.
4
Let t(y) = -19 + y**2 - 10*y**2 - 49*y + 51*y + 6*y**2 + y**3. Let d be t(4). Solve 0 = d*g - c + 2, -g = -c - 7 + 5 for g.
-1
Suppose -f + 5 = 3*l, f - 2*l - 8 = 12. Suppose 2*a + 12 = -4*r, -5*a - f = -2*a + 5*r. Let d = a + 1. Solve d*n - y + 0*y = -9, 2*n - 4*y + 6 = 0 for n.
-3
Let f = -8 + 23. Suppose -5*z - 2*a + 215 = 0, 0 = -z - z - 3*a + 97. Let d = 44 - z. Solve -d*w - 4*v = -12, -3*v - f = 5*w - 8*v for w.
0
Let b = 7 + 0. Suppose 3*w + 1 = b. Let r(q) = 9*q**2 + 1149*q + 1895. Let l be r(-126). Solve -5*p = -l*d + 15, 5*p = -w*d + 2*p - 4 for d.
1
Let x(p) = p**3 - 4*p**2 - 79*p + 402. Let u be x(6). Let r = -13 + 13. Solve r = -3*y - 2*h + 11, -3*h + 4*h - 1 = u for y.
3
Suppose -p + 615 = 611. Suppose 16 = 2*x + c, -4*x = -0*x - 2*c - 16. Solve p*g - g - 22 = 4*d, -g - 2*d - x = 0 for g.
2
Let r(w) = w**3 - 9*w**2 - 169*w + 130. Let o be r(18). Solve -3*m + o*g = -17, -3*m + 39 = 4*g + 62 for m.
-1
Let q be (-10)/4 + (-217)/(-124) - (-54)/8. Solve -5*o + j = -19, -3*j = 4*o - q*j - 13 for o.
4
Let g = -37 - -41. Let s be ((-16)/7 - (-10)/35)*-8. Let j = 24 - s. Solve 0 = -t - 0*b - b + 2, -g*t + b = -j for t.
2
Let d(p) = p**3 + 7*p**2 + 8*p + 6. Let o be d(-5). Suppose -h - 5*m = -20, -3*m + 4 = -2*m. Suppose h*l - 8 = -2*l. Solve -12 = 3*g, 4*f + l*g + o = g for f.
-1
Let y(f) = 4*f**3 - f + 1. Let m be y(1). Let l(d) = -d**2 + 8*d - 16. Let j be l(m). Solve j = -r - c, -5*r - 5*c - 2 = -r for r.
2
Let v be (-2)/(1/(-12)*2). Suppose 3*g + 3*q - q + 6 = 0, 4*q = 5*g - v. Let a be 0 - ((-15)/5 - g). Solve -a*p + 2*s + 3 = 0, -5*p - 2*s = -6 + 1 for p.
1
Let d = 356 - 328. Suppose -h - 5*i = -d, -5*h - 3*i = -7*i + 5. Solve -h*s = 5*r + 23, -2*r - 3*r = 20 for s.
-1
Suppose -2*o + j + 578 = -6*o, 0 = -j + 2. Let r = -140 - o. Solve -2*f + 5*v - 25 = f, -v = -5*f - r for f.
0
Let w be -1 - -1*(-5 + 19). Suppose -9 = n - w. Solve 5*d = 4*s + 3 + 4, -n*s - 3*d = -17 for s.
2
Suppose 0 = -2*z + 3*g + g + 24, 3*z = -3*g - 9. Let m be ((-2 - -1) + -5)*(-1)/z. Solve -m*v = -7*v - 4*u + 20, 10 = 2*v - 4*u for v.
5
Suppose -3*x + 107 = -t, -58 = 6*x - 8*x + 4*t. Suppose 1 = -b - h + 11, -3*b + 4*h = -x. Solve 4*o + 4*z - 7 = 3*z, 5*z = 3*o - b for o.
2
Suppose -2474 - 601 = 15*f. Let a = 210 + f. Solve h = -2*r + 9, a*r + 2*h - 27 = -2*h for r.
3
Suppose 14*g + 677 = 2833. Let t = 159 - g. Solve 0 = 3*s - 3*a - 6, 4*a = t*a for s.
2
Suppose 0 = 17*h - 7*h + 5*h. Solve h = -l - 5*q - 13, 5*l - 60*q - 13 = -59*q for l.
2
Let q(f) = 16*f - 63. Let p be q(17). Let u = p + -207. Solve 20 = s - 5*z, 0 = -4*s + u*z + 28 - 2 for s.
5
Let c = 73 - 77. Let b(j) = -5*j**2 - 19*j + 6. Let k be b(c). Solve 4*g - k + 18 = -3*z, g = -z - 5 for z.
-4
Suppose 9*f - 15*f + 1026 = 0. Suppose 1805 - f = 19*g. Let u = g + -83. Solve 4*q = o + 4, -u*q + 4 = q + 5*o for q.
1
Let z = -36 - -121. Suppose -n - y - 27 = n, -5*n = -y + z. Let b be n/(-6)*(-6)/(-8). Solve 4*u + i + 5 = 0, 4*i = -u + b*u + 14 for u.
-2
Let f be 84 - ((-4)/6)/(198/297). Solve -5*g + 18 = 2*y, -3*y + 20 = f*g - 81*g for g.
2
Suppose x = -5*v + v + 60, 4*v - 80 = 4*x. Solve k + v = -2*t + 9, 0 = -t - 3*k - 6 for t.
-3
Suppose 3*n - 1094 = -434. Let h be (8/10)/(2*11/n). Solve 0 = -2*l + 2 + h, 10 = -4*u - 2*l for u.
-5
Let n = -21390 - -21392. Solve -4*g - 16 = 5*o, 4*o + n*g = 3*g - 17 for o.
-4
Suppose 2*n - 11*u = 99, 12 = -5*n - 4*u + 39. Solve 2*b = -4*g - 20, n*b + 30 = 14*b - 4*g for b.
2
Suppose -4*r + 10 = 2*f, -3*f + r - 11 = -47. Suppose -26*i + 45 = -f*i. Solve -i*q + 4*s = 0, 3*q + s - 19 = -q for q.
4
Suppose k = -5, 5*i + k = 109 + 51. Let l be 1/33*6 + 126/i. Solve -4*d + l = 4*j, -j + 21 = 3*d + 2*d for j.
-4
Let j(b) = 52*b - 179. Let a be j(4). Suppose 4*s - 3*s - 3*o = a, -2*s + 28 = 4*o. Solve 0 = 4*c + 4*w - s, 3*c = c - 4*w + 14 for c.
3
Suppose 8*m + 36 = 52. Suppose -3*i + 29 = -3*h - h, 2*h - 10 = -m*i. Solve -4*d = -2*r + 14, -22 = -3*r - i for d.
-1
Suppose -5*u + i + 20 = 0, -1 = -4*u + 4*i + 15. Suppose -11 = b - 4*f, 4*f = 12 + u. Solve -20 = -5*c - r, 0 = -b*c + 5*r + 4 + 16 for c.
4
Suppose 0 = 2*v - 14 - 2. Let r(p) = 9*p - 68. Let h be r(v). Solve j + 0*g - h = g, -j - 2*g - 5 = 0 for j.
1
Let f(b) = b**3 - 52*b**2 + 52*b - 43. Let c be f(51). Solve 5*n + c = -2*l + 11, -5*l + 17 = 3*n for l.
4
Let q be 1/(6/4)*3. Let v(t) = 54*t - 1284. Let r be v(24). Solve -4*b + q*g + 6 = 0, 3*g + r - 3 = 0 for b.
0
Let m = 9222 + -9221. Solve 3*u - w = -m, 0*w = 2*w + 4 for u.
-1
Let y = 5281 - 5268. Solve -5*a - 40 = 5*q, -3*a - 4*q - y - 16 = 0 for a.
-3
Suppose -5*b = 2 - 27. Suppose -19 + 1 = -b*k + 2*o, 3*k - 2 = -o. Suppose 2*q = k*g + 2 - 12, 0 = 3*g + 5*q + 25. Solve -5*m - 20 = g, -t - 4*t - m = 14 for t.
-2
Let m = 7262 + -7168. Solve 0 = 5*q + m*p - 89*p - 15, -22 = -5*q + 2*p for q.
4
Let p(n) = n**3 + 31*n**2 + 29*n - 9. Let b be p(-30). Suppose -33*v + b*v + 300 = 0. Solve 0 = 3*i + k + 4 + 1, -3*i + 4*k - v = 0 for i.
-3
Let b(s) = -5 + 10 + 5*s - 9*s**2 + 11 + 13*s**3 - 15*s**3. Let m be b(-5). Suppose 5*l = 4*r - 22, 4*l + 16 = 2*r + 2. Solve -m = 2*q + z - r, -2*z = 6 for q.
-5
Suppose k = -14*k + 405. Suppose -k*s + 32*s = 15. Solve 2*x = -0*x - 2*o - 6, 3*o - s = x for x.
-3
Let n = 39 + -53. Let u be (-3)/((-42)/(-8))*n/2. Suppose -9 = u*b - 73. Solve w = 2, 5*a - 2*w + 5 - b = 0 for a.
3
Suppose -a - 2*a = 5*x - 20, -3*a + 3*x + 12 = 0. Let s be a + 232/(-48) + 1/(-6). Solve 4*z + 3*g + 2 = -s, -4*z + 8 = -2*g for z.
1
Let m(v) be the first derivative of v**4/4 + 14*v**3/3 - 2*v**2 - 47*v + 94. Let f be m(-14). Solve -36 = 5*r - 5*u + f, -r - 4*u = -11 for r.
-5
Suppose 8*j + 0*j = 72. Suppose -j = -h + 1. Let k = 7 - -1. Solve 2*m + 2*i = -0*m - k, -2*m - h = 3*i for m.
-2
Let n be ((-24)/(-48))/((-4)/(-352)) + 15/(-3). Solve 3*i - 4*p = -n, 2*i + 40 = 11*p - 6*p for i.
-5
Let d = -133 + 91. Let s = -21 - d. Suppose -z = 4*y - s, z = -3*y + 3*z + 2. Solve 3*f - 4*f = -4*q + 4, 0 = -2*f + 2*q + y for f.
4
Suppose 0 = -5*a + 4*s + 9, -4*a + 13 = 3*s - 19. Suppose -p = 25*p - 1222. Suppose v + 43 = p. Solve -5*g + 13 + 15 = -v*u, 16 = 2*u + a*g for u.
-2
Let b(p) = -p**2 - 9*p + 25. Let c be b(-13). Let v be 1 + (-2 - c/3 - 1). Suppose -6*h - 12 = -v*h. Solve -5*l + h = -2*y - 2, 0 = 5*l + 4*y - 2 for l.
2
Suppose 9*r = -0*r - 12*r + 2247. Solve 3*x - r*w = -111*w + 24, w = -x + 7 for x.
4
Let n = 8449 + -8431. Let f be -3 + 5 - (-2 - 0). Solve -3*d + d - n = 2*b, 0 = b + f for d.
-5
Let q = 188 - 329. Let c = -135 - q. Let z(j) = 3*j - 15. Let r be z(c). Solve v = 5*w + r, -2*w - 6 + 3 = -v for w.
0
Suppose 6*p = 8*p - 24. Let u = -1 + p. Suppose 3*v + u = 17. Solve 5*x + 2*t = 22, 7 - v = 5*t for x.
4
Suppose 0 = 5*v + g - 13, 2*g = -16*v + 13*v + 12. Solve 2*p - v*m - 4 = 0, p - 3*m + 54 = 66 for p.
-3
Suppose b + 4*z = -6 - 5, z = -3*b. Let s be (4 - b)*15 - 0. Let j = s - 31. Solve 4*f + 5*n + 10 = 2*f, n + j = 2*f for f.
5
Let x be (-40)/((-170)/102 - (-1)/(-3)). Solve 0 = 5*k - 15, -x*g + 18*g - 7 = -3*k for g.
1
Let w b