 for l.
3
Let m = 20 - 10. Let v be ((-12)/m)/((-3)/15). Let k be 22/v - 4/6. Solve 5*c = 4*i + 17, 6 = k*c - 9 for i.
2
Let t = -57 - -62. Solve t = k + 4*u, 4*k - 2*u - 8 = -6*u for k.
1
Let f(j) = -5*j - 3. Let z be f(-2). Suppose -z + 1 = 2*g. Let w = -1 - g. Solve 3*p + 3*a = 9, -p + 0*a - 3 = -w*a for p.
1
Suppose 5*w + 2*t = 2, 6 = 4*w - 2*t - 10. Let z be (-3)/(-9)*(0 + 9). Suppose -5*g = -3*d - 16, -d + 8 = -g - 6*d. Solve -z*j = w*v + g*v - 21, 15 = 5*j for v.
3
Suppose -2*t + 7 + 3 = 0. Let h = t - 5. Solve 4*u = -4*i - 4, 2*i + 3*u = -6 - h for i.
3
Let a(i) = 17*i + 1. Let c be a(-2). Let z be 4/(-22) - 6/c. Solve 5*n - 10 - 5 = -s, -3*s = z for n.
3
Let d = -7 + 7. Let k be 1/(d + (-3)/(-15)). Suppose a - 10 = -3*y + 4, -4*y = -k*a + 13. Solve 3*z - z - 16 = y*u, -2*u + 4*z - 24 = 0 for u.
-2
Suppose 3*z - 4 = z. Suppose w + 3 = z*s, s - 4 = -2*w - 0. Let h = s + 1. Solve -2*y - h*y = -m + 10, -m = -4*y - 7 for y.
-3
Let s(t) = t**2 - t - 4. Let n be s(5). Suppose -12*d = -n*d + 4. Solve -3*r - 5*z - d = 0, -3*z + 1 + 2 = 0 for r.
-2
Let a = 5 + -3. Let f be a/4 + (-2)/(-4). Suppose f - 2 = -z. Solve -2*c = -5*n - z, 4*n + n = -c - 7 for c.
-2
Suppose 2*f = 4*f + 8. Let q(v) = 4*v**3 + v - 1. Let o be q(1). Let m = f + o. Solve m = 2*c - 3*d + 2 - 10, 3*c + 26 = -5*d for c.
-2
Suppose -12*u = -14*u + 10. Solve 5*k + 2 = u*y - 18, -2*y - 5*k + 15 = 0 for y.
5
Let o = -13 + 26. Let r = o - -2. Solve 0 = -4*c + 5*h + r + 11, 2*h - 12 = -4*c for c.
4
Suppose i = b - 1, 4*b = 5*i - 0*b + 7. Let v be (-2 - i) + (0 - -3). Solve -2*g = v*j - 6, g = -3*g + 20 for j.
-1
Suppose -4*w + 0*w - 4*g + 24 = 0, -3*w + 3*g + 48 = 0. Solve 3*d + 2*l - w = 0, -3*l = -d - 0*l for d.
3
Let y = -1 + 7. Suppose -2*p = -o - 4 - 2, -2*p = -5*o - y. Solve p*a + 6 = w - 2*a, -5*a = 4*w + 26 for w.
-4
Let x(i) = 2*i - 19. Let c be x(11). Let r = 168 - 118. Solve -r = 2*m + c*m - 5*o, -2*m - 25 = -3*o for m.
-5
Let v = 1 + -5. Let z(l) = l**3 + 3*l**2 - 6*l - 4. Let n be z(v). Solve n*p + 24 = 4*f, -3*p = -3*f - p + 13 for f.
1
Suppose 3*m - 6 = 2*i + 12, 4*m + 5*i = 1. Solve 3 - 4 = -w - y, 14 = m*w - y for w.
3
Let w be 196/16 + (15/12)/(-5). Solve 1 + 2 = 3*r, 5*k - w = 3*r for k.
3
Suppose -31 - 32 = -7*w. Solve 2*h - 1 = k - 6, w = -3*h for k.
-1
Suppose 0 = -k - 5*z + 5 - 4, k = -z + 1. Solve 0 = -3*r - 5*c - k, -3*c + 1 = -5*r + 22 for r.
3
Suppose -4*u + j + 2*j + 14 = 0, -2*j = u + 2. Let i be u/6 + 112/24. Solve 3*m - i*o + 13 = 0, 4*m + 2 = o - 2*o for m.
-1
Let n(f) = 2*f + 38. Let x be n(-21). Suppose -2*j + 2*t = -0*j - 34, 5*j + 4*t - 40 = 0. Let a be (-10)/x*j/10. Solve -2*c + 8 = 0, 3*d - a*c + 9 = -15 for d.
-4
Suppose 4*y - 2*d + 7*d = -6, -5*d - 9 = y. Solve 0 = -c + 2 + y, -1 = -5*v + 3*c for v.
2
Suppose 5*m - 5 = 5*q, -4*q + 3*m + 1 = -0. Solve o + q*v = -25, 5*o + v = -2*v - 40 for o.
-5
Let l = 4 - 4. Solve -3*q - 2*f = -q, -4*q + f - 20 = l for q.
-4
Suppose -2 = -4*o + 2*g, 5*o = 4*g - 4 - 1. Suppose -o*x + 0 + 6 = 0. Solve 1 = -2*z + 3*v, 0*z - 5 = -x*z - 3*v for z.
1
Let j(w) = w**2 + 5*w - 4. Let a be j(-6). Suppose 0 = a*n - 7 - 3. Solve 3*f - 2*k + 8 = 0, 4*f - n*f = -5*k + 20 for f.
0
Let m(s) = s**3 - 7*s**2 + 8*s - 8. Let i be m(6). Let u = i - 0. Solve -5*y + 0*r = -u*r - 9, -9 = -y - r for y.
5
Let x be ((-6)/(-12)*0)/(-1 + -1). Solve 2*f - 15 = -3*f - n, x = -f - n - 1 for f.
4
Suppose -n = 15 - 31. Solve -4*l + n = -5*g + 3*g, 0 = -5*g - 4*l + 2 for g.
-2
Let p = 180 + -176. Solve 3*q = 3*m + 3, -5*q + 10*q + p*m = -22 for q.
-2
Let c = 3 - 1. Let k be (5/3 - c)*0. Let x be 3 - k*2/(-4). Solve -7 = -r - 2*r + 4*v, 4*r - x*v = 0 for r.
-3
Suppose 9 - 3 = 3*n. Let f be ((-10)/(-3))/((-6)/(-9)). Solve n*c + 7 = f*c - 5*a, 4*c - 4 = 4*a for c.
-1
Suppose 3*x + 6*c = 2*c + 11, 9 = x - 4*c. Suppose 4*f = -f - x. Let h be f*(-3 - -1) + 28. Solve 2*g - h = 4*n, -25 = -4*g - n + 2*n for g.
5
Let q be ((-6)/(-15))/((-1)/(-10)). Suppose 2*j + q*l = 4*j, -4*j = 2*l - 10. Solve -j*m - 3*r + 5 = -8*r, 2*r = 5*m + 19 for m.
-5
Suppose -221*w = -219*w. Solve 4*a - 16 = 0, w*v - 3*a = 4*v + 4 for v.
-4
Suppose 3*l - 3 = -0*l. Let k(g) = g**2 + 5*g - 10. Let v be k(-7). Solve l = 4*p + w - 6, -v*p + 3*w + 27 = 0 for p.
3
Let h = -7 - -12. Suppose h = -2*p - 1, 0 = x + 3*p + 1. Solve x*a - 4*a + 22 = -2*y, 0 = -4*a - 5*y - 31 for a.
-4
Let q = 6 + 2. Let l = -8 + q. Let s = l - -2. Solve s*y - 9 = -u, y + 2*u - u - 5 = 0 for y.
4
Let k(c) = c**3 + 6*c**2 + 7*c - 2. Let m be k(-3). Solve 3*x - m*i + 1 = 0, -9 = 5*i + 1 for x.
-3
Let i = -4 + 6. Suppose -3*o - n - 9 = 2*n, 0 = -3*n - 3. Let u be (o/(-1) - 0) + -2. Solve 2*v - 2*g + i = u, -g - 3*g = 0 for v.
-1
Let q be -1 - (-2 + 1)*2. Let o be (-1 - q)*(-6 - -4). Solve 0 = 5*n + 2*s - 1 + 2, 0 = o*n - s + 6 for n.
-1
Suppose 3*s - 6 = -39. Let f = -8 - s. Solve -4*m + 2*j - 8 = 0, 0 = -4*m + f*j - 3 - 7 for m.
-1
Let u be 1/4*-2*0. Let z be 25 + (u - 0) + -1. Solve 0*w = 2*w + 10, -4*v + 4*w = -z for v.
1
Let s(i) = -2*i + 19. Let v be s(6). Solve 0 = v*b - 5*b + 2*a + 14, -3*b - a = 11 for b.
-2
Suppose -a + 24 = i, 4*i = 3*i + 3*a + 20. Suppose 5 = 5*s + 15, i = -h + 2*s. Let w = -1 - h. Solve -5*b + w = -2*p, b = -4*p - 8 - 0 for b.
4
Let f(z) = z + 1. Let y be f(4). Let w(v) = -v**3 + 4*v**2 + 5*v + 3. Let i be w(y). Let l be (-3)/(-9) - (-56)/12. Solve -4*q + s = 14, -q + i + 4 = l*s for q.
-3
Let z(f) = -4*f - f**3 + 5*f + 4 + 2*f**2 - 2*f**2. Let c be z(0). Solve 2*y = -5*r - 4 + 39, -4*r = -c*y for r.
5
Let w be -4 + -2 + 2 + 7. Solve 4*v + l - 17 = 0, -w*v + 13 = -l - 5 for v.
5
Suppose 0 = 23*f - 19*f - 16. Solve 2*r = -3*b - 0*r + 8, -5*r = -f*b - 20 for b.
0
Let v be ((-6)/(-9))/((-4)/(-66)). Let a = v + -6. Solve a*c + 16 = -3*s, 3 = s - 5*s - 3*c for s.
3
Let k(o) = -o + 5. Let y be k(3). Suppose -3*w = -w - y*a - 30, -4*a - 36 = -2*w. Solve -j + 17 = -n - 6*j, 3*j + w = 0 for n.
3
Let p(a) = 3*a - 1. Let m be p(1). Suppose -3*x = -m*v - 0*v - 34, 4*x = 16. Let h = -7 - v. Solve -h*w = -q + 6, 3*q + w + 11 = 3 for q.
-2
Suppose 0 = -12*x + 4*x + 24. Suppose 18 = 4*s - 2*m, 0*s - 4*s - 3*m + 3 = 0. Solve 3*y + s*f = -9, -3*y = -2*f + x*f + 7 for y.
-2
Suppose -4*h = 4*h - 96. Solve -h = -4*q + 5*t, 4*q + 3*t - 10 = 2 for q.
3
Suppose 0 = 4*y - 23 - 5. Let p = -9 - -13. Solve -k + 5*u + y = p*u, -k - 2*u + 1 = 0 for k.
5
Suppose -28*f - 36 = -40*f. Solve -4*y = -f*j - 13, -5*y + 0*j - 3*j = 4 for y.
1
Let s = 25 + -21. Suppose -m + 21 = 3*g - s*m, -g = 4*m - 2. Solve g = -2*z - 2*x, -3 = 4*z + x + 3 for z.
-1
Let o be 2/13 - (-1221)/429. Suppose -108 = -5*w + 3*c, -70 = -3*w - 2*c - 9. Solve 5*i - w = f, o*f = -f + 16 for i.
5
Let q be ((-6)/(-5))/(8/20). Suppose q*a + 0*a - 18 = 0. Suppose 0*h - 3*h = -a. Solve -2*j = h*g + 12, 5*g + 3*j - 8 = -34 for g.
-4
Let s(o) = 21*o**2 - 2*o + 1. Let l be s(1). Solve -2*b + 3*a = 5, l = -2*b - 2*b - 4*a for b.
-4
Let m = -3 + 4. Suppose 3 = t - m. Suppose -t*j - 2 = -26. Solve 5 = -3*a + f + 1, -f + j = -5*a for a.
-1
Let k = -7 - -13. Suppose -3*q + k*q + 5*a = 54, 3*a = -9. Let f = 85 + -58. Solve 0 = 4*v - 9*v + 2*d - f, 2*d + q = -5*v for v.
-5
Suppose -4*b = -6*b. Solve b = v + 3*f - f, 0 = -f for v.
0
Let c be (-1)/(-3) - (-80)/30. Solve 0 = c*n + 3*p - 12, 2*p - p = -2*n + 6 for n.
2
Suppose 10*p - 1 = 39. Solve -p*m + 11 = -b, -m + b = 4*m - 13 for m.
2
Let f = -5 + 1. Let n(i) = -i**2 - 5*i. Let y be n(f). Solve 3*b = -t + 9, 0 = y*t + 12 for b.
4
Let f(k) = 3*k - 12. Let j be f(5). Suppose 0 = 3*t + 18 - 99. Solve -5*y - 2*w - 33 = 0, -4*w - t = j*y + 4 for y.
-5
Let u be 2/5 - (-36)/10. Let m(d) = -5*d + 4. Let j be m(0). Solve 5*p - 4*p - 1 = g, -u*p - j*g = 4 for p.
0
Suppose 0 = -3*z + 2 + 10. Suppose -z*x + 76 = 3*o, -x - 7 - 16 = -o. Solve -7*y = -3*y + 5*j - 41, -y - 4*j + o = 0 for y.
4
Suppose -2*y + 2 = 6*v - v, 5*v = -4*y - 6. Suppose -3*t = v*t - 10. Let l(n) = 4*n + 1. Let f be l(2). Solve -6 = -3*z, -z - f = -t*a - 3 for a.
4
Let b(q) = -q**2 + 8*q + 3. Let h = 3 - -4. Let a be b(h). Solve -3*u - a = w - 0*u, 4*w = -4*u - 24 for w.
-4
Suppose 2*q = -10, -5 - 4 = -4*y - 3*q. Solve 2*f + 5*j + 20 = -f, -j - y = f for f.
-5
Suppose -2*u + u - 19 = 5*x, -5*u + 40 = -2*x. Suppose j - 1 = 2. Let c = u - j. Solve 3