-q*c - g + 1 = 0 for c.
-1
Suppose 0 = 3*o + 2*o + 10. Let x be -1 - o - 9/9. Solve x = 5*p + 21 - 6 for p.
-3
Let w be 0 - (-2 + -8 + 0). Suppose -3*a = 4*h - 19 - 9, h - 3*a + 8 = 0. Suppose 2*q + 5*n + 25 = h*q, q = -5*n - w. Solve 1 = -2*t - q for t.
-3
Let l = -23 - -23. Solve l*m = 4*m + 12 for m.
-3
Let i(p) = -p**2 - 9*p + 8. Let x be i(-10). Let t be (10/8)/(x/(-8)). Let m be 9/2 - 3/2. Solve -u = m - t for u.
2
Let r = 9 - 7. Let w = -48 + 48. Solve -p + 5 - r = w for p.
3
Suppose -2*p = 2*p - 12. Let h be (-6)/((-6)/p) + -2. Solve -i + 3 = -h for i.
4
Suppose -2*a = 4*a - 2*a. Solve a*c = -3*c + 15 for c.
5
Let u(x) = x**3 - 11*x**2 + x - 7. Let o be u(11). Solve -o*w = -9*w + 20 for w.
4
Suppose 6*f - 3*f + 3 = 3*p, 4*p + 3*f = 18. Solve 3 = p*z - 3 for z.
2
Suppose 21 + 139 = 8*a. Solve y = 5*y + a for y.
-5
Let u(v) be the second derivative of v**4/4 - v**3/6 + v**2/2 - v. Let a(d) be the first derivative of u(d). Let c be a(1). Solve c*k = -26 + 1 for k.
-5
Suppose 3*i - 9 = -0*i. Solve -9 = 3*c + i for c.
-4
Let i(z) = z**2 - 5*z - 6. Let v = -8 - -14. Let u be i(v). Suppose u = 4*k - 2*k. Solve 0 = -3*h - k*h - 9 for h.
-3
Suppose -f - f = -6. Let h = 213 - 211. Solve f*d = d - h for d.
-1
Suppose 4*i - 1 = 5*i. Let r be i/3*0 + 4. Solve -r*a + a = 0 for a.
0
Let z = -3 + 6. Let h = 4 - z. Suppose -4 = -f + h. Solve -5*j + 5 = -f for j.
2
Suppose r + 1 = 4. Let d be 2 - (0 - 2 - 2). Solve -r*g = -3 + d for g.
-1
Suppose -4*n = -5*n. Let h = n - -3. Solve -5 = -h*f + 10 for f.
5
Suppose -3*u + 2*l + 48 - 16 = 0, 27 = 3*u + 3*l. Let p be ((-1)/(-3))/(5/90). Suppose 0*i + s = 2*i - p, 2*i - 3*s = 2. Solve -i*k + 9*k = u for k.
2
Suppose 3*b - 4*r - 56 = 0, 0*r - 2*r + 38 = 4*b. Suppose -b = -3*v - v. Solve -7*k = -v*k - 20 for k.
5
Let g = -6 - -9. Suppose -26 - 16 = -g*v. Suppose v = 4*c + 2*b, 8 = 3*b - 1. Solve 4*u = c*u + 2 for u.
1
Suppose 0 = 8*d - 13 - 19. Solve -d*v + 10 = -10 for v.
5
Let m = -5 + 19. Solve -m = -4*d + 2 for d.
4
Let b = 131 - 125. Solve b = f + f for f.
3
Let a(d) = d - 3. Let p be a(4). Let o be 100/(-16) - p/(-4). Let c be -2 + 2 + (2 - o). Solve z = -z + c for z.
4
Suppose -g - 19 + 2 = -5*y, -2*y + 8 = -g. Solve -3*b + 2*b = -y for b.
3
Suppose -5*i = z + 4*z + 30, 0 = 2*z + 2. Let n be (-2)/(-5) + (-18)/i. Let b(o) = -o**2 - 12*o + 17. Let s be b(-13). Solve -s*p = -0*p + n for p.
-1
Let w = 12 + -12. Let t be w/(0 - (-2 - -1)). Let f be 3*(2 + -1 + 0). Solve t = 2*l - l - f for l.
3
Let c = -3 + 4. Suppose 4*y = -0*y + x + 13, -3*y = -4*x - 26. Solve c + 7 = -y*v for v.
-4
Let c = -62 + 71. Solve c*n = 7*n - 4 for n.
-2
Suppose 5*l = 4*r - 32, 3*r - 17 = -0*l + 2*l. Suppose 2*f + 5*a - 3*a = 6, 4*f - r = 5*a. Solve -f*i - 2*i + 4 = 0 for i.
1
Let a be 10/(-30) + (-32)/(-6). Solve -a*x = -x + 20 for x.
-5
Let k(t) = -5*t + 5. Let l be k(-3). Solve 3*v = -2*v + l for v.
4
Suppose 0 = m + 2*i + 8, 2*m + 4*i - i = -11. Solve 4 = b + m for b.
2
Suppose 2*v - 61 = 5*p, -5*v + 100 = -3*p + p. Let s be 183/v - 2/12. Suppose 2 = -2*c + s. Solve -8 - c = -4*y for y.
3
Let s be (1/2)/(1/6). Suppose d + 0*d - s = 0. Let z(n) = n + 4. Let w be z(0). Solve -w*u = -3*u + d for u.
-3
Let c be (-28)/(-10) - (-6)/30. Let s = -3 - -6. Solve 0 = s*r - c for r.
1
Let a = -10 + 18. Solve 1 + a = 3*r for r.
3
Suppose 8 = 2*v + 5*d - 12, -2*v + 22 = 4*d. Suppose 0*t = -3*t + v. Suppose -z - t = -2*z. Solve -4*g = g - z for g.
1
Let d(k) = -k + 4. Let q be d(2). Suppose 2*j - j = -8. Let x = -4 - j. Solve x = -q*s + s for s.
-4
Let j be (-2)/4*(0 - 0). Solve 3*b + j*b = -9 for b.
-3
Suppose -5*h - 1 = -11. Let c be (1/h)/((-5)/(-30)). Solve -u + 8 = -c*u for u.
-4
Suppose -3*r + r = -5*q - 24, -3*r - 15 = q. Let o be q/(-8) + (-10)/(-8). Let l = 9 + -7. Solve 2 + o = l*k for k.
2
Let f = 4 + 6. Suppose 0 = -3*z + 5 + f. Suppose -4*r + 4*j + 8 = -56, -5*r - 3*j + 40 = 0. Solve 9 + r = z*v for v.
4
Let z be 3*(-3)/(-3) + -2. Let l(j) = 11*j**3 + 2*j - 1. Let w be l(z). Solve -5*d = -w + 37 for d.
-5
Let y(o) = o**3 - 6*o**2 + 2*o - 9. Let j be y(6). Suppose j*r - 25 = -0*r - 4*p, -3*p = -4*r + 75. Solve -3*v + r = -0*v for v.
5
Let u be (-1)/(-5) + 24/5. Let w(y) = -y**2 - 2*y - 1. Let n be w(-1). Suppose -3*i + 14 = -1. Solve n*s + i = u*s for s.
1
Suppose 2*b - 81 = -3*r, 0 = 5*r - 10*r - b + 142. Solve -5*o + 9 = r for o.
-4
Let t(c) = -c - 9. Let l be t(-9). Let q(b) = -6 - 2*b + 21 + 3*b. Let a be q(l). Solve 4*p - p = a for p.
5
Let g = -6 - -9. Suppose u + 0*u = -5*n + 30, 3*u = -n + 20. Solve -g*j = -u*j for j.
0
Suppose -5 + 0 = 5*i. Let s(u) = u + 1. Let c(d) = 4*d + 8. Let y(k) = i*c(k) + 2*s(k). Let t be y(-5). Solve -v + t = -2*v for v.
-4
Let l(w) = w**3 - 4*w**2 - 10*w - 9. Let m be l(6). Solve m*k + 10 = k for k.
-5
Let l(p) = -2*p + 23. Let r be l(10). Solve -4*y = -r*y for y.
0
Let q(h) = -3*h**2 - 9*h. Let c be q(-2). Solve -c = 2*t + t for t.
-2
Suppose v - 5*m - 17 = -6, 4*v + 3*m + 2 = 0. Suppose -v = -n + 3. Solve -n*a - 4 = -2*a for a.
-2
Let i = 51 - 49. Solve 4*o - 6 = i for o.
2
Suppose 4*n + 18 = 5*u, -2*u - 4*n - 14 = -5*u. Solve 3*s - u*s = 3 for s.
3
Suppose -12*w + 14*w = 4. Suppose -2*u - 6 = -4*f, w*u + u + f - 12 = 0. Let g = 0 - -3. Solve -g*o = 6 + u for o.
-3
Suppose -x + 0 + 1 = 0, -x + 21 = 4*j. Suppose 0 = 5*c - 5*q - 64 + 24, 3*q = -2*c - 4. Let f = c + -1. Solve f*m + 8 = j*m for m.
4
Let h(n) = -n**3 - n + 2. Let w be h(0). Let a be 18/(-12) + 1/w. Let s be 1 - (-1 - (-1 - a)). Solve s*j = 4*j + 4 for j.
-2
Let i(n) = -n**3 - 4*n**2 + 3. Let m be i(-4). Let h be 35/10*4/7. Solve -m*o + h*o - 3 = 0 for o.
-3
Let p be (3/(-12))/(3/(-36)). Solve -5*c + p = -2 for c.
1
Suppose 0 = 3*n + 6, -j - 5 - 1 = 5*n. Let z(b) = -4*b - 24. Let r be z(-6). Solve r = -j*w - w - 20 for w.
-4
Let k(s) = s**3 + 7*s**2 - 8*s + 5. Let r be k(-8). Suppose 4 + 8 = d. Solve r*b - d = -2 for b.
2
Suppose 0 = -k - 4*l - 15, -5*k + 5*l + 11 = -14. Let z be (-6)/4*24/(-9). Suppose 16 = z*m - 4*r, 0*m + m + k = -4*r. Solve i - m = -7 for i.
-4
Let f = 34 - 29. Solve -h - 6 + f = 0 for h.
-1
Suppose 30 = 5*d - 20. Solve -14*t = -d*t for t.
0
Let d(o) = o**2 + 4*o + 2. Let x be d(-4). Suppose -w - 4*f = -12, -x*w + 6 = 3*f - 3. Solve w = 2*k - k for k.
0
Let t(f) = 2*f - 3*f**2 + 3*f - 3*f**3 + 4 + 2*f**3. Let c(z) = -z - 1. Let w be c(3). Let x be t(w). Solve x + 6 = 3*d for d.
2
Let n(h) be the first derivative of h**3/3 - 2*h**2 - 5*h - 3. Let g be n(5). Solve r + 2*r + 9 = g for r.
-3
Let f = 12 - 10. Let m = -2 + f. Solve m = 2*j + 4 for j.
-2
Suppose -8 = -4*p + 5*g, -3*p + 5*g + 9 = 3. Let z be 0/((-3)/(3/p)). Solve 2*f - 6*f - 12 = z for f.
-3
Let w = -6 - -18. Suppose -7 = 3*p + 5. Let c be p + 3/3 - -16. Solve -5*u - c = w for u.
-5
Let b be ((-12)/(-10))/(4/10). Let f(x) = x**3 - 3*x**2 + 3*x - 2. Let p be f(b). Solve 9 = -4*a - p for a.
-4
Let b be 1/((9/(-3))/6). Let g(a) be the second derivative of -a**3/6 + a**2 - a. Let i be g(b). Solve -8 = i*j - 4 for j.
-1
Let j = 13 - 7. Suppose 4*k - 5*q = -155, -52 = k - 5*q - 2. Let t be (-2)/(-7) - (-10)/k. Solve t = -p - j + 1 for p.
-5
Suppose -8 = -31*l + 27*l. Solve -y + l = -2 for y.
4
Let n(r) = -r - 1. Let g be n(-4). Let l = -3 + g. Suppose l*o - o = 0. Solve o = -x + 3 for x.
3
Suppose -12*u + 76 = -20. Solve u - 18 = -5*k for k.
2
Suppose -5 = -u, -u = 3*f + 3*u - 29. Let q(d) = -d**2 + 9*d + 7. Let m be q(9). Solve -20 = m*w - f*w for w.
-5
Let v be 4 - -3 - ((-4)/2 - -3). Solve 3 - v = 3*l for l.
-1
Let v = 1 - -4. Suppose 2*s + 3*s + 4*t - 25 = 0, -s - t = -6. Let y = s - -8. Solve -y = -v*o - 24 for o.
-3
Suppose -c + 5*u = -2*c - 11, 0 = 4*c - 3*u - 25. Suppose 5*z - 34 = -4*q + q, -c = 4*z. Solve 4*i + q + 3 = 0 for i.
-4
Let g(i) = -i**3 + i**2 + i. Let q(t) = t**3 - 7*t**2 - 2*t - 5. Let j(m) = -2*g(m) - q(m). Suppose -7 = p - 2. Let o be j(p). Solve -h + 4 = -o*h for h.
-1
Let x(h) = -h + 8. Let o be 8/1*(-3)/(-4). Let p be x(o). Suppose -3*k + 1 = -5. Solve k*t - 4 = -p*t for t.
1
Suppose -w = -5*w + 16. Suppose 2*x = 4*t - 2*x - 16, 3*x = -5*t + w. Solve 10 = -t*n - 3*n for n.
-2
Let p(z) = -z**2 + 7*z - 3. Let r be p(6). Suppose r = w - 0. Solve -2 - 1 = w*n for n.
-1
Suppose 0 = -n - 0*n + 3. Solve 8*s - n*s = 15 for s.
3
Let n