t*a + 25, 4*r - 14 = 2*a for r.
5
Let u(g) = -10*g - 208. Let p be u(-21). Suppose 0 = -p*o - 115 + 145. Solve 0 = -3*t + o, q + t - 6 = 2*q for q.
-1
Suppose 0 = -20*g + 3*g - 2618. Let k be g/(-55) + 4/(-5). Solve -k*d = n - 2, -24 = 4*d - n - 4*n for d.
-1
Let l be (6/(-4))/(9/(-312)). Let q be l/5 - 2/5. Let s(v) = -4*v**3 - 193*v**2 - 45*v + 152. Let x be s(-48). Solve 0 = -2*u - 5*i - q - 0, u - x = 4*i for u.
0
Let s(y) = -3*y**2 - 117*y - 95. Let m be s(-38). Solve 5*l = -4*i + 25, -3*i - 8*l + m = -4*l for i.
5
Suppose 5*a - 130 = 5*s, -278*a - 16 = -280*a - 4*s. Solve 3*o = -5*f - 22, a = -4*o + 9*o - 3*f for o.
1
Suppose 4856*y - 4846*y = 90. Solve -3*l + 4*t - 10 = 0, -10 = 3*l + 5*t - y for l.
-2
Suppose -l + 3 = 1. Suppose -4*g = l*s - 10, -s - 8 = -2*g - 1. Suppose -g*x = -0*x - 6. Solve 2 = -4*c + x*a, -3*c = -8*c - 5*a - 40 for c.
-3
Suppose 8*r - 70 = 3*r. Let y be (6/r)/((-12)/(-84)). Suppose 5 + 21 = y*o + 4*i, -5*o - i + 49 = 0. Solve -3*m + x + o = -3, 2*m = -2*x - 2 for m.
3
Suppose -4*h - 2*h = 10*h. Let b be (4 + 1 - h) + -1. Suppose 16 = b*p + 4*i, 1 + 19 = -4*i. Solve -5*a - 6 = -4*g, 2*a - g + 6*g = -p for a.
-2
Suppose 0 = 184*r - 333 - 403. Solve -3*n = 6, 0 = -3*p - 2*n - 6 - r for p.
-2
Suppose 221*l + 67 = 191*l + 217. Solve 0 = l*j + 3*y + 22, j - 4*y + 0*y + 9 = 0 for j.
-5
Let j be (3*-1)/((-6)/4). Let h = 1226 + -1221. Solve 0 = -5*c - j*o - 23, h = -4*c - 5*o - 10 for c.
-5
Suppose -3*n + 325 = 22*n. Let z be (n/((-39)/12))/(-1). Solve 3 = -z*l - 5*v, 0*l = 5*l - 2*v + 12 for l.
-2
Let s = 36 + -52. Let k be 4/(-5 + s/(-3)). Solve -3*w + 3*g + k = 0, 11 + 3 = 3*w - 5*g for w.
3
Suppose 21*x - 158 + 32 = 0. Suppose x*l + 14 = 158. Solve -4*s - l = 5*r - r, -4*s = 3*r + 23 for s.
-5
Let t(v) = -3*v**3 - 2*v + 3. Let m be t(-3). Suppose -d - 17*d + m = 0. Solve 0 = -f + 4*f - n + 3, 5*n = -5*f - d for f.
-1
Let w(p) = 4*p - 21. Let h = -61 - -69. Let t be w(h). Suppose 0 = 3*l - 3*u - 10 - t, -3*u = -5*l + 29. Solve 0*z = l*y + z, -y - 7 = 2*z for y.
1
Let g(s) = -96*s**2 - 3*s. Let v be g(-2). Let x = -376 - v. Solve -4*a + 17 - x = j, 2*a - 3*j = 11 for a.
4
Let j be 4 - 104/91*14/4. Suppose 3*q = -b - 239, j = 2*q - 3*q - 2*b - 83. Let u = -73 - q. Solve 4*p - u = -5*y, -3*p = y - 4 - 6 for y.
-2
Let r(n) = -13*n + 7*n + n**2 - 10 + 9*n + 2*n. Let a be r(-7). Solve 0 = 5*j - l - 21, 0*l + 4*l = -a*j + 12 for j.
4
Let y(x) = -190*x + 950. Let c be y(5). Solve 4*g + c*g + 4 = -4*p, 3*g - 12 = 2*p for g.
2
Suppose 29*l - 25*l = 308. Let d = 80 - l. Solve 2*v - 9 = -3*c + 5*v, d*c + 2*v - 14 = 0 for c.
4
Let t(n) = n + 4. Let p be t(-2). Let f be 0 + 4/p - (-3)/3. Let u(g) = g**2 - 4*g. Let b be u(6). Solve 10 = -5*i, -5*a - 3 = f*i - b for a.
3
Let k be 17 - (3 - -2) - (-26 - -34). Solve 3*n = -4*o + 17, -2*o = -2*n - 2 + k for o.
2
Let x be (-10)/(-4) - 249/(-166). Solve 2*v + 7 = -3*s, 5*s + x*v + 2 = 3*s for s.
-3
Let y = 67 + -63. Let p be (228/21)/y - 2/(-7). Suppose -p*u = 2*z - 38, -2 = -5*u + 4*z + 76. Solve 13 = -4*q + g, -3*q + 5*q + u = -2*g for q.
-4
Suppose -35*y + 6 = -33*y - 2*a, -3*a = -y - 5. Let w be 7 - 9 - -1*y. Solve w = d, 3*p + 10 = d - 7 for p.
-4
Let f = 76906 + -76902. Let a = 4 - -1. Solve -f*u + 20 = -4*z, 0*u - 10 = -a*u for z.
-3
Suppose 0 = -52*a + 58*a - 486. Suppose 3*w + 5*t = -57 + a, 0 = 2*w + 4*t - 14. Solve -1 = -3*u - 4*v, -v = u - 3*v + w for u.
-5
Let v = 4205 + -4203. Solve 4*o + 1 = -3*q, v*o + 2*q + 5 = -q for o.
2
Let h(y) = y**3 + 24*y**2 - 26*y + 6. Let i be h(-25). Suppose -7*v - i*v = 0. Suppose 0*k + 24 = 2*k. Solve -d + 3 = -5*d - 3*m, v = d - 3*m + k for d.
-3
Suppose -w = 5*c - 19, 5*w + 15 = -5*c + 50. Suppose -12 = -4*b, c*y + 5*b + 0 = 27. Solve -2*s - 5*z = -12, -s + 0*s + y = 2*z for s.
-4
Let l = 12354 + -12352. Solve -4*k + l*f + 4 = 0, -f = -k + 38 - 39 for k.
3
Let i(w) = 5*w - 82. Let l be i(17). Solve 2*c - z - 3 = 0, -9 = -3*c - l*z + 9 for c.
3
Let l = -54733 + 54737. Suppose 14 = a + 2. Solve -l*b - 4*j = -a, 2*b + 6*j - 6 = 5*j for b.
3
Let o be -8 + 2/(12/102) - 4. Solve b - 15 = o*u, -40*b + 41*b + 3*u + 17 = 0 for b.
-5
Let c = -18 - -27. Suppose 2*g + 4*f - c - 9 = 0, -2*f - 27 = -3*g. Solve 6 = 4*n - 5*s, 3 = 3*s + g for n.
-1
Let k(f) = f**3 - 2*f**2 - 15*f + 5. Let x be k(5). Solve 8*c = 12*c + x*q + 11, 3*c + 3*q + 6 = 0 for c.
1
Let s be -30*(7 - (-8 - (-153)/10))*2. Solve -20*w + s*w = 5*v + 4, -v - 4*w = 8 for v.
0
Let r be 2/((7/42*-7)/(-1 + -6)). Solve i - 3*v = -4, -3*i - 83*v - r = -78*v for i.
-4
Let c = -136 + 142. Let p be 6 + -12 + c/1. Solve b + 5*h + 0*h - 3 = p, 4*b - h = -9 for b.
-2
Let o = -17 - -12. Let f be 4 - 0*(-1)/o. Suppose 2*w + 3*x = -0*w + 4, f*w + 2*x = 16. Solve y - w*b = -3*y + 4, 3 = 3*y - 3*b for y.
1
Let v(y) be the first derivative of -21*y**2 - 123*y + 134. Let q be v(-3). Solve 3*s - 4*c = -7, -q*s - 5*c + 29 = -0*s for s.
3
Let u(p) = -2*p - 34. Let d be u(-24). Let y be (9 - (2 + 4))/(9/6). Solve m = y*x - 3, 0 = -4*m + 2*x - d - 4 for m.
-5
Let z be 4 + (-4 - (4 + -6)). Let g be 48/1*z/4. Solve 4*x = 4*c + 8, 4*x - 3*c + g = -7*c for x.
-2
Let g be ((-3 - 0)*-1)/((-105)/(-140)). Solve 3*y - g = -5*d, -d + 0*y - 3*y = 4 for d.
2
Let v = 6 + -4. Let r = -16756 + 16756. Solve 4*c + 5*w - 8 = r, c + v*w - 2 = -c for c.
-3
Let q be 3/(-2)*160/(-24). Suppose 2*n = 34 - q. Suppose -3 = -3*p + n. Solve -5*s - p*u - 2 = -7, 0 = s - u - 1 for s.
1
Let f = 3092 + -3081. Solve -3*g = 3*t - 15, 0 = -5*g - f*t + 16*t - 25 for g.
0
Let j(a) = -a**3 - 28*a**2 - 61*a - 234. Let l be j(-26). Solve 5*n + 4*u - 37 = l, -4*n = -3*n + 2*u - 11 for n.
5
Suppose -243 - 97 = -10*i. Let d be -1 - -1 - (-46 + i). Let s = 15 - d. Solve 0 = -j + 3*j + m + 2, j - s*m - 13 = 0 for j.
1
Let j(z) = 2*z**3 + 55*z**2 - 30*z - 49. Let c be j(-28). Solve -4 = -q - 5*p, -3*p + 0 = -4*q - c for q.
-1
Let o be (1 - -8)/(450/(-45) - -13). Let g be (-1 - 0) + 0 - -2. Let p = g - -4. Solve o*j = -5*m + 6, 0 = -5*m + 5*j - 5 - p for m.
0
Suppose 0 = 4*n - 2*h + 10, 5*n - 5*h + 10*h - 25 = 0. Solve 4*y = 0, r + 4*y - 5 + 2 = n for r.
3
Let b(r) = 17*r**2 + 1583*r + 190. Let j be b(-93). Solve 4*p + 5*h = -28, p - j*h - 22 = 4*p for p.
-2
Let t(w) = -w**2 + 18*w - 75. Let r be t(11). Solve r*d - 4 + 11 = 3*f, f - 9 = -d for f.
5
Suppose -2*q + 54 = -3*q. Let a be (q/9)/((3 - 1)/2). Let z(j) = 4*j + 28. Let b be z(a). Solve -12 = 4*v - 2*g + 8, -20 = b*v - 5*g for v.
-5
Let x(w) = 13*w**2 + 425*w - 128. Let p be x(-33). Solve 5*j - 13 = 3*d - 2*d, -p*j - 2*d = -2 for j.
2
Let h(c) = 9*c - 13192 - 4*c + 13225. Let j be h(-5). Let z(v) = v**2 + v - 2. Let o be z(2). Solve -3*w + 4*k - o = j*k, w = 2*k + 12 for w.
4
Let v = -281 - -290. Suppose v*j - 20 = -j. Solve -16 = -5*a - 2*t, -a + j = -2*a - 3*t for a.
4
Let d = 10 + -5. Let o(b) = -4*b**3 - 122*b**2 + 62*b + 4. Let l be o(-31). Solve -d*j - 16 = 2*a, -l = j + a + 1 for j.
-2
Suppose -6540*p = -6544*p - 4, -q = p + 1. Solve -2*x = 29*c - 30*c + 6, 4*x + 12 = q for c.
0
Suppose 79*u + 26 = 2*n + 84*u, 3*u - 27 = -5*n. Solve 4*p + 3*z = -17, -n*p = z + 13 + 1 for p.
-5
Let b(d) = 3*d + 76. Let l be b(-24). Let q(m) = -m**2 - 10*m - 14. Let w be 2/4 - 204/24. Let u be q(w). Solve 0 = l*z - u*p + 20, 14 = -5*z + 2*p - 5*p for z.
-4
Let s(z) = z**3 - z + 2. Let m be s(0). Let k(v) = 21*v + 10. Let y be k(m). Let t = y + -50. Solve -2*q + 4*q + 2 = 5*i, 0 = -t*i - 3*q + 16 for i.
2
Let l(y) = y + 1. Let c be l(4). Solve 0 = -2*p + 2, -5*x + 2 - c = 2*p for x.
-1
Suppose t + 6*t - 2*t + 6*t = 0. Solve t = -3*z - 5*j + 2, -25 + 3 = -4*z + 3*j for z.
4
Suppose -6*i + 0*i + 492 = 0. Suppose -i*r = -79*r - 72. Solve -2*a = -3*m + r + 1, 0 = 3*m - 3*a - 30 for m.
5
Suppose -4*f - 94 + 106 = 0. Suppose -36 + 42 = f*g. Solve -g*t = -5*j + 16, 4*j + 2*t = -0*t + 2 for j.
2
Suppose -1 = -4*r + 15. Let z be (-94)/(-3) - (-64)/96. Suppose -23*o = -z*o + 315. Solve 0 = 3*a - 8*a - p - 20, r*p + o = -5*a for a.
-3
Suppose 7*y - 3422 = -3394. Solve -4*s = -2*n + 6, -y*n + 2*s - 2 = -8 for n.
1
Let w(f) = 17*f + 368. Let u be w(-19). Suppose 0 = -0*q + 2*q + 86. Let r = u + q. Solve 29 = -z - 7*m + 2*m, 0 = -r*z - 5*m - 33 for z.
-4
Suppose 6*z + 21 = 285. Let d(n) = -n**3 - 13*n**2 - n - 8. Let h be d(-1