ve 5*d - b = -7 for d.
3
Let h = 29 + -26. Solve h*y = -0*y - 12 for y.
-4
Suppose 7*v + 3*r - 21 = 3*v, r = -3*v + 12. Solve -2 = 4*s - v*s for s.
-2
Suppose 3*d - 2*d = 0. Let l(a) = a**3 - 5*a**2 + 2*a - 3. Let u be l(5). Solve d = -3*r - u + 19 for r.
4
Let m = 3 + 1. Suppose -z = -i - 1, m = 3*i + 5*z - 1. Solve 4*t + i*t = 0 for t.
0
Let v(r) be the first derivative of r**4/2 + r**3/3 + r**2/2 + 2*r - 2. Let b(n) be the first derivative of v(n). Let m be b(-1). Solve 0 = -m*x + 2 + 8 for x.
2
Suppose x - 25 = -3*m - 3*x, 9 = m + 2*x. Let q be 6/((-2)/4 - -2). Suppose -2*d + 17 = 7. Solve -q*y + m = -d for y.
3
Let d(s) = 10*s + 90. Let n be d(-9). Solve -2*b = -n*b - 2 for b.
1
Let z(d) = -d - 1. Let i be z(-1). Let v be (3 + 15/(-6))*i. Solve 3*c + 10 + 2 = v for c.
-4
Let x be (-1)/2 + (-69)/(-6). Let s = -1 + x. Let j(a) = a**2 + 5*a - 1. Let k be j(-6). Solve 0*m - s = -k*m for m.
2
Let l = 38 + -38. Solve l*i + 8 = -2*i for i.
-4
Suppose -12*f = -14*f. Solve -2*z + z = f for z.
0
Suppose 4*l - 31 = -3*h, 2*l - 6*h = -2*h - 12. Solve 0 = v - 3*v - l for v.
-2
Let r(j) be the second derivative of j**4/3 + j**3/6 + 2*j. Let q be r(1). Solve q*w - 7 = -2 for w.
1
Let t(o) be the third derivative of -o**5/60 + o**4/4 + 5*o**3/3 + o**2. Let c be t(7). Suppose -2 = -h - 0*i + 2*i, -c*h - 2 = 2*i. Solve 2*f + f = h for f.
0
Suppose -2*l - 5*s - 15 = 0, -3 - 6 = -4*l + 3*s. Solve l = 3*c + c for c.
0
Let h(f) = -f**3 - 6*f**2 - 6*f - 2. Let p be h(-5). Solve 0 = b - p*b for b.
0
Let x(j) = j + 6. Let c be x(-4). Suppose -s + 2*s - 2 = 0. Solve -s = -c*r + 2 for r.
2
Suppose -5 + 5 = -b. Suppose 0 = 2*u - 2. Suppose b = g + c - 7, 2*g + g - u = c. Solve 4 = -g*p + p for p.
-4
Suppose 8*k - 3*k + 35 = 5*h, 5*h = -5*k + 15. Suppose 0 = 4*o - 15 - 5. Solve o = -5*p - h for p.
-2
Suppose 8*c = -5*w + 7*c + 50, -5*c - 40 = -4*w. Solve d + 9 = w for d.
1
Let g be 5/(-10) - (-21)/6. Solve 4*d = 3*d - g for d.
-3
Suppose 3 = -3*z + 18. Suppose -2*q + 14 = 5*m - 7, -15 = -5*q - z*m. Let k be (-3 - 0)/(q/6). Solve -2*h = -5*h + k for h.
3
Suppose -50 = -2*i - 38. Solve -2*y - i = -16 for y.
5
Suppose 1 = 3*g - d, 0*d - 20 = -4*d. Solve g*i - 2 = -8 for i.
-3
Let y be (21/(-4))/(12/(-32)). Solve 4*f = 6 + y for f.
5
Let c be (-9)/(3 - 0) + 6. Let l(x) = x - 1. Let h be l(c). Let a = -2 + h. Solve a*m = 3*m + 15 for m.
-5
Suppose 13 - 10 = r. Solve r*o = -2 + 14 for o.
4
Let k = 14 + -14. Solve 3*q = -k*q - 15 for q.
-5
Let h(v) = -v**3 + 4*v**2 - 3*v + 2. Let d be h(2). Solve -4*f - d = 12 for f.
-4
Suppose 0 = -x - 3 + 6. Solve -z = -2*z - x for z.
-3
Suppose -2*h = -0*h + 5*m, 3*h - m - 34 = 0. Suppose 15 = -5*q - 5*c, 0 = -2*q + 4*q + 5*c + 21. Suppose 3*x = q*x + 6. Solve -x*o + h = -o for o.
2
Suppose -z - 2*n + 2 = 0, 4*z + 5*n = 5 - 0. Let y(d) = 4*d. Suppose 4*q = -3 + 23. Let i be y(q). Solve z*t + i = -4*t for t.
-5
Let s(o) = 27*o**2 - 2*o + 1. Let b be s(1). Suppose 5*l = 3*l + 4*q + b, q = l - 9. Solve -l = x - 0 for x.
-5
Let f = -10 - -14. Solve -4 - 12 = f*a for a.
-4
Let l be 60/8*6/9. Solve 0*r = l*r for r.
0
Suppose -3*k = -7*k. Solve k*t - t = 5 for t.
-5
Let d(v) = -v**2 - 6*v + 3. Let s be d(-6). Solve n - 1 = -s for n.
-2
Let v = 97 - 95. Solve -v*y + 3 = -7 for y.
5
Suppose 27 = 4*s + 3. Solve -1 = -5*u - s for u.
-1
Let x = 12 + 23. Suppose 0 = -2*z + 3*s - 25, z - s + x = -3*z. Let b = 11 + z. Solve -b*p - 16 = p for p.
-4
Let j = 3 + 2. Suppose j*s - 157 = -37. Solve -8 + s = 4*u for u.
4
Let k(r) = -r**3 + 7*r**2 - r - 4. Let o = 2 + 1. Let h be k(o). Let n = 7 - 2. Solve h = n*m + 9 for m.
4
Suppose 6 = -0*s + 3*s. Let k(r) = 4*r - 3. Suppose 3*v + 25 = 5*u, -3*u + 5*v + 8 = -23. Let l be k(u). Solve -l*o - s - 13 = 0 for o.
-3
Let i be (5 - 2)/((-9)/12). Let f = i - -6. Solve -6 = -4*b + f for b.
2
Suppose 0*z - 4*z = -24. Let b = z + -5. Let k be ((-1)/2 + b)*0. Solve 3 + k = n for n.
3
Suppose 3*x = -74 + 80. Solve 2*r + x = -2 for r.
-2
Suppose -5*c + 6*c + 6 = 0. Let f(p) = -p**3 - 5*p**2 + 5*p - 3. Let r be f(c). Solve r*x + 0 = 15 for x.
5
Let p be ((-15)/10)/((-6)/40). Solve -p = -4*g + 6 for g.
4
Let i be 14*3/6 + -1. Suppose 2*f = -f + i. Let y(z) = 2*z. Let l be y(f). Solve -r - 10 = l*r for r.
-2
Let o = 15 - 11. Suppose o - 2 = m. Suppose -m = 2*s - 4*x, -22 = -3*s - 2*s + x. Solve -2*g + 5 = -s for g.
5
Let d = 32 - 32. Solve -2*w + 1 + 1 = d for w.
1
Suppose g - 2*g + 20 = 0. Let s(c) = -5*c - 3. Let q be s(-5). Let u = q - 15. Solve -u*b + 2*b = g for b.
-4
Suppose -20 = -3*q - q. Let c be -3 + (-78)/(2 - 0). Let b be 4/12 - c/9. Solve 0 = -b*u - q for u.
-1
Let t(k) be the first derivative of 2*k**2 - 1. Suppose 0*i = -3*v + 4*i + 26, 0 = -2*i - 10. Let z be t(v). Solve q + 3*q = -z for q.
-2
Let u(h) = 3*h + 3. Let y be u(1). Solve -2*t + y + 4 = 0 for t.
5
Suppose 9*z = 23*z - 14. Solve -z = -5*c - 16 for c.
-3
Let c be 2/(-10) - (-21)/5. Let w be -1 - (0 + -1 + -2). Let u be 5/((2 - 3) + w). Solve c*g + g = -u for g.
-1
Suppose 2*o + 19 = -5*c, 4 = -4*o - 5*c - 9. Let i be 14/o + 4/(-6). Solve i*q - 7*q - 6 = 0 for q.
-2
Suppose t - 2*t = 0. Suppose t*v = 5*v + 10. Let g = 2 - v. Solve g*f + 5 - 21 = 0 for f.
4
Let i be -2*(30/(-4) + -1). Suppose 3 = 5*j - i. Solve f = 2*f - j for f.
4
Suppose -2 = -2*b - 6. Let y = b - -10. Suppose -4*r = 5*c - 12, -4*c + y + 1 = 3*r. Solve -1 = -r*j - 4 for j.
-1
Let i(p) = 5*p**2 - p. Let l be i(-1). Suppose -10 = -f - f. Let d = l - f. Solve 2 = -w - d for w.
-3
Let h(l) = -l**2 - 7*l - 6. Let q be h(-7). Let a be (-2)/(-6) + (-28)/q. Solve 4 = -a*s + 4*s for s.
-4
Suppose 2*t = -6, 19 = l + 2*t - 5*t. Solve l - 2 = 4*x for x.
2
Suppose 0 = -u + 11. Let v be (-242)/(-10) - (-7)/(-35). Let f = v + -21. Solve u = f*l - 4 for l.
5
Let b(q) = -4 + 0*q**3 - 8*q + q**3 + 6 + 7*q**2. Let j be b(-8). Solve -4*h - 6 - j = 0 for h.
-2
Suppose 5*r + 0*r = 0. Suppose -2*o + 21 = -67. Suppose -4*t + 8 + 58 = u, 3*t - 2*u = o. Solve r*w = -4*w - t for w.
-4
Suppose -5*f + 4*n = 9*n + 30, -25 = 5*n. Suppose 0 = -5*s - 41 - 14. Let c = f - s. Solve -2 - c = -4*g for g.
3
Suppose -8 = -7*j - 71. Let g be ((-21)/9 - -2)*j. Solve -g = 3*m - 12 for m.
3
Suppose 0*n + 12 = 4*u + 2*n, -3*n = 3*u - 12. Solve 3 = -u*m - 1 for m.
-2
Suppose -3*x = 3*f - 36, 0 = -5*f - 3*x - 0 + 54. Let v be 3 + 1 + -1 + 3. Solve 3*j + f + v = 0 for j.
-5
Suppose -2*b + 7 = 3. Suppose r - 4 = b*l - 0, 4*r - 16 = l. Solve 0*i + r = 2*i for i.
2
Let x = -15 + 21. Solve -g + 25 = -x*g for g.
-5
Let h = -107 + 109. Solve 6*r = h*r + 12 for r.
3
Suppose -4*g = -3*i - 2*i - 26, 10 = g - 3*i. Solve 1 = g*t - 3 for t.
1
Let t be -11*(-4)/(-2) - 2. Let g be (3/9)/((-4)/t). Solve 0 = b + g*b - 3 for b.
1
Suppose 2*m = -0*m + 12. Suppose 3*s - m = 9. Suppose 3*z - 30 = -2*z. Solve z*j + s = j for j.
-1
Let v be 10 + 2/4*-6. Let n = -4 + v. Solve -10 = -n*w + 5*w for w.
-5
Let j(r) be the second derivative of r**7/504 - r**5/120 + r**4/12 - r. Let p(x) be the third derivative of j(x). Let h be p(-1). Solve h*c + 5 + 15 = 0 for c.
-5
Let q be (-120)/6 + 2*1. Let t = -14 - q. Solve t*s + 8 = -8 for s.
-4
Suppose 28 = 2*y + 2*y. Let l(f) = 2*f - 7. Let o be l(y). Solve 5*t = -o + 2 for t.
-1
Let a(g) = -g**3 + 5*g**2 + 6*g + 5. Let n be a(6). Suppose 0 = 2*w - w + 5*b - 1, -w + 2*b = -1. Let f = 1 + w. Solve 0 = n*c - 3*c - f for c.
1
Suppose 4*d - d = 51. Suppose -q - d = 3*t, -4*t = q + 7 + 15. Let x be (0 - -1 - 1)/q. Solve 12 = 3*s - x*s for s.
4
Let r(n) be the first derivative of -n**3/3 + 5*n**2/2 + 2*n - 3. Let l be r(4). Solve -5*z - l = 19 for z.
-5
Let l = 11 + -9. Suppose v = 4 - l. Solve -4*s + 2 = -v for s.
1
Suppose 4*k = -2*o - 8 - 2, -4*o = 2*k + 20. Solve u + 3*u - 16 = k for u.
4
Let x(g) = 2 + 3 - 4*g**2 + 0*g**3 + g**3. Let l be (-6)/((45/6)/(-5)). Let p be x(l). Solve 2*y - y = p for y.
5
Suppose -4 = -x - 2*m, 5*x - 11 = -m - 0*m. Solve -j = x*j - 12 for j.
4
Suppose 3*u - 3*d = 5 + 4, -4*u - d + 27 = 0. Let p(o) = 2*o. Let w be p(u). Let j be 87/w + (-1)/4. Solve -j - 5 = 4*h for h.
-3
Suppose 4*d + 4*i - 4 = 0, 4*d - 15 - 13 = 2*i. Solve 3 = d*h - 6*h for h.
-3
Suppose -10 - 4 = -2*d + 4*q, d = -5*q. Suppose j + 53 = d*j - 5*z, -z = 5. Solve j*n - 3*n - 12 = 0 for n.
3
Let y = 84 - 74. Solve 4*z