 (-2 - f - t). Solve y*a = a for a.
0
Let p(g) = g**2 - 13*g + 7. Let i be p(13). Solve 2 = 5*l + i for l.
-1
Let k be -1*(-1 - 7 - -1). Let r(m) = -7*m + 2. Let n(x) = -13*x + 3. Let c(z) = 6*n(z) - 11*r(z). Let h be c(-6). Solve -h*d - k = 3 for d.
-5
Let i(k) = -2*k**3 + 6*k**2 - 2*k - 1. Let p be i(2). Solve -p = 2*l + 5 for l.
-4
Let o = 21 - 21. Solve 0 = k - o*k - 5 for k.
5
Let k(p) = 3*p - 1. Let o be k(2). Let x(v) = 3*v**3 + 2*v**2 - 2*v + 1. Let b be x(1). Solve -11 = o*z + b for z.
-3
Let u = 1 + 5. Let x be (-2)/(2 + (-15)/u). Solve 0*t = -x*t for t.
0
Let a be (2 - 3)/2*-10. Solve -a*j = -j - 20 for j.
5
Let z(m) = -m - 1. Let a(y) = -4*y + 4. Let t(q) = a(q) - 3*z(q). Let l be t(7). Solve l = -3*c + 4 + 11 for c.
5
Let p be (-1)/2 + (-1 - (-26)/4). Solve -p*x = -2 + 7 for x.
-1
Suppose 3*h + 2*h + 20 = 0. Suppose -5*b + 3 = -4*t, -4*t = -2*b + 4*b + 38. Let m = h - t. Solve 6 = -m*c - 3 for c.
-3
Suppose 2*n = -n - 2*v + 19, -4*n + 27 = v. Let r(x) = -x - 13. Let i(y) = -y - 12. Let u(o) = -4*i(o) + 3*r(o). Let s be u(-7). Solve 5*z + n = s for z.
-1
Let s be 2/(-2)*-5*1. Suppose -s*k + 3*d = -15, k = -2*k + d + 5. Solve 0 = 4*x - k*x for x.
0
Let s = -97 - -105. Solve 7*h - s = 5*h for h.
4
Suppose 12*z - 16*z + 36 = 0. Solve -3*w - z = -0*w for w.
-3
Suppose -a + 16 = 3*a. Let b be a - (0 + 1/1). Solve -b*w = -w for w.
0
Suppose -2*y = 2*y + 3*s - 1, 3*y - 1 = -2*s. Suppose -3*f = -8*f + 40. Let q be f/(-20)*1*-5. Solve -y = q*i - i for i.
-1
Let d be 4*1*(-10)/(-8). Let y(t) = -3*t - 6. Let g be y(-8). Suppose 0 = 4*r - 12, 3*r = 3*p + 4*r - g. Solve -d = p*n + 15 for n.
-4
Suppose -5 - 23 = -t. Suppose -4*n + t = 3*i, 0 = -i + 2*i - 4. Let x = -25 + 41. Solve -x = -4*k - n for k.
3
Suppose 4*d - 7 = -2*k + 15, 0 = 5*k + 4*d - 37. Solve 5*o - k - 5 = 0 for o.
2
Let b(s) = -2*s - 15. Let u(g) = -9*g - 1. Let f be u(1). Let r be b(f). Solve 0 = 5*l - 0 + r for l.
-1
Suppose 0 = 2*k - 11 + 1. Suppose 2*s + 0*s = -4, -k*d + 4*s = -23. Solve 0 = d*z - 1 + 10 for z.
-3
Suppose 0 = -3*v + 3*s + 2*s + 29, 0 = 2*s + 8. Solve v*z + 0*z - 6 = 0 for z.
2
Suppose 0*l - 5*l = 2*p + 16, -4*l - 6 = 5*p. Suppose p*j + 4 + 5 = 5*c, 4*c = -5*j - 6. Solve x + c = 6 for x.
5
Let u be 0 + (-6)/(-3) + -5. Let s = u - -3. Solve s*m = -m + 1 for m.
1
Let k(s) = s**3 + s**2 - s + 3. Let j be k(0). Suppose -j*l = -2*w + 10, 3*l + 0*l + 16 = 5*w. Solve -w*t = -0*t + 6 for t.
-3
Suppose -4*k + 13 = 3*t, -5*t + 2*k + 2*k = -11. Solve -t*o = -0*o for o.
0
Let t be 156/42 - 2/(-7). Solve t = i + 3*i for i.
1
Let n = 11 + -8. Suppose -4*x + n*x = -25. Solve 5*r + 0*r + x = 0 for r.
-5
Suppose 6*t = 4*t + 6. Suppose t*x - 4 = x. Solve 0 = x*p - p + 5 for p.
-5
Let p = 1 + 3. Suppose -14 - 6 = -p*h. Solve 3 = 4*i - h for i.
2
Let t(q) = -q + 1. Let b be t(-1). Solve c + 0 = b for c.
2
Suppose -f + 0*f - g = -4, -f + 5*g = 20. Suppose f = -3*p - 4 + 13. Solve q + p = -2 for q.
-5
Let v = -13 + 16. Solve -2*l - 7 + v = 0 for l.
-2
Let d be 2/10 + (-189)/(-105). Solve -l = 3 + d for l.
-5
Suppose 0 = -x + 6*x - 30. Let s be x/4 - (-22)/(-4). Let r = 1 - s. Solve -1 = -r*p - 6 for p.
-1
Let f be -33*4/(-18)*3. Suppose 0 = 4*p - 3*x - 14 - f, -14 = -p + 2*x. Solve 4*a = -p + 2 for a.
-1
Let m = -51 + 55. Solve -3*t + m = -2 for t.
2
Let a(x) = x - 7. Let w be a(10). Solve -w*u + 5 = 2 for u.
1
Let b = 115 + -108. Solve -3*o + b*o + 8 = 0 for o.
-2
Let r be -3 + 2 + 2 - -1. Solve -i = -r*i + 5 for i.
5
Let q be ((40 - 0)/4)/2. Suppose 2*l = 5*h + 3*l - 55, -q*h + 5*l + 85 = 0. Solve 0*c + 3*c + h = 0 for c.
-4
Suppose -12 = h - 7*h. Solve 0 = -h*f + 7*f - 20 for f.
4
Let p = -159 - -159. Solve p = -4*n + n - 12 for n.
-4
Let t be (-7 - 440/(-36)) + (-4)/18. Solve t*g + 0*g = 25 for g.
5
Suppose -2*b = -27 + 7. Solve -b = -3*m - 1 for m.
3
Suppose 10*y - 7*y = 9. Solve 0 = -2*t + 3*t + y for t.
-3
Let o(x) = x**3 - 9*x**2 + 8*x + 3. Let p be o(8). Let t = 103 - 83. Solve t = -2*l - p*l for l.
-4
Suppose -16 = -5*r - 1. Suppose -i = 3*a - r*i - 6, -2*i = -a + 6. Solve a = 8*f - 4*f - 12 for f.
3
Suppose 0*z = -z + 4*z. Solve z*s = -3*s - 6 for s.
-2
Let m be 18*3/12*2. Let p = 10 - 7. Let y be (m/p)/((-6)/(-8)). Solve y*v = 3*v for v.
0
Suppose -5*z + 14 = -1. Solve 7 = -z*j - 2 for j.
-3
Let d(u) = -u**2 + 3. Let i be d(0). Suppose 0 = -0*x + x - 6. Let b(k) = k - 6. Let q be b(x). Solve q = -n + 4 - i for n.
1
Let m(s) = -s - 7. Let a be -2*(81/6)/3. Let b be m(a). Solve 25 = -b*u - 3*u for u.
-5
Let o = -2 + 4. Let n(y) = -y + 15. Let u be n(12). Suppose u*k + 8 = 2*z + k, -4 = -o*z + k. Solve f + z = -3 for f.
-3
Let r(h) = h**3 - 6*h**2 - 9*h - 4. Let x = 24 + -17. Let s be r(x). Let w be ((-8)/6)/(3/s). Solve 3*f - 23 = -w for f.
5
Suppose 0 = -r + 4, -3 = -5*j + 3*r. Suppose j*s - 5*s + 8 = 0. Suppose 0 = -s*w - 16, -4*x - w = -4*w - 24. Solve x = 4*c - 17 for c.
5
Let p = 6 + -1. Suppose p + 13 = 3*f. Suppose -f = -3*x - 3*r, 2*x + 18 = 4*x - 5*r. Solve x*i = i for i.
0
Let c = -140 + 146. Solve c*f = f for f.
0
Let p be 1 - 15/(-3)*1. Suppose 0 = 2*k - p*k. Let d = 2 + 3. Solve f - 2*f + d = k for f.
5
Suppose -2*a - 2*m = -10, -2*m = -a - 2 - 2. Let v = -5 - -5. Solve -a*d + v = -2 for d.
1
Let b = -1 + 7. Let x(i) = -i**2 + 5*i + 8. Let o be x(b). Solve -2*z + o = -z for z.
2
Suppose 3*p + 35 = 8*p. Solve -p = 4*n - 11 for n.
1
Let x(d) = d**3 + 1. Let y be x(1). Solve -y*k - 2 = -k for k.
-2
Let o be (-2 + 1)/(2/(-18)). Let i be (-12)/(-8) - 8/16. Solve 2*p + i = -o for p.
-5
Let l = 15 - 16. Let p(s) = -21*s - 1. Let x be p(l). Suppose 4*b - 22 = 2*r + 3*r, -r = -2*b + 8. Solve 0 = c + b*c - x for c.
5
Let q = -10 + 9. Let o be q*(-1 + 3 + -5). Solve 0*i + i + o = 0 for i.
-3
Let a be (-2)/5 + (-21)/(-15). Let c(h) = 2*h + 2*h**3 + 6*h**2 - 2*h**2 - h - 1 - 3*h**2. Let b be c(a). Solve 0 = 5*n - b*n - 8 for n.
4
Let w = -8 + 15. Let d be 4*(14/8)/w. Let v be d*-1*(-4)/2. Solve -v*s = -0*s for s.
0
Let o = -6 - -5. Let n be ((-2)/4)/(o/2). Solve -n = -2*l - 3 for l.
-1
Suppose 2*c - 4*c = 0. Suppose c*j + j - 7 = 0. Suppose -6 = -2*v - 4. Solve 2*g - j + v = 0 for g.
3
Let w = -122 + 138. Solve 4 + w = 5*s for s.
4
Suppose -5*p - 20 - 10 = 0. Let s be (-92)/p - 4/12. Solve 5*t + 0 = -s for t.
-3
Let q = -6 - -8. Let z(s) = -s**3 - 6*s**2 - s - 2. Let r be z(-6). Solve -q*o = -0*o + r for o.
-2
Let g = -34 + 68. Suppose 0 = -5*b + 2*w + 17, 5*w - g = -5*b + 11. Suppose -b*l + 0*l = -5. Solve -2*d + 11 = l for d.
5
Let k = -61 + 61. Solve k*z = 2*z for z.
0
Let h be 2 - (-1*2)/2. Suppose -h = -4*v + 5. Solve f + 2 + v = 0 for f.
-4
Let m = -3 - -1. Let u = 7 + -5. Let c = m + u. Solve c = -4*j - j for j.
0
Let d = 13 + -7. Let g = 11 - 6. Solve 0 = g*q - d + 16 for q.
-2
Suppose 0 = 3*m - 0*m - 6. Let h = 10 - 8. Let q = h - m. Solve q*v + 2*v - 2 = 0 for v.
1
Suppose m = -2*m. Solve -3*o = -m - 3 for o.
1
Suppose -k + 8 = -0. Suppose 0 = -4*m - k + 20. Solve -m*n + n = 8 for n.
-4
Suppose -8 = -4*s + 2*a, -5*s - 5*a = -33 + 8. Solve j - s*j = -4 for j.
2
Let f = 25 - 22. Solve 2*x - 15 = -f*x for x.
3
Let g(v) = v**2 - 4*v + 4. Let c be g(0). Solve 0*x + c*x = 4 for x.
1
Let g(w) = -2*w + 8. Let s be g(0). Solve -s*m = -5*m + 12 for m.
-4
Let s = -21 - -27. Solve -4*j - 6 = s for j.
-3
Let m = 95 + -91. Solve -m - 2 = 3*f for f.
-2
Let g = 13 - 9. Solve g*d = d for d.
0
Let d be (-1)/(-2) + 1 + 710/284. Suppose 0 = -0*s + s - 28. Solve d*w + 12 = s for w.
4
Suppose 0 = -v + 2*v + v. Solve 4*r + v = 8 for r.
2
Let f be ((-6)/4)/((-18)/24). Let z(m) = -m**2 + 2*m. Let u be z(f). Solve -2*x + u = 4 for x.
-2
Let t = 13 + -11. Suppose s + 1 = -3*s + 5*z, 0 = -t*s + 3*z - 1. Solve -h + 5 = s for h.
4
Suppose 4*d + 4 = 0, -2*d = -5*j + 5 + 17. Solve 0 = 3*t + 5 + j for t.
-3
Let p(r) = r**3 - 5*r**2 - 3*r - 4. Let h be p(5). Let k = h - -21. Solve 0*x - k*x + 4 = 0 for x.
2
Let b be (0 - -5) + (-5 - -5). Suppose 4*c = 12, -2*y + 0*y + 15 = 3*c. Solve -b*x - 10 = -y*x for x.
-5
Let a(y) = y**2 + 6*y + 4. Suppose -18 = -2*m + 5*m. Let q be a(m). Let z = q - 0. Solve -n - 5 = z*n for n.
-1
Let w be -8 - (-1)/(3/6). Let d = w + 7. Let c(v) = v**2 + 2*v - 1. Let z be c(d). Solve -z*l = -5*l - 6 for l.
-2
Suppose -3 + 36 = 3*x. Let r = x - 5. Solve 2*o - r = 2 fo