 = 0, -v*t - 4 = 2*b for b.
3
Let u be (5 + 0)/5 + -1. Solve u = -g + 3, -12 = h - 4*g for h.
0
Let f(y) = -y**2 - 2*y - 3. Let u be f(-3). Let s = u + 1. Let z be s + 3 - 12/(-2). Solve 0*d = v - 5*d + 24, 5*v + 15 = z*d for v.
1
Let h be 1/(-5) - (-64)/20. Solve h*a = 5*q + 10, -5*a - 3*q = -0*a - 28 for a.
5
Let x be (-2 - (-2 - 1))*1. Solve -a + 0 - 8 = -3*m, x = m for a.
-5
Let q = -10 + 7. Let v be (-1 + 2)/(q/(-9)). Solve -v*b = 15, -4*p + 10 = 3*b - b for p.
5
Let d = 10 + -7. Solve 5*i - 2*u - 9 = -d*u, -u + 8 = 4*i for i.
1
Let y(w) = w**2 - 5*w - 5. Let d be y(6). Suppose 5*s - 14*s = -36. Solve 3*j = -s*k - 6, -5 - d = 2*k for j.
2
Suppose 0 = 5*j + 30 - 0. Let i be ((-2)/j)/((-2)/(-12)). Suppose v - 4*u + u + 14 = 0, -13 = i*v - 3*u. Solve 0 - 6 = -3*d, 2*d = 5*n - v for n.
1
Let s be -4 - 0 - (1 - 3). Let w be (4/6)/(s/(-15)). Solve 2*m - w*b = 15, -5*m = b - 1 + 4 for m.
0
Let d be (-9)/((-36)/(-8))*-1. Solve 7 = 3*o + 2*b, -3*o + d*b = -14 + 3 for o.
3
Suppose -2*t - 1 = 1, -5*t = -2*x + 21. Suppose 2*q = a - 8, -4*q + x*q = a - 10. Suppose -3*n + 0*n = -a. Solve z + 3*z - 2 = -3*s, -3*s - 10 = -n*z for s.
-2
Let n(u) = u**3 - 6*u**2 + 6*u - 2. Suppose -4*t + 0 = -20. Let c be n(t). Solve h = -2*r + 9, -4*r - 4*h = -c*h - 15 for r.
3
Suppose -y + 5*z - 15 = z, 0 = 2*y + z + 3. Let b = 2 - y. Solve k - 7 = 3*s, -4*s + 9*s + 5 = b*k for s.
-3
Suppose 2*o = -10*o + 24. Suppose c = -5*h + 27, -c + 2*h = 4*c - 108. Solve 5*p + 3*z = o*z - c, z + 2 = 0 for p.
-4
Let b = 8 + -5. Suppose -k + 5 = 4*k, 2*p + k = 11. Suppose -3*f + f + 8 = 0. Solve l - 11 = f*o - o, -b*o = 2*l + p for l.
2
Suppose w = -w + 4. Suppose 5*i - 9 - 1 = 0. Solve 2*c = -r - w, i*r - 2 = -3*c - 3 for c.
-3
Let y be 3/(-18) - (-31)/6. Suppose 2*u + 4*f - 10 = -u, -4*f + 14 = y*u. Suppose -5*s = -2*s - 6. Solve s*z - u*r = 0, 3*z = -z - 2*r - 12 for z.
-2
Let h be (-6)/2*(-2)/(-3). Let f = h - -1. Let v be 2*3 + -2 - f. Solve -b - 32 = 2*b + v*o, 20 = -3*b - 2*o for b.
-4
Let d = -22 - -38. Suppose -2*i = b - d, -b + 18 = -i - 4. Solve 5*n - n + 4*v + 16 = 0, -5*n - b = -v for n.
-4
Let r be 5/((-75)/(-6))*10*1. Solve z + 4 = -5*c, r*z = 2*c + 1 + 5 for z.
1
Suppose -m = 3*a + 21, -7*a - 15 = -2*a - 5*m. Let g = -4 - a. Suppose -2*n + 3 = -3*l, g*n + 2*l = -n + 37. Solve -3*o - n = -5*k, 5*o + k - 16 = -k for o.
2
Let b be 4/(-6)*(-27)/6. Solve -5*d - 20 = -5*y, -y + 8 = b*y for d.
-2
Let g(u) = -u**2 - 2*u + 2. Let x be g(0). Solve -3*r - x*r = t + 7, 4*r = 2*t for r.
-1
Suppose -a = 2*y + 20, -3*y + 3*a + 5 = 35. Let k = y + 13. Solve -4*v - k*b - 35 = 0, 5*v = v + b - 15 for v.
-5
Suppose 0 = -2*o + 4*a - 7*a + 12, -9 = -5*o + 3*a. Suppose 0 = -3*l - 4*z + 3*z + 4, l - 10 = 4*z. Solve l*m + 6 = -2*m + b, o*b = -m - 8 for m.
-2
Let b = -5 + 6. Suppose -f = -b - 4. Suppose f*x - 11 - 14 = 0. Solve 2*z + 15 - 3 = -2*h, x*h - 6 = 4*z for h.
-2
Let i = -11 + 14. Solve 4*l - l = -i, -2*h + 4*l = -14 for h.
5
Suppose 3*t - 5 = -50. Let v be ((-6)/t)/((-1)/(-5)). Solve -2*j - v*g - 6 = 0, 0 = -j + 2*j - 2*g - 3 for j.
-1
Let a(u) = u**3 + 7*u**2 + 5*u - 1. Let t be a(-6). Suppose -4*o + 27 = t*k, -k + 5 = 3*o - 7. Solve 5*v - 3*i + 18 = -5, -4*i + 16 = -k*v for v.
-4
Let t(q) = q**3 + 4*q**2 - 2*q - 1. Suppose -4*a = -2*x + 20, -2*x - 6 = -3*a - 22. Let y be t(x). Solve -d + 10 = 5*c - y, -c + 13 = 2*d for c.
5
Let a(d) = d**3 + 3*d**2 + 2*d + 9. Let l be a(-3). Solve r = v - 5*v + 8, 4 = -l*r + 2*v for r.
0
Suppose -4*o + 2*o = 5*d - 19, 0 = 2*d - 3*o - 19. Solve 2*k + k = -5*n - 6, 3*n = d*k - 24 for k.
3
Suppose t + 3*k = -1 - 0, 0 = 3*k - 3. Let i(y) be the first derivative of -y**2/2 - y + 2. Let r be i(t). Solve 5*v + 20 - 6 = -f, 0 = -v - r for f.
1
Suppose -96 - 12 = 6*q. Let u be ((-3)/4)/(q/96). Solve 2*k = -o - 3*k + 6, -18 = u*o - k for o.
-4
Suppose -5*q = 4*b + 26, 18 = -5*q - 0*b - 2*b. Let v be 1/(q/4)*-12. Let u be (v/(-9))/(4/(-6)). Solve 3*z - z = 4, 0 = u*c + 3*z + 2 for c.
-2
Suppose j + 3 + 1 = 0. Let s = -4 - j. Suppose s = -0*d + 5*d. Solve -36 + 8 = -4*z + 4*w, -2*z - w + 2 = d for z.
3
Suppose -4*d + 23 = -2*m + 7, d = -1. Let z = m + 18. Solve q = -2*p + 3 + z, -3*p = -5*q + 16 for q.
5
Let i(u) = -u**2 + 7*u + 3. Let q be i(7). Let f(w) = w**3 - 2*w**2 - 2*w + 1. Let n be f(3). Solve 4*y = q*z - 12, -z - 1 + 13 = -n*y for z.
0
Suppose 0 = 3*o + 2*o + 25. Let p = o + 9. Solve 7*b + 4*v + 15 = 2*b, -p*v + 3 = -b for b.
-3
Let g = -6 - -15. Let j = g - 4. Solve 3*q + j*a = 8, 3*q + 4*a - 5*a = -16 for q.
-4
Let d be 21 + (-2 - 0) - (-2 - -3). Solve 0 = 5*r + 2*j - 16, -r + 5*j - d = -5 for r.
2
Let k(f) = 2*f + 1. Let x be k(1). Suppose -h + 12 = 3*l, -2*l - 4 + 12 = -5*h. Let g = 8 - h. Solve x*r - g = -5*y + y, 0 = -y + 2*r - 9 for y.
-1
Suppose 5*g - 8*g + 9 = 0. Solve -p = 4*n - 7, -6 = g*n + 3*p - 6*p for n.
1
Suppose 5*y = -5*l, 15 = y - 3*y - 5*l. Solve 4*a - y*k = -2*k - 25, 5*k - 27 = 3*a for a.
-4
Let x be -97*(-2 + 0 + 5). Let v = x + 457. Let m be (-4)/(-14) + v/7. Solve -n + 5 = 5*f - 3*n, 0 = 4*f + 4*n + m for f.
-1
Let o = -11 - -16. Suppose -o*c = -43 - 27. Solve -5*j = h + c, -j + 2*h = 3*h + 6 for j.
-2
Let g(t) = 4*t - 1. Suppose -23 = -3*h + 5*x, 5*x = h - 1 - 20. Let v be g(h). Solve r = -l - v, 2*r + 18 = -0*r + 4*l for r.
-5
Let j be (0 - -6) + (0 - 3). Solve 0*r - 16 = 2*r + 2*w, -j*w - 4 = -r for r.
-5
Let f(a) = -a**2 - 14*a - 8. Let w be f(-13). Solve 0 = -3*i - 5*k - 31, -2*i + 2*k + 1 + w = 0 for i.
-2
Let t be (1/(-5))/(4/(-100)). Solve 0 = -4*u - 5*n - 15, 0 = -t*u - 2*n + 3*n + 3 for u.
0
Let a be (-350)/(-150) - (2/3)/(-1). Solve w = 5*n + a + 19, 5*w + 35 = -4*n for n.
-5
Let k(o) = -4*o**3 - 2*o - 1. Let c be k(-1). Solve 4*z = 3*z - c*p + 16, 4*z = -3*p + 13 for z.
1
Let i = 0 + 3. Let s = -2 + i. Suppose g + s - 4 = 0. Solve -2*x + 3*d = g*x - 37, -3*x + 5*d + 35 = 0 for x.
5
Suppose 6*y - 14 = 2*n + y, 0 = -5*n - 5*y + 35. Solve -5*x - 3*w + n = 0, 4 + 1 = -3*x + 5*w for x.
0
Let z(v) = -v**3 - 4*v**2 + 3*v - 5. Let m(x) = -4*x**2 - x. Suppose -1 + 5 = 4*b. Let n be m(b). Let h be z(n). Solve h = -5*p - 0, -l + p = -1 for l.
0
Let m(x) = x**3 - 4*x**2 + 3*x + 2. Let i be m(3). Solve 0 = -2*z - i*z + 5*u + 4, 3*u + 24 = -3*z for z.
-4
Let v = 4 + -14. Let s be v/(-3 + -2 + 3). Solve -s*f + 5*n = -25, 0*f + 5*n + 25 = -f for f.
0
Suppose -5*q - u + 48 = 0, q = 3*q + 2*u - 16. Solve 3*i - q - 1 = l, -5*l + 3*i = 19 for l.
-2
Let l be (44/(-55))/(-3*4/30). Solve 3*t + 0*t - 2 = w, -3 = -5*w + l*t for w.
1
Suppose 3*m - 2 = 4*m. Let f(t) = t**2 + t + 2. Let z be f(m). Let q be (-2 - -2)/(1/(3 + -4)). Solve z*n + k = -q*k + 13, 0 = 4*k + 12 for n.
4
Suppose -4*n = -3*h - 0*h - 177, 3*n - 140 = -5*h. Suppose n = 5*y - 10*y. Let i = -6 - y. Solve 2*q - 1 = 4*l + i, -4*q + 4*l = 0 for q.
-2
Suppose 17 = 3*r + 5, -4*c + 2*r = -4. Solve 3*j = c*u + 6, -4*j + 5*u = -10 - 3 for j.
-3
Suppose 3*s = r - 2*r + 6, -3*r + 4*s = -5. Let m = r + -1. Let a = 0 + m. Solve 3*q - 5*k = -26, a*k - 5*k = q - 10 for q.
-2
Suppose 37*a + 5 = 42*a. Solve -5*i = -2*m - 4 - a, -m = -4*i + 1 for i.
-1
Let t = -5 - -11. Let m(x) = 2*x - 9. Let q be m(t). Solve -q*k + 1 = 2*b + 5, -k + 4*b - 6 = 0 for k.
-2
Let c be 3 - ((-5 - -1) + 2). Solve 0 = -5*q + 10, -v = -6*v + c*q for v.
2
Suppose 0 = c + 4*l, c = 2*l + 3 + 3. Solve 2*h = d - 6, 0*d = -4*h + c*d - 8 for h.
-4
Let p(n) = n**3 - 4*n**2 - 6*n + 5. Let q be p(5). Let f be q + -3*4/(-6). Solve 0*j = 4*h + f*j - 6, -2*h - 2*j = 0 for h.
3
Suppose 0 = -4*s + 2*u - 12, s + 4*u + 8 = -4. Let f be 1/(-1 - 5/s). Solve 4 = -h - f*j + 3, 2*j + 8 = 2*h for h.
3
Suppose 4*l + u + 6 = 5*l, 0 = -5*u - 5. Suppose l*c - c = -36. Let y(s) = -s**2 - 9*s + 2. Let p be y(c). Solve -1 = 2*t + 3*q + 6, -p*q - 10 = 0 for t.
4
Let q(v) = v**2 + 3*v + 8. Let c be q(-4). Solve -5*w + 2*s - 11 = 0, 3*w - 2*s - c = -7*s for w.
-1
Let b(c) = -2*c - 21. Let u be b(-12). Solve 3*y + 3 = u*q, -2*y - 2 - 1 = -q for y.
-2
Let a(b) = b**2 - 7*b - 6. Let t = 21 + -13. Let y be a(t). Suppose 4 = y*n - n. Solve 0 = r - 3*r + n*x + 2, -4*x = r + 11 for r.
-3
Let i = 12 - 7. Solve 2*w + 2*g + 6 = 0, i*w - g - 8 = -29 for w.
-4
Let u be -3 + -3 + 7 + 3. Suppose -4*y + 2*i - 1 - 1 = 0, -7 = u*y - 3*i. Solve 5*s - y*z + 5