*x - x, -2*x - o = 0 for t.
-2
Suppose 204 = 75*i - 171. Solve 2*g + 10 = -2*t + 2, 2*g + 20 = -i*t for g.
0
Suppose -g = -2*r, 8 = -152*g + 153*g + 2*r. Solve 3*k = -g*x + 4, -2*x = -x - k - 8 for x.
4
Let u(d) = d**2 - 27*d - 124. Let b be u(-4). Solve k = -w + 2*k - 4, w - 3*k + 4 = b for w.
-4
Let z be (33/((-3300)/(-80)))/(2/5). Solve z*y = 6, -d - 41*y = -42*y + 6 for d.
-3
Let g(p) = 3*p**2 - 58*p + 159. Let j be g(3). Solve -5*o - j*t = -9*t + 12, 3*o + 5*t = -4 for o.
-3
Suppose 430453 - 430429 = 12*r. Let j be 2/3 - 170/(-6). Let i = 21 - 21. Solve 0 = 3*u + 5*w + j, r*u + 3*u + w + 19 = i for u.
-3
Let a(u) = 3*u**2 + 11*u - 34. Let v be a(-7). Suppose 19*r - 13*r = v. Solve -5*z = 10, -3*z + r*z - 14 = 4*j for j.
-5
Let a be (-18)/(-4)*(-40)/(-30). Let s(j) = a*j + 7*j - 10*j + 32. Let x be s(-9). Solve 5 = -x*m + 5*k, k + 2 = -4*m - 12 for m.
-3
Suppose -4*f + i + 120 = 0, -2*f + 88 = -21*i + 17*i. Solve -2*d - 6 = 5*s, 0 = -25*s + f*s + 6 for d.
2
Suppose -77*x = -79*x. Solve x = -2*p - 10, -o - 1 = -3*p - 14 for o.
-2
Let o(d) = -d - 6. Let v be o(-6). Suppose v = 7*h + 4*h. Suppose -3*c + 3*q = -c - 3, -4*c + 3*q + 3 = h. Solve -5*j + 4*s + 6 = c, -j + 2*j - s = 2 for j.
-2
Let m = 44 + -19. Let p be (-4)/(-12)*(17 + (-3 - -1)). Suppose p*v = 25, -2*k - v + 6*v = m. Solve k = -2*c - 4*r - 2, 4*c = r + 4*r - 4 for c.
-1
Let h be 0 + (-76 - 8/1). Let q = -80 - h. Solve q*a = -0*a - 5*f - 23, 2*a = -4*f - 16 for a.
-2
Let j(r) = r**2 + 11*r - 22. Let h be j(-13). Let i(c) = 13*c**3 - c**2 + 1. Let b be i(1). Let d = b - 9. Solve a - 3 = h*y - d*a, -2*a = y + 4 for y.
-2
Suppose -3019 + 1093 = -6*r. Let c = r - 318. Solve 5*p = -g + 7 + 3, c*g + 15 = 0 for p.
3
Let a(f) = -f**3 - 5*f**2 - 2*f + 3. Let x be a(-5). Let t = -1182 - -1202. Suppose t*s = 76 + 104. Solve k + 2*k - x = 5*p, 5*p + s = -k for p.
-2
Let v(b) = -b**2 + 6*b + 9. Suppose z - 3 = 1. Suppose -z*p - g + 24 = -2*g, -p + 15 = 2*g. Let x be v(p). Solve -12 - 12 = -4*i + 4*d, -x*i = 5*d + 9 for i.
3
Let k(i) = -i**2 + 11*i - 16. Let a be k(9). Let f(j) = 0*j - j**3 + j - 4*j**a + 3 + 4*j. Let c be f(-5). Solve 4*w + 5*x = x, -x - c = 0 for w.
3
Suppose 47*j - 171 = 682 + 510. Solve 0 = 2*g - 2*d + 8, 30*g - 2*d + 6 = j*g for g.
-2
Suppose h = -5*h + 24. Let w be (-40)/(-12) + h/6. Suppose 3*s - 2*s + 4*u - 22 = 0, -w*s = -5*u - 4. Solve -2*r - 3*c + 5 = -s, 5*r + c = 8 for r.
1
Let q be 1 - (1 - (-2 + 4)). Let n be ((-88)/90 - 292/1314)/((-4)/70). Solve 4*v + l + 25 = 0, 5*v + q*l + 56 = n for v.
-5
Let y = 0 + 2. Suppose 0 = -0*z + 17*z - 561. Let r be 3 + (1*-1)/(z/(-66)). Solve -5*b - r = -5*i, -2*b = y*b + 8 for i.
-1
Suppose -s + 9*x = 4*x + 3, 5*s - x - 9 = 0. Let q = 26 + -22. Suppose -f + 50 = q*f. Solve 2*a = 4*r + f, 4*a = s*r - r + 6 for r.
-2
Let n(o) = -3*o + 87. Let h be n(26). Let k be ((-16)/6)/((-15)/h + 1). Solve -4*m - k*s + 16 = 0, 4*s + 2 = 2*m + 12 for m.
1
Let i(z) = -z**3 - 12*z**2 - 8*z + 18. Let t be i(-11). Let g = 31 + t. Suppose -12*p + g*p = 12. Solve p*q + 0*h - 8 = -h, -15 = 5*q - 4*h for q.
1
Suppose 2*u = -4*p + 8, -4*u = 233*p - 234*p + 20. Solve -4*h - h = -25, p*v - 3*h + 3 = 0 for v.
3
Let s = -19543 + 19546. Solve 0 = 2*t - 8, -25 + 5 = -s*n - 5*t for n.
0
Suppose 4*g = s + 60, -249*g = -246*g - 2*s - 50. Solve g*x = 12*x - 6, 12 = -3*q + x for q.
-5
Let f be (11/(-2))/((-9)/2 + 5). Let k be (0 - -1)/(f/(-33)). Solve -c - 5 = k*v, -c + 0 = 2 for v.
-1
Suppose 3*m + 5 = 26. Let r(l) = l**2 + 3*l + 7. Let x be r(m). Let g = 81 - x. Solve 5*y = 5*k + 15, -g*y + 6*y = -k - 6 for y.
-1
Let f = 14 + -17. Let v(x) = x**3 + 46*x**2 - 137*x**2 + 4*x + 49*x**2 + 8 + 46*x**2. Let l be v(f). Solve -g = -2*n - l, -5 = g + 5*n - 3 for g.
3
Suppose -m = 2*m - 12. Suppose -b + 4*i + 10 = 3*i, -b - 15 = 4*i. Suppose b*k + 50 = 15*k. Solve 0 = m*u - 0*h + 3*h - 15, 5 = k*h for u.
3
Let s = 2280 + -2267. Solve -s = d + 4*k, 3 = -3*d - 6*k + 3*k for d.
3
Let u(y) be the third derivative of 53*y**4/24 - 7*y**3/6 - 12*y**2. Let p be u(-1). Let g be (40/p)/(1/(-3)). Solve -5*j = -4*j + 3, 0 = g*t - 2*j for t.
-3
Let x = 7 + -244. Let g = x + 247. Solve 4*r + u = -7 - 1, 5*r + 2*u = -g for r.
-2
Let x be 306/(-8) - 7/28*3. Let w = 34 + x. Let v be -2 - (-1 - w*(1 + -2)). Solve 3*o = -2*s - 0*s + v, 0 = -s - o + 3 for s.
5
Let a(s) = 8*s - 414. Let u be a(52). Solve 0 = -3*g + u*t, 7*g = 5*g + 2*t - 2 for g.
2
Let g be (-3 - (-528)/128)/((-1)/((-64)/12)). Solve 0 = -3*s - l - g, -17 = 4*s - l - 2 for s.
-3
Suppose b - 20*z + 22*z = 14, -3*z = 4*b - 31. Solve 2*r = 2*a + r - 7, b*r + 4 = 0 for a.
3
Suppose -12*f + 2340 = -38*f + 221*f. Solve f + 4 = 4*r, 5*q - 3*r = 13 for q.
5
Let m(j) = -j**3 + 14*j**2 + 11*j - 147. Let w be m(14). Solve -2*u + 4*p - 14 = 0, 5*p + 22 = 2*u + w*p for u.
5
Suppose -r - 4 = r. Let x be 2/r - (2 + -5). Let j = -3115 - -3118. Solve -4*m + 5*q - 8 = -x*m, -5*m - j*q + 11 = 0 for m.
1
Suppose -2*s - 3*j + 16 = 0, -4*s + 4*j = 2*j - 16. Let d = s + 0. Let r be (-26)/(-12) + ((-198)/(-108))/(-11). Solve 0*i - 3*i = 4*n + d, -5 = -r*i - n for i.
5
Let b be (-40)/(-14) + 3/(-105)*-5. Solve -12*g = -16*g - 5*h + 8, g - b*h + 15 = 0 for g.
-3
Let n = -5001 - -5003. Solve -4*q = -4*j + 8, -n*q - 55 + 30 = 5*j for q.
-5
Let y(p) = -p**2 - 22*p + 23. Let v be y(-23). Let f be -2 - (-2 + (-5 - v)). Solve 3*c + 6 = 0, 0 = -f*q - 4*c + 4 + 3 for q.
3
Let c(f) be the second derivative of -f**4/12 - 7*f**3/6 + 61*f**2 + 15*f. Let r be c(-15). Solve b = r*d - 4 + 5, -5 = -5*d for b.
3
Let a(s) be the third derivative of s**4/2 + 89*s**3/6 + 34*s**2 + 4. Let h be a(-7). Solve h*x = -4*w + 27, -x + 5*w = 14 - 2 for x.
3
Let l be 9/1*18/18. Let h = 3 + 6. Suppose -5*m = -n - l, -h = -m - 5. Solve t + 5 = 0, -3*x - 3*t = 13 + n for x.
-3
Suppose -56*v = -55*v. Solve 0 = 3*j - 3*z - 9, v = -j - 5*z + z - 17 for j.
-1
Let v(t) = -t**2 + 6*t + 19. Suppose s = 3*w + 4*s - 18, 2*w - 3*s - 22 = 0. Let g be v(w). Solve -5*o + m = -24, g*m = o - m - 1 for o.
5
Let u(z) = 2*z**3 - 65*z**2 - 15*z + 9. Let m be u(33). Let w = m + -592. Suppose s - 4*i = 4, 4*i + 5 = -i. Solve 6 = 2*h, -b + 2*b - 3*h + w = s for b.
-2
Suppose 5*q - 5*n - 85 = 0, -558*q + 557*q + 41 = -4*n. Solve 0 = -2*b + 2*x + 10, -q*b + 7*b = -3*x - 14 for b.
1
Let i(y) = -9*y**2 - 336*y - 83. Let s be i(-37). Solve s = 4*f + 4*o, -28*o + 26*o + 10 = 0 for f.
2
Let u = 34 + -52. Let k be ((-40)/(-15))/(2/u). Let p be (-180)/k*4/6. Solve 2*i - 4 = 4*s, 0*s = s + p*i - 10 for s.
0
Let w = -19 + 12. Let k(n) be the third derivative of -n**4/8 - n**3/6 + 5*n**2. Let i be k(w). Solve i = 5*m - 3*j, m + 3*j + 12 = 4*m for m.
4
Let p(z) = -102*z + 1227. Let u be p(12). Solve i + 4*i = -4*d - 36, -i - 16 = u*d for i.
-4
Let g(k) = -2*k**3 + 12*k**2 - 8*k - 36. Let c be g(8). Let m = 359 + c. Solve m*l - 12 = -3*u, 2*l + 5*u - 4 - 7 = 0 for l.
3
Let i be (-3)/4 - (-945)/(-180) - -4*2. Solve -z + i = -3*p, 7*p - 10 = 10*p - 2*z for p.
2
Let v be -7 + (-1520)/48*6/(-10). Solve -4*t + v = 3*w - 17, -w - 3*t = -18 for w.
3
Let n = -131 - -148. Let b(u) = 8*u - 132. Let l be b(n). Solve t = -5*f - 24, l*t = -3*f - 22 - 6 for f.
-4
Let g = -51 - -51. Suppose g = -u - 34 + 40. Suppose u*q - 12 = -0. Solve 4*i + 11 = -q*j + 1, 5*j = 4*i - 25 for j.
-5
Suppose 7*f - 5*f + 14 = 2*x, 4*x - 10 = -5*f. Suppose 0 = 461*c - 460*c - x. Solve t = 4*o + 2, 2*o - o + c = -2*t for t.
-2
Suppose -o + 64 = -l, 4*o - 312 = -o - 3*l. Let n = o - 68. Let s = n + 7. Solve -5*z - 4*i - 1 = -5, -s*i = 5*z - 12 for z.
4
Let h(r) = 4*r**2 + r - 4. Let w be h(-2). Let j = -3905 - -3910. Solve f + 2*o + w = o, -j = 2*f - o for f.
-5
Let p(b) = 3*b + 11. Let s(l) = -5*l - 16. Let x(m) = 8*p(m) + 5*s(m). Let o be x(-7). Suppose -5 + o = 5*c. Solve -c*g = -j - 2, -j - 3*g = 2*g + 9 for j.
-4
Let g = 409 + -77. Suppose 5*y - g = 3*u, -5*y - u = 4*u - 340. Solve 0 = 2*x + 3*n + 23, -y = 5*x + 5*n - 22 for x.
-4
Let f(y) = -4*y**2 - 13*y + 21. Let a be f(1). Solve -a*o + 8*o + 5*x = -12, 3*o = 2*x + 14 for o.
2
Let k(o) = -o**2 + 8*o - 11. Let x be k(5). Suppose 3*f + 5 = -5*i, 4*i - 66 + 68 = -2*f. Solve -s - 7 = 2*m, -i*m + 3*s + 17 = x for m.
-1
Let p be 75/100*(-60)/(-9). Solve 0 = 5*u + q - 146 + 141, -3*u + p*q - 25 = 0 fo