 4*u = 3*t + 13, x*t + 4*u - 17 = 0 for t.
1
Let x = -146 - -159. Let a = 8 - 5. Suppose -2*b - a = -x. Solve o = h + 2*h, o + 8 = -b*h for o.
-3
Suppose -4*g - 4*h = 20, 2*h + 8 = -4*g - 2. Suppose 3*j + 6*b = 2*b + 29, 3*b - 15 = g. Solve 2*s = -5*c - j, -4*s + 10 - 29 = -3*c for s.
-4
Suppose n + 2*z = 2 + 3, 0 = -3*z. Solve -c = -2*b - 10, -b - n = -0*b + 4*c for b.
-5
Let s(y) = y**3 - 29*y**2 + 2*y - 51. Let j be s(29). Solve u + 1 = b + j, 5*b + 2 = -2*u for u.
4
Let n be 3/(-4)*(1 + -17). Suppose -882*i = -865*i - 68. Solve 2*h - m + n = 0, -m = -i + 2 for h.
-5
Suppose 0 = o + 15 - 16. Let z be o + -1 + -5 + 8. Suppose z*l - n = 7, -n + 3 + 8 = 3*l. Solve 4*a = -4*s, -5*a + 5 = l*s + 1 for s.
-2
Let o = -29 - -34. Let p be 3 - (-23 + 6/2). Suppose 0 = -3*k - k - o*m + p, -3*k = -5*m + 9. Solve -2*n + k*r = -6 + 2, -n + 5*r - 10 = 0 for n.
5
Let f(s) be the first derivative of -s**4/4 - 2*s**3 + 5*s**2/2 - 9*s - 24. Let r be f(-7). Solve -r*i = -5, -z + 3*i - i = 0 for z.
2
Let o(g) = g**3 - 19*g**2 - 20*g + 42. Let h be o(20). Let k = 42 - h. Solve 0*a = 3*m + a - 12, 5*m - a - 28 = k for m.
5
Let i(b) = -b**2 + 5*b - 2. Let n be i(4). Let x = -357 + 360. Solve k = -n, x*k - 3 - 6 = 3*v for v.
-5
Let q(u) = -u**3 + 4*u**2 + 5*u - 3. Let s be q(4). Let v = 19 - s. Suppose 5*k - 10 = 2*n, -5 = -4*k - 2*n + 3. Solve v*b = -3*x, 7 + 4 = 5*b + k*x for b.
3
Suppose -142*c + 147*c - 20 = 0. Solve -2*d + p + 0*p = 8, -5*d - c*p = 33 for d.
-5
Let q = -1565 + 1569. Solve 16 = -q*c + 2*m, 0 = -2*m - 0*m for c.
-4
Let a = 102 + -100. Solve 2*t + a = -2*g, -3*g = g + t + 13 for g.
-4
Let h(u) = u**2 - 12*u - 111. Let y be h(-7). Solve 5*z + 23 = 3*q, 5*z = 5*q - 3*q - y for z.
-4
Let w = 8 + -57. Let h = w + 82. Let d be -2 + 1*(-3 + 9). Solve q - 11 = 2*v - 2, -5*q + d*v + h = 0 for q.
5
Suppose -2*o + 5*o = 18. Let f be (3/o)/((-1)/(-8)). Suppose 6*g = 3*g + 4*y + 11, 3*y + 22 = 5*g. Solve 2*b = -6, -4*l - 17 = f*b - g*b for l.
-5
Let v(p) be the first derivative of -p**4/4 - p**3 + 5*p**2/2 + 6*p - 10. Let x be v(-4). Solve -5*c + 2*s = -16, -3*c + 7*s + x = 2*s for c.
4
Let a be (-5)/(6/8*(-320)/96). Solve 4*y + 6 = -a*j - 16, -13 = -2*j + 3*y for j.
-1
Suppose 18*h + 31 - 49 = 0. Solve 0 = -5*s + 3*k + h, -5*k + 9 = -3*s for s.
2
Let f(q) = q - 2. Let v be f(7). Suppose r = v*r. Let p be (-55)/(-5) + (17 - 24). Solve -b + r*b + 4*l = -6, -2 = -p*b + 5*l for b.
-2
Let k be 3*(-8)/(-12)*-4. Let l = -7 - k. Let d be l/((-84)/(-40) - 2). Solve 4*r + 2*o = 0, o + 0*o + d = 3*r for r.
2
Let i = 559 + -556. Solve -p - 1 = -3*l, -i*p = -p - 10 for l.
2
Suppose -5*b = -18 + 3. Let h = 56 + -54. Let a be (h + 13)/3 - 1. Solve -a*y + b*r + 17 = -0*y, r = 5*y - 24 for y.
5
Let i = 1356 + -1352. Solve -i*w + 2 + 22 = -2*b, 3*w - 9 = -3*b for b.
-2
Let u be (9/6)/(3/8). Suppose 0*a - u*a = -16. Suppose -m - a*m + 10 = 0. Solve -4*h + 15 = -3*c, h - m*c = -3*h + 14 for h.
3
Let k be 6*((-48)/(-9) + -5). Suppose 0 = k*q + 4*x - 8, q + 3*x - 6 + 3 = 0. Solve -5*i - q = 3*h - 4*h, i + 5*h + 22 = 0 for i.
-2
Let a be (48 + -49)*(0 - 2). Let l(q) = q**3 - 6*q**2 - 6*q - 5. Let s be l(7). Solve -s + 5 = k + 4*h, 2*k = a*h - 4 for k.
-1
Let f be 6/(-3 + 3 + 2). Suppose -2 - 34 = -f*j. Suppose j + 13 = 5*a. Solve 5*v - 2 = -4*p + 2*v, 2*v + 1 = -a*p for p.
-1
Let j be 0*(0 + 4/4). Suppose -2*m + 4 = 2*s - j*s, 4*m + 2 = s. Solve s*q = 5*f + 12, 6*q - 5*q - 4 = 2*f for f.
-4
Let k = 30 + 211. Suppose 89 = -4*b + k. Let p = -17 + b. Solve -2*r - 2*r = -y - p, 23 = -3*y + 2*r for y.
-5
Let z be (77/(-21))/(((-2)/(-15))/(-2)). Let j = z - 51. Solve 0 = j*m - 0*m + 5*f + 2, 3*m = 2*f - 13 for m.
-3
Let p(c) = c**2 + 3*c - 7. Let n(q) = -q**2 + 3*q - 3. Let b be n(4). Let r be p(b). Solve y + r = -4*j - 0*y, -27 = 3*j + 3*y for j.
-4
Suppose -15*r = -23*r + 32. Solve r*j = f - 9, -4*f = -4*j - 0*j for f.
-3
Let p be (-22)/275 + 306/75. Solve -3*j + 2*a = a - 8, -p*j = 4*a for j.
2
Let r = -443 - -448. Solve 24 = 5*t - 2*k + 59, 0 = 5*t + r*k for t.
-5
Suppose 5*m + 4*u = 24 + 113, 4*m - 85 = 5*u. Suppose 0*h + m = 5*h. Solve 4*i + 2*v - 5 = 5, h*i - 4*v - 32 = 0 for i.
4
Let i(r) be the second derivative of -r**3 + 45*r**2/2 - 23*r. Let n be i(7). Solve 0 = n*q - 4*p - 14, -q + p + 4 = -0 for q.
2
Let s be (-1 + 0)/(4/((-16)/1)). Let c be ((-9)/(-15) - 1)*-5*s. Let h be ((-3)/2)/((-3)/4). Solve -i + 12 = 5*j - 8, 5*i = -h*j + c for j.
4
Let p(m) = -136*m + 279. Let l be p(2). Let a = -9 - -23. Solve -3*w = -2*u - a, -w = -5*u - 2 - l for w.
4
Suppose -62 - 193 = -5*z. Let w = -45 + z. Solve -4*i = -o - o - w, 5*i - 35 = -3*o for i.
4
Suppose -a = 8*i - 4*i - 22, 2*a + 16 = 4*i. Solve -3 - 3 = 2*v + a*u, -2*v + 3*u = -19 for v.
2
Let j be 116/(-14) + 1 + 2/7. Let m(i) = 3*i + 6. Let s be m(-5). Let n = j - s. Solve -g = 4*g - n*p + 21, p + 9 = -4*g for g.
-3
Let c(b) = -b + 1. Let o be c(1). Suppose 3*t + o*p - 26 = -4*p, -4*t + 5*p = 17. Solve 0 = -t*v - v + 4*u + 3, 0 = -2*u for v.
1
Let o be (-1)/(5/(-15)*1). Solve -o*w - w + t = -2, 6 = -3*t for w.
0
Let m = -49 - -56. Solve b + 4*r = m + 5, -2*r = -8 for b.
-4
Suppose 3*s + 3*p + 6 = 0, -6 = s + p + p. Let l be -4 - s*18/(-3). Solve -2*y - 2 = -t, t = -2*y - t - l for y.
-2
Let r = -337 - -340. Solve 0 = o - 2*n - r, 3*o - 4*n - 7 = n for o.
-1
Let f = 79 + -79. Suppose -r - 3*r + u + 10 = f, -r - 3 = -3*u. Suppose -14 - 8 = -2*a. Solve -2*y - r + 7 = 0, -a = w - 3*y for w.
-5
Suppose 40 + 86 = -9*g. Suppose -2*z + 56 = 18. Let i = g + z. Solve -4*a = o + 23, 5*o - 5 = 5*a + i for a.
-5
Suppose 0 = -2*s + 50*y - 45*y + 25, s - 4*y = 14. Solve 5*t - 25 = 5*c, -c = -3*c - 2*t + s for c.
0
Suppose p = -3*v + 6*p + 34, -2*v - 4 = 2*p. Suppose v*j = -j. Suppose j - 15 = -3*x. Solve -u + x = l, -2*l + 4 = u - 2 for l.
1
Suppose -5*i - 25 = -5*q - 5, 2*i + 16 = 4*q. Solve 5*x = i, -2*x = -p - x - 1 for p.
-1
Let q(n) = 5*n**2 - 2*n - 9. Let h be q(-3). Suppose -p = 28 - h. Solve d - 3*i - p = 0, -d - 3*d + 17 = i for d.
5
Let q = 160 + -157. Solve 0 = -5*a + 2*a + q*m, -4*a + 1 = -5*m for a.
-1
Suppose -4*b - m = 121, 0 - 1 = m. Let f = 32 + b. Solve 0 = f*v + 4*n + 2, 0*n = -v + 3*n - 6 for v.
-3
Suppose -45*h - 48 = -61*h. Suppose -5*x + 8 = -7. Solve 4*f + 2*g - 1 = h*f, -x*f - 3*g = 3 for f.
-3
Let k(r) = r**3 + 22*r**2 - 23*r + 4. Let l be k(-23). Let h be l/2 - 1/(2/(-20)). Solve -2*n - 4*y - 11 = 9, 0 = -3*y - h for n.
-2
Let i(f) = f**3 - 19*f**2 + 50*f - 28. Let w be i(16). Suppose -2 = -2*l + 8. Suppose -3*m + 2*m = -l. Solve 0 = x - m*g - 5, 3 = -w*x - x - 3*g for x.
0
Let w = 61 - 54. Solve -2*m + 19 + w = 4*g, -15 = -3*g for m.
3
Let s(o) = 2*o**2 - 3*o - 4. Suppose -3*i + 4*k - 20 = -7*i, i + 3*k - 9 = 0. Let q be s(i). Solve -3*m - 2*d + 0*d - 6 = 0, 7 = 2*m + q*d for m.
-4
Suppose -5*l = 25, 0 = 4*q - l + 1 - 14. Solve -3*b - 3*r = 2*r, q*b + 2*r - 4 = 0 for b.
5
Suppose -20 + 70 = x. Suppose 3*n + 5*i = 20, n - 2*i = 5*n - x. Solve -2*h - 2 = 5*a + n, -h + a = -2 for h.
-1
Let f(p) = -p**2 + 12*p - 23. Let n = 4 + 5. Let a be f(n). Solve a*w + 18 = 2*v - w, 0 = 2*v - 4*w - 16 for v.
4
Suppose -4*o - 2*n = -18, -o + 2 = -3*n + n. Solve o*y + 3*x + 7 = 0, -4*y + x = -0*y - 13 for y.
2
Suppose 5*k - 5 - 20 = 0. Let v(j) = -12*j - 27. Let b be v(7). Let l = b + 115. Solve -k*x + 3 = -z - 6, 2*x = l*z for x.
2
Let j(v) = -101*v + 811. Let f be j(8). Solve -5*t + 7*t - 11 = -5*w, -5*w = -f*t - 21 for w.
3
Let r be 8/52 + ((-8)/(-26))/(-2). Solve -l + 2*w - 1 = r, 0*l - w + 8 = -3*l for l.
-3
Suppose 0 = 2*c - 12 - 28. Suppose 2*s + 5*t - 514 - 96 = 0, 2*s - 638 = 2*t. Let h be 6/(-8) + s/c. Solve p = -6*b + b + h, 0 = 3*p - b - 13 for p.
5
Suppose 404 + 396 + 572 = 196*i. Let d be (-23)/(-4) + (-1)/(-4). Solve -d*c + 2*c + 5*y = -6, 3*c + i = -2*y for c.
-1
Let j(x) = -x + 3. Suppose 6*a - 8*a = 12. Let d be j(a). Suppose o + 14 = 4*c, -d = -5*c - 2*o - o. Solve -p - 9 = -c*w - 0*p, 3*w - 2*p - 12 = 0 for w.
2
Let q(l) = -14*l**2 - 154*l + 10. Let x be q(-11). Solve -k = 4*w - 15, -5*w + 5*k = x*k - 15 for w.
4
Let n be (-1 + 1/(-1))/(4/(-10)). Solve -3*g - 10 = -4*s, -2*g - 12 = 2*g - n*s for g.
2
Suppose 2*c - 3*r - 29 = 0, 2*c + 4*r - 30 = -8. Let y(o) = o**2 - 13*o + 6. Let b be y(c). Solve 5*q + s = 18