t - 3*l for t.
-2
Suppose 0 = -x - 2*p + 45, 3*x + 3*p - 139 = p. Let c = x - 16. Solve 5*m = u - 19, 0 = -4*u + 3*m + 2*m + c for u.
4
Let s be -45 - -51 - (-1)/(-1)*1. Solve -5*k = s*g, 3*g + 3*k - 12 = 4*k for g.
3
Let l(u) = -3*u**3 + 4*u**2 - 4*u - 1. Let d be l(2). Let g be (-5)/(-1) + 14 + d. Solve 4*q + 5*y + 23 = 0, 5*q + g*y = y - 13 for q.
-2
Let k(v) = -v**3 + 25*v**2. Suppose -3*d + 2*i = -105 + 22, 5*i + 70 = 2*d. Let n be k(d). Solve -q + 2*x = n, 6*x - x = 5*q + 10 for q.
-4
Suppose -8*f = -3*f. Let z(m) = 4*m - 6. Let k be z(3). Suppose k - 21 = -5*s. Solve 3*r + 5*a + 17 = -r, r + a + s = f for r.
2
Let q = 323 - 319. Solve -2*m - 3*j + 3 = m, -3*m = 4*j - q for m.
0
Suppose -13*j = -18*j - 10. Let k be (j/6)/(((-6)/(-45))/(-2)). Solve 5 = -3*x - 0*z - 4*z, 3*z = k*x - 11 for x.
1
Let m(s) = 19*s - 66. Let w(k) = -4*k + 13. Let o(l) = 2*m(l) + 11*w(l). Let n be o(6). Let d be 2 + -2 + 0 - n. Solve c + d = 5*j - c, 25 = 5*j - 4*c for j.
5
Suppose -41 = -2*m - 1. Let p(u) = u**2 - 6*u - 5. Let w be p(7). Let k = -20 + 38. Solve -w*x - k = -3*j + x, 5*j - m = -5*x for j.
5
Let o = 588 + -588. Solve t - 4*g - 18 = o, -4*g + 2*g + 2 = 5*t for t.
2
Let n = 187 - 187. Solve n = -4*r + 2*q + 8, 5*r - 8 - 2 = -3*q for r.
2
Suppose -10 - 11 = -7*b. Suppose 0 = b*x - 38 + 2. Solve -3*d = -x, d + 2*d = -4*l + 12 for l.
0
Let u = -23 - -35. Let m = u + -16. Let r be (-3)/m*(6 + -2). Solve w = -4*z + 4, 2*w + 5*z - r = 5 for w.
4
Suppose 3*p = 4 + 2. Suppose 30*i = 5*i + 200. Solve -5*k = -4*w + i, p*k - k - 2*w - 2 = 0 for k.
-4
Suppose 5*l - 3*l - 10 = 0. Let r(o) = -7*o + 18*o - 12*o - 8. Let n be r(-8). Solve n = -l*h + 7*h, -2*i - 4*h = -10 for i.
5
Let w be (-2)/(10 - 96/9). Solve -p - 4*p - 20 = 5*i, 4*i = -w*p - 15 for i.
-3
Let f(q) = q**3 - 5*q**2 + 2*q. Let p = 54 - 49. Let g be f(p). Solve 2*i = -g, 4*i + 10 = 5*o - 10 for o.
0
Suppose -60 = 2*p - 5*d - 0*d, -3*d = -12. Let s = p + 27. Solve 0*f + 2*f = -n + s, 0 = 4*n - 5*f + 24 for n.
-1
Let z = 40 - 38. Solve -z*g + 3*g = -5*j, -3*g = 2*j for j.
0
Suppose 0 = 10*w - 39 - 11. Solve i + 25 = 6*i - w*o, 0 = 3*i - 2*o - 10 for i.
0
Let c = -7 - -9. Let i be c/(-12) + 35/(-42). Let g be 3 + -1 + (3 - i). Solve 11 = -3*k - p, -4*p = 2*k + 18 + g for k.
-2
Suppose 0 = 25*x - 30*x + 15. Solve 5 + 3 = x*p + l, 5*l + 28 = 2*p for p.
4
Suppose 4*s = -n + 4, -25 + 29 = 2*n + 4*s. Solve -4*l = a + 3*a - 8, 3*l + 5*a - 14 = n for l.
-2
Let p = -3 - -5. Let d = p - -15. Let g = d - 17. Solve -14 = -v - g*v + 4*l, 0 = 2*l + 6 for v.
2
Suppose 11*s = 31*s - 60. Solve 4*h = 3*h + i - 1, -s*h + 9 = i for h.
2
Let l = -417 + 419. Solve c - 3 = 0, l*m = -4*c + 9 + 5 for m.
1
Let l(s) = 2*s - 20. Let v(x) = -x**3 + 8*x**2 + x + 3. Let g be v(8). Let b be l(g). Solve 4*p = -5*f, 0*p + 4*f = -b*p for p.
0
Let o be 16/(-3)*(-363)/484. Solve -m = o*l + 21, -6*m = -7*m - l - 9 for m.
-5
Let b(o) = -o**2 + o - 58. Let r be b(0). Let m = 63 + r. Solve 5*k - 1 + 5 = 4*a, m*a = k - 16 for k.
-4
Suppose 33*m - 74*m = -36*m. Solve m = -h - 3*h + 16, 4*h = 5*c + 11 for c.
1
Let q = -19 + 33. Suppose 3*h = 5*p - 67, -49 = 2*h + 3*p - 2*p. Let l be (2/(-2))/(6/h). Solve 3*z = l*z - 5*k - q, 2*z - 5*k - 18 = 0 for z.
4
Suppose -5*w + 6*w - 22*w = 0. Solve 3*o + w*o + 3*q = -6, 6 = -3*o - q for o.
-2
Let u be (0 - 4)*(-21)/56*2. Solve 4*p - 12 = 2*n, u*n + 3 = 2*p + 1 for p.
4
Let z be 3/(3 + (-783)/258). Let p = z - -59. Let m = p - -46. Solve -3*l = m - 4, -x - 5*l - 21 = 0 for x.
4
Let g(i) = i**3 + 6*i**2 + i - 1. Let y be g(-5). Solve 0 = 3*u - 4*z + 2*z - y, 16 = 2*u - 2*z for u.
3
Let q be ((-1)/(-2))/((-1)/(-10)). Suppose -n = 3*h - 32, 15 - 3 = -3*n. Suppose 0 = -q*d + h + 3. Solve -o + 21 = o - d*v, o = v + 8 for o.
3
Let c = -255 - -260. Solve 0 = t - 5*q + 9, -t + 5*t + c*q = -11 for t.
-4
Suppose -4*v = -6*v + 52. Let c = -24 + v. Solve -d - 6*g = -2*g + 22, -c*d = -5*g - 21 for d.
-2
Suppose -v + 4*v = q - 22, -5*q = -20. Let u = -3 - v. Solve 2*s + 2 = -u*y - 2*s, -5*y + 3*s + 16 = 0 for y.
2
Let h(p) = p**3 + 31*p**2 - 65*p + 49. Let d be h(-33). Solve 2*m = 2*l - 2, -5*m - d = -3*l - 5 for l.
-3
Suppose 4 = 4*l + 3*u - 23, 4*l - u - 7 = 0. Solve -4*c + 9 - 23 = l*t, 0 = 5*t + 2*c + 14 for t.
-2
Let b be 9 + -2*((-220)/8)/(-11). Solve -3*m - 3*n - 4 = -2*m, 2*m + 6 = -b*n for m.
-1
Let h(v) = -7*v - 38. Let d be h(-6). Solve c - 6*c + 5*x + 10 = 0, d*c + 2*x - 20 = 0 for c.
4
Suppose 8*c = -0*c - 200. Let v = 34 + c. Solve 0 = -4*l + 4*q - 12, 4*l + 0*l + 3*q = v for l.
0
Suppose -2*q + 8 = 2. Suppose g = q*g. Solve -3*m = 3, a + g*m + m + 2 = 0 for a.
-1
Let j(k) = 3*k**3 - 5*k**2 + 3*k. Let u(l) = l**3 - l - 1. Let g(h) = j(h) - 2*u(h). Let x be g(4). Solve 5*z - 20 - 1 = -y, -x = -z - 2*y for z.
4
Suppose 0 = -5*y - i + 5*i, -2*y + 23 = 3*i. Suppose 5*d + h = 4 + 26, y*d - 35 = -3*h. Solve 0 = 2*g + d*w + 16, g + 0*g - w + 1 = 0 for g.
-3
Let z(x) = -x**2 + 11*x - 16. Let v be z(9). Suppose 0*u - 5*u + 2*q + 60 = 0, -v*u = -q - 24. Solve -m + u = -3*m - 3*k, -5*m + 5*k - 5 = 0 for m.
-3
Let j(d) = -d**2 - 6*d - 5. Let q be j(-5). Let y be (-2)/7 - (-2728)/434. Solve 2*t + h + y = q, -14 = 2*t - h + 4*h for t.
-1
Suppose 0*z - z = -3. Suppose -z*i - 5*k = -26, i + 3*k - 8 = 3*i. Solve 3*f + 4*c = 12, 3*f + 2*f + i*c - 6 = 0 for f.
0
Let r be (5/((-30)/(-117)))/((-3)/12). Let z = r - -83. Solve -z*h - 5*v = -0 + 5, 2*h = -v - 4 for h.
-3
Suppose y = -2*h - 1, -5*y + 4*h - 39 + 62 = 0. Solve -y*d + 7 = 2*z, 2 = 4*d + 3*z - 7 for d.
3
Let a(y) = 3*y**2 - 16*y + 3. Let w be a(7). Suppose x + 2*x - w = 2*o, 2*x - 5*o - 29 = 0. Solve -4*j - 4*n = 28, 0 = 4*n - 0*n + x for j.
-4
Let c be -18*((-5)/(-3) + -1). Let q = c - 0. Let h be 2/q - (-100)/24. Solve 4*g + 8 = 0, -h*z + 7*z + 3*g + 3 = 0 for z.
1
Let g(q) = -4*q + 63. Let w be g(15). Solve w*u - 5*i = 27, 0 = 5*u + 5*i - 6 + 1 for u.
4
Suppose -12 = 4*o, -4*h + 3*h + 2 = o. Let f be (h/2)/(3/12). Solve 25 = 5*q, b - 4*q = 6*b - f for b.
-2
Let l be 1/4 + 238/8. Suppose -5*d + l - 5 = 0. Suppose -1 = 4*f + a, 0*a = -5*f + a + 1. Solve 4*x + 29 = x - d*w, 2*x + 2*w + 14 = f for x.
-3
Let j be ((1 - -1) + -1)*15. Suppose -4*o - j = -7*o. Solve -2*p + o*m = 22, -p - 5 + 24 = 5*m for p.
-1
Let g(o) = -2*o + 8. Let n be g(18). Let i be (-8)/n*(-14)/(-2). Solve -q - a + 2 + 0 = 0, -i*a + 1 = q for q.
3
Suppose 0 = -5*x + 7*x - 14. Let j(n) = -n**3 - 26*n**2 - 26*n - 20. Let f be j(-25). Solve -t - 10 + f = -3*y, -t - x = -5*y for t.
-2
Suppose 4*m + 4*b = -0*b - 24, 2*b = -8. Let a = -1 + m. Let t be (9 + (a - 1))*1. Solve 5*f + 4 = -2*h - 0*f, 2*h - t*f + 4 = 0 for h.
-2
Let z(g) = g**3 - 5*g**2 - 21*g + 114. Let q be z(6). Solve 4*j = -4*h, -5*j - h = -q + 4 for j.
5
Let w(c) = c - 8. Let t be w(10). Suppose 16 = t*i - 6*i. Let n be (-3 - (-2 - 0))*i. Solve 3*x = g - 10, n*x + 6*g = g + 12 for x.
-2
Let n be 7/1*(-6)/(-21). Suppose 8 = 2*l + n. Solve v + 3*k = 2*v - l, 0 = -v + k + 3 for v.
3
Let p(c) = -c - 3*c**2 + 5 + c**3 - 2 - 5 + 5*c. Let y be p(3). Suppose -y*u + 5*u = -75. Solve 5*i - u = -3*m, m - 5*i = -2*i - 9 for m.
0
Let h = 755 + -752. Solve 0 = 2*s + h*c + c + 20, 4*c + 20 = 0 for s.
0
Let i(f) = f**3 - 8*f**2 + 8*f - 5. Let p be i(7). Solve -5*o = -p*u + 27, -o + 3*u - 23 = 3*o for o.
-5
Let b(c) = 5*c + 44. Let f be b(-19). Let z = f - -56. Solve -4*y = z*o + 31, -18 = 3*o + 4*y + 7 for o.
-3
Suppose 2*o = 4*u - 84, 4*u + 3*o - 54 = 20. Suppose -4*w + 123 = -w. Suppose 16 = -v + w. Solve m = 5*g - v, g - u = -3*g - 2*m for g.
5
Let g = 11 + -11. Suppose g = p + p - 8. Suppose -p*c + 10 = c. Solve -2*f - f - 2*h = 17, 2*h = 2*f - c for f.
-3
Let j be 192/21 - (-1)/(-7). Let h(p) = -p**3 + 29*p**2 - 30*p + 60. Let z be h(28). Solve c - 3 - j = -z*s, -3*c = -s + 3 for s.
3
Let f = 1 + 1. Suppose 0*i + 2*i = 6, -69 = 3*h + 2*i. Let a(m) = 2*m + 81. Let t be a(h). Solve -t = -5*y + f*b, 2*y = -3*y + 5*b + 40 for y.
5
Let w = 5393 + -5390. Let y(t) = -t**3 - t**2 + 5*t + 3. Let x be y(-3). Solve -2*z + 2 = x*l - 2*l, 5*l = 3*z - w for l.
0
Let r be 105/(-245) - 4/7. Let q be (4/(-6) + r)*6/(-2). Solve 2*m = -j + 1, -q*m + 3*j + 0 - 3 = 0 for m.
0
Let h = -106 - -149. Suppose -3*d - 5*m + h = 14, -8 = -2*m. Solve -d*z - z = -2*p - 24, z