 3*i + 0*i - a = o for i.
3
Let c(a) = 8*a - 1. Let f be c(1). Suppose -1 = -2*d + f. Solve d*h + h = 25 for h.
5
Suppose 4*z = 5*z - 2. Let i be (0 - z)*(-2)/4. Suppose -2*b + 17 - i = 0. Solve -n = -5*n + b for n.
2
Suppose 5*p + 11 = z + 3*p, 96 = 4*z + 5*p. Suppose 0 = t - z. Suppose -r = -0 - 3. Solve -r*x = t - 4 for x.
-5
Let p(s) = s**3 + 7*s**2 - 2*s - 10. Suppose -2 + 9 = -l. Let h be p(l). Solve 0 = -0*k - h*k - 4 for k.
-1
Let r(z) = 4*z**2 - 2*z + 4. Let s be r(3). Suppose -3*y - 4*c = -s, -24 = -3*y - c - 2. Solve 2 + y = -2*g for g.
-4
Suppose 5*c - 13 - 7 = 0. Suppose 24 = c*j + 4. Solve w - j*w + 16 = 0 for w.
4
Suppose -8*u + 6 = -6*u. Solve -u*y - 9 = 6 for y.
-5
Let a = 17 + -13. Solve -a*y - y + 25 = 0 for y.
5
Suppose 4*t - 3*p + 30 = 0, -3*p - 34 = 4*t - 4*p. Let y be 6/(-1*3/t). Let j be ((-6)/y)/(2/(-18)). Solve -7 = -j*b + 5 for b.
4
Let k = -87 + 87. Solve 2*s + 8 + 0 = k for s.
-4
Suppose -3*y = 8 - 23. Solve -15 = -2*j - y for j.
5
Let z(q) = q**3 + 9*q**2 - 11*q - 5. Let d be z(-10). Solve 0*h + d*h = 20 for h.
4
Let w be -10*((-1 - 1) + 0). Suppose x = -x + w. Suppose 4*h + 3 = -2*n - 9, 3*n = -4*h - x. Solve 4*t - n + 6 = 0 for t.
-1
Let o(t) = -2*t - 1. Let i be o(-3). Suppose 8 = i*d - 3*d. Let l = 6 - d. Solve s = -l*s + 3 for s.
1
Suppose 0 = n - 2 + 4, -4*n = -2*i + 24. Solve -2*u + 0*u = -i for u.
4
Let y be (-1 + (-1)/(-5))*-5. Suppose -3*d + d = y*k - 18, -d = -k. Solve d*a = -11 + 2 for a.
-3
Let h(u) = 3*u**2 - 2*u - 4. Let s be h(3). Let a = -12 + s. Solve -9 = -a*g + 16 for g.
5
Let o = 29 - 13. Suppose -o = -3*z + 2. Solve z = 3*a - 3 for a.
3
Suppose 0 = 4*u - 8, -2*u = -4*k - 4*u + 12. Suppose -7 - 7 = k*d. Let r = d - -12. Solve 2*g - r*g = 3 for g.
-1
Suppose 3*a = 2*y - 11, 3*a = -0*a - 3. Solve y*i + 0*i + 8 = 0 for i.
-2
Let t = 10 - 8. Suppose 4*y = y, -t*c - 2*y = -8. Solve -3*z + c = z for z.
1
Suppose 12*g - 25 = -1. Solve -w = -g*w for w.
0
Suppose 2 = -0*c - c, -c - 2 = 4*x. Solve -12 + x = 3*a for a.
-4
Let l be 0 - (36/2)/(-3). Solve -l*x - 25 = -x for x.
-5
Let i = 10 + -5. Let g(s) = 2*s**3 - 3*s**2 + 1. Let w = -1 + 3. Let v be g(w). Solve v = i*q + 30 for q.
-5
Let b(n) = n - 1. Let t(v) = -5*v + 3. Let j(c) = 3*b(c) + t(c). Let f be j(-2). Solve -f*q = -0 - 12 for q.
3
Let j(r) = -r**2 - 5*r - 5. Let w be j(-5). Let i = w + 7. Suppose -5*h - 15 = 5*u, h + 2*h = -i*u - 6. Solve h = b + 4*b for b.
0
Let c(a) = -14*a**3 + a**2 + a + 1. Let o(b) = -b - 7. Let v be o(-6). Let w be c(v). Suppose -4*l + l + w = 0. Solve l*y = -0*y + 25 for y.
5
Suppose 4*w = 8*w - 8. Solve 2*g = -w*g - 8 for g.
-2
Suppose 2 + 2 = -2*y. Let n = 0 - y. Solve -n*o = -4*o for o.
0
Suppose 12 = -k - 2*k - 3*j, 4*j = -3*k - 15. Let o be (-1)/(-3) + k/3. Let t(d) = -d**3 + 6*d**2 - 5*d + 3. Let p be t(5). Solve l - p + o = 0 for l.
3
Suppose -5 = -5*y + 2*f + 3*f, 3*f = 5*y - 7. Solve -y*l = -l for l.
0
Suppose 5 - 41 = -4*m. Let c(p) = p**2 - p - 3*p + m + 5*p. Let a be c(0). Solve a = -0*l + 3*l for l.
3
Let t = -30 - -37. Solve 4*s = -t - 5 for s.
-3
Suppose 2*o - 68 = -8. Let r be (-2)/6*o/(-5). Solve 10 = r*c - 0 for c.
5
Let a(l) = -l**3 - 5*l**2 - l - 3. Let y be a(-5). Solve -6 = p + y*p for p.
-2
Suppose 0 = 5*s - y - 24, -4*s + 0*y = 5*y + 4. Suppose -j - 12 = 4*a - 4, 0 = -j - 3*a - 6. Solve 0*p - s*p - 4 = j for p.
-1
Let r be (-2 - -2) + 1/1. Let k(x) = x + 3. Let o be k(0). Solve -d + o = -r for d.
4
Suppose 2*g = 6*g + 40. Let k be (-2)/4*(9 - -3). Let a = k - g. Solve a*i = 1 + 3 for i.
1
Let k be 5/2*12/15. Solve 0 = -k*c - 5 + 1 for c.
-2
Let k = -4 + 3. Let p be ((-1)/(k/(-3)))/(-1). Suppose 2*v + 50 = 4*v. Solve 8*f - p*f = -v for f.
-5
Let u = -146 + 175. Solve 5*z - 9 = -u for z.
-4
Suppose 4*u - 2*d - 1 = -7*d, 5*u - 5 = -5*d. Suppose u*w + 2*g = 2*w + 12, -2*w + 11 = 3*g. Solve -13 - w = -4*v for v.
5
Let j(u) = u**3 + 10*u**2 - 12*u - 8. Let t be j(-11). Suppose -v - 4 = -4*y, -4 = -3*y + t*v - 2*v. Solve -s + y*s = 3 for s.
-3
Suppose 0 = 4*y - 5*i + 69, 0 = 5*y - y + 3*i + 61. Let f = 27 + y. Solve -f = -2*s - 1 for s.
5
Let w(p) = p**3 - 8*p**2 + 8*p - 2. Suppose -7*x = -8*x + 7. Let z be w(x). Solve 0 = -z*r + 11 + 9 for r.
4
Let k(z) = -z - 10. Let j be k(-14). Solve -2*l = -j*l for l.
0
Let u = -7 + 14. Solve 0 = -x + 2 - u for x.
-5
Let u = -68 - -70. Solve u = -m - 0 for m.
-2
Let g(w) = -2*w + 3. Let z be g(5). Let n = 0 - 7. Let x = n - z. Solve 0*s - 3*s + 9 = x for s.
3
Suppose 4*h = -z + 16, -z + 22 = 2*h + 3*z. Let c be 1*(-4)/(-4) + h. Solve -24 = -4*q - c for q.
5
Let u(t) be the third derivative of -5/24*t**4 + 1/12*t**5 - 1/120*t**6 + 0*t + 2*t**2 + 1/3*t**3 + 0. Let s be u(3). Solve s*d + 8 = -12 for d.
-4
Suppose -16*o = -5*o - 77. Solve o = -4*r - 1 for r.
-2
Let c be 1/(-1*(-2)/4). Solve l - 2 = c for l.
4
Suppose 0 = -5*p + 10 - 60. Let b = p + 12. Solve b*f - 9 = -1 for f.
4
Let q(p) = -p**3 + 4*p**2 + 7*p - 7. Let c(t) = t**3 + 4*t**2 + 2*t + 2. Let i be c(-3). Let b be q(i). Solve 2*l = 3*l + b for l.
-3
Let j(n) = n**2 + 4*n + 3. Let u be j(-5). Let i = 1 + 1. Suppose -1 = -o + i*a, -5*o - a - 4*a + 20 = 0. Solve -2 = -o*q - u for q.
-2
Let n = -3 - -5. Suppose 0 = -0*t - n*t + 4. Let q = t + 0. Solve q*f = -0*f - 4 for f.
-2
Let v = -15 - -18. Solve -9 = -v*a + 6*a for a.
-3
Suppose 0 = i + i + 4. Let j = 3 + i. Let v(w) = w - 3. Let g be v(6). Solve -a - j = g for a.
-4
Let b be (-8 - (-4 - 0)) + 7. Solve -n + b*n + 2 = 0 for n.
-1
Let h(k) = k + 15. Let g be h(-7). Solve 4*b - g = 8*b for b.
-2
Let s = 59 - 57. Solve s*y = -3*y for y.
0
Let d = -135 - -138. Solve -4 = d*r + 11 for r.
-5
Suppose 0 = -0*f - 10*f + 40. Solve 0 = -f*d - 16 for d.
-4
Let z(n) = n - 10*n + 7*n - 18. Let h be z(-9). Solve -7*y + 3*y = h for y.
0
Suppose 0 = 5*a - 2*a + 6. Let x be (a/4)/(4/(-8)). Solve -4 - x = -s for s.
5
Let v = -15 - -18. Solve -1 = -2*w - v for w.
-1
Let b(t) = 2*t**3 - 19*t**2 - 11*t + 10. Let v be b(10). Solve 1 = s - v for s.
1
Let d(h) = 4*h**3 - h + 2. Let x be d(1). Solve x*r = 4*r - 4 for r.
-4
Let u be (6/(-4))/(12/16). Let z = 0 + 1. Let q be z*u + 3 + 2. Solve 2*i - 11 = -q for i.
4
Let n(x) = -x**3 - x**2 + 17. Let s be n(0). Suppose s*o - 12*o = 15. Solve o - 18 = 5*i for i.
-3
Let c be (-273)/(-6) + (-2)/4. Suppose 0 = 2*t - c + 15. Solve -z + t = 4*z for z.
3
Let t = 23 + -13. Solve -3*o + t = 2*o for o.
2
Let z be 2/2*(4 + 0 + 13). Solve -4*j = z - 1 for j.
-4
Let m(s) = 3*s - 16. Let c be m(6). Suppose -2*k + 3 = -5. Solve 3*o + c = k*o for o.
2
Let v = -46 - -50. Solve 0*t + 4*t = v for t.
1
Suppose 4*p = -3*m - 2*m - 7, -m = 2*p - 1. Solve p = -2*n - 0 for n.
-1
Suppose 5*o - 3*k = 1 + 3, -3*o + 4 = -k. Solve 0 = c + 1 - o for c.
1
Suppose -72 + 78 = 2*w. Solve 2*h + h + w = 0 for h.
-1
Suppose -9*x - 2 = -10*x. Solve -i = x*i - 3 for i.
1
Let a be 2/4*(2 - 2). Suppose -3*f + f = a. Solve f*h = 5*h for h.
0
Let o be (-275)/(-33) - 1/3. Solve -o*g - 20 = -4*g for g.
-5
Let d = 14 + -12. Suppose 3*p - d*p = 2. Solve -p*t = -0*t + 4 for t.
-2
Suppose -2*c + 5*o + 4 + 6 = 0, -c - 4*o = 8. Let b = 9 - -11. Solve 4*g = -c + b for g.
5
Let q(z) = z**3 - 10*z**2 + z - 5. Let r be q(10). Let p be 1 + (14 - -1 - 0). Solve -r*y + 1 = p for y.
-3
Let t(j) = -j - 1. Let a(r) = -7*r - 10. Let d(u) = -a(u) + 6*t(u). Let m be d(0). Suppose -m*p + 7 = -1. Solve 3*q + p = 8 for q.
2
Suppose -4*u - t + 24 = 0, -3*u + 18 = -0*u - 2*t. Let s = u + -3. Solve s*h = -h for h.
0
Let l(a) = -a + 3. Let t(w) = w + 2. Let p be t(-2). Let y be l(p). Let c = y + -3. Solve -5 = x - c for x.
-5
Let i be (-1 + 3)*(-10)/(-4). Suppose -20 = -4*b - 0*b + 5*q, -3*b + i*q = -20. Suppose 0 = s - 2*s. Solve b*c - 3*c = s for c.
0
Let c = 106 + -96. Solve -2*p - c = -0*p for p.
-5
Let n(l) = 2*l - 2*l - l + 4. Let i be (-10)/(-5)*4/2. Let y be n(i). Solve 5*p - 7 - 8 = y for p.
3
Let n(m) = m + 1. Let l be n(3). Suppose -l*r = -2*r - 2. Solve 3*o + r = -2 for o.
-1
Let b(q) = q**2 - 7*q + 7. Let h be b(7). Suppose 0 = 4*z + 3*v - 9, 4*z + 5*v + 0*v - h = 0. Solve -4 = 2*s - z*s for s.
4
Suppose 4*k = -0*k - 5*y + 1, 2*k = -2*y + 2. Suppose -2*b + 22 = -5*v - 3, -3*v - 29 = -k*b. Solve -3*p = -b*p + 4 for p.
2
Let n be 1/7 - (1 + (-30)/35). Solve 0 = -3*j - n*j + 12 for j.
4
Su