= 5*z - 12. Let a be k(5). Suppose 9 = 5*i - 3*l, -i - 3*l = -4 + a. Solve x - j*x + 2 = i for x.
1
Let b = 40 - -2. Let o = -2 + b. Suppose -5*j - 4*h = -0*j - o, -h = -4*j + 11. Solve -3*r + j = -r for r.
2
Suppose 81*h = 82 - 1. Solve 2*w = -h - 3 for w.
-2
Suppose -6*c + 5*c - 3*l = -3, 2*l = -c + 2. Let o(d) = -4*d**3 + 0 + d + 1 - d**2 + 2 + 5*d**3. Let y be o(c). Solve 1 = y*k + 7 for k.
-2
Let k = -59 - -246. Let s = 193 - k. Solve -h = -s*h + 10 for h.
2
Suppose -2*m = -1917 + 1891. Solve -m*l + 11*l = -2 for l.
1
Let x be -2 + (0 + -3 - -5). Suppose 5*p = 5*s, -s + x*p - p + 10 = 0. Suppose 11*j - 18 = s*j. Solve d - j*d = -8 for d.
4
Suppose -1520*r + 1521*r + 41 = 5*m, -2*m = 5*r - 11. Let o = 0 - 0. Solve o = q - 11 + m for q.
3
Suppose 5*b - 8 = -28, 76 = 4*h - 5*b. Suppose -h*d = -59*d + 540. Solve -8*q + 4*q = -d for q.
3
Suppose 4*b - 4*s + 120 = 0, s - 29 = 2*b + 27. Let h = 30 + b. Solve 7 = x + h for x.
3
Let m(a) = -8*a - 56. Let i be m(-8). Let s = -23 - -40. Suppose -i*d + s = -55. Solve -4*v = -d*v - 5 for v.
-1
Suppose 2*j + 7 = -5*s, -2*j = 4*s - 5*s + 13. Let n(u) = u**3 + 5*u**2 - 6*u + 6. Let r be n(j). Suppose -12*b + 9 + 39 = 0. Solve -b = -5*l + r for l.
2
Suppose -n + 60 = 5*d, 2*n + 0*n - 162 = 4*d. Suppose 4*o - n = -5*x, o - x - 19 = -2*x. Suppose -4*p + o = 4. Solve p = -3*t - 2 for t.
-2
Suppose 3 - 4 = -3*c - u, 0 = -2*u - 10. Suppose 0*o + o - 3*v - 11 = 0, 0 = 2*v + 6. Suppose -2*f + o*m = 0, 0 = 5*f + 2*m + 3*m. Solve -r - c = -f*r for r.
-2
Let j be 1 - -1*(-29)/1. Let b be 0 - (2 - j/(-2)). Let h be (-24)/22*(-8)/(-64)*-44. Solve 2*y - h*y = -b for y.
3
Let y = -415 - -794. Let w = -375 + y. Solve w = 12*l - 11*l for l.
4
Let z be 15*(4/(-10))/(-1). Let h = -120 + -76. Let d = 196 + h. Solve d*s + z = -3*s for s.
-2
Let g(c) = -c**2 + 5*c - 2. Let p be g(4). Let q be (-60)/36*9/6*2. Let m be (-6)/q*(-65)/(-39). Solve y - m*y = p for y.
-2
Suppose -183*c - 188*c = -381*c + 360. Solve -14*f = -8*f - c for f.
6
Let v(q) = -q**2 + 7*q + 42. Let m be v(11). Let l be (m/(-7))/((-5)/280*-8). Solve l*u = -u for u.
0
Let j(w) = 3*w + 38. Let l be j(-1). Solve 0 = l*c - 98*c - 441 for c.
-7
Let j(k) = k**2 - 9*k + 23. Let x = 682 - 678. Let p be j(x). Solve -p = -2*h + 3 for h.
3
Let m be (-15)/(-1)*64/6. Let q = m + -155. Solve -p = -q*p for p.
0
Let l = -19 - -43. Suppose 3*k = 23*f - l*f + 22, -5 = -k + 2*f. Solve k*b + 3 + 4 = 0 for b.
-1
Let u be (-3 - 0)*(0 + (-24)/18). Suppose 2 = s - 3*y, -7*y + 3*y + 8 = u*s. Solve -4*p = 14 - s for p.
-3
Let n(f) = 98*f - 546. Let b be n(9). Solve b = l + 340 for l.
-4
Let u = 2648 + -2622. Solve u*v = -0*v - 52 for v.
-2
Let k(z) = -z**3 - 2*z**2 - 37*z - 309. Let t be k(-7). Solve 0 = -21*i - 18*i - t for i.
-5
Let h(n) = -3*n - 18*n**3 - 5*n**2 + 2 + 15*n**3 + 4*n. Let d be h(-3). Suppose -33*b - d = -40*b. Solve -b + 2 = y for y.
-3
Let k(c) = -2*c + 4. Let m(s) = s**3 + 8*s**2 - 3*s - 13. Let y be m(-6). Let x = -77 + y. Let n be k(x). Solve -n*a = a - 5 for a.
1
Suppose 4*f + 0*f = 56. Suppose 2*a - f = 5*i, 3*a + 1 = -i + 5. Solve -15 = -3*r - a*r for r.
3
Suppose t = k + 1, -3*k + 2 + 5 = 2*t. Suppose 2*y - 30 = 5*w - 2*y, -t*w - 5*y = -21. Let h be (-2)/1*(w + (-21)/(-14)). Solve -n = -3 + h for n.
2
Suppose 3*d = 3*g - 7*g + 1162, 1568 = 4*d - 4*g. Let k = d + -386. Solve -3 = k*p - 3 for p.
0
Suppose -2*n + i + 114 = 0, n - 2*i = 54 + 3. Let x = n - 49. Solve 3*h + x = -7 for h.
-5
Let n(z) = 6*z**3 + 124*z**2 - 43*z + 7. Let i be n(-21). Solve -i*p + 54*p = -52 for p.
-2
Suppose 5*q = -x + 3 + 3, -2*x = -5*q - 12. Suppose -u + 3*u = 4*s - x, -2*s + 2*u = 0. Solve -s*o = -8*o for o.
0
Let f be 10 - -1 - 1701/243. Solve f*o - 1 = 3*o for o.
1
Let u(g) = -3*g - 3*g + 1 + g. Suppose 4*i - 224 + 232 = 2*f, 3*i + 6 = -4*f. Let q be u(f). Solve q = -a + 5 for a.
4
Suppose 66*l = 160*l - 55*l - 2418. Solve -l*m - 100 = -286 for m.
3
Suppose -5*y + 30 = -5*q, -14 = -5*q + 2*y - 44. Let o(k) = -26*k - 135. Let w be o(q). Solve -4*d = -29 + w for d.
2
Let a be (-11)/(((-1272)/180 + 7)*3). Solve a + 85 = 28*y for y.
5
Let s be (-112)/(-64) + (42/(-8))/3. Solve s = 36*j - 27*j + 9 for j.
-1
Suppose 5 = 5*o - 10. Suppose -72*t + 8*t = -64. Solve -14 = -o*s + t for s.
5
Let s be (-2)/8 + 223/(-4). Let u = -15 - -77. Let t = s + u. Solve -k = k - t for k.
3
Suppose -53 = -5*w + 27. Let f(j) = j**3 - j**2 - 5*j - 1. Let l = -20 + 23. Let i be f(l). Solve -2*g = i*g + w for g.
-4
Suppose t - 2*t = 0. Suppose -2*h + g - 6*g = 10, -h + g + 9 = t. Suppose -14*d + 4*d = -4*d. Solve -h = -x - d*x for x.
5
Let g = -100 + 182. Let j = -79 + g. Let l be 7 - -1*(-2)/(-2). Solve k = -j*k + l for k.
2
Let x = 43 - 35. Suppose -x*h + 2*h = 0. Suppose v + 1 = a - 0*v, h = 4*a - 5*v - 5. Solve y + 2 = -a*y for y.
-2
Let x = -14 - -13. Let j be 6/(-9)*x + 57/9. Suppose j = -5*z - w + 4*w, w = z + 3. Solve -z - 4 = -5*o for o.
1
Let v(r) = 46*r**2 + 64*r. Let l be v(-3). Solve 0 = 34*i + 3*i - l for i.
6
Let p(o) = -28*o - 194. Let l(u) = -6*u**2 - 44*u + 43. Let y be l(1). Let d be p(y). Solve -d*s + 3 = -5 for s.
4
Suppose 123*c - 119*c - 3*z - 522 = 0, -4*c + 5*z + 534 = 0. Solve 8*o - 29*o = c for o.
-6
Let v = 33804 - 33460. Solve 0 = -65*u + 108*u - v for u.
8
Let i be 78225/4900 - (-2)/56. Solve i*x + 43 = -37 for x.
-5
Let m(j) = 1 + j**3 + 0 - 3*j + 2*j**2 + 1 + 1. Let i be m(-3). Suppose 20 = -9*v + 14*v - 5*h, -2*v = 4*h + 10. Solve 4 = -i*g + v for g.
-1
Suppose 29*c - 585 = -217 + 1082. Solve -53*b + 3 = -c for b.
1
Suppose 17*t = 4018 + 6420. Solve t = 4*s + 622 for s.
-2
Suppose i = -0*i. Let r be (-22)/(-8) + ((-21)/60 - (-4)/(-10)). Suppose -u - 3*x = 11, x = 4*u - 3*x - 36. Solve i*q - u = -r*q for q.
2
Let j be (1*-2 + 148)*((-441)/42 - -11). Solve -69*l = -j*l - 12 for l.
-3
Suppose 4*k + 3*z - 10 = 0, -2*k = 2*z - 4*z + 2. Let y(r) = r**2 - 10*r + 19. Let t be y(8). Solve -t*m = -13 + k for m.
4
Let w(y) = -y**3 + 4*y**2 - 10*y + 15. Suppose 0 = 3*v - 4 - 2. Let h be w(v). Solve -s = -5 + h for s.
2
Suppose 12*i + 0*i - 48 = -4*i. Suppose -3*w = -w. Suppose t - 3*t + i*t = w. Solve t = q - 4*q + 9 for q.
3
Suppose -12*s = -16*s + 3*c + 68, -20 = -5*c. Solve -s*p + 60 = -8*p for p.
5
Let d be (9 - 4 - (-4 - -7)) + 9. Solve -4*h - 27 = -d for h.
-4
Let x(w) = -w + 42. Let p be x(18). Let g = p - 19. Let r = g - 5. Solve -5*o + 2*o = r for o.
0
Let a = 5 + 15. Let b(y) = -3*y**3 + 30*y**2 + 70*y + 26. Let s be b(12). Solve -a = -6*h - s for h.
3
Let m(q) = q**3 - 6*q**2 - q + 8. Let z be m(6). Let p = 383 + -381. Suppose 14*x - 2*h - 11 = 11*x, x + p*h - 9 = 0. Solve x*v = -8 - z for v.
-2
Suppose -257*u = -1505 - 294. Solve 0 = 28*v + u*v + 210 for v.
-6
Let f be 9/(-27)*33 + 16/1. Solve -107*p - f = -108*p for p.
5
Let v(d) = d**3 - 5*d**2 + 7*d. Let s be v(3). Suppose -2*y + 120 = s*y. Solve 7*m - 4 = y for m.
4
Let o = -4683 + 4702. Solve -o*y + 72 = -y for y.
4
Suppose 279*s - 36321 = 96488 + 68071. Solve -25*t - s = 55*t for t.
-9
Suppose -l - 8 = -10. Suppose 0 = -3*n - l*n + 5. Let x be (n/(-3))/(5/(-45)). Solve x*y - 3 = 9 for y.
4
Let m be ((-4)/10 - 77/(-105))*3. Suppose 5*c - 349 = -4*b, 2*b - b = m. Let f be (-11)/(-33) + (-1 - c/(-9)). Solve 5*i + 3 = -f for i.
-2
Let a(t) = -133*t**3 + 3*t**2 - 3*t - 5. Let y be a(-1). Solve 5*r = -159 + y for r.
-5
Suppose 0 = 3*n + 5*q + 14, 18 = 5*n - q - q. Suppose p + 77 = -j + n*p, -4*j - 305 = -5*p. Let z = j - -87. Solve -6*y - 1 = -z*y for y.
1
Let a = -92 - 28. Let h = -116 - a. Solve 0*k + 12 = -h*k for k.
-3
Let b(j) = -j**3 - 16*j**2 - 12*j + 49. Let f be b(-15). Suppose 287 = f*x + 259. Solve 2*q = x*q + 5 for q.
-1
Let c = -10549 - -10561. Solve 15*s - c = 13*s for s.
6
Suppose 0 = 5*a - 4*m - 4, 0 = -2*a + a + 2*m + 2. Suppose a = 5*s - 3*s - 4, -w + 6 = 2*s. Suppose -152 = -120*p + 44*p. Solve w*h + p = -2 for h.
-2
Let w = 17049 + -17025. Solve -26*x = -w*x - 10 for x.
5
Let j be 195/3*2/5. Suppose 20*n - 17*n = f + 21, 0 = 5*n - f - 37. Suppose -n*o + j = -110. Solve 3*d + o = 2 for d.
-5
Let u(d) = d**3 - 8*d**2 + 4*d - 52. Let o be u(10). Let y = -179 + o. Solve y - 7 = a for a.
2
Suppose 10 = 5*x + 3*g + 6, 5*x + g - 8 = 0. Let u = -118 - -75. Let y = u + 55. Solve x*b + y = 5*b for b.
4
Let j = 