v = 5*i - 30, 3*v - 11 - 6 = -i. Let c be i - (-3 + (-2 - -5)). Solve 0 = -c*h - 2 for h.
-1
Suppose 0 = -0*h + 3*h - 45. Let p(n) = -n**2 + n - 2. Let j(l) = -3*l**2 - 12*l + 13. Let x(m) = j(m) - 4*p(m). Let g be x(h). Solve -i = i - g for i.
3
Suppose 3*u = -5*a + 7, -2*u - a + 1 = -6. Suppose 0*y + s + 93 = u*y, 5*y + s - 105 = 0. Let c = y + -22. Solve l + l = c for l.
0
Let r(z) = 8*z - 222. Let s be r(29). Solve 39 = s*d - 11 for d.
5
Let j(p) = -p**3 - p + 1. Let t(r) = -6*r**3 + r**2 - 4*r + 1. Let c(i) = 5*j(i) - t(i). Let u be c(0). Suppose -n = -0*n - u. Solve n*a + 1 = -7 for a.
-2
Suppose 6*g - 32 = -2*m, -57 = -4*m - 8*g + 3*g. Solve 24 - 24 = m*f for f.
0
Let a(p) = -2*p + 5. Let g be a(1). Solve g*v - 3 + 0 = 0 for v.
1
Suppose -5*o + 294 = -386. Let a be (o/(-20))/((-2)/(-10)). Let y = 39 + a. Solve y = 3*l - 1 for l.
2
Suppose 0*x - 6 = -3*x, -d - 5*x = 27. Let q = -34 - d. Solve -m + q*m = 0 for m.
0
Let d = 172 + -101. Let s = d + -64. Solve 0 = 9*r - s*r - 2 for r.
1
Let a(l) = -l**3 - 6*l**2 - 7. Let c be a(-6). Suppose 11 = -2*y + 3*p, -p = y + p + 9. Let i = c - y. Solve 8 = -2*g - i for g.
-4
Suppose -b + 8 = x, 4*x = -b + 3*b + 14. Solve -24*l - b = -27*l for l.
1
Suppose 5*q - 5 = -3*d, 0*q = 3*d - 2*q - 19. Let w be (d + (-1 - 1))*1. Solve w*n + 4 = 1 for n.
-1
Let l = -52 - -56. Let o be (2/l)/(6/(-12))*-2. Solve o*g + 15 = 5*g for g.
5
Let x = -13 + 21. Suppose -5*f + x = -7. Suppose k = y + 6 - 1, y = f*k - 15. Solve y = -2*i - 0*i for i.
0
Suppose 116*u - 176*u + 600 = 0. Solve 18 = u*j + 8*j for j.
1
Suppose 4*z = -3*d - 2*d + 64, 5*d = 2*z - 2. Let x(j) = -j - 1. Let p(u) = 6*u - 9. Let t(w) = -p(w) - 5*x(w). Let f be t(z). Solve -f = -k + 2 for k.
5
Suppose 20*y = 19*y + 6. Let l be 10/15 + 8/y. Solve -l*d - 4 = 2 for d.
-3
Let u = -37 - -31. Let c be (0 - -3) + -5 - u. Solve -2*m + c*m = 6 for m.
3
Let l(f) = 23*f + 1240. Let h be l(-52). Solve 2*j - 48 = -h for j.
2
Suppose 0 = 5*s - 15, 4*s + 5 = j - 1. Solve -15 = 15*k - j*k for k.
5
Let h be ((-13)/(-65))/((-1)/(-5)). Suppose -h = 2*q + 5. Let w = 0 - q. Solve -2*c - w*c + 25 = 0 for c.
5
Let u = 11 - 21. Let x = u - -12. Let v be 5 + (4/x - 2). Solve -v*m - 12 = -2 for m.
-2
Suppose 3*x = 9 + 3. Suppose -x*o + 39 = -13. Suppose 3*i + 15 = 0, -5*r + 6*r = 2*i + o. Solve -r*y = -4 - 5 for y.
3
Let s(x) = -9*x + 279. Let l be s(27). Solve -11 = 5*g - l for g.
5
Let t be -2 - (-22 + (1 - 1) + 6). Solve -12*q = -t*q - 6 for q.
-3
Suppose 0 = 13*w - 18*w + 25. Solve -6*p = -p + w for p.
-1
Suppose -2*n + 22 = 3*h - 14, 97 = 5*n + 4*h. Let v be (14/n)/((-2)/(-9)). Solve 0 = 2*x - 3*x + v for x.
3
Suppose v = 2*i + 9, 2*v = i - 6*i + 9. Solve -v*y = -11*y - 16 for y.
-4
Let b(f) = -f**3 + 20*f**2 - 20*f + 16. Let g be b(19). Let h(v) = v**2 + v + 4. Let k be h(g). Suppose -5 = -3*q + 7. Solve q*m + m = -k for m.
-2
Let h = 997 + -992. Solve 10 = -5*o + h for o.
-1
Suppose -10 = 8*d - 58. Solve -d*l + 18 = -0*l for l.
3
Let h(s) = 0*s - 8*s**2 - 2*s + 7*s**2 - 3*s + 15. Let c be h(-7). Solve -5*a + c - 26 = 0 for a.
-5
Let w(s) = -3*s**3 + 12*s**2 - s - 22. Let p(m) = -2*m**3 + 8*m**2 - m - 15. Let y(f) = -7*p(f) + 5*w(f). Let k be y(4). Solve 3*u - 9 = k for u.
4
Let k = 57 + -43. Solve -36 = 5*c - k*c for c.
4
Let t = 1 - -2. Let c be (-1)/(-5) - (-133)/35. Suppose -t*g + 6 = 0, -y - c*g + 40 = 3*y. Solve -3*j + j = y for j.
-4
Let h be (0 - (0 + 1))*1. Let d(v) = -v**3 - v**2 - v - 1. Let z be d(h). Suppose -5*o - 3 = 7, -2*o - 19 = -3*i. Solve z*r = i*r for r.
0
Let w(g) = -2*g - 18. Let h be w(-8). Let u(l) = l**3 + 2*l**2 - 5*l - 2. Let v be u(h). Solve 0 = 2*q - 0*q - v for q.
4
Let j be 2 - (6 - 1 - 1). Let a = j + 6. Suppose 4*q - 4*x = -9 - 3, 5*q - 2*x = 0. Solve -a*u = -q*u - 2 for u.
1
Let i = -7 - -13. Let f = 33 + -29. Suppose 4*b = 5*r - 5 + 22, -r + 11 = f*b. Solve -i = -b*q - 0*q for q.
2
Suppose -6*q + 2*q - 9 = 3*v, -12 = -3*v + 3*q. Solve 24 = 5*p - v for p.
5
Suppose -2*n - 20 = -2*q - q, 4*q - 30 = n. Suppose -d = 2*u + 3*d - q, 4 = u + 3*d. Suppose -8 - u = -g. Solve -g = -k + 5*k for k.
-3
Suppose 0 = 20*w - 120 + 120. Solve w = -10*f + 90 - 60 for f.
3
Let s = 815 - 810. Solve 6 = -s*x + 21 for x.
3
Let s(t) = -t**3 - 7*t**2 - 7*t - 4. Suppose 0 - 10 = 5*u, 2*b + 10 = -5*u. Suppose 2*q - q + 6 = b. Let h be s(q). Solve 2*p + h*p = 0 for p.
0
Suppose 0 = b + 6 + 27. Let s = 41 + b. Solve -2*k - s = -0 for k.
-4
Let m be 20/50 + (4 - 166/(-10)). Solve 0*n = -7*n - m for n.
-3
Let x(a) = -a - 7. Let p be x(-12). Suppose -24 = -0*c - 4*c - q, p*q = c + 15. Suppose -12 = -c*w + w. Solve 2*f = -w*f + 15 for f.
3
Suppose 2*h + h + 3*k = 21, -3*h = -5*k + 19. Let v(i) = 0*i**3 + 2 + i**3 - 2*i**2 + i**2 + 0*i**3. Let t be v(0). Solve -h*p = 4 + t for p.
-3
Suppose -3*h + 32 = 5*o, 3 = -4*h + 2*o + 11. Let g = h - -1. Let x be (2 - 2) + 16 - 3. Solve -x + g = 2*c for c.
-4
Let u(a) = -a**3 + 16*a**2 - 15*a + 6. Let p be u(15). Suppose -r = -0*n - 3*n + p, -5*r = 2*n - 4. Solve 5*h - 2*h = r for h.
0
Suppose -5 = -n + 3*y - 4*y, 0 = -n + y + 5. Suppose 0*q = -n*q + 65. Suppose 4 = 4*z - 4. Solve z*r - q = -5 for r.
4
Let v be (2/3)/(4/6). Let j(i) = -3*i**2 - 32*i + 52. Let a be j(-12). Solve -v = -t + a for t.
5
Suppose b - 16 - 19 = 0. Let i = -25 + b. Solve l + l = -i for l.
-5
Let u be 1*(-2 + 13) + 0. Suppose 0 = -z - 3*z + 56. Solve 0 = 5*t + z + u for t.
-5
Suppose -11*t = -20*t + 9. Solve -w + t + 0 = 0 for w.
1
Let f(l) be the second derivative of -l**4/12 - l**3/3 + l. Let d be f(-2). Let g be (4/(-7))/(-11 - 153/(-14)). Solve -4*q + d*q - g = 0 for q.
-2
Let u(t) be the second derivative of t**5/20 - t**4/3 - 13*t**3/6 - 2*t**2 - 7*t. Let w be u(6). Let f be (-2)/w - 10/50. Solve -q = -f + 5 for q.
-5
Let f be 15 - -2 - 2 - 3. Let q be -2*(-1)/(8/f). Suppose -2*o = q*o - 10. Solve 2*b + 2 = -o for b.
-2
Let g(a) = 2*a**2 - 63*a + 37. Let r be g(31). Solve r*n + 30 = -0*n for n.
-5
Let u = 276 - 276. Solve 5*w + 20 = -u*w for w.
-4
Let b = 103 + -94. Solve 11*p - 8 = b*p for p.
4
Let w be (4/3)/(3/(-108)). Let r = w + 21. Let o = r - -32. Solve 3 + o = -2*h for h.
-4
Let l(q) = 3*q**2. Let f be l(-2). Suppose 0 = 3*o - 2*c - 4, 6*o - 4*c - 2 = 3*o. Let s be -2 + (-3 + o - -6). Solve -3*n - s = -f for n.
3
Let l(t) be the second derivative of 5*t**4/12 + t**3/6 + t**2/2 + 120*t. Let c be (-4)/10 + (-6)/10. Let y be l(c). Solve -y*n + 0*n = 20 for n.
-4
Suppose 2*h = 2*b + 12, 5*b + 10 = -3*h + b. Let i be (81/(-3))/((-3)/h). Solve -4*q + i = 6 for q.
3
Suppose -w = -5*w + 92. Let i = -1888 - -1891. Solve 5*q + w = i for q.
-4
Suppose -a - z - 27 = -4*a, a - 5*z + 5 = 0. Suppose 3*y - 15 = 4*j, 2*y - a = -2*j - j. Solve b = -j*b for b.
0
Suppose -i + 10*i = 45. Solve 3*r - 24 = -i*r for r.
3
Let d be ((-14)/8)/(2/(-8)). Suppose c + 3*c = -2*h + 22, 0 = -h + 4*c - d. Suppose -4*o - 2*b + 5*b + 36 = 0, -h*b = -o + 26. Solve 0 = -w + o*w + 10 for w.
-2
Let x(a) = a + 8 - 3*a + 6 + 0. Let q be x(6). Suppose 3*z - 22 = -w, 2*w - z - 17 = q*z. Solve -3*m + 2 = -w for m.
5
Suppose 9*k - 2*d = 13*k - 6, 3*k - 5 = -d. Solve 0 = -k*q + 7*q for q.
0
Let z(q) = 2*q**2 + 15*q - 29. Let p be z(-10). Solve -o - p = -24 for o.
3
Let a be ((-1)/3)/((96/12)/(-72)). Let w(c) = -17*c**3 + 2*c + 1. Let s be w(-1). Solve -q + s = a*q for q.
4
Let v = 86 + -52. Let y = v - 29. Solve 0 = 4*s - 15 - y for s.
5
Let c = -35 - -21. Let l = -11 - c. Solve l*v - 10 = 2 for v.
4
Let k(c) = 2*c**3 + 6*c**2 - c - 3. Let g(z) = -z - 23. Let a be g(-16). Let y = a - -4. Let t be k(y). Solve t = -3*w - 7 + 1 for w.
-2
Let m be 69/(-6)*-2 + 0. Let h(u) = 4*u - 46. Let n be h(12). Solve 0 = 5*v + m + n for v.
-5
Suppose -9*l = 15*l - 120. Solve 4 - l = -k for k.
1
Suppose -4*t - 13 = 19. Let q = t - -20. Let m = 9 + -7. Solve m*j = 5*j + q for j.
-4
Suppose -4*j = -2*j - 12. Suppose j*m = 3*m - 9. Let a be 2 - (m/3 + -16). Solve -4 = -5*v - a for v.
-3
Let d(k) be the second derivative of -k**5/20 - 3*k**4/2 - 8*k**3/3 + 25*k**2/2 + 33*k. Let x be d(-17). Solve x = -4*n - 0*n for n.
-2
Suppose 0 = -t - 2*i + 13, -1 = -2*t - 0*i + i. Let x(y) = y + 2. Let u be x(t). Solve 0 = -0*j + u*j + 20 for j.
-4
Let c be 0/2 + -3 + 5. Suppose l = h - 71 - 6, -c*h + 133 = 5*l. Suppo