or l.
2
Let m = 15 + -2. Suppose 0 = -m*w + 45 - 6. Solve 5*t = 3*l - 17, -13 = -w*t - 3*l - l for t.
-1
Let p(f) = -f - 5. Let g be p(-4). Suppose 3*t - 9 = -h, 3*h + 4*t - 12 = -0*t. Let c be g - (-3 + h)/1. Solve 4*r - c*z = -0*z - 18, 0 = -r + 3*z - 17 for r.
-2
Let n = -1 + 3. Suppose s - 3*y = -4*y - 1, -n*s + 5*y = -12. Let v be (s + (-3)/2)*-8. Solve 14 = -d + 4*b, -d - v*b + 4 = -14 for d.
2
Let k = 112 - 122. Let t = k + 15. Solve -o - 4*o - 10 = 0, 5*i + 5*o + t = 0 for i.
1
Suppose 4*t = -5*y - 4, -5*t = 3*y + 10 - 5. Suppose 4*j - 2*q - 16 = y, -3*q + 20 = 5*j - 0*j. Solve j*w = 2*k - 6, 0 = -w - 0*k + 5*k - 24 for w.
1
Let u(r) = -r + 22. Let b be u(20). Solve z = 5*o - 2, -4*z - 4*o - b = -3*z for z.
-2
Let l be -2 + 5/(5/18). Let w(o) = o**2 - 111*o - 1208. Let k be w(-10). Solve -4*m = -3*g + l, -k*g - 2*g = 2*m + 8 for m.
-4
Let z be (3 + 0)*(3/(-3) + 2). Suppose 0 = 2*u + 4*m, u + z*u + 2*m - 12 = 0. Solve -3*x + 8 = 5*q, 2*x - 12 = -u*q + x for q.
4
Let b be ((-4)/(-6))/((-16)/72). Let m(p) = -3*p - 6. Let h be m(b). Solve -7 = h*k - 4*c, -2*c - 11 = 3*k - 4*c for k.
-5
Let o = 118 - 118. Solve -3*h + 2*h = o, 0 = -2*p - h - 10 for p.
-5
Let q(w) be the second derivative of 5*w**3/6 + w**2 - 4*w. Let t be q(2). Suppose 2*p = -2*p + t. Solve -3*a - 15 = -p*y, -4*a = y + y + 2 for y.
3
Suppose 0 = -4*u - 3*i + 11 + 4, u + 5*i = 8. Let a(o) = 288*o**2 - o + u*o - 287*o**2 - 5. Let z be a(-4). Solve d + 6 = -z*b, 3*b = 2*b - d for b.
-3
Let d be -1 + 1 + -4 + 3. Let s(i) = -12*i**3 - i**2 + 1. Let r be s(d). Solve -4*x = -4*t + r, x + 20 = 3*t + 7 for t.
5
Let a be -3 + -5*18/(-30). Solve d + 2*m + 2*m - 8 = a, 4*m - 8 = 0 for d.
0
Let m = 630 - 630. Solve 0 = -2*u + 2*c - 3*c + 11, m = -c + 1 for u.
5
Let g be 39 + -1 + 1 + 4. Let y = 46 - g. Solve y*l + 6 = -0*i + 3*i, 0 = 5*i - 10 for l.
0
Suppose 0 = 3*p - 4*p + 1. Let k be p/(3 + 66/(-21)). Let z = k - -9. Solve 0 = 3*x + x + 4, -v - x - z = 0 for v.
-1
Suppose o + o = -o. Suppose 3*f = -f + 5*z + 28, o = 4*f - 3*z - 20. Solve 0 = -3*b + 3*g - 3, -f*g + 3*g = 3*b + 9 for b.
-4
Suppose 5*b - 2*y - 16 - 52 = 0, b - 5*y - 32 = 0. Suppose 21*w + 6*w - 26 = 14*w. Solve b + 0 = -w*k - j, -4*j - 24 = 2*k for k.
-4
Let d be 2 - (-48)/(-30) - (-6)/(-15). Suppose -4*v - 2*q + 14 = d, -2*v = 11*q - 6*q + 5. Solve -2*n - v = -n + 3*j, -2*j = -2*n + 14 for n.
4
Let r be -10*14*3/(-15). Suppose 2*y + 20 = r. Solve 8 = y*g - 4*z, z - 4 = -3*g - 2 for g.
1
Let j be (2 - 24/(-20)) + 11 + 671/(-55). Suppose 4*x + 12 = x, 4*x + 28 = 4*v. Solve -v*k + 12 = -j*k + 4*r, 2*r = k + 6 for k.
0
Suppose -7*l = -8*l - s + 6, 5*s - 28 = -3*l. Solve k = -t - 2*t + 11, -3*t + 4*k = -l for t.
3
Let f(l) = 3*l**2 - 6*l + 1. Let x be f(-6). Suppose 2*r + 88 = 3*j - 2*r, 5*r + x = 5*j. Solve 5*c - 2*b = j, 17 = 4*c - b - 3 for c.
4
Suppose 0 = -5*h + 8*h + 2*t - 13, 3*t - 3 = h. Solve 4*y + 25 = -y - 5*a, 5*y - h*a - 15 = 0 for y.
0
Let v = 1424 - 1422. Solve -2*f - 4 = i + 3, 9 = -v*f - 3*i for f.
-3
Let c(t) = -t**3 + 4*t**2 + 1. Let u be c(5). Let w = u + 26. Solve -w*o = 2*y + 3*y + 28, -2*o = 8 for y.
-4
Suppose 0 = -4*w - b - 45, -57 = 4*w - 2*b - b. Let v = 25 - 8. Let i = w + v. Solve 3*k + 4*o + 7 = -12, -i*k - 4*o - 21 = 0 for k.
-1
Suppose 5*k - 66 = 3*s, 20 + 4 = k - 6*s. Solve 0 = -9*y + 13*y + k, 4*m - y = 23 for m.
5
Let f be 12/32 + (-696)/(-192). Solve 3*h = -h + 4*g + 20, g = -f*h + 20 for h.
5
Let h = -13 - -15. Let b be 6*(h + -3)/(-2). Let i(q) = 11*q**2 + 2*q - 2. Let u be i(1). Solve g = b*f + u, -f - 3*f + 2*g = 18 for f.
-2
Suppose -9 + 4 = 5*u. Let w be u/6 - 62*(-4)/48. Suppose 0 = y - 1, 3*x - 95 + 18 = -5*y. Solve -w*h - 2*l - 21 = 0, -h - x = 3*h + 4*l for h.
-3
Suppose 0 = -4*n - 3*d - 6, 0 = -3*d + 10 - 16. Solve n = -2*o + 5*o + 3, -4*l - 6 = 2*o for l.
-1
Let h(r) = 5*r + 7. Let n be h(-1). Solve 0 = 3*c - 2*b - 7, -n*b - 4 = -3*c + 3*b for c.
3
Let o(r) = -r**2 + 5*r - 2. Let s be o(3). Suppose s = -l - 10. Let b = l + 38. Solve -z = -2*t - 4, -b = 3*z + 4*t - t for z.
-4
Suppose -14 = -3*s + 4*r, 4*s - r = -4*r + 52. Solve s = -c - 4*q, 0*c + 2*q = -c - 6 for c.
-2
Let t be (-2 - 3/3)*(-6)/9. Solve -2*o + 3*p - 6 = 2*p, -t*o - 3*p = -10 for o.
-1
Suppose 22 = -5*z + 2*d, 3*z + z + 2*d = -14. Let i be (3 - -1)/(z/(-2)) + 0. Solve -2*q = -i*o - 0*o - 12, 5*o + 5*q = -20 for o.
-5
Let c(g) = -g**3 - 11*g**2 - 23*g + 7. Let f be c(-3). Solve 5*k - 3*k = -4*p + 12, f*p = 2*k + 28 for p.
5
Let l(r) = -r**2 + 11*r + 12. Let m be l(12). Let b be (-3 + 3 + m)/(2 + -1). Solve -3*w + b*w - 37 = 5*v, 2*w - 5*v = 17 for w.
-4
Suppose -u = -4*p - 26, -4*u + 104 = 3*p - 5*p. Let k = -23 + u. Solve 2 = 3*s + 2*s - 4*h, 0 = 2*s + k*h + 13 for s.
-2
Let h(g) = -2*g**2 - 6*g + 30. Let s be h(-5). Solve -3*c + 5 = -2*n, -4*c = -2*n - 0 - s for n.
5
Suppose -112 = -8*q + q. Let c = q + -14. Solve -4*s + 5*l = 11, -3*s + 5*s = -c*l - 10 for s.
-4
Let t be 1/(((-30)/10)/(12/(-1))). Solve 0 = 3*v + t*g - 16, -3*v + 2*g - 14 = -6*v for v.
4
Suppose -25 = 2*t - 31. Suppose 0 = t*x - 2*b, -3*x + b = -8*x + 13. Solve -2*h = -2*z + 4, -x*z - 2*z = -2*h - 10 for z.
3
Let c(s) = -s**3 + 2*s**2 + 3*s + 4. Let y be c(3). Suppose 274 + 662 = 26*f. Solve 4*w = 5*j + f, -y*w = -5*j - 6*w - 12 for j.
-4
Let y be (0/5)/7 - -3. Solve 3*u - 18 = -2*q, 2*q = -q + y*u - 3 for q.
3
Let h(p) = 12*p - 128. Let b be h(11). Solve -2*a + 6 = 2*t, b*t = -3*a + 9*t - 31 for a.
-2
Let r(d) = 17*d - 302. Let w be r(18). Solve 3*k - 7*o = -2*o - 21, -w*o = 2*k - 8 for k.
-2
Let m = -3560 - -3563. Suppose 0*y - 2*y = -4. Suppose 5*o + 4*j = -0*o - 12, -y*j - 6 = o. Solve 2*p + 3 = 5*g, m*p = -o + 3 for g.
1
Let v(w) = -w**3 + 7*w**2 - 3*w + 15. Let a be v(6). Solve 3*i = -4*y + 8*i - a, 0 = -4*y - i - 3 for y.
-2
Suppose -a - 7*a = -8. Suppose 2*q + a = 5. Let w(b) = b**3 + 5*b**2 + 3*b + 2. Let n be w(-4). Solve -j - 3*j - q*l + n = 0, 3*j + 5*l = -6 for j.
3
Let j(x) = -5*x - 1. Let b be j(-2). Let a = 10 + b. Let v(i) = -2*i - 7. Let o be v(-6). Solve -4*f = -5*t + a, -o*f - 20 = -5*t - 0*f for t.
3
Suppose -o + 21 = -9. Let p be o + 0 - 4/(-2). Let m = 592 - 582. Solve -2*n = m, -5*g + 3 + p = -3*n for g.
4
Let q = -19 + 25. Let b = q - 4. Solve 2*o + 2*w = -b*o - 2, -2*o = -4*w - 24 for o.
2
Suppose -19*v = -14*v + 15. Let m be 3/((-4)/(v - 1)). Solve 2*c = -m*g - 6, -5*g - 10 = -0*c + 2*c for g.
-2
Let c be 1 + 3 - (4 + -1). Let q be -1 + 3 + c + -7. Let s be q/18 - (-2)/9. Solve 2*a + 0*k - 4*k + 8 = s, 0 = -k + 4 for a.
4
Suppose 198 = -0*w - 2*w. Let i = 99 + w. Solve i = -5*n - 5*d, 4*n - 7 + 32 = d for n.
-5
Let c(o) = -3*o - 13. Let v be (-2)/(-4) + (-4)/8. Suppose -p + v*p = 6. Let a be c(p). Solve -3*z = a*j + 19, -3*j = 5*z - j + 19 for z.
-3
Let g be 28/7 - (-2)/2. Solve g*p + 5*q + 50 = 0, 5*p + 0 + 15 = 2*q for p.
-5
Let m be 3/(-15) - (-161)/5. Let f be (-72)/m*(-8)/3. Let i = -4 + f. Solve -3*x + 14 = -2*s, -2*x = s + i*x - 4 for s.
-4
Let t(o) = o**3 - o**2 - 8*o + 6. Let l be t(3). Suppose l*q = -3*q + 6. Solve q*v + 13 = -4*a + v, -10 = 4*a - 2*v for a.
-3
Suppose 134 + 52 = 6*b. Let z = -27 + b. Suppose 0 = -4*t + z + 4. Solve t = o - 3*p - 0*p, o - p = 4 for o.
5
Let j(s) = 46*s + 290. Let p be j(-6). Solve h + 28 - 7 = 4*c, p = h + 3*c for h.
-1
Suppose -3*a - 2*n - 10 = 0, -n = -a - 0*a. Let z be (-5)/30*a*9. Solve 0 = -3*k - 5*q - 9 - z, -3*k - q = 12 for k.
-4
Let j(a) = -a**2 - 11*a + 30. Let t be j(-13). Suppose 5*c + t = -4*o, o + 3*c + 8 = -0*c. Solve -2*i + 2 = 2*v, 2*i - o*v - v = -19 for i.
-2
Suppose a = -a - 8. Let u be (-11)/a - (-9)/(-12). Suppose 32 - 4 = 4*y. Solve 3*c = f, -c - u*f + 0*f - y = 0 for c.
-1
Let m(s) = 22*s - 260. Let a be m(12). Solve 4*w - 8 = 0, 6 = -3*d - a*w + 17 for d.
1
Let o(p) = -p + 6. Let t be o(3). Suppose -4*f - 4*u + 0 = -16, -2*f = 5*u - 11. Suppose 0*x - f*x + 15 = 0. Solve -l = -2*i - x, -t*l + 20 = 3*i + l for i.
0
Let c(d) = d**3 - 7*d**2 - 2*d + 12. Let j be c(7). Let g be ((j/5)/(-1))/((-28)/(-140)). Solve 3*k + g*i = -k, -4*i = -3*k + 11 for k.
1
Suppose -2*z + 40 - 22 = 0. Let i = -3 - -6. Solve i*t - z = 3*l, 0*l + 3*t = -l + 1 for l.
-2
Suppose 61*x - 59*x - 5*c + 16 = 0, -2*x - 2*c + 12 = 0. Solve 0*r + 5*l = -2*r + 5, 5*l = x*r + 5 for r