e -1 + d = -5*h for h.
-2
Let v be 10/4 - (-1)/2. Let k = 222 - 214. Solve z = v*z + k for z.
-4
Let g(u) be the first derivative of -u**4 - u - 2. Let h be g(-1). Suppose -9 - 5 = -h*d + 5*j, 2*j = -2. Solve -d*f = -f - 2 for f.
1
Let p = 7 - 12. Let s be (-4 + 3)/(1/(-5)). Let c be (s + p)/(1*-2). Solve c = -3*t + 9 - 0 for t.
3
Let w(x) = x**2 - 13*x + 7. Suppose 61 = 5*s - 4*b, -3*s + 19 = 5*b - 25. Let l be w(s). Solve 3 - l = z for z.
-4
Suppose -z + 2*v = -10, 2*z + 3*v + 10 = z. Suppose -i = z*i. Solve 2*g - 10 = -i*g for g.
5
Suppose -1 = -2*r - 11. Let i = r - -24. Suppose -4*j + k + 21 = 0, -j + 12 = -4*k + 3. Solve j*n + 1 = -i for n.
-4
Let z = 72 + -68. Solve -4*r + 3*r - z = 0 for r.
-4
Suppose -x = f - 2*f - 4, -4*x + f = -10. Suppose x*q = 10 - 2. Suppose 5*s - 9 = 2*s. Solve 7*r - s = q*r for r.
1
Let n(g) = -g**2 - 7*g - 10. Let b be n(-5). Solve 3*t + b - 3 = 0 for t.
1
Let a(z) = -z + 3*z**2 + 3*z**3 - 1 - z**2 - 2*z**3. Let n be a(-2). Suppose -d - n = l, 3*d - 7*d = -4*l + 20. Solve -1 = -l*x + 5 for x.
3
Let u(l) = -4*l + 10. Let i be u(2). Suppose -2*y - 2*y - 12 = 4*p, -4*y - 2*p = 6. Solve -h - i = -y for h.
-2
Let y(c) = -c - 1. Let i be y(-4). Solve n - i + 4 = 0 for n.
-1
Let b = 36 - 26. Solve -3*p + b = -2 for p.
4
Let g be (-11)/(-2) - (-8)/16. Solve -v = 3 - g for v.
3
Suppose 2*h - 4*p = 18, -2*h - p + 48 = h. Suppose -2*a - 3*g + 13 = -8, -3*g = -h. Solve 3*n - a = 2*n for n.
3
Let y be 0 - ((-32)/4 + 4). Suppose 5*t = -5*j + 5, -j - 4 = -y*t - 0*t. Solve 4*x + 4 = -j*x for x.
-1
Suppose 0*p - k = 5*p - 1, 0 = 2*p + 5*k - 5. Solve 0 = 3*h - p*h - 12 for h.
4
Suppose -77*x + 79*x - 8 = 0. Solve 1 = -d + x for d.
3
Suppose 2*j - 5 = 3. Solve -j*c = -5*c for c.
0
Let q = -13 - -14. Solve -4 = 3*a - q for a.
-1
Let d be (-224)/(-40) + (-6)/10. Suppose -d*y + 31 = -49. Solve -5*w = -w - y for w.
4
Let p(q) = q**2 - 6*q - 14. Let i(z) = -z**3 - z**2 - 3*z - 2. Let y be i(-2). Let l be p(y). Solve 4 = -l*r - 0 for r.
-2
Suppose 0 = 12*r - 37 - 23. Suppose 2*n + 19 = 5*w, n - 2*n = 4*w - 10. Suppose -2*b - 7 = -w*b. Solve r*i + b = 17 for i.
2
Suppose -2*p + 3 = p. Let i = -1 - -2. Let n(d) = -d**2 + 4*d + 5. Let o be n(5). Solve -u - p - i = o for u.
-2
Suppose -4*y + 15 = -y. Suppose 5*w + 0 = 10. Solve y*m = w*m for m.
0
Suppose -d - 6 = -h - 3*d, -3*h = -d + 3. Let y(x) be the second derivative of 5*x**4/12 + x**2/2 + 3*x. Let z be y(-1). Solve h = -z*i + 4*i for i.
0
Let u(k) = k**3 + 4*k**2 + 3*k. Let y be u(-2). Let l = 4 - y. Solve 0 + l = 2*r for r.
1
Suppose 2*n - 4*r - 16 = 0, 12 = -n + r - 4*r. Solve 4*a = -n*a for a.
0
Let l be 3 - (-1 - (-2 + 1)). Solve 6 = l*b - 6 for b.
4
Suppose 0 = -3*y + 5*x + 6, 2*y = -0*y + 3*x + 4. Let w(r) = -r**3 + 4*r**2 + 2*r + 1. Let f be w(4). Suppose j + f = 2*p, 3*j + 8 = -7. Solve y*k = -p*k for k.
0
Suppose 5*t + h + 10 = 34, -t + 8 = -3*h. Solve d = t*d - 12 for d.
3
Let z(x) = -5*x + 6. Let k be (9/(-6))/((-18)/(-24)). Let v be z(k). Let t = 0 - 0. Solve 0 = -t*i - 4*i + v for i.
4
Let n(z) = z**3 + 3*z**2 - 3*z + 8. Let p be n(-4). Solve 6*r = p*r for r.
0
Let z(i) = i**2 + 6*i + 3. Let d be z(-4). Let h be 1 + (-5)/(d/2). Let a(y) = y**2 - y - 3. Let g be a(h). Solve -g = 4*m - m for m.
-1
Let n be (-3)/6 + (-5)/(-2). Solve 0 = n*l - 7*l + 15 for l.
3
Let v(r) = -r**2 + 6*r - 1. Let t be v(6). Let z be 0/(-3)*(0 + t). Solve 3*q + z*q = -6 for q.
-2
Let m be 2/2 - (-1)/(5/15). Solve -g + m*g = 0 for g.
0
Let x(n) = 25*n. Let p be x(1). Let u be (3 + -1)*(0 + 2). Solve u*m + p = -m for m.
-5
Let n(o) = o + 7. Let p be n(0). Let r = -3 + p. Let l be ((-2)/(-3))/(r/6). Solve -4*c = -l - 19 for c.
5
Let k be 3 + (-4 + 4)/5. Solve -k = 2*z - 3*z for z.
3
Let m be -1*3*(-7 + 11). Let p be (-40)/m + (-2)/(-3). Solve p*n - 17 = 3 for n.
5
Suppose d + 2*u - 29 = -2*u, 2*u = 2*d - 28. Solve 0 = -5*r + d + 3 for r.
4
Suppose -5*u = -0*u. Solve 5*j - 15 - 10 = u for j.
5
Let b = -100 - -112. Solve 0 = d + 3*d + b for d.
-3
Let y be 0*((-2)/(-2))/(-2). Suppose y*u - 2*u = 0. Suppose u*l - 10 = -5*l. Solve x - 1 = l for x.
3
Suppose -24 = -m - 2*m. Suppose -3*z = -m + 2. Solve z*t - 1 = 3 for t.
2
Let g(m) = -m**2 + 13*m - 12. Let s be g(11). Solve -l = -3*l + s for l.
5
Suppose -3*t + 4*i + 22 = 2*i, -5*t = 4*i - 22. Suppose 6 = 3*r, 48 - t = 2*p + 4*r. Solve -3 - p = -5*m for m.
4
Let i(v) = -v**2 - 3*v + 3. Suppose 0 = 2*t - 0 + 6. Let b be i(t). Solve 0 = b*h - 4*h + 3 for h.
3
Let u(g) = g + 0 - 3*g + 3*g - 2. Let w be u(6). Solve 0 = -w*b - 13 + 5 for b.
-2
Let t = 11 - 5. Suppose 5*a + 85 = 5*h, -14 = -h - 2*a - t. Solve -2 + h = -4*k for k.
-3
Suppose 5*k - 25 = 0, -5*k = -5*c + 9 + 156. Let s = 14 + -1. Solve s = 5*j + c for j.
-5
Let t(i) = -i + 1. Let o be t(0). Suppose -3*f + c + o = 0, f - 3 = -f + 3*c. Solve -z - 3*z = f for z.
0
Suppose 5*n - n - 3*b - 5 = 0, -5*n + 7 = -3*b. Solve l + 1 - n = 0 for l.
1
Let w(h) = -2*h + 0*h + h + 0*h - h**2 + 3 + h**3. Suppose l + 2 = u - 0*l, -3*l - 6 = -5*u. Let o be w(u). Solve j - 20 = -o*j for j.
5
Let c = -4 - -9. Suppose 2*o = c*o. Solve 6*s - s + 15 = o for s.
-3
Suppose -5*w = -5*p, 1 = 5*p - 2*w - 8. Suppose 3*c + 0*c = 0. Solve -r + 0*r + p = c for r.
3
Let p be ((-12)/5)/(8/(-20)). Solve 0*l - p = -2*l for l.
3
Suppose 5*o = -4*g + 48, 2*o - 12 = 4*g - 2*g. Suppose -15 = -a - 3*q - 1, -2*a = -q - 14. Let i = o - a. Solve -3*d + 2 - 11 = i for d.
-3
Let p be (-2)/4 + 3/6. Suppose 0 = -2*d - 0*d + 16. Suppose s + 2*s = 4*l + d, p = -2*s + l + 7. Solve -s*t - t = 0 for t.
0
Suppose 8 = 3*n + n. Suppose 0*j = n*j + 5*m + 1, 5*j = -m + 9. Solve 3*c - 5 = j*c for c.
5
Let u(t) be the first derivative of 1/4*t**4 + 8/3*t**3 - 2 + 11*t - 4*t**2. Let p be u(-9). Solve p*m = 6*m + 8 for m.
-2
Let x(t) = t - 15. Let a be x(15). Suppose a*f - 4 = -2*f. Solve f*z + 0*z = -10 for z.
-5
Suppose -3*l + 19 = -4*m + 3*m, m = -3*l + 29. Solve 2*g - l = 4*g for g.
-4
Suppose 2*g - 10 = -5*v, 5*v + 4*g - 10 = -0*v. Let c = 29 - 18. Let p = c - 7. Solve -2*n + p = v*n for n.
1
Let u(r) = -r**2 - 8*r - 9. Let s be u(-6). Let l be 4/6*(-12)/(-8). Let o = s + l. Solve 1 = -g + o for g.
3
Let l = -31 + 2. Let n = -17 - l. Suppose y - n = -y. Solve y*a = a - 5 for a.
-1
Let t(p) = 4*p**2 - p - 1. Suppose -3 + 0 = l. Let v = 5 + l. Let i be t(v). Solve 0 = -5*m + i + 7 for m.
4
Suppose -5*v - d = -18, -3*v + 3*d = 2*v - 26. Let w = 9 + -6. Solve -g = w*g + v for g.
-1
Let h(s) = -s - 3. Let d be h(-7). Suppose -9 = -5*a - d. Solve 5 = j + a for j.
4
Let q(x) = 2*x - 3. Let z be q(6). Let f = -273 - -280. Solve -f = -4*d + z for d.
4
Let s be 1*(-3 - 0) + 7. Suppose 0 = -2*l - 0*l + 22. Solve -1 - l = s*z for z.
-3
Let w(b) = b**3 - 6*b**2 + 2. Let o be w(6). Suppose 5*g - 7*y + 2*y - 40 = 0, 0 = -2*g - 4*y - 14. Solve -j = o*j - g for j.
1
Let t(c) be the second derivative of c**4/3 - c**3/6 - c**2/2 + 6*c. Suppose 5*l - o = 0, o + 3 + 2 = 0. Let j be t(l). Solve v = j*v for v.
0
Let b = 9 + -5. Let f be 10/b + (-2)/4. Suppose 2*x + 5*w = 21, -6*x = -2*x + w - 15. Solve x = a - f*a for a.
-3
Suppose 2 + 48 = 5*k. Let y be 44/k + (-2)/5. Solve -1 - y = h for h.
-5
Suppose 2 - 62 = -5*r. Let y = -7 + r. Suppose -c + y = -5*o, 3*o = -o. Solve 0 = c*k - 2*k + 15 for k.
-5
Suppose -8 - 2 = 4*l - 2*o, -3*l = -5*o + 25. Suppose -4*m = -28 + 8. Solve l = 2*f - m*f for f.
0
Suppose 3*l = -2*l. Suppose l = -2*s + 5 + 7. Solve -3*n - s = -0*n for n.
-2
Suppose w + 0*w + 18 = 0. Let r be (-112)/w + (-4)/18. Solve 3*b = r + 3 for b.
3
Let y = 26 - 13. Suppose 5*o + 8 = 2*q - y, 0 = -2*q - 2*o. Let n be (-6)/2*(-1)/q. Solve 0 = p + 3 - n for p.
-2
Suppose -4*x - 4 = -2*n, 3*n = -0*x - x + 6. Solve n*m - m + 1 = 0 for m.
-1
Suppose -j = -o - 6, -2 = o + 2. Solve r = j*r + 4 for r.
-4
Let o be (-1)/(-3)*3 - -2. Solve o - 28 = -5*a for a.
5
Let s be 4 + -4 + 5 + -3. Solve w - s = 3*w for w.
-1
Let m be ((-3)/(-15))/((-1)/(-5)). Let v be m/(((-4)/6)/(-2)). Solve 0 = -v*z - z for z.
0
Suppose 7 = -o + 2*o. Suppose 16 = 3*b + 13. Suppose 2*m = -b + o. Solve -m*q - 14 = -5 for q.
-3
Suppose -5*c + 5*v = -c - 339, 0 = 5*c + 5*v - 390. Suppose 2*f - c = -f. Suppose 0 = -5*j - 2*a + 46 + f, -5*a + 85 = 5*j. Solve 3*l = 4 - j for l.
-3
Suppose 0 = 2*j + 5 + 15. Le