c = -10 - -12. Let t be ((-1)/c)/((-6)/48). Solve d = t*d - 12 for d.
4
Let r(b) = b**3 + 5*b**2 + 3*b - 7. Let c be r(-3). Solve h = -h + c for h.
1
Let n(y) = 6*y**3 - y**2. Let u be n(1). Let t be 4/(-10) + 22/u. Let k(w) = -w**3 + 6*w**2 - 4*w - 5. Let v be k(5). Solve v = -t*o + 7*o for o.
0
Let p = 46 - 32. Solve 0 = -3*x - 2 + p for x.
4
Let a be ((-10)/6)/(68/12 - 6). Solve -3*v - a = -8*v for v.
1
Suppose 7 = -4*k + 5*d - 18, -4*d = k - 20. Solve k*j = -5*j - 10 for j.
-2
Let o = 89 + -86. Solve o*f = 2 - 11 for f.
-3
Let j be (28/35)/((-1)/(-25)). Solve -j = -p + 5*p for p.
-5
Suppose 2 = -2*h + 3*h. Suppose 5*a - 13 = h. Suppose -a*y + 7 = 1. Solve 2 = -y*w - 0*w for w.
-1
Suppose 0 = -12*c + c. Let x be (6/(-4) + 1)*0. Suppose z + 4 = 5*z. Solve -o + c*o + z = x for o.
1
Let r = 95 + 1. Suppose 0 = -7*q + 3*q + r. Let t = -1 - -5. Solve -t*s - q = -8 for s.
-4
Suppose 0 = -4*c + f + 1, -4*c + 7 = f. Let r be -3 + 6 + c - -1. Solve 3*w = 2*w - r for w.
-5
Let z be -1 + (-1 - 2*-1). Suppose 0 = -5*w + r + 46, z*r + 16 = 4*r. Suppose -5*o = -15 - w. Solve o*v = v - 16 for v.
-4
Let l(b) = b + 1. Let j be l(4). Solve j = -f + 1 for f.
-4
Let z(x) = x**2 - 6*x + 2. Let l be z(7). Suppose -3*h + l - 2 = n, 3*h = 2*n - 23. Solve -5*g = -n*g - 10 for g.
-2
Let j = -14 + 18. Solve 10 = j*n - 6*n for n.
-5
Let z be (-23 - -11)*(-1)/2. Solve 0 = -z*t + 11*t for t.
0
Let r be (16/24)/(3/36). Solve 0*t - 2*t = -r for t.
4
Suppose -4*r - 31 = -3*d, -r = 4*d + 2*r - 83. Let o = d + -12. Suppose -o*j + 6*j = 16. Solve -4*b - j = -0*b for b.
-4
Let p be (-2*1 + 2)/(-2). Let d be (-5 + 5)/(1/(-1)). Solve -3*c + p*c - 12 = d for c.
-4
Let j = 23 + -21. Solve j*m = -0*m - 6 for m.
-3
Suppose -4*s + 0*s + 5*h = 120, 4*s - 4*h = -116. Let w = s - -29. Solve -w*m = -14 - 6 for m.
5
Suppose 0 = 3*m - 8 - 4. Suppose 15 + 0 = 3*w. Suppose -w*g + 9*g - 12 = 0. Solve -m*d - 3 = -g*d for d.
-3
Let c(a) = -a**3 + 2*a. Let n be c(-2). Suppose -4*t + 0*t = -12. Suppose 3*d - 7*d = f - 50, 54 = 4*d + t*f. Solve y - n*y + d = 0 for y.
4
Suppose 5*w - 2*w = -57. Let a = -7 - 2. Let o = a - w. Solve 0 = 4*y + y + o for y.
-2
Suppose -2 = 2*g - 3*g. Let m be ((-3)/2)/(1/g). Let i = m + 3. Solve -3*d + 6 = -i for d.
2
Suppose 6*p = 5*n + 2*p - 66, 2*n - 2*p = 28. Let i = 16 - n. Suppose -4 = 2*k + 4*a + a, a - 1 = -k. Solve -k*h + 3 = i for h.
-1
Suppose 6*h = h - 15, h - 3 = -i. Solve -5*s - 14 = i for s.
-4
Let l = -15 - -25. Let g = l - 6. Let h be (-8)/(-2)*3/g. Solve 0 = -h*m + 2*m - 5 for m.
-5
Let w(k) = -2*k**2 - 17*k - 4. Let t be w(-8). Solve -t*b - 12 = -b for b.
-4
Suppose 20 = 5*z - 0*z. Solve r + z*r = -5 for r.
-1
Let o be (-2)/(-18) + 318/54. Solve u - o*u = -25 for u.
5
Let d be ((-1 + -7)/(-2))/(-1). Let c be 1/d - 9/(-4). Suppose -1 - 3 = -c*s. Solve -6 - s = -2*g for g.
4
Let l = -1 + 3. Let q be (2 - (-1 + l))*129. Let v be (-2)/(-9) - q/(-27). Solve 3 = v*h - 22 for h.
5
Let q(b) = -b**2 + 7*b + 8. Let p(m) = m**2 - 2*m - 2. Let t be p(-2). Let k be q(t). Let s = -2 - -8. Solve k = 4*x - s for x.
5
Let z(g) = -g - 2. Let u be z(-2). Let j(t) = 4*t - 15. Let m be j(10). Suppose 0 = -8*p + 3*p + m. Solve -p*l - 25 + u = 0 for l.
-5
Let y(k) = -2*k - 6. Let f be y(-3). Solve f*x = 5*x - 10 for x.
2
Let n be ((-99)/(-55))/(2/20). Let i be (-6)/n - (-30)/9. Solve -i*c = -c + 8 for c.
-4
Let z(a) = -a**3 - 4*a**2 - 3*a + 2. Let i be z(-3). Solve 0 = 5*d - 7 + i for d.
1
Let y = -76 - -84. Solve -v = -3*v - y for v.
-4
Let v be -1 - (-1 + 2 + -5). Let n = 11 - 5. Suppose -y - 4 = 4*h, 3*y - 4 = -2*y + 4*h. Solve -a + v*a - n = y for a.
3
Suppose -2*s - 14 = -20. Solve s*r - 8*r - 20 = 0 for r.
-4
Suppose 2*g = 6*g - 8. Suppose -s + 12 = -4*r - 0*r, 5*s = -g*r - 6. Suppose -2*z + 3 = -7. Solve q + z - 1 = s for q.
-4
Suppose 4*t = -4*k + 12, 3*t + 2 = 2*k - 9. Suppose 0 = -3*w + k*n + 34, 0 = -5*w + n + 17 + 17. Suppose w = 2*o - 18. Solve -2*c - o = 2*c for c.
-3
Let w(j) = -j + 3. Let q be w(2). Suppose -5*f + 4*v - 16 = 0, -3*f + 8*v = 4*v + 16. Suppose 21 = 4*z + 3*n + 6, f = -4*n + 4. Solve -2*b = -z - q for b.
2
Suppose d - 1 + 0 = 0. Let o = d + 1. Suppose 0 = -2*w - o*w + 32. Solve 20 = w*b - 4*b for b.
5
Let o(u) be the third derivative of 0 - 4/3*u**3 + 13/24*u**4 - u**2 + 0*u - 1/60*u**5. Let s be o(12). Solve -1 = s*m + 19 for m.
-5
Suppose -4*u + 44 = 36. Solve u = 5*f + 27 for f.
-5
Let t be (4/2)/(-1 - 0)*-1. Let y be (-1 - -2 - 2) + 77. Suppose 2*l - 6*l + y = 3*f, 5*l - 3*f - 122 = 0. Solve l = 5*g + t for g.
4
Suppose -9*v + 144 = -36. Solve -v = 4*j - 8 for j.
-3
Let x be (15 + (-2)/(-1))*1. Let f = x + -11. Solve -v + f*v = 0 for v.
0
Let v be ((-16)/12)/(6/(-27)). Solve -v + 3 = -s for s.
3
Let o = 11 + 14. Solve o = -4*v - v for v.
-5
Suppose -4*o + 54 + 14 = 0. Suppose 4*d - 5 = -4*n - 1, -4*d = -3*n + o. Solve -5 = -4*y + n for y.
2
Let r(u) = u + 2. Let m be r(0). Let k be (0 - -1)/(2/6). Suppose 0 = 3*x + 2*w - 21, -x - 8 = -5*x + 4*w. Solve 0 = m*b - x*b - k for b.
-1
Let b = -4 + 7. Suppose -2*i = b*i - 20. Suppose 0 = -m + 2, m + 12 = 3*l + i*m. Solve l*a = -0*a for a.
0
Suppose -i + 6 = -4*i. Let y be 4 + (-1)/i*4. Solve -4*r + 2*r = -y for r.
3
Let y be 4 + 4/2 - 1. Suppose 4*g - y*g = -2. Solve 0 = 3*c + 11 - g for c.
-3
Let y = 81 + -76. Solve -7 + 2 = y*p for p.
-1
Suppose 0 = c - 0*c. Solve -3*j + c - 12 = 0 for j.
-4
Let y be (1 - 0)*(-1 + 2). Suppose -3*s = 3*t - 9, 0 = 4*s + 4*t + t - 12. Solve -s*h = -4*h + y for h.
1
Let q = 124 + -108. Solve 3*s = 7*s - q for s.
4
Suppose 3*n = -5*w + 208, -2*w - 5*n + 84 = -3*n. Suppose w = -b - 5*j, b + 3*j - j = -26. Let p = 23 + b. Solve 4*u + p = -5 for u.
-3
Let n be 4*(-2)/(8/5). Let l = 8 + n. Solve -5 = l*z + 2*z for z.
-1
Suppose -36 = 6*r - 15*r. Solve -2*a - r = -a for a.
-4
Suppose 0 = l + 2 - 343. Suppose j - l = -4*b, -5*j + 260 = 3*b - 0*j. Suppose x = -a + 15, 4*x + 0*a - a - b = 0. Solve 0*i - x = 5*i for i.
-4
Suppose -4*i + 0*j + 7 = j, 17 = 4*i - j. Suppose -i*b = -0*b - 6. Let g = b + 2. Solve g*a = -3 + 11 for a.
2
Let j(y) = 22*y + 3. Let l be j(-3). Let q be 2*(l/6)/(-7). Let p = q - 2. Solve 1 = -n - p for n.
-2
Let q(v) = v**2 + 9*v + 12. Suppose 0 = 6*l - 4*l + 16. Let d be q(l). Solve -2*s + d = -4 for s.
4
Suppose 6*o + 0 = 6. Solve 14 = -3*n - o for n.
-5
Let v(r) = r + 5. Let u be v(-5). Let g(o) = -o**3 + o**2 - o + 3. Let b be g(0). Let z = 3 + -3. Solve b*i + u*i = z for i.
0
Let m(o) = -o + 6. Let i be m(4). Solve -n = -i + 1 for n.
1
Suppose -n = 3*u + 11, 0 = 5*n - 2*u + u + 39. Let o = 34 + -21. Let b = o + n. Solve 0 = -w - b for w.
-5
Let m(i) = -i**3 + 3*i**2 + 4. Let c be m(3). Suppose -c*t + 3*p - 12 = 0, 4*t - 5*t = p - 4. Suppose t - 3 = -3*h. Solve 24 + h = -5*g for g.
-5
Suppose v = 5*k + 12, -2*v + 6 = 2*k - 6*k. Let g = k + 7. Solve 35 = -g*x + 15 for x.
-5
Let b(a) = 7*a**2 + 2*a - 3. Let s be b(2). Let i = 79 - s. Let c be i/8 + 4/(-16). Solve 3*l - c = l for l.
3
Let v = -64 + 67. Solve 4*n - 4 = v*n for n.
4
Let s(n) = -n**3 - 18*n**2 + 63*n + 5. Let x be s(-21). Solve -i - 4*i = x for i.
-1
Let a(c) be the third derivative of -c**4/24 - c**3/3 - c**2. Let r be a(-10). Solve 0 = -j - j + r for j.
4
Let i be (1/3)/((-6)/(-90)). Suppose i*x - 2*z = 25, 2*x - 3*z + 5 = 26. Solve 8*n - x*n = 20 for n.
4
Let l = 61 - 59. Let d = -10 - -14. Solve -l*y - 4 = -d*y for y.
2
Let n(b) = -5*b**3 - 2*b**2 - 2*b - 1. Let o be n(-1). Suppose 0 = -4*g - 12, 5*a - 37 = -0*a + o*g. Solve -2*p - 15 = -a*p for p.
5
Suppose -3*o = -25 - 23. Suppose 3*b = -3*j - 9, j + 2*b + o = 4*j. Suppose j*n + 3*n = 5*z + 30, 12 = -n - 5*z. Solve 8 = n*y + y for y.
2
Let p(w) = -w**3 + 2*w - 1. Suppose -x = 5 - 3. Let v be p(x). Let k be v/(-9)*(-2 + 2). Solve -4 = -k*i + i for i.
-4
Let n be (18/(-8))/(3/(-16)). Suppose 4*j - 3*f = -7, -n = -2*j - 4*f + 12. Suppose r + 0*r = j. Solve r*t - 15 = -t for t.
5
Let x(h) = h**2 - 7*h - 27. Let j be x(10). Solve 5*w - j*w = -2 for w.
-1
Suppose -a = -3*a + 4*h + 24, -2*a - 11 = 3*h. Solve -2 = a*l + 4 for l.
-3
Let s be 1/(-3) + 13/3. Suppose 2*x + 2 = -5*r - 8, 0 = 5*x + s*r - 9. Let w(o) = o - 1. Let f be w(2). Solve d + x = f for d.
-4
Let m(l) = -2*l + 14. Let k be m(5). Solve k*n + 0 = -8 for n.
-2
Suppose -2