e 8*s - 3*s + p = q for s.
-2
Let q(a) = 2 - 4 + 13 - a + a**2. Let m be q(0). Solve 1 = 4*w - m for w.
3
Let f be (60/9)/(8/12). Solve 3*q + f = -2 for q.
-4
Let a(y) = -y**2 - 4*y + 48. Let u be a(-9). Solve -2*d + u = -d for d.
3
Suppose -3*a - 3*t + 12 = -0*a, 3*t = 3*a - 6. Solve 9 = -3*k + a for k.
-2
Let c(o) = -o**2 + 4*o - 2. Suppose 0 = -4*u - 2*s + 3*s + 11, -s + 1 = 0. Let i be c(u). Solve -y = 2 + i for y.
-3
Let i = -15 - -14. Let x = i - -9. Solve x = 6*t - 4*t for t.
4
Let a be 85/20 + (-3)/12. Solve -3*d = 1 - a for d.
1
Let n = 18 - 9. Suppose 2*r + 5*y + n - 39 = 0, -5*r + y + 102 = 0. Solve r = -5*o - 0 for o.
-4
Let n = 4 - -1. Suppose n*p = 3*w + 23, -15 = -3*p + 2*w + w. Let t be (0 - 0)/(-2) + 2. Solve 18 = p*g + t for g.
4
Let n(y) = y + 6. Let k = -15 + 15. Let w be n(k). Solve w = -4*g - 6 for g.
-3
Let c(i) be the third derivative of i**6/120 - i**5/12 + i**4/6 + i**3/3 + 4*i**2. Let x be c(4). Solve -x*u - 5 + 13 = 0 for u.
4
Let a(k) = k**3 + 2*k**2 - 7*k + 1. Let l be a(2). Solve 3*s = -0*s + l for s.
1
Let k(j) = j**3 + j**2 + 36. Let a be k(0). Suppose -12 + a = 4*g. Solve 3*f - g*f = -12 for f.
4
Suppose -12 = -2*j - 2*k, -k + 2 = -0. Suppose -j*o = 2*d + 2*d, o = -5*d. Solve 0 = 3*a + 12 - d for a.
-4
Suppose -3*i + m + 28 = -0*m, -30 = -3*i + 3*m. Solve 2*x - 1 = i for x.
5
Let l(j) = -2*j - 8. Let d be l(-9). Let n be (-2)/((-10)/(-4) + -3). Solve d = n*w + w for w.
2
Suppose -i + 30 = 27. Solve -p - i*p + 12 = 0 for p.
3
Let t be 15/5 - (-3 - -2). Suppose -t*k = -3*k. Solve 2*y + y = k for y.
0
Let k(c) = -6 + 7*c - 5*c + 5*c - c**2. Let f(d) = d**3 + 7*d**2 - 8*d + 4. Let g be f(-8). Let r be k(g). Solve 3*y - r = -0*y for y.
2
Let f(y) = 3*y**2 + 1. Let t = -5 - -4. Let p be f(t). Solve -5 + 1 = p*q for q.
-1
Let h(u) = 2*u - 7. Let b be h(5). Suppose l + 3*n - 3 = 0, -3*l + 4*n = b*n - 19. Suppose -z = 3*z - 8. Solve z*y = l*y for y.
0
Let y(k) = -k**3 - 2*k**2 + 5*k - 1. Let w = 7 + -11. Let p be y(w). Solve 0 = -5*b + p + 14 for b.
5
Let k(y) = y**2 - 14*y. Let g be k(13). Let j = -9 - g. Suppose 28 = j*q - 52. Solve -p + q = -6*p for p.
-4
Let i = 19 - 19. Solve -h + i*h = 0 for h.
0
Let x = 3 + -6. Let z = 1 - x. Suppose 0*j = z*j. Solve j = -4*p - 2 + 22 for p.
5
Let l be (-1)/(-4) + (-69)/(-12). Solve k + l = -k for k.
-3
Let o(c) = 2*c - 6. Let h be o(4). Suppose h*t = 1 + 29. Solve 2*m = 5*m - t for m.
5
Suppose 0 = 2*p + p - 3. Solve -p = -l - 5 for l.
-4
Let v(r) = 8*r**2 - r - 1. Let l be v(-1). Let f be 7/5 - 2/5. Let d = f + 1. Solve 0 = -d*i + 6*i - l for i.
2
Let v = 18 - 11. Suppose 1 = -3*c + v. Suppose -c*j + 21 = j. Solve 2*m = j*m for m.
0
Suppose -o = -0*f - 2*f - 3, -o + 3*f + 5 = 0. Let n be o + (0 - -1) + 0. Let a be (-9)/(n - 3)*1. Solve 0*t = -a*t - 6 for t.
-2
Let r be 4*(-3)/(-8)*-2. Let j be (3 + r)*(-4)/(-8). Solve j*l = -2*l for l.
0
Suppose -4*f + 4*h - 8*h = 4, f = -3*h - 3. Suppose f*c = -2*c. Solve -5*v = -c*v - 25 for v.
5
Suppose -2*c + 36 = c. Solve 3*a = 7*a + c for a.
-3
Let o = 98 + -39. Suppose -5*s + o = 4*m, -3*s + 3*m + 33 = 3. Solve -4 - s = 5*y for y.
-3
Let m(s) = 5*s. Let c be m(-1). Let r = c - -10. Solve -3*b + 2 = -r*b for b.
-1
Let o = 16 + -12. Solve q = -q + o for q.
2
Let r be 6 + -3 + -2*2. Let q be (-2 - r)/((-2)/6). Solve -9 - 6 = q*t for t.
-5
Let c(o) = o**3 + 4*o**2 + 3*o. Let k be c(-2). Solve 0 = -b - k*b - 9 for b.
-3
Let s(f) = 3*f**3 + 12*f**2 + 9*f + 15. Let a(v) = -13*v**3 - 49*v**2 - 35*v - 61. Let z(y) = -2*a(y) - 9*s(y). Let g be z(-9). Solve g = -4*b - b for b.
-1
Suppose 5*w - 8*w = -6. Solve -1 = w*t - 5 for t.
2
Let i(s) = -5*s. Let q be i(-1). Solve -q*l + 5 - 25 = 0 for l.
-4
Let a be 8/(-12) - (-4)/(-3). Let w = a + 3. Solve w = 4*r + 9 for r.
-2
Suppose 36 = 7*m - 3*m. Suppose m = 4*o + 33. Let n = o + 9. Solve -n*c - 8 = -c for c.
-4
Suppose -4*l + 3*o + 8 = -2*o, -5*o = -l + 2. Suppose 4*h + 31 = 5*j, -j + l*h + 1 = -10. Solve 0 = -0*a - j*a + 9 for a.
3
Let z(m) = m**2 - 24*m + 24*m - 1. Let i be z(-2). Solve -i*x + 22 - 7 = 0 for x.
5
Suppose -5*o + 7 = 2*t - 2, -t + 3*o - 1 = 0. Solve 0 = -x - t*x - 12 for x.
-4
Let q(z) = -z**3 + 3*z**2 + 14*z - 12. Let p be q(5). Solve -2*h - p = -0 for h.
-4
Let p(k) = k + 4. Let t be p(-4). Suppose 4 = 2*n - t. Solve -u = -n*u for u.
0
Suppose -3*n + 5*n = -34. Let b = 20 + n. Solve 0*m = b*m - 6 for m.
2
Let c be 5 - 2 - 3/1. Suppose c*i = -2*i. Solve -2*h + 7*h = i for h.
0
Suppose 12*v = 8*v + 32. Let m be (-46)/(-12) - v/(-48). Solve 5*n - 6 = m for n.
2
Suppose 4*m - 20 = -2*x, -3*m + 4*x + 28 = -x. Let b = 8 + -2. Let k = b - m. Solve k = 2*n - 4*n for n.
0
Let z be (-33 + 3)*(-4)/10. Let r = 15 - z. Solve -r = b - 1 for b.
-2
Let x be (-197)/13 + 10/65. Let c = -9 - x. Solve c = -4*l + 2 for l.
-1
Suppose 0 = -2*w - 31 + 53. Solve 36 = -5*t + w for t.
-5
Let j = 13 - 4. Let z be (-15)/j*18/(-6). Solve -4*a - 7 = z for a.
-3
Let y(l) = -l**3 - 9*l**2 + l + 10. Let a be y(-9). Solve -a = -0*g - g for g.
1
Let i(l) = -l**3 - 13*l**2 - l - 10. Let g be i(-13). Solve 5*u - 7 = g for u.
2
Suppose -w = -4*y + 12 - 38, w = 5*y + 31. Let k be (-2)/w + 15/(-9). Let c(m) = m**2 - 2*m - 3. Let i be c(k). Solve 0 = -0*t - 5*t + i for t.
1
Suppose -p - 15 = -6*p. Let d = 187 + -181. Solve 3*a = -d + p for a.
-1
Suppose 0 = 3*o + 2*k + 23 - 0, 0 = o - 5*k + 19. Let n be 2/o - 228/(-54). Solve 2*v = 3*v + n for v.
-4
Suppose 3*k + 20 = -13. Let g = k + 14. Solve -g*u + 8 = u for u.
2
Let o(f) = -f**2 + 8*f - 6. Suppose 3*g - 5 = 7. Let h be o(g). Solve -2*p - 2 = -h for p.
4
Let j(y) = -2*y - 26. Let v be j(-14). Solve v*a - 3*a + 3 = 0 for a.
3
Let c = 0 + 1. Solve 0*q = q + c for q.
-1
Let j be 2/5 + 294/15. Solve -6*c = -2*c + j for c.
-5
Let p be 6/(-12)*(0 + -8). Suppose -3*w - 3 = 0, 3*r + 3*w = -0 + 9. Solve p = -0*t - r*t for t.
-1
Suppose 5*l = 4*l. Suppose 3*o + 4 - 16 = l. Solve -w + 5 - o = 0 for w.
1
Suppose b + 2*b + 6 = 0. Let d be 1/6 - b/(-12). Suppose 5*x = x. Solve d = -x*c + 5*c for c.
0
Suppose 0*u = 2*u - 5*k - 57, 3*k - 33 = -3*u. Solve -r = -5*r - u for r.
-4
Let g be 13/(((-15)/6)/(-5)). Suppose -4*j = -2*r - g, 3*j - j - 4*r = 28. Solve 2*l = j*l - 6 for l.
3
Let t(m) = -2*m + 16. Let d be t(6). Solve d = -2*y + y for y.
-4
Suppose -5*d + 5 = 2*a, -4*a - 23 = -3*d + 2*d. Let n(s) = -s**3 + 7*s**2 + 8. Let p be n(7). Solve -z + d*z = -p for z.
-4
Let p(s) = s - 6. Let v be p(6). Suppose 0 = -2*f - 0 + 8. Let z = f + -1. Solve -n + z = -v*n for n.
3
Suppose 3 = -0*w + w. Let u(q) = 1 - 6*q**2 + q**w + 1 - 2 + 6*q. Let h be u(5). Solve 0 = -3*s - 2*s + h for s.
1
Let t be -1 - 3/(-2)*2. Solve t = 2*x + 6 for x.
-2
Let t = -17 + 17. Solve t = 5*f + 5 - 0 for f.
-1
Let l = -1 - -1. Let w be 3 + l + 13 - 3. Solve 0 = -4*r - w + 1 for r.
-3
Let y be 0/(((-2)/(-3))/((-6)/9)). Suppose -v - 25 = 3*v + 5*j, 20 = 3*v - 4*j. Let c be (v/(-1)*1)/1. Solve y = -2*t - c*t for t.
0
Let w = 5 + -2. Suppose w*u = n - 2*u + 20, 5*u = 3*n + 20. Solve -2*i = -n*i for i.
0
Let w be (-3)/(-4)*(-28)/(-3). Solve w + 8 = 3*o for o.
5
Let q(o) = o**3 + 10*o**2 - 11*o + 5. Let c be q(-11). Suppose 35 = c*x + 5*a, 3*x = -2*a + 4*a + 6. Solve x*g + 9 = -7 for g.
-4
Let a(x) = -x**2 - 8*x - 7. Let q be a(-6). Solve q*o = 2*o for o.
0
Let y(v) = v**2 - v - 10. Let j be y(-4). Solve -5*l = -15 - j for l.
5
Let h(s) = -s**2 - 4*s + 2. Let r be h(-4). Suppose 3*b - r*b = -8. Let x(z) = -z - 8. Let m be x(b). Solve -5 = -m*v + 5*v for v.
-1
Suppose -5*j - 65 = -75. Solve -j*o = 5 + 5 for o.
-5
Let i = 6 - 3. Solve -i*m - 4 = -m for m.
-2
Suppose 4*h - 8 = -0*h. Let c be h/6 + (-1)/3. Let l be 4 + 3 + -2 + -2. Solve -l*r + c = 3 for r.
-1
Suppose 2*y = -3*r - 1 - 6, -2*y + 5*r = -33. Let k = y - 4. Solve -2*b + 10 + 0 = k for b.
5
Suppose -10*t + 6*t = -12. Solve t*l + 5 = -7 for l.
-4
Let w be (45/10 + -4)/(2/20). Solve 1 - w = -p for p.
4
Suppose 2*q - 4*l + 3 = 19, l - 40 = -5*q. Solve 0 = -3*d - 7 - q for d.
-5
Let g be (10/(-4))/(-5)*0. Solve 3*z + 18 - 6 = g for z.
-4
Let q = 14 - 10. Suppose -q*i = i - 80. Solve -1 + i = -3*g for g.
-5
Suppose 12 + 75 = 3*k. Let q(l) = l**2 - 8*l + 2. Let v be q(3). Let r = k + v. Solve 4*y = -0*y - r for y.
-4
Let j = -9 + 24. Suppose -2 = 2*d - d. Let c = d