Let n = 0 - -2. Let x be (-2 + 3)*(0 + 0). Let v = -22 - -22. Solve 5*r + 9 = -2*l - v*r, x = -n*r - 2 for l.
-2
Suppose 4*z = -4*j + 108, 2*j + 17 = 3*j - z. Solve -6*x = -x + 2*g + j, 2*x - g = -7 for x.
-4
Suppose -v = v - 5*v. Solve -2*s + 12 = -4*p - 0*p, 3*s - 4*p - 16 = v for s.
4
Suppose 4*t = 8 + 12. Suppose -3*j - j + t*v - 9 = 0, -2*v = -10. Solve -5*a + 14 = -3*x, 2*a + 10 = -0*a - j*x for a.
1
Let w(d) = 3*d + 17. Let n be w(-5). Solve 4*q + n*x - 4*x = 2, 14 = q + 4*x for q.
2
Suppose -k + 4*v = 1 + 5, 4*k - v - 6 = 0. Solve f = 1, -5*i + k*f + f + 12 = 0 for i.
3
Let l(r) = -41*r**2 + r. Let g be l(-1). Let j be g/(-12) - (-2)/4. Solve 0*s = 5*b + 4*s + 22, j*s + 16 = -2*b for b.
-2
Suppose 0 = 5*a - 5*z - 85, z = 3*a - 0*z - 59. Solve -3*b - a = -4*s, 21 = -4*b + 4*s - s for b.
-3
Let c(w) = 11*w**3 - w**2 + w - 1. Suppose -f = -3*f + 2. Let n be c(f). Solve n = -2*r + 2*k + 3*k, 4*r + 2*k - 4 = 0 for r.
0
Suppose -2*n + 56 = 4*r, 3*r + 56 = 7*r - n. Let o be 28/6 - r/21. Solve -2*z - u = -9, o*u + 8 = -z + 4*z for z.
4
Let g be 3*(-2)/(-12)*4. Let f(l) = l + 7. Let h be f(-5). Suppose -h = -2*x + 4. Solve -5*w = -2*c + 15, -3*c - 9 = -g*c + x*w for c.
0
Let i = -7 - -8. Solve 0 = -4*s - g - 2, -g + 4 = -s + i for s.
-1
Suppose 2*n - 31 = -5*l, 8 = 3*l - n - 4. Solve 2*z = -z - k + 11, -l*z - 10 = -4*k for z.
2
Suppose 11*k - 6*k = 10. Solve -2*n - p - k = 0, 0*p - 12 = -4*n + 2*p for n.
1
Let c be (-3 - -1)*27/(-18). Suppose 0 = 5*g - 0 + 10. Let j = c - g. Solve -j*r = -4*t - 13, 1 = t - 4*t + 2*r for t.
3
Let u(w) = w**3 - 4*w**2 - 5*w + 7. Let m be u(5). Solve 2*p = -4*a + 8, -a - 2*a = -5*p + m for a.
1
Let y(r) = -r**3 + 14*r**2 + 20. Let t be y(14). Suppose 0*z = -4*z + 4*x + t, 3*z - 5*x = 15. Solve 0 = -4*b - 3*q + z, -6 = -b - 4*q + 8*q for b.
2
Let r(s) = s**2 + 5*s - 31. Let t be r(-9). Solve -i + 12 = 5*d + 4, 4 = t*d + 3*i for d.
2
Let w(q) = q**3 - q + 2 - 1 + 4. Let k be w(0). Solve -4*o - 4 + 5 = 3*t, -o + 6 = -k*t for o.
1
Let i be 15*(-12)/(-54) + 2/(-6). Solve -2*o - 11 = 2*o + u, -i*o - u = 8 for o.
-3
Let k(g) = 4*g**2 + g. Let m(y) = y**3 + 5*y**2 - 1. Let u be m(-5). Let o be k(u). Solve x - 5*d - 14 = 0, -x = -d + o*d for x.
4
Let m(l) = 2*l + 2. Let y be m(3). Let u be (-1 - (1 + -2))/(-1). Suppose u = -y*w + 3*w + 20. Solve -w*c - 2*j - 16 = 0, -7*c + 5*j - 30 = -3*c for c.
-5
Let m(a) = 3 + 2*a + 2*a - 2*a + a**2. Suppose 2*w + 5 = 1. Let j be m(w). Solve 4*o = -j*v + 6, 6 = 2*o - 7*o + 3*v for o.
0
Suppose 0 = -4*l + 11 + 1. Let c(d) = -d + 2. Let x = 0 + 2. Let i be c(x). Solve -t + l*u + i*u = -4, -5*t = -2*u + 6 for t.
-2
Let w be (-48)/(-4) - 8/2. Suppose w*x - 25 = 3*x. Solve -2*p = -x*o - 0*o + 4, o - 2 = 0 for p.
3
Let p be ((-5)/2)/(11/(-44)). Suppose 6*l + 1 = -3*r + 2*l, -2*l = 8. Solve -2*g = -3*c + r + 4, 4*c - p = 2*g for g.
-3
Let j = 13 + -8. Let w = 5 - j. Solve 3*l + 2 = 2*x + 6*l, w = -x - 5*l + 15 for x.
-5
Let r be (24 - 0)/(12/8). Solve -3*f + 4 = -5*t, f + 4*t + r = -3*f for f.
-2
Let u = 43 - 41. Solve -j + 2*j - 5 = -5*o, -u*o + 2*j + 14 = 0 for o.
2
Let k = 57 + -55. Suppose 3*t - 7*t + 68 = 0. Solve 0 = l - 4*v + t, k*l + 0*l - 14 = -4*v for l.
-1
Suppose 0 = x - 2*v - 3, 0 = -4*x + 4*v - v + 12. Solve g = 2*f - 2*g - 9, -5*f - x*g - 30 = 0 for f.
-3
Let t = -17 - -34. Solve 3*m + 9*c - 3 = 4*c, t = -2*m + 3*c for m.
-4
Let p = -2 - 1. Let u be 15 - 1/(p/(-9)). Solve 3*s + 3*t + 12 = 0, -u = 5*s - 0*s + t for s.
-2
Suppose -90 = 2*r - 4*r. Suppose 0 = -j + 2*k + 18, -2*j - 5*k + r = 0. Solve -6 = -2*i + 2*z, j = 5*i - 3*z + 7 for i.
2
Suppose -3*c = -3*w + c - 3, 5*w - 5*c = 0. Suppose 80 = s + 4*s. Let u be s/(-6)*(-27)/12. Solve 2*m + 11 = u*m + w*z, -2*m = 2*z - 6 for m.
2
Let a(h) = -7*h - 2. Let l(t) = -t**2 - 8*t - 2. Let p be l(-8). Let u be a(p). Solve -4*b = g - u, 3*g = 2*g for b.
3
Let w be 1/((6 - 4)/(-22)). Let t = w + 13. Solve p + 2*b - 10 = 0, 0 = t*p + 3*b + 2*b - 25 for p.
0
Suppose 5*q = 2*d - 23, -3*d - d = -5*q - 31. Solve -7 = -2*m - w + 1, m - w = d for m.
4
Let i = 15 + -9. Solve -2 = -2*k - 4*l + i, k = 3*l - 6 for k.
0
Let o = -100 + 103. Solve 5*v - w = 2*w - o, 0 = 5*v - w + 1 for v.
0
Let x be ((-15)/(-10))/((-3)/(-4)). Solve 5*y + 5*z = -5, -y + 2*z = -x*z - 24 for y.
4
Suppose -u = -s, s - 4*u = 2*s - 10. Suppose 4*p + 2*b - 20 = -b, s*b + 5 = p. Solve -2*h + 3*x + 3 = 4*x, -p = -3*h - x for h.
2
Let o(z) = z**3 + 7*z**2 + 5*z + 3. Let k be o(-5). Suppose j - 1 + 4 = 0. Let l be 4 - (-3)/j - -11. Solve 2*v = -4*x + k, -x + l = 5*v - 11 for x.
5
Let f(o) = -o**2 + 8*o + 14. Let h be f(9). Solve -p - 2*t = h, -1 = p - t - t for p.
-3
Suppose -8*l = -3*l - 20. Solve -2*s = -x - 4*s - 8, l*x + s = -4 for x.
0
Suppose 0*t + 30 = 5*t. Let p be t + 1 + -2 + 3. Solve 4*r + p = -3*u - 0, -4*r - 8 = -5*u for r.
-2
Let i(q) = -q**2 + 4*q + 11. Let k be i(5). Suppose -m + d = k*d - 5, -d = m - 1. Solve 5*v - 3*w = 32, w + 4 = -m*w for v.
4
Let l(s) = -5*s**2 + 7*s**2 + 4 + 8*s + 5*s**2 - s**3. Let d be l(8). Solve -d*i - 5*b = -27, -i + 0*b = b - 6 for i.
3
Suppose 5*f - 34 = 2*c, 8 = -3*c - c. Let i be (-4)/f*(4 + -7). Solve -1 - 3 = 4*m + i*x, -2*x - 1 = 3*m for m.
-3
Let f(r) = -3*r + 17. Let d be f(5). Solve -s = -4*a + 7, -s - 3*s + 26 = d*a for a.
3
Let w be 214/8 + 3/12. Let s = w + -7. Let y be s/6 - (-2)/(-6). Solve 2*f = i - 2, -2*i + 11 = -0*f + y*f for i.
4
Let i(o) = 2*o**2 + 7*o + 2. Let q be i(-6). Suppose -q = 4*h + 8. Let w = 17 + h. Solve -4*f = c + w, c - 9 = 4*f - 0 for c.
1
Let i(q) = -8*q + 64. Let d be i(8). Solve 2*x + 7 = -j, -5*x - 23 = -3*j - d*x for j.
1
Let w be -5*(2 + 42/(-15)). Suppose w*l - 2*l = 0. Suppose 4*d - 75 + 3 = 0. Solve -4*p + 2*z + d - 6 = l, -5*p + 10 = -5*z for p.
4
Suppose -2*h + 1 = -7. Solve 2 = -2*m - 0*m - 5*z, h*m + 4 = 5*z for m.
-1
Suppose 6*m + 42 = 234. Suppose 2*j - 3*p = 35, 3*p - 1 = -2*j + 4. Solve -2*y = 4*b + 2*y + m, b - 5*y = j for b.
-5
Let m(c) = c + 1. Let t be m(3). Suppose 0 = 2*y - t*y + 4. Let x(b) = 6*b - 1. Let n be x(y). Solve 2*z = -v + n, 0*v + 4*v - 32 = -4*z for z.
3
Let d(a) = a**3 + 9*a**2 + 8*a + 2. Let w be d(-8). Solve 4*u - w*x + 8 = 0, 7*x = -5*u + 4*x + 1 for u.
-1
Let b be 3/6 - (-14)/4. Suppose 0 = b*k - 2*k. Suppose -3*z - 3 = 3*a, 4*z + a - 4*a = 17. Solve -q - z*l - 1 = 0, -2*l - 5 = 5*q - k for q.
-1
Let y be 2/((-10)/(0 - 5)). Let w = -3 + 7. Suppose 4*s - 12 = w*l, -9 = -5*l - 2*s - s. Solve 5*c - 36 = -4*r, 3*c - 13 + y = l for r.
4
Let w(n) = -n**3 + 4*n**2 + n + 1. Let a be w(4). Let i(y) = 3*y - 10. Let k be i(7). Solve -o - 2*l - 7 = -l, o - a*l = k for o.
-4
Let t = -2 + 9. Let l = t - 2. Solve 5*q = -3*o + 17, 3*o - l = 2*q + 5 for q.
1
Let z(c) = -c**2 - 14*c - 8. Let g be z(-10). Let k = g - 12. Suppose 5*w + 0 = k. Solve 10 - 2 = 2*a + 4*n, -20 = 4*a - w*n for a.
-2
Let i(u) = -u**2 + 7*u + 17. Let f be i(8). Solve 3*m = -4*k + f, k - 4*m + 0 = -12 for k.
0
Let m be ((-3)/5)/(4/(-20)). Solve -4*s + 5*d = -9, 2*d + m + 1 = 2*s for s.
1
Suppose 2*a + 2*a = -z - 27, -8 = -z + 3*a. Let j = 12 + z. Let g(d) = -d**2 - 6*d + 10. Let h be g(-7). Solve -20 = -5*c, j*l - 25 = -2*c + h for l.
4
Let r be 2/(-2)*2*(-18)/12. Let q = 3 - 1. Suppose -n - f = 2*n - 6, q*f = -6. Solve n*t = 4*x + 22, 0 = -t - r*x - 2*x - 18 for t.
2
Suppose 4*r - 14 = -2*p, -2*r - 3*p + 0 = -17. Solve 5*a - t = 10 - r, 4*a + 5*t = -16 for a.
1
Let a = 16 - 13. Solve -5*w - 15 = 5*h, 3 = 5*w + a*h - 7*h for w.
-1
Let y(u) = -2*u. Let r be y(1). Let p = r + 4. Solve 0 = n - h + 4*h + 2, -n + p*h - 2 = 0 for n.
-2
Let i be (-24)/(-40) - 54/(-10). Solve -16 = p - 5*m, m - 2*m + i = -3*p for p.
-1
Let q(n) = 25*n + 2. Let p(k) = 12*k + 1. Let x(z) = -13*p(z) + 6*q(z). Let g be x(-1). Solve -c = -2*c - 5*r - g, -4*r - 4 = -c for c.
0
Suppose -c = -4*c - 3. Let m be 2 - 3*1/c. Solve -2*o = -2*x - 8, 5*x + o = 5 + m for x.
1
Suppose 0 = 6*y - 4*y - 32. Suppose -13*o + 9*o + y = 0. Solve -o*i = -q + 3*q, -i - q = 1 for i.
1
Let b(c) = c. Let u be b(2). Solve -u*i + 4 = 4*v, -4*v + 10 = 4*i + i for i.
2
Suppose 2 + 0 = m. Suppose -6*k + m*k + 16 = 0. Let n = 5 - 3. Solve -n*y + 2 = 5*v + 7, 26 = -2*v + k*y for v.
-3
Let b(k) = -k - 9. Let w be b(-7). Let v be (1*-3)/(2/w). Solve -x = -v*f, -