= -2*l for o.
3
Let q be (-4)/(-24) - (-22)/12. Let c(z) = 4 + z**q + 0*z**2 - 5*z + z - 3. Let h be c(4). Solve 3*f = -2*t - h, 0 = -2*t + 2*f - 2 - 4 for t.
-2
Let t(n) = -2 + 2 - 15*n + 0*n - 1. Let k be t(-3). Let y be 8/2*5/4. Solve 5*r = 5*c - 19 + k, -c - 5 = -y*r for c.
-5
Let n = -20 + 9. Let c = n + 16. Solve -j = -2*s + 13, 0 = -10*j + c*j + 3*s - 30 for j.
-3
Suppose -3*y = -5*x + 83, 4*x - 70 = y + 2. Let i = -13 + x. Let m = 0 + 4. Solve -g + m = -4*t, t - 2*g = -0*t + i for t.
-2
Let b be -1 - (-48 + 2/(-1)). Suppose -3*n + 5 = -b. Solve 5*j - n = w, 24 = -0*j + 4*j - 4*w for j.
3
Let k(d) = d**3 + 3*d**2 - 2*d - 3. Let i be k(-3). Suppose c = 2*c - i. Solve 4*t - 5*j - 3 = 8, -3 = -c*j for t.
4
Let s = 6 + -12. Let n be s/(-9) + 56/6. Let c be (-1 - 14)*(-4)/n. Solve -3*v + v - c = -4*b, 3*b = 2*v + 5 for v.
-1
Let r = 282 - 168. Suppose -s = 2*s + r. Let c = s + 56. Solve -5*d = n + n - 13, -3*n = -5*d + c for d.
3
Let c be (1/2)/((-1)/2). Let s = 4 + c. Let i be 3 + (-1)/s*-3. Solve 5*l - 3*r - 10 = 2*r, 0 = l + r - i for l.
3
Suppose 3 = f, -7 = 4*o + 2*f - 1. Let q = 8 + o. Solve -4*i - i + q*n = -40, -28 = -5*i + n for i.
5
Let n = 1 - -4. Solve k + 5*d + 19 = d, n*k = -3*d - 27 for k.
-3
Let k = -12 + -18. Let h be (-2)/7 + k/(-7). Let n be 30/4 - 4/(-8). Solve -f + s - 1 = 0, -h*f - 2*s = -n*f - 6 for f.
-2
Let v = -16 - -19. Suppose 15 = v*c - 0*c. Solve -c*q + 10 = 5*x, -4*x = 2*q - 9*x + 24 for q.
-2
Let y = -5 - -23. Suppose u = t - 6, -7*t + 3*t + y = -2*u. Suppose 4*w = -0*w + 20. Solve 4*o + 3*c - 22 = 2*c, w*o - t*c = 19 for o.
5
Let n = 0 - -2. Suppose 10 = 5*f + 5*j, -2*j = 3*f - 3*j + 2. Solve 3*i + 6 = -n*k, 2*k - 5*k - i + 5 = f for k.
3
Suppose 3*o = -5*c - 43, -3*o - 35 = -0*c + c. Let k = 5 + o. Let l = 9 + k. Solve -j = -y - 7, 4*j = -l*y - 2 + 9 for j.
4
Let q = 6 - 4. Let a be 0/(-2 + -2 + 2). Suppose -p + 2*u = -0*p - 7, 4*p - u - 35 = a. Solve -2*l - q*r = -r - p, 11 = 2*l + 3*r for l.
4
Suppose -30 = -2*f - 24. Solve -f*y + 3*h = 9, -y + 25 = 4*y + 3*h for y.
2
Let s be 6/4 + (-5)/(-10). Solve -2*o + s = -w, 0 = -0*o - 4*o for w.
-2
Suppose -28 - 5 = -3*o. Let g = 80 + -75. Suppose 4*i + g*u = 3, 4*i + 0*u - o = 3*u. Solve -8 = -i*v, -2*c - 2*v + 10 + 8 = 0 for c.
5
Suppose 3 = -x - 2*x. Let m be x/1 + 2*-2. Let g = 0 - m. Solve 5 = c + 2*r, 3*r - 3 - 15 = -g*c for c.
3
Suppose 7 = v + o, 0*o - 3*o - 4 = -2*v. Suppose -11 = 4*s - 39. Let t(i) = 3*i - 1. Let r be t(s). Solve -5*h = -5*g + r, v*h = h + g - 10 for h.
-2
Suppose 0 = 31*v - 33*v. Solve v = -3*y - 0*l + l + 9, 0 = 5*l for y.
3
Let u be 5/2*24/15. Solve -2*n + 3*p + 0 = -25, 5*n + u*p - 5 = 0 for n.
5
Suppose 0 = w - 19 - 1. Let z = w - 16. Solve -5*c + 4*d = -5, c = -d - z - 4 for c.
-3
Suppose -4*h - d + 17 = -2, 4*d + 44 = 4*h. Let p = h - 4. Let l = p - 0. Solve 2*v - 12 = -l*y, -10 = -3*v - 5*y + 10 for v.
5
Let m(l) = -l**2 + 3*l + 3. Let y be m(3). Solve 2 = w + 4*n, 2*n - 8 = y*w - 0*n for w.
-2
Let a = 3 - -2. Solve 8*o - 3*o + 6 = 4*l, -4*o + 3*l = a for o.
-2
Suppose 5*i = 4*i - 1. Let o be 3/3 - (i + -2). Solve -5*t - o = -2*f - 17, 0 = 4*t + f for t.
1
Suppose 0*a + 9 = 3*a. Solve -2*h = 2*j - 2, -5*j - a = -0*h + h for h.
2
Let w = -10 - -12. Solve -5 - 4 = -w*i - 5*y, -2*y - 2 = -2*i for i.
2
Let a = -39 - -39. Solve -4*p - 4*z + 4 = a, -p = 2*z - 5 - 0 for p.
-3
Let z = -27 - -27. Solve z = -2*b, 6*x - 3*x - 4*b = -6 for x.
-2
Let f be (-6)/21 + (-3)/42*-4. Solve -3*u = p - 8, -u - 4*p = -f*p - 10 for u.
2
Suppose 16 = z - 2*t, -3*z + 50 = 2*z - 4*t. Suppose -2*a + z*a = 16. Solve a*b = -0 + 12, 0 = 3*p - 4*b + 18 for p.
-2
Let u(g) = -g**3 + 10*g**2 + 14*g - 22. Let k be u(11). Solve -3*c - 2*j = k, 3 + 0 = -3*j for c.
-3
Let a be 18/(-12)*4/(-2). Let d be 1 - (3/a - 19). Let l = -2 - -5. Solve p + 3 = -3*w - 8, -l*w - d = 5*p for p.
-2
Let s be 1/(2/2)*-2. Let i be 1 - (s + -1 - -3). Solve 3*g = 3, 3*o + g + i = 2*o for o.
-2
Let q = -125 - -129. Solve -4*d = 12, -2*d = -0*s + q*s + 2 for s.
1
Let y = 9 - 7. Suppose -y*s = -4*s + 10. Solve 0*a + s*a + 5*i = 35, 0 = -a - 4*i + 19 for a.
3
Let u(n) = -n + 1. Let i = -15 - -10. Let r be u(i). Let g be (-16)/(-6)*9/r. Solve 1 = 2*q - 5*s + 6, g*q - s + 1 = 0 for q.
0
Suppose -2 + 14 = 2*v. Let w be (-21)/(-2) - (-3)/(-6). Let b = w - v. Solve -h = -2*j + 1 + 2, b*j + h = 15 for j.
3
Suppose -4*d + 4*c = -60, 4*d - 55 = 2*c + 13. Solve -2*u - 2 = 2*i + 4, d = -5*u - i for u.
-4
Let x(o) = 8 - 15 + 8 + o. Let b be x(1). Solve 4*r - 3*f - 11 = -b*f, 3*r - 4*f = 18 for r.
2
Suppose -4*u - 16 = 4*y, 0 = 5*u - 2*y - 9 + 1. Solve -l = 3*d + 4*l - 6, u = 2*d - 4*l - 4 for d.
2
Suppose -52 + 97 = 3*m. Solve 4*t = -5*l + 2*t + m, -5*l = -5*t - 50 for l.
5
Let l(m) = -3 - 4*m - m**2 - 6*m**2 + 3*m - m**3. Let z be l(-7). Solve -3*y = 4*b + 1, -13 = y - b - z*b for y.
-3
Let o be (-2)/(1 - 15/9). Let l = 6 - o. Suppose l*w = -6 + 15. Solve a - 13 = 5*n, 5*a = w*n - 7 + 28 for n.
-2
Suppose 3*w + 4*k + 46 = 0, -3*w - 2*k - 40 = 4. Let j = 30 + w. Solve 4*t - 2*b = -6*b + j, 21 = -t + 4*b for t.
-1
Let n(r) = 19*r**3 + 2*r**2 + 2*r + 1. Let y be n(-1). Let g = 0 - y. Suppose 0*v = f - 4*v - 23, -3*v = -f + g. Solve -p = 5*z + 4*p, 21 = -f*z + 4*p for z.
-3
Suppose 4*z + 4*z - 24 = 0. Solve 3*m - 2*m = -z, 2*m = 4*u + 6 for u.
-3
Let a be 2 - (15/5)/(-3). Suppose 2*d = -d + 24. Suppose 2*m + y = d, 3 = -2*m + a*m + y. Solve 0 = m*v + 5, 0*s - 3*s - 5*v = 17 for s.
-4
Let z(i) = i**3 - 4*i**2 + i - 1. Let c be z(4). Suppose 2*a - a - 14 = -c*n, -3*n + 22 = 5*a. Solve 5 = 5*t - 0, 3*k + 2*t + n = 0 for k.
-2
Let p = 23 - 21. Solve 0*k - 2 = 3*k - p*m, -m + 1 = 2*k for k.
0
Let o = 5 + -3. Solve n = 4*r - 11, r + o*n - n + 1 = 0 for r.
2
Suppose 0 = 2*w + 2*w - 20. Solve 5*t + 2*s + 10 = 0, 0*s - 10 = w*t - s for t.
-2
Let a be ((-1)/1 - 1) + 17. Let j = a - 9. Suppose 5*q = 2*q + j. Solve -v - 11 = -0*r + 2*r, -q*v + 2*r = -2 for v.
-3
Suppose 0 = 5*p - 9 - 6. Suppose -o = -p*o + 4. Let k be (3/o)/((-1)/(-2)). Solve 3*j = f + 2*f - k, 0 = 2*j + 5*f - 5 for j.
0
Let r = 10 + -16. Let i be r*-2*2/(-8). Let w = 6 + i. Solve -w*o - b = -14, 5*b = 4*o + 15 - 2 for o.
3
Suppose -5*i + 10 = -5*b, 2*i + 2 = 4*b - 0*i. Solve 3*m = v - 2, 0*m = m + 2*v + b for m.
-1
Suppose -3*o + 6 = 4*x, o - 3*x - 8 = -3*o. Solve 4*w - o*c = 10, -2*w - 3*c + 26 = 1 for w.
5
Suppose 0 - 13 = -r. Let a = 29 - r. Solve 0 = -5*v - 0*c - 2*c - 7, a = 4*c for v.
-3
Suppose 0 = -4*s + 46 + 2. Suppose f = 5*f - s. Solve 5*g - 5 = -f*t, 4*g - 3*t - 3 = g for g.
1
Let o be (-3 + 2)/(1/13). Let z be (-4)/(4/o) + -1. Solve z = -a - 5*d, 6*d + 10 = d for a.
-2
Let t(w) = w**2 - 5*w - 5. Let n be t(6). Suppose -d + n = -a + 4, 5*a - 15 = d. Solve -a*o + 5*o = -2*v + 2, -2*v = -4*o - 14 for v.
3
Let y(k) = -6*k - 4. Let b be y(-3). Suppose -28 = -3*m - p, p - b = -2*m + 4. Solve 0 = -2*h - j - 4, 0*h - 5*h - 5*j - m = 0 for h.
-2
Let f(g) = 3 - 1 - 1 + 2*g**2. Let a be (-2)/((0 - 3) + 1). Let h be f(a). Solve -2*i = -6, -i - h = -5*y + 3*i for y.
3
Let m = -70 + 130. Suppose -4 = -2*v + m. Let b be 2/(-8) + 8/v. Solve -j + 21 = r + 3*j, b = 5*r + 3*j - 37 for r.
5
Suppose -8*c + 3 = -7*c. Solve 3*h + 3*p = -c, -2*h = -4*p - 0*p - 4 for h.
0
Let j(q) = q + 1. Let x be j(3). Solve x*v - 18 = -2*u, -2*v - 11 = 3*u - 6*u for v.
2
Let v(n) = -n**2 + 3*n + 2. Let t be v(3). Solve 21 = -t*k - 3*j, 2*k + 3*j - 19 = 8*j for k.
-3
Suppose 0 = -f + 15 + 29. Solve p - 5*w + 26 = 0, f = -5*p + 5*w + 14 for p.
-1
Let c(i) be the first derivative of -i**2/2 - 6*i - 3. Let m be -8*2*(-1)/(-2). Let n be c(m). Solve -4*y + 3*y = n*o + 2, -2*y + 10 = -3*o for y.
2
Let l = 16 + 11. Let i = l - 20. Solve 8 = 2*o, -o - i = k - 3*o for k.
1
Let y = 11 + -7. Let v = y + -3. Let m = 1 - v. Solve 2*c = -c - 4*d - 23, -5*c - 2*d - 29 = m for c.
-5
Let b = 11 - -9. Let h be (-4 - -7) + 2 + 36/3. Let d be (1 - 6)/(3/(-3)). Solve -d*r = -i + b, 4*i + h = -3 for r.
-5
Let u be 4/(-6) + (-32)/(-12). Suppose t = -t + u. Solve 4*x - 12 = 4*z, 0*x - t = z - 3*x for z.
-4
Let y(u) = -u**3 - 10*u**2 - 11*u. Let l be y(-9). Solve 10 = -0*a + 5*a - x, 2*a + 4*x = -l for a.
1
Suppose -3*b + 4*a = -a + 13, -2*b + 4*a = 12. Solve -7 = 3*c + 2*s, 5*c - b*s + 3*s - 10 =