- 2 - 1 = d for z.
-1
Let s = 103 - 100. Solve s*h = -0*h for h.
0
Let u(t) = t**2 + 7*t - 15. Let b be u(-9). Solve 8 - b = p for p.
5
Let b be (0 - 2 - -2) + 0. Let i(r) = -r**2 + r + 2. Let t be i(2). Suppose p + s + 3 - 6 = t, 0 = -5*p - 4*s + 15. Solve -l + 2*l - p = b for l.
3
Let o(d) = -9*d - 42. Let v be o(-5). Solve -5 = v*t - 2 for t.
-1
Let r = 3 - -1. Suppose -6 = -r*l + 10. Let t = l - 2. Solve -f = -6 + t for f.
4
Suppose -2*r = r. Suppose -3*p - 4*w + 22 = r, 2*p + w - 5*w - 8 = 0. Let d be (2/((-4)/p))/(-1). Solve -4*a - d = -5*a for a.
3
Let v(y) = y + 2. Let x be v(-2). Let r be (-1 - 0)*(x + -2). Let f = 8 - 8. Solve r*w - 3*w + 3 = f for w.
3
Let p(x) = -3*x - 5. Suppose 0*a - 10 = 5*a. Let q be p(a). Solve -5 = 3*w + q for w.
-2
Let h(q) be the second derivative of -q**5/20 + q**4/2 - q**3 + 7*q**2/2 + 2*q. Let g be h(5). Suppose 0 = -6*t + t. Solve -g*c + t - 8 = 0 for c.
-4
Suppose 3*b = 8*b - n + 20, 0 = 4*b + 4*n - 8. Let v be b + 2 + (-4 - -17). Solve -x = 2*x - v for x.
4
Suppose 0 = -0*b - b - 1. Let p be (-2 + 4 + -3)/b. Solve -5 + p = 2*l for l.
-2
Suppose 10*u = 6*u + 28. Let k be -2 + 3 + (4 - 1). Solve k*f = u + 9 for f.
4
Suppose 3*t - 1 = -4. Let n = -3 + t. Let s(i) = i**2 + 5*i + 4. Let q be s(n). Solve q + 1 = h for h.
1
Let r = -75 - -76. Solve 0 - r = u for u.
-1
Let o(i) = -i**2 - 8*i. Let h be o(-8). Solve 2*q - 3*q = h for q.
0
Let p(l) = -l**3 - 28*l**2 + 59*l - 20. Let i be p(-30). Solve 0 = -3*j + i - 1 for j.
3
Suppose -3*k = -0*k. Suppose -4*b + z = -0*b - 15, k = -5*b - 2*z + 22. Solve 0 = -9*m + b*m - 10 for m.
-2
Suppose 4*w = -r + 8 + 9, -4 = -3*w + r. Solve w*n - 2*n = -2 for n.
-2
Let t = 26 - 16. Let s(u) be the second derivative of -u**3/6 + 5*u**2 + 2*u. Let d be s(t). Solve -l = -d*l - 5 for l.
5
Suppose 0 = -3*j - 18 + 6. Let g be 8 - (-6)/8*j. Let q = -2 - -5. Solve -g*u - q = -2*u for u.
-1
Let y be 4/6 - (-26)/6. Suppose -b - 2 = d + y, 5*d = 2*b. Let l be d/2 - (-1 + -3). Solve 6 = -3*f - l for f.
-3
Suppose -h = h - 6. Suppose -m + 2 = r, 7*r = 2*m + h*r - 10. Suppose 8 = m*f - 4. Solve f*g + 12 = -0*g for g.
-3
Suppose -i - 3*q + 4 = -15, 4*i - 2*q = 34. Suppose 5*p - i = -45. Let z = 7 + p. Solve z = r - 3*r + 8 for r.
4
Let o(k) = -k + 9. Let n be o(6). Solve 0*j - 9 = n*j for j.
-3
Let i = -3 + 5. Let t = 2 - -1. Suppose w - t*z = 2*w - 5, -i*z + 8 = 3*w. Solve 0 = w*b + 2*b + 20 for b.
-5
Suppose 4*t - 20 = 4*w, 0*t - 8 = -3*t - 4*w. Suppose 0 = 2*c + 2 - 0. Let b be 2/(-2)*c + 4. Solve -t = -b*g + g for g.
1
Suppose -3*q + 7 = -4*p, 0 = 4*p - 6*p - 5*q + 3. Let l be 1 + p/(2/(-8)). Suppose -l*v = 5, -2*c + v + 0*v = -7. Solve -c*d = -5*d - 4 for d.
-2
Let o(d) = 1 - 2 - d + 8*d**2 - 12*d**2. Let x be o(-1). Let g be (-2)/x + (-117)/(-6). Solve -g = c - 6*c for c.
4
Let z(q) = -q**3 + 4*q**2 - q - 4. Suppose -8*a = -4*a - 12. Let c be z(a). Solve -2 = -p + c for p.
4
Suppose -2*h = -2*i + 12, -3*i + 12 = i + 2*h. Solve 0 = b - 2*b + i for b.
4
Suppose 2*o + 3*o + 4*p = -2, -2*p = 2*o. Let r be (5/2 - 3)*o. Solve -r + 3 = 2*h for h.
1
Suppose 11 = 3*l - 10. Solve 4*p = 5 + l for p.
3
Suppose 0 = 5*s - 14 + 4, -4*s + 6 = -y. Let z be (3/4)/(y/8). Suppose -z*w - 5*i + 4 = 0, -w + 4 = -4*i + 3*i. Solve w*d = -3 + 12 for d.
3
Let k = 27 + -48. Let g be (12/(-21))/(6/k). Solve b = -b - g for b.
-1
Let v(y) = -y**3 + 7*y**2 - y + 10. Let b(a) = -a**3 - 6*a**2 - 7*a - 5. Let n be b(-5). Suppose n*r - 36 = -1. Let d be v(r). Solve d*i - 3 = -0*i for i.
1
Let t be (-15)/(-5) + 4/2. Let h(l) = -l**3 + 5*l**2 + 6. Let s be h(t). Solve 5*z = 3*z + s for z.
3
Let b = 9 - 3. Suppose -12 = 4*n - 0. Let r be 1/(n/15*-1). Solve h = b - r for h.
1
Let u be (1 - (1 + 2)) + 2. Suppose 0 = -u*p - 2*p. Suppose 3*o - 3*b + 4*b = 23, 3*o - 4*b - 43 = p. Solve 1 = -2*t + o for t.
4
Let j(s) = -3*s - 5. Let b be j(-5). Suppose 5*p + 4*c = 3*p, 0 = -p - c + 4. Suppose r + r = p. Solve 3*k + r = b for k.
2
Suppose 0 = -5*h + 2*g + 17, -2*g - 16 = -4*h - g. Suppose -2*t = -h*v + 3*v, 0 = v - 3*t + 2. Solve -3*n - 16 = -v for n.
-5
Let r(i) = -i**3 + 5 + 1 - 2*i - 4*i**2 - 3. Let s be r(-3). Let f = s - -1. Solve 0 = 2*h - h - f for h.
1
Let w be (-2 + 1 - -2) + -1. Suppose 0 = 5*q + 1 - 11. Solve q*r = -w*r - 4 for r.
-2
Let t(s) = s**3 + s**2 + 11. Let m be t(0). Solve 0 = 2*i - m + 1 for i.
5
Suppose -13 = -2*d + m, -m + 0*m = 2*d - 3. Solve d*b + 14 + 6 = 0 for b.
-5
Let w be (7 - (-4 + 3)) + -4 + 1. Solve -w*l + 19 + 6 = 0 for l.
5
Let j(v) = 2*v + 2*v + 12*v**2 - 11*v**2. Let h(l) = 2*l. Let b be h(-2). Let x be j(b). Solve -3*t = -x*t for t.
0
Let y be 104/14 - 6/14. Solve -3*a = -y*a + 16 for a.
4
Suppose 5*r - 7 = 8. Solve 0 = -6*c + r*c + 12 for c.
4
Suppose x - 28 = -3*x - 4*k, -2*x = -5*k + 21. Let b be 0 + x + 0 + -2. Solve 0 = r - b*r + 4 for r.
-4
Let g be (-1)/2*0 - -5. Let o be 0/(-1) + -5 - -1. Let h = o + g. Solve 2 = m + h for m.
1
Let m(x) = -28*x - 1. Let d be m(1). Let o = -26 - d. Solve o*t = -0*t for t.
0
Let k = 95 - 92. Solve k*r - r + 8 = 0 for r.
-4
Let h(x) = -x**2 + 4*x + 2. Let f be h(4). Suppose 0*j = 3*j + f*r + 1, 0 = -2*j - 4*r - 14. Suppose m - j*m = -6. Solve m*z = -2*z for z.
0
Suppose -4*u = -u - 12. Let h(r) = r**2 - 5*r + 5. Let k be h(u). Solve 0 = -m + k for m.
1
Let c(h) be the first derivative of -2*h - 2 + 1/2*h**2. Let v be c(5). Solve v*d - 1 + 10 = 0 for d.
-3
Suppose 0 = -5*a - 17 - 8, 0 = -2*q - 4*a - 10. Suppose -q*v - 9 + 49 = 0. Solve -w = w - v for w.
4
Let m(k) = k**2 + 1. Suppose -l - 5 = 4*v - 0, -2*v = -4*l - 2. Let y be m(v). Solve -c + y = -1 for c.
3
Let g(u) = 2*u - 1. Let b be g(1). Suppose 25 = -4*r + w - 2*w, 0 = -3*r + 2*w - 16. Let d be -2*(-2)/(r/(-3)). Solve -d*l - b = -7 for l.
3
Let g(t) = t**2 + 6*t - 10. Let y be g(-7). Let j = y - 1. Let b = j + 7. Solve -2*f - b*f + 5 = 0 for f.
1
Suppose -q + 18 = 2*q. Solve q*z = z + 20 for z.
4
Let o be 1*13*(-9 + 10). Let g = o - 12. Solve g = -3*q + 2*q for q.
-1
Let h(u) = u**2 + 5*u + 6. Let n be h(-4). Suppose n*z - 24 = 5*z. Let s = 8 + z. Solve 2*g = -s*g for g.
0
Suppose -2*v - 2*v = -40. Let n = v - 7. Solve 0 = -n*x - 2 - 13 for x.
-5
Let j = 85 + -83. Solve i = -j*i + 3 for i.
1
Suppose -3*b = -w - 13, -5 = 4*b + 2*w - 19. Suppose -12 + b = -2*x. Solve 0 = 2*y - x for y.
2
Let y(n) = -n**2 - 6*n - 4. Let t be y(-3). Let k = -8 - -11. Suppose k*l = 7*l. Solve -w + l = -t for w.
5
Let j(q) = -q**3 + 5*q**2 - 8*q + 7. Let r be j(2). Solve 4 = r*t - 2 for t.
2
Let d = -93 - -98. Solve -17 + d = -4*n for n.
3
Suppose 48 = 11*y - 3*y. Solve 2*t - y = -t for t.
2
Let p = -2 + 2. Suppose -s - 8 = -37. Let r = s - 25. Solve r*l + p*l - 20 = 0 for l.
5
Suppose -2*d + 36 = 4*d. Solve -n + 5 = -d*n for n.
-1
Let v be 1 - -1 - -13 - 2. Let l = -3 + 7. Suppose 3*z - l = -z. Solve -v = -3*p - z for p.
4
Let n be 6/30 + (-218)/(-10). Suppose -3*p - n = -5*p. Suppose 0 = -4*m + p + 9. Solve -m*w + 6 = -9 for w.
3
Suppose -4*w + 5*w - 9 = 0. Suppose -3 = 3*r - w. Solve 0 = -r*h - 1 - 1 for h.
-1
Let w(p) = p**3 - p**2 + 15. Let l be w(0). Let o = -4 + 6. Let b be o - (-1*3 - -1). Solve -5 = -b*q + l for q.
5
Let x(l) = -7*l - 6. Let f be x(-3). Solve 0 = 3*i - 0*i - f for i.
5
Suppose -j = 4*j + 15. Let h be j + 6*(-8)/(-6). Solve 3*g - h*g = -6 for g.
3
Let x = -13 - -6. Let r = x - -14. Solve 0 = -4*c - 1 - r for c.
-2
Let i(q) = q + 12. Let b be i(-10). Let x(f) = f**2 - 1. Let j be x(-2). Suppose 0 = -2*g - g - b*u + 23, -j*u = -5*g + 13. Solve o - g = -3 for o.
2
Let o(x) = -x + 28. Let b be o(12). Solve 4*d = -4 + b for d.
3
Suppose -14 = -5*r + w, 0*w + w + 11 = 4*r. Let n be (5/(-2) - -2)*-2. Solve n + 8 = -r*o for o.
-3
Let q(o) = -o + 10. Let z be q(6). Solve -m = -z*m for m.
0
Let m(d) be the second derivative of d**5/20 - d**4/3 + d**3/6 + 2*d**2 - d. Let c be m(4). Let t = c + 3. Solve 4*u + 9 + t = 0 for u.
-5
Let f = 11 - 6. Let a be (6/7)/(40/140). Solve 0 = -a*k - 2*k + f for k.
1
Let l(g) = g**2 - 9*g + 1. Let n be l(8). Let v be (-27)/(-63) + (-18)/n. Solve -6*b + 5*b - v = 0 for b.
-3
Suppose o - 3*o = -2. Solve o = -v + 4 for v.
3
Let c = -1 + 1. Suppose c*a + 4 = 2*a. Suppose 4 + 4 = a*m. Solve -i = i + m for i.
-2
Let d be ((-24)/15)/((-8)/20). Solve 2*c + 0 + d = 0 for c.