*a, g - w*a + 15 + 1 = 0 for g.
0
Let w = 16330 - 16327. Solve 3 = 5*x - 2, w*k - 17 = -5*x for k.
4
Let i(b) = -b**3 - 5*b**2 - 34*b - 233. Let c be i(-6). Solve p - 3*j + 2 = 0, 13 - c = p + 5*j for p.
1
Suppose -11*r + 0*r = 55. Let h(m) = -16*m - 76. Let y be h(r). Solve -2*k = -0*a + a + 4, 5*a = -2*k + y for a.
2
Suppose 569 = 7*u + 135. Let d = u + -58. Suppose -4*z = -g + 5 - d, 3*z - 12 = 0. Solve 0 = -3*q - 3*i - 9, -3*q + 0*q + i = g for q.
-5
Let q = 189 - 126. Let x be (108/q)/((-6)/(-105)). Solve 0*j + 11 = -3*l - 2*j, 5*j = 4*l + x for l.
-5
Suppose 5*s = 22 - 77. Let h be (-8 - -2)*s/33. Let j(w) = w**2 - 4*w - 115. Let i be j(13). Solve 0 = -i*p - 3*o + h, -4*p + 5*o = -p - 22 for p.
4
Suppose -2*f + 5*h + 40 = 0, -h - 7 + 1 = 0. Solve -3*i + f - 20 = 5*m, 0 = 3*i for m.
-3
Suppose -2 = -x - x. Let l = 1 - x. Let c be (-1672)/(-874) - (720/184 - 4). Solve z = -2*g + 3, l*g + c*z = g + 11 for g.
-1
Let j(n) = n**3 - 19*n**2 - 67*n + 26. Suppose 2*r - r + l = 18, 5*l - 2 = -r. Let h be j(r). Solve 0 = -h*o + 5*y - 24, 3*o + 21 = 2*o + 5*y for o.
-1
Let j be ((-1)/1)/(1648/(-328) + 5). Let w = j - 39. Solve 5*l + 18 = -2, f + w*l + 12 = 0 for f.
-4
Let u(z) = -z + 37. Let r be u(-20). Suppose r*b = 58*b - 48. Let w = b - 34. Solve 0*x + 2*y - w = 3*x, -x - 7 = -3*y for x.
-4
Let o = 4645 - 4638. Solve -5*s = 4*h - 60 + 54, 0 = 4*s + h - o for s.
2
Let g be (1 - 2) + 113 + -1. Suppose g = -13*y + 50*y. Let h = -5 - -7. Solve 3*f - 13 = -2*w, y*w - f - 5 = -h for w.
2
Let u be ((-32)/(-6)*3)/(6/(-72)*-6). Solve -2*y + 14 = 3*a, 0 = 2*y + 27*a - u*a + 18 for y.
1
Let k be (-55)/2*1282/(-7051). Solve -17*i + 2*x = -20*i + 5, -x - 30 = -k*i for i.
5
Let q(h) = 18*h - 661. Let r be q(37). Solve -4*k + 11 = -3*i, -4*i = r*k + 35 - 10 for i.
-5
Let k be 12/(-10)*(315/(-7))/(-7 - -9). Solve -d - 3 = -y, k*d - 31*d - 6 = 2*y for d.
-2
Suppose -z + 129 = -6*z + 3*v, -3*z - 3*v = 63. Let s be (12/(-8))/(z/64). Solve -3*n + q + 5 = -3, s*q + 8 = 0 for n.
2
Let a be (1 + -3 - -3)*2. Suppose -a*g + 121 = 9*g. Suppose -5*i + 38 = 4*z, 2*i - 11 - g = -5*z. Solve 3*k + i = 0, -t = 4*t + 2*k + 24 for t.
-4
Let b be ((-142)/(-3))/((-6)/(-9)). Let a be -69 - ((5 + -7 - 4) + 5). Let c = b + a. Solve -c*o + 1 = 2*r - 9, -2*r + 10 = -4*o for r.
5
Let i(c) = c + 1. Let m be i(-2). Let n be -6*m/3*1. Let p = -170 + 172. Solve 2*x + n = p*o - 2, -3*o - 2*x + 1 = 0 for o.
1
Let l(h) = h + 22. Let u = -69 - -53. Let f be l(u). Solve -2*b + c - 13 = -2*c, -2*c + f = -4*b for b.
1
Let f be 2/(-16) - 1725/(-40). Solve 0 = -4*j - 4, 5*v - 14 = -4*j - f for v.
-5
Let c be (-3)/(-2)*64/48. Suppose -2*g = -2*w + 6, -c*w + g + 2 = -3. Let j be -7*(-1)/(-6)*-6. Solve -4*x + j*z - 24 = 3*z, 4*x = w*z - 16 for x.
-2
Let c be 11 + 2/(-52)*-2 + (-1422)/234. Solve -5*v - 51*d - 5 = -50*d, -2*v = -d - c for v.
0
Let o(p) = -p**2 - 22*p + 61. Let h be o(-33). Let z = 305 + h. Solve -z*n = 3*w + 6, -6 = 4*w - w - 3*n for w.
-2
Let p be (69 + -75)/(4/10 - (-32)/(-30)). Let w be (-2)/(-5*(-2)/65). Let d = w + 17. Solve -5*x + p = 4*r, d*r - 3 = -0*x + x for x.
1
Suppose 25*r = 113*r - 880. Let j(z) = -z**2 + 8*z + 3. Let k be j(8). Suppose -k*b + 16 = b. Solve 3*c + 6 = 3*v, b*c - 2*c = -v - r for v.
-2
Let s(c) = -c**3 + 21*c**2 + 167*c - 125. Let b be s(27). Solve 4*v + b = -19*i + 14*i, 17 = -4*i - 5*v for i.
2
Suppose 2*p - p = -3*c + 14, -5*p - 20 = 0. Suppose -3*j + c = -0*j. Let z = j + 1. Solve 0 = -3*w + 5*v + 13, -z*w - 4 = w + 4*v for w.
1
Let w be 6*5*63/135. Solve 16*b - 2*r = w*b + 10, -5*r - 5 = -b for b.
5
Suppose 247*l + 2350 = 272*l. Solve -5*j = -5*w - 30, -90*w - 5*j + 25 = -l*w for w.
-5
Let n(j) = -j**3 + 115*j**2 + 123*j - 808. Let y be n(116). Solve 4*v + 3 = 5*d, 111*v + y = 4*d + 107*v for d.
-1
Suppose -48 = 81*l - 85*l. Suppose -d + l = -0. Solve 4*h = -h - 4*g - 12, -2*h + 4*g = -d for h.
0
Suppose -9*m = -94*m + 1054 + 816. Solve 24*d - c + 8 = m*d, c - 4 = 0 for d.
-2
Let x(u) = 2*u**3 + 50*u**2 - 3*u - 51. Let i be x(-25). Suppose i*w = 30*w - 12. Let v = -25 + 35. Solve 0 = -w*z + 2*l + 4, 3*l = -2*z - l + v for z.
3
Suppose -9*l = -25*l - 30 + 126. Solve -4*n - 4 = 0, 4*n + 8 = -2*i + l*n for i.
-5
Let a = -91 + 94. Suppose 2*x - 4*v = -3*v + 8, -4*v = -16. Let y be ((16/x)/2)/((-1)/(-9)). Solve 0*i - a*w = -3*i + y, i = 2*w + 8 for i.
0
Let s = 335 - 329. Solve 2*p + 4*y + s = 0, 2*p + 2*y - 1 = 5*y for p.
-1
Let p(r) = -89*r + 2307. Let n be p(25). Solve -n*j + 2*b = -86*j, -5*b = -5*j - 30 for j.
-2
Let f(h) = 2*h + 18. Let s be f(-6). Suppose 2*t + 8 = b, 0 = 3*b - 7*t + s*t - 4. Solve -3*o - 5*j = -b*o + 9, -2*o = 2*j + 2 for o.
2
Suppose 0 = 1181*u - 1178*u - 5*g + 20, -5*u = -4*g + 16. Solve 5*b - 2*b - 3*d = 6, u = 3*b - 2*d - 9 for b.
5
Let d(h) = -h**2 - 2*h - 6. Let y be d(13). Let w = 203 + y. Let z be (-10)/(-45) - (-4)/(-18). Solve -2*l - 3*p - 11 = z, 3*l - 11 = 3*p - w*p for l.
2
Suppose -6*u + 36 = -3*u. Let f(o) = 4*o**2 + 1. Suppose 12 = -2*l + 2, -4*l = 3*b + 17. Let q be f(b). Solve -q*h - 3 = 3*t - u, -2*t + 2*h = 10 for t.
-2
Let o be (24/15)/((-2)/(-5)). Let t = 21 - 31. Let h = 13 + t. Solve h*w - 3*g + 3 = -o*g, -4*w + 4*g = 20 for w.
-2
Suppose 4*x + 296 = 5*x + 5*f, -4*x + 1226 = -f. Suppose -3*u + 318 - x = 0. Solve -4*z - 26 = 5*n, -z + 0*z + u*n + 4 = 0 for z.
-4
Let n(d) be the third derivative of -13*d**4/24 + 185*d**3/6 + 40*d**2 + 2. Let s be n(14). Solve r + s*r = -4*t, 3*r + 5*t = 8 for r.
-4
Suppose -2*r + j = -9, -2*j + 3 - 7 = 3*r. Suppose -7*v + 8 = q - 3*v, -r*v - 32 = -q. Solve 5*u + q = 4*f, 3*u - 3*f = u - 11 for u.
-4
Suppose 5*r - n - 30 = 0, 5 = -r - 2*n - 0. Suppose 0 = t - 3, 4*m - 5*t + r = -2. Solve -4*s = 5*v + m, 3*s = -2*s + v - 17 for s.
-3
Suppose k = 4*d - 19, -d = 1 + 1. Let v = k - -32. Solve -6*n + n + 29 = -2*a, 0 = -v*n - a + 23 for n.
5
Suppose -5*v - 80 = -3*s, 4*v - 11 - 33 = -3*s. Suppose 3*a = -2*g + s, -32 = -3*a - 7*g + 2*g. Solve 5 = 4*u - 5*d, a*d - 2 = -u + 3*u for u.
5
Let s(b) = 2*b + 11. Let q be s(-4). Suppose -4*f - i + 3*i = -20, 3*i = -q*f + 24. Suppose 0 = -2*k - 0*k + f. Solve 16 = 4*d + 3*v, -k - 5 = -2*d - v for d.
4
Let p = 4951 - 4949. Solve -4*w - 2*m - 6 - p = 0, -m = w + 1 for w.
-3
Let c be -531*17/(-1530) + -6 - (-61)/10. Solve 1 = -3*f + 4*q, -2*f + 1 = 5*q - c*q for f.
1
Let u(d) = -4*d + 2. Let x be u(-8). Let f = 37 - x. Suppose 5*z + 4*v - 4 = 0, 4 = 4*z + 7*v - 3*v. Solve a - 1 + 2 = z, -2*p + f*a = -11 for p.
4
Suppose 4*f - 5*q = -7*q + 318, 5*f - 405 = 5*q. Let m be (-9)/5*f/(-48). Solve -2*o = -3*x - 7, 6 = m*o + x + 1 for o.
2
Let i(j) = -13*j**2 - 101*j - 132. Let h be i(-6). Let u be 1/2*-1*14. Let a = u + 11. Solve z = -5*b + h*z + 20, -16 = -a*b + z for b.
4
Let p be (-7 + 80/12)*(5 - 5)/1. Solve s - 12*i + 5 = -13*i, s - 2*i - 7 = p for s.
-1
Suppose -136 - 176 = 6*k. Let h = 56 + k. Suppose 0*m = -h*m + 8. Solve -5*w + 3*c = 21, -5*w + 4*w - 7 = -m*c for w.
-3
Let p = 10017 - 9997. Solve -x = -5*d - 4*x, -4*x = p for d.
3
Let q(i) = i**3 + 87*i**2 - 179*i - 89. Let c be q(-89). Solve v - 4*p - 17 - 2 = c, 5*p = -20 for v.
3
Let u be ((3 - -1)/(-4))/(-2 + 2 + -1). Solve 3*o = 5*h + 1 + u, -3*h - 5 = 2*o for o.
-1
Let b be -4*(-819)/(-14)*8/(-6). Suppose -4*w + 332 = b. Solve 3*g = 2*j - 0*j - 5, -2*j - w*g - 35 = 0 for j.
-5
Suppose 3*r - 3*b + 6*b = -129, 5*b = -4*r - 173. Let t = 44 + r. Solve 2*d - 5*j = 3*d + 15, 4*j = 2*d + t for d.
-5
Let x be (-3 - -8)*4/10. Let n be ((-5)/x)/((-4)/8). Suppose -9*u + 1 + 35 = 0. Solve -u*o = -3*v, o + 4*o - n*v = -5 for o.
3
Let s be (-740)/(-222)*(-6)/(-10). Solve -s*d + 5*i + 2 = 0, 3*d + i + 23 = 26 for d.
1
Let v(c) = c - 26. Let d be v(45). Suppose 25 = 5*a, 6 = 5*z - a - d. Solve s - 14 = 4*w + z, -3*s = -w - 5 for w.
-5
Let a = -21 - -23. Let t be -9 + 8 + (a - -1). Suppose 15 - 3 = 3*i. Solve -i*q = t*k + 3*k - 33, q - 17 = -3*k for k.
5
Suppose 41*u = 44*u - 78. Suppose 4*d = 16, 0 = 3*l + d + d - u. Solve l = 2*t - 2*k, 0 = -5*t + 3*k + 1 + 8 for t.
0
Let f = -108 - -92. Let j = 16 + f. Let t be j + 2 - 4*5/(-10). Solve 3*z = z - t*i + 22, 2*i = 6 for z.
5
Let a(g) = 33*g + 1159. Let r be a(-35). Solve 0 = -i - r, 4*t - 3*t - 3*i - 14 = 0 for t.
2
Let n = 18220 + -18217. Solve n = x 