l.
5
Let r = -11 - -15. Solve -4*h - 4*v = -0*v + 16, -r*v - 7 = h for h.
-3
Suppose 0 = -8*w + 7*w + 3. Suppose p - 10 = i, -4*p + p + 5*i = -40. Solve -w*y - y = -2*m + 4, m + 12 = -p*y for y.
-2
Let p be 84/24*4/7. Solve 4*z = -w + 5, 0*w = -p*z - 4*w + 6 for z.
1
Let m = 66 - 62. Solve 4*t = 2*l - 4*l - 12, 2*t + 12 = -m*l for l.
-2
Suppose 0 = -2*s - n - 8, -s = 4*n + 5 + 6. Let p be (-1 - s - 2)*1. Solve 2*h + 8 = -3*j - j, -h - j = p for h.
4
Let a(h) be the first derivative of -h**3/3 - h**2/2 + 2. Let i be a(-1). Solve -f - y - 1 = 0, -3*f + 3*y - 9 = -i*f for f.
-2
Let q = 30 - 26. Solve 4*x - 26 = -5*n - 0*x, -x + q = 0 for n.
2
Suppose 0*a + 32 = 2*a - 4*w, -4*a = -5*w - 70. Solve -5*z + 5*q + a = 0, 4*z - 7*q = -2*q + 21 for z.
-1
Suppose -4*b = 20, -2*v - 5*b = 16 + 5. Let s = 2 - v. Let a = -1 + 3. Solve -n = s, a*n + 15 = -0*u + 5*u for u.
3
Let r = 5 + -3. Let p(z) = 9*z + 4. Let w(l) = -17*l - 7. Let u(c) = -11*p(c) - 6*w(c). Let n be u(r). Solve -5*x + 30 = -n*v, -2*v = -5*v - 15 for x.
2
Let q = 7 - 5. Suppose -5*t + 32 = q*a + 4, 5*t + a = 24. Suppose -t - 1 = -5*m. Solve -p + m = u - 0, 0 = -4*p + 5*u - 32 for p.
-3
Suppose -3*i + 12 + 3 = 0. Suppose -i*v = v - 24. Solve 3*h + 2*x - 16 = 0, 0*h - v*h + 2*x + 12 = 0 for h.
4
Suppose 3*h + 3*u = -2*h + 108, 0 = -h - 5*u + 4. Suppose 5*f + 5*w - 6 = h, -3 = -3*w. Suppose -4*y + 8 = -8. Solve 4*v - 4*n = 4, f*v + n = -y + 9 for v.
1
Let m = 3 + -5. Let a(z) = -7*z - 5*z + 1 + 4*z. Let h be a(m). Solve -3 = i - 2*w - 2*w, 3*i + w = h for i.
5
Suppose -w + 2*w - 12 = 0. Let f(v) = -v + 14. Let g be f(w). Suppose 12 = g*h - 3*p, 2*h + 13 = 5*h - 2*p. Solve -h*c + 17 = 2*k - 0*c, 7 = 2*k + c for k.
1
Let x(z) = 2*z**3 + z**2 + 2*z + 5. Let d be x(0). Solve -m - 18 = -5*q + 5, -q - 11 = d*m for q.
4
Suppose 0 = 5*g + 7 - 27. Let c be 0*(3 - 14/g). Suppose 3*i + 4*s - 4 = 0, -3*i - 3*s + 6 + 0 = c. Solve 0*k + 4 = 4*k + i*d, 4*k - 19 = d for k.
4
Let o be 2/(-2) - (-5 - 9). Suppose -3*n = n - 20. Let p = -1 + n. Solve p*f - q + 4*q = 5, f + o = 4*q for f.
-1
Let d be ((-3)/(-6))/((-1)/(-72)). Solve -f + 4*r + d = 3*f, -f = -5*r - 25 for f.
5
Suppose -14 = -2*k + k. Solve -2*g + 11 = -0*g + o, -5*g + 2*o = -k for g.
4
Let c be ((-4)/6)/(16/(-72)). Let r = -17 + 20. Solve c*w + r*x + 27 - 3 = 0, -3*w - 12 = -x for w.
-5
Let b = 89 + -88. Solve 5*t + 4*j = b + 2, 4*t = 3*j + 21 for t.
3
Suppose 6*x = 3*x + 30. Solve 5*r + 2 = 17, x = h + 3*r for h.
1
Suppose g + 0*g - 5 = 0. Suppose 5*v - 2*k - g = -0*k, -2*k = 0. Suppose -3*s + 5 = -v. Solve -4*r - 13 = r - 3*w, -2*r = -3*w - s for r.
-5
Suppose 0 = -4*s - s + 20. Let h be (-21)/(-12) + 90/72. Solve s*u - 4*p = 24, -h*u - 3*p - 4 = u for u.
2
Suppose 2*p - 7*l = -3*l, l = -2*p - 5. Let b = p - -3. Suppose -2*a = b - 7. Solve 5*r = a*t - 6*t - 9, -4*t - 12 = 4*r for t.
-3
Suppose j + 4 = 28. Solve -f - f - 5*d = -27, -4*f - 4*d + j = 0 for f.
1
Suppose 0 = -5*n - 2*t + 41, -4*n + t + 25 = -13. Suppose 8*z = 3*z + 20. Let w = n - z. Solve -d - w*g - 9 = -0*g, -d = -5*g - 11 for d.
1
Suppose -2*l + 4 = -l. Suppose l*b - 3*w = 44, -4*w - 84 = -5*b - 30. Solve q - 5*i + 18 = 0, 2*q + b = 7*q + i for q.
2
Suppose 4*n + 4 = 0, 5*f + 2*n = 30 + 3. Solve -5*v = f*p - 2*p + 30, 3*v + 2*p + 15 = 0 for v.
-3
Suppose 9 + 1 = -k + 5*g, -3*k + 3*g = -6. Solve 2*s - f = 1, -f + 11 = s - k*f for s.
-1
Let d(s) = -3*s**3 + 2*s + 1. Let y be d(-1). Solve 2*b - 4 = 3*z, -b = -y*z - 0 - 1 for z.
2
Let t = 2 - -1. Let o(z) = -1 - z - t - 3. Let n be o(-7). Solve n = 5*m + 25, 17 = -u - 5*m - 11 for u.
-3
Let n(b) = b**2 + 3*b + 3. Let u be n(-4). Let y = u + -2. Suppose 4 = y*f + 4*j - 12, 3*f = -4*j + 8. Solve -2 - 23 = -2*v - 5*m, f*v = -m + 5 for v.
0
Let o = 5 + 0. Suppose -o*n + 20 + 20 = 0. Solve n = 5*p + 3*y, 0*p + p + 3 = 4*y for p.
1
Suppose 16 + 4 = 10*d. Solve -d*z = -4*j - 2, -4*z + 4*j + 23 = -9*z for z.
-3
Let k be 7*(150/35 + -4). Solve -o - j = 4*o - 13, 3*j = -k*o + 13 for o.
2
Let w be (-22)/4 + (-8)/(-16). Let h be w/(-5)*(0 + 5). Solve n + 2*k = 2, 3*n + 18 = h*k + 2 for n.
-2
Let v be (2 + -20)*1/(-3). Let j be 1 + 0 - (8 + -1). Let u be (-148)/j - v/9. Solve -u = -2*q - 4*f, 0 = -2*q + f + f for q.
4
Suppose 2*k - 38 = -8. Solve -2*g + 5*t + 13 + k = 0, 24 = g - 5*t for g.
4
Let t be (6/12)/((-2)/(-12)). Solve -j + t*g - 7 = 0, 3*j - j - 18 = -2*g for j.
5
Suppose -5*j + 2*z - 2 = 0, 4*j + 3*z + 3 = 6. Solve -m + 3*n = -1, -2*n + 4*n = j for m.
1
Suppose 48 = 4*o - 0*o. Solve 5*b - h - 23 = h, 2*b - o = -2*h for b.
5
Suppose 2 = 3*v + 5. Suppose -2*o + 1 = -1. Let a = v + o. Solve 3*s + x = -3, -2*s - 3*x + 0*x + 5 = a for s.
-2
Let z be (-3)/(-2)*(6 - 8). Let x be (4/(-6))/((-3)/117). Let l = x + z. Solve 0 = -4*s, -2*s - l = -3*q - 8 for q.
5
Suppose -3*o + 41 = 2*l + 2*o, -3*l - 3*o + 39 = 0. Let z = 10 + -6. Let x be (-3)/(33/(-12) + 2). Solve z*r + 2*g = -l, -g = -x*r + 5*r for r.
-4
Let o = -1 - -4. Let n(v) = -v**3 - 3*v**2 + 10*v + 4. Let l be n(-5). Solve l*c - 4 = 0, 2*j - 5 = -4*c - o for j.
-1
Let b be (3/15)/(1/5). Let o be 1 + (b - (-9 + 1)). Solve -3*x + a + o = -a, 3*a = -6 for x.
2
Let y be (6 - 10)/(1*-2). Solve -4*s = -4*t + 4, y*t - t + 2 = -2*s for t.
0
Suppose -4*v - 5 = -3*a, v = 3*a - 4*v - 4. Suppose 16 = a*z + 2*r, -2*r + 18 = 6*z - 2*z. Solve -2*t = -2*h - 10, 0 = -z*h + 7*h - 3*t + 15 for h.
0
Suppose 22 = 2*b - 4*i - 0*i, 5*i + 17 = -b. Solve -2*m - 2*r - 2 = 2*m, 0 = -b*r - 3 for m.
0
Let p = -13 - -25. Let m be -1 - (1 + p/(-2)). Suppose 3*w + 0*w + 35 = 4*s, 5*s - 35 = 2*w. Solve -2*c + 3*c = 5*x + s, 3*c - 4 = m*x for x.
-1
Let n = -2 + 4. Let v = 2 + -2. Let c = -11 - -15. Solve 0 = a - 2*u - 1, n*a + c*u = -v*u - 22 for a.
-5
Let i(u) = -3*u + 7. Let d be i(0). Solve -4*c + 5*z = d, -5*z = -c - 0*z + 2 for c.
-3
Suppose 2*n - 56 = -k, 2*n = k - 3*n - 28. Suppose k = 4*h - h. Solve i - 2*i - 1 = 5*t, 0 = -4*i + h for t.
-1
Let m be 12/(-10)*60/(-8). Let d = -5 + m. Solve d*u - 2*a = -0*u - 18, -5*u = 2*a for u.
-2
Let s = 10 - 6. Solve w + 1 = -0*c - 2*c, s*c = -w - 5 for w.
3
Let k = -21 - -29. Solve 0 = -2*n + w - k, -5*n - 3*w + 1 = 10 for n.
-3
Suppose 3*q = q + 4. Let l be (-3 - -5)*-1*-1. Solve -5*k + d - l*d = 28, q*k + 7 = d for k.
-5
Let u = 9 - 4. Suppose -4*d = -4, 0*d = -j - 3*d + u. Let n be 1*(0 - (2 - j)). Solve n = 4*t + 8, 0 = -2*s - 2*t - 5 - 9 for s.
-5
Let a(f) = f**2 - 7*f - 5. Let o be a(7). Let l = o + 7. Solve 0 = 4*x + 5*p + 10, -p + 26 = -4*x + l*p for x.
-5
Let o = 0 - -4. Let a = -3 - -3. Let n = 94 + -94. Solve n = 4*f + 2*u - 16, -o*f + a*u + 22 = -u for f.
5
Let p(o) = 29*o + 1. Let q be p(1). Suppose -d - d + q = 0. Suppose -a + d = 2*a. Solve 5*c = 3*h + 5, -5*c - 6*h + 3*h = -a for c.
1
Suppose 23 = 6*p + 5. Solve 2*k + 5 = p*g - 6*g, 2*k + 13 = 5*g for g.
1
Suppose -2*j + 4 = n, 4*j - n = -5*n + 8. Solve s = 3*o + j*s - 7, 2*o - 8 = -4*s for o.
2
Let c(i) = -i**3 - 2. Let k be c(0). Let o be 0*k/((-4)/(-2)). Solve b + o*r = -r + 9, -3*r - 8 = -4*b for b.
5
Let f = 4 - 2. Suppose p = f*p - 3. Let w be (5*3)/p + -1. Solve w*z = 0, -3*a - 4 - 5 = -4*z for a.
-3
Let b be 3 - ((-48)/(-20))/(2/(-10)). Let x(i) = i - 4*i + 0*i. Let j be x(-1). Solve 2*w + p = -1, b = -j*w + 3*p - 0*p for w.
-2
Let o(h) = -h + 1. Let z be o(-3). Solve 2*y = 4, -2*x - z*y - 1 = 1 for x.
-5
Let x be 0/(1*(2 - 4)). Let r(s) = x*s**2 - 4 + s**3 - 4*s**2 + 2*s + s**2. Let g be r(3). Solve 4*p - 10 = 2*q, 4*p + q - 3 + g = 0 for p.
1
Let k be (16/(-20))/(2/(-10)). Suppose k*i - 20 = 0, 2*b = 4*b + 5*i - 35. Solve 0 = -b*m + 20, -4*m = -5*o - m - 12 for o.
0
Let n(g) = 5*g - 6. Let z be n(4). Let t = z + -12. Suppose 4 = d - 0*d. Solve 5*x + 30 = -0*j - 5*j, -t*x - d = -2*j for x.
-4
Suppose 2*b = -4 + 20. Let h = -8 + b. Solve -i - 1 = 4*v + v, -2*i - 4*v - 2 = h for i.
-1
Suppose 18 = 3*x - 5*o, -o - 2 = -x + 2. Let l(a) = 2*a**3 + 3*a - 2. Let v be l(x). Solve -2*t - 1 = 5*c - 20, 9 = -v*t for c.
5
Suppose 5*f - 9*f + 4 = 0. Let w = f + 20. Solve -25 = 4*h + h, 4*d + 5*h = -w for d.
1
Let l(w) = -5 - 12*w + w + 3 + w. Let p be l(-3). Solve -3*t - 31 = 2*t + 4*k, 0 = 4*t + 4*k + p for t.
-3
Let g(v) = v**3 + 7*v**2 - 20*v - 11. Let s be g(-9). Solve -4*y + s + 1 = 4*j, 4*j + 22 = 2*y for y