= -t. Solve a*b = 3*b + 4 for b.
1
Suppose -3*u - 5*r = -2, 3 - 5 = -2*r. Let w be -5*(-3 + (u - 0)). Suppose -w = -z - z. Solve 2*h - 7*h = -z for h.
2
Let h(i) = -2*i + 9. Let m be h(6). Let x(j) = -3*j - 13. Let a be x(-6). Let s = a - m. Solve s = 4*l - 0*l for l.
2
Let a be 9/(1 + (-1)/4). Suppose -a - 20 = -2*n. Let h(w) = w + 12. Let i be h(-10). Solve n = 6*g - i*g for g.
4
Suppose z = 6*z - 10. Solve -t = z*t for t.
0
Let w = -1069 + 1073. Let l(z) = z**3 - z. Let u be l(1). Solve -f - w*f - 25 = u for f.
-5
Suppose 0 = 2*l - 6*l. Solve 2*r = -l*r - 2 for r.
-1
Let g = 17 + -10. Let h be (-386)/(-30) + 22/165. Solve g = 5*v - h for v.
4
Let f(l) = -l**3 + 3*l**2 - l. Let h be f(1). Let x be (13 + (h - -1))*1. Suppose x = -4*v + 35. Solve -6 + 1 = -v*d for d.
1
Let g(t) = -t**3 - t**2 - 2*t - 3. Let q be g(-2). Let s be (-1 - -10) + 16/(-24)*3. Solve -s = 3*w + q for w.
-4
Suppose 0 = -2*v + 4. Suppose -v*h = -5*h + 60. Suppose 4*n - h = -n. Solve -2*a + n*a = -8 for a.
-4
Suppose 4 = 2*q - q. Suppose 2*h - q = -0*h. Solve h*s - 12 = -2*s for s.
3
Suppose d - 14 + 3 = 0. Let m = 3 + -2. Suppose -d - m = -4*c. Solve 0 = 3*i - 0*i + c for i.
-1
Let d(a) = -a**2 + a + 2. Let x(g) = g**3 - 8*g**2 + 8*g - 7. Let f be x(7). Let o be d(f). Let k be (10/(-4))/(o/(-4)). Solve 4 + 1 = -k*q for q.
-1
Let y be 3/4 + (-9)/12. Solve y = -2*l + 5*l for l.
0
Let q = 19 + -15. Solve q*s = s for s.
0
Let g be 0 + (2 + -10)/(-4). Solve w - 3 - g = 0 for w.
5
Suppose 6*l = 8*l + 12*l. Let z(q) = q**2 - 2*q. Let w be z(3). Solve l*i + w = -3*i for i.
-1
Let o be -20*(-1 + 6/4). Let f = -6 - o. Suppose -f*b - 5*l = -b - 19, b + 7 = 5*l. Solve -2*q - b = q for q.
-1
Suppose r - 3*r + 12 = 0. Let q be 30/9*r/5. Solve -s = -1 - q for s.
5
Suppose 0 = -4*p - 8, 2*p = 3*i - 3*p - 19. Suppose -30 = -i*g - 6. Solve 8 = -4*c - g for c.
-4
Let b = -37 - -57. Suppose -5 - b = -5*d. Solve d*w - 1 = 9 for w.
2
Suppose -5*y + 4*u = -21, -3*u - 15 = -2*y - y. Suppose y = 5*c - 19. Suppose 0 = 3*a - 5 - c. Solve -6 = -o + a*o for o.
-3
Let k = -134 - -137. Solve 0 = -k*p + 4*p - 5 for p.
5
Suppose -3*p - 2*t = 64, -p = -t + 5*t + 8. Let q be p/4*2/(-4). Solve -j = -q*j - 2 for j.
-1
Let l be (-3)/9 - 2/(-6). Suppose l = -a - a + 4. Suppose -x = -a*k - 0 + 10, -5*k = -25. Solve x = -y - y for y.
0
Let i(g) = g**3 - g**2 - 3*g - 3. Let c be i(3). Suppose -c*j = 2*b - j - 25, 0 = b - 5*j + 10. Solve 5 + b = -2*s for s.
-5
Let d(n) = n**2 + 5*n - 3. Suppose 0 = 4*f + f + 25. Let g be d(f). Let z = 12 - g. Solve -z = -4*s - s for s.
3
Let l be (1 - 1) + 5/1. Solve -l*u + 13 = -2 for u.
3
Let c(s) = s + 15. Let o be c(-7). Suppose -4*h - 3*j + 3 = 0, -3*h = -4*j - o - 13. Solve -h*a + 4 = 13 for a.
-3
Let c(a) = a**3 - 3*a**2 - 2*a - 2. Let s be c(4). Let w be (-59)/(-3) - (-3)/9. Solve -j = -s*j - w for j.
-4
Let q be -10*(-1)/((-10)/(-8)). Let x = 9 + 10. Let m be x/6 - 3/18. Solve m*s + 7 = -q for s.
-5
Let c(i) = 4*i**2 - 9*i**2 + 5*i + 6*i**2 - 3. Let z be c(-6). Solve -s - 1 = -z for s.
2
Suppose -7*p = -7 - 7. Solve -5*d = -p*d for d.
0
Suppose -5 = -2*p - 1. Let b = 4 + p. Let w be (b/4)/((-6)/(-36)). Solve 0 = 5*a - 1 - w for a.
2
Let h be ((-8)/(-6))/((-3)/(-9)). Let o(l) = l**3 - 5*l**2 + 7*l - 6. Let q be o(h). Solve -3*d = -d - q for d.
3
Let s be (1/(-6) + (-2)/6)*-2. Solve -j + 6 - s = 0 for j.
5
Suppose 3*q - 2 - 7 = 0. Let n = 20 + -22. Let y be 70/(-15)*3/n. Solve -o = q - y for o.
4
Let m(u) = u**3 + u**2 + u + 4. Let a be m(0). Suppose -x = -0*x - 5. Suppose -w + 4*w = 4*k + 10, 0 = 4*w + x*k - 3. Solve -10 = w*p - a for p.
-3
Let k = 3 - -1. Suppose 0 = 5*x - 5*q - 25, -3*x = -2*x + k*q - 30. Suppose 3 + 3 = -3*s, -3*g - 6 = 3*s. Solve 5*t + x = -g*t for t.
-2
Let d = -4 - -13. Let l = d - 16. Let t be (-2 - l) + -1 + 0. Solve 4*b = -0*b - t for b.
-1
Let g be -1 - (-1)/(-2)*-2. Suppose g*l - 1 = -l. Let u = 4 + -2. Solve u*m = m - l for m.
-1
Let q(w) = -w - 6. Let p(h) = 2*h + 13. Let c(u) = 4*p(u) + 9*q(u). Let i be c(-4). Solve -i*y = y - 6 for y.
2
Suppose 2 = i - 9. Suppose 0 = -2*l - i + 51. Solve -3*v + l = 8 for v.
4
Let c = -7 + 10. Solve 3*p = -9 + c for p.
-2
Let k = 11 - 7. Solve -1 + k = -3*m for m.
-1
Suppose -48 = 4*h - 120. Solve -4*f - 2 = h for f.
-5
Let o(k) = -k**3 - 7*k**2 + k + 7. Let h be o(-7). Solve h - 9 = 3*t for t.
-3
Let o be 0 + 2 + -4 + 18. Solve 5*a - o = a for a.
4
Suppose 3*g - u - 24 = -2*g, -5*g = -5*u - 40. Solve 0 = -3*a - g - 5 for a.
-3
Suppose 2*v - 22 = -2*h, 5*h - 55 = -5*v + 8*h. Suppose -4*q + k + 4 + v = 0, 4*q + 3*k - 19 = 0. Solve 2 = -q*i - 14 for i.
-4
Let z(n) = -n**2 - 8*n + 16. Let f be 2/8 - (-462)/(-56). Let b be z(f). Solve -3*o - o = -b for o.
4
Let z(f) = f**2. Let d be z(2). Suppose -4*x = d*y - 44, -3*y = 3*x + 2*y - 23. Suppose -2 + 31 = 5*o + j, -j - x = -4*o. Solve 2*p = p - o for p.
-5
Let p = 14 - 12. Solve -o - 12 = p*o for o.
-4
Let y(h) = -10*h + h**2 - h + 4*h + 5*h. Let i be y(3). Solve q = -i*q for q.
0
Let t be 45/18 - (-2)/(-4). Solve -t*y = y for y.
0
Let g(v) = 4*v + 4. Let r be g(0). Solve -l - 5 = r*l for l.
-1
Let b(o) = 2 - 1 + o**2 - 3*o**3 - 3*o + 5*o. Let a be b(-1). Suppose -4*q + a*x = 5*x - 12, -4*x = -5*q + 41. Solve k + 4*k = q for k.
1
Suppose 0 = 3*l - 9, 3*i - 9 = 2*l - 3*l. Let h be 1*(i + -2 - -5). Solve -h*p + 0 = 15 for p.
-3
Let m = 22 + -22. Solve m = w - 2 + 3 for w.
-1
Let u be 29/(-3) - 8/24. Let v = u + 10. Solve 2*b + 2 + 0 = v for b.
-1
Let x(n) = -n. Let z be x(5). Let g(r) = -r + r - 5*r. Let q be g(z). Solve -b + 6*b - q = 0 for b.
5
Let z be 3/(((-1)/1)/(-1)). Suppose -z*w = -5*w + 6. Solve 0 = h + 1 - w for h.
2
Suppose -28 = 3*u - 1. Let j be 1*(-3)/u*0. Solve j = -t - 2*t for t.
0
Let d(o) = 6*o**2 - 1. Let k be d(-1). Solve -k = g - 2 for g.
-3
Suppose 4*y - 50 = -18. Suppose -2*t + 0*v + 2*v = -y, 0 = -3*v - 6. Solve -1 = 3*p + t for p.
-1
Let a be (1/(-2))/(1/(-2)). Let p(q) = 2 + q**3 + 2*q**2 + q**2 - a - q. Let t be p(-3). Solve 0 = t*y - 0*y + 8 for y.
-2
Let v(a) = -2*a - 3. Suppose 3*p = -3*u + 72 - 6, 2*u + 37 = p. Let m = 19 - p. Let w be v(m). Solve -5*b = -w - 7 for b.
4
Let o be 20 + (2 - 0/3). Suppose 5*n - o = -7. Solve 0 = -2*r - n*r + 10 for r.
2
Let n = -113 + 118. Solve -r - n = -2*r for r.
5
Suppose -5*n + 2*m + 10 = 0, -3 = -2*n - m + 10. Solve 0 = -n*c + 5*c - 2 for c.
2
Let t(n) = -2*n**3 + n + 1. Let g(m) = m**2 - 3*m - 5. Let l be g(4). Let b be t(l). Solve -b + 6 = -c for c.
-4
Let u = -92 + 94. Solve b = u*b - 2 for b.
2
Let z be (-2)/(-7) - 2/7 - -10. Solve -z = 2*p - 0*p for p.
-5
Let i = -60 + 62. Solve i*z = 7*z + 20 for z.
-4
Let t = -14 - -18. Solve -5*m - t = 1 for m.
-1
Suppose 67*p = 66*p + 2. Solve -p*j = -3*j for j.
0
Let o be 4/(-14) - (-535)/35. Suppose p - o = -2*p. Solve -s + 4 = -p*s for s.
-1
Suppose -9 = -4*d + 5*x, 3*d - 12 = 2*x - 0. Solve -3*o - 12 = -d for o.
-2
Let h(k) = k + 4. Let m be h(-2). Suppose -m*n - 14 = -4*n. Suppose -10 = 2*c - n*c. Solve -c = 4*i - 22 for i.
5
Let k be (3/(-9))/(1/(-39)). Solve 0 = -5*q - 7 - k for q.
-4
Let c(h) = h**2 - 5*h - 5. Let q be c(6). Solve q = -4*k - 19 for k.
-5
Let y = 78 + -77. Solve -2*v = -3*v + y for v.
1
Let o(k) = 2*k + 7. Suppose -h - 4 = 4*a + 3*h, -3*a + h - 11 = 0. Let t be o(a). Solve t = -w + 6 for w.
5
Let w(z) = z**3 - 6*z**2 - 7*z + 6. Let i be w(7). Solve i = -2*r - 0 for r.
-3
Let i = -2 + 5. Suppose -4*g + 5*x = g - 15, 5*g - 15 = -i*x. Solve -2*j - g*j + 10 = 0 for j.
2
Let n be (4 - 8) + -2 + 6. Solve 0*x + 3*x - 15 = n for x.
5
Let a = 8 - 8. Suppose a*y - y = -10. Solve 4*o + 2 + y = 0 for o.
-3
Suppose -2*g = -4*g + 2. Let s be 1 + (0 - (-2)/g). Solve -5 = -k - s for k.
2
Let b be (6 + (-2 - 0))*1. Suppose 23 = b*w - 3*s, 2*w + 5 - 4 = -s. Suppose -w*x + 2 = -2. Solve -a = -1 + x for a.
-1
Let v = -3 - -6. Suppose 3*h - 4 = -2*m + 3*m, 2*m = -v*h + 1. Solve -h + 6 = g for g.
5
Suppose 0 = 2*m - 6*m + 16. Let k(a) be the first derivative of a**3/3 + 3*a**2/2 - 7*a + 3. Let r be k(-5). Solve 0 = m*b - r*b - 1 for b.
1
Suppose t = 5*i - 80, -i + 2*t = -16 - 9. Let v = 22 - 18. Suppose 41 = v*y - i. Solve 4*a + y + 6 = 0 for a.
-5
Let g(y) = 7*y**2 + 2*y**3 - y**2 - 3*y**3 + 25 - 30 + 2*y. Let f be g(6). Solve 3*q - f = 2 for q.
3
S