 = -3*u**2 - 28*u - 9. Let v(f) = -5*k(f) + 2*s(f). Let q be v(o). Solve -3*x = q*x for x.
0
Let r be -1 - 1/(30/9 - 3). Let o be 0 - 1 - r/4. Solve o = -m + 6*m for m.
0
Let k(o) = 2*o + 5. Let f be k(0). Suppose 0 = -5*a - 20, -f*m + 13 = a - 3. Suppose 0 = -2*d + 8 + m. Solve 0 = -3*x + d*x - 6 for x.
2
Suppose -2*r = -10, -5*t - r + 67 = -43. Solve 4*i = t - 5 for i.
4
Let b(z) be the first derivative of z**2/2 - 2*z + 6. Let u be b(3). Suppose -p = c - 0*p, u = -p. Solve c - 17 = -4*v for v.
4
Let f be ((-40)/6)/(-5) + (-38)/(-57). Solve f - 7 = p for p.
-5
Let q(l) = 2*l**2 + l - 5. Let h be q(-3). Suppose h*c - 2 = 9*c. Solve -4*k + c*k = 6 for k.
-3
Let r = 79 + -61. Let h = -15 + r. Solve -4*x = -h*x + 3 for x.
-3
Suppose -5*w - 19 = -6*w - 3*y, 29 = 3*w - 5*y. Solve -22 = -2*l + w*l for l.
-2
Let k = 12 - 89. Let o = 92 + k. Solve -5 = -5*x + o for x.
4
Let r = -56 - -56. Suppose -3*d + 5 + 1 = r. Solve 2 = d*t - 2 for t.
2
Let m(u) = u**3 - 46*u**2 + 86*u + 98. Let a be m(44). Solve -17*g + a*g = -21 for g.
3
Suppose 2 + 4 = p. Let v(a) = -a**2 + 9*a + 1. Let y be v(p). Suppose -3*o + y = -26. Solve 0 = -2*x - o + 5 for x.
-5
Suppose -3*s = s. Let h(g) = -g**2 - 10*g - 19. Let t be h(-7). Solve s = t*q + 3 - 13 for q.
5
Let s be 1 - -2 - (0 + -1). Suppose s = -c - 3. Let n = c + 9. Solve n*z - 3 = z for z.
3
Let g = 127 - 127. Solve g*c = 2*c for c.
0
Suppose p = -x + 4, -8*p = 5*x - 6*p - 8. Solve 15*z - 9*z = x for z.
0
Let z be (-9 - -7)*((-158)/4 - 0). Let i = 82 - z. Solve 2*k = k - i for k.
-3
Let f = 216 - 194. Solve 9*z - f = -4 for z.
2
Let m(s) = -4*s**2 - s + 2. Let c(t) = -7*t**2 - t + 5. Let q(o) = 3*c(o) - 5*m(o). Let g be q(3). Solve x + x = -g for x.
-1
Let u be 48/48*(5 + -2). Solve 0 = 41*o - 42*o - u for o.
-3
Let a be 9/6 + 138/4. Let w = a - 31. Suppose w*j + 55 = 10*j. Solve 0 = -5*l - j - 4 for l.
-3
Let g be (2 + 0)/((-4)/(-10)). Suppose 3*o = 13 + g. Suppose -5*d + o = -4. Solve 2 - 4 = -d*j for j.
1
Let y be (20/(-1))/(6/(-3)). Solve -13*s - y = -15*s for s.
5
Suppose 0 = -3*p - 4*j - 84, -4*p + 4*j + 20 = 104. Let k = p - -27. Solve k*y = -y for y.
0
Let m be ((-4)/(-3))/((-28)/(-21))*-3. Let t be ((-4)/12)/(28/(-9) - m). Solve 19 = t*b + 4 for b.
5
Let j = 1 + 2. Suppose -4*b - 5*v - 11 + j = 0, 0 = -b + v + 7. Suppose p - n - 9 = 0, 3*n = b*p - 2*n - 35. Solve p*i + 16 = 1 for i.
-3
Let l = -519 - -529. Solve -10 = -l*x + 5*x for x.
2
Suppose -10*r - 3*z - 72 = -13*r, 5 = 5*z. Solve -r = o - 23 for o.
-2
Let n(t) = 2 - 3 - 8*t + 16*t - 10*t. Let b be n(-3). Solve -b*k + 1 = 21 for k.
-4
Let v be (-14)/273 - 784/(-78). Solve v*d + 57 = 7 for d.
-5
Let a = 357 + -352. Solve -a*l = 7 + 13 for l.
-4
Let c = 852 + -767. Solve c*a = 76*a for a.
0
Let w(k) = -26*k - 122. Let g be w(-7). Solve 20*h - g = 20 for h.
4
Let h = -2 + -3. Let x(m) = -1 + 275*m**2 - 11*m - 2 - 277*m**2. Let j be x(h). Solve j*i + 6 = -0*i for i.
-3
Suppose 14 + 28 = 7*p. Suppose 9*a - 12 = p*a. Solve b + b = a for b.
2
Suppose 3*z - 3 = 9. Suppose z*u - 32 = 5*j, -4*j - 1 = 3*u + 2*u. Solve 0 = -u*g - g + 8 for g.
2
Let s(d) = d**3 - 8*d**2 + 5*d + 14. Let y be s(7). Solve v + 4*v - 20 = y for v.
4
Let u be (-652)/(-32) - 6/16. Solve -5*c + u = -9*c for c.
-5
Let j(x) be the third derivative of 61*x**4/24 - 6*x**2. Let z be j(1). Suppose 5*u + 6 + 10 = 4*y, 4*u = -5*y + z. Solve -5*w + y + 11 = 0 for w.
4
Let a be 28/2*(-10 - -11). Suppose -4*m - d = -a, -d - 18 = -4*m - 4*d. Solve 0 = u + m*u for u.
0
Let z(f) = -4 + 4 - f - 1 + 10. Let c be z(6). Suppose -c*p + 27 = 5*r + p, -4*r = -4*p. Solve 2 = r*i + 8 for i.
-2
Suppose 4*x = -20, 5*d + x = 2*x + 5. Suppose 2*r = -5*o + 24, -2 = 51*r - 54*r + o. Solve d = -r*j + 3*j for j.
0
Let t be 2 + (1 + -14)*-1. Suppose 45 - 16 + 1 = 5*p. Solve p*j = j - t for j.
-3
Let d(h) = -2*h - 10. Let y(w) = -w + 15. Let i be y(11). Suppose -5*b + 4*m = 17, -2*b + 9*m = i*m. Let j be d(b). Solve j*c + 3 = -3*c for c.
-1
Let y = 218 - 214. Solve 3*d - d - y = 0 for d.
2
Suppose 2*m + 40*w = 35*w + 10, 0 = 3*w + 12. Solve -34*i + m = -19 for i.
1
Let b = -2609 + 2673. Solve -10*j - 14 + b = 0 for j.
5
Suppose -269*v = -272*v + 27. Solve -2*q + v = -1 for q.
5
Let k(z) = -2*z**2 - 2*z - 3 + 3*z**2 + 0*z. Let b be (2 - 1)/(7/(-14)). Let d be k(b). Solve 0 = h - d*h for h.
0
Let a(y) = 37*y - 184. Let g be a(5). Solve g - 7 = -2*x for x.
3
Let u(k) = -5*k**2. Suppose 2*l + 2 = -5*q + 3*q, 4*q + 3*l + 2 = 0. Let s be u(q). Let n(d) = d**2 + 2*d - 10. Let j be n(s). Solve -j*i = 4 + 11 for i.
-3
Let c = -2258 - -2260. Solve -4*n = -6*n - c for n.
-1
Let c = -1372 - -1375. Let m(p) = -p**2 + 6*p + 1. Let s be m(3). Solve x - s = c*x for x.
-5
Let r be 6/(-4)*40/(-10). Solve -r*n - 4*n = -n for n.
0
Suppose -6*n = -11*n + f + 100, 18 = 2*n + 4*f. Solve -13*r - 18 = -n*r for r.
3
Let m be (-16)/(-4) - (-1)/(3/(-6)). Solve -m*v = -3*v + 4 for v.
4
Suppose 0 = -7*g - 4*g. Solve f - 1 - 4 = g for f.
5
Suppose p - 3*v = 9, -3*p - 5*v = 2*p - 5. Suppose -p*n + 9 = 3. Suppose n*z = 2 + 4. Solve -a - z = -4*a for a.
1
Let n be (16/2 + 2)/2. Let r(m) = 0*m + 7*m**2 - n*m + m**2 - 4 + 2*m**3. Let z be r(-4). Solve -z = -2*i - 2*i for i.
4
Let z(w) = 18*w**2 + 6*w - 1. Let a be z(-1). Solve a*j + j + 60 = 0 for j.
-5
Suppose 0 = -f - 4*f. Suppose 20 + 7 = 3*z. Suppose -a = -3*k - 7, -a + 8*k - 3*k = -z. Solve f = 2*w - a for w.
2
Let g(u) = -2*u**3 - u**2 + 2. Let b be g(-1). Solve -b*j - 6 = -j for j.
-3
Let w(t) = 3*t - 50. Let d be w(24). Suppose -d*u - 16 = -24*u. Solve -3*g + g = u for g.
-4
Suppose -5*z + 11 = 1. Suppose -9*t + 14 = -11*t. Let q(v) = -v**3 - 7*v**2 + v + 7. Let c be q(t). Solve -z = -d - c for d.
2
Suppose -10*r + 27*r = 51. Suppose 0 = 4*k + 8. Let z be -4*(-2 + 3)/k. Solve -z*u = -r*u for u.
0
Let k = 23 + -21. Suppose 3*p = -k*p. Solve -m = -p + 2 for m.
-2
Let d be (-45)/(-7) + (-30)/70. Solve -4*b + d = 14 for b.
-2
Let w = 2 - -1. Let m(s) = -s - 7. Let r = 6 - 13. Let g be m(r). Solve -w*a = -g*a + 6 for a.
-2
Let s = -711 + 714. Solve -4*a = -s - 17 for a.
5
Let q = 22 - -6. Let o be 260/q - (-8)/(-28). Solve -2*c - o = 1 for c.
-5
Let i = 53 + 35. Solve -16*g - 8 = -i for g.
5
Let t = -32 + 28. Let j(y) = y + 7. Let l be j(t). Let i be 10/(-15) + 2/l. Solve -u = -i*u - 5 for u.
5
Suppose 3*i = 3 + 6. Suppose 0 = -3*j - 0*z - i*z + 12, -5*j - 4*z + 15 = 0. Let t be (-12)/(-4)*j - -5. Solve -t*b + b + 2 = 0 for b.
2
Suppose z - 5*n - 73 = 0, 0 = 4*n - n + 15. Solve -49*a + z*a + 2 = 0 for a.
2
Let z(x) = x**3 + 13*x**2 + 24*x - 50. Let h be z(-10). Solve -h - 6 = -8*r for r.
2
Let u = -317 - -320. Let t be (7/3 + -2)*6. Solve -t*h = u*h for h.
0
Let u(d) = d**3 - 7*d**2. Let w be u(7). Let j be (-119)/(-28) - 6/(-8). Suppose -1 + 0 = j*i + p, -i + 2*p = -2. Solve i = -w*h - 2*h - 10 for h.
-5
Suppose -4 = i - 5, 0 = -2*x + 4*i + 6. Suppose -2*k = -2*y - 0*y - 14, -5*k = -3*y - 37. Suppose -17 - k = -5*u. Solve 10 + u = x*p for p.
3
Let r(g) = -18*g + 17*g**2 + 14*g**3 - 15*g**3 + 2*g**2. Let z be r(18). Solve 7*c - 3*c - 4 = z for c.
1
Let m(d) = 8*d - 2. Let y(t) = 1. Let g(x) = -m(x) - 5*y(x). Let n be g(-2). Let l = n - 11. Solve -8 = l*p - 0*p for p.
-4
Let b(z) = 4*z**2 + 51*z + 49. Let w be b(-1). Solve -4*y + w = -2 for y.
1
Suppose 0 = -4*f + 270 - 190. Solve 6*r + f = 8 for r.
-2
Suppose 0 = o, -3*h + h + 2*o = -4. Solve 8*i = h*i - 18 for i.
-3
Let o = -7 - -11. Suppose -13*d + 30 = 2*d. Solve -d*i + 4*i = -o for i.
-2
Let m be (-1)/(24/(-1098)) + (-12)/(-48). Solve 16 = -10*h + m for h.
3
Let s(v) = v - 6. Let y be s(8). Let z = -52 - -40. Let m be 3*(z/(-9))/y. Solve -w + 0 - m = 0 for w.
-2
Let i(l) = l**2 - 8*l + 18. Let x be i(3). Solve q - 6 = x*q for q.
-3
Let f = -3 + 5. Suppose 2*t - 8 + f = 0. Suppose 3 = t*u - 21. Solve 0 = u*r - 3*r + 25 for r.
-5
Suppose q + 9 - 29 = 5*c, c = 2*q - 13. Solve q*u - 52 = -8*u for u.
4
Let i be (-12)/(-5)*(-5)/(-2). Suppose -i*w = -2*w - 40. Solve 0 = 4*g - w - 2 for g.
3
Let o(c) = 4*c**3 - 25*c**2 + 10*c - 20. Let t be o(6). Solve 11 = t*k - 9 for k.
5
Suppose -88 = -s - 4*s + 3*a, 0 = 2*s - 5*a - 20. Suppose 2*g = -8, 5*g = 21*f - 18*f - 38. Solve k = f*k - s for k.
4
Suppose 3*d + 0*d - 9 = 0. Suppose m = -d*m. Suppose 2*n + n = 