 = -d*n for n.
0
Let o = 7 - 3. Let p = -1 + o. Solve p = -5*t - 2 for t.
-1
Suppose 74 = 4*s - 2*p, -5*s = -p - 119 + 22. Let x be (2 + 0)/((-12)/(-18)). Suppose -8 = x*f - s, 6 = 2*h + f. Solve 0 = 3*o + h + 8 for o.
-3
Let k be (-2)/(1/2*4). Let o be -2 + 3 + k + 15. Solve 2*j + 3*j + o = 0 for j.
-3
Let j be (1 + (-76)/28)*-7. Let s(p) = 5*p + 2. Let m be s(-2). Let o = m + j. Solve 0 = -0*t + o*t - 16 for t.
4
Suppose -2*l = -5*c + 1, -3*l + 0*c + 2*c + 4 = 0. Let x = l + 0. Suppose x*u = -0*u. Solve 2*r + 3*r + 15 = u for r.
-3
Suppose -11*d = -3*d - 32. Solve d*z - 34 = -14 for z.
5
Suppose 0 = -3*d - 3*c, 6 = 5*d - 2*c + 4*c. Suppose d*p - 2 = p. Solve 0*u - 4 = -p*u for u.
2
Suppose -45 = -3*m - 2*m + 4*a, -5*m + 5 = 4*a. Solve 30 - 5 = m*q for q.
5
Let v = 11 - 5. Suppose 0*g + 3*g - v = 0. Suppose 5 = -g*d + 13. Solve 0 = f - 2*f - d for f.
-4
Suppose k - 3*t - 15 = 0, 0*k + 4*k + 4*t + 4 = 0. Solve -2 + k = g for g.
1
Let s(n) = n - 3. Let y be s(14). Let h = 14 - y. Solve 0 = -3*l + h for l.
1
Let z(f) = 2*f**2 + f. Let x be z(-2). Solve x = -5*d - 4 for d.
-2
Let r = 4 + -3. Let u(m) = 3 - m + r + 6. Let q be u(7). Solve 7*y - q*y + 16 = 0 for y.
-4
Let h(q) = -q**3 - 6*q**2 + 9*q + 16. Let s be h(-7). Solve r + s - 1 = 0 for r.
-1
Let h = 16 + -12. Suppose p = h*p - 48. Solve -7*o + p = -3*o for o.
4
Let j be 49/2 + (-5)/(-10). Suppose 3*p = 3*r + 9, -3*r - 3*p = 4 - j. Solve -m - r = -3*m for m.
1
Let x(l) = 8*l**2 - 2*l - 1. Let q be x(-1). Let b be 6*(-1)/2 - -7. Suppose -2 = j - 4*j + 2*n, 2*j = 4*n - b. Solve -j*s + q = -1 for s.
5
Let p be (-2)/4 - (-13)/2. Let h(q) = 3*q - q - 4*q + 1 + 3*q. Let b be h(-1). Solve b = -0*i + 2*i - p for i.
3
Let c = 32 + -29. Solve -4*v = -19 + c for v.
4
Suppose 0 = 3*t - 2*h + 10 - 26, -t = 4*h + 4. Suppose -4 = -t*d + 24. Solve -12 = d*c - 3*c for c.
-3
Suppose -t + 6*t - 20 = 0. Solve 3*o = -5 - t for o.
-3
Let z = 5 + 3. Solve -6*t = -2*t + z for t.
-2
Let a = -2 + 4. Suppose -44 + 8 = 4*g. Let s be (-4)/a - g - 0. Solve s*f + 16 = 3*f for f.
-4
Let j = 10 + -20. Let h = -7 - j. Solve h*c = -0*c + 9 for c.
3
Let r be (18/21)/(2/28). Let w be 1 + -1 + 1 + 1. Suppose 2 = -b - w*b + 4*m, -2*m = -2*b. Solve 5*n + r = b*n for n.
-4
Let j be ((-20)/6)/(14/(-63)). Solve -w = -4*w + j for w.
5
Let a = 13 - 8. Let k(c) = c**3 - 5*c**2 + 3. Let g be k(a). Solve 2*d - g*d = 0 for d.
0
Let l(u) = 2*u**2 - 2*u - 2. Let m be l(2). Let n be (2 - m)/(-2 - 0). Let b be (16 - -2)/(n + 1). Solve -5*d + b = -2 for d.
4
Suppose -5*l - 4*b + 2*b = -53, -4*l = b - 43. Suppose -2*f = -0 - 2. Suppose -z + l = f. Solve -z = -3*t - 1 for t.
3
Let x(m) = -m**3 - 4*m**2 - 5*m - 2. Let i be x(-3). Suppose i*y - 1 = 3. Solve -y - 1 = 2*d for d.
-1
Let k = 98 + -98. Let t(f) = -f**2 - 6*f + 8. Let l be t(-6). Solve -2*b + k*b + l = 0 for b.
4
Suppose 4*t - 3*y = 3*t - 21, 4*t = -3*y - 24. Let r = t + 14. Solve 0*m + 10 = r*m for m.
2
Let k(c) = 0*c - 3*c - 5 + c + c. Let x be k(-4). Let l be -3 - (-9)/(2 - x). Solve l = -2*a - 4 + 8 for a.
2
Suppose 4*w = -5*r + w + 8, w = 1. Solve -1 - r = -2*v for v.
1
Suppose 2*o - 56 = -3*o - 4*s, -o + 4*s = 8. Solve 0*z - 4*z - o = 0 for z.
-2
Suppose 5*c = -3 - 7. Let p = c - 2. Let y = p + 6. Solve -g + y = -3 for g.
5
Suppose w = 3*w. Suppose l = w, -4*v + 2*l + 2*l = -8. Suppose 3*a - 14 + v = 0. Solve a*g = -1 - 11 for g.
-3
Let s(n) = -2*n + 15. Let d be s(6). Solve -3*m + 6 = d for m.
1
Let i(g) be the first derivative of g**2/2 + 9*g + 3. Let d be i(-7). Solve n = -d + 4 for n.
2
Let h = 0 - -1. Let i be (-7)/(28/(-24)) + (-2)/1. Solve -i*o + 11 = -h for o.
3
Let j be 4*(-14)/4*6/(-42). Solve 1 = o - j for o.
3
Let c be ((-6)/(-5))/((-6)/(-20)). Suppose 4 = -c*y + 6*y. Suppose 5*u - 4*u = 4*o - 5, -y*o + u = -5. Solve g + o = 5 for g.
5
Let o(w) = w**3 + w**2 + w + 15. Let p be (1 + -1)/(0 + -1). Let s be (p/(-1 - -2))/(-3). Let v be o(s). Solve v = -2*l - 3*l for l.
-3
Let v = 8 + -2. Solve t = 4*t + v for t.
-2
Suppose -2*t + 4*t - 4*o = -40, 4*o = -5*t - 156. Let j be 6/9 + t/(-3). Let b = -57 - -58. Solve -j = 3*s - b for s.
-3
Suppose 0*q - 2 = 2*q - 2*g, 2*q = -4*g + 28. Suppose -q*x + 16 = -0. Suppose 0*o + o - 5 = 2*m, 3*m = 4*o - 10. Solve 5*a = x*a - o for a.
-1
Suppose l - 10 = 25. Suppose -x = 3*b - l, -10 = b + x - 5*x. Suppose f - k = b, 0*f - 2*k = f + 5. Solve 0 = f*y + 2 + 8 for y.
-2
Suppose -5 - 1 = -2*j. Suppose j*w - 16 = 2*w. Let f = w + -11. Solve -f*a - 12 = -a for a.
-3
Suppose -3*m - c - c + 13 = 0, -23 = -4*m + 3*c. Solve 0 = m*q + 6 + 9 for q.
-3
Suppose x = 2*x - 4. Suppose 0 = -3*n + n + x. Solve -n*a = a for a.
0
Let s = 0 + 6. Suppose -5*d = -2*d - s. Solve -d*i + 15 = -5*i for i.
-5
Suppose 4*z - 3*z = -19. Let h = -17 - z. Solve -h*p + 0*p + 2 = 0 for p.
1
Let x = -8 - -9. Solve -g + 3 = -x for g.
4
Let y = -2 - -27. Let f(l) = -l**2 + l - 5. Let q be f(0). Let z = y + q. Solve -z = -6*i + i for i.
4
Suppose -s = 2*k + 3*k - 39, -4*k = -3*s - 16. Let j = k - 5. Solve j*a = -2*a + 16 for a.
4
Suppose -2*v + 0 - 8 = 0. Let q(u) = 5*u + 1. Let o be q(v). Let p = o - -39. Solve 0 = l - 6*l - p for l.
-4
Suppose -11 = 5*c - 1, -4*f - 4*c - 44 = 0. Let i = f - -13. Solve 0 = -i*t - t - 15 for t.
-3
Suppose 3*a + 30 = 6*a. Let r = 19 - 19. Solve -a + r = -2*t for t.
5
Let h(g) = g**3 - 12*g**2. Let d be h(12). Solve d*c = -c + 2 for c.
2
Suppose 3*w = -7*t + 5*t + 20, 4*t = w + 12. Solve -2*k - t = 4 for k.
-4
Let i = -19 - -31. Suppose 5*v + 2*n - 46 = 0, -13 = -2*v - 3*n + i. Solve 0*m - v = 4*m for m.
-2
Suppose 5*v + 12 = 2*v. Let s(m) = -m**3 - 3*m**2 + 4*m. Let y be s(v). Solve a + 0*a - 1 = y for a.
1
Suppose -6*o + 2*o + 2*a + 38 = 0, 3*o + 5*a = 48. Solve -o = -4*l + 5 for l.
4
Let u = 10 - 6. Suppose -u*g + g + 12 = 0. Solve g*j - 3 = 1 for j.
1
Let o(g) = -g - 4. Let h(s) = 2*s - 4. Let c be h(3). Let q be -7 + c + -1 + -1. Let j be o(q). Solve -1 = j*w + 2 for w.
-1
Let m be (6/(-4))/((-6)/16). Solve a = -m*a for a.
0
Suppose -4*v + 2*v + 4*p = -20, 0 = -2*v + p + 11. Solve -2 = -3*j + v for j.
2
Suppose 0 = 2*r - r - 2. Suppose 4*h - 6 = r*h. Solve -h*o + 4*o = -3 for o.
-3
Suppose -4*o = -14*o + 40. Solve -o*m + m = -6 for m.
2
Let a(h) = h**2 - 2*h - 1. Let c be a(3). Suppose 0 = c*u + 3*u - 125. Let w be 140/u + 4/10. Solve -y + w = y for y.
3
Let v(o) = -o + 11. Let x be v(8). Let h = 8 - x. Solve -r = -h*r for r.
0
Suppose 3*o + 3 = -2*x + 2*o, -2*o - 6 = 0. Suppose -4*m - m = -25. Suppose -2*b + b + 6 = 3*c, -5*b = m*c - 10. Solve -c*z - z = x for z.
0
Suppose -53*z + 48*z = -10. Solve 0*b = z*b + 6 for b.
-3
Let b(q) = -9*q**2 + 3*q - 5. Let o(g) = 8*g**2 - 2*g + 4. Let h(z) = 3*b(z) + 4*o(z). Let t = -10 + 9. Let r be h(t). Solve -r*l + 20 + 0 = 0 for l.
4
Let j = -2 - -13. Suppose f - j = 3. Suppose 0 = x - f + 4. Solve y = -y - x for y.
-5
Let h(m) = m**3 - 17*m**2 + 17*m - 13. Let f be h(16). Solve 0 = 3*p - 0 + f for p.
-1
Let c(n) = n**3 + 3*n**2 - 6*n - 6. Let z be c(-4). Let l = z - -1. Suppose 4*d = 1 + l. Solve 3*p = d + 2 for p.
1
Suppose -1 = 2*z - 19. Let f = -9 + z. Solve -3*o + 1 + 5 = f for o.
2
Let i be -2 + (-9)/(-3) + 2. Let j(k) = -k**2 - k. Let b be j(0). Suppose b = -y - i*y + 40. Solve 0 = 5*v - y for v.
2
Suppose v - 2*q - 8 = 0, 4*v - 3*v + q = -4. Let g = 5 - v. Suppose -x + 16 = 3*x, -g*l = -5*x + 5. Solve l*h = 2*h for h.
0
Let a = -8 + 33. Let k be 88/14 - 26/91. Solve -r - a = -k*r for r.
5
Let b = 30 - 13. Suppose 0 = 5*y - b - 53. Let d be 1*(-1)/(-2)*6. Solve -d*a = 5 - y for a.
3
Let h = 4 + 2. Let v be (-15)/(-10) - h/4. Suppose -k + 6 = 2*k. Solve -k = 2*x - v for x.
-1
Let s be (18/(-45))/((-2)/20). Suppose -s*y = -6 + 26, 3*t - 16 = 2*y. Solve v + 2 = t*v for v.
2
Let o(l) = l**3 + l**2 - 5*l + 3. Let w(d) = -d**3 - d**2 + 4*d - 4. Let f(j) = -3*o(j) - 4*w(j). Let i be f(0). Solve 5*p + i = -3 for p.
-2
Let x be (-2 + 4 + -3)*-3. Suppose 0 = 4*o - 5*b - 5, 5*o - b - 4*b = 5. Solve o = 7*y - x*y + 8 for y.
-2
Let h = 7 + -12. Let w = h + 12. Solve -w*y = -2*y + 15 for y.
-3
Suppose 3*d = -d + 20. Suppose d*v + 4*g = -g, -18 = -2*v + 4*g. Suppose 2*j = v + 7. Solve 3*b - j = -17 for b.
-4
Suppose a - 16 - 1 = 0. Let z be (-1 + a)*3/4. Solve -2*f - 2*f - z = 0 for f.
-3
Let g = -47 + 