 v - 6 for x.
3
Let n be 1 + 3/(-3) - -5. Solve -2*z = 8, -n*z - 13 - 27 = 4*l for l.
-5
Let g(p) = -2*p - 7. Let n be g(-6). Suppose -3 = 4*t + n. Let x = 1 - t. Solve -4*a + 4 = 4*o, x*o + 3*a + 1 = -o for o.
-4
Suppose y = -4*y + 15. Suppose 0 = y*t + 2*t - 5*i, -4 = -3*t + i. Solve 4*f - 18 = 2*u, 3*u - t*f + 0 + 11 = 0 for u.
-1
Let h be 3/(-30) + (-615)/(-150). Solve h*p - 3 = 1, 2*s - 2*p = 2 for s.
2
Let i(v) = 2*v - 22. Let g be i(12). Solve 5*j = f - 13, 9 = g*f + f for j.
-2
Let k be ((-6)/(-21))/(1/7). Suppose 0 = g - k*g + 2*h - 2, 3*h = 0. Let y be 3 + g + 2 + 1. Solve -2*c = -2*q + 10, q - 1 = -2*c + y for c.
0
Let q be 16/(-20)*5/(-2). Suppose -6*n + 8 = -q*n. Suppose 0 = -v + n. Solve -v*m - m - 18 = 2*a, 2*m = 5*a + 7 for m.
-4
Suppose -2*r = 4*n - 20, r + 3 = 2*n - 3. Suppose 3*m - 25 = r*m. Solve 5*p - 2*p + m = 5*h, -2*p - h - 8 = 0 for p.
-5
Let f(j) = j**3 - j + 2 - 2 - 2 + 2*j**2. Let i be f(-2). Let o be (1 + -5)/(-2 + i). Solve -7*g + o*g + 28 = -3*k, -3*g - 5*k = -10 for g.
5
Suppose 0*l = -2*l + 6. Solve -18 = -5*n - l*f, -4*n - 4*f = -0*f - 16 for n.
3
Let w(r) = 4*r**2 - r. Let p be w(1). Let x be -8*p/(-6 + 0). Solve -3*v - 5*f = -0*v - 24, -x*v - 3 = -5*f for v.
3
Let x(a) = -2*a**2 + 9*a - 15. Let r(i) = 3*i**2 - 14*i + 23. Let j(z) = -5*r(z) - 8*x(z). Let t be j(5). Solve 4*n = -2*h + 6, -5*n + 0*n = 5*h - t for n.
-1
Let y = 79 + -71. Solve 2*g + y + 10 = 4*s, -6 = 4*g + 2*s for g.
-3
Let y be ((1 - -2)/(-1))/(0 - 1). Solve -y*o + 5*g = 7, -2*o = o - 3*g + 3 for o.
1
Let w be 12/(-114) - (-2)/19. Solve 4*b - 5*h = -w*h - 6, b + 3*h - 7 = 0 for b.
1
Let g = -9 + 24. Let l(s) = -g*s - 3 - 7*s**2 + 6*s + s**3 - 2*s**3 - 3. Let m be l(-6). Solve 4*k = c - m, -3*c - 3*k - k = 28 for c.
-4
Suppose -3*w = -4*w + 1. Let i(t) = -t**3 + 3*t**2 - t. Let b be i(w). Solve 2*v - 2*d - 3*d + 13 = 0, -b = -d for v.
-4
Suppose 0 = 3*q - 7*q + 64. Suppose -10 = -4*h + 3*f + 6, -4*h + q = 5*f. Solve -m + 0 = h*t - 1, 3*m = -9 for t.
1
Let f = -6 + 8. Suppose -f*d - d + 18 = 0. Solve -5*o = 3*u + d, 2*o - u = 2*u + 6 for o.
0
Suppose a = -2*a + 6. Suppose -2*g - 2*t + 2 = -0*g, -t - 9 = -4*g. Suppose 0 = 4*c - g*c. Solve -12 = 3*o - 2*x - a, c = o + x + 5 for o.
-4
Let x be ((-22)/(-6))/(1/12). Let j = x + -28. Solve k - j = -3*r - 0*r, -r = -5*k for k.
1
Suppose 0*d = -3*d + 9. Suppose 0*z - d*z + 2 = -5*n, 16 = 2*n + 3*z. Solve -n*t = -4, 3*v - t = -6*t + 22 for v.
4
Suppose 23 = 5*w - r, 2*w = -4*r + 3*r + 5. Solve w*f + 12 = -3*d + d, -f - 3 = -d for d.
0
Suppose -11 = -4*p + 1. Solve -4*j + 4*l - 42 = -10, -p*l + 12 = 0 for j.
-4
Let k(l) = l**3 - 5*l**2 - 4*l. Let q be k(5). Let z be (-36)/(-10) - 8/q. Solve 3*j = -f - 0*f + 9, 4*j - z*f = 12 for j.
3
Let y be (2 - 2/(-1)) + 4. Solve 3*c = -6, -3*c + c = l + y for l.
-4
Suppose c + 16 = 5*c. Suppose 0*l + 2*l = 6. Solve -f + 3 = -5*m + 2, c*f + 19 = -l*m for f.
-4
Let i = -29 + 13. Let x(d) = d + 20. Let z be x(i). Solve 4*c = 4*f - 8, -z*c = 3 + 5 for f.
0
Suppose -168 = -p + o + 3*o, -o = -1. Suppose 5*u = -52 + p. Solve -3*n = -4*c - u, -12 + 29 = 5*n + c for n.
4
Let r(g) = -g**2 + 5*g - 3. Let u be r(3). Let n be 14*(3/(-2))/(-3). Suppose t - 2*t = 2*z - n, z + u*t = 6. Solve -3*m = -9, 0*m = -3*v + 2*m + z for v.
3
Let d be (-106)/(-9) - (-2)/9. Let z = d + -8. Suppose -2*a - 3*q = -59, -4*q + 116 - 8 = 4*a. Solve 0 = -3*x - z*b - b + a, 10 = 5*b for x.
4
Suppose -7*r = 2*r - 45. Solve 0 = -3*c - r*w - 0 - 1, 4*c - 16 = 2*w for c.
3
Let v be (-6)/(-18) + 53/3. Suppose 5*z = 22 + v. Solve -i - 10 = -0*i + 5*r, 2*i - z = 4*r for i.
0
Suppose d + 16 = 5*k - d, -k + 2*d + 8 = 0. Let v(z) = -z + 0*z + k*z + 10 - 2*z. Let r be v(5). Solve 3*h + 18 = 6*h - 4*y, 0 = 2*h - r*y - 19 for h.
2
Suppose o + 2*n = 2*o - 4, 0 = -4*o + n + 9. Let q be 5/(-20) - 4/(-16). Solve -3*l = 0, d - 3*l + o = -q for d.
-2
Let t be 4/8*8/2. Solve 4*l - 14 = -t*i, 3*l + 2*i - 14 = -3 for l.
3
Let i be -2 - ((-16)/4 + 10). Let w be (-92)/i + (-1)/(-2). Solve -3*p + 0*p + 12 = -r, p - w = 3*r for p.
3
Let p(c) = c**2 + 6*c - 3. Let t be p(-7). Suppose 32 + 12 = t*y. Solve 0*z + 9 = -3*z, x - 2*z = y for x.
5
Let u be (8/(-3))/(-1) + (-6)/9. Solve -u*m - 4*d = -d + 4, m + 16 = -5*d for m.
4
Suppose -4 = -3*m - 3*u + 4*u, m = 3*u - 4. Solve -3*b + 6*b - 17 = -m*t, 0 = -5*t - 5*b + 30 for t.
1
Suppose -3*p = p - 44. Let j(q) = q**3 - 10*q**2 - 12*q + 15. Let k be j(p). Solve -3*n = 4*t - 31, k*n = -n + 3*t + 13 for n.
5
Suppose 0*n + 4*v + 16 = 3*n, -5 = -n + v. Solve 0 = -n*o - 4*u + 8, 2*o + 2*u - 6 = -2*u for o.
1
Suppose -i = i. Let w = 2 + i. Solve -1 = 4*y - w*q - q, 7 = 2*y - 3*q for y.
-4
Let l = 28 - 20. Let c = -3 + l. Solve -3*i - 30 = c*g, -i - 21 = 2*i + 2*g for i.
-5
Let v = -4 - -9. Solve v*p = a - 14, -p + 4*a - 14 = a for p.
-2
Let q be 1/2 + (-14)/(-4). Suppose -23 = -5*f - 8. Suppose -3*h - 23 = -x, 0 = -f*x + h - 16 + 109. Solve 4*y + 4*d = 4 + x, -5*y = -q*d for y.
4
Let a be (0 - -2)/(3/6). Suppose -411 = -a*n + 605. Let h be 4/(-18) - n/(-9). Solve 5*y + 5*b - h = -13, -3*y - b = -7 for y.
2
Let q = -28 - -28. Solve -4*c = -4*k, 4*k + q = 5*c + 2 for k.
-2
Suppose 0*o - 64 = -4*o. Let d = 0 - -2. Let p(c) = -c**3 + 9*c**2 + 10*c + 6. Let l be p(10). Solve -d*x = -4*v - l*x - o, -v + x = 2 for v.
-3
Suppose -g + 5*b + 7 = 16, -2*b = -4*g. Let k(l) = -l - 4. Let m be k(-2). Let f be (-5)/m + 2/4. Solve -4*r + 5*j = g - 12, r = j + f for r.
4
Let r be ((-66)/(-44))/((-3)/(-10)). Solve 9 = -0*l + l + 2*u, 5*u - 30 = -r*l for l.
3
Suppose 7*p - 15 = 4*p. Suppose -d - d + p*y = -31, -2*d = -4*y - 26. Solve -j = -3*j - d*f + 16, j = -4*f + 18 for j.
2
Suppose 0*y - 2*o + 24 = 4*y, 0 = -3*y + 4*o + 18. Suppose d - 4*f - 3 = 1, 0 = -3*f. Let m be 12/9*y/d. Solve -q - 3*x + 13 = 0, 16 = -m*q + 4*q + 4*x for q.
-2
Let k(a) = -a**3 + 3*a**2 + 6*a - 8. Let u be k(4). Solve 2*m + 4*h = -h - 35, u = -m + h for m.
-5
Let c(u) = -u**2. Let y be c(0). Suppose y = -2*z - 3*z. Suppose 2*r = -z*r. Solve r = 5*w + 3*s - 5, 0 = -2*w - s - s + 2 for w.
1
Let l(f) = f**3 + 3*f**2 + 3. Let c be l(-3). Suppose 4*i + 16 = 0, 2*u - i - 2 = -c*i. Solve -z - 5 = 4*v + 11, -u*v - 27 = 3*z for v.
-3
Let k = -22 - -20. Let n(v) = v**3 + 4*v**2 + 4*v + 2. Let w be n(k). Let z = 31 - 14. Solve z = 4*h - g - 0, w*h - 11 = g for h.
3
Let y(j) = j + 8. Let x be y(-8). Let b be (7*(x + -2))/(-2). Solve 2*f + 5*u - b = -28, -5*u - 15 = 0 for f.
-3
Let j be ((-2 - -5)/(-3))/(-1). Let l be ((-13)/3)/(j/(-3)). Solve 5*d = -2*g - 4, 2*d - 5*g = -6 - l for d.
-2
Let a = -15 + 23. Suppose 3*x - 4*f + 7*f - 21 = 0, -f = -2*x + a. Solve d + 9 = 2*c, -x*c = -2*c - 15 for d.
1
Let t be 7 + -1 + (-6)/3. Suppose -2*q + 21 = 3*o, 0*q - t*o + 14 = -2*q. Let j be 1/(q/2 + -1). Solve 0 = 3*f + j*m - 5, 2*f - 5*m - 46 = -11 for f.
5
Suppose -12*n + 16 = -8. Solve -5*m = 5*y, 21 = -n*y + 3*m + 2*m for y.
-3
Suppose -10 = 2*j, 0 = 2*p - 0*p - 4*j - 36. Suppose -2*l - p = -4*l. Let t = l + 2. Solve 0 = 2*g - 4*o - 2, -g - t*o + 1 = -2*o for g.
1
Suppose -o - 47 = -2*v, 3*o - 44 = -2*v + 7. Suppose -2*r = -10, 0 = -w + 5*r - v + 1. Solve -5*l - 3*j - j = -16, -l + w*j - 8 = 0 for l.
0
Let x = -20 + 29. Solve 0 = 4*l - 3*l - 2*y - x, 0 = -5*l - 2*y - 3 for l.
1
Let u be 2/(-3) + 104/12. Let x = 16 + -13. Suppose -i - x*i = -u. Solve -8 = -2*p - 5*o, -5*p - 3*o + 3 = i for p.
-1
Suppose -n - 8 + 36 = 0. Solve -3*w + p = 11, -2*p + n = -5*w + 10 for w.
-4
Let m be ((-1)/(-2))/((-2)/(-4)) - -16. Solve -z = -5*y + 10, 5*y + 4*z = -7 + m for y.
2
Let z be (-3)/(-5) + 546/15. Let b be 6*(-3 + (-1)/1). Let p = b + z. Solve 0 = 2*x + 5*j + p, -4*j - 2 = 2*x + 8 for x.
1
Suppose 5*a - 3*k = -24, -4*a - 4*k - 38 = a. Let o be (-72)/12*1/a. Solve 0 = 3*x - 4*s + o + 2, 4 = -4*x + 2*s for x.
-1
Let h be (-2)/4 - (-14)/4. Let u be (-1)/1*(-3)/h. Solve 6 = -3*c - 4*s + 20, -s + u = 2*c for c.
-2
Let q(u) = u**2 + 24*u + 2. Let v be q(-24). Solve -s + 0 - 9 = -v*y, 4*y = 4*s + 16 for y.
5
Let u(v) = 3*v**2 + v. Let b be u(1). Suppose o - b = -o. Solve 0 = 5*f + 2*p - 9, -4*f - 7*p = -o*p - 14 for f.
1
Let w(a) = -8*a. Let x be w(-4). Suppose -o - 5*j = -19, o - 4*j = 6*o - x. Suppose -3*y + 0*y + 15 = -2*d, d = 0. Solve -k - 6 = -y*g + k, 2*k = 4*g 