0 = 60*a - 61*a. Solve 25*x + a = 5*x for x.
-2
Let p(m) = 2*m + 2. Let w be p(3). Suppose -2*l = 2*l - w. Suppose -5*n + 3*c + 18 = 0, -n - 3*c = l*c + 2. Solve 2*q + n = q for q.
-3
Suppose -159*s = -168*s. Solve -u - 6 + 2 = s for u.
-4
Let v(c) = c**2 - 18*c + 54. Let y be v(3). Solve -y*k - 2*k = 0 for k.
0
Let y be (-2)/(-4)*24/4. Suppose -2*b + 4*v = -5*b + 17, b - y*v = -3. Suppose b = 5*u - 7. Solve -a = -3*a + u for a.
1
Suppose 12*c = 7*c - 185. Let z = -37 - c. Solve -2*h + 5*h = z for h.
0
Let h = 19 - 15. Solve -d + 1 = h for d.
-3
Suppose 1 = -6*m + 13. Suppose 2*i - 2*d = m, -5*d + 19 = -i + 4*i. Solve -i*j = 2*j - 20 for j.
4
Suppose 0 = 55*o - 58*o - 12, -4*o = 4*i. Solve 0 = -10*t + 9*t - i for t.
-4
Let k be 19 - (-27)/(-18)*8/6. Solve 0 = 5*f + 2 - k for f.
3
Let l(h) = 3*h**2 + 8*h - 3. Let j be l(4). Let q = -71 + j. Solve 0 = -0*i + 2*i - q for i.
3
Suppose -2*h = -2*u + 2, 6*u - u - 40 = -2*h. Let q(g) = 3*g - 1. Let t be q(1). Suppose -t*w + 20 = u. Solve 2*n - 1 = -w for n.
-3
Suppose -2*f + 36 - 32 = 0. Solve -1 - 1 = f*d for d.
-1
Suppose -3*q + 5*i + 11 = 0, 4*q - 10 = 2*q + 2*i. Suppose -q*l = -15*l + 16. Solve 6 + 0 = l*u for u.
3
Let u be 1/((-20)/(-84)) + 4/5. Solve u*n = 4*n - 1 for n.
-1
Let u(k) = -2*k + 10. Let a be -2*2/(-16)*16. Let j be u(a). Solve 2 = 4*y - j for y.
1
Let k = 2350 + -2342. Solve 2*r + k*r = 2*r for r.
0
Let a(p) = -p**3 - 5*p**2 - 4*p + 2. Let w be a(-4). Suppose 2*v = -w*v - 60. Let n be v + 11 - (-8)/1. Solve n*m = 2*m - 8 for m.
-4
Suppose -5*s + c = -50, -3*s - c + 32 = -2*c. Suppose 10*f - s*f - 2 = 0. Suppose -11 = -3*k + 64. Solve -3*b - f*b + k = 0 for b.
5
Let t be 5/(-15) + (-19)/(-3). Suppose 2*s = t - 2. Suppose -s*r = 2*r - 56. Solve 5*u = r + 11 for u.
5
Let g = 24 + -49. Let a(b) = -b**3 - 26*b**2 - 25*b + 1. Let l be a(g). Solve l = 5*s - 14 for s.
3
Suppose -3 = j - 7, 3*k - 3*j = 3. Let w(l) = 2. Let s(b) = b + 4. Let a(x) = s(x) - 3*w(x). Let h be a(k). Solve h*u = 2*u - 4 for u.
-4
Let d(q) = q - 4. Let o be d(6). Suppose 0 = -o*t - 3*a + 7, -3*a = -2*t - 4*a + 5. Solve -t*u = -3*u + 5 for u.
5
Let d(f) = -f**2 - 2*f + 37. Let v be d(-7). Solve 13 = -v*j + 5 for j.
-4
Suppose -4*i = 5*d - 45, 4*d = 2*i - 7*i + 45. Suppose w = -n, n + 15 = d*n + w. Solve -7*g + 8 = -n*g for g.
4
Suppose -82 = 2*f - 6*f + 2*t, 3*t = 9. Solve f*i + 8 = 18*i for i.
-2
Suppose 0 = -3*f + 3*c + 26 + 13, 0 = c + 4. Solve -4*p + f = -p for p.
3
Suppose -8 = -3*y + 7. Let o be (-6)/(-15)*y*1. Suppose o*q - 5*q + n + 16 = 0, q + n = 0. Solve -q*c = -4 - 0 for c.
1
Let t = -2154 + 2167. Solve 23 = -9*i - t for i.
-4
Let m(y) = 7*y**2 - 2*y - 1. Let b = 28 + -52. Let x = b - -23. Let d be m(x). Solve 0 = 4*u + d - 4 for u.
-1
Suppose m - 3*m = -6. Let a be ((-20)/(-3))/5*m. Suppose a*k = -k. Solve k = u + 4 for u.
-4
Let v be (-4)/(-1) - 4/(-2). Suppose -7*t = -v*t + 6. Let a be t/(-4)*4/6. Solve -d - 4 = -a for d.
-3
Suppose 0 = 2*k - 2*w - 14 - 10, -2*k = 5*w - 17. Suppose -2*h + 5*h - u = 31, 3*u - 33 = -5*h. Let a = k - h. Solve 3 = -y - a for y.
-5
Let q(c) = -c**2 + 15*c + 4. Let l(b) = -14*b**3 + 2*b**2 - b - 2. Let h be l(-1). Let a be q(h). Suppose -i + 2 + a = 0. Solve -14 = 2*y - i for y.
-4
Let v(m) = m**3 - 6*m**2 + 12*m - 29. Let x be v(5). Solve -3*u = -x*u + 6 for u.
2
Let h = 80 - 86. Let n(t) = t**3 + 6*t**2 + 2. Let p be n(h). Solve -p = b + 1 for b.
-3
Suppose -2*i = -0*i - 20. Suppose -2 = -4*w + i. Solve w*u - 2 = 5*u for u.
-1
Let p = 214 + -200. Solve -p*d = -9*d - 15 for d.
3
Suppose f = 3 + 8. Solve 0 = 13*l - f*l + 4 for l.
-2
Suppose 0*c - 3*x - 24 = -2*c, -5*x = 4*c - 48. Let j = c - 12. Solve j = s - 5 + 6 for s.
-1
Suppose 0 = 5*k - 3*s - 34, 18 = -66*k + 67*k + 5*s. Solve -45*h = -41*h - k for h.
2
Let z(i) = 6*i + 4. Let k be z(0). Suppose -44 = -k*u + 5*b, 0*u - 2*u - 4 = 4*b. Solve -t + u*t - 5 = 0 for t.
1
Suppose 18*f - 23*f = -70. Let x be (-2)/4 - (-7)/f. Solve 4*p - 3*p + 1 = x for p.
-1
Let f(p) = -p**3 - 5*p**2 - 4*p + 8. Let a be f(-4). Solve -9*w = -a*w + 3 for w.
-3
Let b = -115 + 120. Solve -1 = 3*o + b for o.
-2
Let b = 93 + -82. Suppose -t - 50 = -b*t. Solve 9 = -t*u - 16 for u.
-5
Suppose -14 = 4*h + 82. Let r = h - -47. Solve -3 + r = -4*s for s.
-5
Suppose 48 = -3*n - 2*o + 68, -5*o = -2*n + 26. Solve -75 = 17*c + n*c for c.
-3
Let w be (-12 + 3)*(-1 - 32/(-36)). Solve -n - 5 = -w for n.
-4
Let j(o) be the third derivative of -o**5/30 - o**4 - 15*o**2. Let y be j(-12). Solve y*f = 5*f for f.
0
Let f be (-10)/(-5)*-2 - (-27)/3. Solve 0 = 6*l - f*l - 2 for l.
2
Let t be (0/(-2))/((-10)/(-10)). Let n(j) = -2*j**3 - 5*j**2 + 18*j. Let m be n(2). Solve t = -a - m*a for a.
0
Suppose -r = 3, -6*h - 3*r = -2*h - 15. Solve -h*a = -9*a - 12 for a.
-4
Let f(u) = -13*u**3 - u**2 + 2*u + 2. Let m(y) = -y**3 - y**2 + 3*y + 1. Let v be m(-2). Let l be f(v). Solve -2*p = p + l for p.
-4
Let z = -17 + 29. Let l = 518 + -513. Suppose -z = -d + l. Solve 2 - d = -3*r for r.
5
Suppose 73*x + 8 = 77*x. Let j(c) = 2*c**3 - c**2 - 5*c + 6. Let m be j(x). Solve -m = -6*q + 2*q for q.
2
Let g(d) = d - 8. Let j be g(7). Suppose 7 = -6*s + 55. Let u = s + j. Solve u*r - 4*r = -12 for r.
-4
Let m = 67 + -29. Let g = m + -13. Let h = -510 - -510. Solve h*c = 5*c - g for c.
5
Let g be -1 + 21 + (-4)/4. Suppose -5*d + 4*d - 3*h + 20 = 0, 4*h - 23 = -d. Suppose 2*o - d = 1. Solve g = 5*v - o for v.
5
Let n(o) = -4*o - 9. Let i(w) = -3*w - 8. Suppose -2*z - 30 = 3*z. Let b(t) = z*i(t) + 5*n(t). Let m be b(-3). Solve -a + 4*a = m for a.
3
Suppose 11*a - 14*a = 0. Solve a = -5*w - w + 3*w for w.
0
Let r(l) = -3*l**2 + 10*l + 16. Let o(h) = -2*h**2 + 5*h + 8. Let g(b) = -5*o(b) + 3*r(b). Let t be g(-3). Let d = 65 - 45. Solve -6*a - d = -t*a for a.
-5
Let v(n) = n**3 + 7*n**2 - 10*n - 14. Let q be v(-8). Let a = 1 + q. Solve m - 2*m = a for m.
-3
Suppose 0 = -0*o + 2*o + 5*p - 13, -4*o - 4*p + 8 = 0. Let z be o/((-6)/(-48)*-2). Solve -z*y - 2 = -6 for y.
1
Let k be 1/((-4)/(-36)) + (3 - 7). Suppose k*j = a + 10, -2*j + 25 = -4*a + 3. Solve 0 = -d - j + 6 for d.
5
Suppose 2*y = a + 10, 0 = -23*y + 19*y + 4*a + 16. Solve 0*h = 3*h + y for h.
-2
Suppose 3*n - 20 = 4*s, 0 = -n - 3*n + s + 44. Let b be -2 + -3 + n - 1. Solve -v - v - b = 0 for v.
-3
Let y = -397 - -397. Solve y = 4*u - 6*u for u.
0
Suppose -n - 62 = -2*y - 0*y, -y + 4*n = -45. Let a = y + -21. Solve 0*b + a = 2*b for b.
4
Let j(i) = i**3 + 10*i**2 - 11*i + 1. Let l be j(-11). Let o be -2 + (l - 3/3). Let s be ((-5)/(-20))/(o/(-136)). Solve -8 = -5*v + s for v.
5
Suppose -259*d = -264*d. Solve d*x + x = 0 for x.
0
Suppose -2*r = -18 + 10. Suppose 3*j + r*i = 8, 5*i + 67 - 7 = 5*j. Solve 0 = -4*d + 4 + j for d.
3
Suppose -a - x = -29 + 6, 23 = a - 4*x. Let s = 28 - a. Solve -s = 4*r + 11 for r.
-4
Let u(r) = -36*r + 531. Let d be u(14). Solve 8*o = 13 + d for o.
5
Let j be (0 - -2) + -73 + 105. Solve -10 = 36*d - j*d for d.
-5
Suppose -8*m = -0 - 568. Let t = 71 - m. Solve t = d - 5*d for d.
0
Let v be (-123)/(-33) + (0 - 42/(-154)). Solve -18*h - v = -20*h for h.
2
Let d be -1*(-5)/30 + (-1)/6. Solve d*o = -2*o + 2 for o.
1
Let h be (9/45)/1*0. Solve h = -21*j + 14*j - 14 for j.
-2
Let a = -11 + 15. Suppose -1 + 27 = -4*s + 2*g, -2*s - 28 = -a*g. Let x be (-3)/(-18)*s*-3. Solve 4*h - 10 = -x for h.
2
Let z(p) = -47*p - 836. Let r be z(-18). Solve 8*h = r*h - 4 for h.
2
Let m(r) = -r - 2*r**2 + 3*r**2 + 2*r - 1 + r**2. Let t be m(1). Solve -b - t = -2*b for b.
2
Suppose 0 = -28*q + 100 + 40. Solve q + 1 = 2*r for r.
3
Let t = 50 - 30. Suppose 0*w + t = 4*w. Suppose q + 16 = w*q. Solve -14 + 2 = -q*p for p.
3
Let h be (-23 - -15)/((-2*1)/8). Suppose h = 10*l - 2*l. Solve -l*i = -21 + 1 for i.
5
Suppose 4*d = -8, -3*s - 26 = -5*s + 2*d. Let m(t) = t - 11. Let i be m(s). Solve j + i = -1 for j.
-1
Let k = 137 + -129. Solve 5*y - k*y = 6 for y.
-2
Suppose 5*p + 28 = 58. Solve 9*c - 51 = -p for c.
5
Let y(o) = -o**2 - 17*o - 12. Let h be y(-16). Suppose w + 4 = 0, 11*g - 37 = 6*g + 3*w. Solve j - g = -h*j for j.
1
Suppose 0*r - 12 = -4*r. Suppose 4*b = r*t - 4, t + b = -4*t - 1. Let j be t + 3 + (0 - -1). Solve -d - j = -2*d for d.
4
Suppose 3*w = -4*m, -m + 12 + 3 = -3*w. Solve -47*q + m = -48*q for q.
-3
Let v(x) = 4*x