+ 0*t = -g for s.
5
Suppose -1 = 5*w - 21. Suppose 0*n = -5*n + 3*h + 158, -2*h = w*n - 122. Let g = n + -31. Solve s + 3*s = 3*p - 31, 4*p + 3*s - 8 = g for p.
5
Suppose -16*k + 105 = -k. Suppose -k*j = -17*j + 40. Solve -3*f + s = -2 + 1, -5*f - j*s = 21 for f.
-1
Suppose 0 = -4*d - z + 24, 2*d + z = 21 - 11. Solve -t = 5*f - 21, -f + t + 2 = -d for f.
5
Let j be 4/3*(7 - (-150)/12). Suppose -n - j = -5*r + 4*r, -r = 3*n - 6. Let l be (-17)/(-2) - r/(-42). Solve 2*x - 3*s = -l, 3*s = 4*x + 2*s + 3 for x.
0
Suppose 0 = -5*a - 3*t + 35, 78*t = 81*t + 15. Solve 0 = -5*d - a, 15 = -5*x + 19*d - 14*d for x.
-5
Let a = 113 - 71. Suppose a*v - 176 = 34*v. Solve 5*n - 3*p = -v, -2*n - n - 13 = -2*p for n.
-5
Let l(h) = 2*h + 28. Let w = -48 + 48. Let p = w + -10. Let u be l(p). Solve 3*i - 2*j = -u, -4*j = -5*j - 2 for i.
-4
Let j(w) = w**3 + 4*w - 3. Let v(h) = -h**3 - 9*h - 9. Let d be v(-1). Let m be j(d). Solve -2*u + 11 = -3*u + 3*n, -2 = 4*u + m*n for u.
-2
Let o(x) = 21*x - 123. Suppose 24 = 44*m - 40*m. Let z be o(m). Solve k - z*d = -d + 5, 2*k = 3*d + 8 for k.
1
Let o(h) = 3*h**2 - 249*h + 249. Let t be o(82). Solve -57*c + 10 = 5*m - 54*c, -3*c - 30 = -t*m for m.
5
Let y(i) = -4*i - 23. Let v be y(-8). Solve 3*r - 11*f = -13*f - 1, r - 4*f - v = 0 for r.
1
Suppose q - 2*m = -11, 3*q - 60*m + 27 = -55*m. Solve -23*r = -w - 22*r + q, 0 = -2*r for w.
1
Let l(r) = 2*r**3 - 9*r**2 - 8*r + 17. Let o be l(5). Let j be (-19 - -6) + 8 + 10/o. Solve 3*h + 5*m - 27 = 0, j*m = 5*h + m - 23 for h.
4
Suppose 6*v = -7*v - 3328. Let z = 256 + v. Solve 5*c - l + 5 = z, 5*c + l = -0 - 5 for c.
-1
Let v = 140 + 98. Let r = -233 + v. Solve s - 3*s - 5 = x, -r*s + 3*x - 7 = 0 for s.
-2
Let v = 2295 - 2295. Solve 0 = -2*m + g, v*m - g = -5*m - 3 for m.
-1
Let u = 27 - 11. Suppose 5*r = 5*h - 30, r = 4*h - h - u. Let j(n) = -n**3 + 5*n**2 - 2*n + 10. Let d be j(h). Solve 0*o + o + 2*y = 0, 2*o - 4*y + 8 = d for o.
-2
Let y be 7/(-4 - 3/(-1)). Let g be ((5 + 1)/(-3))/(y/49). Let z be (-9)/(-1) - (g - 10). Solve -z*b - 11 = -j, 4*j - 7 = b - j for b.
-2
Suppose 0 = -4*z - 3*s - 8, 3*z + 3*s - 8 = -20. Solve z*b = 5*u + 27, -15 = -4*b - 16*u + 17*u for b.
3
Let o be (-324)/24*(2 - 4). Suppose 0 = -5*f - 3*x - o, -4*x = -5*f + 4*f - 10. Let b be 9/(f/2)*-1. Solve -3*r + r = -b*g + 9, -2*g - 5 = -5*r for r.
3
Suppose -5*g + u + 31 = 0, 3*g - u = 4*u + 23. Suppose -3*z - 2 = -13*z + 9*z. Solve 5*j = -2*s + 23, -j + z*s = g*s - 19 for j.
3
Let l be 885/4425 - (138/(-10) - 0). Solve -11*w + 13*w = 2*c - 6, 5*c - 4*w = l for c.
2
Let j = 16 - 16. Suppose j = -6*l - 18 + 42. Solve -4*u - 8 - 11 = q, 4*q + 28 = -l*u for u.
-4
Suppose 251*g = 254*g + 105. Let a(s) = -3*s - 100. Let f be a(g). Solve -y = -3*p + 2, 2 = -2*y + f*y - 5*p for y.
4
Let w be (22 + -12)*(3/3)/2. Let r(b) = 17*b + 2. Let f be r(2). Suppose -f = -w*s - 4*s. Solve s*u + 3*n - 17 = 0, -2*u + 5 = 2*u - n for u.
2
Let f be (1 - 0)*21*12/(-18). Let t be (-68)/f - 11/(-77). Solve l - 3*x = -15 - 3, -x - 10 = t*l for l.
-3
Suppose -839*t + 132 = -795*t. Solve q + t*v = -10, 0 = -2*q + v - 6 for q.
-4
Let y be (5/3)/(-2*(-90)/972). Solve 2*i - y = -x, 5*x = -4*i + 7 + 26 for x.
5
Let c = 358 + -356. Solve 4*v - 16 = 0, 4*q = -c*v + 7 + 5 for q.
1
Let u(d) = 6*d**2 + 76*d + 50. Let q be u(-12). Solve 0 = 3*g - 3*i + 6, 7 - 13 = q*i for g.
-5
Let v = 155 + -145. Let c be 4 + 2 + -13 + v. Solve -3*l - 3*w + w = 5, c*w = 15 for l.
-5
Let r(q) = -14*q + 338. Let m be r(24). Solve -m*t + 2*b + 18 - 10 = 0, -5*t = -b - 24 for t.
5
Let z = 87 + -63. Suppose f = -23 + z. Solve -3*b - f = -5*j - 8, b - 5 = 3*j for b.
-1
Let a(k) = -k**3 + 8*k**2 + 3. Let r(y) = 5 + 19*y - 32*y + 14*y. Let j be r(3). Let x be a(j). Solve n + n - 7 = m, -5*m + 2*n = x for m.
1
Suppose -5*c + 165 = 5*p, 313 = -3*c - 5*p + 426. Solve c*r = 27*r + 5*a - 20, 3*r + 4*a - 27 = 0 for r.
5
Let h = 150 - 150. Suppose -15*r + 6*r = h. Solve -u - 9 = k - r, 5*k = 3*u - 13 for u.
-4
Let o be ((-3)/4)/(2/(-8)). Suppose w + 54 = o*w. Let n be (-1 + (-39)/(-15))*(-290)/(-232). Solve 5*m = -0*u + n*u - 26, 0 = 5*u - 3*m - w for u.
3
Let o(f) = f - 77. Let t(q) = q - 51. Let k be ((-1)/3)/((-4)/(-60)). Let a(u) = k*o(u) + 8*t(u). Let x be a(9). Solve n = -2*h + 1 - 14, x*h = 4*n + 4 for h.
-4
Let g = 548 + -543. Solve g*b + 2*q + 0 = -1, -2*q = 3*b - 1 for b.
-1
Let g(w) = -w + 4. Let f be g(1). Let y(q) = -q**2 - 4*q + 25. Let l be y(f). Solve l*a - 4*s = -2*s - 12, a - 4 = 4*s for a.
-4
Let k = 27 - 106. Let v = -79 - k. Solve -3*d - 5*m + 1 = v, -2*d = -0*d + m + 4 for d.
-3
Suppose -4*h = -10*h + 72. Let t be 3/h*-4 + 4. Solve 4*w - l + 11 + 3 = 0, -1 = -t*w - 5*l for w.
-3
Let b(f) = -25*f**2 - 6*f. Let d be b(3). Let o = d - -253. Solve 0*r + q = -5*r - o, -2*r = -4*q + 26 for r.
-3
Suppose 3*d = 5*c + 14, -2*c + 1 = -733*d + 734*d. Solve 2*v - d*w + 6 = 0, -3*v = -4*w + 15 - 7 for v.
0
Let l = -37 + 8. Let r = 6 - l. Let f be ((-7)/r - 2/(-10)) + 3. Solve x = f*y + 4 + 7, -x = 3*y + 1 for y.
-2
Let j(z) = 506*z**3 - 2*z**2 - 3*z - 2. Let p be j(-1). Let q = 512 + p. Solve -q*t = 2*k - 15, 1 + 4 = 3*t + 2*k for t.
5
Suppose 3*h - 36 = 64*u - 62*u, 52 = 5*h - 2*u. Solve 0 = -n + 8*a - 10*a - 6, n + h = -4*a for n.
-4
Let n(l) = 2*l**3 - 25*l**2 - 12*l - 11. Let o be n(13). Suppose 12 = 3*d - 0*x - x, o*x = d - 4. Solve -d*g = 2*h - 14, 0*h + 3*h = -3*g + 15 for g.
2
Let j(c) = 4*c**2 + 50*c + 21. Let y be j(-11). Let z be (y/(-35))/(2/14). Solve 0 = -5*u - 2*t - 5 - 4, 0 = 3*t - z for u.
-3
Let w be 0/(-5)*(21/(-2) + 10). Solve 2*i + 2*l = w, 7*l + 5 = -3*i + 5*l for i.
-5
Suppose 102*f - 95*f - 21 = 0. Suppose 0 = -3*a + 4*u + 38, -u = -4 + 9. Let m be (-5)/(-10) + a/4. Solve 7*q = 4*q - 2*x + m, -f*q + 3*x - 18 = 0 for q.
-2
Let n(b) = -b**2 + 32*b - 207. Let p be n(9). Solve 3*j - 4*v - 6 = 0, 11*j - 16*j + v - 7 = p for j.
-2
Suppose -57 = -2*a - 4*r + 11, -4*a + 145 = 5*r. Suppose 21*f - 29*f = -a. Solve 2*y + 2*s + 10 = 6*s, -y = f*s - 16 for y.
1
Suppose 315 = -5*g - 5*k + 295, g + 2*k = -12. Solve 0 = 4*o - 233*i + 232*i + 3, 3*o - 14 = g*i for o.
-2
Let l(g) = 5*g**3 + g**2 + 11*g - 2. Let b be l(-4). Let v = -345 - b. Solve v*i = -4*z + 36, -2*z = -2*i - z + 4 for i.
4
Let y = 3973 - 3962. Solve 0 = -4*r - 2*w - 28, -r = -4*w - 0 - y for r.
-5
Suppose 2*i + 110 = 5*i + 7*i. Solve -m + i = -5*f, -2*m + 4 = 5*f - 6*f for m.
1
Suppose 1883 - 57 = 22*a. Suppose -18*j + a = 11. Solve -j*s + 13 = -h, -s = 3*h + 3*s - 9 for h.
-1
Let c(n) = -n - 18. Let f be c(-20). Suppose -f*i - 4*m = 66, -4*m + 18 = 2. Let b = -36 - i. Solve w - 2*z = b, 2*z + 3 = -w - 12 for w.
-5
Let y be (118 + -109)/(6/(-2 - -4)). Solve 4*v + 4 = 4*k, -5*v - y*k - 18 - 11 = 0 for v.
-4
Let r(g) = -8*g - 13. Suppose -14*n = -23*n - 36. Let m be r(n). Solve 4*h - 5*f + m = 0, -h + 1 = 4*f - 10 for h.
-1
Let f be 36/9 - 2*2. Let x(w) = 4*w**2 + 10*w - 32. Let n be x(2). Solve -3*s - 3*b + 2 + n = 0, -4*s + b - 17 = f for s.
-3
Let y = -19547 + 19549. Solve 4*k = -5*f - 17, 3*f = y*f - 5*k + 5 for f.
-5
Let s(k) = -k**2 - k - 8. Let q be s(6). Let y = q - -54. Let w = 88 - 83. Solve 6*r - r + w = 0, 5*z - 4 = y*r for z.
0
Suppose 142 = 5*f + 562. Let g be 20/8*f/(-15). Solve -5*j = -b - 6 - 5, -5*b = -2*j - g for j.
3
Let j be (-2)/(-8) + (20045/(-4))/(-19). Let i = j - 231. Solve -5*x - i = 5*l - 3, -2*x - 4*l = 18 for x.
-3
Suppose 0 = 4*o - 4*g - 24, g = -o - g - 6. Let w = 167848 + -167848. Solve o*d = -d + 12, x + d = w for x.
-4
Let r(j) = -116*j**2 - 14*j - 15. Let s be r(-1). Let q = 122 + s. Solve 25 = q*d + o + 6, -1 = o for d.
4
Let y = -23 - -33. Suppose -k + y = -0*k. Let i = -3268 + 3270. Solve 0 = -2*o - i*j + k - 0, 5*j - 11 = 2*o for o.
2
Let s be (-12)/54 + 130/18. Suppose 4*h + s = 15. Suppose 2*d + h*d = 16. Solve 0*c - 3*c = -d*f - 14, 2*f + 4 = 0 for c.
2
Suppose -4*l - 16 = -4*h, -2*h + 0*l + 16 = -4*l. Solve h*j - 28 = 3*j + 4*c, 0 = 3*j - 5*c - 8 for j.
-4
Let q(a) = -a**2 + 12*a - 16. Let c be q(8). Let u(i) = 15 + 20 + i**2 - 9*i - c. Let k be u(8). Solve 0 = s + 4*p + k, s - 4*p - 2 = -s for s.
-3
Suppose -5*d + 367*g + 87 = 363*g, -d + 58 = 5*g. Solve -z + 4*o - 17 = 0, -5*z = 5*o - d - 17 for z.
3
Suppose 9*p - 2070 = -10161. Let r = p + 90