ve -u - 7 = -3*w - 3, -c = -4*w + 5*u for w.
1
Suppose -10*u + 26 = 3*u. Solve -u*t + 11 = -3*r, -2*r = 2*r + 4*t + 8 for r.
-3
Let p(h) = -4*h + 1. Let w be p(2). Let r(n) = n**3 + 8*n**2 + 7*n + 2. Let q be r(w). Solve -q*f + 7 = z, -3*z - 2*z - 21 = -4*f for z.
-1
Let x(n) = n**2 - 15*n - 2. Let l be x(15). Let j be l/4*(-1 + 1). Solve 2*q + 5*a + 5 = j, q + 3 = -2*a + 1 for q.
0
Let s(v) = v**2 - 6*v - 4. Let a be s(7). Solve 0 = 2*c + 3*c - m + 4, -5*c - 12 = -a*m for c.
0
Let g = 15 - 13. Solve -2*b = 3*u + b + 27, b - 6 = g*u for u.
-5
Let j = 5 - -11. Suppose -q = -6*q + 15. Let b = 1 + q. Solve -v - b = c - 0, j = -v - 4*c for v.
0
Let i be ((-3)/5)/(9 + (-184)/20). Solve -2*h + 8*m - i*m = 6, 5*h - 4*m + 15 = 0 for h.
-3
Suppose q = -q - 82. Let a = q + 70. Solve -2*n = n + 4*m - a, 0 = -5*n - 5*m + 40 for n.
3
Let w be 0 + (-7)/(14/(-24)). Let c be ((-6)/4)/(w/400). Let z be (-156)/(-10) + 30/c. Solve -3*m = 2*j - z, -2*m + 4*j + 1 = 7 for m.
3
Suppose -h + 3 = 1. Solve -p - 5 = -l, h*l - p + 5 = 3*l for l.
5
Let k = -3 - 9. Let v be k*3/(-4 - -1). Suppose n + 4 = 0, v = -2*b - n - 3*n. Solve -3*d + 0*y = -2*y - 5, 0 = -d - b*y + 15 for d.
5
Suppose 0*j = 5*j - 9*j. Let l(t) = 2*t**2 + t + 1. Let w be l(-1). Suppose -w*m + 3*m - 3 = 0. Solve -1 = 3*q - 2*u - 8, j = -q + m*u + 7 for q.
1
Suppose 5*v - 5*x = 2 + 13, -5*v + 21 = -3*x. Let c be (v/(-2))/((-6)/8). Solve c*y + 2*u - 12 = 0, -y - u + 1 = -4 for y.
1
Suppose 0 = 3*m + 5*n - 46, 3*m - 3*n - 100 = -m. Solve 0*j - 3*j + m = -4*l, 5*l + 3*j = -14 for l.
-4
Suppose -3*s + 15 = -0*s. Suppose -15 + 5 = -s*b. Suppose 4*u - l = 4, 20 = 3*u - 4*l - l. Solve 20 = -5*g, -3*i + u*g = -b*g + 7 for i.
-5
Let n = -17 - -8. Let q = -5 - n. Solve 4*x = 12, 5*x = 2*l + 3*x + q for l.
1
Suppose -v + 0*v + 3 = 0. Solve -3*k - 6 = -v*n, -1 = n - 4*k - 0 for n.
3
Let g(y) = 6*y + 17. Let j be g(-2). Solve -j*v - 2 = 2*b, -3*b - 3*v = -2 - 4 for b.
4
Suppose -23 = -a + 3*b, a + 3*b - 3 = 2*b. Let c(y) = -y**3 + 9*y**2 - 6*y - 11. Let l be c(a). Solve 3*f - l = m, -2*m + 9 = 3*f + m for f.
2
Let a be 1 + (-4)/(-2) - 3. Solve a = -4*p + 4*z - 4, -z = 3*p + z + 8 for p.
-2
Suppose -t + 4 = -n, -t + 2*n = -6 - 2. Solve -3*k + k - 3*r + 7 = t, 4*r - 1 = -k for k.
5
Let q(s) = -5*s - 1 - s**2 + 0 + 3 - 1. Let v be q(-4). Solve -v*y = -w + 20, 2*y + 0 + 8 = -3*w for w.
0
Suppose h + 1 + 0 = m, 4*h = -4*m + 36. Solve -m*v = -4*u + 12, 3*u - 4 - 5 = -4*v for v.
0
Let k(x) = x**2 + 8*x - 9. Let s be k(-9). Let v be s/((0 - -3) + -4). Let u be 1 + 3/(3/4). Solve -j = -v*j - u, -4*j + 25 = -g for g.
-5
Let j(c) = -c + 1. Let n be j(-11). Solve -w + 4*p - 16 = -4*w, n = 3*p for w.
0
Suppose 2*c = 7*c + 15, 5*c + 15 = -4*v. Let l = -1 - v. Let h be (-4 - -1 - -1)*l. Solve 0 = o - 6*o - 2*d - 17, -3*o + h*d = 7 for o.
-3
Suppose 0*x = x - 5. Suppose -3*o - 27 = -4*p - 4, -x*o - 30 = -5*p. Suppose 6*u - 2*u - 24 = 0. Solve -3*k = -0*k + n - 9, -p*n - u = -2*k for k.
3
Let l = -5 + 11. Suppose -10 = -l*s + s. Solve 0 = s*o + h - 2, 2*o + 3 = 5*o - 4*h for o.
1
Let r(f) = -6 - 8*f + f**3 - 4*f + 0 + 3*f + 7*f**2. Let u be r(-8). Solve -m + 11 + 3 = u*w, 5*w = -m + 29 for m.
4
Let y be 2/16 - 3/24. Let h = 3 + y. Solve 4*k - 1 = 3*p - 0*p, -h*k - 13 = -5*p for p.
5
Suppose 3*m + 9 = 0, 0 = -4*s + 2*m + 5 + 9. Solve -3*h + h - 4 = 4*o, -s*h - 4 = -2*o for h.
-2
Suppose -3*f - 2*t = 0, 2*f + 2*t - 6*t = 16. Solve s - 2*k = 14, 25 = -f*k - 3*k for s.
4
Let g = 0 + 0. Solve -2*v + 3*c - 6 = g, 3*v - 6*c + 9 = -2*c for v.
-3
Let j be 8/3*(-117)/(-6). Solve -16 = 3*w + t, -3*w - j = 5*t - 20 for w.
-4
Suppose 5*t - 20 = -0*t. Solve 5*h - t*r - 8 = 0, -5*r = -0*r - 15 for h.
4
Let j be 175/(-20) + (-2)/8. Let k = j - -13. Solve 0 = 2*t + 4*y - 2*y + 14, -k*t = -2*y - 2 for t.
-2
Let v(m) = -m**2 + 9*m + 14. Let l(h) = -2*h - 4. Let z be l(-7). Let p be v(z). Solve r + y - 1 = 0, 3*r - 2*r = p*y + 6 for r.
2
Suppose -10 + 0 = -z + 5*o, 2*z - 46 = -3*o. Let m be (18/(-15))/((-8)/20). Suppose -m*a = -4*a. Solve 0*t = g + t, a = g - 4*t + z for g.
-4
Let u(c) = -c**2 - 12*c + 4. Let y be u(-14). Let w be 4/(-22) - y/11. Solve -5*s + 3*l - 8 = -0, -w*l - 12 = s for s.
-4
Let x = -5 + 6. Let f(w) = -w - 2 + x + 2*w**2 + 3*w. Let h be f(-2). Solve -3*t - 5*b + 13 = -h*b, 2*b - 1 = t for t.
3
Let p(s) = 2*s**3 - 5*s**2 + 4*s + 1. Let u = -7 - -4. Let r be 35/15 + (-2)/u. Let x be p(r). Solve 5 = 3*i - 1, 4*n = -3*i + x for n.
4
Let i be 4/(-6) - 442/(-78). Solve p + y + 0 = -1, i*y + 1 = -4*p for p.
-4
Let q(b) = -8*b + 1. Let l be q(-1). Let j(g) = 4*g + 1. Let n be j(-2). Let p = l + n. Solve 0 = 4*c + 20, -p*o - 2*c = -3*c + 1 for o.
-3
Suppose -3*k = m, 3*m + 5*k = 2*m + 2. Let u be (-3 + -27)*m/6. Solve 0 = 2*s - 2*g + 10, -5*s - 2*g = 3*g + u for s.
-4
Let a = -62 - -64. Solve 2*z - 7 = -3*n, 0 = -2*z + n - a - 3 for z.
-1
Suppose -4*z + 35 = z + 5*t, 0 = 5*z + 4*t - 31. Solve 0 = -z*n - 3*j + 3 - 0, -3*n = 5*j - 7 for n.
-1
Let l = -43 - -43. Solve l = -3*y + 2*s + 1, 4*y - 4*s + 0*s - 4 = 0 for y.
-1
Let m(l) = l**3 + 5*l**2 - 7*l - 4. Suppose v + 6 = -0*v. Let o be m(v). Suppose o = 4*z - 6. Solve -r + 12 = -4*p, -4*p + z*r - 4 = 12 for p.
-2
Let m(c) = -c + 16. Let s be (-6)/4*(-11 - -3). Let b be m(s). Solve 2*u = 5*o + u - 12, o = b*u + 10 for o.
2
Let p = 38 + -34. Solve 2*n - 12 = -p*l, -10 = 2*l - 0*l - 3*n for l.
1
Let q be (-28)/(-6) - (-2)/6. Let i be 1/3 + (-35)/(-21). Suppose 0 = q*s - i*w - 10, s - 2*w - 3*w + 21 = 0. Solve 5*o - 8 = k, -k - s + 1 = 0 for o.
1
Let c(y) = y**2 - 2*y - 12. Let a be c(5). Suppose a*h - 11 = 19. Solve 0*q = 4*q + d + h, 2 = -d for q.
-2
Let d = -8 - -13. Let s = 24 + -15. Solve -d*i + 41 = -4*l, -5*i + 0*i = 4*l - s for l.
-4
Suppose 4*q + 25 = -q, 0 = 3*y - q - 8. Let k be y + (-4)/2 + 5. Let n = 0 + k. Solve 0 = -4*m + n*l + 28, -3*l - 6 - 3 = m for m.
3
Let d(u) = 0 + u**2 - 2*u + 3*u - 1. Let w = 6 - 9. Let k be d(w). Solve k*x + 4*l = 9, -1 + 7 = 2*x + 4*l for x.
1
Let k = -17 - -19. Solve -k*s + 1 = -5*w, 5*w + 4*s = 2 + 15 for w.
1
Let i be -1 - (-10 + (1 - 2)). Suppose -2*c - 1 = 4*u + 3, u = 5*c + i. Solve -14 = -2*j - 2*l - l, u = -5*j - l + 22 for j.
4
Let c(r) = -5*r - 25. Let p be c(-9). Solve 4*b = 4*z + 11 + 9, 0 = -4*z - b - p for z.
-5
Let z(j) = -j**3 - j**2 + 5*j + 2. Let n be z(-3). Let l(s) = -s**2 - 13*s. Let p be l(-13). Solve 0 = n*m + 20, -22 = -3*o - p*o + 4*m for o.
2
Let w(t) = -t**3 - 4*t**2 - 2*t + 2. Let q be w(-4). Solve -5*f = -10, -2*f = 2*d - f - q for d.
4
Suppose 4 = 4*a - 4. Let p(x) = x**2 - 5*x - 4. Let n be p(6). Solve 0 = 5*o, a*b = -n*o - 2*o + 4 for b.
2
Let s = -1 + 3. Suppose 2*g = -10, 4*y + 3*g = s*y - 5. Solve -40 = y*k + 5*t, 3*t = 7*t + 20 for k.
-3
Suppose 0 = 5*y - 49 + 14. Suppose 2*n - y*n = -15. Solve o = 2*s + 4, -n = 2*s + s for o.
2
Let t(f) = f**2 + 2*f + 1. Let w be t(-2). Suppose -5*c = w - 11. Suppose -5 = -c*h + 5. Solve 4*q + 2*g = -10, -h = 3*q + g + 1 for q.
-1
Suppose -3*b - g - 3 = 0, 3*g = 5*b + 1 + 4. Let j(k) = -17*k**3 - k**2 - k - 1. Let w be j(b). Solve -2*d = 3*x + 13, 0*d = 2*x + 5*d + w for x.
-3
Let n be 14/70 - 18/(-10). Solve -2*t - 6*u = -u - 30, 0 = t + n*u - 13 for t.
5
Let o(j) = j**2 - 9*j + 4. Let v be o(9). Solve -3*p = -2*l - 0*p + 6, v*l - 12 = p for l.
3
Let c = -1 + 6. Suppose 4*p = -c*b - 2, 4*b = -p - 4*p + 2. Solve 3*l - 13 = 3*o + 2, -5*o = 4*l - p for l.
3
Let o be 2 - (9 + -3 + 1). Let t = -3 - o. Suppose -p + 3*p + 10 = 4*b, t*p = b + 2. Solve 2*k = b*a + 24, -4*k + 3 + 1 = 3*a for k.
4
Let g(c) = c + 9. Let o be g(-5). Solve -10 = -4*v + 4*i + 10, -2*v = o*i + 8 for v.
2
Let g be (-1)/3*(-27)/3. Let c(v) = 4 + 3*v - 3*v - v. Let o be c(0). Solve 4*i - 2 = -3*w + 9, g*w + o = -i for i.
5
Let v be -3 + (1 - 1 - -11). Let u = v - 8. Solve 0 = -5*l - 4*o + 17, u = 5*l + 2*o - 0 - 21 for l.
5
Let j be (-10)/2 - (-11 - -1). Solve -j*p = r + 7 + 14, 3*r - 13 = 4*p for r.
-1
Suppose -8*o - 8*o + 32 = 0. Solve -3*d = -2*z - 1 - 0, 0 = 5*z + o*d - 7 for z.
1
Let q be 3 + 2 + -1 + 1. Let n = 0 + 3. Suppose 4*m - 25 = -n*z - 0*m, -4*z - 4*m + 32 = 0. Solve -q*j + 4*k - 1 = 29, 0 = -j + k - z for j.
-2
Let n = 8 + -4. Solve -2*b = -5*s - 5, 3*b + n = -4*s + 5*b for s.
-1
Let l = -41 - -44. 