h - 3 = 0 for h.
3
Let o(n) = -n**3 - 7*n**2 - 6*n. Suppose 33 = -3*f - 3*b, 0*b + 5*b + 49 = -4*f. Let g be o(f). Solve 3*s - 2*s - 1 = g for s.
1
Let y(r) = -137*r**3 + r. Let l be y(1). Let a be l/(-24) + 4/(-6). Solve a = -3*i + 2 for i.
-1
Let c be (5/20)/(2/40). Let k(i) = 2*i**3 + 6*i**2 - 2*i**3 + 2 - i**3 - 5*i. Let y be k(c). Solve -d - 5 = -y*d for d.
5
Let o(i) = i + 2. Let a(t) = 2*t - 8. Let y be a(7). Let g be o(y). Let s be ((-9)/(-4))/(3/g). Solve 2*j - s = -0 for j.
3
Let j = -107 - -110. Solve p + 16 = -j*p for p.
-4
Let b(g) = 3*g + 64. Let a be b(-20). Solve -3*t - t = -a for t.
1
Let d = -4 + 5. Suppose d = -5*z - 4. Let n(k) = k + 1. Let g be n(z). Solve r - 2*r - 2 = g for r.
-2
Suppose 2*b = 5*o - 15, 2*o - 4*b + 5*b + 3 = 0. Suppose -2*x + 5*i = 2*i, 0 = 3*x + 5*i. Let j be (1 - 2)*(x - 0). Solve j = -2*h + 3 - o for h.
1
Let g(a) = -a + 3. Let v be g(-9). Suppose -u = -3*i + 17, -i - i + 2*u = -18. Solve -f + i*f = -v for f.
-4
Let z be (3/(-4))/((-54)/72). Solve -2 - z = -j for j.
3
Let u(q) = 2*q**3 - 7*q**2 + 15*q - 8. Let o(i) = -i**3 + 4*i**2 - 7*i + 4. Let a(f) = 5*o(f) + 2*u(f). Let x be a(4). Solve -3*p = x - 1 for p.
-5
Suppose -7 = -4*z + 13. Suppose 4*x - 17 = -3*u + 3*x, z*u - 2*x - 32 = 0. Solve -4*i = -2 + u for i.
-1
Suppose 4*t = 34 + 2. Suppose -4*p = -4*u + 40, p + 20 = 3*u - 0*p. Let h = t - u. Solve h = -d - 3*d for d.
-1
Suppose 5*s = 2*n + 11 + 9, -5*n = -3*s - 7. Solve s = 2*d - 0*d for d.
3
Let v = 6 + -8. Let o = v + 2. Solve -b - 4*b = o for b.
0
Suppose 2*x - 10 = -5*t, 3*t = -4*x - 0 + 6. Let h(a) = -a**2 - 4*a + 7. Let u be 42/(-8) - 1/(-4). Let q be h(u). Solve 0 = q*v - 2 - t for v.
2
Let w(o) = 2*o**3 - 4*o**2 + 1. Let n be w(3). Suppose 3*i - n - 8 = 0. Let q(m) = -m**3 - 3*m**2 - 2*m - 3. Let u be q(-3). Solve u*s + i = -6 for s.
-5
Suppose 0 = -3*m + 5*m + 8. Let j be 0*(-1 - m/2). Solve j = -3*z - 3 + 12 for z.
3
Suppose 5*s = -4*a + 5, -s - s - 3*a = -9. Let y = s + 4. Let f be (12/5)/(y/5). Solve 4*h = h - f for h.
-4
Let m = -3 + 6. Let n be -2 - (-3 + 6 + 1). Let r = m - n. Solve 5*q + r = 2*q for q.
-3
Let m(v) = -v**2 + v - 1. Let n be m(1). Let u be 3 - (6/2 + n). Suppose b - 21 = -u. Solve -b = -4*x - x for x.
4
Suppose -w - 2*a = w - 6, 0 = w + 5*a - 7. Let k = 2 + 4. Solve w*h + h + k = 0 for h.
-2
Let m be 1 + (0 - -2) - 1. Let t = m - 2. Let y = 5 - t. Solve -y*s + 11 + 14 = 0 for s.
5
Suppose 0 = 3*c + 4*z + 5, -5*c + 4*z + 0*z + 45 = 0. Let k be ((-24)/(-3))/(c + -3). Solve -k*q = q for q.
0
Let l = -106 - -58. Let d be (3/(-9))/(2/l). Let a = -5 + d. Solve -a*s = -6*s - 3 for s.
-1
Suppose 3*p + 4*v - 24 = 0, 6*p - 4 = 2*p + 4*v. Solve p*u - 2 = 5*u for u.
-2
Let z be (-14)/4 + 4/(-8). Let d be z/10 - (-96)/15. Solve d = g + 2 for g.
4
Let w = 30 + -14. Solve -3*s = s - w for s.
4
Let y(w) = w**3 - 6*w**2 + 7*w - 7. Let x be -1*1 + 24/4. Let j be y(x). Suppose -j*l + o = -7, -3*l = 2*l + 5*o - 45. Solve 0*m - m - l = 0 for m.
-4
Suppose -2*v - 25 = 2*v - 5*d, -d = -v - 6. Let o = v + 10. Solve 0 = 4*t - o*t + 5 for t.
5
Suppose 35 = -0*s + 5*s. Suppose -s - 1 = -4*c, -c = k - 6. Suppose 2*q + 0*q - k = 0. Solve m = 2*m - q for m.
2
Suppose 5*k - 47 = -x, 3*k - 27 = 2*x - 3*x. Solve t + t - k = 0 for t.
5
Suppose -7*v + 3*v + 16 = 0. Suppose 5*h - v*h = 0. Suppose -9 = -h*s - s. Solve -5*x = 34 - s for x.
-5
Let h = -5 + 9. Let a(g) = g + 8. Let j be a(0). Suppose -b - 3*b = -j. Solve -h*q + 8 = -b*q for q.
4
Suppose -20*h + 16*h + 9 = v, 2*h + v - 3 = 0. Solve -9 = 3*r + h for r.
-4
Suppose 0 = -6*s + 2*s - 168. Let n = -22 - s. Let q(a) = -a**3 - 2*a**2 - 4. Let h be q(-3). Solve -n = -h*m + m for m.
5
Let s = -13 - -15. Solve -4 + s = u for u.
-2
Let v = 4 - -1. Suppose 3*p - 7 - v = 0. Suppose -3*y - 11 = -3*i + p, -3*y = i + 3. Solve -i*r + 20 = r for r.
5
Let v(p) = p**3 + 13*p**2 - 33*p - 40. Let g be v(-15). Let l = -3 - -5. Solve -3*a = l*a - g for a.
1
Let l be (20 - -25)*(-1)/6*-2. Solve h = 4*h + l for h.
-5
Suppose -22 - 26 = -4*t. Let m = t + -6. Let g be ((-4)/(-6))/((-2)/(-6)). Solve -2*v - g = m for v.
-4
Let c = -18 - -21. Let j be (0 - 1)/(-1 + 0). Suppose -3*n + 49 = j. Solve 4 = c*d + n for d.
-4
Suppose 0 = -2*w - 1 + 7. Let a(m) = 2 + 5*m**3 + 3*m**3 + 3*m**2 - 9*m**3 - 6 + 2*m. Let y be a(w). Solve y*f + 2 = -0*f for f.
-1
Let k(a) = 7*a - 4*a**2 - 3*a**2 - a + a**3. Let h(g) = 2*g**2 + 4*g. Let n be h(-3). Let y be k(n). Solve y = -5*i + 10 for i.
2
Let t(r) = 4 + r**2 + r - 2*r - 7*r - r. Let q be t(9). Solve 0 = -0*m - q*m for m.
0
Let n(s) = -s**3 + s**2 - s - 20. Let c be n(0). Let z = c + 28. Solve -3*q - z - 7 = 0 for q.
-5
Suppose -3*o - 17 = -32. Solve -o*v - 24 = -4 for v.
-4
Suppose 6 + 4 = 2*r. Let w be -7 + 7 + 1 + 41. Let p be 142/7 - 12/w. Solve 0 = -0*l - r*l - p for l.
-4
Let p(j) = -6*j - 6. Let o(i) = 7*i + 7. Let f(u) = -5*o(u) - 6*p(u). Let d be f(-5). Let k be 1/3 + d/(-6). Solve 0 = 5*z - 24 - k for z.
5
Let z(n) = -n + 5. Let s be z(5). Suppose s - 4 = 2*j. Let b be (-6)/(0 + 3/j). Solve 0 = b*c - c for c.
0
Let i = 13 - 16. Let y be i + 1*(-3 + 9). Solve -2*t + y = 1 for t.
1
Suppose -5 = -3*i + 2*o, 3*i + 23 = -o - 4*o. Let g be (-32)/(-14) - (-4)/(-14). Let l be 7/g*(i + 3). Solve -5*q = -3 - l for q.
2
Let j(w) = w**2 - 7*w + 2. Let q be j(7). Suppose -5*o = -q*t - 0 - 6, -5*t = -5*o + 15. Solve 10 = -5*y - o for y.
-2
Let r = 9 - 6. Suppose 0 = r*g - 6. Solve 5*k = 13 + g for k.
3
Let n = -4 - -8. Suppose 3*x - 12 = 2*x. Solve -n*y + x = -0*y for y.
3
Let u(o) = o**2 + 5*o + 18. Let c be u(-4). Solve 3*s - 11 = -c for s.
-1
Let x = 5 + -3. Solve 2*w = -x*w for w.
0
Let l = -5 - -8. Let b(d) = d + 6. Let o be b(-6). Let t be 2 + o + -1 + 2. Solve -t*y + l - 18 = 0 for y.
-5
Suppose -5*v + t = -69 - 33, -86 = -4*v + 3*t. Solve 3*x + x = -v for x.
-5
Let i = 2 + -2. Let c(p) = p**3 - 3*p**2 - 3*p - 2. Let h be c(4). Solve 0 = -i*n + h*n for n.
0
Let p(g) be the first derivative of -g**2/2 - 10*g + 2. Let h be p(-10). Solve h = -2*s - 5 - 3 for s.
-4
Suppose 7*q - 3*q = 20. Suppose q*w = w. Solve w = -0*y + 5*y - 20 for y.
4
Let x(f) = 6*f**2 + f - 1. Let i be x(1). Solve i = -q + 1 for q.
-5
Let i = -3 - -5. Let b be 4/(-4 + 3)*-1. Suppose u = -2*t - 2*u + 14, -4*t - b*u + 20 = 0. Solve -p + i + t = 0 for p.
3
Let n be 28/(-35)*(-50)/4. Suppose -5*z + n*z = 10. Solve z*m = 4*m - 2 for m.
1
Suppose -1 + 21 = 5*w. Suppose 4 = w*q - 4. Solve 3 = -q*g - g for g.
-1
Suppose 0 = -2*p - 3*p + 140. Let c be 178/14 - (-8)/p. Suppose 0 = 3*w - 5*j - 8, w + w + 1 = -3*j. Solve -3*d + w = c for d.
-4
Suppose 11*k + 0 = -0. Solve k = 3*f + 3 - 0 for f.
-1
Suppose -4*w = 2*u - 10, 4*w + 7 = 4*u - 1. Solve -9 - 6 = u*n for n.
-5
Suppose 3*n - 9 - 18 = 0. Solve b - n = -2*b for b.
3
Let q = -3 + 5. Let v(f) = f**3 - 10*f**2 + 10*f - 6. Let y be v(9). Solve y*m + 15 = -q*m for m.
-3
Let j be (14/21)/((-2)/(-15)). Suppose -4*d = 16, -2*u + 5*d + 17 = -17. Suppose 2*v = 10, 0 = 3*y - 0*y - 2*v + u. Solve -j = 2*g + y for g.
-3
Let l be ((-10)/6)/(2/(-18)). Let j be (36/l)/4*5. Solve -p + 4 = j*p for p.
1
Let a = 7 - 1. Suppose -b = -a*b + 30. Let i be (-18)/(-12)*20/b. Solve 2 = -l + i for l.
3
Let v = -58 - -62. Solve -v*t + 2 = 22 for t.
-5
Let k(c) = c**3 + 3*c**2 - 2*c + 6. Let q be k(-3). Solve 4*a = -0*a - q for a.
-3
Let s = -5 + 1. Let j(n) be the first derivative of -n**3/3 - 3*n**2 - 3*n + 2. Let t be j(s). Solve -4 = -t*y + 1 for y.
1
Suppose -3*f = -4*p - 10, f - p + 2 = 6. Let u(a) be the second derivative of -a**3/6 + 3*a**2 + a. Let i be u(f). Solve -5*g + 25 = -i*g for g.
5
Suppose -y = 3*c + 10, 3*y - 16 = 4*y + 5*c. Let k = y + 4. Let h = -19 + 32. Solve -h = -4*a + k for a.
4
Let s be 6/(-4)*(-16)/(-6). Let q(x) = -x - 5. Let u(n) = -6*n - 26. Let p(a) = s*u(a) + 22*q(a). Let y be p(4). Solve -2 = -y*t - 6 for t.
-2
Let k = 15 - 19. Let h = k + 7. Solve 6*u - 9 = h*u for u.
3
Suppose -4*m + 94 = -o - 2*o, -127 = -5*m - o. Suppose 0 = -d + 6*d - m. Solve -3 - d = 2*x for x.
-4
Let z(o) = o**3 - 13*o**2 + 4. Let i be z(13). Suppose 4*v - 9 = 3. Solve 0 = j - i*j + v for j.
1
Let c = 6 + -7. Let t = c + 4. Solve t*l + 25 = -2*l for l.
-5
Let s = 3 + -2. Let n be 4 - ((-1 - -1) + 2). Suppose n*f + 4 = 4*f. Solve f*z =