, 4*i - 8 = -8*x + 6*x for i.
1
Suppose 8*w + 768 = -0*w. Let l be (-24)/w - (11/(-4) + 1). Solve 8 = 3*v + 4*m, l*v - 2*m = 4*v - 2 for v.
-4
Let h be (-60)/6 - (-31 - -3). Solve -4*f + 6*f + 4 = 0, 3*f + h = 3*m for m.
4
Suppose 5*d + 20 = 0, 4*f + 3*d = -0*d - 20. Let m be 0/(-3) + f - -2*1. Solve m = -2*h - 3*w - 12, -2*w + w = -5*h + 4 for h.
0
Let j be ((-12)/15)/((-14)/35). Suppose -j*u + 52 = 32. Suppose -v + u = 2. Solve 3*i + p = -v - 8, 4*i - p = -19 for i.
-5
Let m = -1 - -4. Suppose 5*p - 3*f - 25 = 0, -10*p + 14*p = 5*f + 33. Solve -3*i - 4*w + 1 = 0, -5*w + p + m = 0 for i.
-1
Let u = -204 + 232. Solve -4*t + u = 4*o, o + 2*t - 18 = -2*o for o.
4
Let r(n) = 3*n - 16. Let o(l) = l**2 + 14*l + 6. Let h be o(-14). Let b be r(h). Solve 5*t = 3*f - 11, 0 = -2*f - 2*f - b*t + 6 for f.
2
Suppose 253*u = 251*u + 10. Solve 3*r + 5 = u*q - 5, -5*q + 15 = -2*r for r.
5
Let x(h) = -h**2 - 4*h + 2. Let p be x(-4). Suppose -k + 0*j - 2 = -2*j, 10 = k + p*j. Suppose 13 + 63 = 19*z. Solve -2*c - 8 = k*a, z*c = -2*a + 7 + 1 for c.
4
Suppose 3*r = -3*b + 42, -4*b + 50 = 3*r - 4. Solve -4*s + 3*g + 9 = -7, b = 3*s + 4*g for s.
4
Let n = -241 - -244. Solve -5*b + q = -n, -q - 3 = 2*b - 0*q for b.
0
Suppose 2*v + 22 = 3*c, 14 = 3*v + 2. Let u = -15 - -10. Let l = c + u. Solve q = -l*s + 2*q + 18, s = -q for s.
3
Suppose -381 = -5*s - 376. Solve -b + s = -0*b - 5*u, u = -1 for b.
-4
Let n = 13 - 9. Solve n*t - 8 = 0, l + 3*t = -0*l + 7 for l.
1
Let z(r) = r**3 - r**2 - 3*r - 2. Let t be z(4). Let d be 2 + t/12 + 3/18. Solve -4*p - 3 - 22 = -5*v, -v = 5*p - d for v.
5
Let t(s) = s + 15. Let o be t(0). Let p be 3/(-2)*(-80)/15. Let z be 28/p - 1/2*1. Solve -o = -z*j + 4*m, 2*m = 4*m + 6 for j.
1
Suppose 0 = -2*w - 10 - 8. Let x be (-8)/(-6) + (-6)/w. Solve -a + 5 = -4*b - 3, b + 5*a = -x for b.
-2
Let x(n) = n**3 - 7*n**2 + 9*n - 7. Let l be x(6). Let a(i) = -168 - i + 101 + 83. Let f be a(l). Solve 0 = -2*v + o - f, 2*o + 20 = -3*v + o for v.
-5
Let p = 0 - -2. Let h(y) = 2*y - 1. Let d be h(2). Suppose 4*f = -d*n + 18, 3*f = p*f + n + 1. Solve -2*r - b = f*b - 30, -2*b = 4*r - 30 for r.
5
Suppose 4*v = 6*v - 10. Suppose 2*l - 43 = -v*f, -2*f - 4*l - 49 = -7*f. Solve -4*x - f = m + x, -4 = 2*x for m.
1
Let p be 4/(-16)*0 - -2. Suppose p*h = -3*a + 9 + 32, 5*h + 3*a = 116. Suppose -b - h = -6*b. Solve -5*l + 5*v = 15, l + 14 + 1 = b*v for l.
0
Suppose a + 17 = 13. Let i(k) = k + 5. Let f be i(a). Solve -9 - 1 = -5*t + 5*c, f = -2*t + c for t.
-3
Suppose -2*s + 8 = 105*w - 103*w, 2*s - 10 = -4*w. Solve s*h - 24 = 3*j, 0*h + 3*j = -5*h + 16 for h.
5
Suppose 5*c + 14 = -3*i, -4*i + 2 = -5*c - 26. Let k be 2*93/12*i. Solve 4*w = 3*s - k, -4*s - 2*w = 3*w for s.
5
Let i(u) = u**2 - u - 18. Let c be i(5). Solve 3*l + 4*y + 4 = 7, -2*l + c = 5*y for l.
1
Let a be 0 + -1 + 1 + 12/4. Let v = 2 + 0. Suppose -3*o = v*o - 15. Solve 2 = 2*u - o*i, u = -a*u - 2*i + 20 for u.
4
Let v be (12/24)/(1/36). Suppose 5*x - v*x + 156 = 0. Solve 0 = -2*d + 3*n - 8, 2*d - 4*n + x = 2 for d.
-1
Let u be (1*8)/((-196)/(-147)). Solve -2*x - o = -u, -3*o - 2*o = -3*x - 4 for x.
2
Let u(f) = 8*f + 5. Let x be u(-1). Let n be x/(1 + 0)*-1. Solve -a + n*w + 9 = 0, -w = -a - 1 + 6 for a.
3
Let z(o) = 37*o - 179. Let n be z(5). Solve 4*c - 2*p = n*c - 6, 5*c - 35 = 5*p for c.
5
Let j(r) = -r**3 - r**2 + r + 20. Let v be j(0). Solve v = -0*p - 4*p, 0 = 3*k - 4*p - 8 for k.
-4
Let v be 6/27 - 2728/(-36). Suppose -4*c = -n + v, -n + 3*n - 131 = c. Let f be -2 + -1 - n/(-8). Solve 3*k + f = 4*y, 3*k + 7*y + 14 = 2*y for k.
-3
Suppose 5*g = 5*z + 65, -1 = g - 3*z - 20. Solve 2*q + 28 = 4*b, 2*b - 3*q + 8*q + g = 0 for b.
5
Suppose -3*u - 6*t = -10*t - 8, 3*t = -2*u + 11. Solve -2*d = u*x - 5*x + 6, -2*x = 2*d - 6 for x.
4
Let h be (6/8)/(5/20). Let f(x) = x**3 + 4*x**2 - 6*x - 4. Let o be f(-4). Solve k = 4*w + 4, 8*k = 3*w + h*k + o for w.
0
Let m(f) = f**3 - 13*f**2 - 13*f - 12. Let y be m(14). Solve -3*j + 6*j - y*l - 16 = 0, l + 1 = -2*j for j.
2
Suppose 2 = 2*i + 4*a, 3*a - 5*a = -5*i + 5. Let u be (0 + -1)/((-1)/5). Solve 0*t - 3*t - 1 = -4*r, -4*r + u*t = i for r.
1
Let p = 16 - 3. Suppose -10 = -2*k + 4*h, -2*k - 4*h - p = -5*k. Solve -2*a + 4 = 3*a - k*j, 9 = -3*j for a.
-1
Suppose -6*d - s = -10*d + 48, -5*s = 4*d - 24. Solve 3*f + 5*q + d = 0, 5*f - 1 = q - 10 for f.
-2
Suppose -16 = d - 2*d. Let h = d - 13. Suppose 3*r = 2*y - 0*r, 0 = h*y - 2*r. Solve -z - 13 = -y*z + 3*k, -z + 3*k = -17 for z.
2
Let g(b) = 2*b - 5. Let t be g(4). Suppose 0 = -3*f + 3, -1 = t*r + 3*f - 4. Solve r = -5*q - 5*s + 15, 0 = -q + 6*q - 3*s - 23 for q.
4
Let j = 18 - 16. Let m = -23 + 14. Let r be (6/(-5))/(m/30). Solve 5*w + 2*p + r = 0, p - 1 = j*w + 2*p for w.
-2
Let f(r) = -23*r. Let y be f(-1). Let q be (58/(-5))/(34/(-85)). Suppose v = -j + 2*v + 7, -3*v = -5*j + q. Solve 2*k - w = j*w + y, 0 = 5*k - w for k.
-1
Let f(a) = -a**3 - 12*a**2 - 11*a + 5. Let t be f(-11). Suppose k - t = 0, 0 = -5*n + 2*k + 45 + 135. Solve 0 = -2*q - 10, 3 = 3*s + 4*q + n for s.
-5
Let n(a) = -a**3 - 2*a**2 - a + 1. Let l be n(-2). Suppose 0 = 5*c - 2*w - 12, 3*c - 5*w = 6*c - 32. Solve -3 = -3*q + l, -5*g = 2*q - c for g.
0
Suppose 3 = 8*i - 13. Suppose i*j + 2*c = -0*j - 2, -5*j - 4 = 4*c. Let p(w) = -2*w + 6. Let q be p(-6). Solve 4*y - t + q = j, -y + 2*t + 1 = -t for y.
-5
Let q(x) = -x**3 - 16*x**2 + 4. Let r be q(-16). Let n be 136/5 - r/(-5). Solve 0 = 5*l + u - 15, 4*l + u + 3*u = n for l.
2
Suppose -12*q + 8*q = 3*g - 17, g = -4*q + 19. Solve 0 = 6*t - 3*t - 2*r + 16, q*r - 17 = -4*t for t.
-2
Suppose 0 = -4*i - 70 - 106. Let z = 49 + i. Solve 20 = -z*g + 5*c, 0*c - 21 = 4*g + c for g.
-5
Let n be 27*(-4)/(-42) + 4/(-7). Solve -3*f - 6 = -v, f - n*v = -2*f - 3 for f.
-3
Let z be -2 - (2 - 1) - (-11 - -2). Solve 0 = 3*b - v + 7, 0 = 3*v - z*v + 12 for b.
-1
Let c(i) = i**2 - 3*i - 16. Let k be c(-3). Solve 5*v = k*v + n + 7, -2*v + 10 = -2*n for v.
1
Let f = 525 + -525. Solve 0 = -n - 0*n, -4*k + n = f for k.
0
Suppose 4*h - 102 = -54. Solve s + 6 = -s + 2*j, 4*s + 2*j = h for s.
1
Suppose 5*j = -5*v + 145, 3*v - 2*j = 1 + 76. Let u = v - 45. Let n be (3/9)/((-2)/u). Solve 6 = 3*o - n*h, -5*o - 2*h + 29 = -2 for o.
5
Let k be (-2)/(-2) - (2 - 15). Let d be -1 - 3/(6/(-10)). Solve 3*c - t = t, -c - d*t = k for c.
-2
Suppose 3*p - 40 + 13 = 0. Let r(t) = -2*t + 2. Let k be r(0). Suppose k*q = -2*q + 12. Solve q*n = 5*l - p, -2*l + l = 2*n - 7 for n.
2
Let j = -110 - -110. Solve -2*y + l + 11 = -j*y, -5*y + 3*l + 30 = 0 for y.
3
Suppose -4*v - v = -90. Let w = -6 + v. Let d = 51 - 49. Solve 5*y - h - 17 = 0, w = 3*y - d*h - 1 for y.
3
Let k(t) = t - 2. Let r be k(4). Let y be 6*2/3*1. Let a = -37 + 45. Solve -a = -2*v + y*m, 2*m + 0*m = r*v - 4 for v.
0
Suppose -30 = 4*i - 9*i. Suppose -i = -5*r + 3*r. Suppose -4*h + 3*o = -r, -5*h - 4*o + 0*o - 4 = 0. Solve -2*p + 2 = 2*j, -4*p + h*j = 2*j + 6 for p.
-4
Let l be -3*(0 + -2 + 0). Let i be (-30)/l*(-4)/10. Solve i*s = -s - 3*k + 12, -5*s + 5*k = 30 for s.
-1
Let r(l) be the third derivative of l**4/12 + 13*l**3/6 + 21*l**2. Let a be r(-4). Solve a*i + 2 = 12, 0 = -j - 4*i + 11 for j.
3
Suppose -4*s + 3*s + 4*k = 0, -5*s = k - 21. Let f be ((-2)/s)/((-4)/112). Let b = f + -10. Solve 4*c - 4*t + 0*t - b = 0, 4*c + 4*t = 28 for c.
4
Suppose -51 = -5*r - 131. Let z = -16 - r. Suppose -k + z*k = 0. Solve 5*u - 2*y = -20, 4*y = -u - k*y - 4 for u.
-4
Let o be (-10)/3*(15 - 9). Let v = 38 - 14. Let h = o + v. Solve -6 = 4*u - 2*x, -8*u - h*x = -4*u + 36 for u.
-4
Suppose -2*k + 5*l + 514 = 0, 5*l + 371 = 4*k - 647. Let m be 7/(-2)*(-432)/k. Solve -w - 2 = -j, -m*j - 3*w = -j - 18 for j.
3
Suppose -i = -3*t + 55, 3*t = 2*t - 4. Let p = 67 + i. Let s be ((-1)/(-2))/((-2)/(-12)). Solve -3*w + p = 5*r + 9, -s*r = w + 3 for r.
0
Let w(r) = 3*r - 6*r - 8*r + 5*r - 2. Let p be w(-2). Solve -2*h = 2*c - 4*h + p, -13 = 5*c + h for c.
-3
Suppose -m - 11 = -t, t = -3*t - 5*m + 89. Let x be (14/4)/((-2)/(-16)). Let u = x - t. Solve -3*h + w - 1 = 0, u = -h + 5*h + 2*w for h.
1
Let b = -1470 - -1476. Solve 2*n - 6*n + b = -q, -q = 5*n - 3 for n.
1
Let d(q) = q**2 - 8*q + 7. Let l be d(8). Let o = l + -4. Solve -2*h + o*w + 1 = 0, 0 = -3*h - 4*w + 1 + 9 for h.
2
Suppose -87*t -