
-2
Let m(k) be the second derivative of k**3/2 + 23*k**2/2 - 25*k. Let l be m(-5). Solve 0*y + 2*y = l for y.
4
Suppose -f - f + 6 = 0, -18 = -5*a - f. Let i(p) = -p + 17. Let r be i(10). Suppose -r*x + a*x = 0. Solve x = -0*y + y - 2 for y.
2
Let x(g) = g - 8*g**2 - 5 - 3*g - g**3 - 6*g. Suppose 14*t + 4*w = 17*t + 25, 0 = -3*t - 4*w - 17. Let a be x(t). Solve a*p - 4 = 4*p for p.
-2
Let y(u) = -10*u + 3. Let f(w) = 29*w - 9. Let i(s) = 6*f(s) + 17*y(s). Let t be i(2). Let k = 20 - 20. Solve -z = -t - k for z.
5
Let f = 8 - -1. Let w(s) = s**3 - 9*s**2 - s + 12. Let r be w(f). Suppose m = -r*g - g + 12, 0 = 2*g + m - 8. Solve -4 = g*k - k for k.
-4
Let k be 24/(-20)*(-200)/24. Solve k = -2*c - 0*c for c.
-5
Let n(f) = -8*f - 126. Let j be n(-16). Solve -g + j*g - 1 = 0 for g.
1
Let a(o) = -o + 6. Let m be ((-154)/(-33))/(4/(-234)). Let w be m/35 + (-2)/10. Let z be a(w). Solve -z = 4*f - 2 for f.
-3
Let v(k) = -6*k - 2. Let z(h) = 5*h + 2. Let u(y) = 4*v(y) + 5*z(y). Let o be u(2). Suppose 4*g - 7 = o*q - q, -12 = -4*q. Solve 0 = g*a + 2 - 22 for a.
5
Let t(j) = 35*j - 936. Let b be t(27). Solve -4*r - b + 21 = 0 for r.
3
Let w(b) = 3*b - 8. Let f be w(4). Suppose -y - f*y = 5*m - 65, 3*m - 64 = 2*y. Suppose 3 - m = -5*o. Solve -o + 0 = -v for v.
3
Let b(f) = -f**3 + 12*f**2 + 12*f + 15. Let k be b(13). Solve 3*s = 4*s - k for s.
2
Let n(h) = 1 + 5 - 3 + h + 2. Let d be n(9). Let l = d + -6. Solve 3*t - l - 4 = 0 for t.
4
Suppose -t + 5*t = 0, -17 = -s + t. Solve s*f + 9 = 14*f for f.
-3
Let f be -1*(2 + 1) - -3. Solve 30 = -f*p + 6*p for p.
5
Suppose -16*r + 15*r + 2 = 0. Suppose 0 = x + 5*f - 8, r*x - x + 1 = 4*f. Solve 2*h = -x*h - 20 for h.
-4
Suppose 2*i - 7 = -x, 3*i - 3 = 4*x + 24. Let l = -103 + 118. Suppose -f = 3*f - b - l, -4*f - i*b = -21. Solve -2*v + f = -4*v for v.
-2
Suppose 5*l - 10 - 20 = 0. Suppose 4*p = -2 - l. Let o = p + 2. Solve o*z + 5*z = 10 for z.
2
Suppose 6*w - 28 = -4. Suppose w*s + s = 4*n - 35, 5*n = -3*s + 53. Solve 0 = 5*l - n*l - 10 for l.
-2
Let i be (-8)/3 + (-2)/(-3). Let u be -2 - (0 - 6 - i). Suppose 2624*d = 2656*d - 416. Solve 5*o + d + u = 0 for o.
-3
Let u = 0 + 0. Suppose -r + 2 = -5*s, 0 = -4*r - s + 1 + 7. Let n be 22/5 - r/5. Solve -n*c - 7 - 1 = u for c.
-2
Let i be 9 + -2 + (-1 - 1). Solve 2 - i = -q for q.
3
Let k be 2 + (-4)/(8/(-66)). Let h(p) = 3*p + 75. Let n be h(-24). Suppose n*z - 25 = k. Solve 6*f = 2*f - z for f.
-5
Let n(a) = a**2 + 12*a + 5. Let p = -35 - -23. Let d be n(p). Solve -d*i + 4 = -6 for i.
2
Let r(d) = -3*d + 11. Let l(a) = 2*a - 6. Let h(f) = -7*l(f) - 4*r(f). Let j be h(-3). Solve 0 = -y - j*y - 15 for y.
-3
Let u = -176 - -202. Solve 14 + u = -8*g for g.
-5
Suppose -o = -65*k + 62*k + 30, 0 = 5*k - 2*o - 50. Solve -41 = -k*s + 9 for s.
5
Let a be 91/(-28) - (-6)/(-8). Let x be 6 - (1 - 2 - a). Suppose j - 4 = -3*m, x*m + 14 + 6 = 5*j. Solve 4 + m = 4*l for l.
1
Suppose 5*k + 8 = -2*j, -j - 36 + 50 = -2*k. Solve 6*d - j = -0 for d.
1
Let a be 0/((-20)/(-4))*1/3. Suppose 0*r = 4*y - r - 13, -5*y - r + 5 = a. Solve 0 = y*s - 6*s - 8 for s.
-2
Let q(z) = 13*z**2 + 1. Let p be q(1). Suppose u + p = -3*h, 2*h + 0*u + 4 = 2*u. Let m be (h/8)/(1/(-4)). Solve m*s = s + 5 for s.
5
Suppose -h - 12 + 16 = 0. Solve -h*n + 30 = -10*n for n.
-5
Let r(v) = -v**2 + 6*v + 9. Let p be r(4). Suppose x - p = -4*z + 8, -5*x + 30 = z. Solve 14 = -x*f + 4 for f.
-2
Suppose 0*s - s = 1. Let k be -3 - 1/s - -9. Suppose -2*n + c = -0*n - 3, 3*n = -c + k. Solve -j = -n*j - 1 for j.
-1
Let k(c) = -c + 43. Let z be k(35). Let w(j) = -j**3 + 20*j**2 - 17*j - 23. Let o be w(19). Solve o = 3*v - z*v for v.
-3
Let a(u) = u**2 + 5*u - 10. Let g(q) = -4*q**2 - 4*q**2 + q**2 + 3 + 6*q**2 + 3*q. Let r be g(-2). Let b be a(r). Solve -b*k - k = 0 for k.
0
Let q(z) = z**3 - 19*z**2 + 2*z - 30. Let a be q(19). Solve a = -5*v - 17 for v.
-5
Suppose 6 = 4*n - 2*n. Let o(f) = -f - 10. Let t be o(-14). Suppose 24 = q + t*y, q = 5*q - 4*y + 4. Solve -n*w + q*w = -1 for w.
-1
Let m(g) = -3 - 31*g + 5 + 24*g - 6 - g**2. Let y be m(-6). Solve 5 + 1 = -y*l for l.
-3
Suppose -4*z + 29 = b, 0*z + 4*b = -4*z + 44. Let s be ((-30)/z)/(2/(-2)). Solve -s*x - 5 + 0 = 0 for x.
-1
Let r = 27 + -27. Let m be -14*(4/(-14) + r). Solve -m = -i + 5*i for i.
-1
Let q(b) = -2*b**2 + 16*b - 9. Let u(r) = 2*r**2 - 14*r + 8. Let z(c) = 4*q(c) + 5*u(c). Let k be z(3). Solve -k*m + m - 6 = 0 for m.
-2
Let i be (-3)/15 + 56/5. Suppose 2*a + 5 = i. Solve -a*g = g for g.
0
Let s(r) = r**2 + 3*r - 5. Let v be s(-8). Let w = v + -33. Solve -2*a + w = -0*a for a.
1
Let o(q) = q + 11. Let v be o(-8). Suppose -v*d + 40 = 34. Solve -d*c + 15 = 3*c for c.
3
Suppose -v - 18 + 137 = 0. Suppose -3*t + v = 35. Suppose -u - t = -3*w + u, -2*w + 8 = -4*u. Solve 4*a = a - w for a.
-4
Suppose 0 = 3*q + 139 + 71. Let z = 74 + q. Solve 0 = z*w + 14 + 2 for w.
-4
Let k = 85 - 43. Suppose 5*x = x + 2*s + k, 5*x - 5*s - 45 = 0. Suppose -5*r = -32 + x. Solve -3*a = -10 + r for a.
2
Let o = 28 - 28. Suppose -4*s + 6 = 4*g - 2, o = 3*g + 5*s - 6. Solve 0*n = -g*n + 4 for n.
2
Let u = -263 + 265. Solve 20 = u*l + 3*l for l.
4
Let i(w) = -2*w**2 - 17*w + 60. Let o be i(-11). Let t be 12/4 - (2 + 1). Solve t = -o*s + 7*s - 10 for s.
5
Suppose -2*j + 3 = -3. Let i(t) = 3*t + j + 0*t - t + t**2 + 0. Let s be i(-2). Solve 5*b + s = -2 for b.
-1
Let d = 9 - 1. Let y = -4 + d. Solve -24 = 5*q - y for q.
-4
Let o(i) = -i**2 + 8*i + 38. Let s be o(11). Suppose s*m + 0*m = 0. Solve 5*c = -m*c for c.
0
Suppose 2*r = 16*o - 19*o + 58, -3*r - 3*o + 84 = 0. Let x be (2/6)/((-6)/(-18)). Let l be (7 + (-1)/1)/x. Solve l = -5*v + r for v.
4
Let o(z) = -2*z**2 + 16*z - 14. Let v be o(4). Solve 0*h - 6*h - v = 0 for h.
-3
Suppose -14 = -3*x + 4*c, 3*c - 3 + 0 = 0. Solve -x = a - 4 for a.
-2
Let w(v) = 7*v - 85. Let b be w(19). Suppose 5*y - b = -38. Solve y*i = 6*i for i.
0
Let p be (-37)/(-4) - 3/12. Suppose 2*h = -c + p, -h - 2*c = -4*c + 8. Suppose h*z - 3*t = 4*z, -t - 8 = -2*z. Solve 0 = 5*a - 2*a - z for a.
1
Suppose -21*g - 40 = -17*g. Let o = 12 + g. Solve -o*w + 5 = 9 for w.
-2
Let x(z) = -z**3 - 10*z**2 - 18*z - 14. Let r be x(-8). Solve 3*i + r = 5 for i.
1
Suppose -d + 3 = -2*n + 21, -4*n + 32 = -3*d. Solve n - 15 = -4*v for v.
1
Let c(w) = -w**3 + 3*w**2 + 4*w + 5. Let y be c(5). Let g = y + 25. Solve g = u + u for u.
0
Suppose 2*o + 4*y = 24, 0 = -5*o - 0*y + 5*y + 15. Solve -2*m - 16 = -o*m for m.
4
Let c(t) = 2*t**3 - 17*t**2 - 10*t - 2. Let h be c(9). Let m be (-2)/h - (-50)/(-275). Solve m*o - o + 5 = 0 for o.
5
Let h(n) = 17*n - 276. Let d be h(18). Solve -7*a - 3*a - d = 0 for a.
-3
Let k(p) = p**2 + 9*p - 8. Let c be k(1). Solve -6*v + 22 = -c for v.
4
Let s be (3 - 5/2)*6. Let n be s + (4 - 0 - 4). Solve -p + n*p - 4 = 0 for p.
2
Suppose 99*x = 4*w + 100*x - 33, -2*x = -2*w + 4. Solve w = -5*o - 3 for o.
-2
Let f = -5 + 5. Suppose -t + 3*k + 13 = f, 2*t + 2*k = 6*k + 30. Let a = -12 + 17. Solve -a*b + t = -6 for b.
5
Suppose 4*d - 7 = 1. Suppose 4*p + 0*s = -s + 1, 3 = -4*p + 3*s. Solve p*l - d*l = 0 for l.
0
Suppose m = 2*g - 1, -4*m - 2*g + 0 + 16 = 0. Solve -4*l = 1 + m for l.
-1
Suppose -8 = -4*y + d + 4, -5*y - 2*d + 28 = 0. Suppose 0 = 8*b + 4*b - 36. Solve 1 - y = b*s for s.
-1
Let b(j) = j**2 + 6*j - 5. Let r = 23 - 30. Let p be b(r). Solve -h = p*h - 12 for h.
4
Let g be 3 + (4 - 4) - -36. Let n = g - 28. Let v be (-11 + n)/((-2)/(-1)). Solve v = 2*f - 4*f for f.
0
Suppose 0 = -4*c - 3*s - 7, 6 + 11 = -4*c - 5*s. Solve 0 = 3*g - 1 - c for g.
1
Let h = 108 - 106. Solve -h*j = j for j.
0
Suppose -43*s + 38*s - m = -145, -2*s + 40 = 4*m. Solve s = 3*v + 3*v for v.
5
Let r(m) = 6*m**3 - m**2 + 2*m - 1. Let v(u) = -2*u + 5. Let n be v(2). Let a be r(n). Solve a*k + 3 = 9*k for k.
1
Let p(y) = -19*y - 9. Let r be p(-1). Solve r*t = 14 - 54 for t.
-4
Let o be (-14)/(-42) + 1/(-3). Suppose d + 9 - 24 = o. Solve 0 = -4*f + 3 - d for f.
-3
Let f be 0*((-2)/2 + 3/2). Let y be (-4)/(-22) + 150/22. Let l = -3 + y. Solve 4*w + 12 + l = f for w.
-4
Suppose 8 + 13 = 7*t. Suppose 6*m - 6 = t*m. Solve -m*j + 16 = 2*j for j.
4
Let d(g) = -33*g - 3. Let a(j) = -j**2 - 65*j - 5. Let m(q) = -3*a(q) + 5*d(q). Let t be m(-10). Solve t = 5*x + 4 - 29 for x.
5
Let w(g) = -