pose -3*o + 3*v + 3 = 0, 3*o - 4*v - 2 = o. Let n = -7 - o. Let j be q(n). Solve j = -4*a + 19 - 3 for a.
4
Suppose -2*b + 38 = 4*o, 0*o - 5*o - 141 = -4*b. Solve 0 = 10*m - b - 31 for m.
6
Let r(q) = -2*q**3 + 7*q**2 + 12*q. Let f be r(6). Let k = f - -130. Solve 23*p = k*p for p.
0
Let i(j) = -9*j**2 + 36. Let k(y) = 25*y**2 - y - 108. Let v(d) = -11*i(d) - 4*k(d). Let u be v(8). Solve -u*a = a for a.
0
Let q be (-16)/10*(-51 + -609). Let x be (q/(-308))/(3/(-14)). Solve 0 = k + x - 13 for k.
-3
Let t = 11 + 10. Suppose n + 2*n - d = t, 3*n - 6 = -4*d. Solve 2 = -f + n for f.
4
Suppose -26 + 2 = -4*h. Let j(x) = x**3 - 15*x**2 - 334*x - 840. Let u be j(28). Solve u = 2*b - 0 - h for b.
3
Suppose h - j + 116 = 0, -101*h = -103*h - 2*j - 216. Let c = h + 124. Solve 3*d - 3 + c = 0 for d.
-3
Let a be (-1 + 19/7)/(2067/9646). Solve a*h = -186 + 226 for h.
5
Let o be (-304)/6 - 8/60*-5. Let l = o + 53. Suppose 0 = -5*d - l*d - 3*d. Solve d*h = -h + 1 for h.
1
Let s(c) = c**3 - 12*c**2 - 293*c - 55. Let o be s(-12). Solve 7*b + 44 = -o for b.
-7
Suppose -4*y + 24 = 0, -6*m + 4*m - 4*y = -116. Solve 3*p = m - 52 for p.
-2
Let k be (2*(-10)/(-8))/((-2)/92). Let d = k + 123. Solve 6 = -10*y + d*y for y.
-3
Let r = -5967 + 5983. Solve r = 11*l - 17 for l.
3
Let n = -592 + 1165. Let a = n + -561. Solve -10*z + a = -38 for z.
5
Let j = 14 + 50. Let v be (2 - 3)*(-7 - 1). Let a be (3 - 1) + j/v. Solve 5*m - a = 10 for m.
4
Suppose -22*k + 4062 = 1048. Suppose -4*r = 12*d - 17*d + 178, -k = -4*d + 5*r. Solve 0 = 5*l - d + 43 for l.
-1
Suppose 2*f - 6 = 2*c, f + 4*c - 3 = 3*c. Suppose -3 = -3*h, -6 - 17 = -3*g - 5*h. Suppose -g*x - f*x = -180. Solve 0 = -2*l - 3*l + x for l.
4
Suppose 22 + 26 = 5*w - 2*d, -2*d = 5*w - 52. Suppose -11*i = -13*i + w. Solve y - i = -9 for y.
-4
Suppose -2*p - 10 = 0, b + 3*p = 5*b - 35. Suppose -2*a = -s - b, 2*s = 3*a - a - 2. Suppose 33*u = 30*u. Solve 0 = -2*g - u*g + a for g.
2
Let j(x) = -14*x**2 - x + 1. Let c be j(1). Let d = 22 + c. Let y = 4191 + -4188. Solve d*p = y*p for p.
0
Suppose -13*t + 1126 = -343. Solve 0 = -t*k + 121*k - 64 for k.
8
Suppose -4*y - 4 = o - 3, -5*o + 41 = -3*y. Let n be -5 - (99/(-3))/3. Suppose -n*k = -o + 1. Solve m = 2*m - k for m.
1
Let c(b) = b**2 - 19*b + 15. Let u be c(20). Suppose -u*o + 45*o = 110. Solve o = -4*f - 5 for f.
-4
Let c be 7*(-3)/(-27)*-3 + (-4438)/(-1902). Let t be 8 - (-2)/2 - -1. Solve 9*y - 7*y + t = c for y.
-5
Let h(m) = 3*m + 1 - 3*m - 2*m + 3*m**2 + m**2 + 0*m**2. Let r be h(2). Solve 0 = -r*y + 6*y + 6*y for y.
0
Let l = 6456 - 6408. Solve d - l = -54 for d.
-6
Let v = -2332 - -2356. Solve -v = 31*p + 7 for p.
-1
Suppose 137*i - 20*i = -314*i. Suppose 0*c - c + 5 = -2*w, -c - w = -5. Let d be c - (-1 + 2/2). Solve 0 = -i*a + d*a - 25 for a.
5
Let c(n) = 6*n**3 - 7*n**2 + 15*n - 11. Let g be c(3). Suppose 71*w - 1003 = g. Solve w*p = 23*p for p.
0
Let y be ((-20)/50)/(1/(-5)). Let f be (-8 + 2)*(-3 - 78/(-36)). Solve -y*i = -i + f for i.
-5
Suppose 4*a + 4 = 2*y, 0*a - 22 = -y - 2*a. Suppose s + 3*s - y = 0. Suppose -s*j = -8*j - o, -3*o = j. Solve -4*f + 2 + 2 = j for f.
1
Suppose 8 - 60 = -13*n. Let r be n + 0 - (-2 - (-3)/3). Solve -3*c + r*c = -10 for c.
-5
Let n = 98 - 62. Suppose n*c - 43*c + 56 = 0. Solve 2*g = -0*g - c for g.
-4
Let y be 10 + -3 + -10 + 8. Solve 0 = -y*f - 10*f for f.
0
Suppose 4*y = -5*r + 85, -4 = 5*y - 5*r - 99. Solve y*l = -14 - 6 for l.
-1
Suppose -116*g + 180*g = 0. Solve -84*d + 9*d - 300 = g for d.
-4
Let x(b) = b**3 + 3*b**2 - 2. Let v be -4*1/10 - (-80)/(-50). Let w be x(v). Solve -3*j = w*j for j.
0
Suppose -5*h = t + 7, 4 = -t - 2*t + 2*h. Let s be t*-12*(-9)/(-24). Solve -5*w + 4 - s = 0 for w.
-1
Let k(o) = -o**3 + 6*o**2 - o - 6. Let g be k(5). Let b = 29 - g. Let q(h) = h**3 - 16*h**2 - 34*h + 291. Let i be q(17). Solve -5*x + i*x = b for x.
-5
Let a = -59 + 62. Suppose -16 = 3*h - 31, 4*t - 5 = a*h. Solve 0 = t*u - 7*u + 10 for u.
5
Let v(p) = 3*p - 5*p + 8*p + 2*p - 15 - p**2. Let f be v(3). Solve f*u = -4*u for u.
0
Let q = -2 - -3. Let l be 1 + 2 - (q - 1). Suppose -242 = -27*d + 28. Solve -2*j - d = l*j for j.
-2
Let c(j) be the second derivative of j**4/3 + j**3/2 - 3*j**2/2 + j - 44. Let f be c(1). Solve f*k + k = -10 for k.
-2
Suppose 0*h + 2*h - 64 = 0. Suppose 0 = -5*d + h - 12. Suppose -24 = 278*y - 24. Solve y*k + 20 = d*k for k.
5
Let y be ((-55 + -1)/2)/((-21)/42). Suppose -5*g + 2*f = 4, -f - 4*f = -g - 10. Suppose -58*w + y*w = g. Solve -6*l + l = w for l.
0
Suppose -1115*l = -1118*l + 546. Solve 9*f - l = -146 for f.
4
Let j(a) = -a**2 + 8*a + 8. Let o be j(5). Let z be (-2788)/123*((-4)/(48/33) - -2). Solve z*g - o*g = 0 for g.
0
Suppose 0 = -4*q - 7 + 3. Let b be (4 - (-8)/(-2))/q. Let u be (-5)/(15/(-9)) + 1 + b. Solve -d - u = d for d.
-2
Let q(s) be the second derivative of -s**3/3 - 21*s**2/2 + s. Suppose 0 = 3*z - 5*w - 5 + 48, 2*z + 4*w + 14 = 0. Let d be q(z). Solve -4*o = -d - 11 for o.
3
Let i(q) = 4*q - 31. Let h(s) = 3*s - 30. Let w(l) = -5*h(l) + 4*i(l). Let a be w(-17). Solve f - a + 6 = 0 for f.
3
Let o(d) = 116*d + 8. Let l be o(2). Suppose -2*y - 3*y - 364 = -3*v, 0 = -2*v + 4*y + l. Suppose -10*f + v = -2*f. Solve 4*b + 0*b = -f for b.
-4
Let x be 6/(-21) - 27/(-21). Let d(p) = 7*p**3 + 2*p - 2. Let t be d(x). Let f be (t/3)/7*6. Solve -v - f*v + 15 = 0 for v.
5
Let v be (-26)/5 - -5 - 16/(-5). Suppose 0 = -2*l + 4*j + 4, 0 = v*l - 4*j + 8*j + 4. Let m be (-1 - 5)/((-3)/2). Solve -2*i - m = -l for i.
-2
Let q(v) be the third derivative of -v**5/30 + 29*v**4/12 - 26*v**3/3 + 2*v**2 - 11. Let f be q(27). Solve 10 = -61*o + f*o for o.
-2
Suppose 120*v + 14949 = 153*v. Solve 447*z = v*z + 12 for z.
-2
Let p(h) = h**3 + 23*h**2 + h + 30. Let g be p(-23). Suppose -g*a + 14 = -14. Solve f - a*f + 15 = 0 for f.
5
Let j be -3*(-1 - 3/9). Let k(x) = x**2 + x - 18. Let s be k(j). Solve -6*c = -s*c - 4 for c.
1
Suppose p - 7 + 10 = 0. Let s(t) = t**2 - 20*t - 64. Let q be s(p). Solve -q*j - 16 = -j for j.
-4
Suppose 2*b - 6*b = 3*b. Suppose b = 11*l - 17*l + 18. Suppose -r = -3*r - l*r. Solve r = -4*n - 20 for n.
-5
Suppose 0 = -3*k + 4*g - 3, -2*k + 22*g = 21*g - 3. Let i = 49 - 28. Let h = 23 - i. Solve k*p = h*p - 3 for p.
-3
Suppose -5*s = 12*s - 663. Let m be -2 + 84/s + 1157/169. Solve -3*q + m*q = -20 for q.
-5
Let a be -4 + 6 - 9/((-81)/171). Solve 2 - a = 19*l for l.
-1
Let h(t) = t**3 - 9*t**2 - 12*t + 192. Let m be h(7). Solve m*q + 19*q = -87 for q.
-3
Let p = 288 - 147. Let t = p + -131. Let c(i) = -3*i + 32. Let a be c(t). Solve -a*n + 5 = -n for n.
5
Suppose -g - 18*s + 249 = -13*s, 7*s = -2*g + 480. Solve -207 + g = -2*t for t.
-6
Suppose -26*x - 12*x = -54*x + 896. Solve -12*p = -4*p - x for p.
7
Let w be 2 + (-3 + 18)/5 + 225. Solve -5*r - 41*r + w = 0 for r.
5
Suppose -7*y - 384 = -y. Let v be (-688)/y - 2/(-8). Let k = 12 - v. Solve -4 = -3*w - k for w.
1
Let n be 3 + 2/(0 - 1). Suppose -5*p = 2*f - 22, -p = -f + 7 + 11. Suppose j - 3*b - 14 = -n, -j + 4*b + f = 0. Solve 4*d + 16 = -j for d.
-5
Suppose 6 = -0*y + 3*y. Suppose k + 0*m = -y*m + 14, 0 = -k + 4*m - 10. Solve -8*g - k = -11*g for g.
2
Let w be (-17)/34*(2 + 0). Let r(q) = -18*q - 14. Let c be r(w). Solve g = c - 0 for g.
4
Suppose 0 = -3*u - r - 3*r - 416, 415 = -3*u - 5*r. Let w = u - -143. Suppose -4*p = 4*i - 15 - 9, -7 = 3*i - 2*p. Solve w*x + i + 2 = 0 for x.
-1
Let d(u) = -u**3 - 5*u**2 - 7*u - 6. Let h be d(-4). Let s be (-20)/(-12 - -8) + 4. Let j be 11/3 - h/s. Solve 0*q = j*q + 9 for q.
-3
Let t be 90/(-4)*4/(-5)*1. Solve -f + 95 = t*f for f.
5
Let q = -3603 + 3623. Solve 0 = 23*a - 3 - q for a.
1
Suppose 12*y - 449 = 79. Solve -39*w + y*w - 20 = 0 for w.
4
Let b be 0/(11 - 6 - 7). Let r be b + 0 - (7 - 14). Solve 0 = -r*o + 9*o - 10 for o.
5
Let w(r) = -2*r**3 + 6*r + 3. Let p be w(-2). Suppose -p*f + 10*f = 3. Let n be 0 + (f + 2)/3. Solve s + n = 3 for s.
2
Suppose -16 = 2*u - 46. Suppose 4*g + u + 41 = 0. Let f(q) = 2*q + 31. Let l be f(g). Solve 0 - l = -o for o.
3
Let o(i) = i**3 + 11*i**2 + 21*i + 4. Let t be o(-5). Solve -16 = t*c - 114 for c.
2
Let p(f) = -f**3 + 6*f**2 + 4*f - 20. Let o be p(6). Let h be 2 - (-75)/o - 3/4. Solve -2*z + h = -7*z for z.
-4
Let r = -2894 - -2931. Solve 34*b = r*b