, -5*v + 3*v + 33 = 5*a. Let k be h(a). Solve 2*g + 2 = k*m, 3*m - 2 = 4 for g.
2
Let a = 47 + -47. Solve -c - 8 = -3*y, 5*y + 0*c + c = a for y.
1
Suppose 5*x - 32 = -2*k - 0*k, -3*x + 22 = 4*k. Solve 2*r = x, 47 = 5*s + 3*r + 13 for s.
5
Suppose 0 = -6*t + 4*t. Suppose -i - 2*l + 8 = t, 2*i - i = -3*l + 12. Suppose 0 = 4*j - i - 12. Solve 5*s = g + 4, s + 2 = -0*s + j*g for s.
1
Let f be 2/((-1084)/364 + 3). Let p be 4/(-14) + 26/f. Solve 3*h = q + 4*q + 25, p = -h - 2*q - 10 for h.
0
Let h = 7 - -11. Suppose k + 14 = -2*o, 5*k + 38 = -4*o - 14. Let b = k + h. Solve -3*j + b = -j + 3*v, 4*v = 4*j - 20 for j.
5
Let m = -41 + 57. Solve 3*s + 4 = u - 0, 4*u = -2*s + m for u.
4
Let z(u) be the first derivative of -u**2/2 - u - 1. Let r be z(-15). Let o = 4 - 2. Solve -o*g - 5*x + 6 = 17, 5*g = x - r for g.
-3
Suppose 25 = 3*s + 2*s. Let c be (-1 - 12/20)*-10. Solve x = -s*z - 3 - 1, -z + c = -4*x for z.
0
Let x be 4/(-5) + 114/30. Let f(i) = -i + 5. Let v be f(0). Solve -4*l + v*g - 32 = 0, -x*l + g - 1 = 3*g for l.
-3
Suppose -3*p = 5*w - 24, -w - 5*p = -2*w - 12. Solve 6 = b + w*y, 2*y = -5*b + 14 + 3 for b.
3
Let k = -22 - -29. Solve -2*m = -5*g + 1, m = -0*m - 4*g - k for m.
-3
Suppose 4*a + 3*d - 9 = 18, -5*a + 5*d = 10. Solve -a*b = 5*n + 37, -1 = n - b - 0 for n.
-5
Let g(v) = v**2 + 6*v + 3. Suppose 0 = -j - 0 - 6. Let d be g(j). Let z be 1*d/((-9)/(-6)). Solve z*k + 0*r + r = 3, 4*k + 3*r = 5 for k.
2
Suppose -w + 12 = 3*f + w, 0 = 2*f + 4*w. Solve 5*z + 4*o = -8, f*o = o + 15 for z.
-4
Let j(u) = -u**3 - 12*u**2 + u + 4. Let w be j(-12). Let g be w/(-2) + 16/(-4). Solve 4*c + c = -3*n - 37, -4*c + 2*n - 12 = g for c.
-5
Suppose -h + 10 = h - t, t + 16 = 4*h. Solve -2*o - h*o = 3*p - 21, -2*o + 3*p = 0 for o.
3
Let r be ((-6)/4)/(15/(-110)). Solve -4*q + 6*q + 27 = -5*v, -q - 2*v - r = 0 for q.
-1
Suppose 0*d = -3*d + 5*i - 35, 5*d = 4*i - 54. Let t be 28/5 - 4/d. Solve -3*v = v - l + 10, -3*l = t for v.
-3
Suppose 4*p + 4 = -4*l, -5*l + 3 = p + 2*p. Suppose 8*w = 6*w - 6. Let u be 4 + p - (w - -1). Solve 0 = -2*a + u*c + 2, 5*c - 1 = 3*a - 0 for a.
3
Suppose 4*y - 9 = 23. Let t be (20/y)/((-3)/(-36)). Solve -6 - 14 = 5*x, 2*u = -5*x - t for u.
-5
Let r(h) = h**2 - 6*h + 5. Let f be r(6). Let v = -40 - -46. Suppose -4 = 2*w - 4*w. Solve b - 12 = f*c, c - v = 6*c + w*b for c.
-2
Suppose 0 = j + 2*j. Solve z = 0, -a + 3*z - 2 = -j for a.
-2
Let v(h) = -9*h + h**2 + 1 - 5 + 4 + 4. Let o be v(9). Solve 2*m + 2*m = 5*p + 2, -16 = -2*p - o*m for p.
2
Suppose -3*b - 13 = -b - 5*i, -b + 2*i - 5 = 0. Let w be 22/4 + b/(-2). Solve -2*l - 2*l + 12 = -w*c, 2*c + 4 = 2*l for l.
-2
Let b be 1/(((-3)/(-2))/(-3)). Let n be 1 - ((-21)/1 + b). Let m be n/10 - (-3)/5. Solve 4 = 2*i - m*i, -4*t + 4*i + 12 = 0 for t.
-1
Let s(f) = 3*f**3 - f**2 + 1. Suppose 3*k - 2 = k. Let v be s(k). Solve -4*b - 2*x - 2 + 0 = 0, 4 = -v*b - 4*x for b.
0
Let i(r) = -2*r - 1. Let q be i(-2). Suppose 0 = -2*y + q*z - 10 + 25, 3*y = -3*z - 15. Solve y*o = -2*o - 2*s + 12, -4*o + 4*s - 16 = 0 for o.
1
Let t(f) = f**3 - 2*f**2 + 2*f + 1. Let d be t(2). Solve -4*i + d = 3*l - 0*l, 4*i + l = 7 for i.
2
Let v be 113 - (-6 + (-9)/(-3)). Suppose -3*n = -2*d - 24 - 61, 4*n - 2*d - v = 0. Let x be ((-2)/3)/((-1)/3). Solve -x*g - 4*s = -14, -2*g - n = s - 6*s for g.
-3
Let i = 3 - -1. Solve d - 4*a + 6 = -3, 4*a - i = 0 for d.
-5
Let r be -1*(-8 - -3)*(-1)/(-1). Solve -x - 11 = -5*i, 3*i - r*x - 19 + 8 = 0 for i.
2
Suppose 0 = 5*n - 5*q + 70, 4*q + 2 - 28 = n. Let s be 3/(-6) - n/4. Suppose -s = t - 4. Solve t*z + 4 = -3*g, 4*z - 32 = 4*g - 0*z for g.
-4
Let l(y) = -y**2 + 10*y - 6. Let j be l(9). Let o(f) = -f**2 + 5*f - 2. Let b be o(4). Solve -b*g - 12 = 2*g, 0 = -j*n - 4*g - 27 for n.
-5
Suppose -5*d - 4*l = -24, -3*d + 15 = d - l. Let r be -2*(-2)/8*d. Solve -6*z - r*p = -2*z + 18, -2*p - 10 = 2*z for z.
-4
Suppose 6*b - 32 = 2*b. Solve -2*v - 3*w = 21, -23 = 3*w - b for v.
-3
Let c(x) = -x + 3. Let k be c(5). Let y be 4 - (-3)/6*k. Let m(l) = -3*l - 3. Let f be m(-2). Solve 15 = a + f*h, y*a + h - 5 = -a for a.
0
Let g = 5 + 0. Let x = g - 3. Let a = 1 + 1. Solve 0 = -m - a*s + 10, -m - 2*s = x*m - 18 for m.
4
Let t = 15 - 10. Solve 4*i = -3*c + 4*c - 22, 0 = -t*c + 3*i + 25 for c.
2
Let v = 5 + -9. Let s be 0 - -3 - 5 - v. Solve q + 9 = -5*f + s, f = 4*q + 7 for q.
-2
Suppose a + 8 = 3*a. Suppose -a*p + 23 - 7 = 0. Solve 0 = v - 0*v - 3*z - 15, -p*z - 20 = -2*v for v.
0
Suppose 0 = y + 3*i - 3, 5*i - 2*i + 15 = 5*y. Solve 0 = 4*l - y*m - 27, 0*l = -2*l - 5*m - 19 for l.
3
Let m be (4/6)/((-2)/(-21)). Let p(l) = 127*l**2 + l. Let o be p(-1). Suppose 5*z + 36 = o. Solve -r + 4*r - z = -4*h, -r - m = -3*h for r.
2
Let l(k) = 7*k - 7. Let p(n) = -n**2 + 5*n + 6. Let s be p(5). Let r be l(s). Solve -4*b + 3*u = -r, b + b + 3*u + 5 = 0 for b.
5
Let s = -6 - -14. Solve 2*j + 2 + s = 0, t + 3*j + 11 = 0 for t.
4
Let o = -21 + 21. Suppose -a + 11 = -o*a. Solve -5*y = -3*x + a, 2*x + x + 17 = -2*y for y.
-4
Let w = -41 - -46. Solve -4*o + 8 + w = 5*l, 4*l = 3*o + 29 for o.
-3
Suppose 0 = -3*a + 30 + 6. Let v be (-1)/(((-15)/6)/5). Solve v*d + 8 = -4*c, 2*d + d = -a for c.
0
Let v(c) = c**3 + 11*c**2 + 11*c + 12. Let i be v(-10). Solve -7 = 2*s + i*b + 5, -b = 5*s + 14 for s.
-2
Let o(n) = -n**3 - 6*n**2 - 6*n. Let b(c) = -2*c + 3. Let g = -6 - -10. Let x be b(g). Let f be o(x). Solve -z - z - 3*w = -2, f*z = -w + 5 for z.
1
Suppose 2*z = 4*j - 21 - 41, 5*z = 4*j - 161. Let l = z + 52. Suppose -3 = y, d - 2*y - l = 2*y. Solve 2*m + d = -h, 0 = -5*h + 2*m + 1 for h.
-1
Let t = -5 + 11. Let p = 8 - t. Suppose 4*g - 2 = p. Solve 0 = -5*z + 3*a + 10 - 2, g = -4*z - 5*a for z.
1
Let a(k) = -k**3 - 12*k**2 - 11*k - 5. Let v be a(-11). Let y = v - -8. Solve y*r = -m + 6*m - 37, -5*m + 5*r + 45 = 0 for m.
5
Let a(c) = 4*c**2 + c + 1. Suppose -5*d + 3 = 8. Let p be a(d). Solve -3*b = -m - 3*m - 8, 2*m + p = 2*b for b.
0
Suppose 0 = 3*c - 5*q + 7 - 0, -c - 4*q = -9. Solve 3*p + 5*f - 11 = 4*p, 3*f = 2*p + c for p.
4
Suppose 0 = -3*b - 2*m - 10, -5*b + 3*m + 8 = -7. Suppose -17*x + 41 = -27. Solve 2*s - x*u = 12, 7*s - 4*s - 5*u - 16 = b for s.
2
Let b be 26 - ((3 - -1) + 0). Let h = b - 20. Solve -3*y + h*v - 11 = 0, -2*v + 0 = -y - 9 for y.
-1
Let z be 1 - (1 - 2)*-6. Let q = z - -8. Suppose -q*n + 2*n = -5. Solve -2*a = -3*l + 19, -2*l + l - 5 = n*a for l.
5
Let w(f) = -6*f + 5. Suppose -25 = 5*l - 10*l. Let u be w(l). Let g be (u/(-10))/((-1)/(-2)). Solve -m + 21 = g*i, 0 = -i - 5*m - 4 - 11 for i.
5
Let k(p) = -p + 7. Let h be k(7). Suppose -i + 3*i = h. Let r(z) = z**2 - 2*z - 1. Let a be r(-1). Solve t - 3*s + 12 = i, a*t + t - 4 = -s for t.
0
Suppose -51 + 35 = -4*q. Solve 5*c = i + 10, q*c - 6 - 2 = 4*i for c.
2
Let v(o) = o**3 - 7*o**2 - 8*o + 4. Let p(s) = -s**2 + 9*s + 8. Let t be p(9). Let l be v(t). Solve 4*d - 8 = 2*u - 2, l*d + 5*u - 13 = 0 for d.
2
Let v = -3 + 5. Suppose c = 4*j - 20, 12 = 3*j - v*j - 2*c. Solve 3*f - 4*d + 1 = 0, f - 3*d = j*f - 27 for f.
5
Let v = -2 + 1. Let d be v - 0 - (5 - 18). Suppose -2*y - 2*y + d = 0. Solve y*l - 7*l + 10 = -3*u, 0 = -4*u + 4*l - 8 for u.
2
Suppose 2*d = -2*d - f + 34, -5*d + f = -38. Suppose -2*s + 4*v = d, s - 4*s + 2*v + 4 = 0. Solve -12 = -3*w, -s*t + 0*t = -2*w for t.
2
Suppose 0 = -0*x + x + 2. Let b be 178/9 - x/9. Solve -3*k - b = c - 2, -5*k + 3*c = 16 for k.
-5
Suppose -10*h = h - 33. Solve h*f - m = f - 4, -2*f + 5*m - 20 = 0 for f.
0
Suppose -26 = -4*a - 3*t, -3*a + 3*t + 4 = -5. Suppose a*w = -14 + 54. Solve 2*k - k = -2*s, -4*s - 4*k = w for s.
2
Let x be (-6)/(-8)*4/1. Let t = -5 - -7. Suppose p + 4 = t*p. Solve 0 = -3*r + x*v + 6, -r + p*v + 11 = 2*r for r.
-3
Let d(i) = -i**2 + 12*i - 6. Let a be d(6). Let u = -16 - -20. Suppose -r - q = -6*q - 27, u*q = 2*r - a. Solve 2*b = -v + 2, -2*v - 4 = -b + r for v.
-4
Suppose 0 = 5*u + 4*i - 30, u + 3*i - 19 = -u. Solve 4*t - 6 = u*b, 3*b = -t - 4 - 5 for t.
0
Suppose 5*l = l + 20. Let m(x) = -x**3 - 6*x**2 - 7*x - 9. Let f be m(-5). Suppose -l*o - f + 11 = 0. Solve o*s - 3*q = -0*q - 6, 0 = -4*s + 5*q - 12 for s.
-3
Let u(a) = a + 1. Let l be u(1). Let d be (16/(-10))/(l/(-5)). Solve -25 = 5*w - d*o, -w + 0*o + 2*o - 11 = 0 for w.
-1
Let s = -8 - -11. Solve s*f = -z - 11, 5*f