n**2 - 1. Let q be b(0). Solve -5*h + 15 = -q*h for h.
3
Let z be 2/3 - (-8)/6. Suppose -8 = -t - t. Let r be ((4 - t)/1)/(-1). Solve -z*c = -r*c + 2 for c.
-1
Let k = 8 - 2. Solve 0 - k = -3*b for b.
2
Let i(l) = 4*l - 3. Let p be i(2). Solve -p*s = -2*s + 6 for s.
-2
Suppose m + s - 7 = 0, -2*s = -7*s + 10. Let g = 8 + -6. Suppose -g = h - 3*h. Solve m*v + 4 + h = 0 for v.
-1
Suppose 0 = 2*n - w + 1 - 5, 0 = -3*n + 5*w + 6. Let r be -2 + n/2 + -3. Let k(y) = y**3 + 3*y**2 - 5*y - 1. Let x be k(r). Solve -p + x - 1 = 0 for p.
2
Let u(x) = x + 11. Let f be u(0). Suppose 5*z + 4*s = -12, -4*z - 2*s = s + 9. Suppose -4*m + f - 3 = z. Solve 3*n + m = 2*n for n.
-2
Suppose -3*h = 3*z - 6, 3*h + 10 + 4 = 2*z. Solve z = 5*t - 1 for t.
1
Suppose -6 = -4*l + 22. Solve -13 - l = -4*b for b.
5
Suppose 4*i - d = 3 + 10, -2*i - 1 = -3*d. Solve i*j = -j - 20 for j.
-4
Let d = 0 - -11. Suppose 3*n - 4 = d. Let m be (-4)/(-3)*(-2 + n). Solve -m*s - s = -25 for s.
5
Let h(p) = p + 13. Let i be h(-8). Solve i*m = 4*m + 1 for m.
1
Let h = -6 - -9. Solve -h*z = z for z.
0
Suppose 20 = -4*x, o + 15 = -x - 2*x. Let b = -137 - -242. Suppose -b = -5*r - o*r - k, -5*r + 90 = -2*k. Solve 0 = n - 6*n - r for n.
-4
Let a(k) = 12 + 16*k + k**2 + 3 - 4*k. Let m be a(-11). Suppose -3*p + 2*h - 1 = 0, -m*p - 2*h - 2*h = -12. Solve -p = b + 4 for b.
-5
Let c = -41 - -42. Solve -4 = -n + c for n.
5
Let a(x) = -x**3 + 4*x**2 + 1. Suppose 0 = -2*g - 9 - 3. Let u = 9 + g. Let k be a(u). Solve 0 = -4*w - k - 10 for w.
-5
Let v(o) = -4*o - 1. Let n be v(-3). Solve -3 + n = 4*g for g.
2
Suppose -d = -2*d + 3. Suppose -d*j + 4*j - 17 = 5*r, -3*r = 4*j + 1. Suppose 4*w - j*l + 4*l - 36 = 0, 3*w - 14 = 5*l. Solve -2*g - w = 2 for g.
-5
Suppose 2*r + 2 = -0. Let t be 3/(-2 + 3) - r. Solve 4*y - t = 16 for y.
5
Suppose 2*k + 1 = 5*k - 5*a, 4*k - 6 = 2*a. Solve p + 1 = k*p for p.
1
Let b(k) = k**3 - 13*k**2 + 12*k + 6. Suppose 3*l + 21 = -3*a + 4*a, a - 3 = -3*l. Let j be b(a). Solve 0 = -4*n - j - 14 for n.
-5
Let v = -46 + 50. Solve -v*y = -9 + 1 for y.
2
Let n be -2 - -2 - -1*4. Suppose x = -17 - 7. Let c = -14 - x. Solve 3*v + c - n = 0 for v.
-2
Let u(n) = 3*n - 10. Let x be u(4). Solve w - 1 = x for w.
3
Let d = 8 - 5. Let j(o) = 9*o + 45. Let v be j(-5). Solve v = -d*z - 3 for z.
-1
Suppose r = -4*r + 90. Solve -5*t + r = 3 for t.
3
Let u = -15 - -16. Solve y = 2 - u for y.
1
Let h be 6/(-3) + 7 - 1. Suppose h*d + 0*d - 16 = 0. Suppose -d*w + 6 = -2. Solve -w*p = -3*p + 4 for p.
4
Suppose 20 = 5*f - 35. Let d(g) = 0 + 1 - g + 12. Let i be d(f). Solve -i*p = -p for p.
0
Suppose -5*s + 0*w = 3*w, -3*s + 24 = -3*w. Suppose -s*v = v. Solve -4*a = -v*a - 16 for a.
4
Let x(l) = -l - 10. Suppose 0 = -5*h + 5, -2*q - 4*h - 22 = -2*h. Let v be x(q). Let g = 6 + -3. Solve v*y - g*y = 3 for y.
-3
Let v(o) = -o**3 - 9*o**2 + 4. Suppose -t - 1 = 4*h, -t + 4 = 2*h - 3. Suppose -5*d - t - 30 = 0. Let j be v(d). Solve -j*u + 0*u = 4 for u.
-1
Let t = 29 + -5. Suppose q - 4*m = 15, 4*q - 6*m - t = -2*m. Solve -l = -q*l + 8 for l.
4
Suppose -3*s + 6*s + 59 = 5*r, 0 = -5*r + s + 63. Suppose 2*j + r = 5*n - 8, -3*j = 3*n - 21. Suppose j*z - 5*z = -6. Solve 2*u - 6 - z = 0 for u.
4
Let i(j) = -j**3 - 6*j**2 - 5*j + 4. Let t be i(-5). Suppose 3*r + 35 = t*r. Let z = -24 + r. Solve 0 = -3*l - 1 - z for l.
-4
Let t be (1 - -8) + (-4)/1. Suppose t*k = 2*d + 2*d - 17, 15 = 4*d - 3*k. Solve d*o = 2*o for o.
0
Suppose -2*i + 2 = -f, -i - 6 = -2*f - 2*f. Suppose -1 + 37 = -4*l. Let h = 1 - l. Solve 2*p + f = h for p.
4
Suppose 1 = r - 2*r + s, 0 = -2*r + 3*s - 3. Solve r = -z - 4 + 2 for z.
-2
Let f = 11 + -11. Suppose 0*b + 3*b + 2*t = 6, -2*b + 2*t - 6 = f. Solve b = -x + 3*x for x.
0
Suppose -j + 2 = -a - 0*a, 10 = 3*j - 5*a. Suppose -3*r + 4 = 2*i, -3*i + 4*i + 7 = 3*r. Let w = i + 1. Solve -d + j*d + 5 = w for d.
5
Suppose -45 = -4*y - 37. Solve 0 = -2*u + y + 8 for u.
5
Suppose -8*m = -3*m. Solve m = y + 3 + 1 for y.
-4
Suppose -30 = -5*m - 0*m. Let d be ((-2)/(-2))/((-6)/(-42)). Let b = -5 + d. Solve -f - b*f = m for f.
-2
Suppose 6 = -0*v + 4*v + 3*r, -2 = -4*v - r. Suppose 4*f = -y + 22, 0 = 3*y - 4*f + 6*f - 16. Solve v = -4*o + 6 + y for o.
2
Let w = -26 + 30. Solve -w*z = z for z.
0
Suppose 0 = 3*l - n - 1 - 2, -4*l + 3*n = -9. Solve l*j - j - 5 = 0 for j.
-5
Let j = -40 + 42. Solve -p + 0*p = j for p.
-2
Suppose 2*i + 7*d - 30 = 3*d, 3*d = 3*i - 18. Solve 2*q - 1 = -i for q.
-4
Suppose 0 = 3*u - u - 4*p + 8, 0 = 2*u + p - 2. Solve 5*g + 12 + 3 = u for g.
-3
Suppose 3*z - 4*z = 0. Solve 0 = -z*w - w for w.
0
Let b be (-2)/(-4) + (-3)/(-2). Suppose z + b*z = 9. Solve z*r = 4*r for r.
0
Let t = -1 + 1. Let p = 2 - 0. Let z be 1/(9/4 - p). Solve t = -z*a + 2 - 6 for a.
-1
Let n(p) = 8*p + 2. Let c be n(-4). Let s be 12/15*c/(-4). Let r = s + -6. Solve -2*a + 10 = -r*a for a.
5
Let u = -8 + 10. Let t be (-2)/(-10) - (-28)/10. Solve 4 = u*n - t*n for n.
-4
Let q be 1 - (-2)/((-4)/2). Solve q*f - 12 = 4*f for f.
-3
Suppose -4*z + 5*p + 21 = 0, 3*p + 17 - 2 = 3*z. Solve -2*a + z*a = 6 for a.
3
Let l = 1 + 1. Suppose -l*n - 2 = -12. Solve b - 2*b = -n for b.
5
Let a(f) = f**2 + 6*f + 3. Let k be a(-7). Suppose -7*r = -k*r. Solve -4*g + 0*g + 12 = r for g.
3
Suppose 3*s - 20 = -2*a, -2*s + a = 6*a - 28. Suppose 14 = s*z + 2. Suppose -6*c + 12 = -z*c. Solve 4 = -c*g + 5*g for g.
4
Let m(n) = -n - 5. Let q be m(-7). Let j be q*1/(-2)*-1. Suppose v = -0*v + j. Solve 0 = t - v for t.
1
Let d(v) = v**2 - 8*v - 9. Let b(h) = h**2 - h - 3. Let z be b(4). Let o be d(z). Solve o = 2*x - 10 + 2 for x.
4
Let p(b) = 15*b. Let c be p(2). Let o = 20 - c. Let d be (o/4)/(2/(-4)). Solve d*h - h = -12 for h.
-3
Let r be (9/(20 - 2))/((-1)/(-8)). Solve -3*y = -y + r for y.
-2
Suppose 3*u - 4*v + 10 = 2*u, -5*v + 9 = -3*u. Let f be (-4)/(u - (2 - -1)). Suppose -f*c + 3 = -5. Solve c*d + 3 = -1 for d.
-2
Let h be 1/2 - 15/(-2). Let l be (-36)/10 - 2/5. Let y = h + l. Solve 0 = 2*w - w + y for w.
-4
Suppose 0 = 5*c - c + 40. Let m be 10/(-4)*36/c. Let q be 2/(m/(-10) + 1). Solve -4*v = v - q for v.
4
Let v be 9/(-6)*(-16)/(-6). Let n = -2 - v. Suppose p = -4*b + 61 - 21, -n*p = 3*b - 30. Solve -x + 3*x + b = 0 for x.
-5
Let i be (-3 + 1)*(1 + -2). Let c = -29 - -34. Suppose -c = -7*v + 2*v. Solve o = i - v for o.
1
Suppose -29*z = -25*z - 32. Solve -2*m + 0 = -z for m.
4
Suppose -9 = -2*i + 1. Solve 2*n + 15 = i*n for n.
5
Let m(g) = g**3 - 4*g**2 + 3*g + 3. Let a be m(3). Let x = 137 - 129. Solve a*s = s + x for s.
4
Let g be (-8)/(-3) - 4/6. Suppose 2*j + 2*j + 4*p - 28 = 0, 4*p = -2*j + 22. Solve -i = -j - g for i.
5
Let o = 5 + -4. Let u(i) = -8*i**3 - 2*i**2 - i. Let j be u(-1). Let f = -7 + j. Solve 0 = s + o - f for s.
-1
Let s(p) = -p + 9. Let i be s(4). Suppose 1 = -h + 3*h - 3*g, -2*h - g + i = 0. Solve -h*n = n + 6 for n.
-2
Let v = 5 - 3. Let d be -1 - (-4 + v/2). Suppose 0 = 7*c - d*c. Solve c = -g - 3 + 5 for g.
2
Let c be (-1)/2 + 2/4. Suppose c = 3*g - 10 - 29. Suppose 0 = -20*k + 23*k - 3. Solve 4*d - g + k = 0 for d.
3
Let j = -71 + 76. Solve -1 = -j*p + 4 for p.
1
Let v be (8/(-16))/((-1)/(-28)). Let b = v + 24. Solve -2*d - b = 3*d for d.
-2
Suppose 0*a + 2*a + 2*y - 2 = 0, 0 = -3*y - 9. Solve a*u + 0*u + 12 = 0 for u.
-3
Let o be (1/1)/(1/2). Solve o = 3*y - 2*y for y.
2
Suppose -d - 4*f = 11, 14 = 2*d - 0*f - f. Let j = -5 + d. Suppose 0 = n + 2 + 2, -5*g + 2*n + 8 = j. Solve g = -r + 3 - 0 for r.
3
Let n = -19 - -25. Solve -2*s + n = -5*s for s.
-2
Let k(j) = j**3 - 6*j**2 + 7*j - 10. Let f be k(5). Solve f = a - 4*a + 12 for a.
4
Let g(y) = -y**3 - 1. Let b(c) = c + 4. Let w be b(-5). Let a be g(w). Let m(k) = k - 2. Let j be m(6). Solve -j*r = -a - 4 for r.
1
Let r = 0 - -3. Solve r + 0 = w for w.
3
Let y = 1 + 1. Let d(i) = -i**2 - 9*i + 12. Let p be d(-10). Suppose p*l - 3 = -l. Solve z + y = l for z.
-1
Let o = 11 + -7. Suppose -28 = -8*k + o*k. Solve -k*s = -3*s - 8 for s.
2
Suppose 5*b - 12 - 14 = -k, -k = 2*b - 11. Suppose -b*o + 24 = -51. Solve 0 - o = 5*j for j.
-3
Let j be 1/(6/(-12)*-2). Solve -3 = d - j for d.
-2
Let d be (4/5)/(12/(-90)). Let v be (-4)/9*27/d. Suppose -5*a + 14 = 4. Solve v*z + a*z = 20 for z.
5
Let x(w) = -w**2 + 9*w - 5. Suppose -4*u = -3*s + 16, 0 = -s - 2*u - 3*u -