se 2*d - 26 = -d - i*x, d - 14 = -2*x. Let m be d + 0/3 + 0. Solve -f = -m*f for f.
0
Suppose -x - 3*x + 20 = 0. Suppose -x*j + z + 58 = -0*z, -5*j - 4*z = -43. Suppose w + n = 3, -4*n = 5*w - 1 - j. Solve w*o = o + 1 for o.
-1
Let f = 2 + -10. Let o = -8 - f. Suppose -2*g = -o*g - 16. Solve -2*l = -g - 2 for l.
5
Let l(b) = -b**3 + 4*b**2 + 4*b + 5. Suppose h - 5*n + 20 = 0, 5*h + n = -0*n + 30. Let w be l(h). Solve 5*z - z = w for z.
0
Let p be (-6)/9*(-2 + 17). Let n = -4 - p. Solve o - 3 = -n for o.
-3
Let a(n) = -n - 4. Let v be a(-7). Let k be v - 0/((-3)/(-3)). Suppose 0 = 5*g - 4*p - 68, 7*p - k*p - 52 = -5*g. Solve i - g = 4*i for i.
-4
Suppose 4*r + 2*l - 1 = 7, 0 = 5*r + 5*l - 20. Let m(b) = b + 2. Let s be m(r). Solve 0*f - s = -2*f for f.
1
Let g be ((-15)/(-25))/(-3*(-1)/15). Solve -g*j + 11 = -1 for j.
4
Let j = 40 - 37. Solve -j*u - u = 12 for u.
-3
Suppose 0 = -4*t + 2 - 14. Let k be (t/(-1) + -1)*2. Let b = -9 + 15. Solve b*w - k = 2*w for w.
1
Suppose 0 = -6*k - 0*k + 42. Solve -k*y = -3*y + 4 for y.
-1
Suppose -5*d + 9 + 4 = -h, 0 = -5*h + 2*d + 50. Let s = h + -8. Solve 5*x - 6 = s for x.
2
Let w be (1 - 10/5) + 4. Solve 0 = -d - 0*d - w for d.
-3
Let r(u) = -5*u + 59. Let s be r(11). Solve 2*m - 4*m - s = 0 for m.
-2
Suppose 0 = 4*v - 1 - 7. Let c(g) = g**3 + 6*g**2 + 7*g + 6. Let b be 15/10*(-8)/3. Let x be c(b). Solve -4*s = -x + v for s.
2
Suppose 0 = 2*s - 2 - 4. Suppose 4*l - 7*l + s = 0. Solve 3*d - 4*d = l for d.
-1
Suppose 3*a + m - 6 = 4*m, -3*m + 8 = 4*a. Solve -a*f + 3*f = -1 for f.
-1
Let a be 7/2 + (-1)/2. Solve 0 = -b + a*b + 6 for b.
-3
Let g(u) = -u - 31. Let z be g(-16). Let v = -15 - z. Solve t + 4*t + 10 = v for t.
-2
Suppose 9 = 4*x + n, 5*x - 14 = -n - 2. Solve x*r + r = 0 for r.
0
Suppose x + 2*v - 9 = -1, -4*x + 20 = 5*v. Let b = x - 0. Solve -5*w + 5 = -b for w.
1
Let x(w) = -w + 7. Let d be x(-13). Solve 2*o - 6*o - d = 0 for o.
-5
Suppose -2*w = 4*q + 7 - 27, 0 = 3*q - 15. Solve -4 = -2*z - w for z.
2
Let n(r) = -4*r**3 + 5*r**2 - 6*r - 6. Let c(o) = 5*o**3 - 6*o**2 + 7*o + 7. Let i(u) = -5*c(u) - 6*n(u). Let b be i(-1). Solve 5*t + 19 + b = 0 for t.
-4
Let s be (-4)/14 - 20/28. Let j be s/(-4) + 46/8. Suppose -30*w = -25*w - 20. Solve j = -t + w*t for t.
2
Suppose -12*z = -z - 33. Solve z*b = 4*b - 3 for b.
3
Suppose 3*j = -2*i - 2*i + 1, 2*i = 3*j - 13. Solve 0 = j*g + 11 - 2 for g.
-3
Let d be (-18)/6 + 8/2. Solve -d - 4 = -n for n.
5
Suppose -i = 4*z - 85, 4*z + 26 - 107 = 3*i. Let q = z + -18. Solve -m - q + 6 = 0 for m.
3
Suppose -u - 16 = -3*u. Let x be -6*(1 - u/6). Suppose -2*o + 2*v = -o - 9, 5*v + 45 = 4*o. Solve -5*t + x*t = o for t.
-5
Let o(q) = q - 7. Let n be o(8). Solve -3*g - n = -2*g for g.
-1
Let z = -3 - -7. Suppose -2 + 18 = -z*r. Let n be r/(-12)*(5 - -1). Solve 7 + n = 3*f for f.
3
Let f = -2 - -6. Let u = -75 + 78. Solve p + u*p - f = 0 for p.
1
Let u = -1 - -21. Solve -n + 6*n = -u for n.
-4
Let p = 7 + -4. Solve 10 = -p*j - 2 for j.
-4
Suppose -3*w - 1 = -4*w. Suppose z = 6 - 4. Let j = z + -1. Solve j + w = -c for c.
-2
Let n be -2 + 5 + (-24)/(-4). Let q = n - 4. Let d be 6*(1 - 0/2). Solve -q*w - d = -31 for w.
5
Let j be 4 + (-3 + 1 - 0). Let h(y) = 4*y - y**2 + 7*y + 0*y**j + 2. Let g be h(9). Solve -v - 4*v = -g for v.
4
Let g = 3 + 2. Solve 5*z + g + 0 = 0 for z.
-1
Let v = -10 + 20. Solve 5*b + 10 = -v for b.
-4
Suppose 5*l + 0*l - 10 = 0. Suppose 0 = -x + 3 - l. Let h = x - 0. Solve 0 = n + h + 3 for n.
-4
Let h = 60 - 58. Solve d - h = -d for d.
1
Let o = -85 - -90. Solve -1 = o*t + 14 for t.
-3
Suppose -5*b = -5*z - 3*b + 36, z - 18 = 4*b. Let q be (-32)/8*z/(-8). Solve q*x = -x for x.
0
Let u = 29 - 3. Solve -4*f = u - 6 for f.
-5
Let n = -2 - -5. Suppose 3*w - 2*k - 3*k + 17 = 0, w = -5*k + 21. Solve -16 = -n*v - w for v.
5
Let d = -82 - -88. Solve -f - f + d = 0 for f.
3
Let z(q) = 2*q - 2. Let o be z(2). Suppose -4*r = o*r. Solve -3*c + 3 = -r*c for c.
1
Suppose 3*x + 100 = 8*x. Solve a = 5*a - x for a.
5
Suppose n = 4*o + 24, -13 = -2*n + 2*o + 5. Solve 0 = -2*r + n - 12 for r.
-4
Let j be ((-16)/10)/((-3)/30). Solve 0 = -5*m + m - j for m.
-4
Let f = 3 + 10. Suppose -3*d + f - 1 = 3*u, 2*u = 4. Solve j = d*j + 2 for j.
-2
Suppose -s - 1 = -4*p + 8, -13 = -3*p + 2*s. Suppose 0 = -19*i + 24*i - 4*u - 16, -3*i - 12 = 3*u. Solve q - p + 5 = i for q.
-4
Suppose -2*y = y - 3. Solve -4*g + y = -19 for g.
5
Suppose -2*o + 13 = 5*s, -9 = -o + 3*s + 3. Solve 0 = -3*m + o for m.
3
Suppose -20*d = -17*d - 45. Let s(x) = x**3 - 2*x**2 + 3*x - 1. Let m be s(2). Suppose 23 = 5*r - 2, d = -m*z + 3*r. Solve -l - 1 = -z for l.
-1
Let m be 3 - (-1 + -1 - -1). Solve 9 - 1 = -m*o for o.
-2
Let r(x) = -x - 4. Let f be r(-8). Solve 0*i = -2*i + f for i.
2
Suppose -6*o + 3*o = -45. Solve 2*w + o = -w for w.
-5
Let v(k) = -k**3 - 5*k**2 + k - 4. Let b = 5 - 10. Let f be v(b). Let z = f - -25. Solve z = -5*s + s for s.
-4
Suppose 0 = -2*y + 21 + 11. Let l = y + -11. Suppose -3*p + 4*v + 1 = 0, 0 = l*p - 3*v - 3 - 6. Solve -n - p = -1 for n.
-2
Let o = -1 - -4. Let q(k) = k - 3. Let h be q(3). Solve l = -o - h for l.
-3
Let m(c) = -4*c - 8. Let p be m(-2). Let v(j) = j**2 - j - 4. Let k be v(3). Solve k*g + g + 12 = p for g.
-4
Suppose 12 + 13 = 5*f. Suppose f*o - 3*o = 0. Suppose 2*v - 30 + 0 = o. Solve -2*k = -5*k + v for k.
5
Suppose 4*a - 5 = 7. Solve a*k = -k - 8 for k.
-2
Let q = 30 + -9. Let o be (28/q)/((-1)/(-3)). Solve -6 = z - o*z for z.
2
Let d(h) = h**2 - 1. Let r be d(2). Suppose 0 = g + r*g - 12. Suppose -g*t + 0*t = 0. Solve 3*b + 2*b + 10 = t for b.
-2
Let n(i) = -6*i - 2 + 2*i - 4*i - i**2. Let c(o) = -o**2 + 16*o + 29. Let z be c(18). Let s be n(z). Solve 0 = -s*f + 5 for f.
1
Let w(s) = s**2 - 7*s + 9. Let z be w(10). Suppose -o + 42 = 4*o + u, 3*o - z = 4*u. Solve -o + 4 = 5*c for c.
-1
Let r(u) = -4 + 2*u - 3*u + 3. Let b be r(-6). Suppose 0*g + 15 = b*g. Solve -g*z = 23 - 8 for z.
-5
Suppose -4*a + 18 = 5*g - 24, a = -g + 10. Suppose 12 = 5*z - a. Solve z = -4*u + 6*u for u.
2
Let k(t) = t**2 - 4*t - 1. Let v be k(5). Let r be (2/v)/(17/68). Solve -f + 3*f = r for f.
1
Let b = -1 + 1. Suppose b*p + 4*p = 16. Let w = 6 - p. Solve w*u = -u for u.
0
Let l(x) = 5*x - 59. Let p be l(12). Solve f = p - 0 for f.
1
Let v(a) = -a**3 + a**2 + a + 3. Let f be v(0). Solve 0 = -f*t + 2*t for t.
0
Let n = 3 - 2. Suppose -4*u + 1 = -5*b, -3*b - 2*u = -3*u + 2. Let o be 1/b*(-11 + n). Solve -o = f + f for f.
-5
Let b be (3/(-4))/(5/20). Let n be (-1 + 1)*b/6. Suppose d + 2*d - 9 = n. Solve d*z = -2*z for z.
0
Let q = 3 - -2. Let c = -12 - -14. Suppose 0 = -3*a + 3*u + 6, -4*a - c*u + u = -8. Solve q*b = 27 - a for b.
5
Let u(l) = l**2 + l. Let h be u(-3). Suppose d - h = -3. Suppose 6*w = -w + 49. Solve d*m + 8 = w*m for m.
2
Suppose -6*b + 90 = -6. Solve c + b = -3*c for c.
-4
Let x = 16 - 7. Let l = -4 + 7. Let d(r) = r**2 - 2*r - 3. Let o be d(l). Solve -5*p - x - 11 = o for p.
-4
Let l be 0*(-7)/56*1/(-1). Solve 4*f = -l*f for f.
0
Suppose -40 = -4*a - 5*k, -k = 4*k - 20. Solve -a*t = -7*t + 6 for t.
3
Let m = -229 + 340. Suppose 49 = 2*o - 3*x, -5*o + x + 5 = -m. Solve o - 8 = -3*h for h.
-5
Let r(c) = c**3 + 6*c**2 + 6*c + 2. Let w be r(-4). Suppose -w - 24 = -k. Suppose -3*n - 4 = i, 2*i + 3*i - 3*n = k. Solve -4 + i = h for h.
1
Let y = 1 - -1. Solve 0*v - 2 = y*v for v.
-1
Suppose -2*c = -7*c. Solve c = -o + 2*o + 3 for o.
-3
Suppose -x + 3 - 4 = 0. Let h be x/(2/(-2 - 6)). Solve -8 = 8*b - h*b for b.
-2
Suppose 16*t + 7*t = 6*t. Suppose 6*f - 4*f - 16 = 0. Solve -j - j - f = t for j.
-4
Suppose -44*w + 46*w - 26 = 0. Solve -3*l - w = 2 for l.
-5
Let k be -3*((-6)/9 + -1). Suppose 36 = 3*d - 4*u, k*d - 2*d - 36 = u. Solve 0 = 2*f - 5*f + d for f.
4
Suppose 0 = f - 1 - 2. Suppose -22 = k + 3*y, k - y - 13 = 3*y. Let t be 1*(-2 + -1) - k. Solve -f*h + 2*h = t for h.
-4
Let o be (2/(-3))/((-1)/3). Let n = o + 2. Suppose 8*q + 15 = 3*q, 0 = 5*r - 3*q - 34. Solve -3*v - r = n for v.
-3
Suppose -3*u - 2*u - y = -20, y = -3*u + 14. Solve 0*z - 9 = u*z for z.
-3
Let q(c) = -c**3 - 3*c**2 - 6*c - 2. Let j be q(-2). Solve a - j*a + 10 = 0 for a.
2
Let s be (-2 - (-3 - -1))/3. Let v(t) = 6*t**3 + 2*t + 1. Let j be v(-1). Let a = j - -12. Solve -a*r - 10 = -s*r for r.
-2