 - (-4)/(-6). Suppose 0 = d + 2*x + 3*x - i, -q*d + x + 26 = 0. Solve -d*u = -u for u.
0
Let t(z) = -z**3 + 10*z**2 - z + 13. Let s = -6 + 16. Let h be t(s). Solve -h*m - 3 = -9 for m.
2
Suppose -r + 7 + 0 = 2*o, 0 = -o - 1. Let q be 2/r + 14/18. Solve i = q - 5 for i.
-4
Suppose 3*l + l = 0. Suppose -4*r - r = -4*f + 140, 3*f = l. Let j be 2/(-7) + (-8)/r. Solve -4 + j = 2*v for v.
-2
Suppose -2*i - 3 - 3 = 3*t, -3*i + 4*t + 25 = 0. Solve 0 = -i*z + 12 - 3 for z.
3
Let c = -142 - -146. Solve 4 = 4*d - c for d.
2
Let y(r) = r**2 + 9*r + 2. Let o be y(-9). Let c = 2 - o. Solve 1 = -i - c*i for i.
-1
Suppose y + 3*b - 5 = 4*b, -2*y - 4*b = 20. Suppose k = 0, 5*g = -k - y*k + 60. Solve t = -3*t + g for t.
3
Let x(m) = m - 8. Let y be x(13). Suppose y*c + 2*g = 16, -2*g + 17 = 4*c + g. Solve c*q - 20 = -2*q for q.
5
Let h be 6/(-10) + 4/(-10). Let q be (h + -1 - -2)/(-2). Solve q*j - 4*j = 4 for j.
-1
Suppose -v + 2 = v. Let d be -5 - -12 - 12/4. Suppose 5*t - v = d*t. Solve 2*w + 5 = -t for w.
-3
Let t(x) = 2*x**3 - 17*x**2 - 10*x + 9. Let v be t(9). Solve -2*q + q - 5 = v for q.
-5
Suppose -2*n = n. Suppose -t + 3 - 1 = n. Solve -5*m = -6*m + t for m.
2
Suppose 0*f = f. Solve -3 = -f*w - w for w.
3
Suppose -4*y - 5*i = -4, y + 3*i = -i - 10. Let b = -7 - -9. Let h = b - -1. Solve a - h*a + y = 0 for a.
3
Let o be (2/(-3))/((-2)/3). Let a = -19 - -24. Suppose 2*w - a + o = 0. Solve -2*j = w*j + 4 for j.
-1
Let h(t) be the first derivative of t**2 - 4. Let z be h(1). Solve -2 = -z*a + 2 for a.
2
Let g be 2/(-3) + (-8)/(-3). Let c = 5 + g. Suppose c = 2*q + 3. Solve h = q*h for h.
0
Suppose 0 = -4*s + 8 - 0. Suppose -3*t = s*t. Solve t = -7*n + 2*n - 5 for n.
-1
Suppose -4*h + 13 = -s + 5, -12 = -3*s. Solve h*t - 2 = t for t.
1
Let j be 10/(-15) + 5/3. Let y be 0/(j + -1 + -3). Solve y*r - 1 = -r for r.
1
Let k be (6 - 3/1)*(-2)/(-3). Suppose -6 = 5*p - 26. Solve -3*s + p = -k for s.
2
Let u(p) = 3*p - 36. Let g be u(13). Solve -g = -2*j + 3 for j.
3
Suppose 2*s = -4*j - 78, -2*j - 6 = 3*s + 35. Let g = j - -21. Solve g*y - 4 = -2 for y.
1
Let u be 5 + 4 + 1 + -3. Let i = u - 2. Let v be 1 - 0/2 - -2. Solve i = -2*h - v*h for h.
-1
Let b(c) = -c + 6. Let v be b(4). Let u(a) = a**3 - 15 + 17 + 3*a**2 - a**2 - 4*a. Let t be u(v). Solve -3*o + o = t for o.
-5
Let d(m) = -7*m + 1 + 3*m - 2*m + 5*m. Let g be d(-3). Solve -13 = g*k - 1 for k.
-3
Let g be 2*(-2)/(20/(-25)). Solve -u = -g*u for u.
0
Suppose -a + 17 = x - 4*a, -5*a - 10 = 2*x. Solve -3 = -x*u + 22 for u.
5
Suppose -2*j = -j - h - 4, 5*h - 10 = 0. Let v be ((-15)/j + 3)*4. Solve -3*y - v*y = -15 for y.
3
Suppose 3*d - 12 = d. Solve 5*m - d = 3*m for m.
3
Let t(p) = p. Let v be t(6). Let w(o) = -v*o**2 + o + 2*o**3 - 2 - o**3 - 1. Let z be w(6). Solve 0 = -z*s - 17 + 2 for s.
-5
Let x = -32 + 37. Solve -4*r + 3 = -x for r.
2
Let d be 0/(9/(-2)*12/18). Solve 4*o + d*o + 20 = 0 for o.
-5
Let a(b) = b**2 - 2*b - 1. Let t be a(-1). Let j(o) = o**3 + 2*o**2 - 3*o + 2. Let f = -2 - -4. Let p be j(f). Solve -2*q - t*q = -p for q.
3
Suppose 2*l + 0*l = -4*s + 16, -4*s + 4*l + 4 = 0. Solve s*h = h - 2 for h.
-1
Suppose -3*c + 11 + 4 = 0. Suppose -c*v + 3 = -4*v. Suppose 7 = v*t - 2. Solve -a = t*a + 8 for a.
-2
Suppose v - 35 = -4*v. Suppose -3*h + 9 = -2*u, -5*u - h + 13 = -v. Solve u*o + 6 = o for o.
-3
Let m(b) = b**2 - 5*b + 2. Let l be m(4). Let h be (1/l)/1*-6. Let v = 11 + -8. Solve -h = v*t + 3 for t.
-2
Suppose 0 = -0*i - 4*i + 8. Solve -2*c = -0 - i for c.
1
Let j = -3 - -5. Let a be j - (1 - 0) - -10. Suppose 0 = 2*i + 1 - a. Solve i*h = -2 + 7 for h.
1
Suppose x - 2*d - 1 = 0, x = d - 4 + 3. Let k(u) = 4*u - 1 - 5*u - 1. Let j be k(x). Solve j = -2*s - 3 for s.
-2
Suppose 4 - 1 = p. Suppose x + 0 = p. Solve -j - x*j + 20 = 0 for j.
5
Let t be ((-1)/2)/((-4)/24). Solve -y + 20 = t*y for y.
5
Suppose w - 4*h = 4, 0 = -3*w + 8*w - 3*h - 3. Solve w = -3*i + 2 + 4 for i.
2
Suppose 0 = -0*n - n - c + 10, n + 2*c - 11 = 0. Suppose -6*g + 2*g = -28. Suppose 5*s - 3 = g. Solve -s*h + n = h for h.
3
Let p = -1 - -5. Let h = p + -1. Solve -h*v + 4 = -v for v.
2
Let g(k) = 6*k**2 + k + 1. Let n be g(-1). Suppose -2*l - 3 - 1 = -2*v, n = 3*v - l. Solve -4 = -4*y + v*y for y.
2
Suppose 0 = 5*g - 9 - 6. Let d be 3 + (-1 - -1) - g. Solve z + 3 + 1 = d for z.
-4
Let v be 6 + -6 + (1 - -1). Suppose 4*u - 4*i = 72, -3*u + 4*i = -v*u - 6. Solve -4*n - u = -6 for n.
-4
Let r(m) = m**2 - 4*m - 8. Let u be r(6). Let b be 0/(-1) + (-1 - -3). Solve 0 = -u*o + b + 18 for o.
5
Let j = 6 + 2. Solve -3*x = -j*x + 25 for x.
5
Suppose 3*l + 2*c = -0*c - 6, 0 = 2*l - 3*c - 9. Solve -t = -l*t for t.
0
Let o = -9 + 9. Solve -2*r - 2 + 4 = o for r.
1
Let b be (1/(-1))/(3/(-15)). Suppose p - 1 = -5*h, 1 = 4*h - b*h. Suppose -g - p = -4*g. Solve -g*w - 9 = w for w.
-3
Let d(p) = -p + 12. Let i be d(8). Solve -i = g - 2*g for g.
4
Let l = -147 - -147. Solve l = -0*r + 4*r + 4 for r.
-1
Suppose u + 4*u = 15. Solve 3 + 9 = -u*g for g.
-4
Suppose 0 = 4*r + 12, 2 = -o - 4*o - 4*r. Solve 2*p + 10 - o = 0 for p.
-4
Suppose 2*j + q - 2 = 0, -q - 6 = 2*j + 2*q. Solve 0*f = -f + j for f.
3
Let r = 3 - 1. Suppose 2*m = -r*m + 40. Solve -15 - m = 5*n for n.
-5
Let d = 26 - 23. Let n be 6/d + -1 + 3. Solve m = -m - n for m.
-2
Suppose -3*v = -4*v + 5. Solve -v*j + 9 = -6 for j.
3
Suppose 0 = 5*v - m + 3, -3*m + 9 = -0*v + v. Solve 4*n + v*n - 16 = 0 for n.
4
Let a be ((-6)/2 - -4)/(-1). Let k be 6 + a - (-2)/(-2). Let h = k + -3. Solve -h + 4 = -3*j for j.
-1
Suppose -6 = -4*i + 2*i. Solve 0 = 2*k - k + i for k.
-3
Let d(t) = -5*t + 3*t + 5*t**2 - t**3 + 1 + t - 2*t. Let y be d(4). Solve -y*j = -2 - 3 for j.
1
Let p(f) = -f**2 - 5*f - 2. Let s be p(-3). Suppose 6 = -s*x + 2*t + 36, 0 = 5*x - 4*t - 42. Suppose -3*a - 15 = -x*a. Solve 9*q = 4*q + a for q.
1
Let m = 31 - 26. Solve 5 = m*g - 10*g for g.
-1
Suppose 10 = 63*s - 62*s. Solve 4*f + s = 2*f for f.
-5
Suppose 2 = -h - 4. Let l be (h + 5)/(1/(-2)). Suppose -l - 1 = -q. Solve -q*g + g = -6 for g.
3
Let z be (2/2 - 0) + 3. Let c(j) = -9*j + 2*j**3 - 6 + 0*j**2 - 9*j**2 + j**3 - 4*j**3. Let q be c(-8). Solve z*s - 3*s = q for s.
2
Suppose -3*q + 3*a + 24 = 0, -3*q = -4*a + 2*a - 26. Solve q = 5*i - 10 for i.
4
Suppose -8 = -i + 5*i. Let w be 1*2 + 4/i. Suppose -3*r - 2*r = w. Solve r = -4*x + 14 + 6 for x.
5
Suppose 2*f - 4 = j, 4*f = 2*f + 8. Solve 2*l = j*l + 8 for l.
-4
Let t = -19 + 28. Suppose -5*z + 4*u = 5*u - 15, -t = -3*z + 2*u. Suppose 3*o = 39 + 9. Solve -o = f + z*f for f.
-4
Let a(z) = -z**3 + z - 8. Let l be a(0). Let f = 8 + l. Solve -2*b = -f*b - 4 for b.
2
Suppose 4*q - 57 = 107. Suppose 3*z + 5 - 2 = 0, -4*f - 5*z = q. Let u be (-75)/f + 1/(-3). Solve 3*o - u = -o for o.
2
Suppose 33 = 4*o + 9. Suppose 0 = -2*l + 4*l - o. Suppose x = -l*x + 8. Solve -10 = -0*j + x*j for j.
-5
Let q be 10/7 + (-20)/(-35). Solve f = -q*f for f.
0
Let h(k) be the third derivative of k**5/60 + k**4/3 + 7*k**3/6 - k**2. Let u be h(-7). Suppose u = 3*s - s - 4. Solve s*n - n + 2 = 0 for n.
-2
Let z(s) = 6*s + 19. Let f(k) = k + 4. Let q(c) = 22*f(c) - 4*z(c). Let d be q(5). Solve -d*b = -b for b.
0
Let u be 18/3 + -2*1. Suppose 6*r - u*r = 58. Solve -5*b = -r + 4 for b.
5
Let o(f) = f**2 + 9*f + 5. Let g be o(-10). Let h(r) = r**2 + 0*r**2 - 6*r + g*r + 3. Let k be h(-9). Solve -2 = k*s + 1 for s.
-1
Let a(p) = 2*p + 7. Let c(i) = i + 4. Let d(k) = -2*a(k) + 5*c(k). Let j be d(-6). Suppose 4*h = -j*h. Solve -4 + h = -4*g for g.
1
Suppose -4*l = 41 - 9. Let t be (-2)/8 + (-42)/l. Solve i + 20 = t*i for i.
5
Let a = 2 - 1. Suppose -a = -n + 4. Suppose 0 = t - n*t. Solve -3 = 3*h - t*h for h.
-1
Let y(n) = n**3 + 10*n**2 + 2. Let w be y(-10). Solve f = 3*f - w for f.
1
Let h = 10 - 10. Solve f + 5 - 3 = h for f.
-2
Let g(q) = q**3 + 5*q**2 + 2*q - 5. Let r be g(-4). Solve -2*b = -5*b - r for b.
-1
Suppose -3*h - 5*l + 8 = -35, 0 = -h - 5*l + 31. Solve 0*r = -3*r + h for r.
2
Suppose -4 = -7*o - 4. Solve o*n + 2*n = 8 for n.
4
Let b be -4*-1*5 + 2. Suppose -4*f + 14 = -b. Let k(w) = -w**2 + 4*w + 3. Let c be k(0). Solve 0*r + c*r + f = 0 for r.
-3
Let u be 2/(-3) + (-2)/(-3). Let c be -3 + u + 1 + -2. Let m be 0*2/(-2 - c). Solve m = -2*r + 3*r for r.
0
Suppose 0 = 3*t + 3*t - 0*t. Solve -n