 Solve v - 9 = 3*m, 4*m - 4*v = -0 - l for m.
-4
Let w(z) = -4*z - 7. Let i be w(-5). Solve 5*p + o - 4*o = i, -o = 1 for p.
2
Let i = -148 + 164. Solve 3*r + g + 11 = 0, -3*r + 0*g - i = 2*g for r.
-2
Let g = 53 + -21. Let z = -3 + g. Solve l + 3*w + 2 = 0, -3*w = -5*l + w - z for l.
-5
Suppose -5*y - 2*b - 3*b = -10, -4*b = -3*y + 13. Let t = y - 1. Solve -2*a + 2 = -3*v - 0, t*a = -3*v - 10 for a.
-2
Let o(b) = b. Let w be o(4). Let j be -2*-1*(-6)/4. Let q be 6/9 - 4/j. Solve -d - q*p - w = -4*d, -2*d - 4*p - 8 = 0 for d.
0
Suppose -3*x + 31 - 85 = 0. Let n be (24/x)/(4/(-6)). Let g(w) = 5*w - 2. Let d be g(n). Solve -3*p + 5 = -4*p + 5*a, 2*p = a + d for p.
5
Let p be 6*1 + (3 - 2). Suppose -2*z = -p*z. Suppose -4 = -2*b - z*b. Solve 3*k - 18 = 3*a, -5*k - a = b*a + 10 for k.
1
Suppose 19*t - 8 = 15*t. Solve t*g - 1 = -5*w - 0, 0 = -5*w - g - 2 for w.
-1
Suppose -3*f - l + 46 = 0, -5 - 5 = -f + 5*l. Let a(u) = -3*u**2 + 0*u - 6 + u**3 + 4 + 2*u. Let s be a(3). Solve -20 = 2*z - 4*z - s*c, 0 = z + 3*c - f for z.
0
Let x(j) = j**2 + 2*j - 3. Let y be x(2). Suppose 3*z + g = -0*z + 10, 0 = -z - g. Solve z*u = -3*d - 5, -10 = -5*d - y*u - 5 for d.
5
Let t be 2 - (-2 - -14)/1. Let p be 5/(t/(-6))*-1. Let m be (p - -1)*(-15)/6. Solve 3*n = m*a + 34, 2*n - 6 + 0 = 0 for a.
-5
Suppose -2*m = 5*s + 5, -2*m = -3*m - 3*s - 4. Suppose -3*z + z = -6. Solve -a - m*x + 4*x - z = 0, a + 5 = -2*x for a.
-1
Suppose 6 = -c + 3*c. Solve 2*o - 3*s = -9, 0 = 4*o + o - c*s for o.
3
Suppose g - z + 8 = 3*z, 3*g + 3 = 5*z. Let a = -3 + 7. Solve a*y = -g*b - 28, -3*b + 22 = -7*b - y for b.
-5
Let t = 117 - 93. Solve 0 = s - 5, 6*w - 4*s + t = 2*w for w.
-1
Let m be 1/(-5) + (-16)/(-5). Solve 4*y - 2*a + 0*a + 20 = 0, -15 = m*y + 4*a for y.
-5
Suppose 0 = -0*n + 4*n - 292. Suppose n = 4*y - 11. Solve 3*l = 15, -48 = -4*v - 3*l - y for v.
3
Suppose 0 = -4*x - 0 - 24. Let z be ((-2)/x)/((-2)/(-18)). Solve 3*m - 3 = -3*h, 2*m + 3*h = z*m - 5 for m.
2
Let q(y) = 2*y**2 - 2*y - 2. Let n be q(2). Let z be -1 - 2/((-2)/(-2)). Let s(k) = k**2 + 2. Let a be s(z). Solve -n*c - f = a, -23 = c - 0*f + 4*f for c.
-3
Let n be ((-20)/(-6))/(3*(-12)/(-54)). Solve h + n*r = -7, r = -h - 0*r - 3 for h.
-2
Let f be 0 + 22/(1 - 0). Let b be ((-4)/6)/(f/(-33)). Suppose -1 = 5*g - 26. Solve -p = a - b, -4*a + a = g*p - 9 for p.
3
Let t(p) = 2*p**2 + 9*p + 11. Let i be t(-6). Solve 21 = -u - 5*s, u + s - i = 6*s for u.
4
Let d be -1 + -2 + -32 + 2. Let r be 2/((-39)/d - 1). Solve 0 = 3*o - 4*q - 0 + r, 0 = 4*o + 2*q for o.
-1
Suppose 0 = -4*m - 2*y + 76, 5*m - 4*y - 35 = 34. Let l = -1 - -5. Suppose -61 = -l*r - m. Solve -r = -2*a - 3*b, 2*b - 5 = a - 0 for a.
1
Let r(q) = 13*q**2. Let m be r(1). Let x = 7 - m. Let y = -3 - x. Solve -i + 6 = -2*d + 1, -y*i + d + 5 = 0 for i.
1
Suppose 0*f - f = -4*y + 15, 4*y = 5*f + 27. Suppose 42 = 5*u - y. Let k = -4 + 8. Solve -k = 5*t - x, 5*t + u + 0 = -4*x for t.
-1
Let d be (28 - 27)*(1 + 2). Solve 12 = 4*g + 4*u, -d*g = -0*g - 4*u + 5 for g.
1
Let a(z) be the third derivative of -z**6/120 + z**5/5 + 13*z**4/24 + 5*z**3/3 + 6*z**2. Let d = -13 - -26. Let i be a(d). Solve k = -2, 3*k + i = g - k for g.
2
Suppose -20 = -2*m - 2*m. Suppose m*x + 0*x - 20 = 0. Suppose -x*o = 5*k - 15, 2*k = -k - 5*o + 9. Solve 0 = -5*u - 2*d + 15, 3*u = -2*d + k + 2 for u.
5
Suppose 4*u = -4*f - 0*f + 16, 3*f = -u + 4. Suppose f*y = y. Suppose y = -4*r + 12, 0 = 4*l + 5*r + 18 - 45. Solve 0 = -3*z - b + 2, z + 2*z - 6 = l*b for z.
1
Let x = 10 - 9. Solve 0 = -v - x, 0 = 2*d + 3*d - v + 14 for d.
-3
Suppose 0 = 2*t - 0*t - 6. Suppose -t*f + 2*g + 16 = 0, 4*f - 12 - 6 = 2*g. Solve 5*u - 5*s - 8 = 2, 0 = -f*u - 4*s - 2 for u.
1
Let n(o) = -2*o. Let w be n(-1). Let y = 20 - w. Solve 10 = -3*v + b, -7*v = -2*v - b + y for v.
-4
Let s(i) = i. Let f be s(4). Suppose 5*k + 2 + 68 = 0. Let m be (7/k)/(1/(-4)). Solve 2*p + 4 = m*v, v - 6*v = f*p - 19 for p.
1
Suppose 3*d - u - 58 = -2*d, 0 = d + 3*u - 18. Suppose 0 = 3*b + p + 21, p = 1 - 4. Let k be (-2)/b - (-20)/d. Solve k*l - 25 = -3*n, 3 + 2 = -l + 2*n for l.
5
Suppose 0 = -4*s, -2*s = 2*w + 6 - 14. Suppose -4*d - o = -11, -2*d = -3*d + 2*o + 5. Solve 3*n - 5*m = -28, 0*n + d*m - 19 = w*n for n.
-1
Suppose -23 = 3*d - 5. Let l be (8/d)/((-10)/30). Solve -12 = -4*u + 5*y, -4*y - 1 = -l*u + 11 for u.
3
Suppose -5*y - 10 = -2*y - 2*p, 5*y + 2*p = 10. Solve 4*u + 35 = -5*h, y = -3*u - 3*h - 5 - 19 for u.
-5
Let q(v) = -v + 7. Let c be q(5). Let x be (6/(-4))/((-1)/(-2)). Let d be (7 + x)/(2/1). Solve c*g + 14 = 2*t - 3*g, -3*g - 10 = -d*t for t.
2
Let z be (-2)/(-7) - (-38)/14. Solve -5*d = -z*s + 15, -4*s + 4*d = -18 + 6 for s.
0
Let t(i) = -i**2 - i - 2. Let p be t(2). Let s be (-4)/(-10) - p/5. Solve -4*x = l - 21, -2*x - l = -s - 9 for x.
5
Let g(q) = -2*q + 2. Let m be g(0). Suppose -d + m + 0 = 0. Let n be (-2 - -1)*2 - -6. Solve 0 = -d*h - y - 5, 4*y = -h - n*h - 20 for h.
0
Let d(m) = -m**3 - 5*m**2 + 2. Let w(u) = -5*u**2 + u + 1. Let a be w(-1). Let f be d(a). Solve -q = 3*z - 14, 0*z + f = 3*q + z for q.
-1
Suppose u = 4*w + 1, -5*w - u + 8 = -2*w. Let v = -2 + w. Let t be v + -2 - -2 - -3. Solve 4*z + t*l = 18, 0 = 2*z - l + 3 - 14 for z.
5
Let u be (-1)/(2 + -1) - -6. Let s(v) = -v**2 - 11*v + 6. Let l be s(-9). Let k = l - 13. Solve -1 = -c, c = -u*t + 2*c - k for t.
-2
Let r(l) = -l. Let w be r(-3). Let g(y) = -y**3 + 5*y**2 - 4*y - 1. Let x be g(w). Solve -x*m - 3*s - 12 = 0, -4*m - 3*s + 4*s = 13 for m.
-3
Let t(y) = -y**3 - 31*y**2 + 17. Let c be t(-31). Solve -3*g = -3*h - 9, 4*h = -5*g - 47 + c for g.
-2
Let w be (-1 - -2)*0/4. Let b = 5 + w. Solve -3*y = d + d + 17, -b*y - 23 = -2*d for y.
-5
Suppose -2*m + 2*h - 6 = 5*h, -3*m = 5*h + 11. Solve o = -5*j - m*o + 20, 4*o = 4*j - 16 for j.
4
Let a be (-259)/(-84) - (-5)/(-60). Solve -i = -0*f - 2*f + 8, -4*i = -a*f + 22 for i.
-4
Suppose 0 = -c - 5*z + 8, 4*c + 4*z - 22 = -6. Solve -6 = -c*m - 3*v, -3*m + m - 8 = -v for m.
-2
Suppose -3*n + 2*x + 7 + 10 = 0, 3*x = n - 8. Solve -2*r + 2*z = 3*r - n, -1 = -4*r + z for r.
-1
Let v = -76 - -84. Solve 2*n - v = -3*h + 5, -3*h - 4*n + 23 = 0 for h.
1
Let t be (-5)/(2*2/(-4)). Let m be (2 - 4)*1 - -3. Let k(f) = 4*f - 1. Let h be k(m). Solve -t*z + h*u = -17, z - 6*z - 4*u = 11 for z.
1
Let f = -8 - -19. Let c = -11 + f. Solve s + 5*j - 11 = 0, c = -s - j - 1 for s.
-4
Let c(o) = o + 6. Let k be c(5). Suppose 0 = d - 2*h - k, 35 = 3*d + 3*h - 8*h. Solve -2*s + 3*s - 2*y = 0, -5*y = 5*s - d for s.
2
Suppose -y - v = 4*y + 1, -4*y = 4*v + 4. Suppose g - 10 = -b + 7, y = -2*g - 5*b + 22. Solve 4*r + q = 2*q - g, 10 = 2*q for r.
-4
Suppose -u + 48 = 2*x - 7*x, 0 = 3*u - 2*x - 105. Solve -a + 7 = v, 0 = -3*v - 4*a - 10 + u for v.
5
Let y be 4/(7/3 + -1). Solve y*q - 3*a = 12, 20 = 3*q - 9*a + 4*a for q.
0
Let a(i) = 7*i - 9. Let f(t) = 6*t - 8. Let q(m) = -4*a(m) + 5*f(m). Let d be q(4). Solve 0 = -4*s - 4*l, 0 = s + d*s + 4*l for s.
0
Suppose 14 = 6*d - 16. Let a be (-1*d)/(-7 - -6). Solve 2*j + a = 7*j, 0 = 2*x - 5*j - 1 for x.
3
Suppose 10 = 5*t - 0*t. Suppose 0 = v + t. Let q(r) = r**2 - 2. Let d be q(v). Solve 4*f = 5*c + 2 + 7, -3*f = -2*c + d for f.
-4
Let b = 3 + -1. Solve 0 = a - 3*z + 1, -b*a + 2*z + 5 = -7*a for a.
-1
Suppose 0*w + 2*w + 5*n = 17, 4*n - 20 = 0. Let b = w + 9. Suppose 32 = b*g - 93. Solve 2*o = f - 5*f + 16, g = 5*o + 5*f for o.
2
Suppose 5*c = 2*o - o + 20, 0 = -4*o + c + 15. Suppose -1 = -2*m - 5*i + o, -3*m + i = -9. Solve 0 = 3*f - m*y, 5*f + y - 5 = 5*y for f.
5
Let a = 1 + 1. Solve -a*o - 3*g - 3 = 0, 0*g - 3*g = 5*o + 12 for o.
-3
Let f(b) = 2*b**3 - 6*b - 3*b**3 + 0*b**3 + 3 - 7*b**2. Let g be f(-6). Suppose -2*q + g - 1 = 0. Solve 0 = 2*u + s - 3, -3*s = u + q for u.
2
Let c be (-3 + 3*(-1)/(-3))*-1. Solve -4*u + 2*n = -c, -2*u - 2*n = -3*u + 8 for u.
-2
Suppose -o + 2 = -2*y, 5*o + y = -y + 10. Let h be ((-50)/(-15))/(2/(-9)). Let r = 10 - h. Solve -z + 6 = 4*c - 11, -r = -o*z - 5*c for z.
5
Suppose 5*q - s - 24 = 0, -3*s + 16 = q - 6*s. Solve 10 = q*j + 3*x, 2*x + 1 = 5 for j.
1
Let u(p) = 3*p**2 - 1. Suppose 3*c + 4 = 1. Let h be u(c). Solve -h*d - 2*s = 2, -4*d = -3*d - 2*s + 7 for d.
-3
Let h = -13 - -25. Suppose q + q = h. Solve -5*y - 4*j - q - 10 = 0, 2*y + 8 = -2*j for y