 2 = -6 for t.
-1
Let h(w) = w**2 + 5. Let t be h(0). Suppose t*i - 2*m = 22, 4*i + 3*m - 17 = -i. Solve 4*d - 4 + 12 = 0, i = -2*c + d for c.
-3
Let k = 55 - 51. Solve -g - 17 = -0*l + 3*l, k*g + 8 = 0 for l.
-5
Suppose -5*n + 6 = 4*z - 5, n + 3*z = 0. Suppose -c + 4*c + n = 0. Let f be (-4)/(3 + c) - -4. Solve l + l = 4*u + 4, 2*l + f = u for l.
-2
Let f = 3 - 9. Let i = -2 - f. Solve -4*b + 28 = -i*w, -w + 0*w - 2*b + 2 = 0 for w.
-4
Suppose 3*j = 3*o, 0 = -3*j - 2*j + 10. Solve 5*k = 3*x, -o*k = 4*x - x + 21 for x.
-5
Suppose v - 10 = -4*v. Suppose 0 = m - 6*m - 4*t - 20, -10 = m + v*t. Solve 3*k - 4*s + 16 = m, k - 2*s = 5*k - 8 for k.
0
Suppose 23*d - 34*d + 55 = 0. Let c be 2/8 + (-22)/(-8). Solve 5*f + 4*y = 2, 0*y - c*y + 4 = d*f for f.
2
Suppose 4*i - 5*i - 4 = 0. Let c(p) = -p - 4. Let f be c(i). Solve r + 4*n - 9*n + 20 = f, -4*r - 26 = -2*n for r.
-5
Let t be -138*(-2 + 10/6). Suppose -2*p + t = 4*j + p, -5*p + 3 = j. Solve z + 3 - 1 = 0, -3*k - 2*z - j = 0 for k.
-3
Let t be 4 - (2 + (-12)/1). Solve 0 = -2*x - 5*u - 3, 3*x = 2*u - t for x.
-4
Let x be 3*3*30/27. Suppose -5*v - 7 = -4*b, b - 2*v - 4 = -b. Suppose -5*i - 3*k + 20 = 0, -3*i + 12 = b*k - 2*k. Solve -5*t - x = 0, i*j + 4 = 4*t - 0 for j.
-3
Let d be (12/(-5))/(12/(-40)). Suppose -3*g = -4 - d. Let i(o) = 2*o**2 - 5*o. Let b be i(4). Solve -4*r - k - 2*k = -10, -5*r = g*k - b for r.
4
Let c(s) = -2*s**2 - 5*s - 8. Let q(w) = 5*w**2 + 14*w + 23. Let r(v) = -8*c(v) - 3*q(v). Let o be r(4). Solve -o*t = -4*m + 4, -t + 4 = -2*t + 2*m for t.
4
Let d = 512 - 507. Let z = 40 + -18. Let m = 38 - z. Solve -4*f + 4*v + m = 0, 0*f = -d*f - 4*v - 25 for f.
-1
Let j(s) = s**3 + s + 66. Let c be j(0). Suppose 8*q - 2*q - c = 0. Solve -1 = 4*i - 3*r, 2*i - i = -3*r + q for i.
2
Let v(b) = -b + 1. Let s be v(-8). Let o be 6/s + (-8)/(-6). Solve 0 = -4*u - 3*g + 2 - 1, -5*u = -o*g + 16 for u.
-2
Let k(h) = -h - 5. Let n be k(-6). Let d be (n + 2/6)*3. Solve -y + 3*y + 1 = -5*m, m = y + d for y.
-3
Let u(l) = 2*l**3 + l**2 + 2*l + 1. Let w be u(2). Solve 5*m + 25 = 5*x, 5*m + w = -4*x + 2*x for m.
-5
Let j(n) = 0 + 2*n**2 - n**3 - n**2 + n + 8. Let u be j(0). Solve b - u = d, 3*d - 2 = d - 4*b for d.
-5
Let j = -15 + 18. Solve -3*y + j*h - 19 = -y, -5*h = 2*y - 21 for y.
-2
Let s be 0/(4 + 0) + 2. Solve -l + 2*l - 5*t = 2, s*t - 6 = -3*l for l.
2
Let x = 26 - 17. Solve 13 = 4*l + 3*y, 6*l - 4*l = y + x for l.
4
Let a be 2/9*(-9)/(-1). Solve a*y + 0*y = p, 5*y - 2 = 2*p for y.
2
Let w(k) = 3*k**2 - 3*k**2 - k**2 - 5*k + 0*k. Let h be w(-5). Let a be (-3)/(-6)*h + 2. Solve -o + 3 = 4, a*u - 2*o = 0 for u.
-1
Let f be 2 - (-3)/(15/125). Solve -3*p - t = 6, -5*p - 3*t = -7*t + f for p.
-3
Let s = -4 + 8. Let o = 0 - 6. Let t be ((-8)/(-12))/(-2)*o. Solve t*f - 3*h + 3 = -7, -5*f - 3*h - s = 0 for f.
-2
Let j be ((-25)/20)/(-5)*4. Solve -5*t = -2*b - 3*b, b - j = 0 for t.
1
Suppose s = 6*s - 20, -4*z + s = -84. Suppose 4*a + 2*w = z, 2*a - 4*w + 3 + 11 = 0. Let o = 0 - 0. Solve -d + 5*v + 5 = o, -2*d + 7*d - a*v = 3 for d.
0
Let d be (2 + 0)/((-16)/(-24)). Solve m = 3*h - d, -5*m + h - 4 = -3*h for m.
0
Let r(q) = -q**2 - 6*q - 5. Let h be r(-4). Let j(g) = -2*g - 14. Let i be j(-8). Solve 5*x - 1 + 2 = -h*a, -5*a = i*x - 11 for x.
-2
Suppose -u + 69 = 3*u - z, -3*z = -5*u + 81. Solve -3*w - 5*c - u = w, c = -2 for w.
-2
Suppose -2 = 3*i - 2*n, -5*i - 4*n = -22 - 4. Solve -r - 8 = 4*z, 3*r = -z + i + 7 for z.
-3
Let b = 25 - 19. Suppose 2*t + b = 3*q, -4*q - 23 = -6*q - 5*t. Solve 2*l + l + 2*n - 13 = 0, -19 = -q*l - 3*n for l.
1
Suppose 5 = -7*i + 2*i + 4*v, 3*v - 21 = -2*i. Suppose 8*a + 4*g = i*a + 94, g - 62 = -3*a. Solve 39 = -3*c + 5*x + 11, -4*x = -2*c - a for c.
-1
Suppose -4*y = -12 + 4. Let s = 0 + y. Solve -s*q + 19 = 5*v, -v + 2*q + 5 = 3*q for v.
3
Let m(g) = g**2 - 8*g + 5. Let o be m(8). Solve -5*r + o*w - 8 - 2 = 0, -5*r - w - 16 = 0 for r.
-3
Suppose 5 = 6*a - 5*a. Suppose a*z - 45 = 2*z. Suppose 0 = 5*n + 5*m - 55, -n - 3*m = -0*n - z. Solve 1 = -2*q - 3*y - 5, 3*y + n = -3*q for q.
-3
Suppose 2*y = -2*i + 8, 3*i - 5*y = -y + 5. Let j(k) = 2*k**2 + 2*k - 2. Let s be j(1). Suppose -o + s = -0*o. Solve 3*b + o*q = -8, 8*b + i*q = 3*b - 13 for b.
-2
Let a(c) = 2*c + 1. Let q be a(2). Suppose q*u = -0*u + 120. Suppose m = -3*m + u. Solve 5*j = -3*d + 3 + m, 2*d - 11 = -5*j for j.
3
Suppose -2*n = -5 - 11. Solve -u + 4*u + 5*l = -1, -4*l + n = -2*u for u.
-2
Let x(y) = -2*y**3 - 16*y**2 + y + 11. Let n be x(-8). Solve -u + 0 = -2*s - 14, n*s + 31 = 4*u for s.
-5
Let t(g) = -5*g - 4. Let n be t(-7). Solve -5*w + j - 25 = 0, 4*w + 0*j + n = 3*j for w.
-4
Suppose -2*z - 9 = -1. Let k = z - -4. Solve 4*b + 3*l - 17 = 0, 4*b + k*l - 23 = -5*l for b.
2
Let n(c) = 2*c - 8 + 15 - 12. Let i be n(4). Solve 3*o - 14 = -3*p + 10, -5*p = -i*o - 8 for o.
4
Suppose 4*j - 22 = -10. Suppose -4*r = -4*v - 24, 4*r = j*v - 2*v + 18. Solve h + 5*n = 2*h - 7, -2*h - r*n = 0 for h.
2
Let i(m) = 2*m**2 + 8*m. Let r be 2 - 1/((-3)/(-27)). Let j be i(r). Suppose 18 + j = 2*o. Solve -2*y + 4*s + 23 = -y, 5*y - 3*s - o = 0 for y.
3
Suppose 4*k = -0 + 48. Let b be 3 - (5/4 + (-1)/4). Solve -5*m + 2 = -5*v - 13, -k = 4*v + b*m for v.
-3
Suppose -20 = -9*a + 5*a. Solve -a*u + 23 = -0*h - 3*h, -h = -3*u + 13 for h.
-1
Let j be 1/(-2)*48/(-12). Solve 0 = -4*a - 2*i + 2, -i = -a - j*i + 2 for a.
-1
Let q be 70/(-21) + 1/3. Let c = q - -15. Solve -2*a = 2*s, 4*s + c = a + a for a.
2
Suppose 4*y - 32 = -0*y. Solve 4*l + 0 = y, 0 = -5*g - l - 3 for g.
-1
Suppose 0 = -6*h - 0*h + h. Let y = 14 + -1. Let q = y + -9. Solve -q*j + 4*a = 4, -j + 0*j - 2*a + 14 = h for j.
4
Suppose v + v = 12. Suppose -48 = -2*f - 2*f. Solve -3*r = t + v, -t + 2*t - f = 3*r for r.
-3
Let a be (-2)/9 - 58/(-18). Suppose a = z - 2*m - 1, -2*m + 20 = 5*z. Solve -5*s + z*v - 1 - 2 = 0, -18 = 4*s + 2*v for s.
-3
Suppose 4*y = n - 6, -4*y - 46 = -5*n - 0*y. Solve -4*h - 2*z + 32 = 2*z, -5*h + 5*z + n = 0 for h.
5
Let a(v) = v**2 - 7*v + 8. Let w be a(6). Solve 4*s - 22 = -s - 2*c, -10 = -2*s - w*c for s.
4
Let d = 25 + -25. Solve -3*m - 5*v - 30 = d, -15 = 4*m - 2*v - 1 for m.
-5
Let w = -1 - 1. Let t = w - -2. Suppose 3*k - 21 = -2*j - 2*k, t = -3*j + k + 6. Solve 0 = -z + j*p - 10, 2 = 5*z - 2*p - 0 for z.
2
Let s = -8 + 11. Solve -s*t + 5*v = -18, 4*t - 2*v = -6*v - 8 for t.
1
Let p(w) = -5*w - 9 - w**2 - 2*w - 2*w + 1. Let g be p(-7). Solve 0 = a - 2*s - 2, g*s = s + 5 for a.
4
Let x(l) = -2*l + 13. Let r be x(6). Let i(j) = 3*j**3 + j**2 + j - 1. Let f be i(r). Solve f*q = 0, -2*q + 1 = 4*n - 3 for n.
1
Suppose 5*p - 15 = z - 0*p, -3*z + 4*p = 12. Solve -a + 3*m = -z*m - 13, 33 = -4*a - 5*m for a.
-2
Let g be ((-5)/7)/(9/(-63)). Solve g = -c - 3*s, -s - 2*s - 29 = -5*c for c.
4
Let w(q) = 2*q + 40. Let r be w(-19). Suppose 4*u = 2*u - 8. Let n be ((-11)/u)/(1/4). Solve -r*o + i = n, 0*i - 3*i = o + 2 for o.
-5
Let z = 9 - 14. Let r be (15 + 1)*(-2)/(-4). Let a = r + z. Solve -a*k = -3*l - 4 + 13, -4*l + k = -6 for l.
1
Let m = 15 + -1. Let o = -12 + m. Solve 2*y = -3*y - 4*q - 37, y + 11 = -o*q for y.
-5
Suppose -4*l + 339 = -m, 0*m = -4*m + 4. Suppose -5*n = -l - 5. Solve 23 = o + 5*r, -n = -o - 0*o - 4*r for o.
-2
Let p be -2*(-2)/(-8)*0. Let t = -5 - p. Let a = t - -10. Solve -3 = h + 2*n, n + 3*n + a = -h for h.
-1
Let f = 5 + -1. Suppose -d - 6 = f*c, -4*d - 3*c = -5*c - 12. Let m be (1 - -2)/(2 + -1). Solve d*n = -3*t + 7*n + 10, -t + m*n = -6 for t.
0
Suppose -3*h = 2*h - 25. Let w be 2/(-3) + 2/3. Let a = w - 0. Solve 5*t - 36 = 4*c, -h*c - 18 - 2 = a for t.
4
Let s(v) = v**3 - 3*v**2 + 1. Let g be s(3). Let k = 4 - 2. Solve 0*n - 4*f - 2 = k*n, 0 = n + 5*f + g for n.
-1
Let n(d) = -d**3 - 7*d**2 - 4*d - 1. Let g be n(-7). Suppose 3*b + g = -0*b. Let j = -9 - b. Solve -4*f + 2*l + 2 + j = 0, -3 = -l for f.
2
Suppose -2*h - 2*u = 3*u - 67, -4*u = -3*h + 112. Suppose h = 5*n - 3*n. Suppose 24 - 4 = 5*i. Solve 5 = -4*s + j, -2*s - s - i*j = n for s.
-2
Suppose -5 = -6*d + d. Let c be d/(93/30 - 3). Solve -o = -5*y - c, -5*o = 3*y - o - 17 for y.
-1
Suppose -5*a = 2*a - 21. Solve 2*d - 7 = 2*u - 3, -2*u + 11 = a*d for d.
3
Let r(w) = -w**2 + 13*w - 8. Let k be r(12). Solve -5*h + 2*l = 20, -h + 4*l - 20 = k*h for h.
-4
Suppose 0 