 l.
4
Let l be ((-3)/(-4))/((-9)/(-24)). Suppose 36 = 6*s - l*s. Solve s - 3 = -3*m for m.
-2
Let m = -12 + 14. Solve u - 3 = -m*u for u.
1
Suppose 5*l = 2*l + 6. Let n be (3 - -3)*1/l. Solve 2 = -n*h + 5*h for h.
1
Let m = -5 - -20. Let c = 30 + -40. Let h be (-15)/2*c/15. Solve m = -4*d - h for d.
-5
Suppose 3*d = a + 4, d = 3*d + a - 11. Solve -d*x = -x for x.
0
Let f be (18/(-45))/(2/(-10)). Solve f*v - 10 = 7*v for v.
-2
Suppose 3*l + 2 = 2*l. Let z(a) = a**2 + 6*a + 8. Let p be z(-5). Let i be l + p - (0 + 1). Solve 2*c + i - 4 = 0 for c.
2
Let f be (0*4/(-24))/((-3)/1). Suppose -2*r + 6*r - 18 = -m, 2*m - 6 = -2*r. Suppose 4*l - 10 = 2*i, -2*l + r*i = -3*l + 30. Solve l + f = -v for v.
-5
Let p(y) = -2*y. Suppose 0*x + 4*x = -4*n + 44, n + 5*x = 23. Suppose 2*l + 1 = s, -4 = -4*l - n. Let m be p(s). Solve 2 = m*c - 0*c for c.
1
Let b = 0 - 0. Let w be 2 + (1 - (b + 1)). Solve w*x = x - 4 for x.
-4
Suppose 0*s + s - 4 = 0. Suppose 0 = -s*a + 6*a. Solve -p = -a*p + 4 for p.
-4
Let q be ((-1)/4)/(2/(-8)). Let d = 1 - q. Solve -6 = -d*x - 2*x for x.
3
Suppose -3*f - h = -12, -16 = -5*f + f - 3*h. Solve -f*j = j + 25 for j.
-5
Suppose 3*k + 3 = -2*g + 9, 0 = g - 3*k - 3. Suppose -4*q - m + 8 = 0, 3*m - 2 - 1 = -5*q. Suppose -3*u = -q - g. Solve u*a - 3 = a for a.
3
Let k = 33 - 29. Let r be (-8)/6*(-9)/3. Suppose u + 0 = -3, -3*j - r*u = -6. Solve 2*a - k*a + j = 0 for a.
3
Let b(s) = s**3 - 9*s**2 - s + 9. Let m be b(9). Suppose -3*f + 6*f - 9 = m. Let k be 1 - -4 - (1 - 2). Solve f*o - k = -0*o for o.
2
Let f = 8 + -6. Solve -15 = -3*r - f*r for r.
3
Let c(b) = -b + 9. Let s be 4 + (-3)/(-6)*0. Let z be c(s). Suppose -3*m + z*m = 0. Solve m = -3*p - 0*p + 12 for p.
4
Suppose 5*c + 16 = 6*c - 4*v, 0 = 5*c - 5*v - 35. Solve c*x - 6 = 6*x for x.
-3
Suppose l - 3 = -0. Suppose -f - 5*t + 5 = -l*f, f = -2*t + 2. Solve f*p = -p for p.
0
Let o = -3 + 4. Suppose -3 = 3*y, 0*t = -t - 2*y + 2. Suppose t = -3*z + 4*z. Solve -5*m = -z - o for m.
1
Let m(t) = -11*t**2 - 29*t - 29. Let v(c) = -4*c**2 - 10*c - 10. Let l(j) = -3*m(j) + 8*v(j). Let b be l(-6). Solve -x = -3 + b for x.
2
Let z(h) = 4*h - 14. Let k be z(4). Suppose 4*x - 2*l - 24 = 0, 4*x = 4*l - k + 30. Solve x = -3*r - 4 for r.
-3
Suppose 3*t + 5 = z, -z + 1 + 4 = 4*t. Suppose -f + 4*p - 8 = 0, 3*f + 4 = z*f + 2*p. Solve f*n = n - 4 for n.
4
Let d = 1 + -1. Let i be (d + -1)/((-3)/6). Suppose -12*v = -8*v - 28. Solve -i*h - 5 = -v*h for h.
1
Let d(o) = o**3 - 5*o - 1. Let t be d(-4). Let m be 12/(-2)*t/54. Solve 1 - 16 = m*v for v.
-3
Let a be (1/(-2))/(8/16). Let s be (-1)/(3*a/(-9)). Let u = s + 10. Solve -u = 4*k + 13 for k.
-5
Suppose 0 = -2*n - f - 5, 3*n = 7*f - 2*f + 25. Solve n = -4*p + 4 for p.
1
Suppose 3 = 3*a + s, 0*s - s = -5*a - 3. Suppose 6 = 2*q - a*q. Solve 2 + q = x for x.
5
Let x(g) = -g + 4. Let y be x(4). Let i(m) = -m**3 + m**2 - m + 1. Let j be i(0). Solve a - 3 + j = y for a.
2
Let d = 5 + -2. Suppose 2*q = -c + 7 + 7, 5*q - 13 = 3*c. Solve -c*p + d*p = 2 for p.
-2
Let y be -24*(-3 - 1 - -3). Let k = y + -8. Solve 5*t - t - k = 0 for t.
4
Suppose -14 = -10*p + 8*p. Let t = p - 7. Solve t*j - 9 = -3*j for j.
3
Let m(p) = -4*p**2 + 27*p - 8. Let b be m(6). Solve -2*i + b = 2 for i.
4
Suppose 5*z - 5 = 2*f + 3, f = -4*z - 4. Solve z*v - 5 = v for v.
-5
Let z(q) = -q + 4. Let a be z(2). Solve 1 + a = -3*o for o.
-1
Suppose 7*q = 3*h + 3*q - 12, -5*q = 3*h - 12. Solve 20 = -h*m + 8*m for m.
5
Suppose 2 + 1 = r. Suppose -r*o + 2 + 13 = 0, -5*o - 100 = -5*l. Solve 2*y + 3*y + l = 0 for y.
-5
Let b(g) = -3*g - 25. Let w be b(-14). Solve -5 = 3*s - w for s.
4
Let n(z) = -2*z**2 - 24*z + 2. Let h be n(-12). Solve 0 = h*f + 3 - 5 for f.
1
Let l = 1 + 0. Let w be 1 - l - (1 + -19). Let n = -13 + w. Solve -3*i = -n*i for i.
0
Let h(x) = -5*x**3 - 4*x**3 + 3*x**3. Let b be h(-1). Let v = b - 4. Solve 3*q = -v*q for q.
0
Let d be (-9)/(-4) + (-9)/36. Solve -2 = d*f - 6 for f.
2
Let k = -5 + 9. Let w = k + -3. Let b be ((-1)/w)/(3/(-6)). Solve -9 = -b*d - 1 for d.
4
Suppose 3*s + 2*i + 3*i = -19, 0 = -3*s - 3*i - 9. Solve u - s = -u for u.
1
Suppose 5 + 1 = c. Let v(u) = u**3 - 7*u**2 - 9*u + 11. Let t be v(8). Let w = t + c. Solve w - 3 = -2*i for i.
-3
Let f be 3/(-5) + 187/(-5). Let s be f/(-3) - 2/3. Solve 0 = 5*a - 2*a - s for a.
4
Let d(p) = -p**2 + 3*p + 4. Let s be d(4). Suppose 0 = -s*t - 3*t + 12. Suppose 3*r = -r. Solve -2*v = -r*v - t for v.
2
Suppose -3*p + 20 = 5*v + 2*p, 0 = -v + 2*p - 8. Suppose -2*k + 21 + 19 = v. Solve -k = -3*d - d for d.
5
Suppose -t + 5*z + 11 = -11, -24 = -t + 3*z. Suppose -t*p + 4 = -25*p. Solve 0 = y - 2*y - p for y.
-2
Let y = -19 - -34. Solve -2*v = 3*v + y for v.
-3
Let y(i) = -4*i - 14. Let l be y(-4). Solve -4*b + l*b = 0 for b.
0
Suppose 0 = 5*z - i - 21, -3*z - i = 6 - 25. Solve z*a + 0 = 5 for a.
1
Suppose 3*u = 2*u + 4. Let h(s) = s**3 + 4*s**2 + 3*s. Let l be h(-2). Solve l*m - m = u for m.
4
Let u be (6/(-15))/1*-5. Solve 0 = u*l - 7*l + 20 for l.
4
Let b(c) = c**3 + 7*c**2 + c + 10. Let m be b(-7). Suppose -m*y - 4*l + 5 = 0, -y + 2*l - 7 = -4*y. Let n be 1*(1 + (2 - y)). Solve -r + 0 + 1 = n for r.
1
Suppose 2*t - 1 - 5 = 0. Suppose 5*d - 7 = t. Let j(m) = -5*m**3 - 4*m**2 - 3*m - 1. Let o be j(-1). Solve 0 = -o*v + d*v + 2 for v.
2
Let c be (-3 - 1)/4*3. Let q be (c/(-6))/((-6)/(-96)). Solve -p = p - q for p.
4
Let f(g) = g + 11. Let m be f(-9). Suppose -k = -4, -20 = -4*j - 0*k - k. Solve m*a + j = -4 for a.
-4
Let u be 23/7 - (-8)/(-28). Suppose u*j - 4 = -j. Solve -j = -x - 0 for x.
1
Let y = -68 + 70. Solve y*q = 3*q for q.
0
Let j be (-8)/6*(-3)/2. Let x = j - 2. Solve x*b + 2 = b for b.
2
Suppose -3*s - 2*g = -4*s + 16, -3*s = 3*g - 21. Suppose -4*u - 2*q + s = 0, q + 3*q = -2*u + 8. Let m be 6 - ((3 - u) + 2). Solve m + 2 = z for z.
5
Suppose -5*r - 4*c - 15 = 0, c - 21 = 4*r + 6*c. Solve -2*f - r = 9 for f.
-5
Suppose -5*a = -4*t + 11 + 5, 3*a + 20 = 5*t. Solve 1 = -l - a for l.
-1
Suppose -3 = -4*t + 13. Let d = 1 + t. Let w = -8 + 12. Solve w*o - 21 + d = 0 for o.
4
Suppose 0 = -7*j + 66 - 24. Solve -i = 2*i + j for i.
-2
Let n = -5 + 11. Suppose -6 = -n*d + 3*d. Solve d + 0 = m for m.
2
Suppose 0 = 14*s - 16*s + 10. Let d(r) = r**2 - 5*r + 2. Let j be d(s). Solve 4*t - 22 = -j for t.
5
Let a be (4 - (0 + 1)) + 2. Let t = 68 + -43. Let r = 22 + -22. Solve -a*h = -r*h - t for h.
5
Let x be 0 - 1/(-2)*0. Suppose -5*k + 9 = 2*b + 3, x = 5*k + b - 3. Solve 2*z - 4 = -k*z for z.
2
Let s(m) = -3*m - m**2 - 2*m + 3 - m. Let n be s(-6). Suppose -i = -0*d - d - 14, 4*d = n*i - 41. Solve i = v + 4*v for v.
3
Suppose 0 = -5*y + 2*h + 11, -2*h - h = -6. Suppose -5*t + y*t = -2. Suppose 25 - 10 = 5*z. Solve -t + z = 2*w for w.
1
Let g(a) = -a - 8. Let n be g(-8). Solve 4*c + n*c = 8 for c.
2
Let x be 9 + ((-24)/4)/2. Solve j + 2*j + x = 0 for j.
-2
Suppose -10 = -2*x + 7*x, g = -4*x - 5. Let t be 1/g*3*5. Suppose -2*s - c + 6 = 0, -s - t = 2*s - 2*c. Solve 2*k - 7 - s = 0 for k.
4
Let w(l) = -l**2 - 6*l - 7. Let n be w(-5). Let a be (-1*(2 + 2))/n. Suppose -a*y + 5*r - 3 = 0, 5*r = -3*y + 18 + 15. Solve 5*s - 9 = y for s.
3
Let m = -16 - -26. Let q be m/(-15) - 5/(-3). Solve 2*y = -5 - q for y.
-3
Let g = 68 + -64. Solve 6*m = g*m - 6 for m.
-3
Suppose -21 = -5*p - 2*d, p - d = 6*p - 23. Suppose 3*t - 31 = c, 2*c - 4*c = -10. Suppose p*z - 27 = -t. Solve -10 = z*m + 2*m for m.
-2
Let p = -41 + 42. Solve 0 = -5*l + 4*l - p for l.
-1
Let k = -2 - -2. Suppose 5*j = 3*j + 4. Solve k = -l - j for l.
-2
Let i(u) = u**2 - 4*u + 1. Let d be i(0). Let o be (-2)/(-3) - (-6)/(-9). Solve z + d - 4 = o for z.
3
Let a(d) = d**2 + 12*d + 11. Suppose -42 = 4*k - h, 4*k - 4*h = h - 34. Let v be a(k). Solve v = 2*z + 2*z + 16 for z.
-4
Suppose 5*u + 5 = -0. Let h = u - -4. Solve 2*v + h = 7 for v.
2
Let x(t) = t + 2. Let o be x(0). Suppose 10*p = 8*p. Let i = p - -5. Solve -o + 7 = i*g for g.
1
Let v = -61 + 66. Solve -5 - v = 2*h for h.
-5
Let n(f) = 7*f - 2 + 3 - f**2 + 2 + 5. Let i be n(7). Solve 5*v = v - i for v.
-2
Let j(n) = -2*n - 2. Let o be j(-3). Suppose 3*q - 11 = -4*u + 2*q, 2*u = 5*q - 11. Suppose w + u*w = 6. Solve o*y + 10 = w for y.
-2
Suppose j - 18 - 9 = -4*n, -3*j = -5*n + 55. Solve 2*u = -4 + n for u.
2
Let s be 3 + 0 + 0 