- 2*a - 4. Let p be 2*-6*(-2)/8. Let c be t(p). Solve -x - h = 1, -c = 4*x - 2*h + v*h for x.
-3
Suppose -10*j = -j - 27. Solve 2*t + 12 = 3*u, 0*t + j*t = 5*u - 20 for t.
0
Let d(v) = 5*v**2 - v - 1. Let q be d(-1). Let m = -3 + 5. Let w = -2 - -16. Solve 2*c - q*k + 9 = -w, 14 = -5*c - m*k for c.
-4
Let u(k) = k**3 - 7*k**2 + 2*k - 5. Let y be u(7). Solve 4*b = -p - 10, -b = 2*b + y for p.
2
Suppose -3*y = y. Let j(h) = -h**2 + h + 3. Let f be j(y). Solve 9 = -3*p - f*l, 3*p + 9 = -3*l - l for p.
-3
Let s be (3 - (-21)/(-6))*-4. Solve 2*r - 2*w = -4, -w = -2*r - s*w - 7 for r.
-3
Suppose 177 = l + 2*l. Let g = -29 + l. Suppose -k - 12 = 4*i + 3, g = 5*k - i. Solve 4*m = 4*n + 24, -k*m + n + 8 = -10 for m.
3
Let a(w) = -3 + 3*w - w + 15 - 3*w. Let x be a(7). Let i be 5 + 1 + -3 - 1. Solve x*d + 32 = 3*s - i, 9 = -2*s - 3*d for s.
3
Let h(s) = s**3 - 13*s**2 + 15*s - 34. Let i be h(12). Solve -4*x - 17 = -t, -5*t = -i*x + 2 + 3 for x.
-5
Suppose o + 0*o + 5*h + 1 = 0, 0 = h + 1. Suppose -3*j = -4*v + 8, -3*j + 2 = -v + o. Solve -2*f + f = -4*d + 5, j = 5*d + f - 4 for d.
1
Let r = -1 + 3. Let w(d) = 7*d - 1. Let g be w(-1). Let h be g/10*20/(-8). Solve -h*k = -2*m, -5*m + r*m = 6 for k.
-2
Suppose -5 = g + 4. Let s = 2 - 6. Let q = s - g. Solve -q*d - 5*n = 15, 4*d + 0*d = n - 12 for d.
-3
Let d be 12/10*(-4 - 1). Let s be 3 + (-7)/(21/d). Let f(i) = -i**2 + 4*i + 5. Let b be f(s). Solve -3 = -3*w - 2*z, 4*z + b = 12 for w.
-1
Let n = 37 + -24. Let l be (-14)/(-6) + 16/24. Solve -2*s = 3*i - n, s + l*i - 20 = 6*s for s.
-1
Suppose -3*a + 0*f - 1 = -4*f, -f = -4. Suppose -s - 30 = -4*s. Let l be 25 + (s/2 - 3). Solve d + a = -z, 2*d + 4*z + l - 9 = 0 for d.
-1
Let u(q) = q**3 + 4*q**2 + 4*q + 3. Let l be 3/1*(2 + -3). Let j be u(l). Suppose a - 5*a = j. Solve a = d - 5*h - 8, -4*d - 5*h = -9*d for d.
-2
Let w(z) = z + 6. Let c be w(0). Suppose 0 = -3*x - 5*r + c, 3*x - 4*r + 2 = 4*x. Suppose 2*t = 4*t - 8. Solve 6*i - 2*n = 2*i - 4, -x*i + t*n = 2 for i.
-1
Let n be (10/8)/(11/44). Suppose n*s - 10 = -5*o, -4*s = -3*o + 3 + 3. Solve -o*q = -4*h - 10, -2*h + 0*h = -2*q + 6 for q.
1
Let t be (-48)/6*(-3)/8. Solve t*q = -3*c + 2*q + 8, 2*q + 4 = 4*c for c.
2
Suppose 0 = -2*b + 16 - 6. Solve -4*m - 5*r + 22 = -0*r, b*r = 5*m - 5 for m.
3
Suppose 12 - 4 = 4*s. Solve 0 = 2*v - 5*r + 3, 5*v + s*r - 10 = -3*r for v.
1
Let k be 2 - (3 + -4 - 0). Solve -3*b + 11 = -0*b + 4*j, 5*b - k*j - 28 = 0 for b.
5
Suppose 2*d + 8 = p, 0 = -2*p - 0*d - 4*d. Solve 0 = -p*z - 4*q - q, 0 = -3*z + 5*q for z.
0
Let y be (-18)/(-8) + 3/(-12). Suppose -f - 2 = 0, 0 = b + 2*b - f - 8. Solve -5 = -4*d + 11, -b*r - 3*d + y = 0 for r.
-5
Suppose -11 + 41 = 6*f. Solve -m = -f*p - 8 - 15, 0 = -m + p + 7 for m.
3
Let h(k) = -k**2 - 11*k + 6. Let x be h(-11). Let m be (-1*7)/(x - 7). Solve 2*p - g = m, 3*g + 11 = 2*p - 2*g for p.
3
Let w(l) = 1. Let o(h) = h - 2. Let r(i) = o(i) - 5*w(i). Let q be r(10). Solve q*d = -0 + 3, -4*k = 3*d - 23 for k.
5
Suppose 10*u - 16 = 6*u. Solve -2*d + 6 = -4*v + 16, u*d = 3*v for v.
4
Let c be (-3 - -6)*-1 + 6. Suppose -4*v + 5 = -c. Solve -4*o + 2 = -0*o - 2*h, o = v*h + 8 for o.
-2
Suppose 2*u - n = u + 3, -3*n - 5 = -u. Solve u*w - 4 = 4*d, 0 = -4*d - 0*d + 4*w + 4 for d.
-3
Let v(r) = r**2 + 8*r. Let q be v(-9). Suppose -14 = -4*f + 2*u, -2*f - f + q = -3*u. Suppose -15 = -f*p - p. Solve 5*l + 5 = -3*b, 0 - 3 = p*l for b.
0
Let t = 13 - 7. Let b(o) = o**3 - 6*o**2 + 2*o - 12. Let z be b(t). Let m(a) = a + 1. Let s be m(-1). Solve s = i + 2*c - 10, -3*i + 2*c - 3 - 7 = z for i.
0
Suppose -18 = -10*z + 82. Solve 0 = 3*g - p + z + 6, 0 = -3*g - 4*p + 4 for g.
-4
Suppose 2*l - 7 = 1. Solve -5*h - 5 = 0, 10 = -l*q - 0*q + 2*h for q.
-3
Suppose -6*o - 3*j + 39 = -o, j = o - 3. Let r = 8 - o. Solve -r*g - 2 = -u + 7, -g - 3*u - 8 = 0 for g.
-5
Let v(d) = d**2 - 8*d + 15. Let o be v(6). Let q = 4 - 1. Solve 8 = q*u - o*n - 1, 10 = 4*u - 5*n for u.
5
Suppose b + 0 - 6 = 0. Suppose 0 = -4*f - 12, -24 = -3*d - 3*f + b*f. Solve -2*h + d*t + 5 = 0, 2*h + 0 + 3 = -3*t for h.
0
Suppose 0 + 13 = 4*g + v, -2*v + 2 = 0. Solve g*m + z + z + 6 = 0, 0 = 3*m + 4*z for m.
-4
Suppose 0 = 4*b - 11 - 5. Suppose 0 = -b*r - 0*r + 12. Solve -r*t - 7 = h - 4, 0 = 5*t - 2*h + 16 for t.
-2
Suppose 3*i = f + 2*i + 1, f = -i + 1. Suppose -3*g + 153 = -f*g. Let a be 1/(-1) - g/(-3). Solve 30 = -5*o + 5*s, 0 = o - 4*o + s - a for o.
-5
Let n = 7 - 4. Suppose -n*v + 14 = 4*l - 2*v, -10 = -5*v. Let b be (2 - 2)/(4/(-2)). Solve j = -4*w - b*j + 22, -l*w - 2*j + 19 = 0 for w.
5
Let m = -2 + 10. Suppose -9 = -3*x, w - 4*w + 150 = -x. Let r = -27 + w. Solve -i = 4*d - m, r = 4*d - 0*d + 5*i for d.
1
Let n(t) = 2*t**2 - 24*t - 23. Let h be n(13). Solve -5*i - h*o = -14, -3*i - 2*o + 3*o = 0 for i.
1
Let v(o) = -2*o - 1. Let k be v(-2). Let p = -4 + 2. Let z be (-2)/1*(p + 0). Solve k = z*x - n - 12, -3*n - 1 = -x for x.
4
Let m be ((-3)/(-4))/(5/20). Solve m*n - 2*h = 6, -8 = 5*n + 5*h + 7 for n.
0
Suppose -2*s = 9*s - 66. Solve 0 = 2*q - 5*m + s, -3*m + m + 9 = -3*q for q.
-3
Let g(o) = o**2 - 9*o - 7. Let v be g(10). Solve -v*m - 2 = -2*r + 2, 5*m = r - 9 for m.
-2
Let s(q) = 2*q**3 + 4*q - 3. Let z be s(1). Solve m - 3*m + 2 = z*f, 2*f - 3 = -3*m for f.
0
Suppose -4*j + 1 + 7 = 0. Suppose 0 = -j*p + 7*p - 35. Let m = 11 - p. Solve 3 = -3*y + 5*w, -w = -m*y + 2*w + 7 for y.
4
Suppose 5*k = 5, -7*v + 2*v - 5*k + 145 = 0. Suppose -v + 0 = -2*d. Solve -4*t = 5*p - d, 0 = p + p - 4*t for p.
2
Let a(u) = u**3 - u**2 + 3*u - 2. Suppose 7*q = 2*q + 15. Let m be a(q). Solve -5*y - 4*f + 41 = 9, 0 = -4*y - 3*f + m for y.
4
Let i = 8 + -23. Let z be 8/32 + i/(-4). Solve -z*s + 4*l + 16 = 5*l, 2*s = 2*l + 8 for s.
4
Let b = -2 + 3. Let g(o) = 15*o**2. Let a be g(b). Solve -3*w - 2*q = -0*q - 7, -3*q = -4*w + a for w.
3
Let t = 9 - -6. Suppose -3*q = -0*q + t. Let v = 10 + q. Solve -v*i = 3*m - 29, 0*i - 3*m + 21 = 3*i for i.
4
Let m(o) = -14*o**2 - 23*o + 17. Let n(b) = 5*b**2 + 8*b - 6. Let a(k) = 4*m(k) + 11*n(k). Let f be a(-3). Solve 4*j + f*d - 13 = -0, -5 = -d for j.
-3
Suppose -6 = -h - 3*d - 0, 2*d - 11 = -3*h. Solve h*w - 1 = 5*k, 5*w - 5 = 4*k + k for w.
2
Let f(t) = 2*t**2 + 3*t - 7. Let p be f(5). Let u be (-44)/6*9/2. Let h = p + u. Solve -4*c + 23 = 4*z + 7, -4*c + 5*z + h = 0 for c.
5
Let s be (5/2)/((-100)/(-80)). Solve c = j - s, -4*j + 5*c + 10 = 4 for j.
4
Let o = -2 + 6. Suppose -5*s - o - 76 = -5*v, 2*v - 5*s = 26. Suppose 0 = -0*f + f - v. Solve 5*q = -3*k + f, 5*q + 0*k - 19 = -4*k for q.
3
Let x = 29 - 25. Suppose x*r = -4*v + 24, -4*v + 18 = 2*r - r. Solve -v*u + u + 3*s - 12 = 0, -3*u - 20 = 5*s for u.
-5
Let s be (-33)/(-27) - 4/18. Let q = s - 0. Let r be (0/(-2 - -3))/q. Solve 2*i - l + r = 10, 4*i + l = 14 for i.
4
Suppose 13*l - 14*l = -3. Solve f + 2*k = 3*k + l, 0 = f - 4*k - 15 for f.
-1
Let d(v) = -5*v - 1. Let i be d(-5). Solve 0 = 4*z + 2*h - 20, -h - i = -5*z - 3*h for z.
4
Suppose 0 = -47*x + 52*x - 30. Solve 4*w = 2*v + 14, -v + 11 = -x*v + 4*w for v.
1
Let i = -4 + 6. Suppose -i = 2*r - z + 4*z, 3*z = 2*r - 10. Suppose -2*h + 4*h = 2*c - 6, r*c - 13 = -5*h. Solve -5*k + 4*a = 37, k - a + c = -4 for k.
-5
Let p be 8/12 - 46/(-3). Solve 2*v = -2*x - 2*x - p, -8 = 3*v - 2*x for v.
-4
Suppose 5 = l - b - 1, 12 = 5*l + b. Solve -4*o = -2*r + 4, 0 = 3*o + r - 0*r + l for o.
-1
Let h(y) = y**3 - 6*y**2 - 3*y - 6. Let i be h(7). Suppose -3*j - i - 20 = -2*d, 2*j - 42 = -2*d. Solve 3*g + d = -2*z, 2*g + 12 = -2*z - 4 for z.
-3
Let w = -2 + 7. Solve -2*u = -d + 1 + 7, w*u + 13 = -d for d.
2
Suppose 0*o = -4*o - 2*v + 20, -o = 2*v - 11. Solve 5*c + 4*w + 25 + o = 0, 22 = -3*c - 5*w for c.
-4
Suppose -19 - 6 = -5*u. Solve 6*w = -2*y + 4*w - 8, -u*w - 11 = 2*y for y.
-3
Let y = 29 + -27. Solve 4*k + 4 = 0, 6*p = 2*p - y*k + 6 for p.
2
Let o(y) be the first derivative of y**2 - 15*y - 7. Let s be o(15). Let x = 3 - -2. Solve -5*j - s = 0, j = -0*u - x*u - 18 for u.
-3
Suppose 0 = -9*x + 110 + 250. Solve -3*o - 5*h = 2*o - x, 35 = 4*o + 5*h for o.
5
Suppose -12 - 3 = 5*k, -5*x + 2*k + 1 = 0. Let o = x - -5. Solve -c + 12 = o*m, 3*c + 0*c = 0 for m.
3
Let j be ((-3)/((-6)/22))/1. Suppose 4*c + 9 + 19 = 0. Let d = j + c. Solve 7*q - 5*m = 2*q, -d*q = m + 20 for q.
