i = 135 + p. Solve -i*f - f = 5, -2*q + 3*f = -9 for q.
3
Let w be ((-60)/9)/(-10) - (-6087)/9. Let f = w + -674. Solve -3*q + 5*a - 7 = a, 6 = -f*a for q.
-5
Let j = -2086 + 2089. Solve -2*o = -5*w - 13, -3*w - 7 = j*o - 5*o for w.
-3
Suppose -s - 16 - 8 = -2*z, 3*z = -5*s - 55. Let t be 4*(78/56 - (-2)/s). Solve 0 = -t*c - 4*m - 23, -3*c + 1 = -4*m + 2 for c.
-3
Let i(a) = -a**3 - 15*a**2 + 2*a + 34. Let u be -1 + -3 + (1 - (2 + 10)). Let f be i(u). Solve -2*p - 6 = l, 2 = f*p + l + 14 for p.
-3
Let g be -115 + 108 - (-7 - 2). Solve -g*p = 5*q - 4, 0 = 3*p - 2 - 4 for q.
0
Suppose 0 = -5*r + 5, -5*y + r = -9*y + 21. Suppose 15 = 3*x - 0. Solve y*l = 4*z, 7*l = 2*l + 3*z - x for l.
-4
Let b(i) = -2*i**3 - 2*i**2 + 9. Suppose -8*r = 2*r. Let c be b(r). Solve 0 = 4*l + v + 8, -l - 4*l = v + c for l.
-1
Let c be 3/8 - 93/248. Solve 4*d = -4*j - c*d + 12, 3*d = -5*j + 7 for j.
-1
Let x(r) = -r - 1. Let d(t) = 6*t + 4. Let p(v) = -d(v) - 5*x(v). Suppose 35*c - 160 = 45*c. Let j be p(c). Solve 0 = 5*n + 5*o + 20, 2*n = o + 2*o + j for n.
1
Let g be -7 - -22 - 8 - 4. Solve -g*x = y + 4, 0*x - 4*x - 27 = -3*y for x.
-3
Let s = 8866 - 8866. Solve 3*m + 8 = 4*r, s = -3*m - 6 - 6 for r.
-1
Let q(a) = 348*a - 345. Let t be q(1). Solve -t*g + 59*r - 60*r = 0, 4*r = -5*g for g.
0
Let b be (0 - 0) + (4 - -1). Let s = 19908 + -19903. Solve -3*n + 9 = -s*n + q, -q - 5 = b*n for n.
-2
Let y(q) = -q**3 - 80*q**2 + 10*q + 804. Let j be y(-80). Solve 4*v = j*c - c + 15, -5*c - 25 = -v for c.
-5
Let n(z) = -7*z - 149. Suppose 5*v - 12 + 122 = 0. Let t be n(v). Solve t*f - 20 = 0, -3*k + 10 = 5*f + 2 for k.
-4
Let q be ((-15568)/(-7))/8 - -8. Let p = -266 + q. Solve -4*z - 4*h - p = 0, 10 = -h - h for z.
0
Suppose 0 = -3753*g + 3736*g + 1785. Solve 5*a + 26 = -4*m, 4*a + 97 = 4*m + g for m.
-4
Suppose 0 = 5*g - 5*b - 68 - 7, -2*g + 20 = 3*b. Solve 8*j - 4*l - 15 - g = 0, -j - 5*l = -20 for j.
5
Let b be (2/5)/(414/(-60) + 7). Suppose -3*k - 2*o = k, -b = o. Suppose 3*z + 1 = k*z + 2*p, 2*p - 21 = -3*z. Solve s - 21 = -5*w - s, 3*s + 6 = z*w for w.
3
Let l be (-15)/(19 - 18)*2/(-5). Solve -2*i - 10 = -4*m, -i - i = -l for m.
4
Let j be (40/12)/(-10)*-6. Suppose -9*g = -5*g - 16. Solve 3*i = -h + 4, -j*i + 10 = -g*h + h for i.
2
Let x(i) = -12*i + 490. Let f be x(40). Solve 3*z + s + 7 = 0, 18 = -2*s + f for z.
-1
Let b(z) = 4*z**3 + 24*z**2 - 2*z + 6. Let d = 103 - 109. Let g be b(d). Solve -v = -0*k - 3*k + 14, v = -5*k + g for v.
-2
Suppose 2*s - 5*s = 15, -2*s - 25 = -5*d. Suppose -h = 4*i - 16, -2*i + 3 = -d*h - 5. Solve -5*c + i*o = 30, -o + 7 = -5*c + 4*c for c.
-2
Suppose 12*m = 5*m. Let a(f) = -2*f. Let h be a(m). Suppose h = 3*o - 7 - 8. Solve -4*d - 27 = -2*g - 7, o*d + 25 = 0 for g.
0
Suppose 5*m - 456 = 2*i - 515, m = 5*i - 44. Solve -i = -5*k + b, -k + 9*b = 6*b - 7 for k.
1
Suppose -5*x + 3*d = -19, 3*d + 21 - 47 = -4*x. Solve i - 17 + 14 = 0, -5*i - 5 = -x*l for l.
4
Let o = -1224 + 1228. Solve 0 = -o*j, 3*j + 4 = i - 0*j for i.
4
Let r(k) be the first derivative of 2*k**3/3 - 2*k**2 - 2*k - 2. Let i be r(4). Suppose i*y = 7*y + 21. Solve 5*d + 18 = 2*s - 2, 0 = -y*d + 3*s - 21 for d.
-2
Suppose 8*b - 69 = -5*k + 7*b, 59 = 4*k - 3*b. Solve -14*c = -11*c + 3*t + 12, -k = 3*c + 5*t for c.
-3
Let u(g) = -g**2 + 87*g + 560. Let q be u(-6). Solve 2*i = 19*d - 20*d - 9, i + q = 0 for d.
-5
Let g be (-502)/16 + (-66)/(-176). Let r be ((0 - -1) + 9)/(g + 33). Solve -4*c + c + 5*u - 3 = 0, 5*c - u = -r for c.
-1
Suppose 12 = 5*b + b. Suppose 3*n - 2*k = -2*n + 6, 0 = -5*k + 10. Suppose n*o - 5*u = 13, -o + 12*u + 9 = 7*u. Solve -2 - 8 = 4*c + j, 5*j + b = o*c for c.
-2
Let z(n) = 848*n + 2. Let g be z(0). Solve -s = -g*u - 4*s - 16, -4*s - 18 = 2*u for u.
-5
Let k(n) = 2*n**2 - 2*n - 1. Let r = -88 - -87. Let u be k(r). Solve 2*t = -3*w + 5, 3*t - 4*t = u*w - 4 for w.
1
Let o(w) = w**3 - 19*w**2 - 45*w + 517. Let f be o(20). Solve 2*h - 6 = -2*l, 18*h - l = 15*h + f for h.
5
Let z be (6/4)/3*0. Suppose 27*d + 46 = 181. Solve 5*r + 5*b = 20, -d*r + z*b - 4*b = -19 for r.
3
Let l = -10879 - -10897. Solve n - 3*m + l = 2*n, -n = -m + 2 for n.
3
Let f(c) be the first derivative of 5*c**2 + 58*c - 19. Let r be f(-4). Let z(p) = 2*p**2 - 2. Let n be z(-2). Solve 0 = -4*g - b + n + r, b - 19 = -3*g for g.
5
Let k = -11019 + 11023. Solve 2*x = -5*v + k*x + 7, 4*v = 3*x + 7 for v.
1
Let n be (((-546)/(-65))/21)/((-4)/(-70)). Solve 4*c = n*c - 3*r, -6 = -c - r for c.
3
Let x be (-1 + 2 - (54/18 + -6)) + 3. Solve x = t + 4*g, -11*t = -7*t + 5*g - 6 for t.
-1
Let h be 78/(-208) - (-1846)/16. Let t be h/(-69)*(-6)/5. Solve t + 5 = -z + 4*d, -2*z = 2*d - 6 for z.
1
Let n = 2031 - 2021. Solve c + 5 = 3*t - 2*t, 0 = 2*c - 5*t + n for c.
-5
Let j be (0/(-1))/(5 + -4 - 0). Let m = -45 - -48. Suppose j = m*o - 14 - 1. Solve o*u + 1 = -3*f, -u + 4*f - 14 = -0*u for u.
-2
Let d be (-12)/7*(-63)/6. Suppose -58 = 10*u - d. Let l be (((-8)/3)/u)/((-6)/(-18)). Solve -l*v - 7 = 3*b, 6 = 5*b + v + 27 for b.
-5
Let a be 15/270*168 + (-4)/(-6). Solve -3*u = 9 + 3, -a = -5*z + 5*u for z.
-2
Let p = -40365 + 40370. Solve 2*b + 2 = v, p*v + 245*b = 247*b + 26 for v.
6
Let s = -11 - -11. Suppose -2*y + 2*a + 26 = 0, -y + s*a - 3*a + 21 = 0. Suppose 39 = 7*x + 25. Solve 5 = q + 3*z, 5*q - 3*z + y = x*z for q.
-1
Suppose -95*l + 99*l = d + 17, -5*d = 25. Let g(r) = -r**2 + 9*r - 5. Let j be g(6). Solve 2*u + w = j, u = 2*u - l*w + 4 for u.
5
Let d(b) = -b**2 - 104*b - 2075. Let g be d(-27). Solve -s = 2*t, -t = -7*t - g*s for t.
0
Let p = 248 - 200. Suppose -p = -0*b - 3*b. Solve 0*f - 3*f - 3 = -3*j, -j + b = -4*f for f.
-5
Let o(f) = 3*f**3 - 36*f**2 - 4*f - 21. Let j be o(12). Let m = -68 - j. Solve 5*u = -4*c + m, 3*u = -5*c - 6 + 4 for c.
-1
Let o = 4262 + -4244. Solve 3*b = 3*j, -5*j + b - 5*b = -o for j.
2
Let p = 2560 - 2558. Solve -3*c = -4*g + 9, 4 = -2*c - p for g.
0
Let a = 154 + -147. Let y be 0 + 4*3/6. Suppose 12 = 2*v + y*v. Solve -5 = v*m - u + 3*u, 0 = 3*m - u - a for m.
1
Suppose 0 = 6*t - 4*t. Let o be (-5 - (-10 - -1)) + 1. Let w(p) = p**3 - 6*p**2 + 14*p - 20. Let x be w(o). Solve -4*u + 7*z = 4*z + x, 4*z - 12 = t for u.
-4
Let t be 32/(-72) + 15*8/27. Solve 4*u + t*x = -9 + 1, -5*x - 16 = -u for u.
1
Suppose n + 5*d - 136 = 37, -2*d = -5*n + 1000. Let l = n - 182. Solve u = 2*v + 3*v - 19, -3*v = 4*u - l for v.
4
Suppose 2*a + 11 = -13 + 30. Solve 5*k - 19 = -a*w + w, 0 = -4*w - k - 7 for w.
-3
Let y be (1/3)/(9 - (-3558)/(-396)). Solve 0 = -5*n + 15, 17*o - 5*n + 30 = y*o for o.
3
Let f = 29 - 26. Suppose -3*h = 5*m - 37, f*h - 5*h = 4*m - 24. Solve h = -4*v - 2*p - p, 2*v + 2*p = -8 for v.
-2
Let d(o) = -o**3 + 9*o**2 - 6*o - 14. Let n = 38 + -30. Let j be d(n). Suppose 0 = -a + 2*a - j. Solve -7 = -a*s + v + 2*v, 3*v = s - 5 for s.
2
Suppose -28*b = -22*b - 42. Solve -l + d + 2 + 3 = 0, d = -3*l + b for l.
3
Let a = 136 + -124. Let n be -2*a/(-8) + 3 + -1. Solve -3*u - n*x = -0*u + 24, -3*x = -5*u - 6 for u.
-3
Let a(b) = -4*b + 115. Let w be a(25). Suppose -22*g + 21 = -w*g. Solve -g*n = 3*t + 15, -8 = n + 3*t + 1 for n.
-3
Let f(n) = -240*n + 1924. Let c be f(8). Solve 0 = 5*z - 15, c*d = -2*z - 4 + 26 for d.
4
Let k(o) = -o**3 + 6*o**2 - 10*o + 35. Let t be k(5). Suppose 4*v + 4 = 4*m, 3*m = 5*m - t. Solve 2*g = -3*a - 7, -v*g + 0 = -a + 7 for a.
-1
Suppose 2*c + 32 = 5*z, 2*c - 11 = -23. Solve 2*i - v - 7 = 0, -2*v = -9*i + z*i + 18 for i.
4
Suppose -3*z = 4*x - 76, -4*x = -84*z + 81*z - 28. Solve -138*g = -5*k - 140*g - 17, -5*k + 2*g - x = 0 for k.
-3
Suppose o - 2*u + 1136 = 1150, 0 = -2*u - 14. Solve o = 3*s + 3, -115*v - 25 = -110*v - 5*s for v.
-6
Let w(n) = -26*n - 64. Let v be w(-3). Let c = 25 - 22. Solve -4*s + v + 2 = -4*m, -c*m - 12 = 3*s for m.
-4
Let i = 187 - -233. Let h be (((-2)/(-7))/(-1))/((-30)/i). Solve 5*x - 3*d = -0*d - 25, -h*d = -x - 5 for x.
-5
Let n be (-12)/16 - ((-92)/16 - -3). Suppose 4*d = -2*v - n*v + 20, -2*v + 13 = 5*d. Solve 5 = -5*l - 5*s, 5*s + v = -2*l + 5 for l.
-2
Suppose 5*y + 24 = 19, 5*y - 95 = -4*i. Solve -2*l + 5 = 5*f, -3*f = -8*f + 4*l - i for f.
-1
Let d be 16/280 + 3036/770. Solve 2*y = -d*s - 4, -4*s - 5 = y - 1 for s.
-1
Suppose 3*n + 18 = 3*j, -991*j + 11 = -988*j + 4*n. Solve -14*l + 22 = -j*f - 10*l, -f - 