 - s*o + 4*v for o.
-1
Suppose -51 = -4*k + 41. Suppose 0 = -5*r - 3 + k. Suppose r*t + v - 10 = 10, -12 = -t - 2*v. Solve 5*m + 0 = -5*g + 5, m - t*g = 16 for m.
4
Suppose 0 = s + 59 - 63. Solve 5*x + 17 = y, -s*y - 1 = -3*y + x for y.
2
Suppose 19*i = 129 - 72. Solve -5*m + i*o = 40, -m = -0*m - 5*o + 30 for m.
-5
Let w(z) = 15*z - 175. Let y be w(12). Solve 3*c = -5*q - 0*c + 10, y*q + 5*c = 0 for q.
5
Let f(k) = 9*k + 60. Let g be f(-5). Suppose 5*u + 4*a = 4*u + g, -u - a = -6. Solve 3*r - 6 = 3*i, 3*r - 9 - 3 = -u*i for r.
3
Let m be 2*(4 + (-4 + 0 - -1)). Suppose -5*b - 3*d = 2, -b + m*d - 2 = -6*b. Solve -r + b*r = -2*v + 8, 5*v = -3*r + 22 for r.
4
Let i be (6/4)/((-15)/(-20)). Let f = 1095 + -1074. Solve f = 3*u - i*b, -b - 6 = b for u.
5
Suppose 15 = -3*b, 92 + 30 = 4*z - 2*b. Suppose -4*o - z = -4*k, 5*k + 6 - 13 = -2*o. Let t = 7 + o. Solve -29 = p - 5*r, 2 + t = r for p.
-4
Suppose 0 = y - 9 + 3. Let j be 26/y + 8/(-6). Solve 2*s = -3*k + 1, -j*k = -5*k + 4*s - 26 for k.
-3
Suppose -2*n - 2*n - 3*c + 3 = 0, 4*n = 3*c + 21. Solve 3*a = n*y + a - 20, -3*a = -y + 16 for y.
4
Suppose 4*q = -8 + 4. Suppose 8 = -3*o - h, 0 = -6*o + o - 4*h - 11. Let j be (5 + -2)*q/o. Solve -14 = -4*n + 5*u - j, 5*u = 3*n - 16 for n.
-3
Let a(h) = -3*h - 1. Let l be a(-2). Suppose 0 = -5*n + 15 - l. Solve -n*j - 2 = 3*y - 6, 0 = 4*y - 2*j + 18 for y.
-2
Let z(c) = c**3 - 9*c**2 + 8*c + 7. Let v be z(8). Suppose 2 = a + 2*n, 3*n = -2*a + v + 1. Solve 0 = -3*p - 2*u - 13 - 12, a = -4*p + 2*u for p.
-5
Let b(w) be the second derivative of w**5/20 - 5*w**4/12 - 5*w**3/6 + 9*w**2/2 + 27*w. Let p be b(6). Solve -3*l + 5*m = 12, -2*l = l + 4*m - p for l.
1
Let k be -5 + 7/(-14)*(-12)/1. Solve x - 8 = -x - 3*n, -2*n - k = -5*x for x.
1
Let f = -9 - 18. Let d = 33 + f. Solve 3*n = n - 2*i + 6, -2*n - d = -4*i for n.
1
Let c(f) = -2*f + 8. Let q be c(6). Let r = 5 - q. Let s(d) = 2*d. Let t be s(2). Solve y = v + 2*v, -3*v = -t*y + r for v.
1
Let k(c) = -8*c + 51. Let q be k(6). Solve -q*u - u - 4*l = 8, 4*l = 5*u + 19 for u.
-3
Let v be -2 + -3 + (-27)/(-1). Let d = v - 12. Suppose p + 4*x + d = 0, 2*x - 13 = p + 7*x. Solve -4*h - p = -f, -10 + 3 = 3*h + 2*f for h.
-1
Let t(l) = l**3 + 12*l**2 - 34*l - 79. Let o be t(-14). Let a be 4/(-6) - (-42)/9. Solve -5*x - a*p = 25, o - 25 = 4*x - p for x.
-5
Let d be (70/532*19)/((-2)/(-4)). Suppose 4*m - 14 = -2*g, -20 = -3*m + g - 7. Solve m*r - 1 = -5*k, 2*r - 5*k = -2*k - d for r.
-1
Let c(b) = -2*b**3 - 33*b**2 - 41*b + 64. Let x be c(-15). Solve 9*k - 12*k = -3, 4 = 4*t + x*k for t.
0
Let r be (7 - (-9)/(-3)) + -5. Let d be (-5 - -3 - -4) + r. Let k be d/(3 + 92/(-32)). Solve -2*s = 3*l + k, 0 = -4*l + 9*l + 2*s + 12 for l.
-2
Let m(j) = j**2 + 22*j - 200. Let h be m(-30). Solve -7 = -2*g + 3*i, 4*g + 5*i = -h - 1 for g.
-4
Suppose 0 = -2*s + 22. Suppose -5 + s = 3*f. Solve f*l + 5*t + 18 - 47 = 0, -12 = 4*l - 4*t for l.
2
Let q = 6 + -8. Let h = -2 - q. Let s be h + 10/(2 - 0). Solve -2*u = -3*j + 5*j - 6, -s = -3*j - u for j.
1
Suppose 13*r - 46 = -20. Solve -2*n = -4*l + 2, -5*n + r*l = 6*l + 33 for n.
-5
Suppose 27*d - 26 = 487. Solve 14 = 2*u - 3*q + 7*q, -3*u = -4*q + d for u.
-1
Let h(f) = -f**3 - 30*f**2 + 33*f + 65. Let p be h(-31). Solve 4*x = g - 14, -4*x + p*g + g - 20 = 0 for x.
-3
Let s = 12 + -9. Suppose -p - 2 = 0, -s*q + 5*p = q - 22. Solve 2*l + 3 + 7 = -5*v, v = -q*l - 2 for v.
-2
Suppose 0*z + 10*z - 160 = 0. Suppose -4*u + z = 5*h, 0 = h - 0*h + 3*u - 12. Solve r - 4*r - 15 = w, -4*r + w - 13 = h for r.
-4
Let f(g) = g + 4. Let s be f(8). Solve -v + 4*l = 3*v + s, 7 = -v + 5*l for v.
-2
Let h = 14 + -9. Suppose 5*m - 10 - 5 = 0. Suppose -20 = 3*x + m*l - 83, 4*x + l - 96 = 0. Solve -2*f - f + 4*c = x, f = h*c - 23 for f.
-3
Suppose -3*s = -56 - 16. Let j be (10/(-6))/((-8)/s). Suppose 0 = j*q - 6*q + 8. Solve -5*z + 5 = 2*v, -2*z + q + 0 = 2*v for v.
5
Let l = -211 + 221. Solve -5*o + 5*c - l = 0, -o + 3*c = 8 - 2 for o.
0
Let b be (1 - -1)*(-11)/44*-6. Solve -3*q = -b*t + 21, -4*t - 2*q + 21 = t for t.
5
Let y = 2466 - 2461. Solve -5*k - 20 = -v, -6*v = -k - y*v for k.
-5
Suppose -2*o + 0*o = -4*t + 6, -2*t = -4*o. Suppose -t*q = -0*q. Solve 2 = -p - 2*k - 7, q = 3*p + k + 7 for p.
-1
Let s(i) = 13*i + 2. Let w be s(2). Let j(l) = l**2 + 7*l + 3. Let a be j(-6). Let x be (5/(-2))/(a/6). Solve x*c - 6 + 24 = 2*f, w = -4*c + 5*f for c.
-2
Let x = -426 - -443. Solve 4*a + 2 = l - x, -5*a = 3*l + 11 for a.
-4
Let d(c) = c**2 - 2*c + 1. Let z be d(1). Let g be 0 + (3 - -1 - 2). Suppose -y = -0 - g. Solve 4*l + m = y, -m + z*m - 1 = l for l.
1
Suppose -g - 1 = -4. Suppose 0 = s + 4*s - 20. Suppose -g*n + n - s*u + 26 = 0, 5*u = -n + 28. Solve 0*m = m + n*b + 7, 4*b + 20 = -4*m for m.
-4
Let p be 2/(-20)*-4 + 165/25. Suppose 5*s + z - 10 = 0, 6*z = 2*s + p*z - 4. Solve 5 = -3*x + 2*t, 0*x - 12 = s*x + 3*t for x.
-3
Let g(r) be the first derivative of -r**3/3 - 9*r**2 + 44*r + 6. Let p be g(-20). Solve 2*c + p*d = -24, 21 = -4*c + c - 3*d for c.
-2
Let n be ((3 - -39)/3)/((-4)/(-6)). Solve 0 = 3*h + 5*j - j - n, 0 = 4*h - 5*j + 3 for h.
3
Let j be 14/56 - 30/(-8). Solve -s + 3 - j = -u, -3*u + 3 = -s for s.
0
Let g(f) = 2*f - 1. Let p = 20 + -20. Suppose p = 3*i - 4 - 2. Let l be g(i). Solve 0 = 3*q + l*t + 3, 4*q - 3*t - 1 - 23 = 0 for q.
3
Let u be 1*6*10/3. Suppose 22*q - 19*q = -15. Let z be (6/(-2))/(q/u). Solve 3*n - 8*y = -4*y - z, 16 = -4*n + 2*y for n.
-4
Suppose 0 = 7*l - 30 + 2. Solve 5*j + 24 = -l*n, 0*j + 4*j - n + 15 = 0 for j.
-4
Let n(x) be the first derivative of -x**2/2 - x - 10. Let s be n(-3). Suppose -5*l = -22 + s. Solve 3*k = 5*v - 9, 3*k + 8 = l*v + k for v.
3
Let l = -47 - -84. Let u = l - 37. Let f be (3/6)/(1/4). Solve 0 = -4*d - 2*m - 16, 2*d + f*d + 5*m + 10 = u for d.
-5
Suppose 6*f + 20 = i + f, 3*i + 5*f - 20 = 0. Solve a + 1 = o - 0*o, a + 2*o = -i for a.
-4
Let x(s) = -2*s**2 + 71*s - 98. Let w be x(34). Solve -4*u = u + w*l - 24, -3*u + 7 = -5*l for u.
4
Let p(m) = m**2 + 3*m - 24. Let h be p(4). Solve -2*d = 2*r + 3*d + 5, -3*r + 4*d = -h for r.
0
Let z be (16/(-10))/4*-10. Suppose z*c + 42 = 6*c. Solve 0 = -m - 2*w - 5 - 1, w + c = -5*m for m.
-4
Suppose -22*t + 24*t = 32. Suppose -2*h - t = x + 3*h, -5*x - 3*h = -8. Solve 2*o = 3*n - 1, x + 4 = -5*o + 2*n for o.
-2
Let d(i) = 5*i**2 - 41*i - 17. Let s be d(9). Solve s = -v - 4*l, -v + 29 = -4*v - 5*l for v.
-3
Let t(f) = f**2 - 10*f - 16. Let k be t(13). Let y = k - 21. Solve y*s + 7 = -c, 7 = -2*s - 2*s + 5*c for s.
-3
Suppose -54 = 26*q - 44*q. Solve -5 = -5*o, q*m + 2*o - o - 13 = 0 for m.
4
Suppose -6*o = -2*o - 48. Suppose o = -3*s + 66. Suppose 6 - s = -3*w. Solve 0 = -3*f - 2*c, 4*c = 5*f - w*f + 14 for f.
-2
Let k(r) = r**3 - 12*r**2 - 10*r - 19. Let w be k(13). Solve -4*q + 3*m = w, -15 = 3*q - 0*m + 2*m for q.
-5
Let m(x) = x**2 - 13*x + 13. Let n be m(12). Let p(y) = 4*y**3 - 2*y + 1. Let c be p(n). Solve 4*a - 11 + 30 = c*s, -a + 5*s - 9 = 0 for a.
-4
Let z = -83 - -78. Let k be 2/(z - -3)*-6. Solve 2*m = 8, -k*q = -q - 5*m for q.
4
Suppose 2*p + 7*p = 450. Let d = 57 - p. Solve 0 = 2*x - d*j + 3*j + 10, 25 = 3*x + 4*j for x.
3
Let w be (-42)/(-11) - 14/(-77) - 4. Solve i - 2 + 3 = w, 0 = -4*p - 3*i - 3 for p.
0
Let u = -171 - -175. Solve 22 = 2*z - u*w, 2*z + z - 13 = 2*w for z.
1
Let t(b) = b**2 - b - 7. Suppose 23*o + 10 = 18*o. Let i(g) = -g**2 - 4*g. Let m be i(o). Let l be t(m). Solve -l*f + 17 = -4*p, -5*p + f + 5 = -0*f for p.
2
Suppose 13*c - 8*c = 0. Suppose -t + c*y - 14 = -5*y, 5*t - 2*y + 1 = 0. Solve -3*j + 2*j - t = s, -4*s - 2*j = 10 for s.
-4
Let y be -12*(8/(-12))/(-2). Let r = -8 - -2. Let d = y - r. Solve n - 14 = 3*i, -1 - 19 = -d*n + 4*i for n.
2
Let c = -883 + 886. Solve 3*s + 3*a = -0*s - c, 0 = 2*s - 4*a - 10 for s.
1
Let b be 28/8 + 42/(-28). Solve i - 3*n - 6 = -b, 0 = -4*n for i.
4
Suppose 0 = -5*o + 3*x + 15, 4*x + 15 + 5 = -3*o. Let q = -9 + 14. Let p be (0 - -1 - o) + q. Solve -4*v = 4*b - 6 - p, -1 = -3*b + 5*v for b.
2
Suppose -u - 3*u + 184 = -3*r, 2*u - 5*r = 106. Suppose u = 2*q - 9. Solve 3*x = -j + 15 - 4, 2*x - 4*j - q = 0 for x.
5
Suppose -f + 21 = b - 0*f, -75 = -4*b + 5*f. Suppose b = 4*x - 16. Let q = x + -8. Solve -1 = -3*o + s + 6, 0 = -4*o + 3*s + q fo