z.
-5
Suppose -s - 25 = -3*i, 0*i + 29 = -s - i. Let j be (s/(-6))/((30/9)/5). Solve -2*y + j*y - 15 = 0 for y.
3
Suppose l = 6*l - 15. Suppose l*g + 3 = -4*j - 2*g, 4*j - 6 = -2*g. Solve -j*o - 2 = -o for o.
-1
Let m(d) = d**3 - 6*d**2 - 59*d + 47. Let a be m(11). Solve -a*x - 30 = -21 for x.
-3
Let p(n) = -n**2 - 5*n + 26. Let d be p(-8). Solve 35 = -5*i - d*i for i.
-5
Let j be (36/14)/(8/252*9). Solve -6*a + 3 = j for a.
-1
Let v(q) = 10*q - 3. Let u be v(1). Suppose j - 2*f = 4, 0 = -4*j - f + u. Suppose 4*h + 2 = 14. Solve j = -4*t + h*t for t.
-2
Suppose -5*j = w - 168, -w - 180 = -5*j - 18. Let y = -24 + j. Suppose 0 = 4*x - 4, 3*x = -p - 2*x + y. Solve 2*k - p = -0*k for k.
2
Let g be 9/(3 - (-4 - -6)). Suppose -5*b - 28 = -g*b. Let y = b - -1. Solve 3*f = -f + y for f.
2
Suppose 0 = -5*v + 7*v - 12. Suppose -2*z - v = 2*d, -z - 13 = -4*d - 0*z. Solve d*r - r = -5 for r.
-5
Suppose 10 - 7 = m. Suppose -h - 10 = -5*l, -m*h + 4 = 4*l - 4. Solve h + 6 = -2*t for t.
-3
Let q be (3 - (-105)/(-9))/((-4)/6). Suppose r - 12 = 2*r + t, 0 = t. Let z be q*3*(-4)/r. Solve -4*g - 3 = z for g.
-4
Let d be (-145)/(-45) + -3 + 2892/108. Solve -14 - 40 = d*c for c.
-2
Suppose -r + 11 = -2*r. Let z(h) = 3*h + 33. Let b be z(r). Solve -6 = 2*f - b*f for f.
-3
Let l be (((-15)/2)/15)/(2/(-8)). Solve l*c + 3 = -3 for c.
-3
Let y be -8*((-26)/(-4))/(-13). Solve -2*i + y = -3*i for i.
-4
Let z be (-66)/(-10) + 8/20. Solve z*g - 60 = -25 for g.
5
Let w(j) = 10*j**3 + j**2. Let d be w(-1). Let h(r) = -r**2 - 8*r + 8. Let b be h(d). Let l be 2 + b*(2 + -3). Solve 0 = l*p + 7 + 5 for p.
-4
Let v be 5/25 - (-42)/15. Suppose v*x + 20 = 8*x. Solve 1 = 5*b - x for b.
1
Let p = -48 + 4. Let g = p - -48. Solve -g*l + 22 = 2 for l.
5
Suppose -3*x + 9 = -4*l + 5, -11 = -2*x + l. Solve 0 = -x*u - 8 + 16 for u.
1
Suppose -28 = -24*j + 17*j. Suppose 8 = a - 2*d, 3*a - d + 12 = -j*d. Solve 0*k + 3*k - 3 = a for k.
1
Suppose 0*c - 4*c = -4. Let g = c - -5. Solve l = -l - g for l.
-3
Suppose 0 = -2*d + d + 6. Let g(b) = b + 7. Let w be g(-5). Suppose -8 = -d*z + w*z. Solve -h + z*h = 0 for h.
0
Let r = 2033 + -2027. Let y be (-2)/(-2 + 4) - -2. Let v = y - -1. Solve 2 = -v*b + r for b.
2
Let k = 51 + -111. Let c be (-258)/(-90) + (-8)/k. Solve -c*s = -s - 8 for s.
4
Suppose -y - 12 = -h - h, -5*y - 6 = -h. Suppose 4*t = t - h. Let a = -2 - t. Solve 4*p - 7*p + 9 = a for p.
3
Suppose 2*r - 30 = -6*l + 2*l, 0 = -5*r - 3*l + 40. Solve r*b = -0*b + 25 for b.
5
Let h(i) = 8*i**3 + 2*i**2 - i. Let f be h(1). Suppose -110 = -43*d - 24. Solve -d*u + f = -5*u for u.
-3
Suppose -3*v - a - 144 = 4*a, 0 = -4*v + 5*a - 192. Let r = v + 53. Solve 0 = c - r*c for c.
0
Let c(m) = 12*m + 132. Let g be c(-11). Solve g = 5*s + s for s.
0
Let d be 12/(-42) + 44/7. Suppose -3*s + 2*g + 1 = 0, -13*g - 8 = -15*g. Solve d = -s*w - 9 for w.
-5
Let u = 1 - -1. Let g = u + 3. Let f(h) = h**3 - 3*h**2 + h - 3. Let s be f(3). Solve s = g*l - 2*l for l.
0
Suppose -10*n = -19 + 9. Solve b - n = 1 for b.
2
Suppose 13*r - 207 = 170. Solve -d - 25 + r = 0 for d.
4
Suppose -22*t = -17*t - 10. Suppose -t*j + 31 - 1 = 0. Solve -5*i + 2*i - j = 0 for i.
-5
Let r(t) = t**2 - 1. Let n(y) = y**3 + 2*y**2 + y. Let z be n(-2). Let o be r(z). Let a be 1/o*(3 + 9). Solve -24 = -a*q - 4 for q.
5
Let k = 59 + -101. Let t = -39 - k. Solve -c + 2 = -t*c for c.
-1
Suppose 2*r - 14 = -5*r. Let c be (r - 3)/((-2)/50). Solve -3*o = 2*o + c for o.
-5
Suppose 16 = 4*d - 8*d. Let c(f) be the third derivative of f**4/12 + 11*f**3/6 - f**2. Let p be c(d). Solve -u = -0 + p for u.
-3
Suppose -2*d + 0*d + 5*z + 187 = 0, 2*d - z = 183. Suppose 5*c = d + 9. Solve 7*n + c = 2*n for n.
-4
Let q be 0/(5/((-10)/(-4))). Let d be (-3)/9*(q - 15). Let u = 487 - 471. Solve d*p = p - u for p.
-4
Suppose 10 = 4*v + 3*g, -16 = -2*v - 0*v + 4*g. Suppose 0*z = -v*z + 2*o + 18, 9 = z - 5*o. Solve -7 = -3*m - z for m.
1
Suppose -2*u - 2 = s, 2*u = -0*s - 3*s + 6. Suppose 0 = -d + s*d. Solve -i = -d*i for i.
0
Let i(p) = -p**3 + 6*p**2 + 2*p - 6. Suppose 0 = -4*u - z + 25, -u = -z + 2 - 7. Let q be i(u). Solve 0 = -s + q*s - 15 for s.
3
Suppose 194 = 27*r + 32. Solve 0 = -2*o + r*o + 20 for o.
-5
Suppose -2*m + 4 - 18 = 4*l, -3*l - 2*m - 13 = 0. Suppose 0 = 6*r - 2*r - 20. Let w = l + r. Solve w*s - 5 = 7 for s.
3
Suppose p - 4*x - 14 = 0, 5*p + 18*x = 14*x + 22. Solve -7*w + 5*w = -p for w.
3
Suppose -2*t - 3*w + 8 = -8*w, 4*w + 8 = 2*t. Suppose -5*z - 3*a + t = -3*z, 10 = -5*a. Solve z*x - 5 - 5 = 0 for x.
2
Suppose 2*n + 2*g - 36 = 5*g, n + g = 23. Suppose -10 = -2*c - 2. Suppose 4*y = -k - 1, 4*y - n - 11 = -c*k. Solve 0 = -4*w + 27 - k for w.
4
Suppose -52 = -2*n + n. Let g = n - 52. Solve g*s = s for s.
0
Suppose -11*t + 20 = -7*t. Let h(n) = n + 1. Let k be h(t). Solve 0 = 4*m - k - 14 for m.
5
Let f(a) = -7*a + 1. Let w be f(-2). Suppose 3*m - 3*z - 6 = w, z = 2*m - 9. Let p = 129 - 113. Solve -p = m*l + 2*l for l.
-4
Let w = -886 + 888. Solve -k - w*k - 3 = 0 for k.
-1
Let n(i) = 5*i**3 + 3*i**2 - 3*i - 20. Let y(h) = 14*h**3 + 10*h**2 - 9*h - 61. Let x(k) = -17*n(k) + 6*y(k). Let w be x(8). Solve 0 = 4*s - w - 2 for s.
4
Let g be (3 - 3)/(3 + -2). Let h(o) = o**3 + 5*o**2 + 4*o + 3. Let s be h(-4). Suppose 0 = 5*j - v - 32 - 8, 5*v - 43 = -2*j. Solve s*i + j = -g for i.
-3
Let t be 40/6*(135/(-10))/(-9). Solve 120 = 20*x + t*x for x.
4
Suppose -14*r = -370 + 20. Solve 0*l + 5*l = r for l.
5
Let i = -4 - -11. Suppose -2*h + i = 3*c - 5, -2*c + h = -1. Suppose -c*r = -6*r. Solve 0 = k - r*k for k.
0
Suppose 3 = z + 4*n - 2, 4*z + 4*n = 20. Suppose 3 = 3*d - 3*p, p - z = -4*d + 6*p. Solve k - 3 + 2 = d for k.
1
Suppose -5*b + 2*r + 75 = r, b = 2*r + 24. Suppose 2*z - 3*t = -5*t - 6, 2*z - 2*t - b = 0. Solve -z*p - p + 3 = 0 for p.
1
Let a = -2 - -4. Let u = -968 + 971. Solve -x + u = -a*x for x.
-3
Suppose -11 = -20*w + 17*w - 5*d, 5*w = 3*d + 41. Solve w*b = b + 18 for b.
3
Let t be -2*((-2)/4)/(3 - 2). Solve t - 16 = -5*a for a.
3
Let t = -455 - -457. Solve -p + 15 = t*p for p.
5
Suppose -j + 2 = -0*j. Let d(u) = 27*u - 79. Let s be d(3). Solve -j*p = -s + 10 for p.
-4
Let q(g) = g**2 - 6*g - 6. Let c be q(-4). Let o be (-4)/(-8)*c + -1. Let z be (-5)/(2/o*-2). Solve 3*r + r + z = 0 for r.
-5
Let f(b) = 11*b**2 + 7*b + 3. Let r(s) = -12*s**2 - 6*s - 3. Let v(g) = -3*f(g) - 4*r(g). Let u be v(-1). Solve u = 5*l - 2*l for l.
5
Let l be (2/(-8))/(0 - 5/20). Suppose 2*v - 5 = -l. Solve d + 1 + v = 0 for d.
-3
Let h = 111 + -39. Let k = 95 - h. Solve -k + 7 = -4*a for a.
4
Let y be ((-6)/(-2) - 3)*-1. Let c(v) = v**2 + 3. Let m be c(y). Solve -o - 2*o = -m for o.
1
Suppose 18 - 10 = 2*s. Suppose 0 = s*t - 3*l + 3, -4*t + 23 = 4*l - 9. Solve -t*q - 2*q = 10 for q.
-2
Let v = 28 - 25. Suppose v*u - 8 = 7. Solve -u*k = -3*k - 4 for k.
2
Let i be ((-25)/10)/(1/(-2)). Let j(t) = 3*t + 8 - 2 - i*t + 5*t. Let m be j(3). Solve 4*k + m = -k for k.
-3
Let h be ((-6)/(-27)*-3)/(8/348). Let j = 29 + h. Solve 0 = 2*s - j*s for s.
0
Let l = 105 + -45. Suppose l = f + 3*f. Suppose -2*w - m + 9 = 0, -4*w - 3*m + f = -0*w. Solve w = u + 2 for u.
4
Let b(o) = 4*o**2 - 4*o + 3. Let g be b(2). Suppose 3 = -2*n + g. Solve n*r - 2 = -10 for r.
-2
Let n be -3*(-5)/(-10)*-2. Suppose -n*i + 4 = 4*z + 2*i, 16 = 4*z + 2*i. Solve -5*l + 3*l = z for l.
-3
Let b = 37 - 33. Suppose 0*c - b*o = -4*c, -5*c + 8 = -3*o. Solve -6*g + c*g = 8 for g.
-4
Let q(k) = 2*k**2 + k - 2. Suppose -22*x = -25*x - 6. Let d be q(x). Solve -d*g + 2 = -3*g for g.
2
Let c(m) = m - 6. Suppose -14 = 2*k - 18. Let s be 9 + -2 - (k - 1). Let n be c(s). Solve n = 3*x - 8*x - 10 for x.
-2
Suppose -7*i + 15 = -2*i. Suppose i*d - 28 = -4*n, n = -0*d + d. Let q(v) = -2*v. Let u be q(0). Solve t + n - 9 = u for t.
5
Let u(h) = -61*h - 304. Let c be u(-5). Solve -c = -11*x - 1 for x.
0
Suppose -25*c + 38 = -237. Solve t - 12 = -c*t for t.
1
Suppose -41 - 4 = -9*l. Solve l*z + 13 = 23 for z.
2
Suppose -3 = -d + 1. Let h(q) = q**3 + 12*q**2 + 25*q + 13. Let a be h(-9). Solve -a = -d*o - 11 for o.
5
Let f = 51 - 11. Let c = -35 + f. Solve -c*d + 3*d - 2 = 0 for d.
-1
Suppose t + 2*j = 6, 331 = -3*t + 3*j + 322. Let h = -7 + 12. Let z be h - 1 - (-2 - -4). Solve -z*l + 10 + 0 = t for l.
5
Suppose 5*k + 5 = -0