 5*m - 0, 0 = -5*b - 5*m + 5. Solve -4*r + 29 = b*a, r - 4*a + 1 = -6 for r.
5
Let v be 6/33 - 18/(-22). Let s be -2*v - (-30)/6. Solve 5*l + 20 = y, 2*l = s*y + 7 - 2 for y.
-5
Suppose -11*a = -8*a. Solve 3*m = -c + 3*c + 16, 3*c - 2*m + 14 = a for c.
-2
Suppose 0 = 3*s + 2*v + 20, 4*s - s + 3*v = -21. Let l = 10 + s. Solve 4*b + l*x = -20, -x + 11 = -3*b - 0*x for b.
-4
Let n = 12 + -7. Let m be ((-8)/(-6) - 2)*153. Let x be 3/2 - m/12. Solve -5*i + 45 = -x*i + 4*s, n = s for i.
-5
Let c be (0 - -1) + (-1 - -2). Let h be -2 + (96/(-4))/(-4). Suppose -h*j = -4*x - 12, 3*x - 5*j + 8 = -7. Solve 4*r - t - 2 = 3*r, -2*r - c*t + 8 = x for r.
3
Let s = -5 + 10. Solve 0 = 5*j + 4*q - 20, -3*q = -0*j + s*j - 20 for j.
4
Let t = 1 - -2. Solve -3*x = -t*u - 2 - 1, 0 = -3*x + 4*u + 4 for x.
0
Let q be (2/(-3))/(2/(-3)). Let d be 22 + q - (-2)/(-2). Let r = -10 + 12. Solve -3*s = 3*l + r*l - d, -s = -l + 6 for s.
-1
Suppose -3*b = 3*g - 27, g + 37 = 4*g + 5*b. Solve -g*t - 3 = -3*n, -4*t - 4 = -5*n + n for n.
1
Let c(v) = v**2 - 7*v. Let f be c(7). Suppose f = 3*x - 2*x - 3. Suppose -3*a = 4*d - 3 - 6, a - d = 10. Solve a = 4*s - 5*i - 6, -15 = x*i for s.
-3
Suppose 3*f - 13 + 4 = 0. Suppose -3*s + 5 = -f*v + 2*v, 13 = 5*s + 3*v. Solve 5*t + 2*h = 29, -s*h + 3*h - 27 = -5*t for t.
5
Suppose -22 = -4*r + 4*h - 2, -4*r + 28 = -2*h. Solve -3*p + r = w + w, 2*p = -5*w + 6 for p.
3
Let d = -15 - -20. Let f be (-75)/(-30)*8/d. Solve f*p = 6*p - 10, 0 = -r + p - 8 for r.
-3
Suppose 5*i + 0 = 25. Suppose 0 = -0*m + m - i. Suppose -3*g = -3*c - 9, -2*c + m*g - 15 - 6 = 0. Solve -9 = -3*w, 0 = -d + c*d + 4*w - 11 for d.
-1
Let k = -15 + 14. Let o = k + 6. Suppose -q = 4*q + 4*w, 0 = -2*w. Solve f + f - 22 = -o*t, -f - 3*t + 13 = q for f.
1
Suppose -2*o = -5*o + 2*a + 18, 4*a + 8 = -o. Solve 2*r + 8 = 6*n - 3*n, 4*r - o*n + 8 = 0 for r.
2
Suppose 4*g = -0*g + 32. Suppose 0 = -5*v + g + 7. Suppose -i + 5 + v = 0. Solve -3*r = 4*q - 8, 4*q = 3*r - 8 - i for q.
-1
Let b be (2/(-3))/(2/(-18)). Solve 4 = 4*v, -3*c - 2*v + 2 = -b*c for c.
0
Let y = 1 - 1. Let c(o) = o**2 + 3*o + 3. Let q be c(-2). Let m = q + 1. Solve -5*g + 2*z + 4 + 1 = 0, g - z + m = y for g.
3
Let h(r) = r**3 - 12*r**2 + 9*r - 18. Let m = -9 + 21. Let n be h(m). Let f be (n/8)/(-1)*-4. Solve -4*p = 5*d - 8 + f, -3*d = -3*p + 6 for d.
-5
Let x(d) = -d**2 + d + 12. Let t be x(0). Let p = 35 - t. Solve 2*j + 3*u = 17, 2*j - p = 4*u - 9*u for j.
4
Suppose -2*s + 14 = -22. Solve -s = -m - 4*m - 2*n, -5*m + 4*n + 24 = 0 for m.
4
Suppose 0 = -3*l - 2*q - 93, -4*l + 4*q - 152 = -8. Let i = 2 + 0. Let h be (-6 + 4)*l/i. Solve p + 2*a - 23 = -2*p, -5*p = 2*a - h for p.
5
Let v(q) = -q**2 + 4*q + 5. Let t be v(4). Suppose 4*z - 2*z = 0. Solve -t*x + 2 = 7*s - 3*s, -3*s - 3*x = z for s.
-2
Let w = 10 + -10. Solve w = -2*i - l - 6, -3*i - 5*l + l = 14 for i.
-2
Let a(o) = -o + 2. Let l be a(-3). Suppose 5*y = n + 26, 3*y - n + 2*n - 14 = 0. Suppose 0 = -m + y*m. Solve 3*j + 5*i = -19, m + l = 5*j + i for j.
2
Let q(w) = w**2 + 4*w + 3. Let d be q(-4). Suppose 4*a - 6 = 2*k, 0 = -5*a + 4*k + 3 + d. Solve -j - i - 19 = a*i, -i = j + 9 for j.
-4
Let a(k) = 4*k + 5. Let s be a(-2). Let j be (-4*(s - -4))/(-2). Solve 0*i = 5*i - j*n + 23, 0 = -2*i - 5*n - 15 for i.
-5
Suppose -4*f = 4*s + 4, 0 = -s + 4*s - f - 17. Let h = 0 + s. Suppose 0 = 4*o + 2*c - 20, -3*o - 10 + 39 = -2*c. Solve 2*n + o = i, -4 - 4 = h*n + 4*i for n.
-3
Suppose 3*v - 4*v = 3. Let d be 8 - 1/((-1)/v). Solve 0*u = -4*u + 2*f - 4, 5*f = d*u + 10 for u.
0
Let j be (1 + -6 + 0)*-1. Suppose 4*y - 16 = 2*k, 0*y - 5*k - 20 = -j*y. Solve 4*n + t - 9 = 2, -y*t - 32 = -3*n for n.
4
Suppose 2*x - 4*k + k - 5 = 0, 2 = 2*k. Suppose -33*f = -31*f - 28. Solve 2*z = t - x*t + f, z = -5*t + 21 for t.
4
Let d be (-8 - -9)*(20 + 0). Suppose -4*y - y = -d. Solve 0 = 2*a - y*x, -3*a - x = -7 - 0 for a.
2
Suppose 0 = 4*f - 5*f. Solve 4*g + 28 = 4*y, 5 = -5*y - f*g - 3*g for y.
2
Let w(n) = -n**3 + 3*n**2 - 2*n + 5. Let p be w(4). Let s be 0 - p - (-1 + 0). Solve 3*h + 5*t = s, -h + 9 = 4*t - 0 for h.
5
Suppose n = 2 + 5. Solve 5*i = -7*f + 2*f, -4*i = -3*f + n for f.
1
Let m(f) be the first derivative of 3*f**2/2 - 3*f - 2. Suppose 0 = 3*s - 3 - 3. Let u be m(s). Solve -u = -2*z - 3*t - 2, 6 = 4*z + 2*t for z.
2
Suppose -4 + 355 = 3*w. Let n be w/3*(-1)/(-3). Let g = n - 8. Solve j + 3*y + g = -13, -2*j - 16 = 2*y for j.
-3
Let v = 10 - 8. Solve 6 = v*h, 0*j + h - 9 = 2*j for j.
-3
Suppose 503 = 3*y - 175. Let x be y/12 + (-2)/(-12). Solve 2*c - 3*g = -1, -c + 2*c + 5*g = x for c.
4
Let y be 1/(-5) + 126/5. Suppose -5 = 2*b + 3*u - 4*u, 5*u = -3*b + y. Solve 5*h + 5*x = 20, -4*x + 14 = 3*h - b*h for h.
2
Let c be (3 - 3)/(-3 + 6). Suppose c = 9*w - 4*w - 110. Solve 5*z - 2*d - w = 0, z = -0*z + 4*d + 8 for z.
4
Suppose -d + 3 - 1 = 0. Let g(r) = -r + 1. Let i(u) = 5*u + 6. Let z(q) = 6*g(q) + i(q). Let s be z(10). Solve 3*b = d*l - 25, 3*l = s*l + 5 for b.
-5
Let u be (-84)/8*(-4)/(-6). Let j be (u + 9)/((-1)/(-2)). Let c = 19 - 11. Solve -v + 4*v = -b - 5, b = -j*v - c for b.
4
Let d(k) = -k**3 - 7*k**2 - k - 5. Suppose 0 = 5*a - 11 + 46. Let l be d(a). Solve -10 = -l*b + 2*j, b + 0*b + j = -3 for b.
1
Suppose 5*d = -m + 29, 0*d - 2*m - 7 = -3*d. Solve 4*x + 12 = 5*y + 2*x, -3*x + d = 4*y for y.
2
Let c = -1 - -6. Suppose 4*i = -z + i + 12, 3*z - c*i + 6 = 0. Solve 0 = -3*k + 3*v + 9, -z*k + 3*v = 7*v - 16 for k.
4
Let y(a) = -a**3 - 5*a**2 - 4*a. Let h(w) = w**3 - 6*w**2 - 9*w + 10. Let z be h(7). Let l be y(z). Solve -i = 4*p - 12, -4*p - 2*i = -l*i - 8 for p.
4
Suppose 2*c + 20 = 3*z, -3*c = 2*z + 2*c + 12. Solve -3*t + 3 = -3*u, 9 = z*t - 6*u + u for t.
-4
Suppose -3*c + 16 = 4*j, -2*c - 3*j + 11 = -0*j. Solve v = c*f - v + 8, 5*f = 5*v for f.
-4
Let c(o) = -o**3 + 11*o**2 + 2*o - 13. Let y be 4/14 + 900/84. Let x be c(y). Solve 0 = b - 5*g - 21, -6*b + x = -b - g for b.
1
Let h(y) = -y + 12. Let v be h(-5). Solve 3*g - 20 = -2*s, -g - 5 + v = 2*s for s.
4
Let t = 92 - 88. Solve 3 + 4 = -3*q + o, 12 = -t*q + 4*o for q.
-2
Let l(i) = i**2 + 4*i - 5. Let d be l(-5). Suppose -12 = -d*m - 3*m. Solve 7 = 4*k + g, 0*g = m*k - g - 17 for k.
3
Let x be 3*(4 + (-11)/3). Let v be x + (-2 - 16/(-4)). Solve l + v*l + 2*y = 4, 0 = -3*l - 5*y + 10 for l.
0
Let d = 28 + -41. Let j = d + 17. Solve 0 = j*h + 2*f - 26, 0 = h + h + 3*f - 19 for h.
5
Let u(m) = -m - 2. Let l be u(8). Suppose -t - 18 = -2. Let g = l - t. Solve -21 = 4*y + i, -i + 15 = y - g*y for y.
-4
Suppose 2*s = y + 9, s - 2*y + 7 = 2*s. Solve 5*x - 5*t = -40 + s, t + 13 = -3*x for x.
-5
Suppose 4*o + 5 = 4*b - 3, 0 = b - 5. Solve -2 = 3*q - 14, 3*k = -o*q + 9 for k.
-1
Suppose -10 = -4*v - v. Suppose v*a - 4*a = h - 4, 5*h = 0. Let w(g) = -g**3 + 6*g**2 + 4*g - 9. Let k be w(6). Solve -a*y + 5*f = -k, 0 = -y - 2*f - 6 for y.
0
Let h = 22 + -20. Solve v - h*v - 3 = 3*r, 4*r + 11 = v for r.
-2
Suppose w + b = 4*w - 37, -2*w = -4*b - 28. Suppose p + 3*p - w = 0. Solve 0 = -2*i + 4*u - 2, -p*u = 4*i + u - 20 for i.
3
Let m be ((-12)/8)/((-3)/(-16)). Let j be m/(-1 - 1) - -1. Solve 0 = -0*f - 3*f + 5*y - 1, j = -3*f + y for f.
-2
Let r = 2 + -2. Suppose 4*p + 5*d - 7 = r, p - 1 - 3 = d. Let z(u) = 4*u**2. Let y be z(-1). Solve b - 5*h + 27 = 0, p*b = -b + y*h - 28 for b.
-2
Suppose 0*q + 35 = 5*q. Solve -5*a - 3*g = 40, 5*g + q = 4*a + 2 for a.
-5
Suppose 0 = -3*n + 2*n + 4*o + 11, -2*n = -o - 8. Let g = n + 14. Solve 2*u - g = -3*b + 8*b, 0 = -3*u - 12 for b.
-5
Let s be 3 - 0 - (-8)/2. Let u = 12 - s. Solve -u*r + 3 = 4*k, k + 6 = 3*k + 4*r for k.
-3
Let g be (-4 + -4)*(-2)/4. Solve g*y = 4*v - 12, 0*v - 3*v = 2*y - 14 for y.
1
Let b(v) = 3*v**2 + 8*v + 5. Let z be b(-5). Suppose z = 3*x - x. Solve 4*s + x = -5*a + 3*s, -2*s = 0 for a.
-4
Suppose -x + 8 + 7 = 3*n, 0 = -3*x - 3*n + 15. Let g(h) = h + 2. Let o be g(-2). Let y = o - x. Solve k + v - 5 = -6, y = -2*k - v for k.
1
Let o(s) = -s**2 + 5*s + 3. Let t be o(6). Let c be 13/t - (-3)/9. Let r = -1 - c. Solve -4*f + 15 + 10 = 3*n, r*f - 21 = -3*n for n.
3
Suppose 38*n = 34*n + 8. Solve 2*c = -0*c - x + 3, 9 = n*c - x for c.
3
Let u be ((-96)/84)/(4/(-14)) + 1. Solve 3*g - 27 + u = -4*y, -10 = 3*g - 4*y for g.
2
Let p(x) = 11 + 13*x + 6*x - 20*x. Let k be 