 - 45 for l.
-5
Let c(y) = -2*y - 11. Let n be c(-8). Solve o = -n*z + 4 + 2, o - 2 = -z for o.
1
Suppose 2*a = 6 - 0. Let z(g) = -13*g**3 - g**2 - g - 1. Let v be z(-1). Let w = -3 + 5. Solve 5*j - 31 = -a*u, 3 = -w*u - j + v for u.
2
Let i(d) = d**2 - 2*d - 5. Let t be i(5). Let z be -2*(-3)/12*t. Solve -14 = -5*u - o, 5*u + z*o + 2 = 12 for u.
3
Suppose -n - 23 = -3*s - 68, -4*s - 3*n = 47. Let v = 20 + s. Solve -4*q = 3*i + 8, 2*q - i = v*q + 8 for q.
-2
Let y be 4/((-60)/(-65))*3. Solve -5*m + 2*g = y, 3*m - 3*g = -m - 9 for m.
-3
Let n = 62 - 61. Solve 5*i - 3*z + 3 = 17, -5*i - 2*z = n for i.
1
Let p be (-2)/(-8) - (-11)/4. Let f = p + 1. Solve 0 = f*j + v + 10, -2*j - 3*v + 6*v = 12 for j.
-3
Let u be -13 + 15 + (0 - -1 - 1). Solve 4*h - u*t + 4*t = 18, 0 = h - 4*t - 9 for h.
5
Suppose 3*b = 13 - 7. Solve -5*l = b*k, 2*l + 9 = 4*l - k for l.
2
Suppose 3*w + 5*d = 12, -d = d. Let p be (w/(-6))/((-4)/66). Suppose -p = -2*c + 5. Solve -r + 2*j + c = 0, 5*j - 9 = -29 for r.
0
Let h(s) = s**3 - 7*s**2 + 6*s + 8. Let i be h(6). Solve 0 = -5*g - 10, -3*w + 4*g + 7 = i*g for w.
5
Let o(h) = 2*h - 5. Let p be o(4). Suppose -p = 3*d + 3*k, -3*k + 7 - 31 = -4*d. Let z = 14 - 10. Solve d*l + 15 = 0, -3*n - l + z*l = -3 for n.
-4
Let o be (6/2 - 1) + (-141)/(-47). Solve 4*l + 0*m - 12 = o*m, -3*l = 4*m + 22 for l.
-2
Let v(g) = g**2 - 2*g + 3. Let c be v(3). Solve 0 = -5*z, 3*u - z = -5*z + c for u.
2
Suppose 4*n = -a + 38, 2*n + 3*a - 23 - 1 = 0. Let m = -6 + n. Suppose 3*h = m*q - 2*h + 22, 5*q + h = 10. Solve -f = 2*f + d + q, 0 = -5*d + 10 for f.
-1
Let l be 13/(-104) - (-41)/8. Solve -8*t + 20 = 5*z - 3*t, -3*t + 20 = -l*z for z.
-1
Suppose 5*g = 12 + 8. Let q(o) = -o**3 - 5*o**2 - 3*o + 6. Let n be q(-4). Solve -3*z + n*l + 3*l - 7 = 0, -2*l + g = 0 for z.
1
Let x(m) = 3*m + 25. Let d be x(-7). Solve -4 = t + 3*p + 3, 0 = -d*t + 3*p + 32 for t.
5
Let u(g) = -6*g**2 - g + 1. Let h be u(1). Let p = h - -16. Suppose -25 = -5*t - p. Solve t*w - 5 = v + w, 0 = -5*v + 2*w + 7 for v.
3
Suppose 3*z - 5 = 2*s, -2*z + 2*s = 3*s - 15. Let n be (-4)/((4/(-3))/2). Suppose -4*g + n = -2. Solve -20 = -z*q - g*y + y, -3*q + 3*y - 6 = 0 for q.
3
Let j be (4 - 3)/(3/9). Suppose -j*d + 2*m = m - 9, 3*m = 5*d - 15. Solve d*l + 8 = 2*g - 1, 0 = 2*g for l.
-3
Let l be (-1)/((1/(-2))/1). Suppose -2*p - 7 = 1. Let v(m) = -2*m - 5. Let c be v(p). Solve z = a - z - l, c*a - 5*z = 6 for a.
2
Let s(k) = -k**3 + 3*k**2 - k + 3. Let z be s(3). Solve -16 = -4*h + 2*m - 4*m, z = -5*h - 5*m + 25 for h.
3
Suppose -4*d = -8 - 8. Suppose 0*j - d*v + 31 = 3*j, 2*j - v = 6. Let m be (-1001)/(-28) + (-12)/16. Solve m = 5*r + j*a, -5*a = 4*r - 2*a - 23 for r.
2
Let f be (-6 - -2)*-1*(-15)/(-30). Solve g + 2 + 2 = -3*u, -f*u + 8 = -2*g for g.
-4
Suppose -196 = -20*r + 184. Solve r = -u - 5*l, 0*u + u - 4*l - 17 = 0 for u.
1
Let p = 2 + 3. Suppose 0 = 5*w - 7 + 22. Let c be 3 + ((-6)/w - 2). Solve -3*j - m = p, -c = 3*j + 3*m - 6 for j.
-3
Let o = -17 + 22. Solve l = o*k - 9, -2 = 2*l - 3*k + 2 for l.
1
Suppose 0 = 4*f, 6 = 2*p + 2*f + 2*f. Solve 5*c - 40 = p*h, 2*c - 20 = -0*h + 2*h for c.
5
Let s = 15 - 10. Suppose 0 = 3*m + 2*m + 5*l + s, 0 = -4*m - 5*l - 7. Solve n = -3*n + 4*z, -2*n - m*z = -12 for n.
3
Let k = -11 - -8. Let n = k - -3. Let o = 3 + n. Solve -d - 7 = o*t, -3*d + 20 = -4*t - 7*d for t.
-1
Let v be (12/(-10))/((-8)/20). Suppose -5*k = v*h - 91, 5*h - 7*h - 3*k + 60 = 0. Solve p = r - p + 14, 3*p = 3*r + h for r.
-4
Let o(v) = -3*v + 17. Let y be o(5). Solve -y*q = 3*j + 5, -2*j - 2*q = -6*q + 14 for j.
-3
Let y = 14 - 5. Let l be 3*(2 - (-1 - -2)). Suppose l*w - 2*p = 8, -w - 4 = -5*p + 2. Solve 0 = -4*m + 4 + w, 3*g + 3*m = y for g.
1
Suppose 0 = -r - 2, -10 = 5*m + r - 33. Solve -6 = -w - 2*c, 5*w - 18 = -3*c + m for w.
4
Let u = 34 - 15. Suppose -3*i - 19 = -2*a, -a + 5*i + 8 = -u. Solve 1 = 4*j - q + 2, 0 = -4*j - a*q + 2 for j.
0
Let l be -7 + (-6)/(-2) - 3. Let n = 9 - l. Solve 0 = h - j - 1, -j + n = -5*j for h.
-3
Let u = 2 - 0. Suppose u*w = 1 + 7. Suppose 0 = 5*l - 2*h - 18, 0 = w*l + 4*h + h - 21. Solve l*x + 5*p - 20 = 0, 0 = -p - 2*p for x.
5
Let n be 10 + (-2 + 3 - -1). Suppose -5*a - n = -8*a. Solve -a*l - 9 = -4*j - j, -4*j + 4 = -4*l for l.
4
Suppose 3*q - 3*u - 9 = 0, -2*u - 1 - 8 = -5*q. Suppose 7 = 2*r + q. Suppose 2*j - 15 = -r*j. Solve 4*t = p - 15, 3*p + j*t + 10 = 4*t for p.
-5
Suppose 0 = -3*h + 5*n + 5, -4*n + 23 = 4*h - h. Suppose -h*x + 2*x = 0. Suppose -4*o + 12 = -x. Solve o*b + 5*v = 6*b - 3, -3*v = b + 13 for b.
-4
Let t be (-6)/(2*1/(-1)). Solve i - 3 = t*i - 5*v, -5 = -2*i - 3*v for i.
1
Suppose 2*f - 7*f = -25. Suppose -f*r = -8*v + 3*v + 5, 2*v = -4*r + 20. Let k(q) = -q**2 + 8*q - 1. Let g be k(7). Solve p + 0*p = 5*j - 10, r*j - g = p for j.
2
Let v = 14 + -11. Suppose -v*i = -6*i + 18. Solve -k - 5*t = -i*k - 35, 3*t + 7 = -4*k for k.
-4
Suppose -2*r + 18 = 2*x, -5*r = -4*r + 4*x. Solve -2*q - 2*q - n = 4, -4*q = -n + r for q.
-2
Let x(h) = -4*h**2 + 2*h - 1. Let y(n) = -9*n**2 + 3*n - 2. Let a(j) = 7*x(j) - 3*y(j). Let d be a(4). Solve 6 = d*m, 5*i + 4*m - 24 = i for i.
4
Suppose o + 2*m = -1, -4*o + 20 = o + 5*m. Let n be o - (4 - 0)/(-1). Solve -2 = -4*s + 5*b - 33, n = -s + 3*b for s.
-4
Let f be -3 - -9 - (-3)/(-1). Solve b + 3 = -l, 0 = -2*l - 6*b + f*b - 11 for l.
2
Suppose 2*b - 6 = -2*b + c, 0 = 3*b + 2*c - 10. Solve 4*g + 13 = 3*d, d = b*d - 2*g - 5 for d.
3
Let r(z) = z**3 + 9*z**2 + z + 10. Let b be r(-9). Let q be (2 - 22)*(0 - b). Solve -4*v = -3*j - 7 + 29, -2*j + q = -4*v for j.
2
Suppose -3*l + 11 = -2*z, -4*z + 3*l - 15 = 22. Let j = z + 15. Solve -1 = 2*h + 3, -j*n = 3*h for n.
3
Suppose -c - 1 + 0 = -5*l, -4*l - 30 = -3*c. Let k = 4 - -1. Solve -x - 7 = u - 0, -2*x + k*u + c = 0 for x.
-3
Let a(m) = m**3 + 8*m**2 + 3*m + 2. Let j be a(-7). Let u be (6/(-5))/((-3)/j). Solve -16 = 2*d - 5*h + h, -d + 4*h = u for d.
-4
Let u(p) = -p**2 - 5*p. Let r(x) = x**2 + 6*x - 1. Let i(q) = -4*r(q) - 3*u(q). Let v be i(-9). Solve -5*k = 3*j - k - 22, -v*j = k - 12 for j.
2
Let t(c) = -c + 10. Suppose w - 4*k = 3*w - 16, 3*w - 24 = -4*k. Let r be t(w). Suppose -r*z - 4 = -6*z. Solve 2*u = -4*g - 5 - 11, -3*g + z = -5*u for u.
-2
Let i(n) = -n**2 - 4*n + 1. Let b be i(-3). Suppose -f + 6 = -b. Solve -h = 3*w + w - f, -4*w + 2*h = -16 for w.
3
Suppose 23*p - 4 = 22*p. Let a(k) = -k**3 - 2*k**2 - 3*k - 2. Let n be a(-2). Suppose -n = -2*s - 0*s. Solve 7*w - p*g - 5 = s*w, -5*g + 4 = 4*w for w.
1
Suppose -3*r - 9 = 0, -4*n - 2*r = n + 26. Suppose 3*s - 1 = 5, 11 = -5*t + 3*s. Let a = t - n. Solve -3*f - 9 = -4*i, f + 0*i + 2*i = -a for f.
-3
Let h = 4 + -7. Let u = 0 + h. Let k = u + 5. Solve 3*y = -2*y - k*l - 21, -l = -y for y.
-3
Suppose -3*k + 5*g = -2, 3*k + 20 = -g - 2. Let y = k - -10. Suppose -y*l - l = -160. Solve -z - l = -4*a + 4*z, -11 = -5*a - z for a.
3
Let r be 4 + 4*(-12)/(-8). Solve -2*u - 2*f - r = 0, -u = -6*u - f - 21 for u.
-4
Let w = 144 - 142. Solve 2*a - 5*k - 7 = 19, -2 = 2*a + w*k for a.
3
Suppose -1 = k, 3*k = -5*b + 22 - 5. Suppose -70*v + 8 = -66*v. Solve -3*x - 8 = 4*f, 15 = -b*x - v*f + f for x.
-4
Let f be -3 + -1 + 10/2. Solve -2*g + 5*a - f = 0, -2*g + a - 5*a = 10 for g.
-3
Let i be (-3 + -2 + 2)/(-1). Suppose -i = -q + 1. Suppose 2*v + 2*v + 12 = 5*f, -v + f = 2. Solve 5*y + q*p = -v, 4*p - 2*p = -2*y for y.
-2
Let r(j) = -j. Let u be -2*(2 + 0)/(-4). Suppose 0 = -2*p - 7 - u. Let q be r(p). Solve 0 = -4*a + 2*k + 8, -q*a + a + 6 = -3*k for a.
2
Let g(v) = -2*v + 4. Let f(q) = -4*q + 7. Let w(b) = -3*f(b) + 5*g(b). Let t be w(3). Solve -2*m + 6 = 3*u - 4*u, -t*u = 5*m - 45 for u.
4
Suppose 5*r = n - 14, 3*n + 3*r = -2*r + 2. Solve -4*i = 3*q - 7, 2 + 4 = n*q + 2*i for q.
1
Let r(u) = -u - 5. Let h be r(-7). Let b be 1/(-1*h/6). Let s(d) = d**2 + 4*d + 3. Let a be s(b). Solve 5*t + 15 = 0, -4*c = -3*t - a + 3 for c.
-3
Suppose 3*i + 4 + 1 = -5*v, 0 = -5*v - 4*i - 10. Let s be 2 + (4 - -1) + 1. Let h = s - 5. Solve 7 = v*z - 1, -h*y - 7 = -z for y.
-1
Let q(f) = 2*f**2 - 8*f + 3. Let t be q(5). Let x(d) = d**2 + d - 3. Let l be x(-3). Suppose l - 5 = -w. Solve -w*m - m - 2*i = -t, 0 = -5*m + i + 13 for m.
3
Suppose 3*l - 37 = 5*z, 4*l - 2*z = -0*l + 26. Let f be (-27)/(-6) - (-2)/l. Solv