 o*z + 36 = -14 for z.
-2
Let y(a) = -a**2 + 25*a + 36. Let i be y(26). Suppose 3*q + 3*u = 9, 1 - i = -2*q - 5*u. Solve -x + 6 = q*x for x.
2
Let s = 5097 + -5097. Solve 0*g + 24*g + 144 = s for g.
-6
Let i(g) = -g**3 - 15*g**2 - 2*g - 18. Let d be i(-15). Suppose -4*w + 3*w + 4*t - 11 = 0, 0 = -3*t + d. Solve 0*s - w*s - 15 = 0 for s.
-3
Let g(q) = 64*q - 51. Let o be g(-5). Let w = 403 + o. Solve -35*a = -w*a - 9 for a.
3
Suppose o - 5 = -3*y, -9*o + 2*y - 22 = -12*o. Suppose -15 - 1 = -o*z. Solve -w = 5 - z for w.
-3
Let d(o) = 6*o - 25. Let w be d(5). Suppose -3*q = -2*h - 3, -5*h = q - w*q - 3. Solve -s = q*s for s.
0
Suppose -284*i + 1764 = -263*i. Solve 0 = -t + 29*t + i for t.
-3
Suppose 2*y + 25 = 7*y. Let t(o) = -174*o - 7 + 89*o - o**2 + 92*o. Let k be t(y). Solve -1 = -k*q + 4*q for q.
-1
Let r = -2851 + 2974. Solve r*l - 4 = 121*l for l.
2
Let a(i) = -2*i + 33. Let q be a(15). Suppose 4*m + 2*t = 90, q*t - 35 = -m - m. Suppose -p = 4*p - m. Solve -p*x + 3*x = -10 for x.
5
Let s(k) = -2*k + 29. Let x be s(12). Suppose -11 - 24 = -x*q. Solve q*n = 5*n for n.
0
Suppose r - 5*s - 102 = 0, -s = 5*r - 4*s - 400. Let x = r + -74. Solve -2 = -x*f + 7 for f.
3
Let f(x) = -7*x - 8. Let p be f(-4). Suppose 10*l - 5*l = p. Solve 14*g - 10*g = l for g.
1
Let x(p) = -2*p**2 + 14*p + 18. Let k be x(9). Let f be -1 - ((3 - 16) + k/(-6)). Solve 5*u + f = 2*u for u.
-3
Suppose -15*k + 20*k = -3*i + 99, 3*k - 65 = -i. Solve 0 = 67*v - 55*v + k for v.
-2
Suppose -5*q + 2*y + 397 = -y, -q - y + 81 = 0. Suppose -2*k = 4*o - 40, -4*k = -4*o + q - 16. Solve j - 13 = -o for j.
1
Let t(d) = 2*d + 9. Suppose 3*f = -q, -f - f = -3*q - 11. Let r be t(q). Solve r*s + 6 = -0*s for s.
-2
Let c be 20/(-80) + (-21)/(-4). Suppose -19 = -x + 3*p, p - c + 6 = -x. Solve 6 - 10 = x*l for l.
-1
Suppose -10 = -76*p + 78*p. Let g be 1/p - (-12)/(420/217). Solve -4 = -g*d + 14 for d.
3
Suppose 73 = 7*t - 8*t. Let s be (t - -72)*(-1)/((-2)/(-8)). Solve 3 = -s*m + 11 for m.
2
Suppose 3*q + 36*x - 1 = 37*x, 0 = -q + 4*x - 18. Suppose k + q*d = 8, 5*k + 6*d - 8 = 4*d. Solve k = -2*c - 4 - 6 for c.
-5
Let k be (-4)/16*-8 + 9. Solve 7*l - 4 = -k for l.
-1
Suppose -56 = -6*i - 2*i. Suppose -10 = i*b - 9*b. Suppose 10*d - 5*d = b. Solve 2*g - g = -d for g.
-1
Let i(m) = -4*m**2 - 390*m - 1368. Let g be i(-93). Solve 92*b - 126*b + g = 0 for b.
9
Suppose -4*z - 173 - 139 = 3*f, 4*f + 5*z = -416. Let y = 108 + f. Solve 0*t = -y*t + 12 for t.
3
Let a(b) be the second derivative of 3*b**3/2 - 3*b**2/2 - 180*b. Let k be a(1). Solve k*t - 4 = 10*t for t.
-1
Let j(t) = -t**3 - 18*t**2 + t + 22. Suppose i - 4*f = -38, 3*f - 77 = 5*i + 28. Let l be j(i). Solve -5*a - l = -9 for a.
1
Let u(d) be the second derivative of -d**4/6 - d**3/6 + 9*d**2/2 + 9*d. Let f(k) be the first derivative of u(k). Let p be f(-1). Solve -2*i + 3*i = -p for i.
-3
Let q be 6*(-1)/4*40/(-6). Let v = q - 8. Let a = 1 + v. Solve a*r + 0 = -3 for r.
-1
Suppose 8*x - 12 = 4*x + 4*h, -3 = 2*x + h. Solve 0*w - w = -x*w for w.
0
Let g(w) = -11*w + 103. Let j = 108 - 99. Let h be g(j). Solve h*s + 9 = 5 for s.
-1
Let n(q) = -4*q**3 - q. Let x be n(-1). Let v be 3 + 5/10 + 6/(-4). Solve -v*b + x*b - 12 = 0 for b.
4
Suppose -f + 15 = a, 2*f - f - 4 = 0. Solve -m = a*m + 48 for m.
-4
Suppose 5*n - 20 = -5*f, 0 = -2*f + 5*f + 2*n - 10. Let k(u) = 3*u - 27 + u**f - 9*u + 40 + 0*u. Let x be k(4). Solve -4*j + 3 = -x for j.
2
Let r be 4/24*-3*-8. Let s(f) = f**3 - 6*f**2 + 10*f - 8. Let m be s(r). Suppose m = -4*d - 3*v + 23, 7*d - 30 = 2*d - 5*v. Solve 4*i - 5*i + d = 0 for i.
5
Suppose a + 28 + 10 = -w, 2*a = -4*w - 142. Let d = w - -43. Solve -4 = d*i - 24 for i.
2
Let i(y) = -y**2 + 7*y - 6. Let w be i(6). Suppose -1 = -5*d + 19, -3*d = 5*z - 32. Suppose -5*j + 15 = 0, -4*g + 22 + 10 = z*j. Solve 5*s + 0*s + g = w for s.
-1
Suppose 6*q - 2*q - 60 = 0. Suppose 0*z = -3*z + q. Solve -2*v = -z*v - 9 for v.
-3
Suppose -4*l = 3*v - 47, v + 6 = 3*l - 13. Solve 0 = j + j - l for j.
4
Let h(p) = -p**2 + 2*p + 19. Let c be h(5). Let k be (125/(-10) - c)*-2. Suppose 0 = -36*z + k*z. Solve z = -2*x + x for x.
0
Let b(u) = -u**2 - 16*u + 18. Let z be b(-17). Suppose s + 5*l + z - 14 = 0, -2*s = -5*l - 11. Suppose -9*a = -s*a - 4. Solve -i - 25 = a*i for i.
-5
Let n(c) = 6*c**3 - 60*c**2 - 2*c + 24. Let j be n(10). Let w be (-16)/6 + 2/(-6). Let q = w - -7. Solve -j*l = -0 + q for l.
-1
Let w = -64 + 70. Let k be 180/(-8)*((-4)/w)/1. Let d be (k - 2) + -2 - (0 + -2). Solve d = 5*h + 28 for h.
-3
Suppose 0*b = -2*b + 106. Suppose -27 = -20*q + b. Solve -q*i - 40 = -24 for i.
-4
Suppose 130 = 10*g - 0*g. Suppose 4*u - 27 = -3*v - 4, 0 = -3*u + 2*v + g. Solve -6*a + u = -1 for a.
1
Let d = 29614 + -29584. Solve -15*s = d*s for s.
0
Let p = -1554 + 1579. Solve -20*o + p*o + 35 = 0 for o.
-7
Let a(g) = 11*g**2 - 1 - 47*g + 3*g**3 + 36*g - 5*g**3. Let d be a(6). Let j = d + 107. Solve -9*o + j*o - 25 = 0 for o.
-5
Let p = -47 + 53. Let k(w) = w**2 + 7*w + 6. Let i be k(p). Suppose -4*x + 8*x - i = 0. Solve 5*a = 4 + x for a.
5
Suppose n - 5*u + 224 = -2*n, 302 = -4*n + 5*u. Let l = n + 98. Solve 4*h = -4 + l for h.
4
Let d(t) = t**2 - 12*t - 19. Let n be d(13). Let o(r) = 2*r**2 + 10*r - 4. Let p be o(n). Suppose -k - p + 16 = 0. Solve -k*x = -3*x for x.
0
Suppose -335*u - 9620 = -345*u. Solve 8*n = -u + 970 for n.
1
Suppose 0 = -5*b + 225 - 235, 5*b - 2 = -3*i. Let q be ((-180)/(-63))/(2/7). Solve -2*l + q = -i*l for l.
-5
Suppose -29*b + 120 = -9*b. Suppose d + 2*v = b, 7*v = 2*d + 2*v - 3. Suppose 4*p - 2*p = 0. Solve p = -0*k - d*k for k.
0
Let y be (-8)/(-20) + (246/10 - 1). Let d be (-1 - 4)/(-5)*97. Suppose y = -95*t + d*t. Solve -t*l - 15 = -7*l for l.
-3
Suppose 0 = -u + 2*k - 5*k + 17, 0 = 2*k - 6. Let a(h) = 6*h**2 + h**3 - 5*h**2 + u*h - 8*h. Let s be a(-1). Solve 0 = m - s*m - 3 for m.
3
Let u(y) = 2*y**3 + 165*y**2 - 104*y - 1738. Let d be u(-83). Suppose -4*z + z - 12 = 0, -z - 58 = -3*n. Let h = 3 - -4. Solve -h = -d*x + n for x.
5
Suppose 4*t + 7*x - 55 = 2*x, -47 = -5*t + x. Solve t - 30 = -4*u for u.
5
Suppose -11*v + 279 = 59. Suppose -7 = c + 3*f, 4*f = -3*c + 7*c - v. Suppose 0 = -4*w - 5*r - 10 + 36, -4 = -2*w + c*r. Solve -w*u = u + 15 for u.
-3
Suppose m + 18 = -2*a + 1, 5*m + 37 = 2*a. Let k be m/3 - (-10 + 7). Let c = k + 3. Solve c*l - 3 - 6 = 0 for l.
3
Suppose -12*j = -3*j + 3*j. Let k be 7 + j + (1 - 5). Solve 0 = 5*i + 12 + k for i.
-3
Suppose -3*k + 2*i = -191, 4*k + 2*i - 77 = 173. Solve k = o + 64 for o.
-1
Let g be ((-468)/(-30))/(18/60). Solve 36*v - g*v = 16 for v.
-1
Let v = -7642 - -7646. Solve -43*z + 44*z - v = 0 for z.
4
Suppose -214*g + 454*g + 586*g = -851*g. Let c be 1*4 + (-3 - -3). Let r be 0 - 0/(-2) - 0. Solve r = -c*w - g*w for w.
0
Let b = 3047 - 3028. Solve -b*n + 31 = -45 for n.
4
Let f be (84/(-16))/((-45)/120). Let k(g) = g**2 - 16*g + 35. Let c be k(f). Solve -6*r - 3 = -c*r for r.
3
Let j(v) be the third derivative of 0 + 2*v**2 - 5/6*v**3 + 0*v - 1/24*v**4. Let n be j(-9). Solve 3*i + n = 5*i for i.
2
Let q be 29 + (-11 + 3 - -3). Suppose 2*f = -q + 28. Solve -9 = -f*u + 1 for u.
5
Suppose -s + 24*j = 22*j - 6, -2*s = -j - 30. Solve -s*t = -25 - 65 for t.
5
Let d(u) = -3*u + 29. Let n = -129 - -137. Let b be d(n). Solve 2*z = 1 + b for z.
3
Let r be 2/(-3) + 8/3. Let n be (-16)/(-14) + 42/49. Suppose h = -n, -u + 4*h + 4 = -8. Solve u*w + 14 = -r for w.
-4
Suppose 8*y = -714 - 3054. Let m = -460 - y. Suppose 0*j + 6 = 2*j. Solve -4*c + j = m for c.
-2
Suppose -15*r - 18 = -24*r. Suppose -r*y - 6 = 2*z, 4*y - 9 = z + 7*y. Solve z = -7*l + 2*l - 15 for l.
-3
Let b(v) = -2*v**3 + 3*v**2 - 8*v + 2. Let l be b(3). Let n = l - -44. Let m = n - -5. Solve m = 5*w + 1 + 19 for w.
-4
Let y be -236 + 3/(24/(-32)). Let r be y/(-150)*5/4. Solve 2*m = -r + 6 for m.
2
Let u = -199 + 204. Suppose u*m + 4*i - 57 = 0, -m - 2*i - i + 7 = 0. Solve -1 = -4*q - m for q.
-3
Let d(j) = -j**2 - 39*j + 4554. Let l be d(50). Solve -1066*m + 1053*m = l for m.
-8
Suppose 4 = m - 8*c + 9*c, 5*c = 0. Let p = 46 - 12. Suppose 0 = -5*z - 4*o + p - 7, -3*o + 24 = 5*z. Solve z*q - m = -q for q.
1
Suppose -8*k - 4*k - 5808 = 0. Let l = k - -526. Solve 0 = l*n - 43*n - 4 for n.
-4
Let a(c) = c**2 - 4*c + 13. Let f 