o - 2*l + 79, 0*l + 2*l - 62 = -4*o. Let m = 20 - o. Solve 2*p = m*p for p.
0
Suppose 0 = -2*a - 10, 10 = 5*y - a - a. Let u = 11 - 3. Let j be (5/15)/(1/12). Solve u + y = -j*w for w.
-2
Let o(j) = -5*j + 30. Suppose 2*r + 184 = 196. Let a be o(r). Solve -4*b + 8 + 8 = a for b.
4
Let y = 866 + -836. Solve 0 = 21*o - y + 9 for o.
1
Let o(w) = 35*w - 278. Let j be o(8). Solve -4 = -j*t + 3*t for t.
-4
Let i be (0 + (-1)/(-4))*20. Suppose i*d - 18 = -2*n, 0 = 5*d - 8 - 2. Solve -n*b + 2 + 2 = 0 for b.
1
Suppose g - 3*g + 12 = 0. Let f(v) = -v + 7. Let z be f(g). Solve 4*c + 13 = z for c.
-3
Let k be 2/4 - (-6)/(-12). Suppose j + j = k. Suppose -3*n + 8 + 28 = j. Solve 0 = -0*l - 3*l + n for l.
4
Let y = 5 + 1. Let c = y - 2. Suppose -7*a - 45 = -2*g - 4*a, 5*a + 40 = g. Solve 7*u - c*u = -g for u.
-5
Suppose y - 15 = -3*m, 3*y - 6*m + 5*m = -5. Solve y = -u + 6 - 11 for u.
-5
Let q(i) be the third derivative of i**6/240 - i**5/60 + i**4/24 + i**2. Let a(w) be the second derivative of q(w). Let l be a(2). Solve -k = -l*k + 3 for k.
1
Let x be -1 + -6 + 34 + -5 + -5. Solve 0 = -17*p - 0 - x for p.
-1
Let s(v) = 9*v + 1. Let x be s(1). Let z = x - 7. Solve -z*m + 1 = -2 for m.
1
Suppose -2*r + 9 - 7 = 0. Suppose 5 + r = 2*s. Let m be 1*s/((-12)/(-40)). Solve -z - m = -3*z for z.
5
Let l be 4/14 - 52/(-14). Suppose -2*t = -l*t. Let u be 3 + -10 + (17 - 2). Solve v + u - 3 = t for v.
-5
Let z = 93 - 80. Suppose 0 = 5*n - 7 - z. Solve -8*k - 8 = -n*k for k.
-2
Suppose -3*q + 2*r - 3 = -15, -3*q + 12 = 2*r. Solve -2*p = 6 + q for p.
-5
Let n = -13 - -13. Let b(x) = x - 1. Let v(t) = t**3 - 8*t**2 + 1. Let p(y) = 2*b(y) + v(y). Let i be p(8). Solve n = -4*k + k + i for k.
5
Let l(i) = -2*i**3 - 122*i**2 - i - 59. Let k be l(-61). Solve -k*u + 18 = 26 for u.
-4
Suppose x - 3*m - 39 - 30 = 0, 0 = -4*x - 4*m + 292. Let j = -57 + x. Solve b + j = 6*b for b.
3
Let u(s) = -s**3 + 15*s**2 + 2. Let f be u(15). Suppose -4 = -2*a - k, 0 = a - 5*k + f*k - 9. Solve 0 = 3*c - 4*c + a for c.
3
Let l(b) = b - 3. Let d be l(5). Suppose -d*v - v = -63. Solve -1 + v = -5*o for o.
-4
Suppose 3*i - 19 = -b, -18*i = 3*b - 15*i - 69. Solve 12 = 21*p - b*p for p.
-3
Suppose 0 = m - 0*m + 12. Let u be ((-10)/30)/((-1)/(-51)). Let v = m - u. Solve 0 = v*i + 5 + 10 for i.
-3
Let g be 13/3 - 4/(-6). Let n be 72/15 - 4/g. Suppose 6 = -b + n*b. Solve b = -s + 1 for s.
-1
Suppose 0 = -2*q - 4*d - 12, -2*q + 4*d = -56 + 44. Let l(f) = -f - 2. Let n be l(-4). Solve n*u - u = q for u.
0
Suppose 150 = 17*y + 133. Solve 116*g - 115*g - y = 0 for g.
1
Let l be (21 - -1)*(2 + 2). Let d be 16/l - 390/(-33). Solve 3*u + u = -d for u.
-3
Let g(w) = w**3 - 3*w**2 - w + 3. Let n be g(3). Let a be (1*-4 + (0 - -4))/1. Let k be a + 2/(4/2) + 1. Solve n*s = s + k for s.
-2
Let r = -1657 + 1661. Solve 43*i - r = 41*i for i.
2
Let q(z) = 4*z**3 - 26*z**2 - 11*z - 7. Let x be q(7). Solve -49 + x = 7*k for k.
-5
Suppose -13*p + 246 = 103. Solve -14*x = p*x - 125 for x.
5
Suppose -3*l + 4*l = 0. Let v(z) = 4*z**2 + z + 4. Let f be v(-2). Let c be f + (0 - (l + 3)). Solve -3*r - 2*r = -c for r.
3
Suppose 3*a - 4*c = a + 42, -115 = -5*a + 5*c. Solve 6*o = o - a for o.
-5
Suppose d + 5 = 4*s, -14*d + 17*d + s = 11. Suppose -5*w = -4*u + 15, -5*u - 5*w = -2*w - 28. Solve -d*y + 8*y - u = 0 for y.
1
Suppose 3*j + 28 = c, 3*c + 4*j - 25 = 7. Solve 2*n = -2*n - c for n.
-4
Let c(o) = -29*o - 400. Let s be c(-14). Solve 0 = 6*v + s + 12 for v.
-3
Let t(n) = n. Let z be 23/3 - (-18)/(-27). Let b be t(z). Solve 2 - b = -x for x.
5
Suppose 3*u - 36 = -30. Suppose u*i - 4*s - 20 = 0, 4*s = -0*i + 3*i - 28. Solve 0 = -5*b + b - i for b.
-2
Let a(z) = -3*z - 15. Let i = -5 - 7. Let t be a(i). Let p = -6 + t. Solve -6*v + v + p = 0 for v.
3
Let j = 28 + -23. Let v be j/(-3)*54/(-18). Solve 0 = -4*y + v*y for y.
0
Let p(z) = -3*z - 7. Let k be p(-4). Suppose 0*b + 3*b - 3*s = -24, k*s = -4*b - 14. Let a be ((-4 - b)/(-2))/(-1). Solve 0 - a = l for l.
-1
Suppose 3*i = 4*b - 7*b + 243, -3*i - 255 = -3*b. Let m = -56 + b. Solve -4*q + 7 = m for q.
-5
Suppose -5*s - 7 = 3*q + 53, s + 12 = -4*q. Let r = s + 12. Suppose -x + 1 + 5 = r. Solve x = 4*f - 6 for f.
3
Let y(i) = -27*i + 142. Let p be y(5). Solve 7*v + 0 - p = 0 for v.
1
Let g = 10 - 12. Let j = 2 + g. Suppose j = -o - 0 + 4. Solve -o*p + 7 = 3 for p.
1
Suppose 4*k = -2*h + 25 + 3, -k = 0. Solve -5*w = -h - 11 for w.
5
Suppose 2*z = 4 + 4. Suppose r + 2*w = -1 - 2, -3*w = z*r - 13. Let a be (-25)/(-2) - r/14. Solve 4*q = -0*q - a for q.
-3
Suppose 4*u - 23 = a, 5*u + 3*a + 0*a = 16. Let t = 1 + 13. Solve t + 1 = u*q for q.
3
Let a be (-2 + 1 - (5 + -5)) + 3. Solve -1 = n - a for n.
1
Suppose 4 + 16 = 5*q. Suppose 84 = -q*c - 0*c. Let g = c + 21. Solve -3*j - 4 - 5 = g for j.
-3
Let n = 69 - 28. Let w = -39 + n. Solve -3*g = w*g - 15 for g.
3
Suppose -2*d - t + 5 + 6 = 0, -2*t - 6 = 0. Solve 2*a - 17 = -d for a.
5
Suppose -2*h - 3*y = 7 - 40, 6 = 2*y. Suppose 6*w = -h*w + 72. Solve -w*v = v for v.
0
Let p(c) = c**3 - 2*c**2 - c - 6. Suppose -4*g + 4 = -8. Let j be p(g). Solve -3*h - h = j for h.
0
Suppose 4*l - 2*v - 1248 = 0, 0 = -3*l + 2*v + 226 + 708. Solve -3*y + l = 320 for y.
-2
Suppose 47*q = 43*q + 24. Suppose -3 - q = -9*s. Solve -11 = 4*f + s for f.
-3
Let d be (-18)/(-21)*((-18)/(-4) + -1). Solve 4 = d*v - 2 for v.
2
Suppose 0 = -2*y - v + 48, 5*v + 10 = -2*y + 58. Solve 19*q = y*q - 5 for q.
1
Suppose 0 = 22*j - 13*j - 1629. Let w = j + -181. Let s be (-17)/(-4) + 1/(-4). Solve -m + s = -w for m.
4
Let f(v) = v**3 + 4*v**2 - 4*v + 5. Let i be f(-5). Suppose -3*t + 10 = -8. Let x = t - 3. Solve x*o - 2*o + 5 = i for o.
-5
Let z be (-90)/3 - 3 - -3. Let l be (-36)/(-15)*z/(-9). Solve l = -5*u + u for u.
-2
Let z(t) = -t**3 + 18*t**2 + 36*t + 80. Let m be z(20). Solve -26*q + 22*q - 4 = m for q.
-1
Suppose -8*u = -17*u + 18. Solve 3*x - 8 + u = 0 for x.
2
Let p(l) = 11*l**3 - 4*l**2 - 3*l. Let c be p(-1). Let k be -2 + -20*c/(-16)*-1. Solve 0 = 8*u - k*u + 25 for u.
5
Suppose 4*h - 17 - 3 = 4*y, -25 = -2*h - y. Let n(z) = z + 47. Let x be n(-11). Suppose 0 = -34*q + x*q - 8. Solve -6 = -q*s + h for s.
4
Let i(s) = -s**3 + 3*s - 2. Let a be i(-2). Solve a*f = 3*f - 3 for f.
1
Let i be -5 - ((5 - 18) + 4). Solve 8 = i*b - 8 for b.
4
Let q = 180 + -178. Solve -4 = q*j - 2 for j.
-1
Let q be (-986)/(-16) + (-12)/(-32). Let v = 69 - q. Solve v + 1 = -2*b for b.
-4
Let l be 0*(1 - (1 + -1)). Let d(c) = -4*c - 4. Let s be d(-3). Let g = 10 - s. Solve g = 2*w - l for w.
1
Suppose -4*r = 4*w - 76, -4*w + 66 = 8*r - 9*r. Solve 0 = w*d - 9*d + 24 for d.
-3
Let o(n) = -2*n - 1. Let i be o(4). Let r(b) = -b + 7. Let p be r(i). Let h be ((-72)/p)/(6/(-8)). Solve 0 = -h*k + k + 5 for k.
1
Let f be -1*-2*(22 + 2). Let z = -28 + f. Solve -i - z = -5*i for i.
5
Suppose 14*o = 11*o + 12, 2*a = 4*o - 10. Solve -2*h + a = -5 for h.
4
Suppose 2*l = -l + 6. Let t be (2/3)/(l/(-15)). Let b = -3 - t. Solve -b = -3*c - 5 for c.
-1
Let y = -21 + 21. Suppose -2*f = 5*m + 8, y*m + m + 3 = f. Solve 10 = 3*g + f for g.
3
Suppose 3*x - 21 + 0 = 0. Suppose 4*t = x*t - 12. Solve -c - 5 = t*c for c.
-1
Suppose 8*i - 3*i + 21 = -3*q, 0 = i + q + 3. Let c be (-3)/i*(0 - -6). Solve c*h - h = -8 for h.
-4
Let h = 598 - 590. Solve -7*n = n - h for n.
1
Let w = -35 - -50. Suppose -14*n - 7 = -6*t - 9*n, 4*n + 6 = 5*t. Solve -t*k = k - w for k.
5
Let g be (2 - 10) + (2 - -1). Let o = g + 13. Suppose 7*q = o*q. Solve -r + 4*r - 15 = q for r.
5
Let m = -280 + 284. Solve -7*v = -17 - m for v.
3
Suppose 17*d - 20*d - 13 = 4*i, 4*i + 12 = -4*d. Solve -v - d + 4 = 0 for v.
3
Let g(d) = d**3 - d**2 - 21*d + 36. Let c be g(4). Solve -12*b + 17*b - 25 = c for b.
5
Let y(x) = -2*x - 8. Let l be (-1 - -2)/((-8)/48). Let a be y(l). Let w = -6 + 6. Solve w*k = 2*k - a for k.
2
Suppose 8*m - 34 = 6*m. Suppose -m*a = -13*a - 16. Solve a*c + 4 = -8 for c.
-3
Suppose 112 = 4*c - 2*n, 5*c - 3*n = 74 + 67. Let t = c - 27. Solve -2*b - 3*b = t for b.
0
Let o be 1/4 + (-1071)/(-36). Suppose -9*c + 14*c = o. Let h be (-2)/12 + 1/c. Solve h*m = -5*m + 15 for m.
3
Suppose -77*h - 3*i - 3 = -80*h, 2*h = 4*i + 4. Solve h = -2*u - 9*u + 33 for u.
3
Let s = -215 + 229. Solve -s + 7 = 7*y for y.
-1
Let i = -99 - -112. Su