 = -15 + y. Solve 2*d + 0*d = -5*v - 23, 4*v + m = 2*d for v.
-3
Let a be (-27)/3*(25/(-3) + -1). Suppose -4*b - 64 = -a. Solve u = 5*p - p + 1, -b*p = 4*u + 17 for p.
-1
Let y(a) = 4*a**2 + 1. Let u be y(-1). Suppose f - u*b = -0*f + 17, -b = 4*f - 5. Let m = -40 - -43. Solve -f*p + m*h = -h + 4, -3*p + 12 = 3*h for p.
2
Let z(p) = -p**2 - 9*p. Let m be z(-9). Suppose -80 = -5*h - m*h. Let k = h + -14. Solve 2*l = -k*l - 2*d + 4, 4*l - d = -8 for l.
-1
Let b(d) = -2*d**3 - 13*d**2 - 7*d - 6. Let u be b(-6). Solve j - 2*j + 2 = 3*m, m = u for j.
2
Suppose 5*j = 5*u + 25, -10 = -2*u + 3*u - 2*j. Solve w + 5*l + 1 = 0, u = 2*w + 2*w + 3*l + 4 for w.
-1
Suppose -77 = -26*r + 27. Solve 8*a + 5 = 13*a, -r*a - 12 = 4*b for b.
-4
Let h = 22 + -26. Let d be (-1)/(((-4)/h)/(-4)). Solve 0 = v - 5*s - 21, 4*v - 5*s = 20 + d for v.
1
Let z(j) = -j - 1. Suppose -4*l + b = 23, l - 2*b - 2*b + 17 = 0. Let g be z(l). Let a = 8 - g. Solve -2*c = 2*h - 2, 0*c + 41 = -a*c + 5*h for c.
-4
Suppose -3*p + 10 = 2*n + 1, 3*n - 3*p - 21 = 0. Suppose -2 + 8 = h + d, d = 3*h - n. Solve 4*x + 9 = -7, -4*x - 28 = -h*f for f.
4
Let h = 9 - 6. Suppose 25 = h*r + 2*r. Suppose 0 = -r*k - 19 + 119. Solve -k = -5*n + 5*a + 20, 0 = 4*n - 2*a - 22 for n.
3
Let z(x) = 2*x + 29. Let p(o) = -o - 15. Let y(f) = -11*p(f) - 6*z(f). Let l be y(-11). Solve -i = -b, -l = -i + 5*i - 5*b for i.
2
Suppose s = 3*q, q + 31 - 35 = -s. Solve 4*i + 2*w - 8 = 0, 6*i + s*w = 5*i - 3 for i.
3
Suppose 3*u = 2*u. Suppose u = 6*h - 2*h - 72. Solve 3*k = 3*p + h, 0 = 2*p - 5*k + 2*k + 14 for p.
-4
Suppose 2*x - 4*v = 18, -2*v - 25 = -21. Solve 2*u - x*h + 5 = -8*h, 4*h = 3*u - 18 for u.
2
Let j = 16 + 13. Suppose -5*f + 4*a + 32 = -1, j = 5*f - 2*a. Solve -4*u - h - 4 = -12, 0 = -f*u - 4*h - 1 for u.
3
Let z be 0/(-7 + (1 - -4)). Solve -m = -2*o - 3, 10 = m + 5*o - z for m.
5
Let p = -31 - -14. Let a = -307 + 286. Let o = p - a. Solve 25 = -5*f, 0 = 4*z - 9*f + o*f - 45 for z.
5
Let t(u) = 5*u + 39. Let o be t(-8). Suppose 4*f + 0*f - 12 = 0. Let m be f + -4 + (o - -9). Solve -2*k - m - 3 = 5*z, 0 = -2*k - 3*z - 2 for k.
5
Let d(l) = -l. Let c(f) = -2*f + 13. Let v(t) = c(t) - 3*d(t). Let n be v(-9). Solve -2*a - 2 = -n*i, -3*a = -5*i + 2 - 0 for a.
1
Suppose d = -n + 7, 0*d + 5*d + 4*n = 35. Solve 0 = -k + z - 4*z + 3, k - 2*z = -d for k.
-3
Suppose -l = l - 18. Let z = -5 + l. Suppose -4*n = -0*t + 5*t - 42, -32 = -3*n - 4*t. Solve -z*k - 5*p = -30, k - n = -3*p + 3 for k.
5
Let b = -198 + 201. Solve 0 = 3*o + 3*y, 2*o + o - b*y = 18 for o.
3
Suppose 3*g = 3*l, 0 = -g - 0*g - 5*l + 6. Solve -3*i + 4*i = y - g, 3*i = -y + 5 for i.
1
Let i be ((-21)/12)/(5/(-60)). Suppose -23 = -j - i. Solve -a + 4*m - 19 = j*a, 0 = a + 5*m for a.
-5
Suppose 19 = -4*u + 7, 27 = 3*z - 4*u. Suppose 23 = z*s - m - m, 0 = 5*s - 3*m - 27. Solve -j = -s*w + 8, 4*j + 2*w - 6 = 4 for j.
1
Suppose 0 = 39*a - 57 - 138. Solve -4*t + 3 = a*k, -k - 3 = 2*t - 3*t for k.
-1
Suppose -6*y - 47 = -83. Solve 11*x - 13*x + y = 0, -h + 3*x - 9 = 0 for h.
0
Let s(c) = c**3 - 5*c**2 + 6*c - 6. Let n(q) = -3*q - 8. Let f be n(-6). Let z = f - 6. Let h be s(z). Solve 3*d = j - 1, 0 = j - d + 5 - h for j.
-5
Let r = 196 - 166. Solve r = 6*a - a + v, 0 = -3*a + v + 10 for a.
5
Let u(y) = -y + 8. Let j be u(-6). Let o be (4 - -2)/(44/22). Solve j = -4*a - o*k + 5*k, 15 = 5*k for a.
-2
Suppose -z - 4 = 0, 3*t + 9 = -z + 53. Let d(j) = -j**2 + 3 + 4*j + 9*j + 3*j. Let y be d(t). Solve -y*s - 13 = 2*m, 5*m - s + 6 = 16 for m.
1
Let j(y) = -y**2 - 51*y - 227. Let l be j(-46). Solve -3*m - 31 = 4*v, l*v + 9 + 8 = -m for v.
-4
Suppose -40 = 2*q + 3*q. Let m(k) = k**2 + 4*k + 1. Let i be m(-4). Let o be 6*q/(-12) - i. Solve -5*x = -s + 5, -o*x + 8*s - 4*s = 3 for x.
-1
Let h(g) = g**3 + 6*g**2 + 4*g - 2. Let r be h(-5). Suppose 13 + 2 = r*q. Suppose 15 = q*m - 5. Solve 5*n - 25 = -2*v, -m*n + 12 = -4*v - 8 for n.
5
Suppose 3*a = 15, -9 + 36 = 3*j + 3*a. Solve 6 = -c + j*c - s, -3*c - s = -12 for c.
3
Let n be (17 - 3)*5/10. Let f(w) = -w**2 + 10*w - 9. Let a be f(n). Let t = 14 - a. Solve 0*z + 2*z = -4*p - 4, -t*p + 22 = -5*z for p.
1
Suppose 5*g - 2*g - 15 = 0. Let i be 1*-3 - -22*g/10. Solve 5*j = -3*c - 8, -c - i = j - 2*c for j.
-4
Let k be 18/(-81) - 835/9. Let u = k - -103. Solve 4*q + 16 = 2*x - u, 5*q = -2*x - 19 for q.
-5
Let v be 37 + 1 - ((-10)/2 - -2). Let u = -38 + v. Solve -j - j + d = -12, -d + 13 = u*j for j.
5
Let m be (2 + 1)*-1 - -14. Let a be m/8 - 9/24. Suppose j + 4*j - 65 = 0. Solve -3*p + j = 5*l, -l + 2*l - p = a for l.
2
Let c(p) = 2*p - 2. Let o be c(4). Let b be 5 - ((-2)/(-1) - 0). Suppose -o - 24 = -b*n. Solve y + n = -2*s, 0 = -4*s - 0*y - 5*y - 26 for s.
-4
Suppose -11*h + 133 = 89. Solve -4*q + 4*p = -h, 5 = 4*p - 11 for q.
5
Suppose -22 = -2*m + 8. Let s be 10/m - (-39)/9. Solve -12 = 2*v - 2*g, -4*v + g + s - 20 = 0 for v.
-3
Suppose -4*g = 4*f - 112, 2*g - 86 = -3*f - 2*g. Let r = f - 25. Let h be 6/3 + (3 - r). Solve h*v - 3*y = 10, 0*v = -v - 5*y - 9 for v.
1
Let q(o) = 54*o - 103. Let r be q(2). Solve 22 = -r*h + 2*j, -j + 2*j = -4*h - 15 for h.
-4
Let o(m) = -15*m - 48. Let c be o(-4). Solve 2*g + 4*d + 12 = -0*g, 4*d = -3*g - c for g.
0
Let y = 1742 - 1735. Solve 2*z - 2*b - 6 = 0, -4*z - 12*b + y = -11*b for z.
2
Suppose -4*i = 2*y - 4, -4*y + 2 + 0 = 2*i. Suppose y*a + 24 = 2*a. Let n = -10 + a. Solve -4 = 4*u - 2*u + n*h, 5 = 2*u + 5*h for u.
-5
Suppose -j = -9*j + 8. Suppose -4*r + j = u - 12, 3*u + r = 17. Solve 3*a + 0*a = -5*l, -25 = -u*a for l.
-3
Suppose 0 = -2*k + 5*s + 21, 5*s + 0*s = -15. Let o be k + -26*(-4)/8. Let l be (-3)/(12/o) - -18. Solve 4*y - u + l = u, u + 7 = -5*y for y.
-2
Suppose -16 = 2*m + 4*n - 4, -25 = -5*m + n. Suppose -m*z + 14 + 2 = 0. Solve -2*l + 2*g + 9 = g, -l - z*g = 0 for l.
4
Let i(k) = k**3 + 13*k**2 + 10*k - 21. Let l = 64 + -76. Let c be i(l). Solve c*t + 5*v - 12 = 0, -5*t = -3*v - 27 + 7 for t.
4
Suppose 3*z - 9 = 14*h - 12*h, -3*z = -5*h. Solve 0 = -t + h*l - 5, -5 + 25 = -4*t - 5*l for t.
-5
Let q = 371 + -367. Solve 2*r = -2*r - q*z + 8, r - 4*z + 23 = 0 for r.
-3
Let u be 2 + 0 + 0 + 0. Suppose -5*p = -2*n - 7, 22*p + 5*n = 17*p + 35. Solve -5*s - 5 + u = -p*o, 19 = -4*o - s for o.
-4
Suppose -1 + 4 = d. Suppose 2*f - 5*s = 58, s + 49 = d*f - 51. Let t be f/10 + 6/10. Solve -18 = -3*n - 3*o, 2*n = -t*o + 19 - 1 for n.
3
Let l be 0 + 0/2 - (-20 + 11). Suppose -5*s - 16 = -l*s. Solve s*x + 3*d = 29, 5*x - 51 + 11 = -5*d for x.
5
Let i = -176 + 179. Solve 3*l - 5 = -3*n + 16, 2*l - 18 = -i*n for l.
3
Suppose 658 + 62 = 60*t. Solve -3*v + 4*w = -5*v - t, 0 = 2*v + 5*w + 17 for v.
4
Let j = -45 + 47. Solve -5*g - j*z - 3 = 0, -z - 11 + 10 = 3*g for g.
1
Let c(n) = 8*n - 1. Suppose 2*f = -2*f + 4. Let v be c(f). Suppose -2*w + v = -j, w - 4*j = 4*w - 5. Solve 2*o - 7*o - t = -25, 3*o + w*t = 27 for o.
4
Let o(a) = -27*a - 211. Let c be o(-8). Solve -3*i - 2*p = -12, c = 4*i - 0*p - p for i.
2
Suppose 6 = 3*c - 9. Suppose 3*o - 21 - 24 = 2*h, 0 = -o + 3*h + 15. Suppose -2*g - 3*g + o = 0. Solve a - 15 = -a - 5*p, -c*p + 15 = g*a for a.
0
Let t = 73 + -72. Let x be (-2 + t)*-1*(1 + 1). Solve k - x*k - 10 = 5*i, 4*i = -k - 9 for k.
-5
Suppose 0 = 9*j - 31*j + 66. Solve -4*o + 4*z = 32, -o + j = 2*z - 1 for o.
-4
Let m(z) = -z**2 - 5*z + 8. Let v(l) = l**2 + 6*l - 6. Let g be v(-6). Let p be m(g). Suppose r = p*r. Solve 2*x = 4*x + a + 3, 2*x - 2*a + 6 = r for x.
-2
Suppose -10 - 8 = -3*d. Let g(s) = 2*s**2 + 17*s - 523. Let j be g(-21). Solve -n - 4 = -2*l, -5*n + j*l - d - 14 = 0 for n.
-4
Let t(u) = -u**2 + 9*u + 3. Suppose 30*b = 35*b - 45. Let p be t(b). Solve -5*o - 8 = -w, 0*o - p*w = 4*o + 14 for o.
-2
Let h(u) = 8*u + 9. Let k(g) = g + 1. Let o(f) = -h(f) + 6*k(f). Let i be o(-2). Let y be (6 - 2)/(i/1). Solve -y*r = -3*q + 3, -q + 4*q + 4*r = 3 for q.
1
Let d(s) = s**2 - s + 1. Let n be d(2). Suppose 0 = -4*k + 3*c - 7, -n*c - 1 + 6 = -5*k. Solve 2*f - k = -0*f + 2*q, 5*f = -5*q + 15 for f.
2
Suppose -6*u = -u - 15. Suppose 0 = -2*q + 11 - 5. Suppose q*t = -t - m + 41, -5*m + 5 = 0. Solve 0 = 4*x - u*z + t, 2*z + 14 = -4*x - 6 for x.
-4
Let x(w) = -5*w + 70. Let k be x(13). Solve r = 2*p + 4, -p - 3 + 1 = k*r for r.
0
Suppose j = -4*x + 103, 2*j = 2*x - 2*j - 