 for s.
-4
Let d = -20 - -25. Solve 16 = -f + d*f for f.
4
Let j = -1 - -1. Suppose -r + j*r = 0. Suppose 0 = 18*y - 14*y. Solve -x + y*x = r for x.
0
Suppose 38*x = 42*x - 20. Let h be ((-1 - 14) + 0)*-3. Suppose 4*k - 4*g = 3 + 25, 5*k - 3*g - h = 0. Solve -a = -x*a - k for a.
-3
Suppose -4 + 1 = 2*k - y, 5*y - 9 = 4*k. Let s(u) = 11*u + 2. Let n(z) = 17*z + 3. Let x(o) = -5*n(o) + 7*s(o). Let a be x(k). Solve -4*q - a = 13 for q.
-5
Let i(v) = v**2 - v. Let n be i(2). Let a = 0 + n. Suppose 2*g - 12 = -a*g. Solve 18 - g = 5*s for s.
3
Suppose -2*a = 2*a + 4*n + 40, 5 = -5*n. Let u be 6*(6/a - -1). Suppose 2*b = -u*y - 4, 3*y + 2*y - 5*b - 10 = 0. Solve -5 = j - y*j for j.
-5
Let t = 96 - 51. Let w be 2/3*t/6. Solve -a + w = -0 for a.
5
Suppose h - 34 = -2*z - 3*h, -18 = -4*z + 2*h. Let r(s) = -s**2 + 7*s + 3. Let t be r(z). Solve 0 + t = -u for u.
-3
Let w(g) = g + 2. Suppose 3*t = -0*t - 6. Let s be w(t). Suppose -4*q = -2*q - 30. Solve -5*o + s*o = q for o.
-3
Let z(c) = c**3 - 6*c**2 - 7*c + 5. Let n = 10 + -3. Let l be z(n). Solve 0 + 5 = l*y for y.
1
Let v(y) = -10 + y**3 + 9*y**2 - 9*y + y**2 + 8*y. Let o be v(-10). Solve o*c = 3*c for c.
0
Suppose 0 = -3*o - 9. Let d = 2 - 1. Let k be 7 + d - (o - -6). Solve 5*q - k - 10 = 0 for q.
3
Suppose -5*m + 18 = 2*c - 2*m, -5*m = -5*c + 20. Suppose 3*v - 2*v = 0. Suppose 0 = 2*d - 0*d - 52. Solve v = -4*z - c + d for z.
5
Let z(k) = 5*k**3 - k. Let m be z(1). Suppose -4*v - m*w - 22 = -7*v, -22 = -v + 5*w. Solve -v*u + 5 + 5 = 0 for u.
5
Let q be -20*2*(-2)/8. Solve -4*j = j + q for j.
-2
Suppose 8*v + 4*n = 9*v + 6, 5*v + 2*n - 80 = 0. Solve -1 - v = -3*u for u.
5
Let q(z) = 4 + 0*z + z + z - 3*z. Let o be q(-10). Solve 4*k = -o + 6 for k.
-2
Let g = 0 - 4. Let c = 7 + g. Solve 0 = c*x - 0*x + 12 for x.
-4
Let p be 0 + (-1 - -4) + 3. Suppose b - 3*b = -p. Solve -1 = -b*t + 2 for t.
1
Let g(d) = -d**2 + 8*d - 4. Let q = -4 - -11. Let y be g(q). Solve y*x - 8 = -x for x.
2
Suppose 5*v - 6 = 4. Solve -v*x + x = 3 for x.
-3
Let t = 20 - 0. Suppose 40 = 5*n + 5*i, -t = -4*n + 2*i - 3*i. Suppose n*h - 62 = -2*j, -3*h + 72 = 2*h - 3*j. Solve -h + 6 = -3*u for u.
3
Let v be 39/6 + 1/(-2). Solve 4*z - v = 2*z for z.
3
Let f(i) = i**3 - 6*i**2 + 2*i + 7. Let u be f(5). Let s = u + 20. Solve 2*w - s = 5*w for w.
-4
Suppose 5*d + 65 = 75. Solve -l + d = l for l.
1
Let i be -6 + (-2 + 6 - 2). Let n = i - -7. Solve 4*p = n + 5 for p.
2
Let i = 23 - 11. Solve -4*q + i = -0*q for q.
3
Suppose 4*d - 6*d - 8 = 0. Let l be 3/(-6) + (-26)/d. Solve -y + l = -3*y for y.
-3
Suppose 0*s - 110 = -2*s. Let z = s - 30. Solve -2*y + z = 3*y for y.
5
Let w(h) = h**2 - 1. Let u be w(-5). Suppose -2*q = -o - 0*o - 7, u = 4*q - 4*o. Solve -m - q = -2*m for m.
1
Suppose 2*n = -3*o - 11, -o - 5 = -0*o. Solve p = n*p - 1 for p.
1
Let v(q) = -q**2 + 5*q + 1. Let n be v(4). Suppose -k = 4*m - n, m - 1 = -k + 1. Solve b = 2 + m for b.
3
Let f(v) = v**3 - 3*v**2 + 2*v - 4. Let y be f(3). Suppose -4 = -y*c - 0*c. Suppose -h + c = -3. Solve h = -2*m - 3 for m.
-4
Let q = -22 + 22. Suppose -3*d - 4 = -r, 3*d = 3*r + 4 - 16. Solve r*v = -q + 16 for v.
4
Suppose -f - 4 = 0, -5*y = -9*y + 2*f + 40. Solve -n - n = -y for n.
4
Let c be (-3)/(-2)*(2 - (-9 - -5)). Let b = 5 + -3. Solve -b*v + c = v for v.
3
Let u = -4 - -4. Suppose -3*b - 30 = -5*i - 8*b, -2*i - 3*b + 16 = 0. Solve u = -i*m - 2*m + 8 for m.
2
Let w be (-12)/(-28) - (-100)/28. Let n be 1 + 2 + 0/w. Solve t = n*t for t.
0
Let p be (-3 + 3)/(-2 - -1)*-1. Solve p = -0*g + 2*g - 10 for g.
5
Let u(n) = -2*n + 1. Let d be u(-2). Suppose -3*t - 12 = j - 3, j - d*t = 23. Solve j + 0 = -3*a for a.
-1
Suppose 0 = -3*o + 5 + 4. Let v be -3*3/(-9)*o. Solve -v*h + 4 = h for h.
1
Suppose 3*q = -5*i - 22, -3*i + 0*i = -3*q + 18. Solve -5*x - 4 = q for x.
-1
Let r(a) = a + 5. Let s be r(0). Suppose 2*u = -15 - s. Let d be 14/(-35) - 4/u. Solve d*w + 2 = w for w.
2
Let r = 13 - 10. Suppose 7 + 5 = r*b. Solve 7*z + 6 = b*z for z.
-2
Let d be (-1 - -2)/(3/(-3)). Let k = d + 2. Solve k = -4*a - 3 for a.
-1
Let b(i) = 3*i + 3. Let s be b(1). Solve s*p + 20 = 2*p for p.
-5
Let c = -23 - -5. Let r be c/(-24) + (-2)/(-8). Solve n - r = -4 for n.
-3
Let x = 3 - -3. Let d be (-9)/2*x/(-9). Let a be ((-10)/(-3))/(1/3). Solve a = -2*p - d*p for p.
-2
Let h be (-1)/(-2)*(-1 + 11). Solve 0 = h*o - 1 - 4 for o.
1
Let y be (3 - (1 - -4)) + 0 + 2. Solve -3*m = -y*m - 15 for m.
5
Let f = -186 - -196. Solve -9 = -7*l + f*l for l.
-3
Let x = -13 + 24. Solve -3*w - x - 4 = 0 for w.
-5
Let a be 2/3*15/2. Suppose p - 1 = a. Let m be p*2/4 - 1. Solve -l = m*l - 12 for l.
4
Suppose 5*u = 3 + 7. Solve 0 = g + u*g + 6 for g.
-2
Let h(n) = n + 1. Let l be h(11). Let q be (-1 - (-1 - 0))/(-2). Suppose -4*a + 0*c + 18 = 3*c, -3*a + 7 = -c. Solve q*s = -a*s - l for s.
-4
Let r be 4/(-18) + (-160)/(-72). Solve 0*p + r*p = -2 for p.
-1
Let z = -18 - -18. Solve z = 3*d - 5*d + 10 for d.
5
Let k = 2 - -10. Let v = -10 + k. Solve 0*y - 2*y + v = 0 for y.
1
Let u(n) = -n + 8. Suppose -2*h + d + 0*d = -15, -2*h + 5*d = -3. Let x be ((h - 2) + -1)/1. Let b be u(x). Solve b + 10 = 4*f for f.
3
Let i = -9 - -12. Suppose i + 12 = 5*o. Solve -o*n - 18 = -6 for n.
-4
Suppose 14*j - 13*j = 0. Solve j*g - 2*g = 0 for g.
0
Let h(k) = -k**3 - 5*k**2 + k + 5. Let t be h(-5). Suppose t = -i + 2 + 6. Suppose 0*b + i = 4*b. Solve -b*l = l for l.
0
Let l = -1 - -1. Let u be 3 - 2/(-2)*-2. Let i = 1 + u. Solve l = w - i*w - 1 for w.
-1
Let q be (-4)/(-38) - (-72)/38. Solve 0 = -q*d + d - 4 for d.
-4
Suppose 3*c - 3 = -0. Solve -3*w = -c - 2 for w.
1
Suppose 4*q - 38 = -3*s, -3*q + 6*q = -4*s + 46. Let v be ((-1)/3)/((-4)/24). Solve 2 = -v*h + s for h.
4
Suppose r + 2*b = -4, 3*r - 8 = -2*r - 3*b. Solve 7*v + 6 = r*v for v.
-2
Suppose -l + 0*l + 3 = 0. Let q(w) = -4*w + 2. Let k be q(2). Let o be (-2)/(-3) + (-116)/k. Solve -7*v = -l*v - o for v.
5
Suppose 7*h - 3*h = 12. Solve -13 = h*m + 2 for m.
-5
Let p(h) = h**3 - h**2 - 5*h + 2. Let u be p(3). Solve 0*i - i = -u for i.
5
Let z(v) = v - 4. Let p be z(6). Let i = 2 - p. Solve 2*f + 2*f = i for f.
0
Let f(a) = -a**2 - 8*a + 3. Let s be f(-6). Solve -2*c + 7*c - s = 0 for c.
3
Suppose 2*n = -2 + 6. Solve -n*z + 2 = 10 for z.
-4
Let b = 88 - 80. Solve 0 = l - b + 13 for l.
-5
Suppose -2*a + 16 = 4. Suppose m - z - 4 = 0, -5*m + a*m - 10 = -5*z. Solve 4 = -3*d - m for d.
-3
Suppose 0 = -4*n + 2 + 2. Suppose -w + n = -1. Let k be 16 - 1/2*w. Solve -4*l = -l - k for l.
5
Let i(f) = f**3 - 4*f**2 - f + 5. Let a be i(4). Suppose -4*x + 36 = 12. Suppose -57 = 3*n - x*n. Solve -n = -5*g + a for g.
4
Let s = -3 - -9. Suppose 3*q - 3 = s. Let c be 12/(2 - 5) - 15/(-3). Solve b = -c - q for b.
-4
Let v(h) = -h**2 - 5*h + 6. Let c be v(-6). Solve -1 = -c*t + t for t.
-1
Let u be (-2)/((-10)/5)*7. Solve u*y = 2*y - 25 for y.
-5
Let p = -146 - -150. Solve 0 = -p*f + 2 - 10 for f.
-2
Let b be (-5)/(-10)*(10 - -2). Solve -4*k - b = 6 for k.
-3
Let a be 3/6 - (-1 - (-1)/(-2)). Solve 6*i - a*i = -4 for i.
-1
Suppose l - 20 - 5 = -4*a, 4*a - 26 = -2*l. Solve s = -s + a for s.
3
Suppose 4*l - 5*p + 9 = 26, p = -3*l + 27. Solve -l = 2*i + 2*i for i.
-2
Let w(d) = d + 10. Let b be w(0). Solve -b = -h + 3*h for h.
-5
Let c = -63 - -63. Solve -w - 2*w - 15 = c for w.
-5
Suppose -4*o + 5*u + 200 = 0, -2*o + 32 = 4*u - 42. Suppose -3*i = 4*l + i - 36, 3*i = 3*l - o. Solve 3*x = -0*x + l for x.
4
Let p be 1 + -1 + -9 + 12. Solve -4*x = 1 + p for x.
-1
Let l be 84/(-24)*(-4)/7. Solve 0 = -3*v - l - 1 for v.
-1
Suppose -3*u - p = -31, 2*u = -p - 4 + 25. Let b be 0/1 - (7 - u). Solve -20 = b*j + j for j.
-5
Suppose -2 = 4*x - 18. Let a(t) = t**3 + 11*t**2 - 11*t + 12. Let l be a(-12). Solve -x*w + 7*w - 15 = l for w.
5
Suppose 4*m + 14 = -2*b, 4*m + 0*m + 13 = -b. Let j = 1 - m. Let u(s) = 3*s - 1. Let l be u(1). Solve -l = -j*q + 6 for q.
2
Suppose -3*n = -10*z + 5*z + 21, 3*z - 5 = -2*n. Suppose -h - 11 = -2*k + 2, 5*h = -5. Let i = k - 3. Solve -z*q = -2*q + i for q.
-3
Suppose 3 = -7*u + 24. Solve -u*j + 2*j + 3 = 0 for j.
3
Let f = -22 + 25. Solve f*j = -10 - 2 for j.
-4
Let h = -4 - -5. Solve 2*k + h = 5 for k.
2
Suppose 0 = 4*r + 4*g + 16, 3*r + 0*r - 2*g = 13. Solve r = -5*t - 19 for t.
-4
Let y = -61 + 76. 