+ 6 = -2*t + 3*w, c = -4*t + w for t.
0
Suppose k + a = 6, 0 = k + 2*a + a - 16. Let q be (0/(-3))/(k - 0). Suppose 0 = m + 2*m - 12. Solve q*p = 4*p - 2*h + m, p + 1 = h for p.
-1
Let q be (-222)/(-11) + (-4)/22. Suppose -2*n - 56 = -4*x, -2*x - n = -x - q. Solve 4*s = -2*z + 24, -5*s = -0*z - z - x for z.
4
Let g(y) = -y - 1. Let q = 4 + -5. Let s be g(q). Suppose r - 4 + s = 0. Solve 0 = 2*v - 0*t + 5*t - 7, -22 = r*v - 2*t for v.
-4
Suppose 3 = -5*n + 13. Solve -n*g - 3 = v - 2*v, 0 = -3*v + 3 for g.
-1
Let d = 2 - -22. Solve -4*r = -4*o + d, 0*r + 3*r - o + 14 = 0 for r.
-4
Let v(t) = 3*t - 6. Let y be v(6). Let z = -8 + y. Solve -4*f = -2*f + 5*q + 4, -2*f + q - z = 0 for f.
-2
Let u(z) = 5*z**2 + 8*z + 11. Let i(v) = v**2 - v. Let q(h) = 4*i(h) - u(h). Let l be q(-9). Solve 5*m - 3*m = 0, 3*m = -4*a + l for a.
4
Let o be 1 + 2*3/3. Let v = -8 + 12. Let f = 4 - v. Solve -4*k - 3*r = 9, o*k + 3*r + f + 9 = 0 for k.
0
Let i(c) = c**3 - c**2 - c + 1. Let k(w) = w**2 - 12*w - 11. Let s be k(13). Let t be i(s). Solve -t*j + 8*j - 5*b + 45 = 0, 4*b = 3*j + 32 for j.
-4
Let o be 3*(2 + 3 + 2). Solve -3*h = -3*a - 0*h + o, a + 5*h + 5 = 0 for a.
5
Suppose -r + 0*r + 8 = -2*t, 2*r + t = 6. Let f be (-631)/r - 2/8. Let l be (-4)/22 + f/(-22). Solve -29 + l = 2*i - 4*z, 2*i - 2*z = -12 for i.
-1
Let p be 3/(-15) + (-42)/(-10). Let x = -4 + p. Solve 6*b - b + 5*j - 5 = x, -5*b + 2*j = 2 for b.
0
Let i be (-18)/(-3)*(-2)/(-3). Solve -i*k = 5*f + 6, -4 - 5 = 2*f - 5*k for f.
-2
Suppose 0 = 2*p - 5*f - 36, -2*f + 90 = 3*p + 2*p. Solve -4*x = -4, 3*z + x - p = -2*x for z.
5
Let j(k) = -k**2 + 15*k - 16. Let y be j(12). Solve l + 4*v - y = 0, -v + 3 + 2 = -l for l.
0
Suppose 0 = -t - 4*t - v + 28, 4*t - 29 = -3*v. Suppose -2*o + t*x = -10 - 21, -30 = -5*o + 3*x. Solve -3*q + 2*z - o + 1 = 0, -2 = -4*q + 5*z for q.
-2
Suppose -2*d - 2*d + 8 = 0. Suppose 0*n + n + 5*r = -6, n = -3*r - d. Let f = -3 - -7. Solve -f*t - t - 15 = 0, 0 = -2*z + 2*t - n for z.
-5
Suppose -2*g - 2*y + 7*y - 5 = 0, 4*g + y = 23. Let v be (0/(2 - 5))/(-1). Suppose 0*c - 2*c = v. Solve c = -n - 4, 10 + 31 = -g*r - 4*n for r.
-5
Let b = 3 + 21. Suppose 0 = 5*l - 6 - b. Let q(g) = g**2 - 5*g - 4. Let w be q(l). Solve -2*h - 12 = -w*c, 0*c = 2*h - 3*c + 13 for h.
-5
Let h = 28 - 17. Let o(t) = -t**2 + 16*t - 15. Let g be o(h). Solve -k = -4*k - 9, -5*q - 5*k - g = 0 for q.
-5
Let n be 28/(-98) + (-46)/(-14). Solve q + 1 = -0*q, -n*b = 3*q + 12 for b.
-3
Suppose 2*w + 6 - 2 = 0. Let b be ((-2)/w)/((-1)/(-29)). Solve 0 = 4*h - 3*k + 7, -3*k - b = 2*h + 3*h for h.
-4
Let l(u) = u - 6. Let i be l(11). Solve 4*t + 12 = -a, 3*t - 6*t = i*a + 26 for t.
-2
Let l(y) = 8*y. Let p be l(1). Suppose -m = 3*k - 53, -k + m + p = -3. Suppose 0 = -21*b + 57 - 15. Solve -3*u - a = -16, -5*a + k = b*u - 12 for u.
4
Suppose 23*t = 22*t + 17. Solve 4*c - 4*h = -28, -4*c + 3*h - t = -2*c for c.
-4
Suppose 0 = -6*l + 3*l. Solve d + 4*d = l, -4*d + 5 = -5*z for z.
-1
Let i be (-2)/4*0 + 2. Suppose -4*k + i*u + 12 = -3*k, -4*k + 33 = -5*u. Solve 4*w + 2*z = 20, -4*w = w - k*z - 25 for w.
5
Let t(r) = r**2 + r - 2. Let n be t(-4). Let d(i) = -i + 14. Let a be d(n). Solve -b + 5*k + 9 = -13, -a*b + 3*k + 3 = 0 for b.
-3
Suppose 2*r = 3*r - 10. Let x be 6/(-15) + (-26)/r. Let f be (8/6)/(x/(-54)). Solve 3*h = -2*p + h - 16, -4*h - f = 2*p for p.
-4
Let d be (-3)/(-2) - 1/(-2). Let a(w) = w**3 - 2*w**2 + w. Let h be a(d). Solve -3*z + 3*f + 6 = 0, -f = -3*z + 4*z + h for z.
0
Let p(l) = l**2 - 8*l + 10. Let c be p(7). Let z(s) = -4*s**2 + 2 + 2*s**2 - 6 + s**3 - s. Let t be z(c). Solve 4*f = -0*f - 2*b + 2, 0 = -5*f - t*b + 5 for f.
3
Let c = 8 - 7. Let l(r) = r - 3. Let y be l(8). Let m be (0 + -1)/c + y. Solve 14 = -2*o - 2*b, 0 = m*o + b + 27 - 5 for o.
-5
Let a be (-2 + 9 - -1) + 1. Suppose 5*u + 9 = j - 3*j, -5*j - 5*u = 15. Let d be j/(-3) + (-30)/(-9). Solve -d*g + 8 = -2*i + 3*i, 3*i + a = -g for i.
-4
Let b(r) = 2*r**2 - 5*r + 2. Let q be b(3). Let k(i) = i**3 - 23*i**2 + 42*i + 15. Let s be k(21). Solve 4*v - 16 = -5*m, -5*v + 10*v + q*m - s = 0 for v.
-1
Let i be (-3)/(6/4)*-1. Let m be (26 - 2) + i + 1. Let x = -18 + m. Solve -4*n - 5 = -x*v + 4*v, -4*v = n - 4 for v.
1
Let t be 3/(-9) - (-4)/12. Solve t = 5*u - 2*a + 11, 5*u + 2*a = 7*a - 20 for u.
-1
Suppose -6*z + 2*z + 36 = 5*a, 5*z - 16 = a. Suppose 0 = x - 1 + 4. Let g = x + 8. Solve 3*w - a = -g*y, -2 = 5*w + y + 3*y for w.
-2
Let w = -1 - -5. Suppose 6*m - w*m = 24. Solve r - 3 = 2*a, 0*a = -3*a - m for r.
-5
Suppose -3*h = 5 - 11. Let u(t) = 3*t + 1. Let y be u(1). Suppose 6*j + 4*z = j + y, 3*j - 5*z = -5. Solve j = -2*i + 4, -h*i - 2*i + 11 = -d for d.
-3
Let h = -5 - -9. Suppose 5 = -h*y + 25. Suppose -2*m - 3*l + 4 = 0, 3*l + y = -1. Solve 22 = -3*x - m*z, 5*z + 21 = -4*x - 0*x for x.
1
Let l = 35 + -89. Let a be l/(-4)*(-16)/(-12). Solve t + i - 10 = 4*i, -5*t - i + a = 0 for t.
4
Suppose 4*s - 11 = 1. Suppose -3*r = 3*q - 9, -4*q = -2*r - s*r - 21. Solve 0 = -3*l + 3*f - 1 + q, -4*f = 2*l - 2 for l.
1
Suppose 3 = -4*v + 15. Suppose -3*x - 3*z + 9 = z, -4*x = 3*z - 12. Solve 5*o + 30 = x*b, 4*o + v*b - 4 = -1 for o.
-3
Suppose -n - 5 = -13. Solve -4*y = -b - n, 6 + 4 = 5*y - 4*b for y.
2
Let d(s) = -s - 9. Let y = -10 - -32. Suppose -c = c + y. Let p be d(c). Solve 0 = -3*m - p*i + 25, -m + 2*m - 3*i = -10 for m.
5
Let l = 55 + -33. Suppose -5*i + 4 = -b, -3*i - 2*i = -5*b - 20. Solve -w - 4*u + l = i, 5*w + u + 3*u = 30 for w.
2
Let y(g) = g**3 - 5*g**2 - g + 7. Let f be y(5). Solve t + 1 = 4*t + 4*w, f*w = 3*t - 13 for t.
3
Suppose 4*v - 36 = -2*m, -5*m - 9 = 3*v - 36. Solve -2*i + 3*j = 3, -2*j + v = 3*i - 2*i for i.
3
Suppose 4 = 2*w, 0 = 2*z + z - 4*w + 8. Suppose -2*n + 6 = -2. Suppose m = -i + 3, m - 7 - n = -3*i. Solve l = -3*p + 14, i*p + z*l - l = 14 for p.
4
Let g(v) = 3 + v**3 + 6*v + 4*v**2 - 10*v + 4. Let n be g(-5). Solve n*b + 6 = 0, -5*t - 38 = 3*b - 4 for t.
-5
Suppose 0 = v + 1 - 2. Let k(w) = -w**2 - 5*w + 6. Let i be k(-6). Let z = i + v. Solve -2*h + o + z = -5*h, 4*h - 3*o - 16 = 0 for h.
1
Suppose 36 = -4*b - 64. Let g = b + 27. Suppose 0*d + 4*d - 36 = 0. Solve 0 = -h + g*h - 3*f, -4*h + 3*f + d = 0 for h.
3
Let o be 7/4 + 2/8. Suppose 1 = r - o. Solve p + 2*q + 1 = -6, r*p = 4*q + 29 for p.
3
Suppose 0 = 4*o - 6*o + 20. Solve -3*k - 2 = -g, -5*g = -5*k + k - o for k.
0
Let v = -4 + 9. Suppose -21 - 4 = -5*i, -2*i - 5 = -v*n. Solve 3*w = 6, -6*w + 4 = -n*t - w for t.
2
Let y(t) = -6*t - 12. Let b be y(-9). Suppose -b = -0*p - 3*p. Solve 0 = -5*n + 3*m - p, 2*n + 10 = -0*n - m for n.
-4
Let i(l) = l**2 + 2*l + 1. Let g be i(-3). Solve 0*b - 4 = -2*u - g*b, 0 = -4*u + 2*b - 2 for u.
0
Suppose 4*k - 8*k + 20 = 0. Suppose 3*w - k*w = -8. Solve -2*t + 3 = -x, 0 = w*t + 3*x + 16 - 47 for t.
4
Let g be (4 + -1)/(-1)*-1. Solve 5*n - g = 3*d + 24, 3*n = 9 for d.
-4
Let k(h) = h**2 - h. Let p be k(3). Suppose 0 = p*d - 2*d. Solve 3*j - q - 13 = d, -q - 18 = -4*j + q for j.
4
Suppose 8*r - 2 = 14. Solve -3*c + 12 = -3*t, -2*t - r*c + 0*c = 12 for t.
-5
Let d = 49 + -43. Solve 2*f = -2*y, 3*f + d = 7*f + y for f.
2
Let j be (-6)/10 - 26/(-10). Let b(i) = 3*i - 5. Let w be b(j). Let q be (-28)/(-6) + 1/3. Solve 5*p - w = -l, 2*p + 2*p - q = -5*l for p.
0
Let w = -7 - -11. Let k be 2 + (10 - (-1 + 1)). Let u be (-10)/(-4)*(-12)/(-10). Solve -v = l - w, -u*v + 5*l + k = l for v.
4
Let x be ((-12)/8)/(3/(-2)). Solve -3*t + 9 = 3*a, -a + 0 = 3*t + x for t.
-2
Let t = 17 - 15. Suppose t*f - 5 - 1 = 0. Solve f*p + 23 = -2*x, 5*p = 4*x - x - 13 for x.
-4
Let h(g) = g + 1. Let m be h(-1). Suppose -3*z + 0*s + 13 = s, m = -5*z + 4*s + 16. Solve 5 + 0 = 5*t - 3*p, 4*p = z*t - 12 for t.
-2
Suppose 0 = -5*q + 109 - 19. Let s be (5 - 2) + q + -1. Solve -3*x + 2 = -4*x, -s = -3*u + 4*x for u.
4
Let t(j) = -5*j**2 - 11*j + 4. Let x(i) = -2*i**2 - 6*i + 2. Let g(q) = -3*t(q) + 7*x(q). Let z be g(9). Solve -s = -2*o + s, -30 = z*o + 4*s for o.
-5
Let j(n) = n - 1. Let v = -7 - -13. Let k be j(v). Solve -k*w = 3*f + 5, 21 = -2*w + 3*w + 5*f for w.
-4
Let x = -84 + 88. Solve 3*n - 5*i = -16, 3*n + 17 = x*i + 6 for n.
3
Suppose -v + 3*h + 6 = 0, 2*v + h - 4*h = 24. Let c be 4/v + 158/18. Solve 5*s - 5*j = -0 - 5, -s - c = j for s.
-5
Let k =