d - u, 2*s = -d + 3*d + 2 for s.
4
Let t = 9 - 4. Let a = 9109 + -9109. Solve 2*c + 3*g = -2 + 1, 3*c - t*g - 27 = a for c.
4
Let f be 29 - ((-56)/42)/(4/(-15)). Solve -3*y + 4*y + k + 3 = 0, 0 = 5*y - 4*k + f for y.
-4
Suppose 0*a = 16*a. Let t be -1*(-4)/4*1 - a. Solve -3*u - o - 4 = 0, t = o + 5 for u.
0
Let f = 70 - 43. Let i be (8 - 36)*3/(36/(-15)). Suppose -27*y - 40 = -i*y. Solve y = 2*d + r + 18, 3*d + 3*r = -f for d.
-4
Let f be (-20 + 20)*4/(-12). Solve f*k - 4*p = -2*k, 4*p = 8 for k.
4
Suppose 675*w - 44 = 664*w. Solve -3*s - 4*v + 23 = 0, 0 = 2*s + 2*v - 8 - w for s.
1
Let z = 99 + -97. Suppose 3*l - 17 = -i, 3*l = -2*i + 7*l + 14. Solve -2 = -z*v + g - i, v = -4*g for v.
-4
Let z be (12/(-8))/(2/(-1840)*6). Suppose 240 = 5*n + z. Solve -2*j - 15 = 6*k - k, -5*j = -n*k + 23 for j.
-5
Let n(f) = -f**3 + 6*f**2 + 269*f - 551. Let z be n(2). Let o be -2*(2 - -2)/(-2). Solve 2*r + z*r = x - 9, 0 = -4*x - o for r.
-2
Let b = -17 - -19. Suppose -b*s + 0*a - 2*a + 10 = 0, -4*s + a = -5. Suppose 12 = -3*h, -s*m = m + 4*h + 1. Solve 0 = f, -3*j + m = 2*j + 5*f for j.
1
Let b be (-16)/(1 + -3) - -2. Suppose 7*c - 31 = -b. Solve u = 3, c*u - 4*u + 13 = 2*h for h.
5
Let v = 654 - 446. Let b = v - 199. Solve 2*p - w = 3, -2*p - 4*w + b = w for p.
2
Let m(w) = -21*w - 7. Let j(z) = 45*z + 13. Let s(d) = -4*j(d) - 9*m(d). Let a be s(-1). Solve 2*f - a*v = 8, 0*v - 3*v = -f + 6 for f.
3
Let l(h) = 2*h**2 - 5*h - 28. Suppose 11*g + 69 = -12*g. Let b be l(g). Solve -b*o = 5*n, -5*n + 4*n = 2*o + 2 for o.
-2
Suppose 12*h = 35*h - 0 - 69. Solve h*p + 9 = -10*c + 9*c, -5*p + 5*c + 5 = 0 for p.
-2
Suppose -14 = 5*k + 6, -4*x = 3*k - 8. Solve 20 = -5*j, 3*v - 2*j + 30 = -x*j for v.
-6
Suppose 4*z = 2*z + 292. Let g = 147 - z. Solve 4*t + 5*q = 10, -2*t - 4*q = -3 + g for t.
5
Let w = -2152 + 2155. Solve 39 = -2*u + 43, -3*o - w*u + 15 = 0 for o.
3
Let r(n) = n**3 - 11*n**2 + 14*n + 84. Let g be r(8). Solve -2*f = z + g, 8*z - 3*f - 32 = 3*z for z.
4
Let i(z) = z**2 - 3*z + 2. Suppose 7 = -5*s + 17. Suppose s*n = 4*h - 22, -4*h + 3*n = -2*h - 21. Let y be i(h). Solve y = j - c, -3*j - c - 13 + 3 = 0 for j.
-2
Let q(r) = r**3 + 24*r**2 + 39*r - 88. Let v be q(-22). Solve 0 = 3*y - t + 7, y + 5*t + 3 = v for y.
-1
Let x be ((1161/15)/(-3))/((-7)/35). Suppose x*a - 127*a - 4 = 0. Solve s + a*h = -3, -2*h + 3 = 2*s - h for s.
3
Let y = -59 + 58. Let g(h) = -h + 3. Let z be g(y). Suppose 5*l - z*t = -16 + 67, l - 2*t = 15. Solve -16 = -3*j + f, -5*j + l*f + 29 = 3*f for j.
5
Let x be (-2 - (-252)/216)/(5/(-12)). Solve 10 = x*r, 57*o + 5*r - 23 = 55*o for o.
-1
Suppose 2*b = -230 + 250. Let g = 6 - 3. Suppose -5*y - 5 + 3 = k, -5*k - b = -g*y. Solve m + j = 2*m + 4, -m - 4*j - 4 = y for m.
-4
Let c be 48/20 + (-2)/5. Suppose -3*x = -3*n - c*x + 134, 3*n - 133 = 2*x. Suppose -8*u = -17*u + n. Solve a - 4 = -3*z, -u = 2*z - a - 11 for z.
2
Let q(s) = 79*s - 20. Let x be q(-1). Let b = -91 - x. Solve g + 0*a + 3*a + b = 0, 5*g - 4*a - 17 = 0 for g.
1
Suppose -2*g - 18 = -0. Let i be (6/g)/((-4)/66). Let r(j) = -2*j**3 - 15*j**2 + 43*j - 43. Let n be r(-10). Solve -2*y - p - n = -6*p, 4*y + 3*p - i = 0 for y.
-1
Suppose -132 = 14*d - 15*d - 4*g, -d + 2*g = -132. Suppose -131*m - 4 = -d*m. Solve -m*i + 15 = i + y, -12 = -4*i - 4*y for i.
3
Suppose 0 = 13*k + 12*k - 14*k. Let g be (-2)/10 + (-378)/(-15). Let f be 10*1*10/g. Solve f*u = d + 17, k = -u - 2*u + 15 for d.
3
Let w(d) = -39*d**2 + 386*d + 42. Let h be w(10). Solve 5 = -h*q - a, 4 = -4*q + 2*q - 2*a for q.
-3
Let y = 274 + -199. Suppose 70 = -y*l + 85*l. Solve -2*j = i - l, -i = -5*j + 2*i + 23 for j.
4
Let u(z) = z**3 - 10*z**2 + 7*z + 4. Let j be u(9). Let r(f) = f**2 - 10*f - 5. Let h be r(12). Let x = j + h. Solve -x*b = -2*a + 19, 0*a = 5*a - 3*b for a.
-3
Let m = 70 + -60. Let p be -15*(-8)/36 - (-6)/9. Suppose -43 = p*h - 63. Solve 4*s - 25 = s + h*o, -3*s = -2*o - m for s.
0
Let d be 1/(2/(-10)) + 217 + -210. Solve -12*h = -8*h + d*t + 6, 0 = 4*h - 2*t - 6 for h.
0
Let y(d) = -171*d - 338. Let c be y(-2). Solve -17 = 5*w + 4*u - 10, 3*u = -c*w - 6 for w.
-3
Suppose 2638 = 23*i - 1387. Solve j + 9 = 4*k, -2*k + 180*j - i*j = -9 for k.
2
Suppose -2*g - 164*a + 162*a = -62, g - 4*a - 26 = 0. Solve 4*v + 5*q + 18 = 11, -12*v + 2*q + g = 0 for v.
2
Let x(k) = -428*k + 10275. Let m be x(24). Solve -4*u + 9 - 8 = q, 5 = -m*u + 5*q for u.
0
Let q = 175 + -175. Suppose 4*n = n + 15. Suppose q*p - 5*o = -3*p, -n*p + o = -22. Solve -p*d - 10 = -3*b, 6*d - 2*d = -3*b + 19 for d.
1
Let y = -36 - -44. Suppose -2*s - y = -4*g + 2*s, g + 4*s = 17. Solve g*a + 7*n = 2*n - 5, 0 = 2*n - 2 for a.
-2
Let i = 20462 - 20459. Solve 14 = -3*c - 3*u + 4*u, i*u = -5*c for c.
-3
Let j(r) = -2*r**2 - 457*r - 7189. Let t be j(-17). Solve -2*q + 4 = 2*p, -t*q + 31 = -2*p + 47 for q.
-3
Let a be (18/(-30))/(2 + 33/(-15)). Let d be (a + (-1 - -3))*(-10 + 12). Suppose -3*m = -d*m + 35. Solve m*v + z - 5 = 14, -3*v + 29 = 5*z for v.
3
Let q be 24/(-44)*440/(-80). Solve -49*u - 5*j + 13 = -46*u, -q*j = -3*u - 27 for u.
-4
Let w(o) = 6*o**2 + 0*o**3 + 8 - 3*o - 2*o**3 + 3*o**3 + 9*o. Let l be w(-5). Solve 27 = -5*q - v, 2*q + l*v = -v - 18 for q.
-5
Let t = 10041 + -10037. Solve 0 = -g + 4*s - 14, 0 = -t*g - 22*s + 19*s + 1 for g.
-2
Let h = 145 + -63. Let w = h - 78. Suppose -w*t + 2 = 3*d - 27, 2*t = 10. Solve -4*y + 3*v = -d, y - 8 = -3*y + 4*v for y.
-3
Let j = 1 + 18. Let w be 2*(-2 + 1020/8). Let y = w - 246. Solve -2*i - 3*u - 18 = 0, y*i + j = -8*u + 7*u for i.
-3
Suppose 6 = 5*b - 3*b. Suppose 0 = l + b*l - 8. Suppose l*h - 2*w + 0*w = 0, -3*h + 18 = 3*w. Solve 4*x + 9 = 5*k, 2*x = -h*x - 5*k + 45 for x.
4
Suppose 34*s - 9 + 7 = 236. Solve -2*t + 3*z + s = 0, 0 = -t - 2*t + 2*z + 8 for t.
2
Let w(l) = l**2 + 3*l - 11. Let j be w(4). Suppose -j*t + 14*t = -6. Solve t*v - 2 = 4*m, -4*v + v + 11 = -2*m for v.
5
Suppose 4*k + 4*s - 82 + 10 = 0, 4*k - 67 = -3*s. Suppose -3*u - 13 = -5*w, -2*w + 3*u = 6 - k. Solve -3*c - 5*f = -12, w*c + 4*f - f - 7 = 0 for c.
-1
Suppose 5*g - 11 = 4*g. Let f(v) = g*v**2 + 14*v**3 - 10*v + 2 - 15*v**3 + 0. Let w be f(10). Solve 2*a - 17 = 3*u, w*a = -3*a - u + 17 for a.
4
Suppose 0 = -81*h + 921 + 699. Solve -h*n - 24 = -17*n + 3*j, 3*n - 11 = 4*j for n.
-3
Suppose -5*w + 5*q - 25 = 0, 4*w - 3*q = 173 - 186. Solve 0 = -d + 2*n - w, -n + 19 - 36 = -5*d for d.
4
Suppose -2*h = 5*m + 9, 4*m = 2*h - 6*h. Let d be 104/(-39)*m/2. Let r be 2*d/24*9. Solve r*c - 9 = -3*k + 5*c, 2*k + 5 = 5*c for k.
5
Let k(r) = r**3 + 4*r**2 - 4*r + 8. Let b be k(-5). Let m(p) = -8*p + 12. Let h be m(1). Suppose -139 = -h*x - 135. Solve d + 8 = 4*a, b*d = 2*a + x + 5 for d.
4
Suppose -u + 36 = 5*w, -27*u = -23*u - 5*w - 69. Let l be -15*(108/189 - 19/u). Solve 0 = -2*y + d + 3, l*d = -4*y - 3 + 2 for y.
1
Suppose -3*i + 40 + 19 = 5*s, i - 3*s - 29 = 0. Suppose -2*o + 201 + 183 = 0. Suppose 0 = -o*y + 186*y + 18. Solve 4*b + 3*l - 13 = 2*b, 4*l - i = y*b for b.
-1
Let n = -2 + 7. Let v(f) be the third derivative of f**5/60 - f**4/8 - 4*f**3/3 - 112*f**2. Let o be v(n). Solve o*i - 5*x = 3 - 2, -5*i - 2*x + 17 = 0 for i.
3
Let m be (1078/(-231))/(2/(-3)). Suppose 3*u - m = -4*b + 21, u - b = 0. Solve -13 = 4*l + 2*x - 3, -u*x = -l - 25 for l.
-5
Let y be 861/147 + (-1)/(-7). Let h be y/15 + ((-8)/20 - -3). Solve 0 = r - 5*j, -h*r - 2*j = -0*r + 17 for r.
-5
Suppose 49 = 7*v - 7. Suppose -q - 22 = -2*l, -l + 3 = 5*q - v. Solve -2*d - u = l, u + 0*u + 5 = 0 for d.
-3
Let o = 7 - -203. Let u be 2/(-5) - (-504)/o. Solve n - 4*n = u*t, 0 = -5*t - 2*n - 11 for t.
-3
Let r(x) be the second derivative of 0 - 1/12*x**4 - 26*x + x**2 + 8/3*x**3. Let h be r(16). Solve -h*i + 6*u = 2*u + 2, -u + 2 = 0 for i.
3
Let s = -4897 + 4899. Let l = 1 + -1. Suppose 0 = -2*c - 4*g + 10, l*g - 1 = -s*c + 5*g. Solve -4*w + 2*n - 4*n = -18, 0 = c*w - 3*n + 9 for w.
2
Let x(i) = -i**2 + 376 - 202 - 201 + 6*i + 13*i. Let w be x(22). Let c = 101 + w. Solve -7 + 19 = -2*n + d, 0 = -3*n - 5*d + c for n.
-4
Suppose -7*a - 233 - 159 = 0. Let j be (-7)/(-1) - (-7)/(a/16). Solve 3*i - 5 = -2*k, 2*i = j*k - 2*i + 22 for k.
-2
Suppose -69*o = -186*o + 585. Solve -45 + 15 = -5*a - 3*t, -t + o = 0 for a.
3
Let q be (0 - (-30)/40)/(0 + (-4)/(-48)). Solve -2*