 for l.
5
Let h = -1 - -5. Let m = 26 + -5. Suppose 3*a - m = 12. Solve -5*u - h*c = -27, 4*u = c - 2 + a for u.
3
Let j(o) = -o**2 + 8*o - 3. Suppose -3*s + 2 = n, -2*s - n = -6*n + 10. Suppose s*y + 2*y = 14. Let m be j(y). Solve 15 = 5*z, -4*g + z + m = 11 for g.
-1
Let h(y) = -y + 2. Let f be h(-3). Let c = 21 + -19. Suppose -2*x = -c*s - 2, 4*x + s - 31 = -4*s. Solve 0 = f*t - 3*t - w, -5*t = x*w - 26 for t.
2
Let g(v) = -5*v. Let m be g(0). Suppose 3*z = -j - z - 16, -8 = 2*z. Suppose -r + m + 3 = j. Solve -5*s - r*h = -h - 3, -2*s = -4*h + 18 for s.
-1
Let i = -870 - -872. Solve 0 = 5*a - 5, 2*p - 2 = -i*a - 8 for p.
-4
Suppose 5*o - 305 = -56*o. Solve -3*q + o*c - 25 = q, -2*c + 10 = 3*q for q.
0
Let w be 2/(-3) + 2/(-6). Let v = 11 + -8. Let r = v + w. Solve 0*j + b = r*j + 6, 0 = -3*j + 4*b - 9 for j.
-3
Let g = -127 - -49. Let u = 90 + g. Solve 6*s + u = 3*s, 0 = -w - 3*s - 7 for w.
5
Suppose p - 2*p + 3*b = 9, -4*p + 5*b = 22. Let k be ((-1)/(-1))/(p/(-36)). Solve 3*h - u + 2 = 0, 5*u + k = -5*h + 2 for h.
-1
Let y = -17 + 23. Let p be (10/y)/(3/9). Solve 4*j = p*h + 5, 5*h + 2 + 3 = 0 for j.
0
Let z(m) = -2*m**3 + 49*m**2 - 22*m - 34. Let w be z(24). Solve -2*x - 5*k = -26, x - w = -x - 2*k for x.
3
Let o be (-11)/7 + ((-24)/7 - -4). Let q be ((-10)/(-6))/(o - 7/(-6)). Solve -5*i - u = 0, -5*i = -3*u + 2*u + q for i.
-1
Suppose 3*l = -a + 128, 3*l = a + 3*a + 148. Let n = l + -37. Solve 4*w - x = -23, 2*w + 12 + n = 3*x for w.
-5
Suppose y - 2 = 12. Suppose -y*a = -15*a + 6. Solve r - a*k + 4*k - 1 = 0, 0 = r - 5*k - 4 for r.
-1
Let p be -30 + 26 + (-8)/(-2). Solve -2*x + p*h = -2*h - 16, -x + 13 = -2*h for x.
3
Suppose 9*a + 48*a - 114 = 0. Let u = -4 + 6. Suppose a*o = 3*o - u. Solve 3*k = -m + 2 + o, 5*m + 5*k - 10 = 0 for m.
1
Let r = 243 + -238. Solve -20 = -3*o + r*k, -k - 21 = -3*o - o for o.
5
Let p be -1 - 0 - 21/3. Let x = p - -10. Suppose x*o = 1 + 5. Solve 21 + 11 = o*v + 4*u, -2*v + u + 3 = 0 for v.
4
Let i = -133 + 147. Solve 0 = 4*u - 4*h + 36, i = 2*u - 3*u + 2*h for u.
-4
Suppose 0 = 4*q + 5*j + 5, 3*q - 4*j = -9 + 13. Let n be 2 - (-5 + (0 - -2)). Solve 2*g - n*r + 16 = q, -5 = 3*g + 2*g + 5*r for g.
-3
Suppose 0 = -4*u - 2*s + 26, -4*u + 0*u + 23 = s. Let y be -1*(-15 + (-1 - -3)). Solve 2*w = -u*a - 1 + 17, y = -a + 5*w for a.
2
Let m be 1/(3/(-3*5)). Let j(l) = -2*l - 7. Let a be j(m). Solve -a*g + 4*w + 2 = -9, 0 = 2*g + 3*w + 21 for g.
-3
Let a = -31 - -28. Let c be (-1)/a + (-35)/(-3). Solve 2 = -l - 2*x, 4*l + 0 = -4*x - c for l.
-4
Let d be 27/2*(0 - -2 - 0). Let v = 50 - d. Solve 5*j - 3*q = -29, -4*j + v = -9*j + q for j.
-4
Let d be (-2)/(-4)*(56 - 2). Suppose 4 = 28*x - d*x. Solve -4*a + 3*i + i = -x, 4*a + 5*i = -41 for a.
-4
Let a = 50 + -21. Let l be 11/((-132)/(-80))*(-6)/(-4). Let b(h) = 2*h + 3. Let z be b(l). Solve 0 = 2*i + 2*i - 5*q + a, 3*i + z = 4*q for i.
-1
Let b be 6 + (0 - 0)*1. Let g be (-40)/6*105/10. Let t be (g/8)/7*-4. Solve t*x = -2*o, 2*x + 5 = -3*o - b for o.
-5
Let n(a) = a**2 + 3*a - 4. Let b be n(-4). Suppose b*q - 34 = -2*q. Let l = 21 - q. Solve -y + 6*y - 14 = -4*z, l*y - 4*z = 4 for y.
2
Let z = -4 + 4. Let o(g) = -14*g - 172. Let d be o(-13). Solve 5*y + 16 = 2*x, z = 4*y + 2*x - d + 30 for y.
-4
Suppose -20*p - 15*p = -280. Solve -5*j + 4*n = -2, -j + 3*n + 2*n - p = 0 for j.
2
Let c be 1*-2*(-6 + -1). Let v be (0 + 2 + -16)*(-1)/2. Solve -v = 3*s - 5*m, 4*s + 2*m + 3*m - c = 0 for s.
1
Suppose -2*g = -3*x - 12, 2 = -5*x + x - 2*g. Let v = x - -4. Solve 17 - 1 = -4*o + 5*f, 0 = 4*o + v*f - 12 for o.
1
Let w = 9 + 0. Suppose 6*c - w*c = -6. Solve -c*g = -4*f - 0*f + 28, g + 19 = 3*f for f.
5
Suppose k + 4*b = 0, -k + 2*k = -5*b - 1. Solve 4*p - 4*z + z = 5, -k*p = -z + 1 for p.
-1
Let k = -3 + 3. Suppose 0 = u - k*u - 3. Suppose 0 = -2*y - 11*y. Solve 3*i + y*i + u*g = -15, 0 = -4*g - 16 for i.
-1
Suppose 0 = -16*k - 12 + 76. Solve -4 = -0*p + k*p + 4*s, -s = -2*p - 14 for p.
-5
Let c be 8/28 - 2/7. Let i be (4 + 11/(-3))*(0 + c). Solve 4*x + 4*b - 8 = i, -2*x + b + 4*b + 11 = 0 for x.
3
Let d(w) = -3*w - 1. Let m be d(2). Suppose 7*f - 10*f + 27 = 0. Let v = f + m. Solve c - 5 = -v, 4 = 2*a + 4*c for a.
-4
Let d be (-13)/((0/(-1) + -3)/3). Solve 5*n - 17 = -3*p, 5*n - d = 5*p + 12 for p.
-1
Suppose 25 - 29 = -d. Let n = -94 + 96. Solve 0 = -4*x + 2*p + n*p, -2*p = -d*x + 10 for x.
5
Let m be ((-6)/(-15))/((-3)/420). Let d be m/(-12)*6/7. Solve 0*f - 5*f - 18 = j, -j = d*f + 14 for f.
-4
Suppose 3*y - 4*y - 6*y = 0. Let a(s) = s + 7. Let i be a(-10). Let n be i*1/6*y. Solve n = -3*m - 6, 8 + 6 = 4*r + m for r.
4
Let x = -318 + 324. Solve 5*i = -5*f - 5, -3*f - x = i + 1 for f.
-3
Suppose 6*j + 75 = j. Let b = -14 - j. Suppose b + 9 = 2*s. Solve 0 = 3*h - s*t + 19, h + 3*h + 3*t + 6 = 0 for h.
-3
Let l = -42 - -44. Let i(f) = f**3 - 2*f**2 + 2*f - 1. Let n be i(2). Suppose -2*z = l*u + z - 4, -n*u = 3*z - 6. Solve u*g + 5*v = 6 + 1, 6 = 2*v for g.
-4
Let b(s) = -6*s**3 - 2*s**2 - 4*s - 3. Let r = -60 - -59. Let q be b(r). Solve a = 4*f, -5*f + 5 = -q*a - 10 for f.
-1
Let z(b) = -25*b**2 + 1. Let j be z(1). Let u = 24 + j. Solve -s + 2 = u, -4*g + 7 = -3*g + s for g.
5
Let i = -8 + 8. Let j(k) = k**2 - 2*k + 2. Let f be j(2). Suppose -f*y - 12 = -5*y + 5*s, -5*s = 5*y - 60. Solve -9 = -2*l - h - i*h, l = -5*h + y for l.
4
Let v be (-2)/(-4)*(-9 - -11). Suppose -v = 7*a - 29. Let q(d) = 2*d**2 + 8*d + 2. Let x be q(-6). Solve -5*j - x = -l - 10, -a = 5*l - 4*j for l.
-4
Let l = -2598 + 2601. Solve 2 = 3*k + 5*w, -w = 4*k - l*w - 20 for k.
4
Let o = 57 + -66. Let t = 12 + o. Solve 4*a - 4*q + 20 = 0, 0 = 3*a + t*q + 2*q - 25 for a.
0
Let q = -26 + 20. Let t = -4 - -3. Let u be 0*(q/9 - t). Solve -41 = 4*n + 5*p, -3*n + u*p = 3*p + 27 for n.
-4
Let q(w) = -61*w + 187. Let i be q(3). Solve 6*t = f + 3*t - 4, f = i*t + 5 for f.
1
Let d(u) = u - 11. Let g be d(-6). Let p be (-1*1)/(g/51). Suppose 8*l = -a + 3*l - 22, 0 = p*l + 15. Solve 5*m + 5*s = 0, a*m - 11 - 19 = 3*s for m.
5
Suppose -28 = -3*s + 41. Let g(b) = -b**2 + 2*b + 3. Let r be g(-3). Let n be (-1)/3 + (-64)/r. Solve h + n*k = -s, -3*h + 3 = k + 16 for h.
-3
Suppose 2*w + 0*r - 2*r = 66, -w - 5*r = -51. Suppose -3*u = 12 - w. Let t be (-3)/(-15) + (-75)/375. Solve t = -5*s - 4*d + 1, 3*s - 7*d + 2*d = u for s.
1
Suppose 0 = t + 2*t - 21. Suppose -a - 2 = -t. Suppose p - 15 = n, -a*n = -2*p + 8 + 25. Solve 6 + 23 = 3*h - 4*d, p = 3*h - d for h.
3
Let y(r) = r + 6. Let h be y(-4). Suppose 12*d - 15 = 9*d. Suppose -d*m = -o + 2, 2 = -h*o + 3*o - 4*m. Solve v = 3*g - 13, o*v - 13 = -5*g + 5 for g.
4
Let u(w) = -7*w + 101. Let s be u(14). Solve -13 = -q - 2*n - s*n, -3*n + 15 = 3*q for q.
3
Let p be -5 - -10 - (0 - -1). Suppose -p*j = 3*m + 7, -m = 5*j - 6 + 1. Solve -j*c - c + 3 = 3*a, -a - 2 = 0 for c.
3
Suppose -55*s = -60*s + 15. Let n be (1 + 1)/(8/4). Let m = 16 - 11. Solve -b + 3 = -2*x, b + n = -s*b - m*x for b.
1
Suppose 5*u - 4*d + 61 = 0, 6*d = -5*u + 3*d - 33. Let c be (-16)/(-12)*u/2. Let x = c - -8. Solve -4*q - 21 = g, 0 = -5*g - x*q - 2*q - 25 for g.
-1
Let w be (-17)/(-34)*8*2. Solve b - l - w = l, b + 4 = -4*l for b.
4
Let n(y) = y**3 - 4*y**2 - 3. Let z be n(4). Let r be ((-20)/(-15))/(1/z). Let c be ((-3)/r)/((-3)/(-8)). Solve 4*q - 5*t = -12, -5*q + 4*q - 6 = -c*t for q.
2
Suppose -s + 5*w = -5, 3*s - 2*w = -14 + 16. Solve s = -5*c - 2*o + 27, 3*c - 3*o - 2 = 10 for c.
5
Suppose 0*t + 3*t = -5*u + 13, u + 3 = 5*t. Let z = 124 - 112. Solve 0 = 4*b - 3*k + u*k - 13, -3*b + 3*k = -z for b.
3
Let z = 476 + -474. Solve -z*q = -4*o + 2 + 4, 5*q + 23 = 2*o for o.
-1
Suppose -4*c - 3 + 15 = 0. Suppose 2*d = -2*i + 16, -7*i - 39 = -4*d - 4*i. Let z = 1 - -2. Solve 4*q = -5*v + c*v, -3*v + d = -z*q for v.
2
Suppose 12*n + 7 = 31. Solve -n*h + 13 = 5*t, 8 = -3*t + 4*h - 5 for t.
1
Let c = 197 + -193. Solve -4*s + 2*t = 18, 2 = c*s - t + 3*t for s.
-2
Let v(w) = -w + 11. Let t be v(7). Let z = 11 - t. Solve -3*m + j = -z*m + 16, -3*j = 4*m - 8 for m.
5
Let f(d) = 2 - 4 + d**2 + 4*d + 0*d + 11. Let n be f(-7). Suppose -4*i = -5*p + 15, 4*p - 2*i = -12 + n. Solve -2*s + p*s - 15 = 2*w, -2*w = 2*s - 6 for s.
3
Suppose -3*z + n = -14, 4*z + 2*n + n = -3. Suppose 7*h - 4 = 3*h. Solve 2 = x + z*r, 3*x + h + 4 = 2