d + 5 for d.
5
Let r be ((-5)/(-15))/((-1)/(-27)). Suppose n + 3 = r. Solve n = v + 3 for v.
3
Let d = 176 + -174. Solve d*l + 1 = -7 for l.
-4
Suppose 5*t - 33 = 2*g, -5*t + 4*g = g - 37. Solve 2*m + 3 + t = 0 for m.
-4
Let v = 3 - 3. Let h be (2/3)/(6/9). Let c(k) = 3*k**2 - k. Let l be c(h). Solve 0 = -m - v*m + l for m.
2
Let s be (1 - -1)*1 + 0. Solve 5*c = -s - 13 for c.
-3
Let g be 3/2 + (-2)/(-4). Let c = 4 - g. Solve -3*o - c = -5 for o.
1
Let n(h) be the second derivative of h**5/5 + h**4/12 + h**3/6 - h**2/2 + 2*h. Let k be n(1). Suppose -147 = -k*w - 32. Solve -5*s - w = -8 for s.
-3
Suppose -s + 7 - 18 = -4*p, 0 = -2*s + 2*p - 4. Solve f = 6 - s for f.
5
Suppose -4*j - 17 = -5*x, 0 = 3*x + 5*j + 3 + 9. Let u = 3 - x. Solve -12 = 2*b - u for b.
-5
Let r(c) be the first derivative of -c**2/2 + 3*c + 1. Let u be r(0). Suppose 77 = u*b + q, 0 = 4*b - 0*b + q - 102. Solve -z - 4*z + b = 0 for z.
5
Let o(g) = g**2 - 7*g + 13. Let k be o(5). Solve k*d - 8 = 7*d for d.
-2
Let v(s) be the third derivative of -2*s**2 + 0*s + 0 + 1/6*s**3 - 1/8*s**4. Let m be v(-1). Solve t = -m - 1 for t.
-5
Suppose 3*q + 3*a = 39, 4*q - 8 = a + 24. Solve -q - 3 = -4*k for k.
3
Suppose 7*y = 2*y. Solve y = z - 2 + 6 for z.
-4
Let c be 22/4 + 1/(-2). Solve -1 + c = z for z.
4
Suppose -2*p + o = -o - 16, -3*o + 8 = 5*p. Suppose 0 = 5*t + 13 + 2. Let l = 6 - t. Solve -p*m = 25 - l for m.
-4
Let h = 13 - -15. Let z = -3 + h. Solve -j + 6*j = z for j.
5
Suppose 3*y - 9 = 4*u, 5*y + 49 = -3*u - u. Let v = u + 6. Solve -n + 0*n - 1 = v for n.
-1
Let g be 2 - (-6)/(-9)*-3. Solve 0 = -g*j + 5*j for j.
0
Let x(f) = f**3 + 2*f**2. Suppose 4*l - 4*s - 14 = -2*s, -3*l + 5*s + 7 = 0. Suppose 2*v + 1 = -q - 2, v + l = 2*q. Let r be x(v). Solve -t + 3 = -r*t for t.
3
Let q = -7 - -16. Suppose -q + 1 = 4*s. Let z(l) = -2*l**3 - l**2 + 2*l. Let w be z(s). Solve -3*i = -2 + w for i.
-2
Let i be ((-3)/3 - 22)*-1. Let f = i - 2. Suppose 5*o = f - 6. Solve -j - 10 = -o*j for j.
5
Let t(i) = i**2 - 8*i + 5. Let j be ((-10)/(-15))/(2/24). Let c be t(j). Let w be (-30)/(-4)*(c - 3). Solve 0 = -4*r + r - w for r.
-5
Let v = -18 + 25. Suppose 0 = -3*f + v - 1. Solve -4 - f = 2*s for s.
-3
Let t(l) = l**3 + 7*l**2 - 3*l - 11. Let k be t(-7). Solve 0*y - 2*y + k = 0 for y.
5
Suppose -1 = 3*l - 4. Suppose h = 2*q - l, -4*q + 32 = 2*h + 2*h. Solve 0 = -2*k - q*k - 5 for k.
-1
Let b(i) = i**3 - 5*i**2 + i - 3. Let v be b(5). Suppose -v*p - l = -p + 3, p = -5*l - 23. Solve 0 = p*z + 3*z - 20 for z.
4
Let f be 1/8 - (-282)/48. Let t be (-3)/f + (-14)/(-4). Solve y = -t*y - 16 for y.
-4
Suppose -10*j = -12*j + 2. Let b be (6 + -2)/(j + 0). Solve -x + 1 = -b for x.
5
Suppose -h + 3*h = 6. Let i = -11 + 21. Let x be 26/i - 4/(-10). Solve -x*m = h - 0 for m.
-1
Suppose -2*w + 6*w + 32 = a, 4*w + 40 = 3*a. Let b be w/(-3) - (-4)/6. Solve -b + 0 = -s for s.
3
Let a be 1/6 + (-23)/(-6). Solve -b - 9 = -a*b for b.
3
Let d be 6 - (-1 - (-3 + 1)). Suppose -5*v + 90 = d*o - o, v = -3*o + 29. Solve 5*j = -v + 4 for j.
-2
Suppose 0 = -5*f + 5*w + 105, -3*f - 4*w + 50 - 8 = 0. Let b = -13 + f. Solve -b = 2*g - g for g.
-5
Let w = -18 - -19. Solve -3*y - w = -2*y for y.
-1
Suppose 0 = 3*o - 6*o. Suppose 0 = -o*y - 3*y + 21. Suppose 3*j + 0*j = 0. Solve 4*k - 27 + y = j for k.
5
Suppose -4*h = -8*h + 24. Solve 4*f = h*f - 2 for f.
1
Suppose 0*d = -3*j + 3*d + 6, -d - 6 = -5*j. Solve 0 = -0*f + f + j for f.
-1
Let m(t) = -t**2 + 2*t + 10. Let z be m(4). Solve -10 = z*k + 3*k for k.
-2
Let d(h) = -2*h - 2. Let n be d(-4). Let t(l) = -l + 2. Let g be t(5). Let c = g + 8. Solve -3 = -c*u + n*u for u.
-3
Let h(b) = -b**3 - 14*b**2 - 13*b. Let s be h(-13). Solve 4*j + 3 + 5 = s for j.
-2
Suppose 4*a - 5 = -5*p, 2*a - 4 = -3*p - 1. Let g(z) = -z**3 + 3. Let l be g(a). Solve -l*u = -4*u for u.
0
Suppose 50 = 3*l - 0*l + 5*j, 2*j = -3*l + 38. Solve v = 3*v + l for v.
-5
Let p(a) be the third derivative of 1/6*a**3 + 1/24*a**4 + 3*a**2 + 0 + 0*a. Let w be p(-1). Solve 8 = -w*i + 2*i for i.
4
Let r = 22 - 18. Solve 0 = -r*f + 8*f - 12 for f.
3
Let u = 15 - 10. Solve u*t + 1 = -4 for t.
-1
Let d(l) = -3 + l**2 + l + 0 + 3. Let q be d(3). Let f = 19 + -13. Solve 3*w + q = f*w for w.
4
Let u be 6 - ((-6)/(-3) - -1). Let w(x) = x**2 + 3*x - 3. Let g be w(u). Solve 8*c - 3*c + g = 0 for c.
-3
Let b = -1 + 4. Suppose 0 = b*w + 2*w + 30. Let q = w - -6. Solve l + q*l = 5 for l.
5
Let b(m) = -m**2 + 5*m - 2. Let o be b(3). Solve o - 1 = 3*z for z.
1
Suppose 3*g + 0*g - 6 = 0. Suppose g*h - 11 = 4*a + 11, 0 = 5*h - 5*a - 40. Let s = h + -2. Solve s*t - 2 = -5 for t.
-1
Let g be 0 + 0 + (0 - -2). Let f(o) = -o**3 - 13*o**2 + 2. Let l be f(-13). Solve -g*a = l*a for a.
0
Suppose -2*o = 3*k - 15, 10 = 3*o + 3*k - 5. Suppose 0 = 3*t - o*t. Let i(u) = u**2 - 2*u + 3. Let l be i(3). Solve t = -l*w + 3*w + 3 for w.
1
Suppose 5*m - 12 = 123. Suppose -x + 5*d + 4 = -21, 3*d + m = 3*x. Solve 0*k = -x*k + 5 for k.
1
Let n be (12/9)/(8/12). Solve -n*r + r = 3 for r.
-3
Suppose 11 = 3*t + 2*w, 3*t + 4*w = -12 + 31. Solve 4*a - t = -21 for a.
-5
Let v(d) = d**2 + 4*d. Let r be v(-4). Suppose -5*h - 25 = r, -s = 4*s - 3*h - 90. Solve -s = 4*f - f for f.
-5
Suppose 3*a + 4*y - 7 = 7, 0 = a - y. Suppose 4*q = a*q + 6. Solve q*l - 21 = -6 for l.
5
Let k = -19 + 29. Suppose -5*d - 5 = -6*d. Solve -d*m - 35 = -k for m.
-5
Let f = -14 - -21. Let m = f - 4. Suppose -3*q + 15 = 6. Solve -q*t = -m + 12 for t.
-3
Suppose 16 = -28*b + 32*b. Solve 0 = b*o + o - 15 for o.
3
Let h(v) be the first derivative of -v**3/3 - 7*v**2/2 + 3*v - 1. Let d be h(-7). Solve 10 = 8*j - d*j for j.
2
Let d = 11 - 3. Solve -r - d = 3*r for r.
-2
Suppose 5*w - 2*b + 5*b = -9, -3*w + b + 3 = 0. Solve w = -3*t - 11 - 1 for t.
-4
Suppose -27 = -5*u - 4*u. Solve u*l - 9 = -0 for l.
3
Suppose 30 = 7*k - 2*k. Solve 3*n - k = -0*n for n.
2
Suppose 3*f - 3 = -0*f. Let p(r) = 25*r**2 + 2*r - 1. Let d be p(f). Solve 6 = 5*v + d for v.
-4
Suppose 3*r = -r + 2*m + 6, -2*r - 3 = -3*m. Let d(k) = -k**3 + 3*k**2 + 4*k - 3. Let x be d(r). Solve -j = 2*j + x for j.
-3
Let m be (-1)/(3/(-51) - 0). Suppose -p = 2*p - 9, l + 5*p - m = 0. Solve l*u - 5 = 3 for u.
4
Let k = 71 - 17. Let l = k + -24. Suppose 2*t - l = 10. Solve -4*b - t = b for b.
-4
Suppose -v = -4*n - 5*v + 76, -3*n + 41 = -v. Suppose 2*k = -k + n. Suppose -4*i = -f - 40, -2*i - 4*f = -k - 15. Solve 6 = 4*m - i for m.
4
Let p(q) = q**3 - 20*q**2 - 43*q - 22. Let n be p(22). Solve n = -x + 6*x - 15 for x.
3
Suppose 4*v + 22 = v + d, -2*d = v - 2. Let k = v + 11. Let s(l) = l - 4. Let t be s(k). Solve 0 = -c - 0 + t for c.
1
Let h(m) = 7*m**2 + m. Let f(r) = -r**3 + r**2 + r + 1. Let n be f(2). Let w be h(n). Solve v - 10 = w*v for v.
-2
Let b = 19 - 8. Solve 1 = -2*y + b for y.
5
Let u = -10 - -14. Let w = 5 - u. Solve 0 = -2*x + w - 3 for x.
-1
Let r = 5 - 2. Suppose r*s - 5*c - 5 = -2*s, -s + 2*c + 1 = 0. Let w = -51 - -51. Solve -u + w = s for u.
-1
Let l = -12 + 16. Suppose -b = l*b - 25. Solve -b*g - 27 = -7 for g.
-4
Let i = 13 - 10. Solve i*y - 2*y = -1 for y.
-1
Let g(y) = y**3 - 5*y**2 + 6*y - 4. Let r be g(4). Suppose b - 3*b + r = 0. Solve -2 - 2 = b*f for f.
-2
Suppose -2*c + 4*c = 0. Suppose c = -2*q + 5*m + 2 + 12, -q + 10 = -4*m. Solve -q*h = -3 + 7 for h.
-2
Suppose -j = j. Suppose -3*o = 2*o - 25. Let y = o + j. Solve -2*v + 5 + y = 0 for v.
5
Suppose -3*y - 6 - 6 = 0. Let a be 1/(-2) + (-2)/y. Solve a = 2*z - 0*z for z.
0
Let m(w) = -w + 1. Let c(t) = -5*t - 3. Let s(f) = c(f) - 4*m(f). Let i be s(-7). Solve i = -5*u + 8 + 7 for u.
3
Suppose 7*r = 3*r + 4. Solve -1 - r = 2*m for m.
-1
Let p = 3 - 3. Solve 3*g + 5 + 10 = p for g.
-5
Let d = 41 - 24. Let q = d + -9. Let j be (6/8)/(1/q). Solve 0 = j*c - 2*c - 16 for c.
4
Let b be 3 - (4 + 2)/(-2). Solve u - b*u = 10 for u.
-2
Let w be 1/4 + 711/36. Solve 0 = 5*a + 5 + w for a.
-5
Suppose 0 = 6*m - 3*m - 18. Suppose m = 3*i - 9. Solve -8 = a - i*a for a.
2
Suppose -20*c - 12 = -26*c. Solve -c*s = -1 + 3 for s.
-1
Let j = 95 - 95. Solve j*x = x - 4 for x.
4
Let u = -34 - -37. Suppose -u*b - 3*r = 2*r - 12, 39 = 4*b - r. Suppose a = 2*a. Solve a = 4*q - b - 11 for q.
5
Let r(n) = -2*n - 8. Let a be r(-6). Suppose 10 - 2 = -u. Let y be (u/(-12))/((-6)/(-27)). 