b - 7*b for b.
1
Let c(b) = b - 1. Let x(y) = -y**2 - 5*y + 5. Let j(n) = -6*c(n) - x(n). Let w be j(3). Let f = w + -6. Solve g + 4 = f for g.
-3
Suppose -l = -3*l + 6. Solve 0 = 2*c - l - 3 for c.
3
Suppose 10*g = 6*g + 20. Solve -g*p - 28 = -3 for p.
-5
Let q = 51 - 49. Solve q*g - 16 = 6*g for g.
-4
Suppose 5*f + 3 = -37. Let q = 14 + f. Solve y + q = -2*y for y.
-2
Let s be 9 + -8 + -1 + 0. Solve -m = -s + 1 for m.
-1
Let o(x) = -x + 1. Let q be o(-4). Suppose 0 = -d - q*s + 3, 2*d + s - 5*s - 34 = 0. Suppose 3*f - d = 2*r, -4 = -f - 3*f - 4*r. Solve 1 = f*v + 13 for v.
-4
Let j(m) be the second derivative of -m**4/12 + m**3/3 - m**2/2 - m. Let y be j(1). Solve -25 + y = 5*f for f.
-5
Let t(x) = -x + 2*x**2 - 6*x + x**2 - 4*x**2 - 7. Let w be t(-5). Solve 0*d - w*d + 9 = 0 for d.
3
Let r(k) = 2*k**2 + 12*k - 10. Let h be r(-7). Solve 0 = h*f - f + 3 for f.
-1
Suppose 8*a - 9 = 5*a. Let u be a/(-2)*(-6)/3. Solve -u*s + 8*s + 10 = 0 for s.
-2
Let z(u) = -u**3 - 12*u**2 + 4. Let d be z(-12). Let h(k) = k**2 + 2*k + 1. Let g be h(-4). Let j = 17 - g. Solve -y + d = j for y.
-4
Let a be -3 + 6/2 + 4 + 1. Solve a*z + 12 = z for z.
-3
Suppose -5*u - 8 = n, 5*n - 4 = -5*u + 16. Solve n = 4*v - 5 for v.
3
Let c be -2*(-9)/2 - 3. Suppose 18 = -0*t + c*t. Solve 2*z = 1 - t for z.
-1
Let j(w) be the first derivative of w**3/3 - 4*w**2 + 5*w + 4. Suppose -5 = q, 4*g = -2*q + 21 + 5. Let p be j(g). Solve 4*h + 2 = -p for h.
-4
Suppose 69 = 11*u + 12*u. Suppose 3*r + 2*r = 10. Solve u*w + 1 = -r for w.
-1
Suppose 5*q - 21 - 4 = 0. Let w(p) = -p + 7. Let x be w(6). Let y be (x + (-1 - -1))*q. Solve -y*g + 2 = 27 for g.
-5
Suppose -4*c + d = -73, -2*d - 92 = -4*c - c. Suppose -7*r + 28 = -2*r + 4*z, -2*r - 5*z = -c. Solve -r*y - 20 = -8*y for y.
5
Suppose -5*d - 20 = 0, 3*q + 3*d - 47 = 4. Suppose -a = -4*a - q. Let m = a + 7. Solve 4 = c - m for c.
4
Let k = 9 - 4. Suppose 0 = -3*a + k*a - 8. Suppose -2*c = -6*c. Solve a*t - 20 = -c*t for t.
5
Let j be (0/1)/(-21 - -22). Solve j = 3*f - 5*f + 8 for f.
4
Let g = -11 + 11. Solve g*r - 15 = 3*r for r.
-5
Let t(n) = -n**3 + 3. Let i be t(0). Solve -i*v + 4 = -v for v.
2
Let k be -6 + (-2)/(-4)*2. Let l(m) = -m**3 - 5*m**2 + 3. Let b be l(k). Solve 0 = -s - b*s - 12 for s.
-3
Suppose 0 = -3*z + 2*h + 16, 4*z - h = -6*h - 17. Solve -10 = -3*b + z for b.
4
Let o(v) = v + 11. Let f be o(-9). Let j(r) = -r**3 - r**2 - r. Let h be j(0). Solve h = f*t - 0*t - 2 for t.
1
Let a = 79 + -71. Solve -2*q + 0*q = -a for q.
4
Let s(z) = z + 4. Let m(h) = -6*h - 20. Let o(i) = -2*m(i) - 11*s(i). Suppose 0 = 4*l - 21 - 15. Let g be o(l). Solve 2*u + g = 1 for u.
-2
Let q(k) = -k**2 + 5*k + 4. Let h be q(4). Let p = h - 12. Let x = -4 - p. Solve -25 = -x*l + 5*l for l.
-5
Let i(n) = -2*n + 22. Let j be i(11). Solve 3 = c - j for c.
3
Suppose 0 = 5*l - 17 + 12. Solve 0 = -p - 0*p + l for p.
1
Suppose 0 = -3*s + 5*o, -11 - 10 = -3*s - 2*o. Solve -5 = 5*b + s for b.
-2
Suppose 3*x - 2*x = -y + 3, -3*x + 4*y - 12 = 0. Solve -v - 2*v = x for v.
0
Let u = -1 + 4. Let n be 1 + 0 + -1 + u. Suppose f + 5*t - 6 = 0, -11 = -f + n*t + 11. Solve g + f = -3*g for g.
-4
Let g(n) be the first derivative of n**2/2 + 5*n + 1. Let i be g(-5). Let m be (3 - i) + 2*-1. Solve -21 = -4*y - m for y.
5
Suppose 6 = -13*g + 45. Solve 2*m - m + g = 0 for m.
-3
Let w = -67 - -69. Solve -2 + 4 = -w*c for c.
-1
Let g = -7 - -12. Let j(u) = -u + 5. Let t be j(3). Suppose g*y - 60 = t*y. Solve -2*r + y = 2*r for r.
5
Let j be (-72)/(-2)*(-7)/(-21). Let d = j + -12. Solve d = 3*z + 15 - 0 for z.
-5
Let k(q) = -q**3 - 7*q**2 + q + 10. Let h be k(-7). Solve -h*m - 2*m = 0 for m.
0
Let i(v) = -v**3 + 4*v**2 - 3*v + 12. Let m be i(4). Suppose y + 2*b - 17 = 5, -4*b = 4. Suppose -5*q + y + 16 = m. Solve l = -l - q for l.
-4
Suppose 0 = y - v - 1, y - 4 = 3*y - 5*v. Suppose 0 = -a - 1, 3*i + 3 = -y*a + 9. Suppose g = -3*c + i*g, c - 2*g = -4. Solve -c*p = -p for p.
0
Let x = 7 + -15. Let c(z) = -z + 1. Let w be c(x). Suppose -3*m = -0*m - w. Solve g + 4 = m*g for g.
2
Suppose -3*v - 8 = 4*p, 5*p = -v + 2*v - 10. Solve 5*s + 2 + 18 = v for s.
-4
Let h(g) = -g**2 + 10*g - 2*g + 7*g**2 - g**3 - 5. Let k be h(7). Suppose -2 = -k*p + 2. Solve 4*w = 5*w - p for w.
2
Suppose 0*z - 2*z = -3*r + 12, -13 = -2*r + 3*z. Let f be 0 + (-1)/(1/r). Let q = 9 + f. Solve 4*k - q - 5 = 0 for k.
3
Let k(h) be the second derivative of h**4/12 + h**3/2 - 3*h**2/2 - h. Let g be k(-4). Solve r + 6 = g for r.
-5
Let k(l) = l - 4. Let v be k(9). Suppose -m = 4*m - v. Solve 0 = -5*a + 11 - m for a.
2
Suppose -3*x + 3 - 6 = 0. Let k be (x/(-2))/((-7)/(-14)). Solve 5*g = 11 - k for g.
2
Suppose 2*a = -5*k + 12, 0 = -k - 2*a + 3*a + 1. Suppose 3*w - 1 = -2*o, k*w + o + 1 - 2 = 0. Solve 0 = -j + 2 + w for j.
3
Let f(o) = -o**2 + 4*o + 2. Let k be f(4). Suppose k*g - 6 + 0 = 0. Solve g*q + 20 = 7*q for q.
5
Let o(w) = -1 + 1 + 2*w - 3. Let v be o(3). Solve -6 = -3*j - v for j.
1
Let p(w) = 2*w - 10. Let g be p(9). Suppose 0 = 4*i - 4 - g. Solve 3 + i = -3*s for s.
-2
Suppose 0*m - 9 = -m. Suppose 2*v - 8 = -4*p, 5*p - m = -4*v + 1. Suppose 0*g - 10 = 2*g - 5*o, v = 3*g + 4*o - 8. Solve -1 = -g*r + r for r.
-1
Let a be 2/(-3) - (-38)/3. Suppose 9 = -3*u, 4*z = z + 4*u + a. Let k be -9*(1 + (-10)/6). Solve 0 = 2*r + k - z for r.
-3
Let l(w) = -2*w - 4. Let p = 10 + -17. Let q be l(p). Let j be q + (3/3 - -1). Solve -6*i - j = -2*i for i.
-3
Let r(o) = o**2 + 14*o + 3. Let z be r(-12). Let t be ((-12)/z)/((-10)/(-35)). Solve 5 - 1 = -t*q for q.
-2
Let o = -3 - -5. Solve 0 = -4*b - 6 - o for b.
-2
Suppose -2*u - 5 - 1 = n, -2*u = 2*n + 22. Let c = -10 - n. Suppose -c*y = -2*y - 80. Solve 0 = 5*b + y + 5 for b.
-5
Suppose -26 = 4*u - 6. Let g be 84/15 - 2/u. Solve -g*t + 20 = -t for t.
4
Let y be ((-9)/(-6))/(15/20). Solve 2*k - 3*k = -y for k.
2
Suppose 0 = s + 1 - 4. Suppose y - 1 = r, 7 = -4*y - 4*r + s. Solve y = -0*q + 4*q for q.
0
Let u = 3 + 0. Let b = u + -9. Let w(h) = h**3 + 7*h**2 + 4*h - 8. Let f be w(b). Solve -3*g = -f + 13 for g.
-3
Let w = -8 - -18. Let x be 4/w + (-2)/5. Suppose -4 = -2*i - 0*i. Solve i*r - 16 + 6 = x for r.
5
Let v(h) = h**2 - 11*h + 30. Let a be v(5). Solve i - 1 = -a for i.
1
Suppose 4*k = -3*a + 5 + 9, -k = a - 4. Suppose 0 = a*z + 2*h + 2, -5*z + 2*h = h - 25. Solve 3 = r - z*r for r.
-1
Let j = -3 - -5. Suppose j*o - 5 = 25. Suppose o = 6*a - 3*a. Solve -a*c + 0*c + 25 = 0 for c.
5
Let m(f) = 2*f**3 - 8*f**2 + 3*f - 10. Let j be m(4). Solve 0 = j*s + 10 - 2 for s.
-4
Let z be ((-6)/4)/(42/(-84)). Solve 0 = f + z*f + 20 for f.
-5
Suppose 0*b - 5*b = 3*r - 31, 2*b - 18 = -4*r. Solve 4 = -4*k + r*k for k.
-2
Suppose 89*t - 95*t + 48 = 0. Solve 3*k = t*k for k.
0
Let a(u) = -u**2 + 7*u - 4. Let y be a(6). Let q = -177 + 177. Solve -y = d - q for d.
-2
Let b = 14 + -10. Let s be 6/8 + (-3 - 27/(-12)). Solve s = -b*f + 5 - 17 for f.
-3
Let d = 6 + -2. Solve -h - h - d = 0 for h.
-2
Suppose 3*d + d - 16 = 0. Suppose 6*k = d*k. Suppose -4*a + 12 = x - 4*x, x - 3*a + 9 = k. Solve x = -3*g - 2*g - 5 for g.
-1
Suppose 5*v + 12 = -4*r, 4*v + r = v - 3. Solve 5*q - q - 16 = v for q.
4
Suppose 4*r = -3*h - 12, 0 = -2*r - 3*h - 14 + 2. Let a(k) = -k - 1. Let g be a(-3). Solve r = -3*n - 5 + g for n.
-1
Let m be 49/2 - 5/(-10). Suppose 3*v - g = g + m, v - 20 = 3*g. Suppose 0 = -5*q + 8 + 2. Solve 3*x - v = -q for x.
1
Let r(q) = q**2 - q + 3. Let h be r(0). Suppose -m = 3*m + 32. Let u = m - -12. Solve h*v = u*v + 4 for v.
-4
Suppose 0 = 9*p - 12*p + 6. Solve -3*y = p*y + 10 for y.
-2
Let b(r) = -r**3 + 9*r**2 - 7*r + 10. Let n be b(8). Let l = n + -17. Solve 4*c = -l + 17 for c.
4
Let q(x) = -x**3 - 6*x**2 + 8*x + 10. Let z be q(-7). Suppose 10 = z*r + 5*k - 6, 4*k + 25 = 3*r. Solve -2*i + r + 1 = 0 for i.
4
Suppose -y + 10 = -0*y. Solve 0*x = 2*x + y for x.
-5
Let h(r) = -r**3 - 6*r**2 - 3*r + 4. Let g be h(-5). Let y(o) = -o - 6. Let c be y(g). Solve c = 3*j + j + 4 for j.
-1
Let v be (-1)/(1*(-1)/13). Let p = -7 + v. Solve -w + 4 = p for w.
-2
Suppose 6*t - 3*t - 78 = 0. Let o = -5 - -25. Suppose -5*q + o + 0 = 0. Solve q*m = t - 10 for m.
4
Suppose 0 = 5*t + 5*z - 75, -t - 3*z = -z - 13. Suppose 6 = -2*a + 4*a. Suppose m = -c - 2*c + t, -a*m + 2*c = -62. Solve m = 2*