 n, -4 = 5*o + 16 for d.
-5
Let q = 95 - 92. Suppose 0*p + q*t = 2*p - 15, 2*t - 3 = -3*p. Solve 2*w - 16 = 4*j + j, p*w = -5*j - 1 for w.
3
Let b(q) = q**3 - 61*q**2 - 5*q + 307. Let n be b(61). Solve -5*v + u - 21 = -3*u, 18 = n*v + 5*u for v.
-1
Let s be (-6)/(((-63)/6)/7). Solve s*y - n = -5, 2*n + 14 = -0*y - 4*y for y.
-2
Let p be 1/((-2)/5)*(-1166)/265. Suppose 0 + p = f. Suppose -14 = -5*t + m, -m = 2*t + 4 - f. Solve t = 3*c, -3*w - 6*c + 3*c = 6 for w.
-3
Suppose -36*k = 40*k - 532. Solve -2*p - k = -5*i + 2, -p + 3*i = 5 for p.
-2
Let o be 19 - 22*6/132. Solve 3*p - 2 - 3 = 5*v, 4*p - v - o = 0 for p.
5
Let q be (-1546)/(-15) - (43 + 25760/(-600)). Solve -3*u = 4*t + 9, -u - 3 = -q*t + 98*t for t.
0
Let a = -29 - -26. Let q be ((-6)/(-8))/(a/(-108)). Suppose -5*b = d - 2*b + 3, 0 = -4*d + b + q. Solve 0 = 5*w - w + x + 10, d = w - 4*x for w.
-2
Let o(c) = -2*c**3 + 35*c**2 - 20*c + 12. Let w be o(17). Let v = w + 66. Suppose v = 4*t + 5*t. Solve -3*f - 5*r + 4*r = -8, 3*r - 6 = -t*f for f.
3
Let g(p) = p**2 + 13*p - 1214. Let q be g(-42). Solve 4*b + 20 = 9*b + 5*m, -3*b + 5*m = q for b.
2
Suppose 0 = -1480*l + 1485*l. Solve 0 = -2*n - 3*m + 3 + 4, l = -6*m - 6 for n.
5
Let q = -25962 + 25968. Solve -20 = 5*p, q*i - 90*p = -89*p + 10 for i.
1
Let s(j) = 2*j**3 - 30*j**2 + 26*j + 18. Let t be s(13). Let d = t - -329. Solve 3*x = 2*r + 1 + d, 0 = 2*x + 4*r + 20 for x.
0
Suppose 5*p + 15 = 0, -4*i = -p - 3*p. Let k be (135/(-10))/9*8/i. Suppose 1 + 19 = k*z. Solve 2*l + 1 = 7*l - f, 5*f + z = 4*l for l.
0
Let m be (140/16)/(85/68). Solve 4*k + m*v - 4*v + 19 = 0, k + 6 = -2*v for k.
-4
Let z(u) = -u**3 - u**2 + 36*u + 70. Let v be z(-2). Solve -4*p - 3*k = -12, 8*p - 8 = 13*p - v*k for p.
0
Let r be -2 - (0/(-4) + -21). Suppose 3*g + 4*p = p + 3, -4*g + p = -r. Solve -3 = -3*w + 3*z, 8*z + 2 = g*w + 3*z for w.
3
Suppose -1334*b - j + 23 = -1329*b, 3*b + 5*j - 27 = 0. Solve -u = -4*u - b*r, -2*u + 17 = -3*r for u.
4
Let d(k) = 3*k - 46. Let x be d(17). Let o = 10 - 5. Solve -l + 5*i = -3 + x, 0 = 5*i - o for l.
3
Let v = -17 - -20. Let x be (-1018)/6 - (5 - (-28)/(-6)). Let s be (2 - 7/5)/((-51)/x). Solve 0 = s*b + o - 2 + 8, v*o = 4*b - 8 for b.
-1
Let c = 31 + -29. Suppose 0 = -6*n - 6 + 54. Let t be (1/(-1))/(n/(-40)). Solve -t*m = 5*i + 30, i + c*m - 4*m = 9 for i.
-1
Suppose -9 = 3*f, -3*p = -f - 21 - 18. Suppose -2*g = -8*g + p. Let a be (1 + 2)*(-70)/(-30). Solve 3*s = -4*b, 2 = b + g*s + a for b.
3
Let g be 108*(27/(-78) - (-2)/(-13)). Let s be ((-360)/g)/(12/9 - 1). Let f(o) = -o**2 - 6*o - 4. Let v be f(-3). Solve -h + s = -v*h - b, 4*h + 12 = b for h.
-4
Let t(o) = o**2 - 6*o - 15. Let w be t(9). Suppose w*y = 32*y. Let g = 1 - -1. Solve p + 3 = 3*m, 2*m + 5*p + y - g = 0 for m.
1
Let f(o) = -10*o + 5. Let a be f(-3). Let l = -6 - -8. Suppose -t + 9 = l*t. Solve -t*k - 3*s = 2*s, -5*s = -4*k - a for k.
-5
Let r(w) = -16*w + 2. Let n be r(-2). Suppose -n + 32 = -q. Solve 4*v + 3*s = 7, -s = q*v - 3*v - 7 for v.
-2
Let f(v) = 2*v**2 - 8*v + 1. Let u(t) = 2. Let z(x) = -f(x) - 3*u(x). Let o be z(2). Solve -4*n - 8 = 0, 3*q - 3*n - o = 2*q for q.
-5
Suppose -26*c + 22*c + 136 = 0. Let j = -10 + c. Suppose j = 12*b - 9*b. Solve -m + l = -6, -b*l - 5 = -3*l for m.
5
Suppose -5*x - 5*s = -10, -s + 22 = 2*x + 17. Solve 2*q - 10 = 0, x*r + 13 = 3*q + 4 for r.
2
Let f be 11/((-77)/14)*-2. Solve -14 + f = 5*p + 3*b, 3*p - 2*b = 13 for p.
1
Let d be (8/2)/(2/(-25)*-5). Suppose -22*x + d = -34. Solve x*w + 4 = -2*a + 5*a, 5*w = -5*a - 35 for w.
-5
Suppose -67*d + 522 = -2*d - 36*d. Solve 15*n = d*n + 3*z, n = z for n.
0
Suppose -3*j - 59 = -s, 0*j = -4*s - 5*j + 202. Let t = s - 50. Suppose -2*m - 3*z + 17 = 5, t = -m + 3*z. Solve 3*o + m = -3, -h + 5*o = -15 for h.
5
Suppose 0 = 3*t + 3, -4*l - 19*t + 18*t = -7. Solve 0 = 2*q + 4*h + 22, l*h + 2*h + 25 = -5*q for q.
-1
Suppose 81 = 5*s + 4*x, -2*s + 5*x = -6*s + 63. Suppose 7*h + s = 52. Solve -2*z + z + 4*w = -24, -h*z + 4*w = -40 for z.
4
Let x(k) = -k**2 + 96*k - 339. Let m be x(92). Solve -w - 13 = 28*q - 30*q, -q + 5*w + m = 0 for q.
4
Let a(l) = 2*l**3 + 18*l**2 + 9*l - 54. Let p be a(-8). Solve 0*m - p*m = -g + 2, 2*g = 2*m for g.
-2
Let k(d) = -d**2 + 10*d - 6. Let o(p) = p**2 - 1. Let b(a) = k(a) - o(a). Let r be b(4). Let h be (r/(-2))/((-3)/6). Solve 0 = -2*z - 3*m, h*m = 7*m + 8 for z.
3
Suppose -38*b - 65*b = -412. Solve z + b*i + 11 - 7 = 0, 4*z = 4*i + 4 for z.
0
Let a be (47/47)/(5/4 + -1). Solve -m - 12 = -3*r + 2*m, -8 = a*r + 4*m for r.
1
Let n(o) = 216*o - 14. Let l be n(1). Let b = l - 201. Let p(f) = f. Let i be p(5). Solve i*k - 3*r - 17 = 0, 0 = -5*k + 5*r + b + 24 for k.
1
Let t(w) = -w**2 + 9*w + 14. Let j be t(10). Let h = j + -2. Let l be (-16)/(-5) - h/10. Solve 2*v + 5 + 6 = l*u, -5*v - 20 = -5*u for v.
-1
Let w be (1148/5)/1 - 10/(-25). Let k = w - 228. Solve 0 = -k*p + 2*t + 2, -p - 5*t - 31 + 2 = 0 for p.
-4
Let x(t) = 3*t**2 + 80*t + 150. Let o be x(-2). Solve o*y + 5 = -5*z, -z + 3*y = 20 - 36 for z.
1
Let b(o) = 7*o**2 + 185*o + 91. Let s be b(-26). Solve -3*w - 2 = -2*d - 0, -3*w + 5*d = -s for w.
-4
Let u be ((-12)/36)/((18/(-6))/747). Solve 0 = i - 5*l - 101 + u, -4*l - 18 = i for i.
-2
Let r(z) = -8*z + 110. Let t be r(9). Suppose t*u - 30*u = 0. Solve -4*n + n + j - 18 = u, -n - 11 = -2*j for n.
-5
Suppose 7*y + 92 - 127 = 0. Suppose 29 = 4*k - y*v, 5*v = k + 2*v - 9. Solve k*o - o + 16 = 2*g, -3*o - 15 = -3*g for g.
3
Let z = -17 - -13. Let k be (z/14)/(5/(-35)). Suppose g = k*g. Solve 4*j = 0, g*t + 2*t - 3*j = 0 for t.
0
Suppose 109 = 5*y - a, a - 30 = -4*y + 59. Suppose -9*z + y = 2*z. Solve z*s - m + 13 = 0, 3 = -5*s - 4*m - 10 for s.
-5
Let b be (5 - 3 - -1) + -98. Let w = 99 + b. Solve w*d = 2*l + d - 5, -5*l = 3*d - 23 for l.
4
Let q = -383 + 383. Let v be q*((-16)/48)/(-1 - 0). Solve 2*t + 5*w + 19 + 9 = v, -5*w = -2*t + 12 for t.
-4
Let v be ((-54)/(-144) - 22/16)*-761. Let w = v + -756. Solve -3*r = 9, -3*d + w*r + 15 = 2*r for d.
2
Let n(x) = x**3 + 7*x**2 + 4*x. Let w be n(-3). Let o = -23 + w. Suppose 0 = 3*m - 6, -f = 2*m - 9 - o. Solve 2*s = -f, 0 = -2*z - 0*s - 2*s - 14 for z.
-4
Let u(j) = 4*j**2 + 9*j - 16. Let g be u(-4). Let r be 0 + g + -12 + (-30)/(-5). Solve -x - 5*z + 7 = 0, -x - r = -3*x - 2*z for x.
2
Suppose 0 = 4*n - 12, 4*y = 5*n + 74 + 39. Solve 0 = 5*f - 3*v - y, -2*v - 28 = -107*f + 102*f for f.
4
Let x(u) = 75*u + 1744. Let t be x(-23). Solve -5*p = -3*p - 3*c + t, -3*c + 9 = 3*p for p.
-2
Suppose -70 = g + m, 4*g - 3*m = -176 - 90. Let z = -68 - g. Solve -5*v = -2*r - 14, z*r = -2*v + r + 6 for v.
2
Suppose -13*k + 4*k + 54 = 0. Let z be -10*((-24)/10)/k. Let j(n) = 4*n - 3. Let m be j(2). Solve a = l + z, -m*l - 2 - 17 = -4*a for a.
1
Let m(z) = -z**2 - 13*z + 32. Let j be (15/4)/(1/(-4)). Let o be m(j). Solve 5*f = -r - r - 4, r + o = 2*f for r.
-2
Let j be 35/(-5) - -3 - (-9)/1. Suppose 4*f - 2 = j*v, -6*f + 7 = -v - 3*f. Solve v*m + 0 = -3*u + 2, -5*u - 3 = -3*m for m.
1
Let g(r) = r**3 - 4*r**2 - 217*r - 66. Let x be g(17). Solve 4*n - x*n = p + 9, -3*n = 2*p - 3 for p.
-3
Let z = -1834 + 1838. Solve 0 = 5*o + 3*j - 11, 3*j + 21 = z*o - 4 for o.
4
Let s(l) = 3*l**2 - 92*l - 786. Let f be s(-7). Solve 3*c - 2*w - 7 = 0, -20 = -c - 4*c + f*w for c.
-1
Let l be 0 + (-1)/3 - (-64)/(-24). Let c be 2/l - 296/(-111). Solve -2*r = -c, 3*g - g + 2*r = -8 for g.
-5
Let x = -29 + 32. Suppose n + 14 = -x. Let s(h) = h + 22. Let m be s(n). Solve 3*r + 19 = 4*t, -m*r - 2*t + 4 = -r for r.
-1
Let v = 29 - 41. Let b(z) = -z**3 - 12*z**2 - 2*z - 5. Let g be b(v). Suppose 23*u - g*u - 20 = 0. Solve 3*x + 9 = 0, 0*x - 3*x = u*m + 19 for m.
-2
Let z = 14502 + -14487. Solve z = -5*r, -3*r - 4 = 5*n - 15 for n.
4
Suppose -579 = 581*w - 397*w - 1499. Solve -126*n = z - 130*n - 30, 0 = -w*z - 5*n - 25 for z.
2
Let q be ((-1)/(2/(-2)))/((-5)/400*-5). Solve -r = w + 4*w, 4*w + 4*r - q = 0 for w.
-1
Let x be -2 - (-1)/(-1) - (-14 + 3). Suppose 2*o + 0 = 10. Suppose 0 = -o*y + y + x. Solve -u + 11 = y*m + 2*m, u - 9 = -3*m for u.
3
Suppose 16*v - 17*v = 6. Let l be (2/v)/(1/(-6)). Suppose -5*b - 4*g = -10, 2*b - 4*g = -l*b + 8. Solve -1 - 22 = f - 5*r, 5*f = -b*r - 7 for f.
-3
Suppose 2*a + 22 = 4*d, -2*d + a + 3 = -d. Solve 0 = -