+ 17*v**2/2 - v. Let y be k(-16). Solve d = -0*d - y for d.
-1
Suppose 3*z - 5 = -4*m, 4*m - 5*z - 40 = -z. Solve 0 = n + 3*n + m*n for n.
0
Let g(n) = 3*n - 6. Let j be g(6). Let x(a) = 3*a - 6. Let k be x(6). Let u = k - j. Solve -r + 3 + 0 = u for r.
3
Let v(f) = -f + 10. Let w be v(5). Suppose 0 = 3*y + 3 - 0, -11 = -3*p + w*y. Solve 0*r = -p*r + 8 for r.
4
Let o(k) = -k**2 + 5*k + 40. Let j be o(-4). Solve 0 = -t - t - j for t.
-2
Let c = -13 + 37. Let f = c + -24. Solve f = 5*j - 0*j for j.
0
Suppose 59*d - 1825 = -14*d. Solve 0 = 12*m - 23 - d for m.
4
Let y = -20 - -31. Let m = -11 + y. Suppose m - 9 = -3*h. Solve -2 = -l - h for l.
-1
Suppose 0 = -3*h + h + 12. Let w(d) = -d**3 + 5*d**2 + 7*d - 6. Let y be w(h). Let q = 7 - 5. Solve -2 = -y*k - q*k for k.
1
Let w = -166 - -187. Solve 16*h = w*h for h.
0
Suppose 26 = 2*j + 10. Solve -j*y = -6*y + 8 for y.
-4
Let s = 9 + -18. Let z = 53 - s. Suppose -c = c - z. Solve -5*r + 11 = c for r.
-4
Suppose -3*g + 2 + 7 = 0. Suppose 2*u + 5*q + 9 - 2 = 0, 0 = 3*u - 5*q - 2. Let y be (-7 + 0)/u - -3. Solve -8*v + g*v = y for v.
-2
Suppose -4*h = 5*n - 0 + 6, -5*n + 10 = 0. Let l be (h - -5) + -2 + 3. Solve 2*w + l = -2 for w.
-2
Let h(l) = -3*l**2 - 12*l - 9. Let p be h(-4). Let j = p + 12. Solve 2 = j*w + 11 for w.
-3
Let j(l) = 4*l**2. Let o be j(1). Suppose -3*w + b = 3*b, -o*b = 3*w + 6. Let z be (-2 + 0)/(4/(-10)). Solve q = w*q - z for q.
5
Let z(h) = h**2 - 2*h - 1. Let w be z(-5). Suppose -4*s + 3*s = 26. Let l = s + w. Solve -3*v = -v - l for v.
4
Let g(t) = -2*t**2 + 5*t - 5. Let a(u) = -11*u**2 + 31*u - 30. Let i(x) = 6*a(x) - 34*g(x). Let p be i(-9). Solve -p = 3*d + d for d.
-2
Let j be (1*-6)/(6/(-4)). Suppose 765*n = 759*n + 12. Solve j*l = n*l - 10 for l.
-5
Let x be (-3)/(-2) - ((-34)/4 + 1). Solve -5*u - x = 11 for u.
-4
Suppose 2*l + 12 = 3*r, -4 + 20 = 3*l + 4*r. Solve l = -u + 2 - 5 for u.
-3
Let m(a) = 2*a + 26. Let z be m(-11). Suppose z*r - 14 = -3*l, 2*l - 6*l + 2 = -3*r. Suppose t + 0*u + l*u - 10 = 0, 3*t = 4*u + 10. Solve 15 = -t*y + y for y.
-3
Suppose -9*i = -14*i + 5. Let j be (1*(20 - 0))/i. Suppose 0*p = 4*p. Solve 3*k + 2*k + j = p for k.
-4
Suppose -13*q = -16*q + 27. Suppose 0 = -2*u + 5*n - 15, 3*n - q = -7*u + 4*u. Solve -v + 1 = -u*v for v.
1
Let c(s) = s + 1. Let y be c(-2). Suppose -16*x + 8 = -40. Let p = y + x. Solve -p*k = -k + 5 for k.
-5
Let b be (0 + (-5)/10)*0. Let m(n) = n**3 + 3*n**2 + 3*n. Let l be m(-2). Let s be ((-8)/l)/4*b. Solve s = -4*k + 4 for k.
1
Let c be (-6 - -3)/(3/(-4)). Solve c*g + 4 = -0 for g.
-1
Suppose 0 = 2*p + 5 - 11. Let r be 3/(18/4 - p). Suppose 6*q + 3*g - 8 = r*q, 13 = 5*q + 3*g. Solve -5*x = -q + 15 for x.
-2
Suppose -2 = 14*f - 15*f. Solve 0 = 5*u - 13 - f for u.
3
Suppose 18*c - 768 = -6*c. Solve -35*d - 9 = -c*d for d.
-3
Let d be -190 - (1 + -2 - 0). Let m be (-1 + 2)/((-7)/d). Suppose -2 = 5*h - m. Solve -h*b - 19 = 6 for b.
-5
Let n(l) = 10*l - 30. Let b be n(3). Solve b = 4*i - 15 + 3 for i.
3
Suppose -2*i - 2*s = -4*i, 0 = -i - s + 4. Suppose -i*w = 2 + 18. Let n be w/35 - (-37)/7. Solve -n*b + 4 = -1 for b.
1
Suppose 21*q - 36*q = -825. Solve 0 = -15*y + 4*y + q for y.
5
Suppose 2*k - 4*w = -64 + 18, 3*w + 51 = -3*k. Let b = k - -23. Suppose 3 = -3*z, n - 2*z + z - 3 = 0. Solve -n*d = 2*d + b for d.
-1
Let f = 273 + -268. Solve f*o + 6 = -9 for o.
-3
Suppose -34 - 190 = -4*w. Suppose -y = -5*x + w + 1, y = -4*x + 42. Let n = 14 - x. Solve -2*m + n = -7 for m.
5
Let m = 32241 + -14020. Let i be (-4)/22 - m/(-209). Suppose -43 = -5*v + i. Solve 5*t - 1 = -v for t.
-5
Suppose w + 2*w = -2*w. Let g be (6/(-10) - 26/65)*w. Solve g = 2*h - 10 + 2 for h.
4
Let w = -2728 + 2733. Solve w*m - 49 = -44 for m.
1
Let k = 0 + 2. Let q(l) = -238*l - 476. Let g be q(-2). Solve g = -k*i + 5 + 5 for i.
5
Let h(u) = u**3 - 2*u**2 - 4*u + 1. Let b(f) = -1. Let n(p) = 2*b(p) - h(p). Let s be n(2). Solve 15 + 10 = s*w for w.
5
Let z be 120/(-8)*8/(-10). Suppose z = -39*s + 42*s. Solve s*t = -0*t + 16 for t.
4
Let p(d) = d**2 + 19*d + 87. Let g be p(-7). Solve -g*n = -n + 6 for n.
-3
Let z = 10 - -11. Suppose -v + 22 = -4*u + 3*u, u + v = -14. Let o = u + z. Solve -6 + 0 = -o*i for i.
2
Let a(t) be the first derivative of -3*t**4/2 + t**3 - 2*t + 14. Let p be a(-1). Solve 9 = 4*j - p for j.
4
Let r = 1758 - 1598. Solve -2*m - 30*m = -r for m.
5
Suppose 21 = 2*j + 7. Let o = 1014 - 1011. Solve o*m = 16 - j for m.
3
Let i(k) = -24*k - 118. Let y be i(-5). Solve -3*g = g - y*g for g.
0
Let i = -35 - -36. Suppose -5*y + 18 = 4*l - i, 0 = -2*y - l + 10. Solve 4*v = 23 - y for v.
4
Let t(h) be the second derivative of 5/6*h**3 + 0 + 1/12*h**4 + 2*h**2 - h. Let j be t(-5). Solve -6 = j*p + 14 for p.
-5
Let l = 29 + -23. Let d(o) = o**2 - 4*o + 1. Let c be d(l). Solve -c = 5*x - 3 for x.
-2
Let b be 7 + (-6 - 5) + (-14)/(-2). Let r = 36 - 36. Solve -b*o - o - 4 = r for o.
-1
Let q = 267 - 237. Solve 33 - q = z for z.
3
Let y = 10 - 4. Let w = -47 - -45. Let a be (-2 - -30) + (w - 1). Solve 0 = v - y*v + a for v.
5
Let d = 5 + -1. Suppose 4*x + 8 = d*q, 0*q - x - 3 = -2*q. Suppose q + 8 = 3*f. Solve -w - f = -2 for w.
-1
Let l(b) = -8*b + 24. Let v be l(0). Suppose 2*i - 5*o = 4 + v, -4*i - 2*o + 8 = 0. Let w be 1/1*1*4. Solve i*j = -4 - w for j.
-2
Suppose 14*y - 135 = 5*y. Suppose 5*l = 12 - 77. Let c = -13 - l. Solve c = 5*p - 2*p - y for p.
5
Let h = 134 - 134. Suppose 0*g - 5*g + h*g = 0. Solve -5*x + 12 - 37 = g for x.
-5
Suppose -19 = -2*n + 43. Suppose n*g = 30*g + 5. Let z = 9 - g. Solve 0*t = z*t - 4 for t.
1
Let c(f) = 4*f + 24. Let m be c(12). Let k = -68 + m. Solve h = -k*h - 25 for h.
-5
Let z be (-6)/4*30/45. Let j be 2 + ((z - 0) + 9)/2. Solve -3*r + 0 - j = 0 for r.
-2
Suppose 6 = 10*w - 7*w. Suppose 0 = 4*c - y - 45, -w*c + y = -0*y - 25. Suppose 5*t = 3*t + c. Solve -t = 5*o + 5 for o.
-2
Suppose -133*w = -135*w + 34. Solve -w*b + 12 = -11*b for b.
2
Suppose 5*v - 27 - 14 = -4*a, -a - v = -10. Solve 4*w - a*w - 25 = 0 for w.
-5
Suppose 3*t - 2*t = 0. Suppose t = -4*l - 0*l. Let a be 28/(-42) - 26/(-3) - 2. Solve l*k + a = -2*k for k.
-3
Suppose 5*y + 2*w = 7*y - 20, 8 = -2*w. Solve y = 2*f + 2 for f.
2
Let r(u) = u**3 - 5*u**2 + 5*u - 2. Let h be r(4). Let k(p) = 4*p - 5. Let q be k(h). Suppose -6 - 2 = -4*d. Solve -d*s = -q*s for s.
0
Suppose -1 = 5*f - 21. Let r(s) = -s + 6. Let a be r(f). Suppose c + 0 = a. Solve -v = -0 - c for v.
2
Let x(b) = -b + 6. Let r be x(6). Let i be ((-9)/(-2))/(9/(-96)). Let u be (32/i)/(2/(-15)). Solve u*y = -r*y + 25 for y.
5
Let r be (-59 - 5 - 4)*(-1)/2. Suppose w + r = 43. Solve -4*v + v + w = 0 for v.
3
Let a(t) = -11*t + 124. Let j be a(11). Solve -5 - j = 4*y for y.
-2
Let m = 2563 - 2546. Solve m*p = -p - 90 for p.
-5
Let r = 65 + -59. Let q(s) = -2*s**2 + 8*s + 28. Let x be q(r). Suppose 5*z - 10 = 2*j - 3, -2*z + 4*j - 10 = 0. Solve z*d = x*d - 1 for d.
1
Let z(i) = i**3 - 3*i**2 - i + 2. Let k be z(-2). Let a be (12/k)/((-2)/8). Let x be -9 + (11 - 0/1). Solve x*r = -a*r + 25 for r.
5
Suppose 0 = -4*q + u + 73, 2*u = q - 32 + 12. Let l be -1 + q/3 - (-2 + 5). Solve b = l*b - 1 for b.
1
Suppose -5*i + 3*d = 15, 3*d - 20 = -5. Let j = -5 + 7. Suppose -10 + 2 = -j*t. Solve 5*r - t - 16 = i for r.
4
Suppose m + u = -2*u - 4, 4*m = -4*u + 16. Let b = 3 + m. Let c = b + 4. Solve -f - 4*f = c for f.
-3
Let y(g) = 3*g**2 + 10*g - 1. Let b be y(-5). Suppose 27 = -3*j - 3*l - b, 5*j = 4*l - 130. Let a = j - -32. Solve 0 = -3*k + 5*k - a for k.
5
Let k(s) = -s**2 + 10*s + 2. Let h be k(8). Suppose -4*r - 2 = -h. Solve 9 = -r*i + i for i.
-3
Let i be 184/9 - (4 + (-224)/63). Solve -i = -5*t + 5 for t.
5
Let n(l) = -6*l**2 + 2*l. Let z be n(2). Let q = 23 + z. Solve -q = -r - 5 for r.
-2
Let h(n) = 6*n**2 + 4*n + 4. Let f be h(-1). Suppose 2*r = 2*a - f, 6 = -2*a + r - 3*r. Solve a = -5*m - 6 - 9 for m.
-3
Let g be ((-8)/(-36))/((-2)/(-72)). Solve 0 = 5*v - g*v - 6 for v.
-2
Suppose -2*k + 10 = -5*u, 2*u - 7 = -k + 5*u. Let j = k - -5. Let a = 3 + j. Solve -d = a*d for d.
0
Suppose 7*y - 19 - 58 = 0. Suppose y*s - 6*s - 50 = 0. Solve s*l - 9*l = -5 for l.
-5
Let k = -32 + 36. Suppose -k*h + 0*o - o + 24 = 0, 4*o = 5*h - 9. Solve -6*r + h = -r for r.
1
Let k(z) be the second derivative of -z