y, 2*y = u for h.
3
Suppose q - 4 = 4*i + i, 2*q + 5*i - 8 = 0. Solve -3*n + 4 = q*d - 4, 0 = -3*n - d - 7 for n.
-4
Let g(t) = t**3 + 29*t**2 + 2*t + 56. Let x be g(-29). Let v be x/(-4)*0/21. Solve -4*c + 4*m - 20 = 0, v*m + 11 = -5*c - 2*m for c.
-3
Let w be 13*(12/3 - (-7 - -10)). Solve -3*t = -2*y - w, 0 = 2*t + 3*t + y for t.
1
Let v be (1/(-3))/((-15)/1665). Suppose v*d = 34*d + 36. Solve -3*r = -5*o - 12, -o = -3*r - 0*r + d for r.
4
Suppose -26*b = -44*b + 36. Solve -4*m = -2*r - 10, 2*r - b + 10 = 2*m for m.
1
Let h = -2517 + 2521. Solve -3*q = -4*w + h, -w - 3*q = 2*q - 1 for w.
1
Let f be 129/27 + 6/27. Let q = -41 + 44. Solve q*k + 2*g = -3, 5*k + 4*g + f = -0 for k.
-1
Let h(i) = 2*i**2 - 6*i + 5. Let l be h(5). Suppose -l + 25 = -5*d. Solve -3*u = -d*w + 4*w - 12, 0 = 3*u + 3*w - 9 for u.
0
Suppose 12*d = -152 + 440. Suppose 17*i - d*i = -84. Solve 3*z = 3*s + i, 5*z = z - 3*s - 19 for z.
-1
Let t = 74 - 75. Let v be -3 - (0 - t)*(12 - 19). Solve -i - 9 = 2*z, -z = -v*z + i - 11 for z.
-4
Let j(l) = l**2 - 2*l - 4. Let t be j(-2). Solve 3*r - t*a - 4 - 6 = 0, -9 = -5*r - a for r.
2
Let s(y) = 2*y**2 + 2*y + 4. Let o be s(0). Solve 3*f - 4*a + 1 = -30, -3*f + 1 = o*a for f.
-5
Let z be (6/(-18))/((-2)/30). Solve -d - 12 = 4*q, -d = 4*d + z*q + 30 for d.
-4
Suppose -114 = -87*a + 30*a. Solve -t + 10 = a*i, -4*i + 5*i = -t + 6 for i.
4
Let t be (5 + -2)/(3/2). Suppose -6*f + t*f = -16. Solve -f*z + 9 = o, -o + 6 = 4*z - 3*z for z.
1
Let g = -12 + 15. Solve g*q + 3*n = n + 5, -4*q + 5*n = 24 for q.
-1
Let c(y) = 3*y - 9. Let k be c(4). Suppose -5*i = -k*w - 3 - 36, 0 = 4*i + w - 21. Solve -4*x = -3*f - x + i, -f + 4 = -2*x for f.
0
Suppose 4*o - 2 = -4*r + 18, 4*r - 22 = -5*o. Solve w + 12 = 5*p - 0, 0 = r*p + 5*w + 4 for p.
2
Let u(l) = l**3 - 4*l**2 + 5*l - 5. Let d be u(3). Solve 3*n - d = 4*a, -a - 4*a = -4*n for n.
-5
Let v(i) = i - 3. Let y(t) = -2*t + 15. Let j be y(5). Let q be v(j). Solve z - 21 = 4*c, -3*c = q*c + 4*z for c.
-4
Suppose -3*n = 3*q + 126, 0 = -4*q - 6*n + n - 165. Let v be (-7)/(-3) + 15/q. Solve -4*g - v*h = 4, g + 4 = h - 3*h for g.
0
Let k be 8/(160/(-15))*-4. Solve 24 = -4*b + 4*s, 2*b + 3 = -k*b - 4*s for b.
-3
Suppose -3*p = -4*b - 6*p + 20, 0 = -b + p + 5. Suppose 5*y + c - 19 = 0, 4*y - 4*c - 15 = b. Solve -2*v + y = -4*f - 4, -2*v = 2*f + 4 for f.
-2
Let y(t) = -t + 7. Let f(l) = -l**3 - 5*l**2 + 6*l + 5. Let a be f(-6). Let p be y(a). Solve -4*z = -2*j + 2, -7*z = -p*z + 3*j + 30 for z.
-3
Let u be (-1)/(0 + 1/2). Suppose 0 = -2*o + 2*h, 0*h + h + 4 = -3*o. Let y be o*(-3 - 0) - u. Solve -5*c + 4*d + y = 0, 10 = 5*d - 15 for c.
5
Let s(y) be the first derivative of y**3/3 + 2*y**2 + 2*y - 9. Let r be s(-4). Suppose r*c + c = 5*t, c = 5. Solve -l - 2*n + 2 = l, 5*n + 27 = t*l for l.
4
Suppose 63 = 11*g - 2*g. Let p be (g - 2) + -1 + 1 + -2. Solve 6 = -p*l - 2*b - 2, 5*l - 20 = 5*b for l.
0
Suppose -10*f + 10 = -5*f. Suppose -19 + 7 = -3*m. Suppose 2*x + 3*r - 12 = f*r, 2*r = m*x - 24. Solve 3*o - x = -4*a, -4*o + 2 = -3*o - a for o.
2
Let h(z) = -16*z + 210. Let b be h(13). Let j(s) = -8*s + 1. Let t be j(-2). Solve 2*f - 2*v + b = -0*v, t = -5*f + 2*v for f.
-5
Suppose 4*p = -5*w + 3, -w - 5 = 3*p - 5*p. Let k = w - -9. Solve 2*l - 2 - 2 = 3*f, 5*f - 2*l + k = 0 for f.
-2
Let s(w) = -w**2 + 2*w + 9. Let m be s(-8). Let o = m - -79. Solve 0 = y + 3*y - o, -2*u + 4 = -3*y for u.
5
Let t(y) = y**3 + 4*y**2 + 2. Let h be t(-4). Let s = h + 0. Suppose -2*b - 4*c + 4 = 14, -18 = -2*b + 3*c. Solve 2*x + 8 = 0, -8*k + 3*x = -b*k - s for k.
-2
Let h(y) = y - 3. Suppose 5*t - 2*i - 33 = -4, 4*i = -3*t + 7. Let a be h(t). Suppose j = -j + a. Solve 2*m = -2*q - 4, 3*q + 0 = 4*m + j for q.
-1
Suppose 0 = -0*q - q - 53. Let c = q + 63. Solve -h = -5*t - 14, 3*t = 2*h - 3*h - c for h.
-1
Let w(n) = 16*n + 69. Let t be w(-4). Solve -4*s + g = -17, -21 = -0*s - t*s + g for s.
4
Suppose -2*o + 3 + 1 = 0. Suppose o*p = -10, 6*p - 3*p = 2*q - 19. Suppose f + 17 = 2*n - q*f, 3*f = -4*n + 79. Solve a - v = 5*a + 7, -n = a + 5*v for a.
-1
Let h(d) = -2*d + 31. Let g be h(9). Suppose -8*f + g*f = 15. Solve -4*u + f*z - 9 = 0, 1 = -3*z + 10 for u.
0
Let u = -19 - -20. Let i be (13 - 10) + u/1. Suppose 3*j = i*j - 3. Solve v = -p - 3, j*p + 14 = 3*v - 1 for v.
1
Let t(f) = f**2 - 10*f - 9. Let g be t(12). Suppose 5*x = -2*a - g, -3*a = -a + 2*x. Let c be (27 - a)/(0 - -2). Solve -3*u + c = -v, -2*v + 3 = -0*u - u for v.
4
Suppose 0 = 5*w - r + 90, w + 0*w = r - 22. Let h = w - -21. Solve -y = -h*o - 0*o - 3, -4*o - 13 = y for o.
-2
Let x be 6*(-2 + 4)/(-2). Let a = 11 + x. Suppose 5*q + 8 = -f - a, -4*f = -2*q - 14. Solve -f*w = -5*w - 2*i + 8, 10 = -5*i for w.
4
Suppose z = -5*x + 10, 4*x - 5*z + 3*z - 8 = 0. Let q = -1122 + 1124. Solve -q*j = -5*w - 17, 0*j + 10 = -4*w - x*j for w.
-3
Let b be 38/14 + (-4)/(-14). Suppose p + 0 = 11. Suppose -p = -4*d - q, -2*d - 17 = -6*d - 3*q. Solve -d*g - b*f = -16, -g - g - f = -12 for g.
5
Let x(f) = -f**2 - 6*f - 4. Let c be x(-5). Let j(o) = -c - 45*o + 36*o - 1. Let d be j(-3). Solve -4*y + 4*t + 4 = 0, -4*y - t - 2*t = -d for y.
4
Let r be 2 + 3 + -1 + 2. Let l be (3/(-2))/(42/(-224)). Let s(j) = -j**3 + 8*j**2 + j + 11. Let t be s(l). Solve 3*c = -5*n + t, r*c - 3*c + 6 = 0 for n.
5
Let l(c) = 3*c**2 - 6*c. Let z = 16 - 12. Let b be l(z). Let q be (-16)/b - (-2)/3. Solve 4*h + 5*d + 26 = q, 0 = d - 0*d + 2 for h.
-4
Let g(i) = -i**3 - 11*i**2 - 2*i - 18. Let z be g(-11). Solve -3*j - 12 = -j + z*q, 2*j = 3*q + 9 for j.
0
Let v(p) = -14*p + 12. Let j be v(3). Let h be (j/20)/((-6)/8). Solve -22 = -4*l - 3*k, 0*k = -l - h*k + 8 for l.
4
Suppose 336 = 47*w + 37*w. Solve -4*x = -w*t, 0*t - 4*t + 2*x + 6 = 0 for t.
3
Let q be (-22)/(-8) - 2/(-8). Let m = -130 - -130. Let l = q + m. Solve -2*b = -5*w - 5, -l*w + 5*w + 26 = -4*b for w.
-3
Let g be (-10)/(-30) - 1 - (-6)/9. Solve -3*z - 6 = -5*c, g = -4*z + 5*c + 2 - 10 for z.
-2
Suppose 3*u = 3*p + 171, -3*u + 3*p + 166 = p. Suppose 8 - u = -2*b. Let y = b - 20. Solve -4*w + 2*d = -30, w - 18 - y = 3*d for w.
5
Suppose -2*w = -i - 5*w - 9, 0 = -2*i - 2*w - 6. Suppose 3*a - 13 = -5*u - 0, 1 = -3*u - 4*a. Solve u*d + i = 5*b + 15, 0 = -2*d - 4 for b.
-5
Let a be 0 + 10 - (4 - -2 - 1). Solve -2*l + 4 = 4*y - 18, 5*y + a*l = 40 for y.
3
Suppose 129*v + 12 = 132*v. Solve 0*n = 2*x + n + v, -2*x = -n - 4 for x.
0
Let l be 1 - (-2 - -5) - -6. Let r be 5/2*(-2)/(-1). Suppose -a - 4*w = 2*a + 20, 0 = 2*w + 10. Solve a = -q + y - l - 4, 4*q + 5 = -r*y for q.
-5
Suppose m - 7 = 4*z, 0 = -m - 9*z + 11*z + 7. Solve 3*p = -3*v + 12, -2*p = -v + 2*v - m for v.
1
Suppose -12*y + 72 = -96. Solve -4*w + 0*w + 11 = 3*n, 4*w + 2*n - y = 0 for w.
5
Suppose -4*x + 1 = -7. Let k = -1 + 1. Let z = -10 + 14. Solve x*l - f - 9 = k, -l + z*f + 21 = -1 for l.
2
Let i = -45 - -36. Let b(n) = n**2 + 10*n + 30. Let w be b(i). Solve -2*r - 5*d - w = 0, -d = -r + 3*r + 9 for r.
-3
Let a(o) = -o**3 + o**2 - 2. Suppose 0 = 2*j + 2*j. Let s be a(j). Let z be (3 + s)/(2 - 1). Solve 2*x = x + g - z, -2*x - g = -4 for x.
1
Let x = 90 + -88. Solve -3*d + 2*d = -3*s, x*d - 5 = s for d.
3
Let s be ((0 - 5) + 5)*(-7)/28. Solve -1 = -x + t - s, -2 = -2*x - 5*t for x.
1
Let g(v) = -3*v**2 - 78*v + 3. Let i be g(-26). Solve 3 = -3*j + j + 3*b, -i*j + 4*b = 5 for j.
-3
Suppose m + 215 = -4*k + k, 0 = -3*k + 2*m - 227. Let b = 77 + k. Solve -q = y, b*q = -0*q + 2*y + 18 for q.
3
Suppose -9 = -r - 0. Suppose 6*b + 33 = r*b. Solve 2*z = 2*j - j - 8, -2*j = -3*z - b for z.
-5
Suppose -4*p + 7 - 47 = 0. Let u be p/(-25) - (-54)/15. Solve 2*a + u*g + g - 2 = 0, 3*a - g = -14 for a.
-4
Let p(s) = 9 - s - 26 + 4*s - 2*s. Let y be p(18). Solve 5 = -3*t - y, j + 8 = -2*t for j.
-4
Suppose -24 = -5*m + 6. Solve -2*f = -4*v - m, f - 4*f - 31 = 4*v for f.
-5
Let b be -1 - (-8 - -3 - 1). Solve 0 = 3*h + v - b*v - 4, 5*v = 10 for h.
4
Let y(s) = -4*s - 36. Let z be y(-10). Solve -2*u + 22 = z*k, 2*u - 12 + 2 = -k for k.
4
Let p = 396 - 393. Solve -z - 13 = -p*x - 5*z, -3*x + 9 = 3*z for x.
-1
Let q = -16 - -13. Let m(j) = -j**3 - 4*j**2 - j + 7. Let w be m(q). Let u be 1/(-3)*0*w. Solve u = 5*l - 2*o - 15, 5*l - 3*l - o = 5 for l.
5
Let z be 1 + 2 + 0*5/20. Let f be ((-4)/6)/((-2)/6). Suppos