h*l - l - 3*j + 18 = 0 for l.
4
Let c = 51 + -31. Suppose 3*j - 7*j = -c. Solve -3*a + 15 = 3*t, j*a - t - 7 = 3*a for a.
4
Suppose -4*c + 24 = -5*t, -5*c + 0*c + 21 = -4*t. Let g be 3*c - (6 - 8). Solve 7*i + 20 = 3*i + 4*f, 4*i - g*f + 21 = 0 for i.
-4
Let q be 1*(-2 + 1) - -3. Solve -q*l + b + 1 = -4*l, -b = -3 for l.
-2
Let m(a) = a - 3. Let t be m(7). Let o(d) = d**3 + 6*d**2 - 10*d - 11. Let p be o(-7). Solve u - 3 = 2*w + 2*u, 2*u - p = t*w for w.
-2
Let h(v) = -4 + 0*v**3 + 2*v - v**3 + v + 2*v**2 - 3*v**2. Let c be h(-3). Solve -c*i = -4*o + 7, -5*o + 4 = -i - 10 for o.
3
Let c be (-1)/5 + 6/30. Let z = c - -12. Let t = z - 7. Solve -b + 18 = -3*s + 7, -5*s = t*b + 25 for b.
-1
Let q be (-2 - -4)/2 - -7. Solve 5*j - 2 - 8 = 5*o, -4*o = -q for j.
4
Suppose -5*u - 2 + 32 = 3*v, 0 = 4*v + u - 23. Solve -9 = v*g - 2*q + 5, -q = -2*g - 5 for g.
-4
Let f = -95 - -98. Solve -3*k = -k + f*i + 5, 0 = -5*k - 2*i + 4 for k.
2
Let q be 3*((-10)/6 - -2). Suppose 8 + q = 3*a. Let x = 2 + -2. Solve -a*p = x, -m + 5*p = m for m.
0
Suppose 2*p = 5*p - 12. Suppose -3*h - 20 = -7*h. Suppose -c + 0*c = p*u - 36, 0 = -h*u - c + 45. Solve 2*b - b = -3*z + u, 3*z - 21 = -5*b for z.
2
Suppose 15 = -38*u + 43*u. Solve u*j - 21 = 3*z, 2*z - j + 2 + 10 = 0 for z.
-5
Let d = 3 + -1. Let k be (d/(3/3))/2. Solve 0 = 5*h + 5*r - 10, 5*h - 18 = 4*r + k for h.
3
Let l = 19 - 17. Solve -r + 2*q + 3 = 0, l + 4 = -4*r - q for r.
-1
Let r be (0/(16/(-4)))/(-2). Suppose i - 4*i + 15 = r. Solve 4*v + 13 = n - 2*n, i = -n for v.
-2
Suppose 2*b = -i + 14, -3*i + 2*i = -4*b - 20. Let n = 22 - i. Suppose 3*q - 24 - n = 0. Solve -o = -4*x - 5, o - 3*o = 4*x - q for o.
5
Suppose -9 = -4*u + 3. Suppose -3*h + 0*r = -5*r, u*h + 3*r = 0. Let p = h + 5. Solve 4*o + 10 = -p*a, 3*a + 0 = 2*o - 6 for o.
0
Suppose -2*h - 4*m = -0*m - 34, 21 = h + 3*m. Let s = 17 + h. Solve 5*u - p = s - 1, p - 7 = -3*u for u.
4
Let y(o) = o**3 - 7*o**2 - o + 6. Let b be y(7). Let s(p) = -20*p. Let a be s(b). Solve 2*j + a = -6*h + 3*h, 0 = 3*h - j + 8 for h.
-4
Suppose -q + 12 = -2*y - 0*q, 0 = -2*q. Let p be y/9 + (-4)/(-6). Solve 4*v = -4*o + 12, -2*o + p*o - 5*v + 9 = 0 for o.
2
Suppose 3*w + v = 11, v + 7 = 12. Solve d + 10 = 2*r, -2*d - r - 4 = w*d for d.
-2
Let w = 3 + -3. Suppose -2*b + 4 + w = 0. Solve 2*i = -5*a + 2, -a - b*i = -0*i + 6 for a.
2
Suppose 5 = -13*z + 14*z. Suppose 2*y + i = 2, 2*i - 4 = 5*y - 0*i. Solve 0*v + 3*v = o, o - z*v - 2 = y for o.
-3
Let d = 0 - -4. Let b(h) = -h**3 + 5*h**2 - 3*h. Let z be b(d). Solve 0*u + 15 = 2*w + 3*u, 0 = 4*w + z*u - 20 for w.
0
Suppose 0*h + 20 = 4*h. Suppose -w + 2*w = -j - 2, 5*j = -w + 6. Let y(o) = o**2 - o. Let n be y(w). Solve -d = s + 2*s + 18, -s - h*d = n for s.
-5
Let n(w) = -7*w - 2. Let h be n(-1). Solve -4*m + l - 3 + h = 0, -4*m + 8 = 2*l for m.
1
Suppose 4*g - 72 = 8. Solve -4*x - 3*r = -6*x - 15, -2*x = -4*r + g for x.
0
Suppose 0*a = 3*a - 6. Suppose 4*p + 5*d - 1 = 0, -2*p + 22 = 2*p - a*d. Suppose -2*m + 2 = -p. Solve 1 = -l - 3*i - 9, m*i = -15 for l.
5
Suppose -2*r + 4*z + 32 = 2*r, -2*r - z = -4. Suppose -r*f = -68 + 16. Solve -s + u + 8 = s, s = -4*u + f for s.
5
Let v = 7 + -3. Solve -v*q + 45 = 5*j, 4*j = -5*q + 3*j + 30 for q.
5
Let c(u) = -3*u + 74. Let v be c(24). Solve 2*q - 5*k - 10 = 12, k + 6 = v*q for q.
1
Suppose -2*m - 11 = -3*g, 2 = -4*m + 4*g - 2*g. Solve -2*v = m*v + 3*a + 18, -2*v - 8 = a for v.
-3
Let p be 8/4 - (5 - -1). Let d = -1 - p. Solve 2*y + 22 = -3*n, -d*y + 4 = -4*n + 3 for y.
-5
Suppose -p = 3*u - 2*u - 18, 0 = 3*u - 3*p - 60. Let q = -6 + u. Solve -3*h + h = -4*c - 14, 3*h = -2*c + q for c.
-1
Let i = 25 + -19. Suppose 5*b - i*b + 2 = 0. Solve 2*l - z = -11, -5*z + b = -3 for l.
-5
Let u be 5 - 2/4*-2. Suppose -u*s + 20 = -s. Suppose -16 - 28 = -s*f. Solve 0 = -5*g + r - f, -2*g + 6*r - r + 14 = 0 for g.
-3
Suppose -3*f = -4*f + 3. Solve f*b + 2*t = -2*b - 5, 3*t + 15 = 0 for b.
1
Let a be 2/9 - 48/(-27). Let h = 3 + a. Let z be (-12)/(-8)*(0 + 8). Solve -h*j - 3*p + 11 + 21 = 0, z = 5*j - 2*p for j.
4
Let f be 1 - (0 - (-2 - -3)). Let y(b) = -b**2 - 18*b - 15. Let m be y(-17). Let r be 9/m*f*1. Solve k = x - r, -k + 0*k - 3*x + 7 = 0 for k.
-5
Let n be (-1 - 2 - -3)/(-2). Suppose -w - 4*w + 25 = n. Solve -v + 3 = 7, -w*i - 31 = 4*v for i.
-3
Let r(h) = h**2 + 10*h + 1. Let z be r(-10). Let n = 5 + z. Suppose -2*y - n = -22. Solve s = -2*c + 3, 3*c + 2 = y for s.
-1
Let k be (1/3)/(12/72). Solve u + 5 = k*o + 2, -9 = 3*u for o.
0
Let v be ((-4)/4 - -2) + -3. Let m = 0 - v. Let s = -9 - -31. Solve 1 = 3*n + 5*f - s, m*n - 22 = -5*f for n.
1
Let l be ((-11)/(-11) - 23/(-1)) + 3. Solve -3*m + 6*d = d + 10, -2*d - l = 5*m for m.
-5
Suppose 0 = -5*q + 20, -2*q - 6 = -2*r + 10. Suppose 2*m - r = -m. Solve 4*l = m*t, 0 = 2*l + t - 4 - 2 for l.
2
Let r = -24 + 28. Solve -w + r*a = -a + 15, -4*w + 2*a = 6 for w.
0
Suppose -3*o + 2*o + 2 = 0. Suppose -3*k + 20 = -4*b - 17, o*k - 5*b - 34 = 0. Solve 14 = z - 4*m, -5*z + 0*z - m + k = 0 for z.
2
Let v(c) = c**2 - 2*c + 3. Let a be (-60)/(-48) - (-6)/8. Let j be v(a). Solve -j*n = 6*o - o + 22, -o = 5*n for o.
-5
Suppose 2*j = 4*j - 4. Solve -h - 4 = -j*h + 3*i, 5*h = 4*i - 13 for h.
-5
Let g be (15 - 17)/((-2)/(-3)). Let i be -1 - (-3 + (g - -2)). Solve -2 = -z - i*t + 1, -3*z - 4*t + 4 = 0 for z.
0
Let j = -17 + 28. Let c(i) = i**2 - 10*i - 11. Let b be c(j). Solve b = 4*l + r - 0 + 17, 1 = l + 2*r for l.
-5
Let c(f) = 6*f + 7. Let p be c(5). Solve -3*d + 3*a = -2*a - p, -2*a = 10 for d.
4
Let t = 6 - 3. Suppose 3 = 4*v - w, -2*v - 2*w = -7*w + t. Solve -b = u + 2*b - 7, -5*u + v = -2*b for u.
1
Suppose -2*f + 24 = 5*d, 0*d = -2*f + d. Let k(s) = 3*s - 2. Let t be k(f). Solve -5*b - 17 - 1 = 2*v, t*v = -b - 18 for b.
-2
Suppose -5*y = -10*y + 10. Suppose v = y*v. Solve 2*t - 4*j - 1 = 17, v = 4*t - j - 1 for t.
-1
Let h = -11 - -8. Let t = h - -6. Solve 4*n + n - 16 = t*o, 5*n = 2*o + 19 for o.
3
Suppose -3*x + 10 = -x. Let w be (-1)/(-5) - (-14)/x. Solve -j = -w*q + 5 + 7, 4*q = 4*j + 16 for j.
0
Let c be (-4)/16 + 51/12. Solve 3 = 4*v + 11, 2*v - 8 = c*b for b.
-3
Let m = 1 - -1. Solve -m*j = -u + 2 - 1, 1 = 3*u - 5*j for u.
-3
Let x be 4/(-6) - (-16)/6. Suppose 2*c = -x*c + 16. Solve -4*y = 3*q + y + 20, -c*q = 5*y + 20 for q.
0
Suppose 0 = 3*w - 76 + 70. Solve 5*q = t - 5, t - 4*q - 4 = w*t for t.
0
Suppose 2*t - t = 9. Solve -3*n = b + b - 13, -2*b + n = -t for b.
5
Let k(h) = -h**2 - h + 2. Let r be k(0). Solve 2*t = -0 - 2, -2*t = r*n + 2 for n.
0
Let f(s) = s**2 - s + 6. Let z be f(0). Suppose -8 = -z*u + 4*u. Solve -u*c = 4*d + 28, -2*c - 2*d + 6*d = -16 for c.
-2
Let v = 44 + -13. Let b(g) = -g + 7. Let h be b(4). Solve -h*t + v = 4*n, -n - 5*t + 41 = 3*n for n.
4
Let m(w) = -w - 12. Let t(v) = -v - 13. Let x(h) = 7*m(h) - 6*t(h). Let o = -1 - 5. Let s be x(o). Solve -5*l + 5*u + 20 = s, 5*l - u = u + 20 for l.
4
Let c(d) = -d**3 - d**2 + d + 3. Let h be c(0). Solve -h*j = t - 4*t + 12, -12 = 3*j + 4*t for j.
-4
Let h be 1/2 - 234/(-12). Suppose 5*i + 0 - h = 0. Let b(l) = -10*l**3. Let k be b(-1). Solve -2*p - k = -i*x, 4*x - 2*p - p - 11 = 0 for x.
2
Let a(l) = l**3 + 11*l**2 + 19*l + 13. Let n be a(-9). Solve 5*r + 0*r + 20 = 2*o, 0 = -n*o for r.
-4
Let c be (-3 + -3)/(-3)*1. Let y = c + 1. Solve -y - 18 = -n + 5*o, 15 = -5*n + o for n.
-4
Suppose 7*n - 2*n - 10 = 0. Let a = 1 + n. Suppose a*z + 0 - 12 = 0. Solve -t + 17 = 5*g, -11 - 1 = -z*g for t.
2
Let x be (6 - 1) + -16 + 13. Solve 3*w + x*h + 2*h = -2, -h - 1 = w for w.
-2
Let g be (-5)/20 + 3/12. Solve 0 = 4*f + 8, 2 = -o - g*o - 3*f for o.
4
Let j(b) = 2*b + 12. Let k be j(-5). Solve 3*i + 4 = -2, i + 2 = k*v for v.
0
Suppose -5*c = -5*t - 55, -3*t - 11 - 38 = -4*c. Solve -3*m + 16 - 4 = 5*v, -5*v = -m - c for v.
3
Suppose 3*b = 5*r - 11, 2*b + 10 = r + 3*r. Solve -r*d + 3*h = -29, d - 3*d = 3*h - 1 for d.
5
Let t be (12/(-1))/3 + 27. Solve 5*v + x = 2*x + t, 2*v + 4*x - 18 = 0 for v.
5
Suppose -2*m + 4*p + 10 = -12, -3*m - 3*p + 42 = 0. Let s = m - 5. Suppose 1 = -3*g - 11, -2*d = 3*g + s. Solve b = -b + d, -b + 5 = -4*a for a.
-1
Suppose -2*j = o - 15, 0 = -4*j - o - 3*o + 36. Let a = j + 0. Suppose 0 = 3*k - a*k + 66. Solve 3*g + 6*n = n - 14, -5*n - k = -g for g.
2
Let j(y) = y