+ x = 2*v + v, 0 = -3*o - 4*v + 20 for o.
4
Suppose v - q - 6 = 0, v - 4*q - 22 = -v. Suppose -12 = -d + v. Solve 2*u + 3*c = -7, -2*u + 3*c = 2*u - d for u.
1
Let u = -5 + 7. Solve 3*r = -l + u, 4*r - 3*l - 18 = r for r.
2
Suppose -2*l = -3*s - 4*l + 6, 0 = -5*s + 3*l - 9. Let t be (s - 0)/(0 - 1). Suppose t*x + 15 = 5*x. Solve -x*g + 2*r + 5 = -3*r, -2*g = 2*r + 18 for g.
-5
Let c = 3 + 0. Suppose -3*j + 12 = c*f, -3*f + 2*j - 2 = -2*j. Let q = -13 + 18. Solve -q*d = -3*k + 2*k + 24, 0 = -f*d - 10 for k.
-1
Let f(x) = x**2 + 6*x + 9. Let h be f(-5). Solve n - h = -3*b + 2*n, 10 = b + 4*n for b.
2
Let d(g) = g**2 - 6*g - 3. Suppose 3*s + 17 - 2 = 0. Let h = s - -12. Let z be d(h). Solve 4*j - i = -12, -2*j - 3*j - 36 = z*i for j.
-4
Let q be 15*2/(-8)*-4. Let t = -12 + q. Solve 4*l - 2*l = 4*d - 6, 5*d - 9 = t*l for d.
0
Let d be 8 - 2*(-1)/(-2). Let r(q) be the first derivative of -q**2/2 + 7*q - 8. Let v be r(d). Solve 0 = 3*t + 2*u + 2*u - 28, 3*t - 5*u + 8 = v for t.
4
Let b = 3 + 2. Solve 3*l = -9, -4*h + 15 - b = 2*l for h.
4
Let s(v) = v**2 - 9*v + 10. Let t be (-6)/(-1) + -2 + 4. Let a be s(t). Suppose -5*o = 3*q - 0*q, -4*q = -4*o. Solve 5*h = -a*l - 5, q = l + 4 + 1 for h.
1
Suppose 3*n - 3*t = -11 + 29, 25 = 3*n + 4*t. Suppose 3*o + n = 13. Solve -2*d - 2 = 2*u - 0, 5*u = o*d + 16 for d.
-3
Let n = 6 - 4. Let t(h) be the second derivative of h**5/20 + h**4/6 - h**3/3 - h**2/2 + 2*h. Let r be t(-2). Solve w = -5*i - r*w, -4*i - n*w = 0 for i.
0
Suppose -2*q - 5*d = 6, 0 = 2*q - 3*q + 4*d + 10. Solve 5*o - 17 = -a, -9 - 2 = q*a - 5*o for a.
2
Let u = -17 + 37. Suppose g = -3*g + u. Solve 0*f + 5*f + g*j = 45, -3*j + 32 = 4*f for f.
5
Let i(d) = d**3 - 6*d**2 + 9*d - 16. Let h be i(5). Solve -4*g + 9 = 4*a + 21, -h*g = -a + 7 for a.
-1
Let z(c) = c**2 + 12*c + 11. Let p be z(-11). Solve 2*i - x = -0*x + 11, p = -x - 3 for i.
4
Let h be -3*-2*3/6. Suppose -2*m + 4*s - 9 + 21 = 0, 4*m = -h*s + 24. Solve 4*r - 4 = 4*u, r + 3*r = 2*u + m for r.
2
Suppose -5*i + 25 = 0, -4*i - 1 = 3*d - 21. Suppose d = 3*f - 0*f. Solve -u - q + 5 = f, -4 = -2*u + q - 3 for u.
2
Suppose -z = -5*z + 24. Suppose -z = -2*l + 2. Solve 0 = 4*i + v - 1 - 18, i - 1 = -l*v for i.
5
Suppose -3*c + 5*d + 25 = 0, 3*d = -2*c + 7*c - 31. Let q = c - 1. Suppose -q*z = z. Solve 0*m - 2*m + 4*g - 14 = z, 0 = 3*m + 5*g - 23 for m.
1
Suppose -2*s + 5*g - 10 = s, -g = -2. Let z be s - 0/(1/(-1)). Solve 3*k - 5*c + 18 = z, -4*k + 3 = -5*c + 22 for k.
-1
Let c be (-1 - 1) + (2 - 0). Let r(z) = -z + 3. Let k be r(3). Solve 5*x = -k*x + 5*q + 20, c = -q for x.
4
Let o = 21 - 30. Let v be 6/(-27) + 79/o. Let d(w) = -w - 5. Let j be d(v). Solve 3*q = -5*x - q - 12, -6 = -j*x + 2*q for x.
0
Suppose -2*a = 2*a - 12. Let j(w) = -5*w. Let y be j(2). Let u be 12/5 - (-4)/y. Solve p = a*c + u*c - 17, -4*p - c + 16 = 0 for p.
3
Suppose 0 = 4*i - 9*i. Suppose i = 3*v - 0*v - 36. Solve 4*n = 4*j - 12, 2*n + v = -2*j + 7*j for n.
-1
Let p(t) = -t**3 - 11*t**2 - t - 2. Let z be p(-11). Solve -4*h - 2*o - 3 = -z*h, -3*h - 2*o + 5 = 0 for h.
1
Let s be 7/(-14)*-6*1. Let j be 4/2*1/(-2). Let p = 1 - j. Solve -x - p*x = 12, 5*x + 32 = s*w for w.
4
Let r be 0*(2 + -6 + 3). Solve -u - 3*j - 5 = -r*j, u = -5*j - 11 for u.
4
Let d be (-2)/(-4*4/72). Solve 3*n - 3*r = 9, 0 = 2*n - r - 4*r - d for n.
2
Suppose 0 = -0*o + 4*o - 4*a + 12, 10 = 2*o + 2*a. Let p = 23 - o. Solve -2*r = -5*g - 23, -3*g = 4*r - 5*g - p for r.
4
Let y = 4 + 0. Let a = y - 9. Let f = a - -9. Solve -3*t + 13 = -2*n, 1 = -n + f*t - 8 for n.
-5
Let u be -2 - (-10 + -1 + 4). Suppose u*a = -0*a + 20. Solve 3*i = 5*i - a*h - 22, -i + 15 = -3*h for i.
3
Let q be (-2)/(-3 + 2 + 1/3). Solve 4 = 4*n + 3*w, -2*w = q*n - 2*n - 1 for n.
1
Let p be (6 + -1)*(-1)/(-1). Let d = -5 - p. Let x be (-36)/30*d/3. Solve 4*l + 2*s = -x, l - 4*s + 0*s = -10 for l.
-2
Let m = -36 + 38. Solve -5*i = m*f - 7 + 21, -10 = 3*f + 2*i for f.
-2
Let d be -1*1/2*-14. Let w = -3 + d. Solve 0 = 3*t - 4*i + 11, t + 3*i = -w + 9 for t.
-1
Suppose p + 2*p - 6 = 0. Suppose -9*h - 18 = -11*h. Suppose -10*m + h*m = -3. Solve m*z + 3 = -3, 0 = -2*i - p*z for i.
2
Suppose 7*z + 24 = 2*c + 8*z, 0 = -2*c - 2*z + 26. Suppose -2*p + 112 = 2*p. Solve 3*n = -v + 2*v + c, -4*n + p = -4*v for n.
2
Let z(i) = i**2 - 4. Let a be z(-3). Solve -3*y - k = -19, 0 = -5*y - 0*y + a*k + 5 for y.
5
Suppose 5*g - 25 = 10*g. Let u = g + 8. Solve -2*r - b = u*r - 23, -r + 11 = -3*b for r.
5
Suppose 3*p + 26 = 6*p + 5*m, -3*p - 2 = -2*m. Solve 0 = p*r - 3*r - 4*u - 7, u - 12 = -3*r for r.
5
Let v(o) = o + 22. Let t be v(-20). Solve -6 - 2 = -t*z - 4*y, 0 = -3*z - y + 2 for z.
0
Suppose q + 31 = -3*u, 2*u - q + 26 + 3 = 0. Let f be 2/4 + 19/(-2). Let v be u/f*(2 - -1). Solve -4 = g + v*m + 1, 5*g + m = -25 for g.
-5
Let s be (-1*(-1)/(-4))/(10/(-160)). Solve -2*c + 2 = -3*g - s, 4*c - 8 = 4*g for c.
0
Suppose -3 = -2*x + 3*m, -2 + 0 = -x + m. Let g = x + -1. Solve -4*c = 4*u - 10 - g, -u + 15 = 4*c for c.
4
Let m = 4 + -5. Let x = 5 + m. Solve 18 = x*s - 2*u, 0 = -s - 2*s + 5*u + 31 for s.
2
Suppose 16 = x + 3*x - 5*n, -4*n = 2*x - 8. Suppose 0 - 2 = -5*o + 2*w, 0 = -o - w - 1. Solve -z + f - x = o, f - 3*f = -2 for z.
-3
Suppose -7*u + 3*u = 16. Let g = -2 - u. Solve 3*i = -14 + 2, -3*z - g*i = 17 for z.
-3
Let y = 4 + -2. Let t be 4/(-2)*(-12)/8. Suppose -8 = 4*w + 5*u, -2*w - 3*u = 3*w - t. Solve -b = -4*b - 3*k, -2*b - w*k = -y for b.
-2
Let i be 10 + -6 - (-1)/(-1). Solve 2*o + 5 = 2*d + i*o, 4*o + 4 = -2*d for d.
4
Let a = 2 - -2. Solve 0 = 4*f + l + 15, l + 2*l + 21 = -a*f for f.
-3
Let i(n) = 0*n + 3*n + 0*n - 2*n + n**2. Let s be i(-1). Solve 0 = c - s*w + 3*w + 10, -4*w = -3*c + 35 for c.
5
Suppose 0 = -2*v - 5*b + 209, -3*v - 5*b + 257 = -44. Let s = -65 + v. Suppose -2*x = -5*x + s. Solve 2*r = 4*l, x = -4*r - 3*l - 13 for r.
-4
Let y(t) = t + 6. Let a be y(-6). Suppose 4*k + k - 30 = a. Let w be 15/12 - k/(-8). Solve 3*x = 6*x + 9, 3*x + 15 = w*q for q.
3
Let q(h) = 2*h - 12. Let c be q(4). Let t be 0 - 0 - (c - -4). Solve 3*x + 4*n = 6 - 19, t = 4*x + 4*n + 12 for x.
1
Suppose -7*h = -2*h - 25. Suppose -3*k + 2*l + 18 = l, -20 = -k + h*l. Solve 3*u - v - 6 = 0, -10 - 1 = 4*u + k*v for u.
1
Suppose -8 = -f - 5. Suppose -4*u = -3*t + u + 5, -f*t - 1 = u. Solve t*r - 4*r = -3*z - 15, -r = 2*z - 1 for r.
3
Let c be -4*1/(-4)*3. Solve -4 = f + 4*f - m, -3*f = -c*m for f.
-1
Suppose 2*j - 1 = 1, -5*h - 4*j + 4 = 0. Suppose -5*z + 24 = -3*i, 5*i + h*i = -5*z. Solve -24 = z*r + 3*p, 0*r + 3*r + 4*p + 29 = 0 for r.
-3
Let k = 9 + -19. Let h = k - -12. Let w(o) = -o**2 + 6*o - 5. Let x be w(4). Solve -2*d = -2*n + 12, x*n = -d - h + 4 for n.
2
Suppose z + 0*t = t + 41, 5*z - 165 = -5*t. Solve -5*m + z = 4*a, m - 4 = -2*a + 7 for a.
3
Let q be (-1 - -2)*-3 - -6. Solve p = 2*z - 7, q*z + 7 = -2*p + 28 for z.
5
Let w be 86/(-18)*-3*6. Suppose -5*i - 3*k = -101, w = 3*i + i + 5*k. Solve -2*s - 8 = n, -i = 3*n + 4*s + s for n.
2
Let m(f) = f + 9. Let j be m(6). Solve -3*b - b = -5*d - 12, -d - 5*b + j = 0 for d.
0
Let g = 3 + 2. Let b be -1 - (-1 - 0) - -26. Let h = 44 - b. Solve w - 5*y = -h - 7, y = g*w + 29 for w.
-5
Let i be -1 + 1 - (3 + -6). Let c be ((-108)/(-30))/(2/10). Solve -2*h + c + 3 = i*v, -v - 1 = -2*h for h.
3
Let g be (-30)/(-12)*4/2. Suppose -g*v = -v - 12. Solve s + x + 11 = -2*s, v*x - 11 = 2*s for s.
-4
Let m be (-2 - -2) + (-1 - -4). Suppose 5*i + m = -3*x, 6*x - 28 = 4*i + 2*x. Let s be 2/i*3*-2. Solve s*w + 4 = -4*b, -2*b - b - 4*w = 7 for b.
3
Suppose -t + 2*t = 0. Suppose -2*z + 1 + 3 = 0, t = 5*f + 3*z - 31. Solve -3*w = -5*p - 1, -w + 9 - 2 = -f*p for w.
-3
Let o = -19 - -21. Solve -4*q - 6 = 2*k, o*q = -0*q - 4*k for q.
-2
Let a(g) = 5*g - 1. Let d be a(1). Suppose -d*m + 1 + 13 = 2*q, 7 = 2*q - 3*m. Solve -q*f - 16 = -3*j, 5*f + 10 = j + f for j.
2
Let o be 4/(-18) - (-182)/9. Suppose 0 = -l + x + 4, -4*l + 7*l = -3*x + 12. Suppose l*c = 12 + 4. Solve -6 + 26 = -c*v - 5*r, 0 = -5*v + 5*r + o for v.
0
Let f(b) = -2*b - 35. Let t be f(-19). Solve 2*d + 4*n - 14 = 0, 0 = -t*d + d - 2*n + 12 for d.
5
Suppose 5*i + 0*n = -2*n + 41, 3*n - 3 = -i. Solve -5*x + 3*d + 18 = -i, 0 = -5*x - d + 11 for x.
3
Let z be (-1 + 1)*10/(-20). Suppose 3*g - 5*g + 6 = z. Let u be 1