 0 = f + 4*f - v. Solve 3*u = 15, -3*h + f*u - u = 0 for h.
5
Let r(l) = l - 3. Let z be r(5). Suppose 5*c - 3 = 2*c. Solve 4*o + k + c = 2*o, -z*k = -2*o - 10 for o.
-2
Suppose -s + 2 = -15. Solve 5*i + 5*t - 7 = -47, -s = i + 4*t for i.
-5
Let z be (-2 - 1 - 42) + 1. Let l = 71 + z. Let d be 4/(-18) + 60/l. Solve d*c - 2*p + 9 = -9, 0 = 4*c + 2*p + 6 for c.
-4
Let c = -114 - -123. Solve 30 = 5*l + 5*b, c = l + 2*b + 2 for l.
5
Let o be -3 - (-3)/(-2)*(-28)/6. Solve -5*x + 17 + o = 2*p, 5*x - 33 = 4*p for p.
-2
Suppose n = -3*n - 28. Let j = n - -11. Solve 3*h - 3*k + 3 = 0, j*h - k = -5*k + 36 for h.
4
Suppose -a = 1 - 6. Let z = a + -5. Solve u + 13 = -r + 6*u, z = 4*r - 4*u + 20 for r.
-3
Let q = 4 - 0. Suppose -q*k = 8 - 44. Let b = 18 - k. Solve t + 4 = 5*s, 4*s + s - b = -4*t for t.
1
Suppose -i - y = y - 2, -y = -3. Let m = 7 + i. Solve -4*g + 12 = m*w, -5*g + 8*g + 2*w - 9 = 0 for g.
3
Suppose -6*m + 8 = -4*m. Solve w = -m*l + 7, 0 = -0*l - 5*l + 4*w + 35 for l.
3
Suppose -5*l + 44 = 3*w, -10 = 4*l - 4*w - 58. Suppose -5*v - l = -2*n + 3*n, 4*n = -5*v + 5. Solve 5*t + n*q = -4 - 6, q + 6 = -3*t for t.
-2
Let o(d) = -d**2 - 9*d - 12. Let m be o(-5). Let u = m - 8. Solve u = -0*a + 5*a - c + 16, 5*c = a - 16 for a.
-4
Let m be (9/(-15))/((-1)/5). Suppose 3*s - 3*q = 0, -m*s + 1 - 11 = -5*q. Solve 3*x - 7 = s*y, 5*x + 2*y = y + 21 for x.
4
Suppose -4*h = 5*c - 186 + 54, -3*h + 9 = 0. Solve 3 - c = -5*u + 4*v, 4*v - 14 = -2*u for u.
5
Let b(r) = 4*r + 1. Let o be b(4). Let t = o - 12. Solve 0 = -2*c - 5*v - 23, 0 = -t*c + 3*v - 6*v - 29 for c.
-4
Suppose 70 = 5*z + 5*s, 5*z + 7*s - 74 = 3*s. Suppose -3 = 5*y - z. Suppose v + 70 = y*v. Solve 2*m + 13 = b, 0*m + v = 3*b - 5*m for b.
5
Suppose -3*c = 28 - 100. Let g be 3/18 + (-4)/c. Solve g = 2*s - 3*b + 11 + 8, 0 = 4*s + 3*b - 7 for s.
-2
Suppose 0*b + 3*b = -3*f + 9, 0 = -f + 2*b + 6. Solve -f + 13 = -q + 3*w, -5*q = 5*w + 5 for q.
-3
Suppose 70 + 63 = 7*t. Solve 0 = -c - 5, c - 4 = 2*u - t for u.
5
Suppose -5*m - 2 - 23 = 0, 5*m + 1 = 4*j. Let i = 39 - 28. Let k = i + j. Solve -k*h - 34 + 14 = -5*w, h = 2*w - 6 for w.
2
Let k(u) = -14*u**3. Let p be k(-1). Suppose -t + 4*t = -5*n + 38, -5*t + 4*n = -p. Solve f - t = -a, a + 5*f = 2*a + 24 for a.
1
Let n = 25 + -23. Solve 0 = -n*m + 3*a + 7, -2*m - 5*a - 10 = -5*m for m.
5
Let u = -5 - -5. Suppose u = 5*w + o - 11, 3*w - o - 1 - 4 = 0. Solve 0 = 3*a - q + 20, -3*q = -w*q - 5 for a.
-5
Suppose 8 + 8 = -2*f. Let g = 11 + f. Solve 1 + 12 = g*u - 5*o, 0 = u + o + 1 for u.
1
Suppose -3*r + g + 21 = 6, 4*r - 19 = g. Suppose 0 = o + 3*o + r*w - 28, 0 = 3*o + 4*w - 21. Solve 4*p = 2*k - o*k - 4, 5*p + 5 = -4*k for p.
-1
Let s = 104 + -101. Solve -b - 5 = -j, j + s = 4*b + 20 for j.
1
Suppose 0 = 4*q - 13*q + 18. Solve -v + 9 = 2*n - 1, v - q = 0 for n.
4
Suppose 0*f = -2*f + 2. Let k be f - (-2)/(-2) - 1. Let b be k/(1/(-3)) + 2. Solve b*h = -2*a + 1, 6*a - h + 9 = 2*a for a.
-2
Let d be ((0 - 1) + 0)*0. Let m = d - -3. Solve -4 = m*i - y, y + 5 = 3 for i.
-2
Suppose -d + 2 - 5 = 0, -v + 3*d + 9 = 0. Solve 2*q = -0*y - y - 6, v = -3*q + y - 4 for q.
-2
Let v = -5 - -9. Let o(y) = y**2 - 2*y - 5. Let t be o(v). Solve -2*g = 2*h + 12, -2*g = -t*h - 2*h - 23 for g.
-1
Let o(j) = j + 17. Let h be o(-14). Solve 3*b - h = 4*r - 20, 2*b - 2 = 0 for r.
5
Let k be (-5)/15*15*-1. Solve -5*o - f - 2*f + 13 = 0, 5*f - k = 0 for o.
2
Let u(r) = -5*r + 7. Let w be u(-3). Let n = w + -19. Let k(z) = z**3 + 4*z**2 + z + 1. Let q be k(-3). Solve -n*o + q = m - 2*o, 4*o = 16 for m.
3
Suppose 1 + 3 = 4*n. Let w be (4 - 4)/(2*n). Solve w = -j - 2, 2*j + 14 = -0*q - 2*q for q.
-5
Let m(r) = -2*r - 10. Let g(b) = -b**2 + 2. Let t be g(-3). Let x be m(t). Solve -6 = -2*z + 2*d - 3*d, -2*z - 2*d + x = 0 for z.
4
Suppose 2*r + 5*b - 136 = -47, -2*b - 86 = -3*r. Suppose 0 = 4*n + 94 - 2. Let d = n + r. Solve -m + 3*x - 13 = 5*x, 2*m - 3*x = d for m.
-3
Suppose -o + 3*o - 6 = 0. Solve -2*f = -3*j - 0*j + 2, f + o*j = 8 for f.
2
Suppose i + 2*i = 0. Suppose l - g = -i*g + 5, 4*l + 5*g - 20 = 0. Let a be (-2)/(-4)*0 - 0. Solve a = -k - 5, 3*k + 15 = t - l*t for t.
0
Suppose 160 = 2*h + 4*n, 4*h = -7*n + 2*n + 317. Suppose 5*r = 4*x + h, -2*x + 11 + 13 = 2*r. Solve -2*k = -4*u + u - r, 3*k = -3*u - 9 for k.
1
Suppose -8*x + 4*x = -28. Solve 2*g + f = x*g, -20 = 4*f for g.
-1
Let v be 10*2*5/20. Solve 0*l - v*l - 4*w - 15 = 0, -4*l - 11 = 3*w for l.
1
Let c(q) = -q**2 + 50. Let r be c(0). Suppose 0*n - r = -n. Let y = n + -31. Solve 5*x = -4*a, -y = 4*a + 1 for x.
4
Let o = 3 - 1. Let j be 12/(-10)*(-9 - -4). Suppose 0 = 4*f + p - j + 1, -3*f + 3*p = -15. Solve 11 = o*l + 5*q, -f*q = -6*q + 4 for l.
3
Suppose 0 = 2*x - 0*x - 4. Solve z - 1 = -4*z - x*y, 2*z - 3*y = 8 for z.
1
Let w(p) = p**2 - 9*p + 12. Let s be w(5). Let y = -2 - s. Solve 3*o + 0*o - y = 0, -2*g = 3*o - 16 for g.
5
Let o(y) be the first derivative of -3*y**2/2 - 3*y - 1. Let u be o(-2). Solve -f - u*f = 5*g + 2, -4*f = 4*g for f.
2
Let l(n) = n**3 - 18*n**2 - 18*n. Let r be l(19). Solve 4*s - s + 2*z = r, 4*s - 37 = -5*z for s.
3
Let g(s) = s**2 + 3*s + 2. Let p be g(-2). Solve -5*o + 5*j + 20 = 0, p = o + o - 3*j - 11 for o.
1
Let n be 8/2 + (6 - 7). Solve w + 20 = 4*g, -4*w + g + n*g = 32 for w.
-4
Let d be ((0 - 3)/(-1))/1. Solve -2 = -3*m + t + 10, -3*t = -d*m + 18 for m.
3
Let d be 3/6*8 + -2. Solve -2*k = 3*t - 16, -4*k - d*t + 4 = -12 for k.
2
Suppose -3*k - 2*t + 1 = 0, -6 = -3*k + 4*t - 35. Let i be (1 - (-6 - k)) + -2. Solve w - 5 = -4*q, -i*w = -2*q - 5*w - 5 for q.
2
Let d = -5 - -5. Let w = -2 + 2. Suppose w = -3*n + 12. Solve f + 3*f + 20 = 0, -5*v + n*f = d for v.
-4
Suppose 2*j - n + 20 = 0, 3*n = -4*j + 2*n - 28. Suppose -4*y + x = -y + 11, -y + 2*x = 12. Let l be 0/y - j/2. Solve -8 = l*u + 2*p, -p = 5*u + 4*p for u.
-4
Let o be (-26)/(-7) - 4/(-14). Suppose i = o*z + 5, 3*z = -2*i + 7*i - 8. Let l = 7 + z. Solve l*w = -m + w - 2, 4*m + 4*w - 8 = 0 for m.
3
Let c be ((-44)/33)/((-2)/15). Solve -5*h = 3*k - 6, -5*k + c = -6*h + h for h.
0
Let z be (0 + (-1)/(-1))*3. Suppose 0 = -2*n + 5*n - z. Solve 4 = y + k + n, -8 = 4*y - k for y.
-1
Let d be 8/20 + (-54)/(-15). Solve 0 = -q - 2*m + m, d*q - 3 = -m for q.
1
Suppose -3 = t, -4*b = -0*t + 5*t + 3. Let z(h) = h**3 + 8*h**2 + 2*h + 18. Let q be z(-8). Solve 6 = -5*p - q*d - 4, -15 = p + b*d for p.
0
Let y be 1/((-5)/(-6) - 1). Let k(m) = -7 + 3*m**2 - 5*m**2 + m**2 + 2*m**2 + 4*m. Let v be k(y). Solve l - 25 = 3*l - v*a, 5 = -3*l + a for l.
0
Suppose 9*y + 30 = 4*y. Let j = -5 - y. Let m(c) = -2*c**3 - 4*c**2 - c - 4. Let d be m(-3). Solve 3*b = -5*v + d, -j - 7 = -2*v for b.
-1
Let s = -40 - -42. Suppose -4*v = 1 - 9. Suppose -39 = -v*x - x. Solve 4*f + 5*z - x = 0, -3*f + 3 = -5*z + s*z for f.
2
Let n(l) = -l + 3. Let z(y) = -y + 3. Let s be z(8). Let c be n(s). Suppose -20 = -3*b - c. Solve 2*h = -4*x + 20, -x - 4*h + 31 = b*x for x.
3
Let w = -3 + 0. Let a = -4 - w. Let s(z) = -10*z**3 + 2*z**2 - 1. Let f be s(a). Solve 0 = -4*b - 2*c - 9 - f, -5*c = 20 for b.
-3
Suppose 3*r - 4*r = -2. Suppose 0 = 5*x + 4*b + 25, 2*x + 15 + r = -3*b. Let j be 2*x/4*-4. Solve j*p = -5*u + 27, -u - 3*p + 7 = -p for u.
5
Let w be 3/(-1 - 1 - (-14)/6). Solve 3*u + 3*j = -0 + w, 2*j = 3*u + 11 for u.
-1
Let f be 3/(-2) - 3/(-2). Suppose -5*g + f*g = -20. Solve -2*r = 2*t + 8, g*r - 5*t = -12 - 4 for r.
-4
Let j(i) = 1 - 3*i**3 + 10*i**2 - 3 + 8*i - 3 + 4*i**3. Let g be j(-9). Solve -2*n = 4*s - g + 20, 0 = n - s - 1 for n.
-2
Suppose m - 5 = -0*r - 5*r, -3*r - m + 5 = 0. Suppose -9 = -b - 0*b. Solve -x + 3*h + b = r, 0*x + 2*h - 2 = -2*x for x.
3
Suppose 0 = -2*x + 20 - 8. Suppose -x = -3*c + 6. Suppose -4*r + 12 = -0. Solve 2 = c*t - 2*d, t + 2*t - 3*d + r = 0 for t.
2
Suppose -27 = 2*r - r. Let d be (r/(-4))/((-1)/(-4)). Let a = d - 18. Solve a = c - 4*i, -5*c - 3*i - 1 + 0 = 0 for c.
1
Let g = 24 + -24. Solve w - 8 = -3*p + 7, -4*w - 2*p + 20 = g for w.
3
Let v = -153 + 159. Solve -2*n + 2*o - v*o = -8, 4*n - 4*o = -8 for n.
0
Suppose -2*k = -3 - 1. Let z be 1 - (-1 + k/(-2)). Let x(u) = 2*u**2 + 5*u. Let m be x(-4). Solve z*d = m, 5*y + 4*d + 0*d - 11 = 0 for y.
-1
Let x(c) = 3*c - 17. Let d(k) = -4*k + 18. Let y(p) = -4*d(p) - 5*x(p). Let q be y(-11)