e -4*m = -8 - 0. Solve m*a = a - i for a.
-3
Let d(s) = s**2 + s + 3. Let c be d(0). Suppose -j + c*j = 16. Let g be (1/3)/(j/144). Solve x - g*x + 5 = 0 for x.
1
Suppose -143*q + 139*q + 32 = 0. Solve q = -3*a - 1 for a.
-3
Let j(a) = a**3 + 8*a**2 + 3. Let c be j(-8). Suppose 3*n = -2*h + 23, 0*n - 2*n - 2 = -c*h. Solve -n*q = 25 - 5 for q.
-4
Let c be ((-3)/(-1))/(2/(-4)). Let y be ((-2)/(-3))/((-4)/c). Let d be 5/5 + 0 + -1. Solve -5*k + 11 - y = d for k.
2
Let n(t) = -t**3 + 9*t**2 - 8*t + 3. Let f be n(8). Solve 3 = 2*z - f for z.
3
Suppose 5*s - c + 16 = 3*c, 0 = -2*s + 3*c - 12. Solve 0 = -s*g - 4*g - 16 for g.
-4
Let w(o) = 2*o. Let d be w(2). Let f(t) = 15*t**3 - t**2 - t - 1. Let l be f(-1). Let j be d/(-6) - l/6. Solve 3*h - 25 = -j*h for h.
5
Suppose 9 = 2*v + 3. Let a = v - 0. Solve 9 + a = 4*x for x.
3
Suppose -3*u = h - 9, 0 = 3*u + 5*h - 1 - 20. Suppose -d = -u*d + q + 6, -2*d = -4*q - 10. Suppose -d + 24 = z. Solve -z = -3*v - 5 for v.
4
Let b be 4/(-18) - (-125)/(-45). Let y = 1 - b. Solve 0 = 4*s - y for s.
1
Suppose 18*f = 10*f + 24. Solve 4*j - f = 7*j for j.
-1
Let a be (-85)/(-20) - 6/(-8). Solve -12 = -a*t + 2*t for t.
4
Let k(y) = 4*y - 6. Let j(q) = 11*q - 17. Let o(p) = 3*j(p) - 8*k(p). Suppose 0 = 4*n + 7 - 23. Let s be o(n). Solve -4*h - s + 13 = 0 for h.
3
Suppose 0 = l + 5, -l = -2*s + 8 + 1. Solve s*j = -2*j for j.
0
Suppose 30 = 2*o + o. Suppose h = -3*m - 2*m + 106, -4*m + h = -92. Let b be o/(-15) - m/(-6). Solve 1 + b = q for q.
4
Suppose 7*b - 2*b - 10 = -z, b - 5*z - 2 = 0. Suppose -b*p + 9 = -5. Suppose -w = -1 - 2. Solve -p*t = -w*t + 12 for t.
-3
Suppose 0 = -c + 3*b - 13, -6*c - 2*b = -2*c - 4. Let j be (0 - c)/((-2)/(-14)). Suppose -4*n + 3 + j = 5*v, -3*v = 6. Solve -n*i - 12 = -i for i.
-3
Let n = -7 - -7. Suppose -3*a - v + 13 = 2, -2*a + 2 = 2*v. Solve a = -n*i + 5*i for i.
1
Suppose 2*q + 2*g - 18 = 0, -4*g = -5*q + 9 + 9. Solve q = -3*n + n for n.
-3
Suppose -3*x - 5*c = -10 - 2, -5*c + 10 = 5*x. Let s be ((-15)/(-12))/(x/(-4)). Let v be 0/(-2)*(-4)/12. Solve 0 = -v*p + p + s for p.
-5
Let z(a) = a + 12. Let h be z(-9). Solve h + 3 = -2*q for q.
-3
Let k be ((-42)/(-12))/((-2)/(-4)). Solve -k*d = -3*d for d.
0
Suppose 6*b + 3 - 21 = 0. Solve b*t + 2*t = 0 for t.
0
Suppose 2*v = -4*m - 24, 6*v + 4*m + 28 = 3*v. Let q be 1/(-2)*-2*1. Let c be (-2)/v*16/q. Solve c = a + 3 for a.
5
Let o = 7 + -9. Let t = o - -28. Let u = -1 + t. Solve 0 = -4*w - 5 + u for w.
5
Suppose 4*o + 26 = 3*j - j, -o - 14 = -3*j. Solve 5*z = j*z for z.
0
Suppose 9*p - 15 = 2*h + 4*p, -h + 4*p - 12 = 0. Suppose h = -b - 2, 3*u - 5*b + 2 = 12. Solve u*f = f - 2 for f.
2
Let k(b) = 6*b**3 - 26*b**2 + 20*b + 21. Let p(f) = -f**3 + 5*f**2 - 4*f - 4. Let m(v) = 2*k(v) + 11*p(v). Let c be m(-3). Solve 7*d = 2*d + c for d.
2
Let a(u) = -5*u**3 + u - 2. Let c(h) = -3*h**3 + h - 1. Let g(w) = 5*a(w) - 8*c(w). Let i be g(-1). Solve 0 = -3*v + 8 - i for v.
2
Let j(y) = 6*y - 3*y - 4*y - 4 + 0*y. Let n be j(-4). Solve -4 = -n*i + 2*i for i.
-2
Let w(f) = f**2 + 4*f + 8. Let t be w(-6). Solve 0*v = -4*v - t for v.
-5
Let s(w) = -2*w - 9. Let v be s(-7). Suppose 2*f - v*f = -15. Solve 1 = f*t + 11 for t.
-2
Suppose 2*p - 6 = -2. Suppose -p = 2*t - 12. Solve 0 = -3*o + 4*o - t for o.
5
Let u be 0*3/(-4 + 1). Suppose u = -0*s - s + 2. Solve s*g - 16 = -2*g for g.
4
Let z = 65 + -62. Suppose 0 = -5*p + 15, 4*p - 12 = -2*j + 5*j. Let i be j + -1 - 1 - -15. Solve z = -4*u - i for u.
-4
Suppose 13 = 4*w - 7. Solve 0 = -2*f - w + 3 for f.
-1
Let g be -3 - (-2)/(-4)*(0 + -72). Solve 0 = -5*b + g - 8 for b.
5
Let d(h) = -12*h**2 + 1. Let n be d(-1). Let x be ((-2)/(-7))/(n/(-77)). Solve 7 + 3 = -x*k for k.
-5
Let a be 3/(-2)*2/(-3). Let x be 2 - 1 - (a - 4). Solve -10 = -x*l + 2 for l.
3
Suppose -3 - 1 = -4*z. Let c = -11 - -18. Suppose 3*r + 8 = c*r. Solve -z + 5 = -r*o for o.
-2
Let j = -4 - -7. Let b(u) = -7*u**3 + 8*u**j + u**2 + 3*u**2 - 4 + u. Let z be b(-3). Solve z*t + 2 = 6 for t.
2
Suppose 0 = -2*i - 2*k, i - 2 = -3*k + 2. Let x be i*(-3)/2*1. Solve -x*g + 6*g = -3 for g.
-1
Let f(j) = -j**3 + 16*j**2 + 3*j - 23. Let n be f(16). Solve 3*x + 2*x + n = 0 for x.
-5
Let y be ((-1)/(-2))/(7/126). Let a be -7 - 1/((-1)/2). Let c = y + a. Solve -c*b - 5 = -1 for b.
-1
Let b(i) = -i**3 - 2*i**2 - 2*i - 4. Suppose -j = -5*j - 12. Let f be b(j). Solve -4*w = -f - 1 for w.
3
Let h(m) = -m**3 - 9*m**2 - 9*m - 2. Let n be -7 - (0/(-4) - -1). Let q be h(n). Solve 5*d - 2*d + q = 0 for d.
-2
Let w = 27 + -19. Solve 0 = -3*z - w + 2 for z.
-2
Let f(x) = -1 - 10*x + 0*x**2 + 3*x + x**2 + 11. Let a be f(7). Let o = a - 4. Solve k + 10 = o*k for k.
2
Let o = 30 - 25. Suppose 0 = 2*p + y + 3*y + 12, -15 = 4*p + o*y. Solve p*l = -l - 1 for l.
-1
Suppose 0 = -2*o - 2*o. Let v = o - -8. Suppose -25 = 3*y - v*y. Solve -y*t + 4 + 1 = 0 for t.
1
Let s = -3 - -6. Let a = 137 + -132. Let q(o) = -o + 1. Let l be q(-3). Solve s = l*v - a for v.
2
Let g be (-8)/(-6)*(-18)/(-4). Suppose -g*u + 2*u = 0. Suppose -h = -2*v + 24, 3*v + 0*h + h = 36. Solve u = f - 4*f - v for f.
-4
Let z be -2 - -5 - (0 - -10). Let q = z + 3. Let g be 0 + -1 + q/(-1). Solve -8 = b - g*b for b.
4
Let v(t) = t**2 - 7*t + 12. Let y be v(5). Solve 4*f = y*f - 8 for f.
-4
Let v = -3 - -7. Solve v + 0 = -4*m for m.
-1
Suppose 0 = -3*h + 4*z + 66, -3*h - z + 38 + 13 = 0. Solve 5*a = -7 - h for a.
-5
Let y be 1 + -1 + 3 - -3. Suppose z + 10 = y*z - 5*o, 2*o + 5 = 3*z. Solve z = r - 2*r for r.
-1
Suppose -2*b = s + 2*b + 7, 0 = -b - 3. Solve s*d + 1 = 16 for d.
3
Let x = -23 - -17. Let o = 8 + x. Solve -9 + 3 = -o*h for h.
3
Suppose 0 = 2*r + 3 - 7. Solve 0 + r = l for l.
2
Let h(r) = -r**2 + 3*r + 4. Let o be h(4). Solve o = 2*b + 4 - 6 for b.
1
Suppose 5*o + r = -4*r + 120, 1 = -r. Solve o + 0 = 5*t for t.
5
Suppose -k - 9 = -2*t - t, 4*k + 8 = 5*t. Solve c + t = -0*c for c.
-4
Suppose -6*n = -3*n - 3. Suppose n = 2*b - 3. Suppose -1 = -2*x + 2*d - 3, -d = b*x - 13. Solve -x*z = -5*z - 4 for z.
-4
Suppose 240 = 2*r + 10*r. Solve -k + r = 3*k for k.
5
Let i(a) = 7*a + 17*a**2 - 12*a**2 + 3*a**3 - 4*a**3 - 3. Let g be i(6). Solve -2*k + k + g = 0 for k.
3
Suppose w - 5*i = -7, -2*i + 5*i = 2*w. Suppose d + w*d = 20. Let c(b) = b**2 - 3*b - 7. Let m be c(d). Solve m + 2 = -j for j.
-5
Let p(s) = 3*s - 21. Let c be p(7). Solve c = d + 8 - 3 for d.
-5
Let f(h) = 2*h - 1. Let q be f(2). Let u be q + 0 + 0 + -2. Solve 0 = 2*k - 3 + u for k.
1
Let x(a) = 2*a**2 + 6*a + 4. Let d be x(-4). Suppose -3*l + v - 2*v + 9 = 0, 3*l - v = 15. Solve d = -l*c + 4 for c.
-2
Let p(o) = o**2 + o + 2. Let j be (-3)/9 + 10/3. Let b be -6 + j + 3*1. Let s be p(b). Solve 3*g = -s*g - 10 for g.
-2
Let d(x) = -x**2 + 10*x + 11. Let w = -8 + 10. Suppose 0 = 3*i + w*i - 55. Let j be d(i). Solve j = 2*n + n + 9 for n.
-3
Let t(f) = f**3 - f**2 + 5*f - 9. Let g be t(2). Solve -g*l - 5 = -25 for l.
4
Let l(m) = -4*m**2 + 0 + 2*m**2 - 1 + 6*m**2. Let a be l(-1). Solve -a*d - 2*d = -15 for d.
3
Let p be (-36)/(-15)*10/4. Solve p = 4*d - d for d.
2
Suppose -h = -3*d - 4, -6 = -h + 2*d - d. Let o(z) = 2 - 8*z + 4 + h*z. Let t be o(5). Solve t = -4*p - 7 for p.
-2
Let g(t) = t. Let p(s) = -6*s - 1. Let u(y) = -5*g(y) - p(y). Let c be u(-1). Solve c = -4*i + 2 - 10 for i.
-2
Let p(q) = q + 5. Let z be p(0). Suppose 4*t = -5*y + 4, -t - 4 + z = 5*y. Let w = 1 + t. Solve w*c = c for c.
0
Let h(i) = -i - 3. Let y(s) = -6*s - 2. Let c be y(-3). Suppose 0 = q + q - l + 8, -4*q - c = 3*l. Let v be h(q). Solve b - v = -0*b for b.
1
Let b = -81 + 114. Let j = b - 13. Solve -4*p - j = p for p.
-4
Let m be 2*((-3)/(-6)*-6)/(-3). Solve -m*w = -3*w + 4 for w.
4
Suppose -3*m + 5 = -5*b, -4*b = b - 5*m + 15. Solve -b*v = -0 - 10 for v.
5
Let p = 1 + 2. Suppose -p*i + 31 = -x + 6, -2*x - 41 = -5*i. Suppose -2 + 5 = y - 4*o, 0 = -3*y - 5*o + i. Solve -y = 5*b - 13 for b.
2
Suppose 4 + 1 = -5*z. Let u = 2 - z. Suppose 5*y - u = 7. Solve y*p + 1 = 5 for p.
2
Suppose -3*w + 35 = 4*w. Solve -2 = w*k + 8 for k.
-2
Let t(p) be the first derivative of -p**4/4 + p**2/2 + 2. Let u be t(0). Solve u = -6*i + i for i.
0
Let o be 10/(-20) + 9/2. Suppose -3*j - 4 = 2*v, 2*v = -j + o - 0. Solve 0 = -5*h + v*h - 2 for h.
-2
Suppose -5*g + 4*g - 4 = 0. Let h = 6 +