
Let s = 77 + -72. Let a(g) = g**3 - 4*g**2 - 6*g + 4. Let r be a(5). Let j be 7*(r + 2) + -1. Solve -s*q = -2*q - j for q.
2
Suppose p + p - 3*c + 5 = 0, -c = -p - 5. Let l be (4 - 2)*(-15)/p. Solve -l*i + i = 0 for i.
0
Suppose c - 4 = -0*c. Suppose 0 = -5*x - c*n + 16 + 62, -2*n + 12 = x. Let d = -15 + x. Solve -d*o = -2*o for o.
0
Let p be 49/6 - 1/6. Let h be -5 + 6/4*p. Solve 0 = 8*d - h*d + 2 for d.
-2
Suppose 2*w - 11 = -3*p, 0 = -4*w + 2*p + 2*p + 12. Suppose w*c - c + 3*i - 75 = 0, 0 = -5*c + 5*i + 115. Let k = c - 24. Solve 0*o - 3*o = k for o.
0
Let q = -2 + 4. Let r be (1 - -11)*(-11)/(-22). Suppose -f = -4*f + r, 3*v - 2 = 2*f. Solve -v*m - q = -m for m.
-2
Suppose 3*f = 5*x - 5, 0*x = -x - 4*f + 1. Let j be 1*(0 - -2 - 1). Solve 0 = 2*q + j + x for q.
-1
Suppose 0 = -23*p + 19*p - 488. Let g = p + 137. Solve 0*m - g = -3*m for m.
5
Let w = -22 + 19. Let z be (w/(-6)*-3)/3*-10. Solve -z = 4*r - 5*r for r.
5
Let d(a) be the third derivative of -a**4/24 + 3*a**3/2 + 3*a**2. Let l be d(7). Suppose 0 = -l*y - 3*m - 9, 0*y + 4*m + 12 = 5*y. Solve y*x = -2*x - 8 for x.
-4
Let x = -44 - -46. Suppose -9*z + 2 = -25. Solve z = g + x*g for g.
1
Let c = -1 + 4. Suppose -n = -2*v - 2*v + 78, -4*n = -v + 12. Solve a = -c*a - v for a.
-5
Suppose -4*u + 14 = -2*u. Suppose u*h = 10*h - 123. Let n = -23 + h. Solve 5*t = -3 + n for t.
3
Let w be ((-18)/(-12))/(-2*(-6)/576). Solve -68*u = -w*u - 4 for u.
-1
Suppose 4*h + 2*i - 99 = -1, 5*h = -3*i + 121. Let t = h + -23. Solve 2*v - 1 - t = 0 for v.
2
Suppose 0*v = -12*v + 96. Solve -v*w + 6*w = 10 for w.
-5
Let s be 0/(4/8*(-6)/(-3)). Solve -2*f + 7*f + 15 = s for f.
-3
Suppose 5*u - 13 = 6*u. Suppose 0 = 4*b + 5*z + 141, 0 = -5*b - z - 132 - 18. Let o = u - b. Solve 2*d - o = -2*d for d.
4
Suppose -4*s + 0 = -8. Let g be (s/(-4))/(2/(-36)). Solve 3*x - g = -0*x for x.
3
Suppose 0 = -5*s - 3*c + 21 + 1, 2*s + 2*c - 12 = 0. Let h be 3/(9/s)*9. Let g = -1112 + 1128. Solve g = 2*n + h for n.
5
Let i be (2 + -1)/((-2)/(-4)). Suppose -3*b + 9*b = 84. Let w = b - 12. Solve w*o - 20 = -i*o for o.
5
Let c(o) = o**2 + 5*o + 8. Let s be (-276)/48 + (-9)/(-24)*2. Let z be c(s). Solve 2 = 2*r + z for r.
-3
Let k be 49 + (-6)/3 + -7. Solve 1 - k = 13*s for s.
-3
Suppose 0 = 3*x + 7 + 20. Let i(d) = -4*d - 28. Let w be i(x). Solve -2*n + 0 = -w for n.
4
Suppose -2*d - 4*k + 28 = 0, 2*d - k + 22 = 5*d. Let o be ((-14)/d - -3)*3. Let x be -2 + 3 + (-2)/(-2). Solve o*c = x + 2 for c.
2
Suppose 0*l - 1 = l - 3*x, -2*l + 5*x - 1 = 0. Suppose -2*q = l*q. Suppose -2*v = -4*d - 52, -v = -3*d - q*d - 31. Solve 1 = 5*w + v for w.
-3
Suppose 0 = 3*c - 0*v + 5*v - 32, 4*v - 37 = -3*c. Let q = -22 + c. Let d be (-1)/q - 11/(-3). Solve k - d*k = 0 for k.
0
Let i be (42/18 + -5)/(6/(-9)). Solve i = 9*v + 13 for v.
-1
Let h(f) = 2*f**2 - 20*f + 108. Let p be h(6). Solve -56 = 2*o - p for o.
2
Let m = -35 + 50. Let i be (-46)/(-8) - m/20. Let d(x) = -5*x + 42. Let j be d(5). Solve j - i = -4*r for r.
-3
Let z = 1 + -1. Let n(g) = -g**2 - 50*g + 56. Let s be n(-51). Suppose z = s*f - f. Solve f*a - 5*a = 10 for a.
-2
Let w be 1/2*(-16)/(-40)*10. Solve -w*i - 10 = -8 for i.
-1
Let h = -1253 - -1253. Solve -5*p - 1 + 26 = h for p.
5
Let m(u) = -9 - 2 + u - 2*u. Let r be m(-15). Suppose 0 = 2*g - g + 2*q, q = -r. Solve 3*k - 7*k = g for k.
-2
Let s(l) = 5*l**2 - l - 1. Let t be s(-1). Suppose -2*a + t*a = 0. Suppose 2*q + 2*q - 44 = a. Solve 4*b + 1 = -q for b.
-3
Let u be 4/(-48)*4*-603. Suppose -4*r + u - 193 = 0. Let x be (-2)/(-6) - (-58)/6. Solve -x = -0*c - r*c for c.
5
Let n(y) = 3*y + 31. Let d be n(-10). Solve -1 = -2*z + d for z.
1
Let y = 766 - 761. Solve 8 = q + y for q.
3
Let v be (-1)/4 - (-72)/32. Suppose v*w + 12 - 20 = 0. Let i be (w + -2 - 2) + 4. Solve -q + 2*q = -i for q.
-4
Suppose -4*z + z = -18. Suppose g = -2*y - 4, -8*g + 5*y + 5 = -13*g. Solve n - g = -z for n.
-4
Suppose 17 + 3 = 5*h. Let s be 2 + (-1 - -1) - 2. Solve s = h*v + 8 for v.
-2
Let o = -21 - -26. Let j be (-1)/o - 11/(-5). Suppose -j*n + 5 = 3*n. Solve y + 0*y - n = 0 for y.
1
Suppose 0 = -4*j + 3*x + 28, j + 0*x - 7 = -2*x. Let i(v) = -v + 2. Let k be i(2). Solve 2*l + 3 - j = k for l.
2
Suppose 23*j - 24*j - 40 = -3*b, 10 = b - 2*j. Solve -b*l = -16*l - 6 for l.
-3
Suppose -3*i - 4 = -10. Suppose -11 = -y - 3*u - 4, -2*u = -i. Solve -w - y = -0*w for w.
-4
Suppose d - c + 3*c - 61 = 0, 3*c = 4*d - 255. Let g be 54/14 + 9/d. Let p(m) = -m**3 + 5*m**2 - 2*m - 3. Let y be p(g). Solve 0 = -0*h - h - y for h.
-5
Suppose 0*w = -2*c - w + 12, -2*w + 8 = 2*c. Suppose 0 = 4*p - 4*z - 20, -5*p - 2*z = -2*p. Solve 0 = -p*h - 2*h + c for h.
2
Let b be (0/(-3) + 20)/2. Let q(s) = -s**3 + 5*s**2 + b + 0*s + s + 5*s - 8. Let o be q(6). Solve o*d = -2*d + 8 for d.
2
Let t be (7 - 3)/((-24)/6 + 6). Let b be (-1)/4 + (-147)/(-12). Suppose -r + b = 2*s, -6*r + r - s + 15 = 0. Solve t = -0*a + r*a for a.
1
Let p be (20/6)/((-2)/6). Let x be 15/p*52/(-6). Solve x = 3*i - 2 for i.
5
Let c(k) = -k**3 + 24*k**2 - 22*k - 19. Let u be c(23). Solve 3 - 19 = -u*t for t.
4
Suppose 0 = 3*d - 5*u + 275 - 880, d = 2*u + 200. Solve d = 4*c + 190 for c.
5
Suppose 11*y = -0*y + 396. Solve 40*m - y*m = -8 for m.
-2
Suppose -12 = 12*k - 15*k. Suppose 9*n - 10 = k*n. Solve -n = 4*v - 3*v for v.
-2
Let x be ((-15)/10)/((-15)/(-100)). Let g be ((-4)/x)/(74/1295). Solve -2*k = -g*k - 20 for k.
-4
Let a(s) = 3*s**2 - 14*s + 11. Let g be a(5). Suppose 0 = 2*d - 4*u - g, -4*u = -5*d + 2*d + 18. Solve -q = -d - 1 for q.
3
Suppose -9*q + 5*y = -7*q - 39, 0 = -q - 4*y + 13. Suppose -2*w - 20 = 10. Let f = w + q. Solve 9 = 5*u - f*u for u.
3
Suppose 5*y = -2*i + 17, -23*y + 25*y - 2*i - 18 = 0. Solve -y*t = -9*t - 4 for t.
-1
Let p be -3 + (-3 - -16)*1. Let m be 51/15 + (3 - 34/p). Solve -n = -m + 1 for n.
2
Let z be 546/(-22) + 12/(-66). Let c be 6/10 + (-85)/z. Solve -c*h - 8 = -0 for h.
-2
Let q = -51 + 32. Let l(v) = -v**2 - 18*v + 24. Let b be l(q). Solve -b*i = -2*i - 12 for i.
4
Suppose 3*o = 6*o - 15. Suppose 16 = -i - o*v, -4*i = -2*i + 4*v + 8. Solve -5*h - i - 1 = 0 for h.
-1
Let k = 12 - 22. Let t = 15 - 2. Let l = k + t. Solve -l = -2*j + 1 for j.
2
Let k be 1*3 + (5 - 8) + 10. Suppose -46 + k = -12*a. Solve 0*f - a*f = 9 for f.
-3
Let q be 4*2/(-4) + 11. Suppose -2*m - q = -1. Let g be (-7)/m - (-6)/24. Solve g*r = -3*r + 20 for r.
4
Let x = -1610 - -1670. Solve -10*w + x = -22*w for w.
-5
Suppose 2*o = -4*y + 32, -31 = -0*o - 2*o - 5*y. Suppose o = 3*j + 3*b, 2*j - 3*b = -0*b + 7. Solve -s + j = 2 for s.
3
Let j(p) = -12*p - 4. Let z be (-20)/(-6)*12/(-10). Let t = -6 - z. Let h be j(t). Solve 2*w + 3*w - h = 0 for w.
4
Suppose -4*a - 30 = 2*h, -4*a = -4*h - 0*h. Let p be (h - -9)*18/8. Solve 4*x - p = x for x.
3
Suppose 9*u - 15 = 3. Solve 2*v - u = 3*v for v.
-2
Let i(f) = 13*f - 84. Let z be i(10). Solve z*o = 44*o for o.
0
Let y(p) = -21*p - 3. Let n be y(4). Let w = n - -93. Solve -3*h = -h - w for h.
3
Let y = -20 - -22. Let o(d) = -3 - y - 9 + 4*d. Let x be o(4). Solve 2*z + 2 = -x for z.
-2
Let g be (-1)/(-1)*(0 - -1). Let z = g + 0. Suppose -98*h - 284 = -578. Solve h*j - z = 5 for j.
2
Let j = -1312 + 1320. Solve 5*o - j = 3*o for o.
4
Let h(y) = -10*y + 71. Let s be h(6). Solve 21 - s = 2*j for j.
5
Let m(o) = o**2 - 19*o + 74. Let p be m(14). Solve p*a - 9*a = 15 for a.
-3
Let f(s) = -s**2 + 11*s + 12. Let a be f(-1). Let l(y) = y**3 + 10*y**2 + 10*y + 12. Let c be l(-9). Solve 4*o + 13 + c = a for o.
-4
Suppose 4*l + 22 = -18. Let w = l + -1. Let v = w + 16. Solve 12 = -v*u - 13 for u.
-5
Suppose -8*y = -11*y + 3. Let w be 1 - y*(-2 - -1). Suppose -s + 2*s = w. Solve -10 = 3*p + s for p.
-4
Suppose -2 = -2*v - x, -2*x = 5*v - 0*x - 7. Suppose 13 = 2*i + 4*t - 5*t, 3*t - v = 0. Let g = -7 + i. Solve -3*j + g*j + 3 = 0 for j.
1
Let h be (10 + -12)/((-1)/54 - 0). Let k be h/27 + -1 + -3 + 1. Solve q - k = -0 for q.
1
Let d be ((-54)/(-24))/((-9)/(-24)). Suppose -3*i = -0*i - x - 3, 2*x + d = -5*i. Suppose 3*w + 0*w - 18 = i. Solve w*v = 3*v + 9 for v.
3
Suppose 0 = -4*i - 5*u - 20, 3*i + 2*u + 4 = -4. Suppose 4*h = -4*m + 4, i*h = -4*m - h + 10. Solve 0 = s - m*s + 4 for s.
2
Suppose -2*u - 15 - 2 = -3*c, -5*c - 2*u + 7 = 0. Solve 7*q = 4*q + c for q.
1
Let c(