i = -5*l - n, 17*i - 16*i = -4*l for l.
1
Let d = 6 - 13. Let i = 4308 + -4282. Let k = d + i. Solve 0 = 5*z + 4*f - k, 0 = 2*z - f - 1 - 4 for z.
3
Suppose -j + 19 = 18. Suppose 10*v = -v + 22. Solve -j - 1 = 2*q - 2*b, 2*b = q - v for q.
-4
Suppose 0 = -5*o + h + 18, -2*h - 132 = 2*o - 144. Solve 79 = 2*p - z + 60, 0 = -o*p - 5*z + 3 for p.
7
Suppose -5*u - z + 80 = 0, 4*u + 23*z - 21*z - 64 = 0. Solve -5*x = 3*i - u, 3*x + x - 2*i - 26 = 0 for x.
5
Suppose 40*y + 572 = -508. Let m be (y/3)/(45/(-60)). Solve -3*c - m - 5 = -g, c - 5*g + 15 = 0 for c.
-5
Let i be (88/(-33))/(-3 + (-25)/(-9)). Suppose -154 = -i*t + t. Solve 3*y + s - 14 = 0, -4*s + t = -2*y - 0*s for y.
3
Let b be (-18)/27*9/(-2). Solve 5*j + 25 = 2*k, 3*k - 24 = -0*j + b*j for k.
5
Let b = 26587 - 26582. Solve -v + 6 + 2 = -b*q, 0 = -q - 2*v - 6 for q.
-2
Suppose 0*s - 30 = -s. Let b = s + -20. Let z be 2/10 + 48/b. Solve -3*u - 3*c + 10 = 2*c, -5*u = z*c - 10 for u.
0
Let l be (-3)/(5 + -2)*-5. Let x = l - 1. Let a = 171 - 168. Solve -x*c = a*f - 1, 2*f - 14 = -c + 5*c for f.
3
Let h(m) = 9*m - 63. Let i be -2 - 18*(-14)/21. Let x be h(i). Solve u + x = -5*r, 4*u - 9*u - r - 15 = 0 for u.
-2
Suppose 39*q = -23*q + 310. Suppose -10*u = -q*k - 7*u + 4, -2*u = -3*k + 2. Solve k*p = 5*b + 1, -2*b - 2 = -4*b for p.
3
Suppose c - 4*c = -4*v - 3037, -3*v - c - 2281 = 0. Let z be (v/55 - -14) + (-62)/(-22). Solve 0 = b + z*d - 1, -b = -2*d - 3 - 3 for b.
4
Suppose 0 = -3*h - 10*h - 160 + 160. Solve 275*x - 272*x + 5*u - 15 = h, 3 = u for x.
0
Let a(u) = u**2 + 10*u + 13. Let b be a(-9). Suppose 9*s - 3*s = -b*s. Solve 1 = z - 2*w, -4*z - 7 = -s*w + 3*w for z.
-1
Let y = -178 - -204. Solve 13*r - 14*r = -g - 2, -5*r - y = 4*g for g.
-4
Suppose 0 = -10*l + 2*l - 40. Let t be -1 - (3/(-2))/(l/(-10)). Solve -4*m = -b + 25, 5 = -t*b - 3*m - 0 for b.
5
Let q(p) = -p**3 - 58*p**2 + 2*p + 118. Let a be q(-58). Solve a*s + 20*i = 21*i + 9, 0 = -5*i - 15 for s.
3
Suppose -r - 2*r + 4 = 4*i, 2*r + 2*i - 2 = 0. Suppose r = -7*h - 4*h + 297. Solve 0 = -2*b + 4*p + 6, b - 6*b - 4*p - h = 0 for b.
-3
Suppose 0 = -736*j + 724*j + 60. Solve -3*f - j*l = 0, 28*l = -4*f + 25*l + 11 for f.
5
Suppose -21*o + 4780 = -o. Let a = o - 236. Solve a*v - m = -3, -4*v - 5*m + 21 = 6 for v.
0
Suppose -2*g + 296 + 160 = 4*v, -5*v = -g - 577. Suppose 0 = 10*y + 95 - v. Solve i = 5*h - h + 15, y*h = -3*i - 11 for h.
-4
Let u(v) = v**3 - 3*v**2 - 19*v + 6. Let p(m) = -m**3 + m**2 + 10*m - 6. Let i be p(3). Let y be u(i). Solve 0 = -4*t - 5*k - y - 2, -4*k - 2 = 3*t for t.
2
Suppose -3*q + 0*q - 2*u + 2 = 0, 4*u = 3*q - 14. Suppose -117 - 43 = -40*f. Solve a - 4*s = 2*a + 10, -q*s + 2 = f*a for a.
2
Let t = -40 - -80. Let n be ((-2)/(48/(-56)) - 1)/((-2)/(-21)). Solve -4*a + t - n = -2*z, 3*z + 23 = 2*a for z.
-5
Suppose 4*f + 5 = q, 11*f - 8*f = q - 5. Solve -2*i - 5*m = 2*i + 11, q*i + 3*m = -17 for i.
-4
Let l be (-3536)/(-10) - (12 - (-310)/(-25)). Let v = -352 + l. Let n = -4 - -13. Solve 0 = -3*k + 3 - n, 0 = v*m - 4*k - 14 for m.
3
Suppose 0 = 2*h - 8, -5*c + 214 = 3*h + 142. Solve c = -2*a + 2*l, 34*a + 16 = 33*a + 3*l for a.
-1
Let w = -209 + 209. Suppose 5*t + 8 = 4*l, -2*t = t. Solve -2*y - l + 0 = -g, w = -4*g - 3*y + 19 for g.
4
Suppose 2 = 5*a - 8. Let k(w) = 6*w - 19. Let y be k(11). Suppose 12*s = y*s - 35. Solve 4*l + s = -3*x - 1, a*l = 2 for x.
-2
Let m be (0*6/30)/(0 - 1). Suppose -15 = u - 4*u - 5*b, -b = m. Solve 0 = 4*v + n + 2*n - 13, u*v - 5*n + 10 = 0 for v.
1
Suppose -160 = -21*v - 118. Solve -a - 3*z + 4*z = -4, -v*a + 14 = -4*z for a.
1
Let x(s) = 9*s + 24. Let q be x(-2). Suppose -4 = -q*m + 4*m. Solve -4*a + 30 = -2*d, -5*a + 3*d - m*d + 30 = 0 for a.
5
Suppose 14*i - 13*i = -x + 12, 4 = 4*i. Let m(v) = v**3 - 9*v**2 - 24*v + 27. Let g be m(x). Solve -5*t + 8 = -4*r, -2*t = g*r + 2*t + 10 for r.
-2
Suppose 0 = 10*n - 6182 - 2738. Let a = -890 + n. Solve v = a*f - 7, -7 = f + 5*v - 2*v for f.
2
Suppose -47*l + 18 = -123. Solve -l*d = -2*n + 45 - 24, 4*n = -4*d - 8 for n.
3
Let b(r) = r**3 + 45*r**2 + 45*r + 50. Let o be b(-44). Solve o*f - 18 = -3*y + y, -f = -3 for y.
0
Let g be ((-1)/(-3))/((-1)/(-18)). Suppose 375 + 207 = g*x. Let w = x - 93. Solve 0 = -4*c - 5*k + w, -3*c - k - 1 = -4*c for c.
1
Suppose 3*c = 72 + 42. Suppose 0 = -4*n + d + c + 133, 2*d + 216 = 5*n. Suppose 0 = -0*v - 2*v + n. Solve -4*i + 5*g + v = -0*i, -g - 8 = 3*i for i.
-1
Suppose 23*d - 4 = 19*d. Let i be (9 + -5)/(-4) - -5*d. Solve m + m - 2 = 2*n, i*n + 1 = 5*m for n.
-4
Let n be 4/20 + 1083/(-15). Let j = -64 - n. Suppose -16 = j*d - 12*d. Solve -3*t + 2*o = d*o + 7, -5*o = 10 for t.
-1
Let g be 428/54 - 68/(-918). Solve -u - g = -3*m, 5*m + 5 = 2*u + 20 for m.
1
Suppose 7*l + 35 = 5*s + 12*l, 2*l + 7 = s. Solve -4 = -2*n - s*i - 10, -i = n + 3 for n.
-3
Let k(i) = -4*i**2 - 10*i + 9. Suppose -43*h + 12 = -47*h. Let j be k(h). Solve 3 = -w - 4*n - 11, -j*w - n + 2 = 0 for w.
2
Let u(c) = 481*c + 498. Let h be u(-1). Solve 8*r = -5*f + 11*r + 10, 2*f + 3*r = -h for f.
-1
Let s = 218 - -58. Let l = 280 - s. Solve p + 3 = -l*r + 6*r, 0 = 4*r + 4*p + 24 for r.
-1
Let b(n) = -88*n - 10. Let l be b(-1). Let g = l - 76. Suppose -5*k = -2*m - 19, -4*k + g*m = 3*m - 23. Solve 6 = 4*j - 5*j + p, k*p = 4*j + 29 for j.
-1
Let u(c) = 91*c + 5207. Let b be u(-57). Solve -5*w + b = -54*p + 49*p, 0 = 5*w + 4*p - 2 for w.
2
Let w = -464 - -480. Suppose w*n - 5 = 27. Solve 4*k - 9 = -3*o, -3*k - n*o = -2*k - 6 for k.
0
Let i be 10/3 + (-11)/33. Let a be 0*(-3 - 1)/(-8). Let y be a - ((-5 - 0) + (2 - 1)). Solve 0 = -3*c + 5*c + y*u + 22, -c + i*u = -9 for c.
-3
Suppose 0 = 4*c + 3*i - 25, -4*i = -c - 6*i + 5. Let q be c/(-14) - (-58)/4. Solve 2*o + q = 2*s, s - 4 = -1 for o.
-4
Let t be (2/4)/((-4)/32). Let c be -25 + 25 - (t + 2)/1. Solve -4*q + c*q = 0, q = -5*r + 15 for r.
3
Let b be 3/((-2)/17 + 798/714). Solve 4*n - b*s + 28 = 0, 12*s = 8*s + 16 for n.
-4
Suppose 3*v = 5 + 4. Let o be -4 - (1 + -9) - (-5 - -5). Solve -o*x - 2 = -v*i - 0, 0 = 2*i + 4 for x.
-2
Let d = 2731 + -2730. Solve -13*f + 9*f = -5*c + 25, c = d for f.
-5
Let u = -1131 - -254. Let l = -864 - u. Solve d = 3*k - 10, -4*k + 2*d + l + 3 = 0 for k.
2
Suppose 0 + 3 = l. Suppose l*q - 31 = 5. Suppose -6 = -6*w + q. Solve -18 = -w*k - 3*c, -11 + 2 = -4*k + c for k.
3
Let v be 207/(-759) - (-47)/11. Solve 12*z - 15*z = 3*a, v = -5*z - 3*a for z.
-2
Let p = 46 - 32. Let q(x) = x**3 - 13*x**2 - 12*x - 25. Let o be q(p). Let d be (7 - o)*(2 + 5/(-4)). Solve -3*r - 6 = 2*f + f, 2*f + r + d = 0 for f.
-1
Suppose 0 = k + 299 - 303. Suppose 0 = -9*v + 6*v - 42. Let f = v - -34. Solve 0 = 5*p - 2*p - r - f, -k*p = -5*r - 45 for p.
5
Let j be -3 - (-6)/(-5)*-5. Suppose c = -j*c + 12. Solve g + 24 = -g + 4*m, c*m - 23 = 4*g for g.
-2
Suppose -1078 = -67*k + 1127 + 1078. Solve 3*b + 3*m = -18, k = -5*m + 44 for b.
-5
Suppose -5*j + 3*k - 4*k + 45 = 0, -4*j + 3*k + 36 = 0. Suppose 5*y = -j*y + 56. Solve -s + m + y*m = 0, 26 = -5*s - m for s.
-5
Let c(j) be the first derivative of -j**3 - 2*j**2 + 19*j - 18. Let y be c(-3). Solve y*v + 14 = 2*m, 7 + 6 = 4*m - 3*v for m.
1
Suppose -7*r + 3*r = -12. Let t(n) = -67*n - 4890. Let v be t(-73). Solve -5*g - k = -4*g + v, -k + 11 = -r*g for g.
-3
Let t(f) = f**3 + 4*f**2 - 62*f + 115. Let q be t(2). Solve -3*g = 4*r - q, -3*r + 43 - 68 = -5*g for g.
5
Let t(u) = -u**3 - 4*u**2 + 11*u + 36. Let p be t(-4). Let z be (p/(-9))/((-68)/(-306)). Solve 0 = z*x + v + 15, -2*v = x - 4*v - 3 for x.
-3
Suppose -16*m - 1034 = -27*m. Suppose m*h + 24 = 98*h. Solve -4*i = 3*z + 3 + 3, 0 = -3*z + 2*i - h for z.
-2
Let n = -729 - -736. Suppose n*l = 35 - 0. Solve -3*k - 2*m + 4*m = -12, l*k - 20 = -3*m for k.
4
Let o(h) = 2*h**2 - 2*h + 1. Let k(y) = -y**2 + 8*y - 5. Let v be k(7). Let u be o(v). Solve 5*d = u*p, 0 = 2*d - 0*d + 4*p for d.
0
Suppose 11*h - 11*h - 7*h = 0. Let v(p) = 3*p + 5. Let z be v(h). Solve -4 = 4*r - 2*r, 28 = -z*u - 4*r for u.
-4
Let m be (-10)/(-25) - (-143)/5. Suppose 5*y = -4*i + 1231, 0 = -5*i - 0*y - 2*y + 1543. Let k = -305 + i. Solve -2*h = -4*g + 16, k*h = 5*g - m + 3 for g.
2
Let j be (21/18)/((-110)/60 + 2). Let t be 10/(-3)*30/(-25). Suppose 1 = t*h - 7. Solve m = -5*r - 22 - j, h*r + 14 = -m for r.
-5
Let