o = 5*s + 15 for s.
-5
Let l be 0 + 3/(-12) - 874/(-8). Let p = 114 - l. Let m = 53 - 51. Solve p*a - 22 = 2*y - y, -4 = m*y for a.
4
Let h be -1 - ((-1 - -2) + -16). Suppose 6595 - 2047 = 2274*q. Let s(o) = o**3 + 1. Let t be s(-1). Solve -q*p - 8 = 3*g + 3, t = -2*p - 4*g - h for p.
-1
Suppose 3*m - 15 = 5*r, 48*m + 5*r = 50*m - 15. Solve m = 4*i + 2*a - 10, -5*i + 0*a + 16 = -a for i.
3
Let b be (728/(-42))/(-26) + -1*4/(-3). Solve 0 = -t - 5*n - 285 + 306, 0 = -3*t + b*n + 12 for t.
6
Let x be (14 - (-1273)/(-171)) + (-154)/(-63) + -2. Let u = -1 - -1. Suppose u = 4*n + 2 - 34. Solve 3*o + p = -p - x, 5*p = o + n for o.
-3
Suppose -772*r = -378*r - 378*r - 464. Solve -34*s + 4*i = -r*s - 21, 9 = 5*s - i for s.
1
Suppose -2*i + 3*m = 11, -32*i + 35*i - 21 = -3*m. Suppose 0 = i*x + 3*y - 36, -2*x + 56 = x + 5*y. Solve 5*w - x = -t + 16, 0 = 5*w - 2*t - 19 for w.
5
Let a be (-222)/(-4) - (-3)/6 - 4. Let m be 2*(a/91 - 54/(-28)). Solve m*i - 4*r + 18 = -2*r, 3*r = 2*i + 16 for i.
-2
Suppose 0 = -c + 5, -j + 5*c = -5*j + 93. Suppose -j = -10*l + 13. Solve -l*v + 5*a - 20 = 0, -v - 2*a = -0*a - 8 for v.
0
Let a be (44/(-20) - -3)/((-1)/(-5)). Let m be 3/(-2)*-1 + 14/a. Suppose -4*d + 12 = 4*l, 0 = m*l - 5*d - 2 - 13. Solve l*h - 14 = 5*j, -j - 3*j = -h + 7 for j.
-1
Suppose -27 = -3*a, -744 = z - 2*a - 728. Let j(m) = 2*m**3 - 2*m**2 - 3*m + 3. Let b be j(2). Solve -2*v = t - b, 0*t - t - 7 = -z*v for t.
-1
Suppose -80 = -q - p - 49, -163 = -5*q - 3*p. Suppose -2*s = -2*f - 8, 4*s - 1 - 15 = 3*f. Solve -2*k - 10 = 4*l, 0 = -4*l - f*k + 3*k - q for l.
-5
Suppose 6 = -4*d - 8*r + 6*r, 3*d - 6 = 2*r. Solve d = 5*t, -17*t - 6 = g - 16*t for g.
-6
Let f(t) = t**3 + 27*t**2 - 17*t - 444. Let v be f(-27). Solve -1 = 5*k + 2*d + 20, k - 5*d = -v for k.
-5
Let b be (-3)/((3/2)/(9 - 92/8)). Solve -b*r = 3*y + 12, 10*r - 6*r - 3*y = 12 for r.
0
Let b = -14007 + 14027. Solve 3*f = r + b, 8*r = 2*f + 13*r + 15 for f.
5
Suppose 5*q + 205 = 5*u, -q = 8*u - 11*u + 121. Suppose u*c + 18 = 46*c. Solve 5*o = -a + 20, -2*o = -3*a - 28 + c for a.
-5
Suppose 0 = 148*f - 140*f + 1336. Let g = 168 + f. Solve 5*w = 4*m + 9, -m - w + 2*w = g for m.
4
Let d = 410 + -772. Let l = d + 364. Solve l*n = -3*g - 11, -5*n + 2*g + 0 = -1 for n.
-1
Let f(d) = d - 9. Let o be f(7). Let q = 1 - o. Suppose 0 = 5*z - 10, q*x + 6*z = z + 25. Solve x*t + 3 = 2*v - 0*t, -3*v - 1 = -2*t for v.
-1
Suppose -x - 23 = -3*z, 2*z + 19*x = 23*x + 22. Solve -g = y + z, -60*y + 64*y = 3*g - 7 for y.
-4
Let x(y) = y - 35. Let k be x(20). Let p be 1/(-3) + (-50)/k. Solve -3*o = g - 4*o - p, -3*o + 11 = g for g.
5
Let i(j) = -2*j**2 + 34*j - 12. Let b be i(16). Suppose -b = -6*q + 4*q. Let l be (-22)/(-33) - q/(-3). Solve 3*h + 2*p + 0 = -5, -8 = l*h + 3*p for h.
1
Let k be (286/(-4))/(2/8*-2). Suppose 2*j + 29 = -u, -6*u = -2*u - j + k. Let m = -33 - u. Solve -m*r + 4 = 3*x, -2*x - 17 = -3*r - x for r.
5
Let a(u) = -u**3 - 7*u**2 + 8*u + 1. Suppose 3*r + 10 = r, 0 = -5*o - 2*r - 50. Let x be a(o). Solve -1 = 4*v + 5*b, -x = 2*v + b - 2 for v.
1
Suppose 6*h - 10*h + u = -55, -5*h + 9*u + 30 = 0. Solve -10 = 2*b - 0, 4*x = 3*b + h for x.
0
Suppose -2*a + 46 = -14. Suppose -a = -3*s + 54. Let m = s - 12. Solve 28 = -4*v - 0*p + 2*p, 4*p = m for v.
-5
Suppose 9 - 19 = -2*t. Suppose -20 = -5*p - t*p. Suppose -p*z - 3*z + 4*y + 45 = 0, 5*z - 5*y = 45. Solve -v = -2*o + 2, 2*v + o = -0 - z for v.
-4
Let s(i) = i**2 + 7*i + 19. Let q be s(-13). Suppose 5*n - 117 + q = 0. Solve -n*d - 2*r + 6 = 0, -2*d = -4*r - 6 - 2 for d.
2
Let z be (2 + -4 - -5) + -3. Suppose z = y - 0*y. Suppose -27*s + 290 = 80 - 168. Solve -5*d + s = 2*w - y*w, 2*w - 2*d = -14 for w.
-3
Suppose -5 - 4 = -3*s. Suppose -2*g + 12 = f, 0 = -s*g + 19 - 4. Solve -4 = f*d - 2*m, 2*d - 3*d + 28 = 5*m for d.
3
Suppose -14 = -2*l, 0 = -5*z - 2*l + 2753 - 2719. Solve 5*w + 19 = t, -z*t = -0*w - w - 19 for t.
4
Let g be ((-28)/(-10))/(2/30). Let z be 1 - 4 - (38 - g). Solve 4 = -u - 3*x, 2*x + z = x for u.
-1
Suppose 36 = -231*u + 243*u. Suppose 3*s = -4*d + 140, 4*s = -s - 5*d + 240. Suppose 3*k - 7*k = -s. Solve -2*x + 3*w + k = 0, -2*x - x + u*w = -12 for x.
-1
Let i(l) = -10*l + 125. Let a(s) = -25*s + 376. Let y(g) = 3*a(g) - 8*i(g). Let d be y(-25). Solve 4*r + 4*z - 16 = 0, -2*z + d*z = -4*r + 19 for r.
5
Let w(k) = -k**3 - 10*k**2 + k + 12. Let s be w(-10). Suppose 104*u - 2541 = 93*u. Let p = u - 226. Solve -j = -p*h + 23, -s*j = -7*j + 3*h - 5 for j.
2
Let f(p) = -p**3 - 28*p**2 - 14*p - 383. Let c be f(-28). Solve 3*w - c = -3*x, -4*x + 19 = 2*w + 11 for w.
2
Let v be 1 + 3/2 + -24*12/576. Solve -5*i - 3*h = -v*i - 6, -6 = 2*i - 3*h for i.
0
Suppose 5*p - 170 - 50 = 0. Let z = p + -40. Suppose z*w - 2*s - 47 = 97, 181 = 5*w - 2*s. Solve -4*l - o + 28 = -3*o, 5*l - 3*o - w = 0 for l.
5
Let i = -117 + 120. Let c be (68/20 - i)/((-1)/(-5)). Suppose 8*f = -4*s + 7*f + 10, -2*f - 10 = -c*s. Solve -2*a - 3*x = -8, -s*a - 12 = -5*x + 14 for a.
-2
Let z(w) = 41 + 488*w + 119 - 482*w. Let n be z(-26). Solve 5*q - 10 = t + 10, 0 = 5*t - n*q + 16 for t.
0
Suppose 94 = 4*c + u, 9*c - 5*c - u = 90. Suppose -i + 2 = 0, -3*v - 10 + c = 2*i. Solve n - 5*q = 15, 0*n + q = -4*n - v for n.
0
Let i be -3 + -1 + (382 - 369). Solve 4*z = 3*c - i, 6 = -3*z + 3*c - 0 for z.
-3
Suppose 0 = g - i, 13 = 5*g - 4*i + 9. Suppose 5*q - 3*k - 9 = 0, 2*q = q + 4*k + 12. Solve h + 0*c - c - g = q, 0 = -h - c - 2 for h.
1
Suppose 0 = 3*k - 3*s - 15, 3*k + 170 - 182 = 2*s. Solve 3*v + 10 = k*z - v, 0 = -2*v for z.
5
Let i be (0*12/(-8)*(-4)/(-12))/(-2). Solve i = -2*c - 3*g, 5*g = 9*g for c.
0
Let d(z) = z. Let s be d(3). Suppose 0 = 2*g + 2*i - i - 134, -3*i - 6 = 0. Let l = g + -65. Solve -s*u + n = -6*u - 2, l*u + 6 = -3*n for u.
0
Let c(d) = -d + 1. Let o be (364/(-8))/(-1)*2. Let g = -90 + o. Let x be c(g). Solve -2*a + 17 = 3*a + r, 2*a - r - 4 = x for a.
3
Suppose -w = 8 - 22. Let s = -12 + w. Suppose 16 = 13*y - 12 + 2. Solve -4*x - 2*m - s = -2*x, -4*m - 4 = y*x for x.
0
Let d(w) be the third derivative of -7*w**4/12 - w**3/6 + 11*w**2 + 1. Suppose -5*u = -1 + 6. Let f be d(u). Solve 0 = -3*i - c + f, -i - 3*c - 2*c = -23 for i.
3
Let y be (-5)/(10/(-1) - (-75)/8). Solve d + 4 = -v, -2*d + 4*d + y = 4*v for d.
-4
Suppose 5*h - 5*x = -10, 3*x - 386 + 383 = 4*h. Solve 3*r = h*z - 3, 0 = -2*r - 0*z + 4*z - 12 for r.
4
Let y = 36 - 33. Suppose 10 = -4*x + 3*s, y*x + s - 2 = -3. Let j(o) = -o**3 - 2*o**2 - o. Let a be j(x). Solve a = -4*r - 2*c + 6, 0 = 2*c + 11 - 1 for r.
4
Let f(y) = -3*y + 6. Let r be f(-3). Suppose 17*o = r*o + 4. Suppose 0 = i + o*c - 1 + 3, -6 = -4*i - c. Solve 0 = -5*d, 2*u + d + 0 - i = 0 for u.
1
Let v = -38 + 47. Let p be 1/(-6)*v*12/(-9). Solve -2*j + p*l - 2 = 0, 0*j - 4*j + 2 = -2*l for j.
2
Let i(a) = a**3 - 5*a**2 - 6*a + 16. Let d be i(6). Suppose -16 = -d*s + 8*s. Solve 0 = 3*x + s*b - 13, b + 9 = x - 3*b for x.
5
Let u be 6 - 13/((-52)/(-8)). Suppose -54 = -7*a + u*a. Solve 2*p + 16 - 4 = 4*g, 4*g = 5*p + a for g.
2
Let h = 13642 + -13637. Solve -z + 1 = 5*r, -30 = h*z - 5*r - 5 for z.
-4
Suppose 4*i = -0*i + 16. Suppose 20 + 11 = i*v + 3*n, 4*v - n - 11 = 0. Let a(p) = p**2 + p - 8. Let k be a(-4). Solve -o - 2 = v*c, o = 5*o - k*c - 12 for o.
2
Suppose -2*y + 13*y - 352 = 0. Let b be 28 + 2 + y/(-16). Solve 0 + 2 = -4*c + 2*p, -b = -4*c - 4*p for c.
2
Suppose 2*p + 5*f = 20, -8 = 5*p - 5*f + 3*f. Solve p = -5*q - 3*u + 12, 13*q + 5*u - 1 = 11*q for q.
3
Let t = 41 - 36. Let u be t/(30/(-12))*-1. Solve 0 = i + 3*b - 2*b + 7, 3*b + 19 = -u*i for i.
-2
Suppose -41*h - 4224 = -19*h. Let f = -189 - h. Solve 0 = f*r + r + 4*x - 36, -r + 13 = 2*x for r.
5
Suppose 0 = -2*s + 4*b - 6 - 8, s + 4*b - 23 = 0. Let p(f) = -f**2 - 14 + 15*f - 3*f + 0*f**2. Let u be p(10). Solve -s*x - u*a + 5*a + 4 = 0, -2 = -2*a for x.
1
Suppose -110*d = -88*d - 5434. Let f = 249 - d. Solve 5*h + y = 4*y - 18, 0 = -f*h + 3*y - 9 for h.
-3
Suppose b - 28 = -4*z, -3*b + 21 = 5*z - 7. Let f(g) = -g**2 + 11*g - 17. Let x be f(z). Let t = x + -4. Solve -9 = -4*y - 5*q, 3*y - t*q + 11 = -16 for y.
-4
Let o = 21 - 22. Let j be o/(-5)*5/(-2)*-12. Solve 3*c + j = -q, 3*q - 27 = 5*c - q for c.
-3
Let h(g) = 5*g + 117. Suppose -2*r = w + 21, 0*w = 5*w + 4*r + 111. Let