 - 4*i + 3. Let z = -7 + 5. Let s be z/5 - (-85)/25. Let p be k(s). Solve -2*t + p + 8 = 0 for t.
4
Let r(p) = -p - 3. Let x = 5 + -14. Let z be r(x). Solve 4*m + 2 = z for m.
1
Let d be (8/12)/((-4)/(-6)). Suppose -2*v - 3*o - 6 = 0, 2*v + o - 1 = d. Suppose -4*b + 1 = 5, -2*u - b = -v. Solve u*z + 7 = -1 for z.
-4
Let s = 6 + -11. Let g = -4 - s. Let w = 1 + g. Solve w*z = 3*z for z.
0
Suppose -10 = -2*z - 0. Suppose 20*b + 8*b = 56. Solve b*i = i - z for i.
-5
Let v(k) = -k**2 - 2*k + 1. Let z be v(-2). Let x = 15 - 12. Solve -4*p + z = -x*p for p.
1
Let k be -2*4/4 - -4. Solve -s = -3*s - k for s.
-1
Let u(l) = l**3 + 8*l**2 - 11*l - 14. Let z be u(-9). Solve -2 = -2*o - z for o.
-1
Suppose 0 = -4*r + 76 + 72. Suppose -2*f = -5*f + 3*z + 21, 0 = -5*f + 4*z + r. Solve 2*d - f = -1 for d.
4
Let t(q) = q + 4. Let f be t(-7). Let r be (9/f - -3)/(-1). Solve 2*k + r*k - 4 = 0 for k.
2
Suppose -7*m + 5*m - 2*c + 2 = 0, 12 = 2*m - 3*c. Solve 4 = m*b - 2 for b.
2
Suppose 5*n - 4*n = -21. Let k be (-14)/4*12/n. Suppose 6*q = 3*q + 6. Solve -q = -k*z - 0*z for z.
1
Let i = 1 + 3. Suppose 8 = -3*v + i*v. Let m = v + -5. Solve c = m*c for c.
0
Let z be (12/(-18))/((-1)/6) + 0. Let j(n) = -2*n + 6. Let t be j(4). Let u be (3/t - -1)*-24. Solve f = z*f - u for f.
4
Let v(k) = 3*k + k + 0 - 1. Let f be v(1). Let d = f + 4. Solve 0 = 5*b - 8 - d for b.
3
Suppose -2*t + 4*z - 12 = 0, -5*t + 2*z - 7 + 1 = 0. Solve t = -4*a - 13 - 7 for a.
-5
Let d be 6*(5/(-2))/1. Suppose -8*j = -0*j - 240. Let p = j + d. Solve -4*y - p = y for y.
-3
Let b = 7 - 7. Let z be (-2 + b + 0)/(-2). Let s = 2 - -9. Solve -3*o - s = z for o.
-4
Let l = -93 - -188. Suppose -4*r + 193 = f, 3*r - l = -5*f + 54. Suppose -5*x = -x - r. Solve -2*v = v - x for v.
4
Suppose 2*h = 3*h. Solve -4 = 2*u - h for u.
-2
Let w be -3 - -3 - (-1 + 1). Let b be (4 + -9)*2/(-5). Solve -b*y = -w*y for y.
0
Let t(i) = 9*i + 1. Let p be t(1). Solve -4*b - 2 = p for b.
-3
Suppose -9*k = -6*k - 45. Suppose -3*n + n = -q - 11, 2*n + 3*q = k. Suppose 2*d - n = 6. Solve -2 = -7*s + d*s for s.
2
Let i(a) = a**2 + 15*a + 16. Let y be i(-14). Solve -y*l - 12 = l for l.
-4
Let u(t) be the first derivative of -t**4/4 + 4*t**3/3 - 3*t**2/2 + 2. Let k be u(2). Let n = k + -1. Solve 2*j - j + n = 0 for j.
-1
Let h be -9 + -2*(-2)/4. Let d = 16 + h. Solve 8*g = 4*g - d for g.
-2
Let y be (-2)/12*(0 + -6). Suppose 3*u = 2*u. Solve u = z - 0 - y for z.
1
Let n(a) = a**2 + 7*a + 9. Let s be n(-6). Let w be 0/(s*(-3 - -2)). Suppose -t = -0 + 3, 4*k - 4*t - 36 = 0. Solve w = -i - 2*i + k for i.
2
Let b be 8/(-20)*10/(-4). Let s be 4/(12/9) + 4. Solve -b - s = -4*r for r.
2
Let v = 34 + -33. Solve h - v = -0*h for h.
1
Let c be 10 - 11 - (0 + -1). Suppose -24 = -3*d - c*d. Solve p - d = -p for p.
4
Let u(t) = 3*t**3 + 5*t**2 + 5*t + 6. Let j(p) = -4*p**3 - 6*p**2 - 6*p - 7. Let h = 15 - 9. Let f(r) = h*j(r) + 7*u(r). Let d be f(-1). Solve 4*w = d*w for w.
0
Suppose -2*t - 4*p - 14 = 0, 27 = -2*t - 3*p + 8. Let j = -6 - t. Solve -3*u - j + 2 = 0 for u.
-3
Suppose v - 5 = 3*x + 2, -5*v - 17 = -2*x. Let y = v - -6. Suppose 0 = -p + 2 - y. Solve -r = 2 - p for r.
-1
Suppose 0 = -8*p + 16 + 8. Solve 4*l - p = 1 for l.
1
Let p be ((-30)/(-15))/(2/10). Solve -3*z - p = -25 for z.
5
Let r be 14/4*(-16)/(-28). Solve -r*t - 15 = t for t.
-5
Let z(f) = f + 1. Let b(y) = -3*y + 6. Let c(i) = b(i) + 4*z(i). Let p be (1 - 0)*-1 + -7. Let h be c(p). Solve -12 + h = 5*r for r.
-2
Suppose c + 6 = -2*d, -4*c - 5*d - 8 = 1. Let b(q) = q**2 + 3*q + 2. Let x be b(-3). Suppose -3*m + x*v = -16, -2*m - 4 + 14 = -2*v. Solve 4*h + c = m*h for h.
2
Let h = -1 - -1. Suppose 0 = -3*z + 2*k + 22, 5*z + h*k - 5 = -3*k. Solve 0 = z*s - 0*s - 12 for s.
3
Let i be (-14)/(-4)*4/7. Suppose 5*k - 1 = 2*q, 2*q - k + 4*k - 23 = 0. Solve -i*g + 5 = -q*g for g.
-1
Let d be (-3 - (-72)/20)*5. Suppose -j + 4*f = 1, 2*j - 4*f = 1 + 1. Solve d = j*r - 0 for r.
1
Let p(x) = x**3 + x**2 - x + 1. Let n be p(1). Let s(i) = -i**3 - 11*i**2 - 4. Let h be s(-11). Let g be 7 + 1 + 12/h. Solve n*w + 6 = g*w for w.
2
Let b = -7 - -10. Solve -b*w + 2 - 8 = 0 for w.
-2
Let q(h) = -h**2 - 8*h - 8. Let k be q(-6). Suppose -5*y + 2*y = 3*u - 3, 0 = -k*y - 5*u + 1. Let x = y - 0. Solve 0 = -4*b + 2*b + x for b.
2
Let d = -141 + 143. Solve 2*x = -d*x + 16 for x.
4
Let u(r) = -r + 3. Let y be u(-7). Suppose 0 = 5*a - y*a. Solve 5*k + 8 + 12 = a for k.
-4
Let r = -2 - -6. Suppose 5 = -5*o + 6*o. Solve 0 = d + r*d - o for d.
1
Suppose 0 = -6*c + 2*c + 72. Suppose 5*o = -2*v + c, 2*o + 6*v = v + 24. Suppose o*y + 2 = 6. Solve -3*s - 4 = y for s.
-2
Let v(y) = 15*y - 13. Let g be v(1). Solve 2 + g = -d for d.
-4
Let o = -4 - -2. Let p be 14/6*3 + o. Suppose 8*j - 5 = 3*j - 2*m, -25 = p*m. Solve -k = j*k - 4 for k.
1
Let y(x) = 5*x + 1. Let q be y(-2). Let d = -5 - q. Suppose -4*v - 4*n = 8, -3*v - 4*n = -v + 10. Solve 0 = -d*h - v - 7 for h.
-2
Let g be 1/(33/204) - 12/66. Solve k = g*k for k.
0
Let g = 2 + 2. Suppose -g*d = -2*d. Suppose 3*y - y - 12 = d. Solve v + v + y = 0 for v.
-3
Suppose l + 100 = 5*l. Suppose 0 = 3*d - 2*d. Suppose 3*a + 5*z - l = -2*a, -3*a - 4*z + 15 = d. Solve -a*s - 1 = 24 for s.
-5
Let o = -4 + 7. Let m(j) = -j**2 - 6*j + 2. Suppose 3*l = u - 16, 2*l - 2*u = -u - 10. Let b be m(l). Solve o = -b*r + 5 for r.
1
Let q be (-8 - -7)*(1 + 2). Let o = -6 - -4. Let z = o - q. Solve 0 = 2*t - z + 7 for t.
-3
Let m(i) = -i. Suppose 2*l + 4*s - 16 = 0, s = 5*s - 16. Let f be m(l). Solve -20 + f = -5*g for g.
4
Let k = 8 + -3. Suppose 0 = 3*n + 3*n + 6. Let j be n*0/(-1 - 0). Solve -x + 3 - k = j for x.
-2
Let o(z) be the second derivative of -1/12*z**4 + 0 - 9/2*z**2 + 5*z + 11/6*z**3. Let u be o(8). Solve -4*j = -j + u for j.
-5
Suppose 4*f = q + 16, -3*f = -2*f + q - 9. Let t = 31 + -14. Let y(h) = -4*h + 3. Let n be y(-1). Solve -f*p = -n + t for p.
-2
Let f = 9 - 9. Let p(u) = -u**3 + 7*u**2 - 5*u. Suppose -2*k + v + 17 = 0, 0*k - 5*k + 4*v + 50 = 0. Let g be p(k). Solve 2*h - 4*h + g = f for h.
3
Suppose 2*d - 26 = -3*m, -d - 4*m + 38 = 2*d. Solve 0*x = -2*x + d for x.
5
Let s = 33 + -32. Solve r - 1 = s for r.
2
Suppose 3*r = -2*r + 2*y - 13, 3*r - 5*y + 23 = 0. Let l = 1 + r. Solve l*z = 3*z + 3 for z.
-1
Suppose -3*y + 1 = -5. Suppose 2*o - y = -4*m, 2 = -3*m - 1. Solve -13 = o*l - 4 for l.
-3
Let g be 10/(-65) - (-186)/26. Solve -2*s + g*s + 25 = 0 for s.
-5
Let f = -28 - -33. Let q(r) = -2*r - 1. Let u(g) = -g**2 + 4*g + 2. Let z be u(5). Let k be q(z). Solve -f = -k*a + 5 for a.
2
Let p be (-94)/(-10) - (-8)/(-20). Let f = 5 - p. Let v be (-1)/(-2)*(-16)/f. Solve -v = -a - 0 for a.
2
Let k be 80/16*(6/(-5))/(-1). Solve -u = -k*u + 5 for u.
1
Let l(c) = -c**3 + 10*c**2 - 19*c + 26. Let u be l(8). Solve -u*o = o + 9 for o.
-3
Let o be (1/(-2))/(2/16). Let w be (25/o)/((-8)/32). Solve -7*n - w = -2*n for n.
-5
Suppose 3*u - 40 = -5*y, 10 = u + 2*y - 5. Solve u*b - 8 = -3 for b.
1
Suppose 6 = -0*o + o. Let h be (-2)/o - 21/(-9). Suppose 0 = -h*z + 5 - 1. Solve d = z*d + 3 for d.
-3
Let j be -1*(4/6 - 64/24). Solve 0*s = j*s + 8 for s.
-4
Let w = -16 + 29. Let z = -16 - -82. Let a be z/14 - (-4)/14. Solve -w = -a*u + 2 for u.
3
Suppose 13*n - 5*n = 64. Solve -3*a + 1 + n = 0 for a.
3
Suppose 14*m - 8 = 6. Solve 0 = -2*v + 5 + m for v.
3
Let n(y) = -y**2 + 7*y + 3. Let c be n(7). Solve 5*k + 8 - c = 0 for k.
-1
Suppose 0 = -4*x, 6*g - 9 = 3*g - x. Solve g*r - 1 = -16 for r.
-5
Suppose -l = 6 - 8. Suppose -l*a = 3*s + 1, -4*s = -s - a - 14. Solve 2*h + 20 = -s*h for h.
-4
Let j(z) = z**3 + 5*z**2 + 5. Let g be j(-5). Suppose -c = -g*h - 25, -2*c = -0*c + 4*h - 36. Solve c = -2*d - 2*d for d.
-5
Let a = -15 + 12. Let p = a + 11. Let h = -4 + 6. Solve 4*b + p = h*b for b.
-4
Let t = 122 + -106. Solve 5*f - t = f for f.
4
Let q(o) = -o**2 + 9*o + 40. Let s be q(12). Solve 0 = s*m + 4 for m.
-1
Let y be 174/10 - 16/40. Solve -8 = 5*n + y for n.
-5
Suppose 1 = 2*r - 3*q, 8*r + 2*q - 12 = 3*r. Suppose 0 = -r*p - p + 6. Solve 0*x + p*x = 0 for x.
0
Let v be (-2 - -1) + (11 - 0). Suppose -2*k + 0*k = -v. Solve 2*b + 3*b = -k for b.
-1
Let v = 38 - 20. Suppose 3*d = 2*b + 16, -4*d + v = -0*b - 2*b. Suppose -w = 5*x - 9, -2*x - 2*w - d*w = 0. Solve -x*t + t = 0 for t.
0
L