Let m be t(9). Solve m*s = -s for s.
0
Suppose 0*t = 3*t - 3. Let u = 6 - 1. Let i = 78 - 76. Solve -u = -i*w + t for w.
3
Suppose 0 = -2*v + 5*v - 3. Solve -2 = -q + v for q.
3
Let u = 19 + -15. Suppose -a + u = d, -3*a + 5 + 2 = 2*d. Solve -d*w = -3*w - 4 for w.
2
Let z(x) = -x**3 + 7*x**2 + 7*x + 10. Let m be (2 - (-4 - 3)) + -1. Let r be z(m). Solve -1 = -a - r for a.
-1
Let t = 41 + -39. Solve 7 = -t*l - 1 for l.
-4
Suppose -4*q = -5*v + 12, v - 2*q = -0*v. Solve -v*o = -8*o for o.
0
Let h(v) = -v**2 + 8*v + 12. Let b be h(9). Let u(i) = i**2 - i + 3. Let m be u(b). Solve m = -4*t - 11 for t.
-5
Suppose -6*x + h = -x - 3, -2*x = -5*h - 15. Let a = 2 - x. Solve -6 = -4*r + a for r.
2
Let u(b) = -6*b - 22. Let k be u(-4). Solve 0 = x + k - 4 for x.
2
Suppose 5 = 2*q - 7. Let j be 0 - 0 - (-18)/q. Solve v = -j*v for v.
0
Let d be (0/(-8))/(1 + 0). Solve 0 = -g - d*g for g.
0
Suppose -3*o - 2*y = -4, 4*o - 2*y - y + 6 = 0. Solve o + 3 = -g for g.
-3
Let m(x) = x**2 + 8*x + 21. Let r be m(-5). Solve -3*l = -r - 6 for l.
4
Let l = 5 - -1. Suppose -2*o + l*o = 0. Solve o = -0*t - 3*t - 12 for t.
-4
Let w(g) = -g + 4. Let m be w(3). Let j(o) = o + 1. Let i be j(m). Solve 2*b + i*b = -8 for b.
-2
Suppose -6 = -5*t + 4. Solve -3*b - t - 1 = 0 for b.
-1
Let c(l) be the third derivative of l**6/120 - 2*l**5/15 - 5*l**4/12 + 3*l**3/2 + l**2. Let m be c(9). Solve m = -a - 4*a - 25 for a.
-5
Let t be 1/(-3)*3*-3. Solve o = -t*o for o.
0
Let r(p) = p**2 - 5*p - 9. Let y be r(7). Solve y*a - 6 = -1 for a.
1
Let k(v) = v**2 + 6*v + 7. Let q be k(-5). Let f(g) = g**3 + 6*g**2 + 5*g + 5. Let y be f(-5). Suppose q*s + y = 3*s. Solve s = -5*p - 5 for p.
-2
Suppose -23 = 3*x - 5*j + 5, -2*x = -2*j + 12. Let l be 2/(x + -1)*-3. Let u be 4*(7/4 + -1). Solve -u*f + 2*f + l = 0 for f.
3
Suppose 0 = -3*x - 3*w + 3, x - 4*w = -2*x + 17. Suppose -2*l + 1 = -x. Solve -p - l*p = 12 for p.
-4
Let m be (-3)/9 + 5/(-3). Let u = 2 + m. Solve -l - 5 = -u*l for l.
-5
Let v(c) = -c**3 - 8*c**2 - 6*c + 8. Let z be v(-7). Solve 2*a + z = -3 for a.
-2
Suppose 45*h = 47*h - 6. Solve h*o + 9 + 6 = 0 for o.
-5
Let c be (-2)/7 - (-74)/14. Suppose 2*q = -c + 17. Suppose 2*j = 0, -4*i - 2 = -j - q. Solve -2 = -n - i for n.
1
Let z be 2*(-2 + (-2 - -3)) + 10. Solve z*w - 6 = 10*w for w.
-3
Suppose -3*u + 63 = 4*n, -4*n - 6 = 4*u - 90. Suppose 6*k - 3*k + u = 0. Let g = -3 - k. Solve 5*s + 6 = -g for s.
-2
Let y(f) = -f**2 - 5*f + 5. Let h be y(-6). Let r(c) = -5*c**3 + c**2 + 2*c + 1. Let j be r(h). Solve 4*t - 2 = j*t for t.
-2
Let u = 39 - 14. Solve -11*q = -6*q - u for q.
5
Suppose 0 = -3*t + 8*t - n - 7, t - 2*n + 4 = 0. Let y = -15 - -21. Suppose u = 3*u - y. Solve t*x = -u + 1 for x.
-1
Let z = -12 - -16. Solve z = -4*t - 0 for t.
-1
Let n be 4 + -6 + 2*3. Let s(z) = z**2 - 6*z + 8. Let b(p) = p**2 - 5*p + 7. Let g(u) = 5*b(u) - 6*s(u). Let t be g(9). Solve -9 + n = t*j for j.
-1
Let b(v) = v + 13. Suppose 2*q + 42 = -y - 3*y, 5*q = 4*y + 77. Let c be b(y). Solve c = -2*w + 1 + 3 for w.
2
Suppose 15 = 3*y + 5*l - 2*l, -4*l + 20 = 0. Suppose -3*n + 30 = n + 5*k, 4 = 2*k. Solve y*b = n*b - 15 for b.
3
Suppose 3*p - 4 = 11. Solve -p*k + 4 = -1 for k.
1
Let w be 1/(-1) + (9 - 4). Let s be 13/2 - w/8. Solve 5*r - 2*r - s = 0 for r.
2
Let o(c) = -2*c + 2. Let z be o(-2). Let i = -4 + z. Solve 0 = i*j - j for j.
0
Let a(w) = -5*w - 3 + 2*w - 2*w**2 - 5*w. Let r be a(-5). Let h = 18 + r. Solve -h*m + 2 + 23 = 0 for m.
5
Suppose 2*h - 12 = 4*r, 2*r + 12 = h - 2*r. Suppose -l - 5*i - 25 = h, 0 = 3*i + 7 - 1. Let p be (-5)/(-2)*(-12)/l. Solve -u + p = u for u.
1
Let f = -24 + 17. Let r = f + 9. Let n = r + 1. Solve -2*t - 15 = n*t for t.
-3
Let s(i) = i + 7. Let t be s(-5). Let c = -5 - -7. Solve c*a + t*a = 0 for a.
0
Let k be -1*3/((-6)/(-22)). Let z be 2/(-4) + k/(-2). Solve v - 6*v - z = 0 for v.
-1
Suppose 0 = -4*l + 4*w + 31 - 3, w - 20 = -2*l. Let i(u) = -u**2 + 10*u - 6. Let b be i(l). Solve 7*n + 12 = b*n for n.
-3
Let j(h) = -5*h - 2 + 12 + h + 3*h. Let i be j(5). Solve i*p = 2*p - 12 for p.
-4
Let b(g) be the third derivative of -g**6/120 - g**5/20 + g**4/6 + g**3 + 2*g**2. Let t be b(-4). Solve -4*q + t + 2 = 0 for q.
2
Let p = 5 + -3. Suppose -130*l = -132*l + 6. Solve p*t - 1 - l = 0 for t.
2
Let h = 10 - 8. Let q(n) = -n**2 + 3*n + n**2 + 0 - n**2 + 5. Let w be q(4). Solve u = -h - w for u.
-3
Let q = -1 - -5. Suppose -8*b + 5*b = -240. Let n be 30/25*b/6. Solve 0 = q*t - 4 - n for t.
5
Let i be (-3 - 20/(-5))*8. Solve 0*c = -2*c - i for c.
-4
Let g(n) = n**3 - 2*n**2 - n - 4. Let c be g(3). Let a(r) = -6*r - 2 + r - r**c - 2*r. Let u be a(-3). Solve -2*v - u = -0*v for v.
-5
Suppose 2*w + 5*k = 21 + 13, 0 = -5*w + 3*k + 23. Let r = w + -4. Let n be 1/(-2)*(0 + 0). Solve n = a - 4*a + r for a.
1
Let a be (56/(-10))/((-12)/30). Solve -11 - a = 5*x for x.
-5
Suppose -3*o - v - 1 = 0, -2*o + 3*v - 5*v - 2 = 0. Let i = 9 + -6. Suppose -i = -k - 2*k. Solve o = 2*g + 11 - k for g.
-5
Suppose -2*x = -2 - 4. Suppose n - 3*j - 2 = 2, -x*n = -2*j - 47. Suppose 4*g + 21 + n = 5*u, -4*u = -g - 21. Solve b - u = 5*b for b.
-1
Let d = -7 + 17. Suppose s = 4*q + d, 4*q + 0 = -2*s - 16. Let z be 1 - s/(6/(-3)). Solve -2*j + 7*j = z for j.
0
Let b(c) = -c**2 - 2*c + 6. Let j be b(-3). Suppose -5*n + 4*n + 4 = 0. Suppose -3*k - 3*i + 2 + n = 0, -i = -k + 8. Solve j + 2 = -k*t for t.
-1
Let z(l) = l**2 - l - 2. Let r be z(2). Suppose r = -2*a, 3*m + 5*a = 2*m - 3. Let c be 3 + (m - -4)*0. Solve -20 = -2*o - c*o for o.
4
Let x(f) = -f + 13. Let j be x(11). Let w = 4 - j. Solve -7*s = -w*s + 15 for s.
-3
Suppose -3*k = 4*m - 5, 0 = m + 5*k + 6 - 3. Let g(i) = 4*i**2 - 2*i + 1. Suppose 2*b + 0 - 2 = 0. Let y be g(b). Solve m*v = -v + y for v.
1
Let r = -16 - -7. Let y = -5 - r. Solve -4*a + y - 12 = 0 for a.
-2
Let i be 8/(-52) - 84/(-39). Suppose -2*w + 6 = -i. Suppose 12 = -w*g - 4*r, -2*r + 3 = 11. Solve 4*k + 15 + g = 0 for k.
-4
Suppose 0 = 2*a - 6, 2*a + 4 = -5*g - 10. Let i be 15/2*g/3. Let n be ((-4)/10)/(2/i). Solve 16 = -2*k - n*k for k.
-4
Suppose 0 = 2*m - 3*m + 3. Solve m*y + y + 12 = 0 for y.
-3
Suppose -2*p + p + 5 = 0. Solve 0*q - p = -q for q.
5
Let o = 30 + -25. Solve -o = 2*k - 1 for k.
-2
Suppose -5 = 3*d - 2*a - 1, 4*d = 5*a - 10. Let j(q) = -q**2 + 5*q + 6. Let m be j(7). Let h be (-3 + 0)/6*m. Solve d = 2*x + 6 + h for x.
-5
Let s(u) = u**2 + 2*u - 2. Let z be s(2). Solve -z*r = -2*r - 12 for r.
3
Suppose -x = -5*l + 4, -l - 15 = -4*x + 7. Solve -i - 3 = -x for i.
3
Suppose 20*n = 72 + 8. Let v(z) = 5*z - 5. Let h be v(6). Solve -n*c = h - 9 for c.
-4
Let z be (-1 + (0 - -69))/2. Suppose 26 + z = -5*s. Let x be s/(-7) + 2/7. Solve -7 = x*k + 3 for k.
-5
Let d be 0*((-20)/8 + 2). Solve d = -w - 0*w + 2 for w.
2
Suppose 0 = -3*s + 4*s. Solve -4*v + 2 + 10 = s for v.
3
Suppose 3*n + 36 = 3*g, 0 = -n - 3*n + 3*g - 47. Let m(i) = -i**3 - 10*i**2 + 12*i + 12. Let b be m(n). Solve -b = 2*z - z for z.
-1
Let r(i) = -i + 25. Let y be r(0). Let x = 37 - y. Let s be (-5 + 4)/((-3)/x). Solve 3*f - 4*f - s = 0 for f.
-4
Suppose -2*j - 3*h = -20, -4 = h - 2*h. Solve 3*g - g + j = 0 for g.
-2
Suppose 3*r + 3 = 0, -30 = 4*n + 5*r - 13. Let x be ((-6)/2 - n)/2. Suppose x = 2*p - 6*p + 44. Solve 4*s = 1 + p for s.
3
Let d be (-12)/(-7) + 6/21. Solve -3*t = 5 - d for t.
-1
Let u be (-1 - (0 + -2)) + 5. Let w = u - 4. Suppose -2*t = w*c + 4, 0 = 5*c + 26 - 1. Solve 2*z + 3 + t = 0 for z.
-3
Suppose 5*f + 98 = -4*l + 19, 2*l + 37 = -5*f. Let q = l - -3. Let y be (-8)/(-3) + 12/q. Solve 0 = 2*a - 4 + y for a.
1
Suppose 0 = 5*u + 20, 5*t - 5*u + 2 = 67. Suppose -t + 1 = -4*c. Solve 0 = 2*b + c*b + 8 for b.
-2
Suppose 0 = -b + 11 - 8. Solve b = -n + 4 for n.
1
Suppose h - 1 - 1 = 0. Solve h = 2*u - 2 for u.
2
Suppose -2*n = 2*n - 4. Let y = 2 + n. Solve 5*s - y = -8 for s.
-1
Let i = -76 - -78. Solve -13 + 17 = i*a for a.
2
Let z be 6/(-21) - 9/(-7). Solve -z + 5 = 2*y for y.
2
Suppose 2*d - 26 = 18. Let n = 7 + -5. Let o be (-8)/(-6)*3/n. Solve -4*f + o = d for f.
-5
Let y = -21 + 34. Suppose -y = -3*d - 40. Let p = -1 - d. Solve u + u = p for u.
4
Let w = 10 - 0. Suppose -4*n = -w*n + 24. Solve 2*v + 0*v + n = 0 for v.
-2
Suppose -3 = -3*i + 3. Solve -i*l = -l + 4 for l.
-4
Let u be 12*(1/3)/