Let o be m(-3). Solve -4 + o = t for t.
1
Suppose 0 = -h - 0*h. Suppose h = 2*t + 3*p - 14, -2*t - p - 2 = -3*t. Let f = t + -4. Solve k + f*k = 3 for k.
3
Let x = -5 - -11. Solve 3*k = -x - 9 for k.
-5
Suppose -2*r - 20 = -4*d - 5*r, 3*r - 8 = 2*d. Suppose 4*x = d*u - 2 - 6, -4 = -5*x - u. Solve x = o - 2 - 1 for o.
3
Let t be (-1)/(-2)*(-1 - -1). Let d(g) = 2 - 4 + 2*g**2 + 0*g**2 + 2*g. Let o be d(-2). Solve t = -o*h - 3 - 3 for h.
-3
Suppose 2*h + 8 = 0, 0*s - 5*h = 4*s + 4. Let d = 4 - s. Suppose -2*m - g = -2, d = -4*g - 0*g - 16. Solve -2*u + m = -u for u.
3
Let a(l) = l**3 + 8*l**2 - 11*l - 9. Let j be a(-9). Suppose 0 = h - 3*u - 8, -j = -2*h + 5*u + 5. Let m be h/(-1*(-2)/3). Solve 0 = -m*k - 6 - 0 for k.
-2
Let r(o) = o**3 + 7*o**2 + 8*o + 9. Let d be r(-6). Let q = d - -3. Solve -2*z + 1 + 3 = q for z.
2
Let h(n) be the second derivative of -n**5/120 - n**4/12 - n**3/3 + n. Let q(u) be the second derivative of h(u). Let m be q(-4). Solve -5*g = -m - 3 for g.
1
Suppose 3 = -2*v + 5*v. Solve -3*f + v = -4*f for f.
-1
Suppose 15 = -2*t + 3*r, r + 32 = -5*t + 3*r. Let l(q) = -3*q + 3. Let h be l(5). Let d = t - h. Solve 3*u + d - 15 = 0 for u.
3
Let s be (15/(-4))/((-33)/88). Solve 3*t + s = t for t.
-5
Let z = 39 - 37. Solve -d - 5 = -z*d for d.
5
Let g be 3/12 + (-58)/8. Let l = g - -17. Solve 5*z + 0*z = -l for z.
-2
Let p(x) = x. Let v be p(0). Let l = 6 - 3. Let u be (-58)/(-3) + 2/l. Solve 0 = -v*f + 5*f - u for f.
4
Let z = 56 - 47. Solve -2*a = -1 - z for a.
5
Let i(u) be the third derivative of u**6/120 + 7*u**5/60 - 7*u**4/24 + 4*u**3/3 - 2*u**2. Let s be i(-8). Solve 6*j - j - 5 = s for j.
1
Let g(a) = -a**2 - 3*a + 4. Let u be g(-3). Solve 0 = u*h - 3*h for h.
0
Let o(i) = -i + 1. Let l(t) = 5*t + 11. Let r(c) = -l(c) - 4*o(c). Let a be r(0). Let z = a - -22. Solve 3*b - 19 = -z for b.
4
Let f = -15 - -18. Let q = f - -9. Solve 6*k - 2*k = -q for k.
-3
Suppose 33*d - 10 = 32*d. Solve 2 = 2*y + d for y.
-4
Let v be 2/(4/(4 + 0)). Let z be 1/2*0 + v. Solve -5*o - z = 8 for o.
-2
Suppose 30 = 4*b - 9*b. Let w = b - -10. Solve c - w = -3*c for c.
1
Suppose -12 = -2*q + 4*h, 2*q + 0*q + 5*h - 3 = 0. Suppose 0 = 4*g + s + 1 + q, g + 4*s = -20. Solve g*v + 8 = -2*v for v.
-4
Suppose -5*u + 13 = 3. Solve u*v + 2*v = 0 for v.
0
Let b(p) = -5*p**2 - p - 4. Let d be b(-3). Let g = 66 + d. Suppose -q = 2*q - 6. Solve q*u = -3*u - g for u.
-4
Let d = 2 - -3. Suppose -2 = h - d. Solve 0 = -n - 2*n - h for n.
-1
Let n(s) = -s**3 - s**2 + s + 15. Let p be n(0). Let d be 0 + 1/1 - -3. Let k = d - 2. Solve p = 3*r + k*r for r.
3
Let o = 25 - 23. Solve 3*v + 25 = -o*v for v.
-5
Let k be (-1 - (-1 - 0))/2. Suppose -z = -2*z + 3*g + 1, -2*g + 2 = k. Let m(n) = n + 24. Let w be m(0). Solve z*b + w = 8 for b.
-4
Suppose 8*x = 3*x. Let q = 1 + 0. Solve x - q = l for l.
-1
Let m(r) = r - 4*r + 4 - 2. Let q be m(-1). Solve -q*a + 4 = -1 for a.
1
Suppose p + 4*p = 80. Let w = 20 - p. Solve -w*z - z + 10 = 0 for z.
2
Let k be (2 + -1)*(2 + -2). Let t be k/(1 + -3 + 3). Solve 0*u - 2*u = t for u.
0
Let u = -10 - -14. Suppose u*o + 4 = 16. Solve -4*v = -o*v + 1 for v.
-1
Let c(x) = 1 + 39*x - 18*x - 22*x. Let h(l) = -l - 4. Let f be h(-5). Let p be c(f). Solve 3*s + p = -12 for s.
-4
Suppose -2*a - 29 = -4*w - 3, -2*a = 3*w - 16. Suppose w*r - r = 40. Suppose 5*j - 2*c = -0 + 13, -c + 1 = 0. Solve -r = -5*s + j*s for s.
4
Let t(x) = 3*x + 29. Let c be t(-9). Solve 2 = c*j - 4 for j.
3
Let c = -53 - -53. Solve c*v + 2 = 2*v for v.
1
Let z be (-30)/(-50) - 3/5. Suppose n + 3*n = z. Solve n*j = -j + 4 for j.
4
Let l = 7 + 4. Suppose r - 17 - l = -5*f, 0 = 4*f - 3*r - 30. Solve 5*k + f = -4 for k.
-2
Suppose -i - 1 + 3 = 0. Suppose -5*j - 4*c = -c - 26, -5*j + 41 = -i*c. Solve 2*n = -j + 1 for n.
-3
Suppose 6 = 3*q - 3*c, 0*q + 15 = 4*q + 3*c. Suppose 0 = q*v - 2*v. Suppose -4*m = -v*m. Solve w + w + 2 = m for w.
-1
Suppose -4*y + 18 = -14. Suppose -4*t = -0*t - y. Solve 0 = t*c + c - 6 for c.
2
Let j = -10 + 14. Suppose y + 2 - 3 = 0, j*y + 1 = 5*b. Solve b + 1 = -o for o.
-2
Let f(v) = v**3 + v**2 + 4. Let t be f(0). Let i(j) be the third derivative of j**5/60 - j**4/8 - j**3/3 - 12*j**2. Let s be i(t). Solve p - 2 = s*p for p.
-2
Let z = 58 - 54. Solve -z*q + 12 = -q for q.
4
Suppose 5*c - 2*o - 90 = 0, -5*o - 31 + 6 = 0. Solve -4*u - 4 = c for u.
-5
Let z(x) = -x**3 - 5*x**2 + 6*x + 2. Let l be z(-6). Suppose 5*y = l*y. Solve w - 3*w = y for w.
0
Let w(l) = -2*l**3 - 1. Let f be w(-1). Suppose -1 = -x + f. Solve -x*z + 2 = -4*z for z.
-1
Let j be 22/11*1*-9. Let q = 20 + j. Solve 15 = q*t + 3*t for t.
3
Suppose -2*o + 6 = 0, 0*d - d - 2*o = -11. Let w be (-2 + 3)/3*9. Solve -10 - d = -w*g for g.
5
Suppose -3*w = 2*n - 2, -3*w + 7 + 30 = -5*n. Let j be (3/(-4))/(6/(-32)). Suppose -27 = -3*d + v, -4*v - 16 = -j*d + 12. Solve w*h = -h + d for h.
2
Suppose -15*t - 2 = -16*t. Solve t*u - 6 = -u for u.
2
Let o = -9 + 12. Solve 1 + 8 = o*r for r.
3
Let p = -6 + 6. Solve -2*y + 3*y = p for y.
0
Let g be 11/2 + 3/6. Let x be 6 + -6 + g/2. Let u be ((-2)/x)/((-6)/45). Solve -5 + 0 = -u*t for t.
1
Let g(n) = -n**3 + 6*n**2 + 3*n - 5. Let u(d) = d + 2. Let f be u(-1). Let m be 5 - 0 - f*-1. Let z be g(m). Solve 3*c = -z + 4 for c.
-3
Let f = -14 - -7. Let y be (-19)/f + 8/28. Solve 10 = j - y*j for j.
-5
Suppose 0 = 5*q - 0*q + z + 4, -5*z - 20 = 0. Solve -3*y + 0*y - 9 = q for y.
-3
Let m = 146 - 134. Solve 0 = 3*j - m + 3 for j.
3
Suppose 3*t - 7*t = 0. Solve t = 4*w + 22 - 2 for w.
-5
Suppose -10 = 2*g - 3*p, 4*g + 2*p - 4*p = -4. Let r be 3/(-1 + 15/6). Let f be 1/r - 7/(-2). Solve f*c = -g - 11 for c.
-3
Let x be (-1*9/3)/(-1). Suppose -4*f - 2*c = -14, 4*f - 6*f + 1 = x*c. Suppose -24 = -f*j - 2*w, 5*w + 2 = 4*j - j. Solve j*y = -y - 5 for y.
-1
Let a = -55 + 78. Let d = -15 + a. Let j = 11 - d. Solve 3*w + j = 4*w for w.
3
Let o be (-4)/6 + (-7)/3. Let k = 3 + o. Suppose -5*x + 2 + 23 = k. Solve -x*h = 1 + 4 for h.
-1
Suppose 10 = -2*r, 0*i - 4*r - 20 = 4*i. Suppose -3*j = -i*j. Solve 0 = -3*l - j*l for l.
0
Let k = -6 - -16. Let u be (3 - 0)/3 + k. Solve 31 = -4*p + u for p.
-5
Let n(m) = 4*m - 12. Let g be n(4). Solve -2*y = 4 + g for y.
-4
Let o(k) = -4*k + 1. Let w be 1/(1*(-1)/3). Let a be o(w). Suppose 5*c + 3 = a. Solve 0 = 4*v + 6 - c for v.
-1
Let a(m) = -m + 2. Let t be a(-2). Solve -6*c - t = -5*c for c.
-4
Suppose -2*l = -2*c + 22, -27 = -3*c + 2*c - 3*l. Solve -1 = 4*w + c for w.
-4
Let z = 187 - 175. Solve -5*l + l = -z for l.
3
Let m = 0 + 2. Let n be ((-1)/m)/(2/(-12)). Suppose -4*c + 3 = -c. Solve -n*v - 4 = -c for v.
-1
Let n = -9 + 9. Let p(b) = b**2 - 3*b - 15. Let y be p(6). Solve n*o = -o - y for o.
-3
Suppose -5*q + 2 = -5*a + 32, a - 2*q = 7. Let z = 7 + -7. Solve z - a = -5*d for d.
1
Suppose -21*y + 1 - 1 = 0. Solve 0 = m + 3 - y for m.
-3
Let h = 30 + -26. Solve -i + 12 = -h*i for i.
-4
Suppose 5*k - 12 = 3*k. Let a be (4/8)/(2/16). Let l(q) = q**3 - 5*q**2 - 7*q + 8. Let g be l(6). Solve g*d + a = k*d for d.
1
Suppose 10 + 0 = -5*u. Let r be (1 + -1)/(-2) - u. Let d = 1 + -1. Solve -r*k - 2 + 10 = d for k.
4
Let b be (1*-2 - 5)/1. Let d(u) = 6 - 3*u - u + 11*u + u**2. Let l be d(b). Solve 4*m = 2*m - l for m.
-3
Let p(g) = g**3 + 2*g**2. Let c(m) = -2*m. Let v be c(1). Let h be p(v). Solve 0 = 5*x - h*x + 15 for x.
-3
Let u(i) = i**2 - i + 4. Let x be u(0). Solve 0*z + x = -4*z for z.
-1
Let s be ((-16)/(-32))/((-1)/16*-1). Solve s*g = 3*g + 25 for g.
5
Suppose 20 = 5*t - 15. Suppose -f + 5*v = t, f + 0*v + 3 = 3*v. Solve -f*b + 5 = 2 for b.
1
Let n(o) = -o**2 - 9*o + 5. Let x be n(-9). Solve 0*c - 10 = -x*c for c.
2
Let a(t) = 32*t + 1. Let n(y) = 63*y + 3. Let v(f) = -13*a(f) + 6*n(f). Let h be v(-5). Let j be (-1)/4 - h/(-12). Solve -j = 5*z - z for z.
-4
Suppose 126 = 5*i + 96. Let z = 87 - 62. Solve 0 = i*c - c + z for c.
-5
Let w(m) be the second derivative of -m**4/12 - 7*m**3/6 - m**2 - m. Let r be w(-7). Let c = r - -11. Solve 1 = 2*v + c for v.
-4
Suppose 0 = 5*m + 2*c - 29, 3*m + 2*c + 34 = 7*m. Solve -m = -2*b - 5 for b.
1
Suppose -v - 5 + 12 = 0. Let m be 1/((14/52)/v). Solve -4*b + m = 10 for b.
4
Suppose y = 15*y. Suppose 0*n - 2*n = -18. Suppose 3*x + 3 = 4*x. Solve n = x*h - y*h for h.
3
Let r = 24 - 22. Solv