4*w - t = -3*u for u.
0
Suppose 0 = 3*c - 17 - 4. Suppose 4*g - 12 = 4*b, 0 = 5*b - g - 4 + c. Solve -t - 6 = -b*r + 2*r, r + 8 = 2*t for t.
2
Let z = -109 - -114. Suppose 31*t = 32*t - z. Solve -2*u + 3*m - 6 = 8, t*u - 2*m = -13 for u.
-1
Let i be (-6)/(-9)*((-42)/(-12) - 2). Let v be -4*(6/(-4))/(2 + i). Solve -y - 4*g + 11 = 2*y, -5*y = -v*g - 27 for y.
5
Let i(c) = -108*c + 59*c + 53*c + 2*c**2 + 5. Let x be i(-2). Solve 4*r + w - x = -0, 0 = -r - 2*w - 4 for r.
2
Let f = 9 + -13. Let b be (-1 - f) + 35 + -6. Let t be (-3)/2*(-2 + (-6)/9). Solve -4*i + 0*i - 2*y - 6 = 0, t*y = 3*i + b for i.
-4
Let v(n) = -2*n + 84. Let r be v(41). Solve 0 = -r*q + 10 - 0, -2*q = -2*b for b.
5
Suppose -16 = 653*m - 661*m. Solve -z = 5*w - 18, 4*w - m*z - 3 = z for w.
3
Suppose 0 = -5*x + 3*x + 4*l + 4, -5*x + 24 = -3*l. Let h be ((x - 2) + 4)*2. Let d be 2/(-3) + h/6. Solve 2*p + 3*w = 16, 1 = -d*p - 2*w + 13 for p.
2
Let s(g) = 2*g - 4. Let d be s(-8). Let u be ((-3)/(-4) - 1)/(1/d). Solve -1 = j - 3*b, -15 + 0 = -5*j + u*b for j.
5
Let f(z) = 3*z - 11. Let d be f(5). Suppose 0 = -d*j + 62 + 14. Solve 13 = -u - 3*r, 3*r + j = u + u for u.
2
Let p be 4 - (-1)/((-1)/2). Suppose -p*k = -2*o - 8, 5*o = 2*k - 0*o - 11. Solve -5*i - 5*b - 15 = 0, -2*i + 5*b = -k*i - 23 for i.
2
Suppose -56*l = -16*l - 200. Solve -k - 2*k = -i + 2, 0 = l*k + i - 2 for k.
0
Suppose 43 = -4*x + 99. Suppose 0 = -5*k - 14 + x. Solve -l = -m - 3*l - 5, -3*m - l = k for m.
1
Let n = 18 - 12. Suppose n*x + x = 28. Solve 5*h + 13 = 3*u, 3*u + 3*h - 1 = -x for u.
1
Let d(r) be the first derivative of -10 + 9*r - 1/3*r**3 - 4*r**2. Let y be d(-9). Solve i - 4*s = 11, -i - 2*s - 3*s - 16 = y for i.
-1
Let w = 31 + -30. Let i be (-12)/(-6)*(4 + w). Let j = i - 5. Solve -5*o - 35 = -j*f, f - 3 + 2 = -o for o.
-3
Suppose -2*w = -4*i - 14, -2*i + 4*w = 2*w + 2. Let n be 22/5 - i/(-15). Suppose 2*c - 30 = -4*c. Solve -x = -5*v + c, n*x - 3*v - 22 = -4*v for x.
5
Let k(c) = c**2 - 5*c + 2. Let d be k(6). Let m = 124 + -132. Let r = m + d. Solve -2*j - g = -r*j + 3, 5*g - 15 = 0 for j.
-3
Let r = -206 - -209. Solve 3*h + 21 = -3*j + 6*h, 5*h - 29 = r*j for j.
-3
Let x(y) = -y**2 - 15*y - 9. Let g be x(-14). Let i be ((-28)/(-6))/((-2)/(-15)). Solve -5*u + i = -3*j, g*u = -3*j - j for j.
-5
Let n be (-2 + (-3 - -5))*-1. Suppose -4*m + 2*i + 2 = n, i - 1 - 4 = 0. Suppose 2*x - m = 1. Solve -f + 8 = -2*v, 0 = -x*v + 1 - 7 for f.
2
Let t = 31 + -16. Suppose 0 = t*n - 18*n + 9. Solve -3*g + 3*q - 9 = 0, -q - n = 4*g - 3*g for g.
-3
Let u(s) = s**3 + 8*s**2 + 12*s - 5. Let f be u(-5). Let b be -5*(-4)/f - -28. Solve -5*y + b = -5*a, y + a = -3 + 7 for y.
5
Suppose 646 = -4*k - 2*y, 3*k + 0*y - 2*y = -495. Let w = k - -166. Solve -2*z + 5*o = -1, 3*z - 7 = -o + w for z.
3
Suppose 2*z - 17 = -3*u, -5 = -2*u - 5*z + 10*z. Solve -o - 1 = 0, u*w + 5*o = -3 - 2 for w.
0
Let r = -640 + 645. Solve p - r*j = 0, 5*p = 5*j - j - 21 for p.
-5
Suppose 5*n = 2*n - 5*l + 21, 0 = -2*l + 6. Suppose n*g + 49 = 57. Solve -2*f = 2*s - 20, g*s - 35 = -2*f - f for s.
5
Let z(d) = 9*d**2 - 62*d - 7. Let c be z(7). Solve -2*o - 3*x + 1 = 0, -o - 2*x + c - 1 = 0 for o.
5
Suppose 54 = -0*s + 3*s. Let m = 20 - s. Suppose 2*w + 5*c - 30 = 0, m*c - c = w - 8. Solve -3*l = 4*k - 0*l - 8, -5*k + w = -4*l for k.
2
Let b(s) = -s**3 + 3*s**2 + 9*s + 9. Let h be b(5). Let j be 8*2/(-3 + h). Solve -3*f + f - 5*n - 20 = 0, 5*f = -4*n - j for f.
0
Suppose 156*o + 24 = 162*o. Solve -4*u - 3*q = -o, 2 = u - 3*q + 1 for u.
1
Let w = -858 + 862. Solve 0 = w*t - 6*t + 3*s - 14, 15 = 5*t + 5*s for t.
-1
Suppose -3*v = 9, -v + 9 = -3*h - 6*v. Solve -5*b = -3*l + 2 - 1, -h*b = -l for l.
2
Let n(o) be the third derivative of o**5/60 - o**3/3 - 2*o**2. Let j be n(3). Let h = j + -5. Solve 4 = -h*r + d, -10 = 3*d + 2 for r.
-4
Let q = 101 + -99. Solve 0 = s - q, 3*d - 5*s = -3 + 8 for d.
5
Let a = -10 - -10. Suppose a = 3*g - 2 - 88. Solve 3*u - 2*z - z + 27 = 0, -g = 2*u - 5*z for u.
-5
Let m = -995 - -1000. Solve -15 = m*z, 2*k - 5*z - 25 = -0*z for k.
5
Let k(j) = 17*j**2 + 2*j - 1. Suppose 2*u = -4*y - 14, -4*u - 4*y = -3 + 15. Let r be k(u). Solve -r = -z - 0*z + 3*q, -2*z + 26 = -4*q for z.
3
Let s = -1000 - -1011. Suppose 4*m = 2*r + 2*m - 12, 5*m + 16 = -2*r. Solve b - 10 + 1 = r*v, -s = -b + 3*v for b.
5
Let p be (-1)/(14/8) - 1584/(-616). Solve -z - 2 - p = 2*b, 5*z = -5*b for z.
4
Suppose d + 0*y - 5*y - 27 = 0, -4*d - 2*y + 86 = 0. Suppose 6*n - 8 = d. Solve -l = -4*c - 6*l + 5, n*l - 5 = 5*c for c.
0
Let o be 126/(-147)*(-28)/6. Suppose -3*w + 4 = -32. Solve -o*r = w, 5*p + 4*r + 1 - 4 = 0 for p.
3
Let h = -6 + 7. Let k be h*6 + (-6 - -3). Let o(i) = -3*i + 51. Let j be o(17). Solve t - 4*s - 25 + k = j, 4*t = -2*s - 2 for t.
2
Let d(j) = j**3 - j**2 - j + 3. Suppose 3 = -3*k + 6. Let f be d(k). Solve 3*b = -2*u - 15, b + f*b = -u - 15 for b.
-5
Let x(h) = -h**3 - 2*h**2 + h. Let z be x(1). Let q be z/(1 - (-20)/(-16)). Suppose -6*g + q*g = 10. Solve -20 = -g*l + 4*l + 5*v, l - v = 0 for l.
-5
Let x = 188 - 182. Solve -5*f - 7 = -5*b - 8*f, -2*f = -2*b + x for b.
2
Suppose 3*b - 32 = 2*v - b, -2*b = -3*v - 32. Let u = v + 48. Let y = 58 - u. Solve 0 = h + t - 5*t + 1, 5*h + 3*t - y = 0 for h.
3
Let a = -53 - -56. Solve -2*j + a*m + 8 - 3 = 0, -4*j - 5*m = 45 for j.
-5
Suppose 5*n + 3 = z, -3*z - 5*n = -1 - 8. Solve a = 3*x, 3*a = -z*x - 13 + 1 for a.
-3
Let s be (-1 - (-2 - -1)) + 5. Let j(x) = 9*x - 60. Let y be j(8). Suppose y = 4*q + h - 30, -5*h + 30 = 2*q. Solve q = -s*o - 5*z, -2 + 0 = o - 5*z for o.
-2
Suppose 8*t - 6 = 10. Solve -t*b = 5*q - 2*q + 2, -2*b = 2*q for b.
2
Suppose -3*q - 7 = -1. Let f(u) = 2*u**2 + u. Let i be f(q). Let b = i + -2. Solve 2*h + 8 = -b*c, 3*h = -0*c - c + 3 for c.
-3
Suppose 0 = 279*b - 282*b. Let l be 2*(3 + -1 + -1). Let a be -1 + l/2 + 0. Solve a = -d + y - b*y, -8 = 3*d - 5*y for d.
4
Suppose 1 = -2*m + 9. Let u be 2/14 - (-136)/28. Solve 0 = 2*a + u*l + 4, 2*a - m*l = -3*a + 23 for a.
3
Suppose -8*z = 3*z + 66. Let c be 0 - 18/(4/(-2)). Let x = c + z. Solve x*g - 3 = -3*r, 9*g - 4*g - r = 11 for g.
2
Let g be 1/(4/22*(-39)/(-78)). Solve a - 8 = 5*p - 3*p, -4*a + p = -g for a.
2
Suppose -3*b + 2*i + 23 = 2*b, i - 26 = -5*b. Let z be ((-27)/(-4))/(9/24). Suppose 6*f - 12 = z. Solve b*s = 2*x + 12, -3*s + 5 = f*x - 27 for x.
4
Suppose -1 = p - 0. Let w(b) = -19*b**3 - 2*b - 1. Let t be w(p). Solve k - 19 = -4*o, -t = -o - 3*o for k.
-1
Let v be (-4 - 4/(-6)*3) + 5. Let c be 13 + ((-12)/3 - -1). Suppose 2*a - 20 + 2 = 5*n, 3*a - c = -n. Solve -4*b - 14 = -v*x, -b + 4*b = -5*x + a for b.
-2
Let j be (-81)/(-36) - (-2)/(-8). Suppose -2 - 5 = -4*a - 3*t, 2*a = 3*t + 17. Solve b + j*s + 5 = -a, -4*s + 12 = -4*b for b.
-5
Let q be (-2)/(-4 - (-7)/2). Solve 3*r + 5*j = -32, -2*r - j = -q*r - 4 for r.
-4
Let k be (-2 + -5 + 6)*-6. Solve i + 5*w + 0*w - 3 = 0, k = -5*i - 4*w for i.
-2
Let y(g) = g**3 + 3*g**2 - g + 3. Let t be y(0). Suppose 2*r + r - 18 = -t*d, -5*r + 18 = 2*d. Solve -5*w - r*l - 4 = -2, 2*l - 8 = 0 for w.
-2
Let a(g) = 14*g + 64. Let v be a(-5). Let y be (-14)/v + (-4)/(-6). Solve -2*u + 5*s + 21 = 0, 2*u + 25 = -y*u - 3*s for u.
-2
Let w(x) = 49*x + 8. Let z(k) = 16*k + 3. Let y(n) = -4*w(n) + 11*z(n). Let a be y(-1). Suppose a + 3 = 6*q. Solve 0 + q = 2*f, 3*h = -2*f - 11 for h.
-5
Let y(m) = 56*m. Let z be y(0). Solve k - 4*x = 33 - 12, 2*k - 5*x - 30 = z for k.
5
Let r(b) = 3*b + 23. Let j be r(-7). Suppose 5*h + 30 = 3*q, -3*h = -q - j*h + 12. Suppose -20*u + 80 = -q*u. Solve -5*c + 2*f = -f - 22, -5*f - u = 2*c for c.
2
Let s be (-1)/1 - (4 - 11). Let j be (-20)/(-6) - s/(-9). Suppose j*r = 5*f + 3, 0*r - 4*r = 3*f - 11. Solve -3*w + r = -3*l + w, 2*w = 3*l + 4 for l.
-2
Let i = 4189 + -4177. Let c(v) = 6*v**2 + 2*v. Let r be c(-2). Let b be r/6 + 2/(-6). Solve -5*h + b*x = i, -x - 10 = 2*h + h for h.
-3
Let z be (3 + -8)*(8 + -9). Solve -4*w + 24 = -i, -i - z*w + 21 = -0*i for i.
-4
Suppose 1026*w - 1040*w = -14. Solve 2*l - 4*l = b - 14, l = b + w for l.
5
Suppose 40 - 40 = -3*b. Suppose -1 + 6 = -5*p, g - 4*p - 6 = b. Solve -5*z - 4*o = -20 + 7, 0 = 2*z - g*o + 2 for z.
1
Suppose s - 45 = a + 4*a, -2*s + 9 = -a. Let t = 2 - a. Suppose -5*q + t = -14. Solve -2*c = 2*i - 18, -5