= 3*h, -5*o + 20 = 0. Solve -h*r - 2*r = -25 for r.
5
Let p be (-18)/(-4) + 1/2. Suppose -3*q + h + 3 = -0*h, -12 = -p*q + 4*h. Suppose 0 = 4*i - 18 + 2. Solve -3*k + i - 16 = q for k.
-4
Suppose 0*p - 5*t + 3 = 2*p, -5*p - t + 19 = 0. Let f be (2/1)/(2/p). Solve a - 10 = -f*a for a.
2
Let w be -3 + (-4 - 15/(-3)) + 4. Solve 2*m + 0*m - w = 0 for m.
1
Let r be -5*(-2 - 7/(-5)). Suppose 2*f - 3*d + 1 = -0*f, -r = f - 4*d. Let b be ((-1 + f)/(-2))/2. Solve b + 8 = 2*i for i.
4
Suppose 15 = -5*i + 25. Solve -p - i*p = 0 for p.
0
Let k(s) = 2*s + 1. Let r be k(0). Solve -4*j = 13 - r for j.
-3
Suppose 2*g = -3*q + 16, g + 2*g + 10 = 4*q. Solve -12 = -5*v + g*v for v.
4
Let z(x) = 2 - 3*x**2 + 5*x - 4 - 2*x**2 - x**3. Let i be z(-6). Solve i + 0 = -2*b for b.
-2
Let p(w) = 2*w + 4 + 5*w**2 - 2*w - 4*w**2. Let u be p(0). Solve d = 1 + u for d.
5
Let m be (-1 - (-2)/2) + 3. Let s(q) = q**2 - 3*q + 5. Let h be s(2). Suppose -5*p - 2*l - 10 = 0, 0*p - h*l = -p + 15. Solve p = x + m - 1 for x.
-2
Suppose -15 = 36*a - 41*a. Solve -r = -a*r for r.
0
Let y be (-9 + 0)*(3 + -4). Suppose -7 = 4*g + 9. Let j = g + y. Solve 0 = 2*c + j + 1 for c.
-3
Suppose 7*b = 4*b. Solve h = -b*h + 1 for h.
1
Let q(c) = c**2 - 2*c + 1. Let y be q(1). Solve -5*v - 6 + 1 = y for v.
-1
Let t = -2 + 0. Let q = 3 + t. Suppose 5 + q = 3*g. Solve g*z = -z for z.
0
Let n = 8 - 8. Suppose 5*c - 2*c - 15 = n. Solve -2*v - 3 = c for v.
-4
Suppose 0 = r - 4*r. Solve -5*n + r - 20 = 0 for n.
-4
Let j = -39 + 48. Solve -29 = 4*y - j for y.
-5
Let p = -4 - -6. Suppose 3*g + g - 12 = 0. Solve -g*a + 15 = p*a for a.
3
Let t = 4 + 0. Suppose 2*v - t*v = 0. Suppose 0 = -2*o - v + 4. Solve 2*z = -o*z + 4 for z.
1
Let m = -18 + 21. Solve -3*z - m = 3 for z.
-2
Let c(d) = 3*d**2 - d + 1. Let i be -1 - ((-2 - -1) + -4). Suppose o + i = 4*x - 4*o, -3*x = 4*o - 3. Let y be c(x). Solve -g + y*g = -8 for g.
-4
Let o be 6 - (0 - 0)*3/(-6). Solve -z - 20 = -o*z for z.
4
Suppose -7 + 3 = -2*j. Let u = 22 - 22. Let d be u/(-9) - (-2 - 1). Solve -i + j = d for i.
-1
Let a(t) = t**2 - 6*t + 2. Let j be a(6). Solve j*n + 3 = 9 for n.
3
Let f(r) = r**3 - 7*r**2 + 9*r + 8. Let w(p) = p**3 - p**2 + 1. Let m(l) = -f(l) + 2*w(l). Let b be m(-6). Solve 0 = -5*v - 8 - b for v.
-4
Suppose -4*x = -0*x - 4*m - 4, 5 = -x - m. Let o = x + 4. Suppose -2*l + 1 = -o*f - 5, -3*f = -l + 5. Solve -l*s - 15 = s for s.
-5
Suppose 3*d + 2*d - 10 = 0. Suppose -g - d = 2*n, 0 = -3*g - 2*g - 3*n + 18. Solve g = 2*w - 2 for w.
4
Let a = 10 - 7. Let j = -2 + a. Solve 1 = n - j for n.
2
Let t be (-8)/(-16)*4*2/4. Solve -5 = -4*q - t for q.
1
Let p be (-2)/(-12) - (-46)/12. Let y be ((-2)/5)/(1/(-60)). Solve y = -p*t + 4 for t.
-5
Let w(c) = -1 - 8*c**3 - 3*c**2 - 7*c**3 + 4*c**2. Let j be w(-1). Suppose 5*y + 2*f + 2 = 4*y, 9 = -3*f. Solve -j = -7*g + y*g for g.
5
Let u(w) = 4*w - 12. Let x be u(3). Solve -y + 3*y = x for y.
0
Let r = -64 - -67. Solve 0 = -r*u + 2 - 5 for u.
-1
Let s(k) = k**3 - 12*k**2 - k + 14. Let a be s(12). Solve 6 = -a*z - 4 for z.
-5
Let z(o) = o**2 - o + 2. Let k be z(2). Solve 1 - 5 = k*u for u.
-1
Let r be (-2)/6 - (-7)/(-9)*-3. Solve -3 - 3 = -r*f for f.
3
Let v = -4 + 6. Let x be 1*(-14)/(-4)*v. Solve 5*h + 8 = -x for h.
-3
Let u(w) = -6*w**2 + 3*w**2 + 5 + 0*w**2 + 2*w**2 + 7*w. Let o be 2 + 3 - (-6)/3. Let k be u(o). Solve k*v = 20 + 5 for v.
5
Suppose 7*f - 7 = 14. Solve 10 = f*h - 5 for h.
5
Let j = -37 - -37. Solve j*c = 2*c - 8 for c.
4
Let n = 4 + -1. Suppose -3*q - 29 = 5*w, -2*w - 5*q = -5*w + n. Let c be w/(-2)*(-1 - -3). Solve p = -0*p + c for p.
4
Let f = 13 + -9. Suppose -1 = -f*v + 3*v. Solve 1 = 2*a - v for a.
1
Let z be (-5)/(-20) - 15/(-4). Let v = -40 + 45. Solve -v = z*k + 7 for k.
-3
Let o be -4 + 3 + -1 + 4. Solve -23 = 5*t + o for t.
-5
Suppose -5*d = -12*d + 14. Let m(j) = j + 4. Let s be m(-4). Solve 4*y - 3*y + d = s for y.
-2
Suppose -4*g - 4 = 8. Let m(w) = -w + 1. Let y be m(g). Suppose j = -4*t - y, j - 6*j = 5*t + 20. Solve -4*p + p = t for p.
0
Let y = -28 - -39. Let f be 7/(-14) + (-10)/(-4). Let g be -3 + (f - 0) + 6. Solve -y + 1 = g*k for k.
-2
Suppose p = 2*p - 4. Let a be (p/12)/((-1)/(-15)). Solve -8 = r - a*r for r.
2
Let b be 10/(-8)*(-8 - -4). Suppose u - 15 = -5*f, b*f = -u + 4*u + 35. Suppose 0 = -f*i - 3*s + 27, -3*i + s = 2*i - 10. Solve 0*g = i*g - 15 for g.
5
Let l be (-224)/(-10) + -6 + 28/5. Solve 0 = -5*w + 3 + l for w.
5
Let l(b) = -b**3 - 3*b**2 + 1. Let v be l(-3). Let j = v + 1. Suppose -4*t + j*k + 18 = 0, k - 15 = -3*t - t. Solve 0 = t*o + 10 + 10 for o.
-5
Suppose 0 = -17*q + 13*q + 36. Solve 6*v = q*v for v.
0
Let q(v) = v**2 - 6*v - 4. Let u be q(7). Suppose -4*s + j = -2, 2*s + 0*j - 4 = -j. Solve 14 = -u*o - s for o.
-5
Suppose -5*l + 2*v - 35 = 0, 5*l - 5*v + 45 + 5 = 0. Let i = 8 + l. Solve -i - 2 = -u for u.
5
Let p = -25 + 28. Solve 0 = p*o - 2*o for o.
0
Let g = -19 - -15. Let q be 4/g*4*-2. Solve 0 = -0*f + 4*f + q for f.
-2
Suppose -2*y + 4*g = -y - 22, -3*y + 31 = -5*g. Suppose c - y = 6. Solve -r = 3*r + c for r.
-2
Let q be (-36)/(-10) + (-4)/(-10). Solve 3*j - q = -j for j.
1
Let q = -61 + 66. Solve 21 - q = 4*z for z.
4
Let i(u) = 7*u - 1. Let t be i(-1). Let z be 3/(6/t)*-2. Solve -4*d + z = -12 for d.
5
Suppose 28 = -5*p + p. Let v(m) = -m - 5. Let o be v(p). Solve -o*w = -4*w + 10 for w.
5
Let p(r) = -r**2 - 10*r + 15. Let l be p(-11). Solve -3*a = -a - l for a.
2
Let p = 9 - 4. Suppose 4 = 3*k + p*f, -3*k - 2*f + 2 = 2*f. Let n be 4/18 + k/9. Solve n*d = 4*d + 8 for d.
-2
Let w be (10/(-3))/(16/(-168)). Suppose 5*o - w = 15. Solve -2*c = -0*c - o for c.
5
Let o be 610/70 - 4/(-14). Let g = -7 + o. Suppose 0 = i - 4*i. Solve -g*p + p - 4 = i for p.
-4
Suppose n + n + 2*o - 6 = 0, 0 = -5*n + 4*o - 12. Solve -j - 3*j = n for j.
0
Let y = 69 + -69. Let m be 2/4*1*0. Suppose -s + 2*f = -8, -2*s - 2*s + 3*f + 17 = m. Solve -s*i + y*i = -10 for i.
5
Let a = -4 - -4. Solve -3*g + a = -15 for g.
5
Let o(l) = l**3 + 8*l**2 - 6*l - 45. Let y be o(-8). Solve -y + 7 = -q for q.
-4
Let u = -32 + 47. Suppose 0 = -5*h + 3*h - 20. Let y = h - -10. Solve -5*b + y = -u for b.
3
Suppose 4 = 4*k - 2*k. Suppose 0 = l - k*l + 2. Solve l*w - 7*w - 25 = 0 for w.
-5
Suppose 10 = 4*g - 3*x, 8 + 6 = 3*g + x. Solve 3*h = -1 + g for h.
1
Suppose 3*i + 0 + 3 = 0. Let z(b) = 5*b**2 + b. Let m be z(i). Solve -m*x = x - 25 for x.
5
Let u = 4 - 0. Let i be 1 - 3/(4 + -1). Suppose q + i = 3. Solve c - u*c = q for c.
-1
Suppose -52 - 13 = 5*d. Let v = 18 + d. Suppose 0 = -2*x - 3*x. Solve x = r + 10 - v for r.
-5
Let k(o) = -o**3 + o**2 + 3*o + 1. Let t be k(-1). Solve -3*d + 10 - 4 = t for d.
2
Let a = 6 - 10. Let b be a*(21/(-6) - -3). Solve b*p + 0*p = 0 for p.
0
Suppose 2*z = -z + g, -13 = -4*z - 3*g. Solve 0 = -j + z for j.
1
Let j be ((-16)/10)/(4/(-10)). Let l be (j/3)/(14/21). Solve -3*g = -7 - l for g.
3
Let k(q) = 2*q. Let w be k(-1). Let g be 1*(7 - (-2 - w)). Solve g*z - 5 = 2*z for z.
1
Let g be -10 + -1 + 0 + -1. Let r = 20 + g. Suppose b - 5 + 0 = 0. Solve b*w = 3*w + r for w.
4
Suppose -2*j + 39 = -1. Solve 0 = -2*g + 7*g + j for g.
-4
Let d be (-3)/9 - 26/(-6). Suppose 4*f = z + 20, 0 = f + f - d*z - 10. Solve -5*w + 5 = -f for w.
2
Let a be -1 - (-8 + 0 + 1). Suppose 6 = 2*o, -4*c + 4*o = 2 + 2. Solve -4*d = -c + a for d.
-1
Let d(x) = x**2 + 2. Let v = 10 + -10. Let j be d(v). Solve -j*n - n = 0 for n.
0
Suppose -4*v = 2*q - 6 - 2, v = -2*q + 5. Suppose 0 = -2*h - 3*u + q, -2*u - 13 = -3*h + 16. Solve h = -2*g - 1 for g.
-4
Let h(n) = n**2 - 5*n - 4. Let f be h(6). Suppose -2 = -2*u + f. Suppose u*x = 4*x. Solve x = -4*d - 0*d for d.
0
Let o = -7 + 16. Solve o + 6 = -5*v for v.
-3
Let s(l) be the first derivative of -l**2/2 - 2*l - 2. Let v be s(-5). Solve 0 = a - 0 + v for a.
-3
Suppose g + 4*g = 0. Suppose 0 = -341*j + 336*j + 10. Solve -a - j*a = g for a.
0
Let x be ((-2 + -1)*1)/(-1). Let h be -4 - -3 - (-48)/x. Solve -2*c = c - h for c.
5
Let n be (-2)/(-4)*2 - (4 - 4). Solve 2*o = -1 - n for o.
-1
Let u = 8 + -5. Suppose 2*h = -u*h. Solve 5*i + 4 + 1 = h for i.
-1
Let t(i) = -i + 4. Let w be t(3). Suppose 0 = 2*x + 14 + 34. Let q be -8*((-9)/x)/(-3). Solve -q = -o + w for o.
2
Suppose 0*y = -2*y + 8. Solve -2*o + y*o + 2 = 0 for o.
-1
S