*b + 15, 2*b + 5*k = 3 for b.
4
Let q be 4 + -6 - 3*-2. Suppose -r = -4*t + 19, 0 = 2*t - q*r + 8. Solve 2*z - 7 = -n, n = t*n - z - 24 for n.
5
Suppose -13 = 2*p + 1. Let x = -3 - p. Let f be (0 + 20/(-12))*-9. Solve x*u - 5*h - 22 = 5*u, 3*h = -f for u.
3
Let g = -225 - -227. Solve b - 6 = -2*b + 3*z, -z = -5*b - g for b.
-1
Suppose -5*a + 6*a = 0. Suppose 33*r - 30*r - 6 = a. Solve -r*v - 6 = -5*d - 14, -v + 4 = 0 for d.
0
Let q be 5/(-20) - 58/(-8). Solve b = 4*a + 5, 3*b = -0*a + a - q for b.
-3
Let u = 32 - 55. Let c = 27 + u. Solve 6*a - 3*w + 12 = 3*a, 2*w = -a - c for a.
-4
Suppose -n = 4*n - 5*u, -u = 2*n - 3. Let m be -12*1*n/(-3). Suppose -3*l = -3*s - s - 32, 24 = l - 4*s. Solve 5 - 17 = l*a, m*a + 8 = -4*o for o.
1
Let j = 15 - 22. Let o(c) = -19*c + 16. Let w be o(j). Suppose 5*s = w - 49. Solve z + z + 18 = -3*r, -s = 5*r for z.
-3
Suppose 0 = 61*b - 23*b - 114. Suppose 7 + 18 = 5*n. Solve 4*k + 28 = n*m - m, m = b*k + 13 for m.
4
Let g(j) = -7*j**2 - 9*j + 3. Let x(i) = i**2 + i - 1. Let s(m) = -g(m) - 6*x(m). Let h be s(-3). Solve -h*z - 5*a - 18 - 17 = 0, a = 4*z + 16 for z.
-5
Suppose 8 = 2*x - 22. Let j be (-33)/(-5) - x/25. Solve -2 = g - 4*q, -2*q = -j*q for g.
-2
Let l = 7 - -2. Let j be 30/l + 2/(-6). Suppose -32 = -4*r + j*w, r + 5*w - 7 + 22 = 0. Solve -g - 4*z = -5, -r*g + 3*z - 15 = -2*g for g.
-3
Let b = -7 + 9. Let a be 13/3 + b/(-6). Let c be (2/a)/((-1)/(-6)). Solve -c*l = -o, 0 = -l + 2*l - 2*o for l.
0
Let z = -4 - -5. Let q be 5 + 4 + z*-4. Suppose -4*m = -b + 42 - 135, -q*b = m + 3. Solve a + 3*a = 4*y + 8, -4*y + m = 2*a for a.
5
Let p be (-3 + -1 + 6)*(-1 + 2). Suppose -2*c - 12 = -5*c. Solve -1 = u + b, -c*u - 3 = p*b - 1 for u.
0
Let z = 13 - 4. Let v(d) = -2*d + 18. Let j be v(z). Suppose 2*h + j - 4 = 0. Solve -i + 6*i = -l - 18, -h*i - 2 = 3*l for i.
-4
Let b(i) = -i + 1. Let z be 8/4 + 1 + 0. Let r be b(z). Let c be -15 + 18 + (-2)/r. Solve 4*f + c*h = 2*h + 16, -10 = 5*h for f.
5
Let c(p) = p + 5. Let b be c(3). Solve -4*j - 5*i - 3 = -13, -2*j + b = i for j.
5
Let m = -20 - -22. Suppose -5*y + 39 = -m*y. Solve -2*h = i + y, -5*i + 2*h = h + 21 for i.
-5
Let p be ((-3)/(-9))/((-12)/(-180)). Solve -2*h - p*d - 5 - 17 = 0, 5*h - d = -1 for h.
-1
Suppose -j - 3*j + s + 7 = 0, 4*j - 19 = 5*s. Suppose 0 = 508*x - 497*x - 22. Solve -6*h - 6 = -2*h - x*d, h - j = d for h.
-4
Let o(k) = 5*k - 4. Let p(r) = 11*r - 9. Let n(t) = 13*o(t) - 6*p(t). Let j be n(-2). Solve 5*v + 0*x + 4*x + 16 = 0, 0 = -2*v + j*x + 16 for v.
0
Suppose 2 = -0*z + z. Suppose -5*b = -10*b - 5, 4*f = -4*b. Solve -3*d + 26 = -4*w, -w + z*d = 4*d + f for w.
-5
Let a(v) = -4*v. Let z be (-2)/(-11) - 40/(-22). Suppose z*d + 0*d = -2. Let o be a(d). Solve o = 3*g + j, -2*g - 2*g - 2*j = -8 for g.
0
Suppose 0 = -5*h - 268 + 58. Let y = h + 57. Solve -q - 15 = -w + 5*w, 2*q = -3*w - y for q.
-3
Suppose -2*l + 2 = -d, 4*d + 4 = 2*l + 14. Suppose 2*o = -l*o + 100. Let t be -3 + 5 - (-2 - -1). Solve 2*x = 5*x + 3, -5*x = -t*c + o for c.
5
Let q(r) = 3*r - 11. Let n be q(5). Let b be -1*(-1 + 5 - n). Let f = 0 - b. Solve -5*m - 10 = 0, 2*m = 2*j - f*j - 8 for j.
2
Let b be -3*(-4)/12*24/8. Solve 5*u = z - 25, -13 = -b*u - 4*z - 5 for u.
-4
Let a be 24 - 6 - 7 - (-2 + -1). Solve 5*n - 5 = 4*n + x, 2*n - 3*x - a = 0 for n.
1
Let i be (6/(-4))/((-9)/(-90)). Let a = 39 + i. Solve -r + a = -5*p, -3*p = -r + 18 - 2 for p.
-4
Suppose 0 = -9*u - 17*u + 5*u. Solve -3*k = -5*j, u*k + 20 = -4*k for j.
-3
Suppose -8 = -r - 4. Suppose -r = -2*u, 0 = -0*s + 5*s - u - 3. Suppose s = 4*c - 7. Solve -c*j - 3*a = 8, 0 = -2*j - j - 3*a - 9 for j.
-1
Suppose 59*q - 72*q = -26. Solve 2*a + 7 = m, 2*m - 2*a - 8 = -q for m.
-1
Suppose -8*y = -4*y - 48. Suppose t + y = 5*c - 3*t, 0 = 5*c + 2*t - 24. Solve 2*i + q + 31 = 6*q, -c*i + 3*q = 27 for i.
-3
Suppose 0 = -0*l + 2*l. Let c(g) = 2*g + 8. Let y be c(-4). Let q(a) = 6*a + 3. Let j be q(y). Solve l = j*i + 5*p + 15, -3*p = 2*i + 3 + 7 for i.
-5
Let y be 5*-2*1166/(-1060). Solve -2*g - 5 = n, -2*n + y = -g - 2*g for g.
-3
Suppose 2*j = -4*f + 378, -374 = -6*f + 2*f + 2*j. Let w = -82 + f. Solve -p - v = -2*p - 3, 0 = 2*p + 4*v + w for p.
-4
Let v be 2/3*(-54)/(-12). Solve 11 = v*g + 2*b, -2*b + 4*b = -4 for g.
5
Suppose 30 = -4*j - 26. Let c = 18 - j. Solve -4*t - 4 = 3*l, l - 4*l + 5*t + c = 0 for l.
4
Let i(x) = 4*x - 5. Let l be i(2). Suppose 0 = -6*n + 2*n - l*m + 73, -51 = -3*n - m. Suppose -n - 1 = -y. Solve -5*o + k + y = -0*k, -3*o + 2*k + 6 = 0 for o.
4
Let m(l) be the first derivative of 2*l**3/3 + 7*l**2/2 + 8*l - 19. Let u be m(-2). Solve -5*z - 3*b + 18 = 0, 0*z + u*z = -3*b + 9 for z.
3
Let h(a) = -a**2 + 13*a + 3. Let f be h(13). Let r be (0/(-1))/(-2) - -2. Suppose r*t = f*t. Solve -3*y - z + 3 = 0, t*y - 2*z = -5*y + 16 for y.
2
Let u(p) = -p**2 + 19*p - 14. Let i be u(18). Suppose 3 = n + 2*n. Solve k - 1 = -l, 4*k + i*l - n = k for k.
3
Suppose -y + 4*j = -39 - 12, -5*j - 20 = 0. Suppose -2*m + 3*m = -2. Let z(d) = d**2 + 2*d + 2. Let p be z(m). Solve -f = g, p*g - y = f + 4*f for g.
5
Let m be (-54)/(-135) + 46/10 + -1. Solve -m*o + d = 6*d - 25, 4*d - 20 = -2*o for o.
0
Let s be (9/12)/((-2)/8). Let k be ((-4)/10)/(s/(-45)). Let z = k + 12. Solve -3 = -l + 2*g, -10*l - g - z = -6*l for l.
-1
Let v be 741/76 - (-1)/4. Suppose -4*m - 2 = 3*o, 3*o - 3*m - v = -m. Solve i - o*i - 5 = -2*u, -10 = 2*u + 4*i for u.
1
Let k = -1950 - -1951. Let r be (12/9)/((-4)/(-6)). Solve m + f + k = 0, m - 3*f + 3 = r*m for m.
-3
Let h be 0/(-4) + 58 + -2. Suppose -2*u = -6*u + 2*d + 144, -2*u = -5*d - h. Solve 5*l + 2*v = 16, -3*l + 5*v - 16 + u = 0 for l.
4
Let w be (-7 + -1 + 3)/1*1. Let b be ((-12)/10)/(w/((-100)/(-6))). Solve -3*n = m - 7, -n + 0 = 2*m - b for m.
1
Let q be (4 + -14)*(-1)/5. Suppose 4*r - 26 = -0*t + 2*t, -21 = -3*r + q*t. Let m be 21/(-35) + 28/r. Solve -5*k = -5*p - 25, -4*k - m*p - 5 - 2 = 0 for k.
2
Let n be (3 + 7)*5/(3 + 7). Solve 4*z + 4*w = -4, -n*z - 6 = 4*w - 0*w for z.
-2
Let o = -377 + 378. Let q(b) = b**2 + 8*b + 3. Let z be q(-7). Let x be -1 + o/(z - -5). Solve a - 2*c - 6 = x, 3*a + 5*c = -2*a for a.
2
Suppose 1 = -2*v - c, -1 = -0*v + 5*v + c. Solve 3*g = -s - 6, 4*s - 3*g + 4*g + 13 = v for s.
-3
Suppose -y + 8 = -l - 2, y - 16 = 4*l. Solve w - y = 5*p, 4*w + 6*p = 10*p for w.
-2
Let d = -529 - -535. Solve 4*z = -p + 3, 2*p + 0 - d = 5*z for p.
3
Let g(n) = -n + 12. Let x be g(10). Suppose -6*t + 20 = -11*t. Let l be ((-1 - t) + 1)*x. Solve c = l - 3, u + 25 = 5*c for u.
0
Suppose 4*x - 11*x = -14. Suppose 2*v - 19 = 5*g, 0 = -0*v + 2*v - 3*g - 13. Let w be -5 - ((6 - 8) + -5). Solve -2*c - w*d + 4 = 0, -x*d + 6 = -v for c.
-2
Let t = -101 + 149. Let d = -43 + t. Solve 4*k + 5 = 2*y - 9, 27 = d*y - 2*k for y.
5
Suppose 4*b - 4 = 2*b. Suppose b*n - 42 = -n - q, -2*n = -2*q - 20. Let c = n - 13. Solve 2*w - 2*o - 2 = c, -3*o + 0 = 4*w - 18 for w.
3
Let o = -8 - -7. Let k(z) = -3*z**3 - z**2 - 2*z - 1. Let b be k(o). Suppose -b*t = l - 8*t + 1, 2 = 2*t. Solve -5*j + 6 = -0*d - l*d, -3*j - 10 = d for d.
-4
Suppose 0 = -73*u + 49*u + 48. Solve -14 = 2*r + u*t, 3*r = -0*r + 5*t + 3 for r.
-4
Suppose -n - 4 = 0, f - 3*n + 8*n + 21 = 0. Let h be 1/2*f*-6. Let s(k) = k**2 - 3*k + 2. Let q be s(h). Solve -5*l + 20 - 5 = q*o, -3*l = -5*o - 40 for l.
5
Let r(v) = 2*v**2 - 25*v - 6. Let w be r(11). Let p = w - -41. Solve 3*k = p*d + 3*d - 19, 0 = d - 5*k - 17 for d.
2
Suppose 2*o = -5*f - 2, 1 + 4 = -5*o - f. Let p be 0/(-1 + (-1 - o)). Solve p = -5*c - 3*y - 9 - 4, 2*c = -5*y + 10 for c.
-5
Let q be (-2)/8 - 13/(-4). Let v be (44/8)/11*10. Solve -2*a - v + 0 = m, 0 = m + q*a + 9 for m.
3
Suppose -19 = 20*z - 23*z + q, -3*z + 16 = 2*q. Solve 0 = 4*l - 2*w + z, 4*l + 2*w = 9 + 5 for l.
1
Let w(t) = -t**3 - t**2 + 35*t + 35. Let q be w(-6). Solve 4 = -3*z + 4*z + 2*v, -4*v + 22 = -q*z for z.
-2
Let b be (-9)/(-2)*(2 + 0). Let j be (8/(-6))/((-6)/b). Suppose -t - j*t = -27. Solve 7 = 3*v - 5*s, 0*s + 3*s + t = 3*v for v.
4
Let c(u) = -u**3 - 6*u**2 + 3*u + 3. Let v(f) = f**2 - 13*f + 23. Let z be v(10). Let x be c(z). Solve -5*m - 4*i = -x, 0*m + 5*i = m + 17 for m.
3
Let t(a) = 5 - 7 - a - 2*a**3 + 2. Let n be t(-1). Suppose n*m = -3*x + m + 2, 4*m = -4*x. Solve -x*p + 24 = -4*j, -2*j -