 y**2 - 17*y + 37. Let t be w(23). Suppose -55*v - t = -60*v. Solve 2*k + 5*k = v for k.
5
Let f(l) = l**3 + 7*l**2 + 2*l + 20. Let b be f(-7). Let i = -143 + 147. Suppose o = -i*a - 0*o + 15, o = -1. Solve 0 = -a*q + 2*q - b for q.
-3
Let l = -324 + 327. Suppose -5*c = -3*c - 2*x - 24, l*x = 0. Solve 0 = -48*z + 45*z - c for z.
-4
Suppose 186 = 14*d - 25 + 1. Solve 8 + 7 = d*y for y.
1
Let d(x) = x**3 - 27*x**2 + 47*x + 76. Let t be d(25). Let g be (t - 6)/(11/(-154)). Solve 0*r = -14*r - g for r.
-5
Suppose 0 = 2*k - 5*n + 10, -2*k - 4*n = -0*k - 8. Solve k = 3*d - 20 + 17 for d.
1
Suppose -3*m - 69 = 3*z, -3*z + 2*m - 66 = 4*m. Let o = -25 - z. Let y be o + 11 - 3*-1. Solve 3*c = -0*c + y for c.
3
Let v(k) = 4*k**2 - k. Let n be v(1). Let i(p) = 14*p**2 + p - 5. Let d(t) = 11*t**2 - 4. Let w(b) = -6*d(b) + 5*i(b). Let o be w(-2). Solve o*s - 17 = n for s.
4
Suppose -2*u - 3*c + 0 + 1 = 0, -5*c = 5. Let i = 17 + -12. Let h = -152 + 153. Solve -u*m - i = -h for m.
-2
Let i(h) = h**2 + 2*h + 2. Let s be i(-1). Suppose -s + 4 = x. Suppose 4*n + m - 3 = 5*n, 23 = 4*n + x*m. Solve 0 = -n*f - 4 - 2 for f.
-3
Let a(n) = 94*n**3 - n**2 + 2*n + 3. Let z be a(1). Solve 4*j - 118 = -z for j.
5
Let t(i) = -3*i**2 + 95*i + 422. Let v be t(35). Solve 0 = -12*s - 12*s - v for s.
-3
Let i be 7*(-5 + (-185)/(-35)). Let d = i + 3. Suppose -5*s + 3*y + 9 = -4, 4*s = -3*y + d. Solve -z - s*z = 0 for z.
0
Let q(d) = 4*d**2 + 6. Let t = -50 + 50. Let j be q(t). Solve -8*f + j*f - 2 = 0 for f.
-1
Let z be ((-2)/(-11))/((-2632)/(-154) - 14 - 3). Solve 0 = -z*h - h + 12 for h.
4
Let t = 269 + -177. Suppose -g = -3*g - t. Let s = -41 - g. Solve -3*i = -8*i - s for i.
-1
Let d be -9*242/297*2*27/(-33). Solve 12*x = d*x - 6*x for x.
0
Suppose 0 = 79*y - 1970 - 97 - 224. Solve y - 94 = 65*a for a.
-1
Suppose 0 = -4*f - 4*v + 380, -5*v - 667 + 505 = -2*f. Solve -3*t + 73 - f = 0 for t.
-6
Suppose -3*u = k - 764, 4*k - 202 = -4*u + 822. Solve 77 = -u*h + 265*h for h.
7
Let b be (-35 - -30) + (0 - -5). Suppose 24 = 8*l - b. Solve -l*f - 8 = -23 for f.
5
Let g be ((-231)/(-12) + 0)/((-6)/384*-8). Solve -4 = -153*u + g*u for u.
-4
Let i(z) = -4*z**2 - 1. Let a(u) = -u - 1. Let c(g) = a(g) - i(g). Let y be c(3). Suppose -9 = 6*j - y. Solve j*k - 6 - 6 = 0 for k.
3
Suppose 0 = 2*k + 4*q - 22, 11 = k + q + 4. Suppose 4*z + 2*o - 19 = -k*o, 11 = -4*z + 5*o. Solve -s - 3 - z = 0 for s.
-4
Let i(k) = 10*k**2 - 148*k + 13. Let r be i(15). Solve -r*q - 15 = 157 for q.
-4
Let b(l) = 2*l**2 - 8*l - 213. Let s be b(-9). Solve s - 17 = -2*d for d.
-2
Let i(n) = -n**3 + 9*n**2 + 21*n + 13. Let o be (550/100)/(2/4). Let t be i(o). Solve 0 = t*f - 0*f for f.
0
Suppose 0 = -a + 5*o + 10, 5*o - 2 = -a - 12. Suppose 8*s - 4*s - 8 = a. Suppose -5*k - 1 = -16. Solve k*w = s*w for w.
0
Suppose 9*t - 1260 = 14*t. Let l = -249 - t. Solve l*g = -g + 12 for g.
3
Let x(m) = 2*m**2 - 17*m + 34. Let u be x(2). Suppose 2*f + u = 0, 3*t + 10 = 3*f + 148. Solve t*n = 45*n for n.
0
Let c be -2*23/(-2) - -1*2. Suppose -c*n = -22*n - 60. Suppose -2 = -21*y + n*y. Solve -20 = -2*r - y*r for r.
5
Suppose -21*q = 35*q - 37576. Let j = q + -668. Solve -4*x + 3*x = j for x.
-3
Let s = 97 + -269. Let z = s - -174. Solve -t - z = 1 for t.
-3
Let b(m) = -1013*m**3 + 1 + 1012*m**3 + 6*m**2 + 7*m + 2. Let s be b(7). Suppose 0 = 3*o - 3*a - 1 - 11, 0 = -o - 3*a - 12. Solve -l + s = -o for l.
3
Let v be -4 + 5 + 2 - 73/1. Let i = -71 + 143. Let y = v + i. Solve 3*a = -y*a + 25 for a.
5
Let w = -9832 + 9978. Solve -w = -43*a - 30*a for a.
2
Let v be 34 + 28/(-8) + 27/6 + -1. Suppose 0*z = 5*z - 160. Let s = v - z. Solve -5*l - 7 = -s for l.
-1
Suppose 0 = -5*m + 60 + 60. Solve 107*p - 111*p = -m for p.
6
Suppose -4*d = c + 4*c - 110, 2*d - 46 = 2*c. Let b = d + -20. Let s be (31 + -1)/(19 + -17). Solve 0 = -2*l - b + s for l.
5
Suppose -5*x - 4*b = -17, 6*x - 9*x = 5*b - 18. Solve -41*t + x = -40*t for t.
1
Suppose 2*w + 25 - 5 = 0. Let p(v) = -8*v - 36. Let b be p(w). Let y = 47 - b. Solve -f + y = -2*f for f.
-3
Suppose 25 = 4*a + 3*t, 4*a + 22*t - 31 = 25*t. Solve -8*s - 1 = -a*s for s.
-1
Let r(j) = j - 5. Let q(m) = -m**2 - 10*m + 7. Let y be q(-10). Let c be r(y). Let a be 144/45 + c/(-10). Solve -a*x = -6*x + 6 for x.
2
Let c be 1044/290*(3 - -2). Solve -c*h - 99 + 27 = 0 for h.
-4
Suppose -3*w + 11 = -5*t + 7*t, -4*w + 16 = 4*t. Suppose 13 = w*x - 0*x - 5*s, -5*s - 2 = -2*x. Solve 16*n + 20 = x*n for n.
-4
Let a be ((-32)/6*1)/(29/(-87)). Suppose -32*j = -a*j. Solve j = 5*b + 19 - 4 for b.
-3
Suppose -4*c = -15*c + 55. Suppose 2*t - c*d + 0*d - 3 = 0, 0 = t - 3*d - 1. Suppose 5*j = 3*j + 5*u + 20, 5*u + 20 = t*j. Solve 2*w + 5 + 1 = j for w.
-3
Let v = 3713 - 3636. Solve 38*z + 189 + v = 0 for z.
-7
Let m be -32*6/(-18) - (-2)/(-3). Suppose -m*s = -5*s - 30. Solve -10*v = -s*v - 12 for v.
3
Suppose 2*y - 4*a = 19 + 25, -4*a = y + 8. Let g = -10 + y. Solve g*c - 2 = 6 for c.
4
Let n(r) = -3*r - 1. Let i(t) = -t. Let v = -134 - -133. Let m(w) = v*n(w) + 4*i(w). Let j be m(-1). Solve -5*h = -6*h - j for h.
-2
Let j(g) = -5*g - 2. Let z be ((0 - 0)/(-3) - 3) + -7. Let x be j(z). Let f = x + -38. Solve -4*y = -9*y + f for y.
2
Let z(b) = -b**3 + b**2 + b - 260. Let d be z(0). Let k = d - -263. Let t be 0*(-2 - (-1 + -2)). Solve -g = -t*g - k for g.
3
Suppose 2*u = 52*u - 613 - 687. Solve u*b - 105 = 5*b for b.
5
Suppose 5*o + 29 = 14. Let c(m) = -m**2 - 23*m - 57. Let h be c(o). Solve 3*l = 6*l + h*l for l.
0
Suppose 0 = -9*v + 4*v + 4*k - 2004, 5*k - 5 = 0. Let x = v + 425. Solve -2*y - 35 = -x for y.
-5
Let k(z) = -10*z + 250. Let g be k(25). Let y = 54 + -30. Solve g = -0*r + 8*r + y for r.
-3
Suppose 608 = v - 150 - 456. Solve -1220*i + v*i = 36 for i.
-6
Let v = 129 - 100. Suppose t - 58 + v = 0. Suppose t*m - 12*m = 102. Solve 2*h - 5*h = m for h.
-2
Let y = -1976 + 2000. Solve -6*p + y = -0 for p.
4
Let k(r) = 4*r + 4. Let f(v) = v**3 - 17*v**2 + 7*v - 17. Let j be f(17). Suppose j - 102 = 2*y. Let h be k(y). Solve -w = 3*w - h for w.
1
Let c(l) = 2*l**2 + 54*l - 1593. Let d be c(18). Solve 86*n = -d*n - 113 for n.
-1
Let h(y) = y**2 - 13*y - 3. Let r(w) = 4*w**2 - 77*w - 17. Let q(u) = -34*h(u) + 6*r(u). Let v be q(-2). Solve 2*m + 0 + 0 = v for m.
0
Let g = 145 - 140. Let c = -14 + 22. Suppose g*a - c - 7 = 0. Solve -y = -a*y for y.
0
Suppose 0 = 4*p - 5*d - 0 - 35, -5*p - 3*d + 53 = 0. Suppose -p = -3*l + 23. Solve 4*j - 9 = l for j.
5
Let p(o) = o**3 + 58*o**2 - 384*o + 52. Let f be p(-64). Solve f - 276 = 28*w for w.
-8
Let x be ((-216)/54 - 7/(-2))*0. Solve 12*w + 30 - 54 = x for w.
2
Let b(h) be the third derivative of 1/60*h**5 - 5/2*h**3 + 10*h**2 + 0*h + 0 + 7/12*h**4. Let k be b(-15). Solve 0 = -k*v - 5*v + 25 for v.
5
Let l = -11 + 13. Suppose 3*q - 13 = -l*g, -11 - 4 = -3*g - 3*q. Solve -w + g*w + 1 = 0 for w.
-1
Suppose 26*n + 6 = 25*n. Let u be (-25)/n + 22/(-132). Solve 9*g = u*g - 25 for g.
-5
Let w = -135 + 93. Let i = 18 + w. Let v be (-40)/i - 2/(-6). Solve f = v*f for f.
0
Let m = 7712 + -7527. Solve m*n + 3 = 188*n for n.
1
Suppose -2*q + u + 17 = 0, -2*q + 4*q - 29 = -3*u. Let b be (-5)/q - (0 - 2/4). Let z(o) = o**2 + o. Let y be z(b). Solve 4*s + y + 4 = 0 for s.
-1
Let t = -10767 + 11195. Solve t*w + 15 = 425*w for w.
-5
Suppose -28*a - 28 - 23 = -31*a. Let z = 4 + -2. Solve 3*v - z = -a for v.
-5
Suppose -11 = -8*z + 21. Suppose -z*h + 7*l = 3*l - 12, 4*l = 8. Suppose h + 35 = 2*d. Solve 4*c + 0*c - d = 0 for c.
5
Let m = 16 - 16. Suppose 0 = 2*c, 0*c - 2*c = -2*x + 8. Suppose -b + x*f + 6 = 2, m = 2*f. Solve -5*g + g = b for g.
-1
Let t(m) = 19*m**2 + m + 1. Let n be t(-1). Let q = -13 + n. Let h be (q/(-4))/(21/(-42)). Solve h*z - 3 + 15 = 0 for z.
-4
Suppose -7*l = -5*l - 8. Suppose 0 = -4*u - 3*d + 9, 5*u - l*u + 2*d = -4. Solve 3*b + 15 = u*b for b.
5
Let f = -23900 - -23915. Solve -f*r + 108 = -27 for r.
9
Suppose 5*f + 95 = -2*h + 7*h, h + 4*f - 14 = 0. Suppose -35 = -w - 4*s, -12*s = -2*w - 11*s + 43. Suppose -h*g = -w*g. Solve 4*n + 0*n + 16 = g for n.
-4
Let c(l) = 11*l + 58. Let z(f) = f - 1. Let o(h) = c(h) - 3*z(h). Let y be o(-6). Solve y = x + 12 for x.
1
Suppose 1283*v + 6 = 1284*v. Suppose -2*o = 2*o - j - 25, -3*j = 15. Let n = o + -4. Solve -n + v = 5*t for t.
