l - n = 2 + h for l.
0
Let o(j) = 2*j**2 + 10*j - 1. Let k be o(-7). Let t be 1/5 + 1210/(-50). Let n = t + k. Solve -n*u + 2*u + 2*f = -13, 5*u - 3*f = 37 for u.
5
Let n(q) = -q + 11. Let w be n(9). Let m be (-12)/(w + -4) + -3. Solve -m*x = 5*d - 4, -8 = -4*x + 3*d + 7 for x.
3
Let g(v) = -8*v - 14 + 0*v - 5*v**2 + v**3 - 4*v. Suppose 10*l - 6*l = 28. Let i be g(l). Solve -4*k - 2*d = 26, 2*k + k + 5*d + 30 = i for k.
-5
Let c = -6593 - -6595. Solve 0 = 4*v - 3*y - c + 5, 5*v = 3*y for v.
3
Let x(y) = 9*y + 1. Let t be x(-1). Let a = 40 - 29. Let d = t + a. Solve 3*m = 3*u - 21, -4*m - m - 29 = -d*u for m.
-4
Suppose -4*b - g = -120, b - g - 14 - 11 = 0. Suppose -b*j + 116 = -0. Solve -4*i = j*o - 2*i - 2, -o + i + 8 = 0 for o.
3
Suppose -3*k + 426 = -3*s, -2*k + 750 = 3*k + 3*s. Suppose -k = -33*j + 12*j. Solve 5*b + 2 = j, 5*b = 3*d - 10 for d.
5
Suppose 8 = -7*z + 8*z. Suppose -z*f + f + 105 = 0. Let a be (-8)/(-2) + -1*4. Solve 5*s = 5*o + 3*s + 1, a = -5*s + f for o.
1
Let g = 200 - 197. Solve 12 = 3*y + g*q, y - 5*q + 4 - 14 = 0 for y.
5
Let q = -714 - -717. Solve 13*h + f = 10*h + 14, 0 = 5*h - q*f - 14 for h.
4
Suppose 4*q + 66 = 6*q. Suppose 0 = 11*s - 286 - q. Let l = s - 29. Solve 4*y + f = -21, l = -0*y + 2*y - 5*f - 17 for y.
-4
Suppose 53 = 4*h + 3*w, 0 = -29*h + 27*h - 5*w + 37. Suppose v + 8 = h. Solve 2*z + 13 = -3*a, 14 = -3*z + 4*a - v*a for z.
-5
Let s = -1247 + 1280. Solve 2*a + 5*b - 12 = -s, -b = -a + 7 for a.
2
Suppose -c = c - 2*f + 246, f = -2*c - 237. Let t = -122 - c. Let u be (1 + t + 1)/(-1). Solve u = -2*w + 2, -2*w + 0 = 2*i + 8 for i.
-5
Let c = -388 + 382. Let j be c*2*(-6)/36. Solve j*v = 6*v + l - 15, -4*v + 4*l = -40 for v.
5
Let h(o) = 68 + 4*o**2 - 68 - 7*o + 0*o**2. Let u be h(2). Solve -3*d = -15, -2*i - 16 = -u*d + 4 for i.
-5
Suppose 20 = -7*z + 2*z. Let n be z + (0 - -4 - -2). Suppose 2*s - 2*q = 4*s + n, s = -5*q - 13. Solve -5*k - 3*w = -15, -k + 10 = s*w - 0 for k.
0
Let u be (-1065)/(-6)*-4 + (-6 - -3). Let s = 717 + u. Solve -2*t - 5*j = -5, 0 = -4*t + j + s*j - 5 for t.
0
Suppose 134*u - 68 = 132*u. Let i be 14/126 - u/(-18). Solve i*q = -5*o + 16, 2 = -3*q - 2*o + 15 for q.
3
Let z(m) = -m**3 + 67*m**2 + 285*m - 45. Let c be z(71). Solve -8 = 4*w, -5*g = 5*w + 4 + c for g.
-4
Suppose -5*b + 0*o - 1899 = o, 5*b + 3*o = -1907. Let t = b + 381. Suppose 40 = 5*f + 10. Solve -t*l + 2*m + f = 0, -3*l + 8 + 6 = 2*m for l.
4
Let a be (-3 - (2 + -5))/9. Solve a = -3*j + 3*o, 3*j + 2*o + 3 = 13 for j.
2
Let i(w) be the first derivative of 4*w + 35 - 3/2*w**2. Let q be i(0). Solve 2 = -q*a + o + 1, -5*a + 3*o = -4 for a.
-1
Suppose 6*f - 14 = 16. Suppose -2*h + 41 = k, f*h - 57 = 5*k + 23. Suppose 4*z = a - 2 - h, -2*z - 13 = -3*a. Solve -y + a = -3*d, 5*d - 2 = -2*y - 0 for y.
1
Let a be -2 + 12 + (-3 - -7). Let g(l) = l**3 - 15*l**2 + 14*l. Let t be g(a). Solve t = -k + f - 2, 4*f + 15 = -3*k - 12 for k.
-5
Suppose 0 = -5*g - 4*o + 19, 2*g + 2*g - 3*o - 9 = 0. Let y(j) = 15*j - 45. Let i be y(g). Solve i = -9*m + 4*m - 4*n - 21, 0 = 4*n - 4 for m.
-5
Let o = -19582 + 19587. Solve 5*d - o = t + 2*d, 0 = -3*t - 5*d - 15 for t.
-5
Let j(h) = h**3 + 4*h**2 + 3*h + 16. Let n be j(-11). Let i = n - -871. Solve 2*t - 3*v = -18, -3*t - 3*v - 25 = -i*v for t.
-3
Let g(f) = 2*f**2 + 48*f + 210. Let v be g(-19). Solve 36 = -3*l + d + 50, 0 = 3*l - 4*d - v for l.
4
Suppose -26 = 5*k - 141. Let q(d) = -19*d + 441. Let j be q(k). Solve -b + j*n = 4 + 1, 0 = -b - 5*n - 5 for b.
-5
Let o be ((-2030)/126 - -15)*-27. Solve -3*n - o*i - 9 = -29*i, -3*n - 3*i - 15 = 0 for n.
-2
Let f be (-36)/(-54) + (-24)/(-18). Solve 0 = f*o + m - 9 + 4, -5*o + 13 = 2*m for o.
3
Let i = -111 - -256. Let w = i - 135. Solve 3*b = 2*z - w, -2*z = -5*b - 5 - 9 for z.
2
Let z(h) = -12 - 30 + 5*h + 0*h + 3*h - 5*h. Let t be z(14). Solve -4*o - 7 = -t*x - 3*x, 2*x + 3*o - 16 = 0 for x.
5
Let g = 125 - 115. Suppose -2*z = -g, 6*u + 12 = 4*u + 4*z. Solve -4*v = 4*h + 12, u*v - h + 3 = -2*h for v.
0
Suppose -24 = 3*a - 15. Let n be 209/133 + a/(-7). Suppose 4*p = 4*b + 12, -4*p - n*b + 4 + 2 = 0. Solve -3*u = -2*u + 5*r, 13 = -3*u - p*r for u.
-5
Let r be (-3)/((-9)/(-4))*4338/(-1928). Solve d - 20*w = -22*w + 10, r*w = -3*d + 15 for d.
0
Let u(w) = 30*w - 1765. Let i be u(59). Solve 2*k + 2*r = 4*k + 16, 0 = -3*k - i*r for k.
-5
Let k = 16648 - 16620. Solve l = 2*z - 16, k*z - 26*z - 8 = -3*l for l.
-2
Let x = -159 - -165. Let a be 1*(106/34 + x/(-51)). Solve -5*w - 32 = -a*k - 13, 5*w + 23 = k for k.
-2
Suppose -4*t - 37 - 39 = 0. Let g = t + 17. Let c be ((-60)/g)/(0 - -4 - 2). Solve -q = 2*f - 4*q + 10, -5*f + 5*q = c for f.
1
Suppose -13*g = -8*g - 130. Suppose 20*n = 14 + g. Solve 4*p = n*p, -2*p - 16 = -4*f for f.
4
Let g(y) = -y**2 + 15*y - 2. Let h = 166 - 152. Let s be g(h). Solve q + 5*w - 35 = 6*q, q = 2*w - s for q.
-2
Let n(l) = 2*l**3 - 15*l**2 + 9*l - 4. Let z be n(7). Let h be (-72)/(-21) + -4 + (-150)/(-42). Solve 2*k - z = -0*k - 4*o, -h*k + o = -15 for k.
5
Let o(n) = 0*n + 0*n + n + 10. Let i be o(-5). Suppose -i*z - u + 14 = 0, 4*z = z - u + 8. Solve -2*a - 7 = -b, a + 5 = z*b - b for a.
-3
Let n = -195 + 199. Let r be 0/(2/6*-3). Suppose r = -q - q. Solve q*o - c + 3 = -2*o, -18 = 2*o + n*c for o.
-3
Let h = -209 - -78. Let v = 136 + h. Solve 0 = 5*g - 4*g - 4*t + 25, -2*g - v = t for g.
-5
Let i = 6 + -3. Let t = i + -2. Suppose -443*a + 1772 = 886. Solve -z - 5*o = a*z - 2, o = t for z.
-1
Let x(m) = 2*m**2 + 27*m - 29. Let g be x(-15). Solve -4*l = -5*i - 27, -2*l - g = -22 for i.
-3
Let k = 10165 + -10160. Solve 0 = -a + k*o - 85 + 96, o = 3*a - 19 for a.
6
Suppose 7 = -4*c + 23. Let t be (2700/(-1440))/((-15)/48). Solve x = -5, -t = c*g - 2*x - 0 for g.
-4
Let d = 29 + -17. Let b be (1 - 1) + 24/(-3) + d. Let i be b + ((-20)/(-15))/((-3)/(-9)). Solve -c + 6*q = 2*q - 6, 5*c + 2*q = i for c.
2
Let f = 13 - 30. Let j = -15 - f. Solve 5*u = p - 20, 0*u - j*p = 2*u + 8 for u.
-4
Suppose 8*h = 7*h + 17. Suppose 3*c = h - 5. Suppose 14 = c*g + 3*j, -2*g + 6*g + 4*j = 16. Solve -5*q + 0*p - 17 = p, 0 = -5*q + g*p - 26 for q.
-4
Let z be -73*3/(-15) + 2/5. Let w = z + -18. Let v be -4 - (6 - w)*-1. Solve -4*k - v - 8 = -f, 4*f + 4 = 2*k for k.
-4
Let t = 4856 + -4853. Solve -4*m + 1 = t*f - 16, -3*m + 11 = 4*f for m.
5
Let p = 77 - 47. Suppose -65*d = -59*d - p. Solve i - 2*b + 2 = 2*i, -3*i = -d*b + 16 for i.
-2
Let u(y) = y**3 + 2*y**2 - 2*y + 1. Let o be u(-1). Solve 44 - 43 = l - 3*s, 0 = -l + o*s for l.
4
Let l be (2710/(-9))/(-5) - 2/9. Suppose -t = -11*t + l. Suppose t = 14*d - 11*d. Solve m = 5*m - 4*w + 36, d*m + 30 = 5*w for m.
-5
Suppose q + 26 + 25 = 0. Let h = -2526 - -2581. Let j = h + q. Solve 2*r + j*y = -0*y + 6, -2*r = -3*y + 22 for r.
-5
Let j be (-20)/(-25)*(-5)/(-2). Let w(s) = 4*s - 16. Let c be w(9). Let m = -16 + c. Solve 5 + 3 = m*z + j*r, -3*z = -5*r - 32 for z.
4
Let w(m) = 40*m - 11. Let x be w(-2). Let k = -83 - x. Suppose -k*i - 228 = -20*i. Solve 3*d = y + i, -26 = -3*d + 5*y + 9 for d.
5
Let a = 1368 - 1360. Solve -a*g = i - 3*g - 4, -3*g - 18 = 4*i for i.
-6
Let y(n) = -n**3 + 7*n**2 - 2*n + 16. Let u be y(7). Let o = 284 - 280. Solve -2*q + 6 = -u*h, o*q + 2 = 5*h + 18 for h.
-4
Let h be ((-1)/(-1 - 1))/((-236)/(-1416)). Solve 5*p + 14 = -h*o, 0 = 4*o + 189*p - 191*p + 10 for o.
-3
Let j be (66/9)/(14 - 480/36). Solve 5*b - y = -14, -184*b + 187*b + j = -2*y for b.
-3
Let u(g) = 16*g**2 - 8*g - 80. Let k(w) = 7*w**2 - 3*w - 40. Let b(z) = 7*k(z) - 3*u(z). Let d be b(-8). Solve -5*r - 6*x + x = 0, -2*r + 5*x - 35 = d for r.
-5
Suppose -6*m + 6 = -4*m. Suppose 2 = -m*d + 17. Suppose -36 = -6*j + 12*t - 16*t, 0 = -3*j + 2*t - 6. Solve 0 = -c - d*a - 2, -5 = c - j*c + 2*a for c.
3
Let r be (3900/17)/12 + 6/(-51). Solve r = -2*a + 5*n, 2*n = 4*a + 15 - 1 for a.
-2
Let z(h) = 2*h - 37. Let t be z(20). Suppose -3*c + 6 + 3 = t*x, 9 = 5*x - c. Solve -3*m + x*f + 11 = -6, -27 = -5*m + 3*f for m.
3
Suppose 71 + 100 = 4*s - 25. Solve 45 - s = -2*h - 3*o, -4*h - 2*o = 0 for h.
-1
Let n(w) = 12*w + 79. Let z be n(14). Let h = z + -219. Solve 3*r + 7 = -4*o, 0*o - 4*o + 4*r = -h for o.
2
Let a be (-9)/(-54) - 406/(-84). Solve -38*p - 2*h + 10 = -35*p, a*p - 4*h - 2 = 0 for p.
2
Let z = 8476 + -8472. 