*v = -o for v.
-4
Let c(x) = x**2 - 10*x + 1. Let b be c(10). Suppose b = 5*t - 14. Let w be 114/10 + t/5. Solve 0 = -j - 3*j - w for j.
-3
Let f be 22*4/(-16)*-10. Solve 47*x - f*x + 16 = 0 for x.
2
Let g(z) be the third derivative of z**5/60 + 7*z**4/24 - 5*z**3/6 - 23*z**2. Let y be g(-8). Suppose v + 0*v = 9. Solve 0*r + y*r - v = 0 for r.
3
Suppose 7*u + 5*f = 10*u - 70, 3*u - 52 = -4*f. Solve -96*g - u = -92*g for g.
-5
Let g(i) = i**3 - 5*i**2 + 14. Let p be g(5). Solve -5*o = -6 - p for o.
4
Let m(i) = -4*i - 28. Let u be m(-7). Suppose u = 3*k - 44 - 1. Solve -3*s - k + 6 = 0 for s.
-3
Let j = -42 + 31. Let q = 11 + j. Solve q = -4*l + 4 for l.
1
Let k = -247 - -252. Solve -k*d = -3*d - 6 for d.
3
Suppose 0 = 4*m + 3*a - 77, 4*m + 6*a - 75 = a. Solve -15*s = -20*s + m for s.
4
Let t be (-4)/(-22) + 1649/187. Suppose -t*i + 17 = 2*a - 4*i, -3*i + 12 = 3*a. Solve -s - 2 = a for s.
-3
Let m(b) = 4*b**2 - 3*b + 5. Let o be m(2). Let s = 17 - o. Solve 0 = 4*f - s*f - 6 for f.
3
Let v(p) = p**3 + 4*p**2 - 3*p + 1. Let z be v(1). Suppose z*t + 12 = -4*k + 7*t, -3*k = 4*t - 26. Solve 0 = -m - k*m + 6 for m.
2
Let s be 118/(-8) + (-19)/76. Let n be 8*(-2 - s/6). Let i be n/22 + (-62)/(-22). Solve h - 8 = -i*h for h.
2
Let k be (0 + (-16)/10)/(316/(-1185)). Let g = -5 + 8. Suppose -2*m = -4*m + z + g, -2*z = -6. Solve k*x = m*x for x.
0
Let a = -159 + 164. Solve g = a*g + 8 for g.
-2
Suppose -5*q - 5*g + 29 = -q, 2*q = 3*g + 9. Let a(s) = -q*s - 8*s + 9*s. Let w be a(-4). Solve 4*p + 0*p - w = 0 for p.
5
Let b = 22 - 20. Suppose -8 = -2*r - l, -b*l - 6 = 5*r - 6*l. Solve -r*k - 4 + 2 = 0 for k.
-1
Let c be (-87)/783 - (-290)/18. Solve -6*j + 40 = -c*j for j.
-4
Suppose -11*z + 4*z = -63. Let s = 9 - z. Solve s*i = 3*i + 15 for i.
-5
Suppose -125 = -14*h + 9*h. Suppose -z = 4*z - h. Solve -2*g - z = -1 for g.
-2
Let n = -14 + 14. Suppose -2*b + g + 18 = n, -b + 45 = 4*b - 5*g. Solve 2*c + c + b = 0 for c.
-3
Suppose -1 = -5*k - 6. Let b be 12 - (-1 + (-3 - k)). Suppose 0 = 10*q - b*q. Solve q = -5*y + y for y.
0
Let l = -507 + 515. Solve 0 = l*b - 4*b - 20 for b.
5
Let q be (51/(-34))/((-6)/32). Let m = q + 2. Suppose -4*g + 8 = 4*a, -3*g + a = -4 - m. Solve -3 = -g*y + 13 for y.
4
Let k be ((-9)/(-18) - 2)*-2. Solve -k*s + 9 = 6 for s.
1
Let k = -25 + 30. Suppose 3*h - k = 13. Solve -g + 2 = h for g.
-4
Suppose -2 - 16 = -2*k - 2*z, 4*z - 1 = 3*k. Suppose -94 - 11 = k*u. Let l = u + 24. Solve -2 - 13 = l*w for w.
-5
Let w be (3 - -2) + -1 + 1/(-1). Let x = 0 + w. Solve 0*a + x = a for a.
3
Let o(y) = 7 - 7 - 12 - 3*y. Let f(x) = -x - 21. Let u be f(-16). Let h be o(u). Solve -2*j + 25 = h*j for j.
5
Suppose -3*y - 7 = -13. Let n(c) = c**3 + c**2. Let v be n(y). Suppose 2*m = 3*d + v, 2*m - 11 - 5 = 5*d. Solve -m*x + 1 = -5 for x.
2
Suppose 3*b - 17 = -0*b + h, 0 = -3*b - 3*h - 3. Solve -b*p = -18 - 2 for p.
5
Suppose 3 = -3*b - 0. Let u be b + 2/(-2)*-5. Suppose -u*c + c = 2*i - 13, -3*i = 5*c - 21. Solve -y = -c*y - 4 for y.
-2
Let m = 18 + -10. Suppose -r + m = 3*r. Solve r*p = 3*p - 1 for p.
1
Suppose 37*i = 28*i + 72. Solve -4 = -i*l + 4*l for l.
1
Let q = 10 - 4. Let z(b) = b**2 + b - 7. Let r be z(0). Let u = -5 - r. Solve u*h = -h + q for h.
2
Let f = 5 + -20. Let j(s) = -s**2 - 15*s + 12. Let t be j(f). Let p be (-8)/(t/(-3)) + 2. Solve -3*w - p = 2 for w.
-2
Let p(g) = 2*g - 4. Let o be p(3). Let x be (o/8)/(6/(-24)). Let d be x/(-5) + (-4)/20. Solve d = -6*u + 2*u for u.
0
Suppose 0 = 3*o + g + 12 - 135, 0 = -4*g + 12. Suppose -2*n = 6, -5*l + 4*n - 8 = -o. Solve 0 = l*f - f - 15 for f.
5
Let k(i) be the second derivative of i**3/3 - 4*i**2 - 2*i. Let x(h) = -h. Let f(l) = -k(l) - 3*x(l). Let n be f(-7). Solve 0 = o - 4 + n for o.
3
Let n = 295 - 292. Solve n*x - 8*x = 0 for x.
0
Let u = 65 - 63. Suppose 0 = 22*l - 24*l. Solve x - u*x + 4 = l for x.
4
Let q be -1 + (-2 - (1 - 2)) + 4. Suppose 7*v = q*v. Solve 0*o + o + 2 = v for o.
-2
Let y(s) be the first derivative of s**5/60 + s**4/8 - 7*s**3/6 + 3*s**2/2 + 5. Let r(l) be the second derivative of y(l). Let u be r(-5). Solve -h = u*h for h.
0
Let v be 3 - (-3 + -3 - -1). Let f be 3/(((-84)/v)/(-7)). Suppose 2*l = -f*l. Solve 2*a + 1 - 9 = l for a.
4
Let g = -54 - -65. Solve 23 = -4*t + g for t.
-3
Suppose c - 10 = -3*a - 0, 0 = -3*c - 3*a + 12. Suppose c = s + 18. Let u = -15 - s. Solve 2*m = -u*m for m.
0
Let f(w) = 2*w + 17. Let u be f(-15). Let n be 10/1*((-52)/8)/u. Solve -n*j + 34 = 9 for j.
5
Let y be (-14)/(-2) + (-32 - -38). Solve -y = -2*k - 9 for k.
2
Let c = 569 - 524. Solve 5*q + c = 20 for q.
-5
Let w(z) be the second derivative of -z**4/6 - z**3/3 + z**2 - 3*z. Let x(j) be the first derivative of w(j). Let g be x(-2). Solve 0 = -g*q + 2*q for q.
0
Let a(x) = x**2 - 24*x - 153. Let c be a(30). Solve -3*r - 36 + c = 0 for r.
-3
Let j = -851 + 858. Solve 2 = -5*p + j for p.
1
Let k be (-87 + 87)*(-2)/4. Solve k = 4*o + 37 - 53 for o.
4
Let v = 689 + -684. Solve -15 + 25 = -v*m for m.
-2
Let h(q) = -2*q + 32. Let v be h(10). Suppose 0 = 4*y + 2*b + 8, -4*y + 3*b = -5*y - v. Solve y*s - 12 = -4*s for s.
3
Suppose 4*o - 20 = -4*b, 7*b = -2*o + 2*b + 19. Let z(a) = 4*a**2 + 8 + 0*a**o - 5*a**2 + 0*a - 6*a. Let i be z(-7). Solve 5 = w + i for w.
4
Suppose 0 = -3*m + 71 - 74, -5*m = 4*x - 471. Solve 0 = 17*b + 51 - x for b.
4
Suppose 0 = 2*s + 2 - 14. Suppose s*j + 1 = 19. Solve -j*w - 6 = -w for w.
-3
Suppose 2*l - 8 = 2*g, -5*g - 2*l + l = -4. Let b(i) = -i. Let w be b(g). Suppose w = 6*x - 39 + 15. Solve -4*a + 0 = x for a.
-1
Let q(d) = 9*d + 86. Let n be q(-9). Solve n*x - 4 = 11 for x.
3
Suppose 744 = -2*w - 10*w. Let d = w - -64. Solve -6 = -d*b - 16 for b.
-5
Suppose -5*a = -7*a - 20. Let b be (156/65)/((-3)/a). Solve 5*f + 12 = -b for f.
-4
Let l = 1 + -1. Let j = -437 - -441. Solve l*i + j = i for i.
4
Suppose 0 = -2*s - 2*k + 52, -k - 127 = -5*s - 3. Suppose 0 = 5*j + 4*y + 5 + 3, -12 = -4*y. Let c = j - -6. Solve -3*q - s = c*q for q.
-5
Let o = 0 + 3. Suppose 2*l + 3*i = o*l - 10, -5*l = -4*i - 17. Suppose -24 = -10*h - 2*h. Solve 0 = c - h*c + l for c.
1
Let i = 3 + 5. Suppose -4*n + 12 = d - i, 2*n = 4*d - 8. Let f be 44/7 - d/14. Solve 2*z - f*z = -16 for z.
4
Let s = 121 - 104. Suppose -p - 3*p + 32 = -5*i, -i = -4*p + 16. Suppose 5*q - a = 30, 0 = 4*q - p*q + a. Solve q*m - s = 8 for m.
5
Let f be 8*(-11 - 1)/(-6). Solve -20 = 4*i + f*i for i.
-1
Suppose -t = 4*g + 4, -14*g + 10*g = 4*t - 32. Solve 0 = t*w - 9*w for w.
0
Suppose 0 = -5*n + 2*n + 39. Let h be 6/4*-2*(-4)/4. Solve -n = -h*d + 2 for d.
5
Let t be (0/(-4))/(7 - 4). Solve 0 = -t*m + 17*m + 34 for m.
-2
Let j(o) = 5*o**2 - 13*o + 42 - 5*o**2 + o**2. Let z be j(9). Solve 0 = 2*t + z - 0 for t.
-3
Suppose -4 = -0*c - c. Solve c*j - 1 = -1 for j.
0
Let q = 7 + 0. Suppose -10*m = -q*m. Suppose 2*j - 10 - 22 = m. Solve 4*c = 8*c - j for c.
4
Let z(x) = -6*x - 6. Let d be z(-2). Let n be (2/(-5))/(1/(-5)). Suppose 0*f - n*f = -d. Solve g - f = -1 for g.
2
Let h(m) = -m**2 + 2*m + 1. Let y(s) = -2*s**2 + 7*s + 4. Let z(j) = -11*h(j) + 4*y(j). Let t be z(-4). Solve -5*v - 9 + t = 0 for v.
4
Suppose 0 = 7*f - 16 + 16. Solve f = 2*d + 1 + 5 for d.
-3
Suppose -5*t + 2*t - 174 = 0. Let o = 60 + t. Solve 3*h = -o - 7 for h.
-3
Let f be 12/4*-1 - -3. Suppose -5*c + v + 15 = -0*c, f = -3*v + 15. Let r = 0 - -2. Solve 0 = -3*p + r*p - c for p.
-4
Let z(v) = 9*v - 18. Let k be z(3). Let m be (-3 - 1)/((-12)/k). Solve 1 = -m*g + 2*g for g.
-1
Let c = 161 + -119. Solve -3*d = c - 36 for d.
-2
Let d(z) = -z**3 + 32*z**2 - 28*z - 84. Let k be d(31). Solve -k = -2*o - 5 for o.
2
Let t(i) = -i**3 + 2*i**2 + 11*i - 4. Let g be t(-3). Solve -3*y - 23 = -g for y.
-5
Suppose 8*t + 28 = 28. Solve -26*s + 21*s + 25 = t for s.
5
Let j be 2/13 - 4386/(-221). Let t be 18/4 - (-30)/j. Solve 2*c - t*c = -20 for c.
5
Let n be 5 + 315/36 + (-3)/(-12). Let c(m) = -m**3 - 5*m**2 + 4*m + 6. Let i be c(-6). Let g = i - n. Solve 2*h = g*h for h.
0
Let j = -36 + 36. Suppose -16*r + 21*r = j. Solve l - 3 = -r for l.
3
Suppose 3*v - v - 44 = 0. Suppose 5*j + 3*n - 6*n - v = 0, -5*j + 6 = n. Suppose 0 = -4*h + j*h + 6. Solve 0 = -h*a + 2*a + 2 for a.
2
Let c(g) = -g + 27. Let f be c(25). Solve u + f - 6 = 0 for u.
4
Suppose 0 = 7*w - 13*w