ve -o = -z*o for o.
0
Suppose 2*l = 4*s + 4*l, s = -3*l. Let d = -1 + 2. Solve s = j + d for j.
-1
Suppose 80 = 5*h - 4*v, v + 60 = 4*h + 7. Let g = -7 + h. Solve -o = -2*o - g for o.
-5
Let x(s) = s**2 + 6*s - 3. Let v be x(-7). Suppose -4*h - h = -2*w + 30, 4*w + v*h - 88 = 0. Solve 4*f - w = -0*f for f.
5
Let t(d) = d**3 - 20*d**2 - 20*d - 17. Let y be t(21). Solve -7*u = -y*u for u.
0
Let k = -8 + 8. Suppose -5*c = 4*y + 3, k = 2*y + 3*y + 3*c - 6. Solve j + 4 = -y*j for j.
-1
Let k = 0 - -5. Suppose -k*c + c = 0. Suppose c = -9*r + 4*r + 25. Solve 1 = -r*l - 14 for l.
-3
Let r = 167 + -167. Let p be 1/(1/(-3))*-1. Solve j = p - r for j.
3
Let n = -4 - -9. Suppose n*f = f. Solve -4*o + 0 + 4 = f for o.
1
Suppose 2*p - 4 = 2. Let w be p*((-16)/6)/(-2). Solve -w = -s + 3*s for s.
-2
Let w(l) = l - 6. Let y be w(5). Let f be 34 - (0 + (-2)/y). Solve -12 = 4*s - f for s.
5
Let h(q) be the third derivative of q**4/8 - q**3/6 - 2*q**2. Let c be h(2). Solve -c = -i - 2 for i.
3
Suppose 0 = -0*k + k - 2*l - 2, 3*k + 5*l = -27. Let g = k + 10. Solve -b + g = 2*b for b.
2
Let l be (-2)/(-4)*(-68)/2. Let g = -5 - l. Solve -2*k + 5*k = -g for k.
-4
Let j be (3 - (-1 + 1)) + -2. Let o be -1 + j + 0 + 2. Let x(v) = 2*v - 2. Let w be x(2). Solve 2*h = -w - o for h.
-2
Let q(m) = -2*m - 8. Let k(y) = y + 7. Let c(d) = 3*k(d) + 2*q(d). Let z be c(5). Solve -u = 1 - z for u.
-1
Suppose -3*b = 5*u + 6, -b - 2*u + 0 = 3. Suppose 0 = -2*c + b*r + 25, 4*c + 2*r = -0*r + 10. Solve -3*j + 6 = -c*j for j.
-3
Suppose 3*h = -a + 8, 4*h + 2*a = 4 + 6. Solve -4 = h*n - 7 for n.
1
Let f = -5 + 7. Let j(r) = 5*r + 3 - r**2 - 5 - 2*r. Let o be j(f). Solve o = 4*d - 0 - 4 for d.
1
Let l(p) = 2*p**2 - 4*p - 1. Let o be l(3). Suppose 0*v = -4*m - o*v + 31, -5*v = 5. Solve -1 = -4*k - m for k.
-2
Suppose 5*g - 142 = -4*j - 46, 0 = 2*j - 2*g - 30. Solve j + 1 = -5*k for k.
-4
Let s(m) = -m**2 - 9*m + 11. Let v(y) = -y - 10. Let d be v(0). Let w be s(d). Suppose -2*j = -j - w. Solve -2*a - j = -a for a.
-1
Let y be -1 - (-4 - -4 - 1). Suppose 8*n - 5 = 3*n. Solve y = -2*w + n + 5 for w.
3
Let j be (-25)/(-15) + (-2)/(-6). Suppose -j*o = -4 - 0. Solve 0*y + o*y + 8 = 0 for y.
-4
Let s(q) = q + 7. Let k be s(-6). Let d = k - 3. Let w be d/(-6) + (-17)/(-3). Solve c - w + 4 = 0 for c.
2
Suppose 2 = q - 3. Suppose -2*t - 3*t - 2*x = 3, 19 = -t - 5*x. Solve t + 24 = -q*j for j.
-5
Let q(j) = -j**2 + 10*j + 24. Let v be q(12). Suppose 0 = 4*h + 5*u - 30, -3*u + 1 = -h - 0. Solve -h*o + 0*o = v for o.
0
Let r(c) = c**3 + 4*c**2 - 4*c + 4. Let f(n) = 3*n + 1. Let p be f(-2). Let l be r(p). Let w be (l - -11)/(4 - 2). Solve 8*i - w = 3*i for i.
1
Suppose -3*y + 74 = -2*q, y - q + 0*q = 25. Suppose 6 = 5*i + 5*c - y, -5*i = -3*c - 6. Let j = -166 - -166. Solve j = -i*m + 2*m - 2 for m.
-2
Suppose 5*i = i + 28. Let c = 11 - i. Solve 0*q - 12 = c*q for q.
-3
Let a = -47 + 98. Let u be a/9 - 4/6. Suppose 3*g + u - 17 = 0. Solve g*d - 3 = 5 for d.
2
Let k(m) = m**3 - 7*m**2 + 6*m + 5. Let s be (-4 - -13)*(-6)/(-9). Let t be k(s). Solve 0 - 5 = -t*p for p.
1
Let o be 36/60 - (-54)/10. Suppose 3*y = 7 + 8. Solve j = o*j - y for j.
1
Suppose 4*o = 2*o. Let q be (-7)/(-14)*o/2. Solve q + 10 = 5*u for u.
2
Let j be (9/12)/((-1)/(-4)). Suppose -j*z + c = -32, z + 4*z - 2*c = 54. Let b = z + 5. Solve 0 = 5*w + b + 10 for w.
-5
Let h be 0/((-1)/(3/(-6))). Suppose 3*t + 1 - 10 = h. Let q = -1 - -3. Solve -q = -t*o + 4 for o.
2
Suppose 0 = z + 3*x - 19, -2*z - 3*z = -3*x - 5. Solve -z*u = -u for u.
0
Let a = 17 - 12. Let i be (a + -1)/(0 + 1). Solve 0 = 3*z - z - i for z.
2
Let z be 10*(3 + 5/(-2)). Suppose 0 = -8*t + z*t + 12. Solve 0*j + t = 4*j for j.
1
Suppose -d - 22 = -4*u - 3*d, 2*u - 4*d = -14. Solve u*m + 8 = -m for m.
-2
Let w(b) = -b**2 + 11*b - 3. Let c be w(10). Suppose -1 + c = 3*r. Solve r*f - 3*f = -3 for f.
3
Let x(q) = -q**3 - 2*q**2. Let k be x(-2). Suppose -t = -k*y - 2*y - 2, -2*t - 5*y = -13. Solve 9 = t*o - 7 for o.
4
Suppose -2 = -2*l + l + 2*f, 2*f = 3*l - 6. Solve -2*g - l*g = 12 for g.
-3
Suppose 0 = d - 2*d + 4. Solve d*n - 12 = -0*n for n.
3
Let k(u) = -10*u**3 + u**2 - 1. Let v be k(-1). Let d = 11 + v. Solve -4*t + 5 = d for t.
-4
Suppose 0 = -12*p + 16*p - 12. Solve -2*z + p = z for z.
1
Suppose 2*p - 4 = -b, 3*b - p - 4 = p. Solve -4 = -c - b for c.
2
Let c(y) = y + 6. Let s be c(-9). Let x = 1 - s. Suppose 3*b + 5 = x*b. Solve -1 = -3*k + b for k.
2
Let r = -8 + 13. Let d(z) = -z**3 + 4*z**2 + 4*z + 7. Let y be d(r). Solve 5 - y = -3*s for s.
-1
Suppose 5*p - 2 = 3*l + 4, -p = 2*l + 4. Solve 0 = -p*d + d for d.
0
Let j(u) = -u**2 - 6*u - 5. Let r be j(-4). Let l be ((-4)/4)/r*-18. Solve 7*x = 4*x + l for x.
2
Let b = 1 - 1. Let g(w) = w + 9. Let x be g(-12). Let r = b - x. Solve 0 = r*l - 0*l + 3 for l.
-1
Let r = 79 - 79. Solve 0 = -r*q - 2*q + 2 for q.
1
Suppose -2*i - 61 - 3 = 0. Let p = -22 - i. Solve 4*w = -w - p for w.
-2
Let q be 6/(2*(-3)/(-16)). Suppose x = t - 2*t - 5, -9 = 2*t + x. Let j = 1 - t. Solve j*b = b - q for b.
-4
Let x(b) = 13*b**2 - 17*b + 15. Let p(f) = 7*f**2 - 8*f + 7. Let n(d) = 11*p(d) - 6*x(d). Let h be n(13). Solve 0 = -3*r - h*r + 3 for r.
1
Suppose -2*p - 3 = -1. Let c(g) = -2*g**3 - g. Let x be c(p). Let m be 1/3 + 2/x. Solve 0 = -5*a - 4 - m for a.
-1
Suppose -2*x - 2*x + 23 = -5*v, 3*v + 9 = 0. Solve -h - x*h + 3 = 0 for h.
1
Suppose 0 = -31*c + 28*c + 12. Solve -c*q + 29 = 9 for q.
5
Suppose -4*i - 2*r + 13 = i, 5*i - 1 = r. Solve s + 0 = i for s.
1
Let v be (-3 - (2 + -13))/1. Suppose 2*i + 6 = -4*p, -3*p = 3*i + 2*p + v. Let c = 1 + i. Solve c = -4*d + 3 + 1 for d.
1
Let z = -29 - -38. Solve y - z = -4 for y.
5
Let x = 10 - 13. Let w be (-7)/(-2) + x/(-6). Solve 0 = -w*j - 20 for j.
-5
Let h be 1*2*(0 - -1). Let n be (-4)/(-10) + 1002/(-30). Let z be (2/(-6))/(11/n). Solve -r = -h*r + z for r.
1
Suppose 62 - 6 = -4*o. Let i = -12 - o. Solve i*c = c for c.
0
Let s be (-45)/6*6/(-3). Let y be (-2 + 4)*s/10. Solve y = g - 0*g for g.
3
Let a be ((-1)/(-5)*8)/(8/60). Solve -5*r = -a - 8 for r.
4
Let c be (1/(-4)*0)/(-3). Let g(w) = w**2 + 4*w - 8. Let t be g(-6). Solve c = -4*r + t for r.
1
Let m = 17 - 17. Suppose m = 3*j + 2 - 17. Solve -j*g = -4*g + 5 for g.
-5
Suppose 5*z - 23 + 83 = 5*v, -2*z + 4 = 2*v. Let o = -1 + v. Solve 0 = 5*s - 3*s + o for s.
-3
Let h be (-1)/2 - (-3)/6. Suppose -2*r - 6 = 5*u - 0, h = -4*r - 4*u. Let s be 21/14 - r/(-4). Solve -s*j = j - 9 for j.
3
Let w be (-10)/(-15) + (-10)/(-3). Let j be 16/6*(32 - -1). Suppose -3*m + w*f = -56, 7*m - 2*f - j = 3*m. Solve -1 = -5*u + m for u.
5
Suppose -105*j = -102*j. Solve -c - 1 = -j for c.
-1
Suppose -4*d = -5*c - 0*c - 49, 0 = d - 2*c - 10. Solve 5*o = -d - 4 for o.
-4
Let t(y) = -y**3 + y**2 + 2*y - 2. Let x be t(-3). Suppose -3*j = j - x. Solve 3 + j = -2*c for c.
-5
Let y(i) = i**3 + 9*i**2 - 8*i + 24. Let o be y(-10). Solve -d = -o*d + 15 for d.
5
Let w be 2 + (-5 - 2) - -1. Let p = 6 + w. Solve 4*d - 2 = p for d.
1
Let m = 8 - 5. Suppose -2 = -5*a - 17. Let u = m + a. Solve x - 1 = -u*x for x.
1
Suppose -44 = 5*r - r. Let l = 1 - r. Solve -3 = -5*p + l for p.
3
Let j(h) = h**2 + 20*h - 21. Let l be j(-21). Solve -n + 5*n + 8 = l for n.
-2
Suppose 0*r + 3 = r. Suppose -r*g + 67 = -5*j, -59 = -2*g - 3*j + 11. Suppose -2*m + 7 = 2*m - y, -4*y + g = 3*m. Solve 0*p = p + m for p.
-3
Suppose 3*x = f - 50, -x + 10*f - 40 = 5*f. Suppose 0 = -8*l + 3*l. Let n = l - x. Solve h + 2*h = -n for h.
-5
Suppose 7*u - 4*u = i - 17, u - 3 = -4*i. Let c(o) = o**2 + o. Let g be c(-4). Solve i*r + 2*r = g for r.
3
Let k(l) = 3*l - 3. Let h be k(2). Suppose h + 17 = 5*v. Suppose v*s = 5*i - 0*s, -3*s = 2*i. Solve i*f - f = 1 for f.
-1
Suppose 2*r = 3*z + 122, -z = -1 + 5. Suppose -q + 5*t + r = 2*q, -45 = -3*q + 3*t. Suppose -v + q = 4*v. Solve v*b = -3*b - 10 for b.
-2
Suppose s = -2*s + 9. Solve -s*z = -0*z for z.
0
Suppose 0 = -4*s + s. Suppose -j + 5 - 1 = -2*x, -j - 2*x = s. Solve j*y + 6 = -0*y for y.
-3
Let z = -1 - -1. Let o(b) = b - 3. Let n be o(4). Solve 4*y - 21 + n = z for y.
5
Let k(y) = -y + 2. Let a be k(1). Solve n - a = 3 for n.
4
Let s = -302 - -327. Let x be (-2)/10 - 2/(-10). Solve x = n - 6*n + s for n.
5
Let o(n) = 6*n**2 - n - 2. Let d(i) = -7*i**2 + 