-t*y = y. Let b = 2 + -2. Solve y = -b*f - f for f.
0
Let m = -2 - -11. Suppose 16 = 5*g - m. Suppose -g*b = -10, -2*s + 11 = 3*b + 5. Solve -y = -s*y for y.
0
Let m = 23 + -21. Let z(b) = -b. Let g be z(0). Solve m*u + 3 - 13 = g for u.
5
Let r(a) = 2*a**2 - 5 + 0*a**2 - 4*a**2 + a**2 + 6*a. Let j be r(5). Solve -3*t - 3 + 18 = j for t.
5
Let o = 2 + 0. Suppose -5*v - z - 2 = 0, -5*v - z - 6 = o*z. Solve 6*j - 3*j - 15 = v for j.
5
Suppose s + s - 4 = 0. Suppose 0 = 5*z + 2 - 7. Let n be (z/3)/(5/165). Solve s*q = -n + 3 for q.
-4
Let w be 2/(-14) + 87/21 + -4. Solve -5 = y - w for y.
-5
Let t(k) = k**3 + 5*k**2 - 8*k - 6. Let y be t(-6). Solve -3*c + 5*c = y for c.
3
Suppose 2*u - 4 = 2. Solve -u*v - 20 = 2*v for v.
-4
Suppose 3*x + 24 = -x. Let t(c) = -c**2 - 8*c - 8. Let l be t(x). Solve 0 = -h - l*h - 15 for h.
-3
Suppose 4*v + 10 = 10. Solve v*y - 2*y - 4 = 0 for y.
-2
Let f = 4 - 0. Solve -f*m + 0*m = 0 for m.
0
Let p(h) = -2*h**3 - 3*h**2 + 2. Let m be p(-2). Suppose -5*y - 5*w + 6 = -3*w, 5*w + 14 = 2*y. Suppose -y*a - 9 = -15. Solve -a*s + m = -3 for s.
3
Let c(y) = -2*y**3 - 26*y**2 - 2*y - 25. Let m be c(-13). Solve u + m - 2 = 0 for u.
1
Suppose 1 - 9 = -2*f. Solve -f*t + 6 = -6 for t.
3
Suppose -2*x + 13 = 3. Solve 2*s - 9 = x*s for s.
-3
Let a(m) = 3*m + 3. Let q(k) = 13*k + 13. Let p(u) = -18*a(u) + 4*q(u). Let l be p(-2). Solve l = o + o for o.
1
Let t(c) = -c**3 - 11*c**2 - c - 6. Let y be t(-11). Suppose 3*a + 3*n = 33, -5*a - y*n + 31 = -3*a. Solve 3*b - 5*b = a for b.
-4
Suppose m + 0*m + 1 = 0. Let a be (m + 9)/((-6)/(-9)). Solve -4*o + a = -o for o.
4
Let a = -17 - -24. Let u be 2/7 - (-26)/a. Solve -j = -0*j + u for j.
-4
Suppose -5*n + 10 = -5*o, -2*n + 5*n - 6 = -4*o. Solve o = -3*v - 0 - 6 for v.
-2
Let g(s) = -s - 7. Let v be g(-7). Suppose -2*w = -v - 26. Solve -3 = -4*f + w for f.
4
Let z(k) = k + 3. Let p be z(-9). Let a be 4/p - (-124)/6. Solve -4*f - 4 + a = 0 for f.
4
Let j(i) = i**3 - 7*i**2 - i + 7. Suppose 0 = 3*k + 2*k - 40. Let t be j(k). Suppose 2*m = -2*u + 24, -u + m + t = 3*u. Solve 3*z + u = -0*z for z.
-5
Let t = 1 - 1. Let n be (2 + (t - -2))*2. Suppose -2*m + 3*o + 10 = 0, -m + n = 2*m - o. Solve -m*j - 2*j - 12 = 0 for j.
-3
Suppose -19*c + 2*c = -0*c. Solve -5*g - 6 + 1 = c for g.
-1
Let s = -109 + 109. Solve v + v - 6 = s for v.
3
Let v(p) = 3*p - 5. Let l be v(3). Solve l*r = 7*r + 3 for r.
-1
Let q(i) = -i**2 - 12*i - 14. Let y be q(-12). Let h = 19 + y. Solve 1 = h*c + 11 for c.
-2
Let i = 13 - 7. Suppose -3*u + 42 = i. Suppose -2*c - 8 = 0, 2*r - 5*c - u = 6*r. Solve -5 = r*s - 3 for s.
-1
Let s(k) = -k**2 - 3*k + 3. Let z be s(-3). Let b(y) = y**2 + 10*y + 11. Let q be b(-9). Solve -4*t + z*t + q = 0 for t.
2
Let j(x) = -x**2 + 6*x + 11. Let l be j(7). Solve -v = -l*v - 9 for v.
-3
Suppose 5*m = -25, 0*p + 5*p + m = 0. Let b be (-10)/(-25)*5*p. Suppose -4*o - 14 = 2*t - b, 26 = 5*t - 4*o. Solve -r = -0*r + t for r.
-2
Let y = 33 + -30. Solve -f + y = 1 for f.
2
Let p be (-1)/4 - 57/(-4). Suppose 0 = 4*h - 78 - p. Suppose a = -0*g - 4*g + 30, -3*g + 4*a = -32. Solve -5*l - h = -g for l.
-3
Let b(z) = -31*z + 1. Let s be b(-1). Suppose -8 = -4*a + s. Solve -5*q + a = -5 for q.
3
Suppose q = 4*b - 12, 2*b - q - 6 = 2*q. Solve 0 = -b*r - 0*r + 9 for r.
3
Let z(f) = -4*f**3 - f**2 + 1. Let r be 12/(-7) + (-4)/14. Let j = -3 - r. Let p be z(j). Solve 9*h = p*h for h.
0
Suppose -4*b + 20 = -4*o, -5*b = 3*o - 6*b + 5. Solve o + 3 = n for n.
3
Suppose -4*w + i = 23, -2*w + 7 = -3*w - i. Suppose -5*u + u - 24 = 0. Let t = w - u. Solve t*c + 1 = -c for c.
-1
Let d be (-54)/(-24) + (-1)/4. Solve -d*i - 3 = i for i.
-1
Let a be 16 - (1 - 1 - 2). Suppose -2*r - a = -5*r. Solve 2*p + 16 = r for p.
-5
Let k be -1 + 3 + 1/1. Suppose -5*r + 4 = -k*r. Let x be (3 - (-2 + -1)) + -2. Solve r = 2*q + x for q.
-1
Suppose -4*n + 6*n - o = 9, 2*o = -3*n + 3. Suppose -3*k = -2*z - 3*z + 33, -k + 17 = n*z. Solve -4*f + 6 = -z*f for f.
-3
Let q(h) = -h**2 + 8*h + 5. Let t be (-4 - 4)/(2/(-2)). Suppose d + t = 2*d. Let g be q(d). Solve g*s = 8 + 2 for s.
2
Suppose -5*t + 3*t + 4 = 0. Suppose -3*g = -t*c - 6, 4*c - 28 = -2*g - 2*g. Solve g*x = -11 - 1 for x.
-3
Let m = 1 - 1. Suppose 2*c - 46 = -3*q, 0 = -0*q - 4*q - 5*c + 73. Solve -3*y = -m*y - q for y.
4
Let s(t) = -t**2 + 8*t + 1. Let v(r) = 3*r**2 - 23*r - 2. Let o(m) = 8*s(m) + 3*v(m). Let j be o(5). Let a = j + -2. Solve 2 + a = 2*w for w.
1
Let w(d) = d**2 + 6*d + 2. Let s be w(-5). Suppose 5*r - 4*r - 3 = 0. Let h = s + r. Solve 5*q - 2*q + 9 = h for q.
-3
Let t be 1/(0/2 + -1) + 5. Solve -t*c = -3*c for c.
0
Let b = 15 - 21. Suppose 5*m = 4*x, 3*x = -3*m - 30 + 3. Let v = m - b. Solve w = -v*w for w.
0
Suppose -g = -5*g. Suppose -7*i - 3*t - 35 = -3*i, 4*i + 5 = 3*t. Let c = i - -8. Solve g = c*u + u for u.
0
Let o(n) = 3*n - 1. Let a be o(-4). Let v = a - -4. Let u(l) = -l**2 - 8*l + 9. Let c be u(v). Solve c - 4 = r for r.
-4
Suppose 17 - 7 = z. Solve 2*c + 0*c = -z for c.
-5
Let a = -1 - -1. Solve a = 3*r - 0 + 6 for r.
-2
Let n be (-7)/(-4)*48/2. Suppose w - n = -2*w. Solve -w = -3*f + 1 for f.
5
Suppose -5*c + 6 + 19 = 0. Solve -4*o + 13 = c for o.
2
Suppose -4 - 12 = -4*t. Suppose -t*q + 0*q - 16 = 5*k, 20 = -5*k. Let p be 0/(-2)*q/(-2). Solve 4*n - 5*n = p for n.
0
Let x = 8 + -11. Let k = 8 + x. Suppose 2*b = k*n - 16, -2*n - 3*b + 1 = 6. Solve n*m = 3*m - 2 for m.
2
Suppose -13 = -2*y - 3*t, -5*y - 3*t + 59 - 4 = 0. Let a = y - 12. Solve -a*l + l - 4 = 0 for l.
-4
Suppose -6*g = -16*g + 50. Solve -10 = 3*i - g*i for i.
5
Suppose h - 5 = -0. Let p be 1*(-2)/2*0. Solve 4*k + k - h = p for k.
1
Let d = 17 + -9. Suppose -2 + d = -2*b. Let t be (1/b)/(2/(-18)). Solve -t*u + 0*u = 9 for u.
-3
Suppose 0 = i - 0*i. Let y(w) = -w**3 + w**2 + 19*w + 5. Let m be y(5). Let z(h) = -h**3 + 4*h**2 + h - 3. Let c be z(4). Solve m = -j - i - c for j.
-1
Suppose 19 = 4*m + 3. Suppose -2 = -3*f + m. Solve f*d + 0*d - 8 = 0 for d.
4
Let s = -9 + 14. Suppose 20 - s = 5*w. Solve w = -3*p + 6*p for p.
1
Suppose 0 = 3*z + 4*z - 14. Solve 6*r = z*r for r.
0
Let n(z) = 2*z**2 + 7*z + 1. Let w be n(-4). Solve 13 = -w*b - 7 for b.
-4
Let m = -2 - -9. Let k(z) = -z**3 + 8*z**2 - 6*z - 2. Let r be k(m). Solve 0 = -0*j - r*j + 20 for j.
4
Let m be (18/1)/(-2 + 4). Let c(j) = -j**3 + 8*j**2 + 10*j - 7. Let h be c(m). Suppose -4 = -h*k + 8. Solve -r + k = r for r.
3
Suppose 0 = -3*v + 7*v - 20. Solve 3*b - v = -2*b for b.
1
Let f(r) = -r**2 + 13*r + 22. Let c be f(14). Solve -c + 3 = -u for u.
5
Let x be 1/(-1) - (6 + -9). Suppose -3*i + 58 = -x. Solve 3*d = 7*d - i for d.
5
Suppose -2*z = -y - 13, 3*z - 10 - 6 = 5*y. Suppose z*l - 3*l - 5*n = 26, -2*l - n + 6 = 0. Solve -3*i - l = -1 for i.
-1
Suppose -4 = 2*m, 12 + 9 = 5*r - 3*m. Suppose 2*k = -r*k + 25. Solve 4*n + k = 13 for n.
2
Let v = 123 - 116. Solve -2*q = -v*q for q.
0
Let b(s) = -s**2 + 10*s - 6. Let a be b(4). Suppose 4*j + 5*c = 44, c - 26 = -3*j + a. Solve t - 5*t = -j for t.
4
Let w be (3*2/2 + -3)/(-1). Solve w = -4*n + 1 - 17 for n.
-4
Let c be (18/4)/((-3)/20). Let r = c + 16. Let w = r - -23. Solve 2*a + a = w for a.
3
Let r = 68 - 60. Solve 8 = -4*c - r for c.
-4
Let a = 7 - 5. Suppose -a*h = -7*h. Solve -2*o + h = 4 for o.
-2
Suppose 2*a - 4*a = -32. Suppose d = 5*d - a. Solve -d*y - 3 = 1 for y.
-1
Let o(b) = -b**3 + 9*b**2 - 8*b + 3. Let v be o(8). Solve -3*t = -6*t - v for t.
-1
Suppose -5*u = -6*u - 10. Let x = u - -15. Solve -t = x - 0 for t.
-5
Suppose -2*z - 14 = 3*u - u, -3*u = 2*z + 19. Let a be (-8)/12 + z/(-3). Suppose 4*x - 5*s - 20 = a, x + 2*s - 1 = -9. Solve x = -j - 2*j for j.
0
Let q = 26 - 15. Solve -5*y - 26 + q = 0 for y.
-3
Let d(t) = 2*t + 2. Let k be d(-3). Let y(u) = u**2 + 3*u - 2. Let c be y(k). Let s(i) = i**2 - i. Let n be s(2). Solve n*l + c*l = -8 for l.
-2
Suppose -2*i = -5*i + 18. Solve 0 = 2*q - i - 2 for q.
4
Let w = 13 - 13. Solve -3*o + w*o = 0 for o.
0
Suppose 4*y + 10 = 4*m - 2*m, 0 = -5*m - y + 25. Suppose m*s = -k - 0*s + 17, -5*s = 3*k - 21. Let c = 2 + 0. Solve -p + k*p = -c for p.
-2
Let s(d) = d - 6. Suppose -2*g + 5*a = -27, 3*g = -a - a + 12. Let p be s(g). Suppose -3*y = -p*y - 30. Solve -y = -2*o + 7*o for o.
-2
Let p be (-2)/(-2) + 20 + -15. Solve q + p - 3 =