 - 15 = -2*c, c - 4*j + q*j = -15. Solve 6*s - s - c = 0 for s.
1
Suppose -2*x = 0, 0*x - 5*x + 4 = 2*j. Solve q + 1 = -j for q.
-3
Let m(s) = -s**3 - s**2 + 6*s. Let o be m(-3). Solve v = -o*v - 3 for v.
-3
Suppose -3*z - 4 = -7. Let v be 2/(3/(39/2)). Solve -4*n + z - v = 0 for n.
-3
Let b(c) = -c**2 + 28*c - 11. Let s be b(27). Solve 0 = -3*f + 7*f + s for f.
-4
Let i(r) be the third derivative of -r**6/120 - r**5/60 + r**3/6 + 5*r**2. Let h be i(-1). Solve -t = -2*t - h for t.
-1
Let u(l) = -l**2 + 3*l + 3. Let o be u(3). Let d be 0/((-2 - 0)/2). Suppose d = -5*x - o + 18. Solve -2*q - x = -q for q.
-3
Let d(v) = -v**2 - 9*v + 3. Let a be d(-9). Suppose 4*s = -a*u - 8, -2 = -4*u - 5*s + 6*s. Let y = 2 - u. Solve 3 = -y*q + 11 for q.
4
Suppose 5*c = 2*u + 2*c - 24, u + 4*c = -10. Suppose 3*n - 15 = -5*o, 0 = 2*o - n - u. Solve -o*h - 5 = 2*h for h.
-1
Let n be (-60)/18*12/(-10). Let a be (-300)/(-78) - n/(-26). Solve -w - a = -0 for w.
-4
Let x = 24 - 19. Suppose k - 30 = -x*w + 5*k, -w = k - 6. Solve w*d + 20 = d for d.
-4
Let t = 17 + -11. Suppose 3*l - t = -0. Solve 1 = 3*y - l for y.
1
Let i be 34/4 + (-9)/(-18). Let y(c) = -3*c**2 + 4*c - 2. Let o be y(2). Let w = i + o. Solve w - 13 = 5*s for s.
-2
Suppose 0*x - 4*x = -16. Let s = x - -2. Suppose 5*n + 0*n = 10. Solve s*r = 4*r + n for r.
1
Let g(b) be the third derivative of b**4/24 + b**3/6 - 3*b**2. Let m be g(3). Solve 4 = -0*y - m*y for y.
-1
Let a(c) = c**3 - c**2 + c - 1. Let h be a(2). Let j(n) = -n**2 + 7*n + 3. Let t be j(h). Let m(o) = -o + 2. Let u be m(-3). Solve -u*b - t = 7 for b.
-4
Let z = -87 - -97. Solve 2*q = -3*q - z for q.
-2
Let u be (-7)/(-2) + 4/(-8). Suppose 2*i = u*i - 2. Solve -4*m + 14 = -i for m.
4
Suppose 2*f + 18 = -f. Let v be 4/f - (-6)/9. Solve v*p + 6 = -3*p for p.
-2
Let d = 78 - 68. Solve -a = 4*a + d for a.
-2
Suppose 2*s - 4 = -i, -3*s + 0*i + 1 = -i. Let x be (-1)/(s + 14/(-12)). Solve 1 = -y + x for y.
5
Suppose -8*g = -3*g - 10. Solve -9 = g*k - 3 for k.
-3
Let k = 21 - 21. Solve -5*z + k*z = 0 for z.
0
Let j = 5 + -4. Suppose 2*z = z - j. Let p be 63/12 - z/(-4). Solve -2*a + a = p for a.
-5
Let q = 0 + 0. Suppose -5*i + 25 = 5*z, q*i - i = 0. Solve 0 = y - 0 + z for y.
-5
Suppose -4*g = -2*g - 10. Solve 0 = -g*u + 2*u - 3 for u.
-1
Suppose -g = -5*g + 60. Solve k + 2*k - g = 0 for k.
5
Let h be 1/(20/16 + -1). Solve -h*u + 5*u = -1 for u.
-1
Let s(p) = -5*p - 1. Let t be s(-1). Suppose 0 = -t*j + 3 + 9. Let l be (1*-6)/(j/(-4)). Solve -l = -3*c - c for c.
2
Suppose -m + 0*m + 2 = 0. Let y = 1 - -1. Solve -2 - y = m*x for x.
-2
Suppose -2 = -u + 3*v - 8, v - 2 = 0. Suppose -5*k - o + 12 = u, -2*k + o + 8 = 3*o. Solve 5*r + 6 = k*r for r.
-2
Suppose -6*h + 11*h = -5. Let t be 0/(h/2*6). Solve 5*i - 7 + 2 = t for i.
1
Suppose 32 = 5*p - 3*m, -20 = -4*p - m + 2*m. Let w(r) = 3*r**2 - 2*r + 4. Let t be w(3). Solve t = -p*z - z for z.
-5
Let n = 6 - 3. Suppose 0*q = q + 3*i - 14, -12 = -n*q + i. Solve 0*a + q = a for a.
5
Let l = -4 - -1. Let u = 3 + l. Suppose u = -4*x + 2*x + 4. Solve 0 = r - x*r - 5 for r.
-5
Suppose 0 = 2*v + 3 + 5. Suppose 4*q - 16 = -3*b + 15, 0 = q + b - 9. Let o = q + v. Solve 4*w + o*w = -4 for w.
-1
Let h = -14 - -16. Solve 4*v - 18 = -h for v.
4
Let f be 8/(64/(-12))*-8. Solve 0*b + f = -4*b for b.
-3
Let u(h) = h**2 + 2*h. Let j be u(-2). Suppose 5*d - d - 8 = j. Suppose -4*r + 10 = -6. Solve 0 = -d*y + r*y - 6 for y.
3
Let o be (-66)/(-8) + 2/(-8). Let z(n) = -n**3 - 11*n**2 - 11*n - 7. Let l be z(-10). Suppose l*a - 4*a + 3 = 0. Solve u - o = a*u for u.
-4
Let i = -13 + 15. Solve -i*b + 6 = -4 for b.
5
Let u(v) = -8*v**3 + 4*v**2 - 2*v + 3. Let s(f) = -23*f**3 + 11*f**2 - 6*f + 8. Let c(x) = 4*s(x) - 11*u(x). Let y be c(-1). Solve 4*n - 7 = y for n.
3
Let p(j) = -2*j + 3. Let q be p(0). Solve -4*s + q = -1 for s.
1
Let r(f) be the third derivative of f**6/120 - f**5/15 - 5*f**4/24 + f**3/6 + 3*f**2. Let y be r(5). Solve -5*g + 14 = -y for g.
3
Suppose -2*z - 5 = -4*z + o, 0 = 5*z + 2*o + 10. Solve z*r - 4*r = -8 for r.
2
Let z be ((-2)/6)/(7/(-21)). Let u be (z - 5)/4 - -4. Solve -5*l = -u*l + 2 for l.
-1
Let a = 10 - 5. Suppose 4*j - 1 = 4*l - 29, -4*j = -5*l + 32. Suppose 5*k = l + 21. Solve a*c - 20 = k for c.
5
Let t = -33 - -37. Solve -r = -t*r for r.
0
Let z(a) = 5*a - 2. Let p be z(3). Let h = 18 - p. Solve x - h*x = 0 for x.
0
Let g = 62 - 58. Solve a = -g*a for a.
0
Suppose n = -4*o - n + 22, 0 = -3*o - 3*n + 24. Solve -4*h - o = -11 for h.
2
Suppose -3*w + 6 + 0 = 0. Suppose w*c = 13 + 23. Let b be 3/(-3 + c/4). Solve -2*t + 0*t + b = 0 for t.
1
Suppose -2*u - 3*v + 17 = -u, -v + 15 = 5*u. Let o(r) = r**3 - 3*r**2 - 4*r + 2. Let f be o(4). Solve f = -i + u*i for i.
2
Let h(t) = -5*t - 9. Let z be h(-5). Solve -r = 3*r - z for r.
4
Let z be ((-6)/9)/((-18)/27). Suppose -2*g + 10 = 4*s - 6*s, 2*g - 5*s = 13. Solve -5 = g*m - z for m.
-1
Suppose 32 = 3*g + 3*t + t, 4*g - t - 11 = 0. Solve -r - g = 1 for r.
-5
Suppose -3*n + 9 = 0, 0*i - 4*i - 51 = -5*n. Let v = 13 + i. Solve -v - 21 = 5*t for t.
-5
Suppose -k + 10 = 3*t - 5, 2*t = 4*k + 10. Let w(j) = j**3 + 7*j**2 + 6*j + 9. Let a be w(-6). Solve t*q = -6 - a for q.
-3
Let v(c) = 3*c + 1. Let y be v(3). Suppose 5*p - 5 = y. Suppose -2*t = p*t - 25. Solve 0 = t*h - 10*h for h.
0
Let m = 17 - -1. Let o = m + 13. Solve -5*w + o - 11 = 0 for w.
4
Let r(f) = -f**3 - 7*f**2 + 7*f + 1. Let k be r(-8). Suppose 2*t + t = k. Solve 5*o - t = 2*o for o.
1
Let t = 1 - -3. Let j(b) = -b**3 + 26*b**2 - b + 30. Let h be j(26). Solve -2*m = -h*m + t for m.
2
Suppose -2*w + 5 = 3*w. Let g(z) = z - 1. Let a be g(w). Solve 0 = -f + 2 - a for f.
2
Let v(b) = 22*b + 6. Let p be v(5). Let f = -73 + p. Let d = f + -31. Solve -6*j + d = -2*j for j.
3
Let l = 14 + -13. Solve 4*s - 11 = l for s.
3
Suppose -12*z + 2*z = 0. Solve -2*y + 4*y + 8 = z for y.
-4
Suppose 5*m = v - 12, 48 = 4*v + m - 0*m. Let u = 6 - v. Let q be (-2)/12 - 13/u. Solve -12 = q*n + n for n.
-4
Let g(f) = f - 11. Let j(k) = k**3 + 7*k**2 - 2*k - 8. Let t be j(-7). Let c be g(t). Let p be ((-2)/c)/((-2)/(-20)). Solve 0 = s + p - 2 for s.
-2
Let u(v) = 2*v + 7. Let k(n) = 11*n + 41. Let x(d) = -6*k(d) + 34*u(d). Let p be x(6). Solve -p*i + 0*i + 12 = 0 for i.
3
Let p be 2/(-9) - 4/(-18). Let m(q) = -10*q - 5. Let a be m(-2). Let c(x) = -x**2 - 10*x + 13. Let j be c(-11). Solve p = 3*d + j*d - a for d.
3
Let u(d) = -d**3 + 10*d**2 - 10*d + 9. Suppose -16 = -2*b - 2*j, 0 = -2*j - 3 + 1. Let i be u(b). Suppose -6*a + a = i. Solve a + 8 = 4*f for f.
2
Let k(c) = c**2 + 9*c + 4. Let w be k(-9). Suppose -6*b = -w*b. Solve -2*l + 3*l + 2 = b for l.
-2
Let o(d) = -d**3 - 2*d**2 - 2*d. Let w be o(-3). Let r be (w/9 - 0)*3. Let t = -5 + r. Solve t = -2*v + 4*v for v.
0
Let i = 33 + -23. Let t = i + -8. Let j be (-40)/(-15) - t/(-6). Solve j*b = -0*b + 9 for b.
3
Suppose -a = -4*o - 0*a + 4, 0 = 4*o + 5*a + 20. Solve o*j = -j for j.
0
Suppose 3*q = 3 + 45. Let l be (2 + q - -2) + 0. Suppose 0 = 4*a + 5*v + 18 - 5, -5*a + v + l = 0. Solve -11 = -4*h - a for h.
2
Suppose 2*s = -5*j + 33, -3*j = -0*j - 15. Suppose 0 = -2*a - s*y + 34, 4*a + 18 = 5*a + 3*y. Suppose -m + a = 2*m. Solve 2*c - c + m = 0 for c.
-5
Suppose 7*v = -v + 2*v. Solve v = -g + 4*g - 15 for g.
5
Suppose 58 = 12*r + 34. Let x(f) = f**3 - f**2 + 5. Let q be x(0). Solve 3*l = q*l - r for l.
1
Let k(l) = l**2 + 3*l. Let x be k(-3). Suppose 20 = t - 4*c, x*t + 3*c + 8 = -t. Suppose 0*m + m - t = 0. Solve -s - 20 = m*s for s.
-4
Let t(c) = -c**3 + 3*c + 1. Let w be t(-2). Suppose -d - 1 = -4. Solve -w*o - 15 + d = 0 for o.
-4
Suppose 36 = -4*p + 4. Let o = 8 + p. Solve f = -o*f for f.
0
Let h(n) = -n**2 + 7*n - 7. Let g be h(5). Let x = g + -1. Solve -4*a + x*a = 2 for a.
-1
Let a(p) = -28*p**3 - p - 1. Let x be a(-1). Let d = 0 + 4. Suppose 0 = d*o + 12 - x. Solve o*b - 20 = -b for b.
4
Let g = 5 - 0. Suppose 0 = -g*x + 2*v + 49, 4*x - 2*x = -4*v + 10. Solve -5*p + x = -2*p for p.
3
Suppose 13 = f + 2*p, -2*f + 4*p + 22 = 6*p. Solve 0*n - f = 3*n for n.
-3
Let n = -21 - -30. Let k = n + -6. Solve k*h + h = -20 for h.
-5
Suppose -2*o - 3*o = -70. Let s = 9 - o. Let l be 0 + (0 - 0 - s). Solve l*t + 4 = -1 for t.
-1
Suppose 2*p = 5*g - 4, 5*p - 19 = -4*g + 2*g.