d.
5
Let o(h) = -h**3 - 5*h**2 + 6*h - 6. Let x be o(-6). Let r be (x/2 - -1) + 1. Let m = 1 - r. Solve 0 = m*d - 0*d + 10 for d.
-5
Let q = -189 + 198. Solve 8 = -r + q for r.
1
Let j be (-1)/2*(-10 + 4). Let q = 0 + 14. Suppose q = j*g + 2. Solve 2*v - v - g = 0 for v.
4
Suppose r = -1 + 4. Solve r*p = -2*p - 20 for p.
-4
Let c(j) = j**2 - 4*j + 3. Let z be c(5). Solve -z = 2*q - 0 for q.
-4
Suppose -2*c + 5*c - 120 = 0. Let g be (6/5)/((-6)/c). Let u be (-2)/4 + (-36)/g. Solve -5*s - u + 14 = 0 for s.
2
Let n(o) = -o**3 - 11*o**2 - 12*o - 18. Let c be n(-10). Solve c = q - 2*q for q.
-2
Suppose -x = -s - s + 9, -3*x - 21 = -3*s. Let w be s*(4 - 5)*-1. Let b = -6 + 11. Solve -b*g = -w - 3 for g.
1
Let w = 31 - 26. Solve 4*o + 1 = w for o.
1
Let s be ((-4)/12)/(2/30). Let r be ((-1)/(-2))/(s/(-40)). Solve 0 = 2*k - r*k - 6 for k.
-3
Let m be (-3 - (1 + -3)) + 2. Solve -m = -h - 0*h for h.
1
Let v(o) = -o - 8. Let l be v(-14). Suppose 0 = 5*r - 10, r = 2*a - 0*r - l. Solve a*n = -n for n.
0
Suppose 4*w + 23 = -1. Let y(k) = -k + 21. Let x be y(11). Let s = x + w. Solve 0 = -s*c - 6 - 10 for c.
-4
Suppose -2 = -2*s - 3*b - 11, 3*s + 2*b + 1 = 0. Let w = s - -1. Suppose w*k - 5*a + 12 = -0*a, -a - 6 = -5*k. Solve k*i = -2*i - 20 for i.
-5
Suppose -13 = -4*x + 3. Let v be 1*x*65/13. Solve -v = 4*g + g for g.
-4
Let s be 125/10 + (-1)/(-2). Let t = 17 - s. Solve 12 = -0*q - t*q for q.
-3
Let p be (6 - 0/2) + -2. Let y = 468 - 466. Let u(b) = 6*b**3. Let h be u(1). Solve -y*l + h = -p for l.
5
Suppose 4*j - 14 = -3*n, j + 5*n = 8 + 4. Let c = -14 + 20. Suppose -2*w = -5*y + 29 - c, -2*w - 20 = -4*y. Solve 0 = y*r + j*r + 20 for r.
-4
Suppose 5*u - 4*c + 8 = 2, u + 4*c - 18 = 0. Solve -j = -u - 0 for j.
2
Suppose 6*b - 4 = 7*b. Let y = b + 7. Let h = y - 3. Solve h = z - 0*z - 3 for z.
3
Let p(c) = -3*c + 2*c + 2*c. Let b be p(5). Let t be 3 - (2 - 3/(-3)). Solve t = -5*r - 5 - b for r.
-2
Suppose 0 = 3*m + 10 - 4. Let k = m + 2. Suppose 3*w - 7*w + 40 = k. Solve r = -r - w for r.
-5
Let k(f) = f**3 + 8*f**2 - 9*f + 7. Let x be k(-9). Let m = x + -7. Solve m*w + 3*w = 3 for w.
1
Suppose 8 = 6*y + 50. Let j be 84/49 - 2/y. Solve 0 = -j*a - 0 - 6 for a.
-3
Suppose 2*p = -x + 4, 5*x + 3*p = -2*p + 15. Solve x*s = -s + 6 for s.
2
Let h = 13 - 5. Solve h*j + 18 = 2*j for j.
-3
Let m(q) = -3*q**3 + 4. Let a(b) = 7*b**3 - b**2 - 8. Let d(k) = 4*a(k) + 9*m(k). Let h be d(4). Suppose -c + 1 = -h. Solve c*v - v = 20 for v.
5
Let s = -9 - 4. Let j(g) = -g**2 - 13*g + 5. Let d be j(s). Solve 0*q - 25 = -d*q for q.
5
Suppose -6*w + 3*w + 6 = 0. Suppose -w*u - u = 0. Solve 4*b - 3*b + 1 = u for b.
-1
Let y = 17 - 17. Solve r + 0*r = y for r.
0
Let f = 7 + 0. Solve f*w = 2*w - 15 for w.
-3
Let y be -2 + 4 + (-1 - -2). Let i = -1 + 2. Let b(m) = m**3 - 3*m**2 + 2*m - 2. Let t be b(3). Solve t*h + i = -y for h.
-1
Suppose 0 = 25*f - 21*f - 20. Solve 14 = -3*d + f for d.
-3
Suppose 4 = 5*d - 3*x + 1, -2*d + 5 = -5*x. Solve -3*l + 9 + 6 = d for l.
5
Suppose -5*g = q + 5, 4*q - 6 + 2 = 4*g. Suppose 3*f - 5*m = -2*m - 6, -2*f - 3*m = -6. Solve f = -q*y - 2*y for y.
0
Suppose 0 = -3*k + t - 9 + 22, 5*t + 14 = -2*k. Suppose o + 14 = -o + 4*q, 0 = o + q - 2. Let h = o - -1. Solve h*p - 9 = k*p for p.
-3
Let d be (2 + -1)/((-1)/(-4)). Solve 5 = c + d*c for c.
1
Suppose 5 = 6*b - 5*b. Suppose 3*h + 19 = 2*z, 3*h = -b*z + 2 - 7. Solve -3*m = z*m for m.
0
Let l = -36 - -20. Let k be 0*(-4)/l*1. Solve k = 2*h + h + 9 for h.
-3
Let n(r) = r. Let p be n(-5). Let w = p - -7. Solve -10 = 4*b + w for b.
-3
Let x be 3 + -1 - (-5 + 3). Let l = -2 + x. Solve -5*d = -l*d for d.
0
Let w(b) = -b**2 + 5*b - 2. Let s be w(2). Solve -s*o = o - 5 for o.
1
Suppose 9 = 6*p + 3. Solve p = s - 2*s for s.
-1
Let m be 12/(-15)*(-10)/4. Solve -13 = -3*a + m for a.
5
Let i(h) = -h**3 + 2*h**2 + 2*h - 1. Let x be i(2). Let w(t) = -t + 9. Let n be w(5). Solve n - 13 = -x*v for v.
3
Let d be (-4)/(-10) + 16/10. Let n = -40 - -50. Solve -d*w - n + 2 = 0 for w.
-4
Let y(h) = 13*h - 48. Let b be y(4). Solve -b + 24 = 4*t for t.
5
Let f(g) = -3*g**2 - 3*g. Let t be f(-2). Suppose 8 = m - 1. Let x = t + m. Solve w = -x*w - 12 for w.
-3
Let a be (0 - 0)/(-1) - -5. Suppose 0 = -3*q + 4*j - 1 - 11, -a*q + j - 3 = 0. Suppose 3*f = -6, 5*n + f - 4 - 4 = q. Solve 8 = -4*c + n*c for c.
-4
Suppose -4*c + 24 + 4 = 0. Let n = -7 + c. Suppose n = 6*i - 9*i + 9. Solve 0 = -i*u + 2*u for u.
0
Let o(i) = -i**3 + 7*i**2 + 1. Let n be o(7). Let q be (4 + -4)/(0 - n). Solve -3*k = -q*k - 15 for k.
5
Let l = -9 + 13. Suppose 4*i = -0*i + 5*q, -l*i - 3*q = 0. Suppose i = -0*a + 3*a. Solve 5*d = -a*d - 25 for d.
-5
Let j = 125 - 123. Solve i = -4 + j for i.
-2
Let b(w) = -w**3 + w**2 - 11*w - 10. Let g be b(-1). Suppose 0*u - 3*u - 5 = -i, -4*u - 5*i + 25 = 0. Let y = 0 + u. Solve f + g = -y*f for f.
-3
Let a(i) = -i**3 + 8*i**2 + 9*i + 4. Let u be a(9). Let w = -4 - -9. Solve -u*b - b + w = 0 for b.
1
Suppose -9 - 23 = -2*l. Let t be l*((-27)/12)/(-3). Suppose 0 = 4*k + 4 - t. Solve -3*r = k + 4 for r.
-2
Let v = -60 - -31. Let o = -13 - v. Solve -r + 5*r = -o for r.
-4
Let p be (-2)/8 - (-194)/8. Let d be (-2)/(-8) - (-66)/p. Let b(x) = 2*x. Let s be b(d). Solve -6 = -4*u + s for u.
3
Let o = -28 + 30. Suppose -4*r = -t - 16, -3*t + 16 = t + 4*r. Let d be (-3)/3*t/(-2). Solve d*l - o = -l for l.
2
Let g be (28/(-4) - -3)*-3. Solve 0 = -l + 4*l + g for l.
-4
Suppose 0 = -5*m + 10, -6*r + 3*m + 2 = -2*r. Solve 0 + 4 = -r*x for x.
-2
Suppose 2*s - 4*s + 36 = 4*b, 2*b = -2*s + 18. Let h be (-4 - -3) + -2 - -3. Solve -3*x - b = -h for x.
-3
Let d be (12/(-15))/((-34)/10 - -3). Solve 25 = -d*r - 3*r for r.
-5
Suppose -4*i + 3 = -29. Solve 0*x = -4*x - i for x.
-2
Suppose 5*o - 5 = w, -o + w - 8 = -w. Solve o = g - 3*g for g.
-1
Suppose 1 = 2*h - 21. Suppose 0 = -23*t + 28*t + 20. Let j = h + t. Solve 1 = -4*v - j for v.
-2
Let m = -1 + -2. Let f = 3 + m. Suppose -8*b + 10*b - 10 = f. Solve b*n = n + 16 for n.
4
Let q(p) = -2*p**2 - 25*p - 10. Let o be q(-12). Solve -o*w - 2*w = 0 for w.
0
Let a be -1 + 3 + 9/3. Solve -4*w + 7 + a = 0 for w.
3
Let g = 21 + -17. Suppose -7 + g = -s. Solve 0 = s*b - 5 - 1 for b.
2
Suppose -30 = -2*i - 3*d, 3*i + 0*i - 45 = 5*d. Solve 0 = -5*x - 0*x + i for x.
3
Suppose 12*z = 9*z + 15. Solve 0 = 5*s - 0*s - z for s.
1
Suppose l + 20 = -4*l, 0 = -2*a + 3*l + 20. Suppose -a*q + 9*q + 20 = 0. Let n be (q/6)/((-5)/150). Solve 3*w - n = -w for w.
5
Let a be (1 + 0)*(6 - 4). Solve 0 = -a*j + 5*j - 12 for j.
4
Let j be (6/(-8))/((-12)/32). Solve r + j = 3*r for r.
1
Let w(q) = -q**3 - 10*q**2. Let m be w(-10). Solve -5 = -h - m for h.
5
Suppose 3*h - 3 = 0, -j = -4*h + 1 + 3. Solve j = -3*w - 6 - 3 for w.
-3
Let c(z) = -z**3 - 9*z**2 + 11*z + 12. Suppose m + 4*g - 46 = 6*m, 0 = -5*m - 4*g - 54. Let w be c(m). Solve -1 - w = -3*n for n.
1
Suppose -2*b + 5*b = -252. Let f be 18/99 - b/22. Solve -f*u = u for u.
0
Suppose y - 5*t = -4, -4*y = -5*t + t. Suppose y = -5*o + 11. Solve 0 = -o*r - 2*r + 4 for r.
1
Let u(w) = 3*w - 14. Let z(b) be the first derivative of b**2 - 7*b + 4. Let p(x) = -3*u(x) + 5*z(x). Let j be p(-7). Solve d - 3 = -j*d for d.
3
Suppose 5*m - 6 = -4*p, 0 = -3*p - 5*m + 2 - 0. Suppose 2*c = -2 + p. Let x be ((-6)/15)/(c/(-5)). Solve x = -q - 0*q for q.
-2
Suppose 3*r + 3*r = 7*r. Solve r = 4*k + 7 + 1 for k.
-2
Let r(h) = h**3 + 3*h**2 - h + 1. Let m be r(-3). Suppose -4*a = -4*l + 2*l - 20, -m*l + 5 = a. Suppose -b + 5*k + 2 = l, 0*k = 3*k. Solve 2*p = -b*p for p.
0
Let c = -1 + 3. Suppose 0*o - u - 5 = -5*o, 0 = -2*o + 4*u + 20. Suppose o = -3*v + 5 - c. Solve v = -a + 6 for a.
5
Suppose 6 = 5*u - q - 6, 0 = -3*u + 5*q + 16. Suppose -5*d - u*j - 3*j = -20, 0 = -5*d + 4*j + 56. Solve -o = o + d for o.
-4
Let m be (-9 + 6)*(1 + -2). Suppose m*z - 6*z = -9. Solve -4*v = -z*v for v.
0
Suppose 0 = 2*c + 2*c - 16. Suppose -t + c = t. Let n be 0/(-6) + 30/t. Solve 4*u - n = u for u.
5
Suppose -9*k + 9 = -6*k. Solve k = 5*g - 2 for g.
1
Suppose -2*k + 2*m + 5 = m, 4*k = 3*m + 5. Solve 5*f - 4*f + k = 0 for f.
-5
Let s(i) = -i + 8. Let a be (-114)/(-18) - (-2)/(-6). Let j be s(a). Suppose 0*c = -3*c + 5*u - 15, c = -3*u + 9. Solve -j*y - y = c for y.
0
Let a(q) = -5*q - 5. Let x be a(-4). Sol