et t be x(8). Suppose t*o - 64 = -12. Solve -5*r = o - 3 for r.
-2
Let a = 0 + 1. Solve 0 = -3*g + a + 2 for g.
1
Let s be 4/3*(-48)/(-8). Let z = 10 - s. Solve z + 13 = -3*m for m.
-5
Let f = 84 + -68. Solve 0 = 3*a + f - 4 for a.
-4
Let m(x) = -x**3 - 7*x**2 - 5*x + 11. Let u be m(-6). Solve -u*h = 1 - 11 for h.
2
Suppose 0 = 2*n + 2 - 6. Suppose -2*c = 3*c - 4*u - 23, -n*c + 10 = -2*u. Solve -13 - 2 = -c*y for y.
5
Suppose -3*b = -6, b = -0*s + 2*s - 2. Let i be 2/(1/(6/4)). Suppose -i*p = -4*p. Solve -s*f + 10 = -p*f for f.
5
Let p be 3*2 + -3 + -1. Solve -4 = -4*g + p*g for g.
2
Let g(v) = -v**3 - 10*v**2 - v - 1. Let m be g(-10). Suppose -2*q + m - 1 = 0. Suppose -q*j - 42 + 142 = 0. Solve j = -5*t - 0*t for t.
-5
Suppose -76 = -5*g + 4*n, 5*g - 68 = g + 5*n. Solve -f = 2*f - g for f.
4
Let j be -2*-1*(-1)/(-1). Solve -s - 15 = j*s for s.
-5
Let h be 1*-5*1*-1. Let w = -450 - -452. Solve -w = -k - h for k.
-3
Let m be 41/13 + (-6)/39. Solve 11 + 1 = m*s for s.
4
Let t be 2/9 + 25/9. Suppose -t = -3*n + 3. Suppose -n = -2*f + 4*w - 18, 4*f - 4*w + 12 = 0. Solve 4*a - 22 = -f for a.
5
Let g(t) = -t**3 - 7*t**2 + 6*t - 9. Let d be g(-8). Solve d*z = 4*z - 3 for z.
-1
Let x(l) = -l**2 - 11*l + 3. Let i be x(-11). Solve i*p + 1 - 10 = 0 for p.
3
Let c = -19 - -27. Solve -3*z + z = -c for z.
4
Let s(v) = v**2 + 3*v - 3. Let c be s(-5). Let q be ((-2)/(-2))/((-1)/(-4)). Let j be (7 + -5)/(2/q). Solve c = j*g - 1 for g.
2
Let l be (14/(-21))/((-2)/3). Solve l = -2*b - 5 for b.
-3
Suppose 8 = 3*y - y. Let m = -1 + 6. Solve -21 - y = -m*o for o.
5
Suppose -2*x - 8 = -2*d, 1 = 2*d - 3*d - 4*x. Suppose 0 = -0*y - d*y. Let s(a) = -a**3 + 5*a**2 + 3*a + 2. Let u be s(5). Solve -4*r - u - 3 = y for r.
-5
Let v(u) = u**2 - 8*u + 2. Let c be v(8). Solve -c*i = 3*i + 5 for i.
-1
Let x be -2 + 4 + 1 + -1. Solve x*n = n for n.
0
Let v be ((-1)/3)/((-3)/9). Suppose 5*z + 4*n + 4 = 0, -2*z = -3*n + v - 4. Solve z = m - 3*m for m.
0
Suppose 21 + 3 = -4*z. Let x = -2 - z. Solve 0*j = x*j for j.
0
Let q(h) be the first derivative of -3 + 7/3*h**3 + 0*h**2 - 1/4*h**4 + 4*h. Let f be q(7). Solve -r = -3*r - f for r.
-2
Suppose -2*q - 5*l + 10 = 0, -8 = q - 3*q - 4*l. Solve 5*i + 0 - 10 = q for i.
2
Let q(c) = c**3 - 5*c**2 - 7*c + 8. Let r(j) = 2*j**2 - 5*j + 3. Let p be r(3). Let v be q(p). Solve -t - v = 2 for t.
-4
Let r = -153 - -159. Solve 0 = -r*p + p + 10 for p.
2
Let s(p) = -p**2 - 5*p + 2. Let y be s(-5). Solve u + u + y = 0 for u.
-1
Let n(u) = -u**2 + 6*u + 7. Let c be n(7). Suppose c = 5*h + 4*o, -7*o + 3*o = -3*h. Suppose 0 = -0*x + 5*x - 25. Solve 0 = x*z - h*z + 25 for z.
-5
Let q be -3 + -1 - (-12 + 8). Suppose 8*h - 6*h - 4 = q. Solve 2*p = -h + 4 for p.
1
Suppose 34 = 2*c - 5*f - 0*f, 30 = 2*c - 4*f. Solve 16 = c*m - 3*m for m.
4
Let z = 17 - 15. Solve 0*o = z*o + 10 for o.
-5
Let z = 28 + -18. Solve 5*s = -0*s + z for s.
2
Let v be 0/2*(5 + -8)/6. Solve v = 2*s - s + 2 for s.
-2
Let y = 7 + -5. Suppose y*m - 6*m + 32 = 0. Solve m*x = 3*x - 5 for x.
-1
Let y = 14 - 14. Solve -2*w + 1 - 3 = y for w.
-1
Let z = -2 + -2. Let p(f) = f - 4. Let m be p(6). Let c be (1 + z)/((-3)/m). Solve 0 = -2*l - c*l for l.
0
Let y be ((-6)/5)/((-3)/20). Solve -y*u - 8 = -4*u for u.
-2
Suppose r - 8 = -3*r. Suppose -3*q - 93 = -4*m, 6*q + 68 = 3*m + r*q. Solve -m = -5*b - 9 for b.
3
Suppose -4*d + 5 = -3*d. Solve -3*s + 2 - d = 0 for s.
-1
Let z be (-66)/(-78) - (-6)/39. Solve z = x - 0 for x.
1
Suppose 0 = 4*w - 3*a + a - 6, 0 = 3*a - 15. Suppose -3*u = -10 + 4. Suppose 5*p - u*p = 0. Solve p*t + w = 4*t for t.
1
Suppose -5*r + 2*r = 0. Let b be (5 - r)*(-15)/(-25). Solve 0 = 2*q + 5 - b for q.
-1
Suppose 2*c = 5*k + 3, 7 = -5*c - 4*k + 31. Suppose j = c - 6. Let p be 6 + j - 0/(-2). Solve 0 = p*s - 4 for s.
1
Suppose -3*o + 8*o = 10. Solve 2*n = -o*n for n.
0
Suppose 2*k + 2*o - 2 = 0, -1 = 2*k - 5*o + 4. Solve k = 2*g - 0 - 10 for g.
5
Suppose -8*j = -2 - 14. Solve x = -j*x + 9 for x.
3
Let s = 10 - 6. Suppose m + 4*t + t - 27 = 0, m = -s*t + 22. Suppose -4 = o - m*o. Solve -30 + 10 = o*i for i.
-5
Let r be (-24)/(-4) - (0 + 3). Let m be 7 - (1 + -2*1). Suppose r*d - 7 = m, 6 = -3*z + 3*d. Solve z*g + 4 = -2 for g.
-2
Let z = -1 - 13. Let c be (-4)/14 + 24/z. Let q = c - -5. Solve 2*u - 5 = q for u.
4
Let q be 4 - 4 - (-9 - -1). Suppose 3*n - 17 = -q. Solve n*d = -0 - 6 for d.
-2
Let t be (-2 + 7)*(-1 + 2). Suppose 5 = -t*o + 25. Suppose 0*b + 2*b = -k + 12, 4*k - 5*b = -17. Solve k*x - 3*x = -o for x.
4
Let a = 3 + 1. Suppose 0 = b + 5*r - 15, 5*b - 99 = -2*r + r. Solve a*j = -j + b for j.
4
Suppose j = 2*q + 12, 4*q - q + j + 18 = 0. Let o = q - -8. Let i be ((-16)/(-4))/(o/4). Solve -i*u + 4*u = 0 for u.
0
Let z be -1 - 1 - (0 + -2). Suppose 3*n + 9 = -3*j, 4*n + 5*j + z*j + 17 = 0. Solve 0 = -n*o - 3*o for o.
0
Let a be 6 + (-2)/2 + 1. Solve a*j = 5*j + 1 for j.
1
Suppose o = 2*o - 15. Solve o = 4*i - i for i.
5
Let h(o) = -6*o - 9. Let c be h(-2). Solve c = 5*b - 4*b for b.
3
Let n be (-20)/25*5/2*-1. Solve -n*q + 5 = -7*q for q.
-1
Let u be (-2 - 5/(-2))*4. Let t be 2 + (3 + -1 - 0). Suppose 20 = 4*s + t. Solve -2 = -u*p + s for p.
3
Suppose 0 = 16*d - 176 - 96. Solve 5*c = d - 2 for c.
3
Let s = 12 + -11. Let f(m) = m**3 + 4*m**2 - 5*m + 2. Let b be f(-5). Solve b*k + s = k for k.
-1
Suppose 0 = -2*i - 2*x + 16, x = -i + 2*i + 2. Solve 6*g + i = 3*g for g.
-1
Let l be 2/14 - 468/42. Let k = l - -18. Solve 3*m + k + 8 = 0 for m.
-5
Let j(c) = -1 - 8*c - c**2 + 1. Let w be j(-6). Suppose 5*f = 2*m + 21, -4*m + 2*f - w = -2*f. Solve m*v = -3*v - 20 for v.
-4
Suppose 4 = -b + 10. Suppose -2*a + 5*a = -b. Let y = 2 + a. Solve -4*d + y = -4 for d.
1
Let j be 1 + (-2 - 1)/3. Let x(z) = z + 59 - 59. Let q be x(j). Solve 0 = -q*v - 5*v + 15 for v.
3
Let l = 15 - 5. Solve l = -y - y for y.
-5
Let z be 2/6 + (-10)/(-6). Solve -z*a = 2*a - 20 for a.
5
Suppose -2*r = 2*y - 18, 2*r - 5*y - 1 = -4. Solve r*t = 3*t + 3 for t.
1
Let t(l) = l - 6. Let s be t(9). Let n be (2/6)/(1/9). Suppose n*c - 10 = -2*c. Solve 5*y - s*y + c = 0 for y.
-1
Let s = 4 - 1. Suppose -5*h - 8*v + 90 = -3*v, -s*h - v + 50 = 0. Suppose -4*l = -l. Solve l = -3*r - 7 + h for r.
3
Let t = 1 - 1. Solve t = a + 1 + 2 for a.
-3
Let d(p) = 2*p - 1. Let t be d(2). Let q = t + -3. Let z(w) = -w + 4. Let a be z(q). Solve -12 = l - a*l for l.
4
Suppose 54*b = 56*b. Solve -2*r - 3*r = b for r.
0
Let r be (1 - (-5)/(-5))/(-1). Solve -3*n + 2 + 1 = r for n.
1
Let n be (1 - 1 - -1)*-1. Let d be (-33)/(-12) + n/(-4). Solve 3*b - d - 6 = 0 for b.
3
Let m(x) = -x**3 - 4*x**2 + 20*x - 2. Let j be m(-7). Solve 3*h - j*h - 4 = 0 for h.
-2
Let r(i) = 2*i**2 + 2. Let j(o) = 3*o**2 + 4. Let k(v) = -3*j(v) + 5*r(v). Let a be k(2). Solve 2*h = -a*h for h.
0
Let u(p) = p**2 + p - 8. Let s be u(-4). Solve 0*d - s = 4*d for d.
-1
Suppose -36 = -2*k - 2*k. Let s = 6 - k. Let f be -2 + 0 + 4 - s. Solve -f*m = -7 - 3 for m.
2
Let x = -111 + 236. Suppose 0 = 6*g - g - x. Solve -g = 2*a - 7*a for a.
5
Suppose -2*j = 3*j - 50. Let m be (2 + -1)/(5/j). Let w(o) = 2*o**2 - o + 2. Let l be w(m). Solve l = z + z for z.
4
Let v(u) = -u - 2. Let k be v(-6). Let w = 5 - k. Let b be (2/(-2))/(w/(-3)). Solve b*z = -z - 8 for z.
-2
Let h be 2/(((-14)/(-4))/7). Suppose 0 = h*w - 2*g - 6, -g + 11 = w + 4*w. Solve w*r + 2*r = -8 for r.
-2
Let m(z) = -z**2 + 9*z + 13. Let i be m(10). Solve -a - i = -0 for a.
-3
Let k(r) = -r**2 + 4*r + 4. Let p be k(5). Let z = 3 + p. Solve u - z = -0*u for u.
2
Let c(y) = y**2 - 7*y - 5. Let t be c(8). Solve -t*k = k - 20 for k.
5
Let p(r) be the first derivative of -r**3/3 - 5*r**2/2 + 5*r - 3. Let o be p(-5). Solve 15 = o*u - 0*u for u.
3
Suppose 38 - 8 = 5*x. Suppose -3*n + 2*a - x = -5*n, 3 = -4*n + a. Suppose 4*l + l - 25 = n. Solve 4 - 14 = l*y for y.
-2
Let v(u) = u**2 - 7. Let g be v(0). Let p = 27 + g. Solve 2*a - 6*a = -p for a.
5
Let a = -75 - -31. Let t be (-4)/(16/a) + -3. Solve t = 3*r - 1 for r.
3
Suppose -30 = g + 4*g. Let w = -10 + 18. Let o = g + w. Solve 6*m = o*m - 4 for m.
-1
Suppose 16 = 11*g - 7*g. Solve 1 + 3 = g*k for k.
1
Let m = -5 + 5. Let z = 3 + m. Suppose -y + 16 = z*q, -3*q = -4*y + 2*q - 21. Solve -3 = -h - y for h.
2
Let m be (-3)/(-2)*(-4)/(-6). Suppose -25 = -x - 5*s, 