 6 for l.
1
Let b = 137 + -133. Solve -3*v = -4*v + b for v.
4
Let n(b) = b**2 - 9*b + 14. Let i be n(6). Let p(x) = -8*x - 1. Let q be p(i). Let g = q + -25. Solve g = -a - 2*a for a.
-2
Let n be (0 - 0)/(-34 + 37). Suppose 3*y + 2 = 5. Let g = 6 - y. Solve n = -g*f + 14 - 4 for f.
2
Let l = -2128 - -2188. Solve -l = 11*f + 9*f for f.
-3
Suppose -18*b + 12 = w - 14*b, -1 = -b. Solve -v = 4 - w for v.
4
Suppose 25*z - 22*z - 3*c = 24, -5*z - 5*c + 10 = 0. Suppose u + 4 = 6. Solve -z*o - u = 3 for o.
-1
Suppose -38*z = -35*z + 30. Let n be (z/(-4))/((-8)/(-16)). Solve 0*b = -n*b + 10 for b.
2
Suppose 20*a = 18*a - 4. Let q be -1 - (-6)/2 - a. Suppose 9 - 25 = -q*u. Solve -u*h = 8 - 0 for h.
-2
Let w = 1179 + -1167. Solve 0 = w*f + 18 - 6 for f.
-1
Suppose t - 3*k + 5*k = -51, -3*t - 150 = 3*k. Let m be 16/7 + 14/t. Solve m*s + 3 - 5 = 0 for s.
1
Let l(p) = p**2 + 6*p + 8. Suppose 0 = -v, 0 = -3*r + 5*v - 7 + 16. Suppose -5 = m, 0 = r*w + m + 4 + 13. Let f be l(w). Solve f*k = -3*k + 6 for k.
2
Let m be ((-5)/(-15))/(2/18). Let g = -3 + m. Suppose -3*f - 3*b = -g*b - 21, -3*f = -3*b + 9. Solve -f*a = 3*a - 25 for a.
5
Suppose -4*a = -3*n + 47, -12 = -9*n + 6*n - 3*a. Solve -12*x + n*x + 15 = 0 for x.
5
Suppose 2*o + 2*x + 163 = 5*o, 5*x = o - 37. Solve -3*p + 51 - o = 0 for p.
-2
Let q(x) = -x**2 + 6*x + 22. Let f be q(8). Let p = 14 - f. Solve 0 = -3*d + d + p for d.
4
Suppose 6 = -4*f + 22. Suppose k = f*k - 15. Suppose -25 = -2*d + 5*t + 2, -k*t - 22 = 3*d. Solve -2*s - d = -s for s.
-1
Let q = 366 + -365. Let i be (5/(-3) - -2)*3. Let k = q + i. Solve 3*r + k = -1 for r.
-1
Let g(l) = l**3 + 9*l**2 + 10*l - 3. Let z be -1*(1 + 2) + 6. Let w = -10 + z. Let m be g(w). Solve 6*x - x = -m for x.
-5
Let i(v) = -18*v - 150. Let m be i(-10). Suppose -a + 0*a = -486. Let t be 2/(-10) + a/m. Solve 9 + t = 5*q for q.
5
Let v(g) = 6*g - 30. Let p = 41 - 35. Let u be v(p). Solve -4*z + 2*z + u = 0 for z.
3
Let o be (88/16)/((-2)/(-4)). Suppose o = g + 5*p - 21, -2*g + 52 = -2*p. Suppose -3*v + g = 4*n, 3*v - 25 = -3*n - 1. Solve 0 = j + 2*j + n for j.
-1
Let w(n) = -3*n - 15. Let b be w(-14). Solve 0*t = 9*t + b for t.
-3
Let k = -82 + 84. Suppose -2*p + k = -3*p, -5*o = -2*p - 24. Solve -5*f - o = -f for f.
-1
Let j(g) = 37*g - 187. Let l(h) = -9*h + 47. Let c(o) = 2*j(o) + 9*l(o). Let b be c(7). Solve b = 5*f - 13 - 12 for f.
5
Let c(v) = 2*v - 13. Let i(g) = -1. Let n(a) = -c(a) + 3*i(a). Let y be n(4). Solve -2*b - y = 2 for b.
-2
Suppose -12*a = -10*a + 3*h - 4, 0 = -a - 4*h + 2. Solve a*x = 4 - 2 for x.
1
Let g = 60 - 60. Let n be 4 - (-1 + 1 + 2). Suppose 8 = 3*b - n*u, -4*b + 5*u + 3 = -3. Solve d + g*d = -b for d.
-4
Let m = -11 - -10. Let j be (-16 - -4)/(-3) - m. Suppose -j*x + 12 = -3. Solve x*u = -u - 4 for u.
-1
Let v = -188 - -192. Solve v*k - 1 = 19 for k.
5
Let f(r) = -5*r**2. Let l be f(0). Solve -5*t - 6 - 4 = l for t.
-2
Suppose 0 = d - 5*y - 58, -5*y + 57 = 2*d - 74. Let w be (8/28)/(3/d*3). Solve -3*o = w*o for o.
0
Let j = -7 - -10. Solve 2*m - 1 = j*m for m.
-1
Suppose -16 - 2 = 3*o. Let b be 3/(-3) - (2 + o). Solve -b*t = t - 4 for t.
1
Suppose 2*k + o = 79, -4*k + 82 = -4*o - 46. Solve k - 45 = 4*l for l.
-2
Suppose 5*p = -0*p - 4*y - 6, -30 = -5*p + 5*y. Suppose -x + 3 = -j, -4*j = 5*x - p*j + 6. Suppose 0*w - w = x. Solve -b + 3*b = w for b.
0
Suppose 3*f - 19 = 2*h, 2*h + 3*h = -5*f - 10. Suppose f*o = 2*o + 16. Let d = 605 - 602. Solve c = -d*c + o for c.
4
Let m(u) = -2*u**3 - 4*u**2 - u + 2. Let j be m(-2). Let n be (-1)/11*(-308)/28. Solve j*i - n = -17 for i.
-4
Let c be 7 - ((-4 - -4) + -5). Solve 0*x + c = 6*x for x.
2
Suppose 0 = 7*s + 4*s - 22. Solve s - 3 = -g for g.
1
Let z = 109 + -108. Solve z = -3*x + 13 for x.
4
Let o be (3/3)/(2/8). Suppose 14 + 19 = 11*k. Solve 0 = o*x + k - 7 for x.
1
Let f(y) = -15*y**2 + 1. Let d be f(1). Let w = 19 + d. Suppose 0 = n - 5, w = -0*q + q + n. Solve l + 3*l - 16 = q for l.
4
Suppose -14*c = -4*c - 200. Solve 0 = -25*v + 21*v - c for v.
-5
Let c(n) = n**3 - 6*n**2 - n + 8. Let d(a) = 5*a + 8. Let h be d(6). Suppose 3*f - 5*u - h = 0, f + 3*u + 1 = -5. Let q be c(f). Solve q*k = k for k.
0
Let i = 39 + -23. Let m = 25 - i. Suppose 3*s = -0*s + m. Solve 0 = -s*z + 6*z + 15 for z.
-5
Suppose 206 = -5*z + 276. Solve -z*s + 7 = -7 for s.
1
Suppose -15 = -5*v + 5. Solve 0 = v*k + 8 for k.
-2
Let w = 118 + -108. Let b be (-2 - (-25)/w)*12. Solve 5*v = 8*v - b for v.
2
Let h(k) = -k - 1. Let a(r) = -7*r + 33. Let l(z) = a(z) - 5*h(z). Let m be l(16). Solve -b = b + m for b.
-3
Let s(k) = 2 + 4*k - 2*k + 7*k**2 + 3*k. Let o(x) = 4*x**2 + 3*x + 1. Let c(p) = -5*o(p) + 3*s(p). Let g be c(-2). Solve -g*z + 16 = -z for z.
4
Suppose 2*o + 21 = -o. Let n be 3/((-105)/10)*o. Let p = -2 + 3. Solve n*v = 11 - p for v.
5
Suppose 33*u - 3*u = 150. Solve 0 = -u*x + x - 12 for x.
-3
Suppose 4 = 11*s - 13*s. Let h(p) = -p - 2 + 4*p**3 - 5*p**3 + 1. Let r be h(s). Solve 2*u + u - r = 0 for u.
3
Let h = -255 - -259. Solve -12 = -0*c + h*c for c.
-3
Let b(n) = 3*n**3 - 5*n**2 + n + 4. Let a be b(3). Let f = 46 - a. Solve 3*y + f = -9 for y.
-4
Let j be ((-1)/(-2))/(2/12). Suppose -4*x - j*q - 3 = -17, x - 4*q = -6. Solve 4*v - x*v = 0 for v.
0
Suppose 7 = 7*x - 0. Let o be (1/x)/((-12)/(-24)). Suppose -2*f + 6*s - o*s - 6 = 0, -2*s = 2*f - 12. Solve -f - 9 = -3*k for k.
4
Let q(c) = 4*c**2 - 22*c + 21. Let w be q(1). Solve x - 16 = -w*x for x.
4
Suppose 130 = -2*l + 150. Solve l = -3*x + 5*x for x.
5
Suppose -3*y - 3*b - 74 = -7*y, -5*y + 2*b + 96 = 0. Suppose 3 = d - y. Solve -d = 4*v - 3 for v.
-5
Suppose 2*i - 16 + 4 = 0. Let m be 12/(-10)*20/(-2). Suppose 6*w + m = 30. Solve i + 3 = -w*a for a.
-3
Suppose d - 2*i - 12 = 0, 22 - 2 = 2*d - 3*i. Let v = 1644 - 1639. Solve d*a + v = 5*a for a.
5
Suppose 149*k = 126*k + 115. Solve k*r = r - 12 for r.
-3
Suppose -1802*i = -1798*i - 60. Solve -70*v + 67*v + i = 0 for v.
5
Suppose l - 4 = 4*n + 5*l, -3*l + 1 = 4*n. Let r be 0/(-1 + 2) - 0. Suppose r = -n*v - 0*v. Solve v = 4*u + u - 25 for u.
5
Suppose 85 - 895 = -90*f. Solve 136*l - 139*l = -f for l.
3
Let h be -1 - (-4 + 4) - -3. Suppose -h*x = -3*x. Solve -q - 3 + 5 = x for q.
2
Suppose 0 = 3*g - 2*u - 67, -7*u - 28 = -2*g - 9*u. Solve g*l - 12*l = -28 for l.
-4
Suppose 5*y - 2*z - 520 = 0, 9*y - 10*y - z + 97 = 0. Solve 8*k + y = 78 for k.
-3
Let v(i) = 10*i**2. Let f be v(-1). Let h = f - 3. Suppose h*b + 1 - 15 = 0. Solve -b = 3*k - 2*k for k.
-2
Let t(l) = 2*l**2 - 6*l. Let c be t(5). Suppose 5*n + 5 - c = 0. Let u = n - 3. Solve u*m = -m for m.
0
Suppose 0 = -5*w + 4*c - 182, 2*w - 22 = 3*c - 99. Let q = w - -36. Solve -q*r + 3 = 7 for r.
-2
Suppose 0 = 46*t - 45*t. Solve 5*s + t + 5 = 0 for s.
-1
Let b be 9 + -10 + (4 - -5). Solve 0 = -2*i + b - 12 for i.
-2
Suppose -x = -5*a + 73, -a + 17 = -0*a + x. Let u = -33 + a. Let c = -18 - u. Solve c = 2*h - 0*h for h.
0
Suppose -2*a - y + 2 = -4*y, 5*a = 5*y + 15. Let s be 7*(10/14 - (-2)/a). Solve l = s - 6 for l.
1
Suppose -2*m + 6*m = 0. Suppose m = -4*n + 12 - 0. Suppose n*f = 5*h - 84, -h + 7 = f - 5. Solve -2*o + h = o for o.
5
Suppose 0 = -4*x + r + 70, 2*r - 35 - 23 = -3*x. Let q = 22 - x. Solve 5 = -q*d - 7 for d.
-3
Let m = 59 - 41. Let i = -29 + m. Let c = i + 15. Solve 0 = 7*u - c*u - 15 for u.
5
Let i be 3/(-15) + 198/(-10). Let w = i - -39. Suppose 2*h = 4*k - 14, 0 = 2*h - k - 4*k + w. Solve 0 = g + 1 - h for g.
2
Suppose 0*w = 30*w - w. Solve -3 = 3*n - w*n for n.
-1
Let v(u) = u**3 + 5*u**2 - 3*u - 21. Let m be v(-3). Let j be (-12)/42 - 200/(-14). Solve -j = -4*q - m for q.
2
Suppose -17*l + 14*l + 3 = 0. Solve 2*k = k - l for k.
-1
Let p = 52 - 47. Let z = 12 + -10. Suppose -3*q + j = -28, q - 2 = z*j - 1. Solve 0 = p*i + q + 14 for i.
-5
Suppose -5*u = 5*h - 65, 39 = 3*u + h + h. Suppose 0 = 2*c - c + u. Let o = c + 15. Solve m - 6 = -o*m for m.
2
Let k = 940 + -886. Solve 49*y = k*y + 25 for y.
-5
Suppose 155 = -4*g + 5*n - 230, -3*g - 285 = -3*n. Let m = g + 98. Solve -m*u + 3*u = -10 for u.
2
Let h(v) = -79 + 79 - v. Let g(t) = t + 1. Let m(j) = -g(j) - 2*h(j). Let q be m(1). Solve 5*p = -q*p - 25 for p.
-5
Let h(a) = 4 + 2*a - 8 - 2 - 8. Let k be h(10). Solve -20 = k*o - 2*o for o.
-5
Let d = 11 + -8. Let j(v) = 3*v**2 - 4 -