 = 4*d + 2*x for d.
3
Suppose x - 4 = -4*i, 0 = -3*x + 670 - 682. Let g be (-4)/14 + 18/14. Solve 3*h - g = -d - 20, -5*d - 10 = -i*h for h.
-5
Let a be 5*(0/(-1) + 1). Suppose 0 = p + 3*r - a, -4*p + 7*p - 15 = -2*r. Let j = 21 + -18. Solve o - 4*i + 24 = 0, j*o - p*i = -0 - 37 for o.
-4
Suppose 0 = -9*f + 5*f + 12. Let i = 1325 - 1323. Solve -b + 2*l = f*l - 2, 2*b = 4*l - i for b.
1
Suppose -142*b = -149*b. Solve -5*h - 4*g + 2*g = b, -2*h - 4*g = 16 for h.
2
Suppose 3*t + q + 3 = 0, 9*q - 7*q + 6 = -t. Solve -2*m - k + 11 = t, -5*k + 7 = 5*m - 7*m for m.
4
Suppose 4*m = 3*n - 74, -2*m + 3 = m. Let d = -24 + 44. Suppose 2*p + 5*l - d = 0, 2*l + 3 = 2*p - 3. Solve p*z + 16 = -3*u, -4*z + u - n = -u for z.
-5
Let j(k) = -3*k + 44. Let o be j(7). Solve f - o = l + 6*f, -2*l = -5*f - 14 for l.
-3
Let r = 414 + -414. Solve -m = 2*m - 3*k, 2*m + 3*k - 20 = r for m.
4
Let b be 5 + -4 + (-1 - -3). Suppose 0*t + b = t. Let x be (12/1)/(-3) - -6. Solve x*k - 6 = d, 0*k - 3*k = -t*d - 3 for d.
4
Suppose -5*o + 5*k = -47 - 8, -4*k = 5*o - 10. Suppose -11*y + 105 = -o*y. Solve -4*x + 2*x + 24 = -4*p, -3*p = -3*x + y for p.
-5
Let b be (0 - -8) + (8 - 3 - 7). Solve -r = -5, -5*l - 3*r - 15 = -b*r for l.
0
Suppose 0 = -4*p + 4*d + 7 + 5, -d + 2 = 4*p. Let k be p*4 + -5 + 1. Solve 2*j + 5*b + 10 = 0, b - 16 = -k*j - 4*j for j.
5
Suppose 5*i - 4*v = 93, i + v - 7 = -4*v. Suppose 6*x - i = -11. Solve -8 = b + 2*h + x, -3*h = 4*b + 16 for b.
-1
Let x(v) = v**3 - 4. Let p be x(0). Let z = p + 9. Suppose -5*f = -z*n, 3*f - 45 = -4*n - 2*f. Solve -3*h = -3*q + 23 - 2, -4*h - 1 = n*q for h.
-4
Let s = -132 + 137. Solve -s*g + 5 = d, 5*d + 4 = -5*g - 11 for g.
2
Let a be 12 + 2*(-4)/8. Let h = a - 10. Solve -2*c - 2 = 5*f - 11, h = f for c.
2
Let b = -3 - -8. Let q(t) = 2*t**2 - 6. Let o be q(4). Let s = 30 - o. Solve 15 = b*w - s*g, g = 5*w - 2*g - 10 for w.
-1
Let a = 21 - 16. Let k(z) = z**2 + 7*z + 8. Let j be k(-6). Suppose h - 3*n - 3 - 7 = 0, j*h - 4*n - 16 = 0. Solve -4*b = -v - 1 - 4, 0 = -h*b + a*v - 7 for b.
2
Let d be (-49)/3*(2 + -3 + 4). Let n = -37 - d. Solve -2*r - u = n, -28 = 3*r + r + 4*u for r.
-5
Suppose -623*u = -645*u + 88. Suppose 0 = 2*q + 3*q - 140. Suppose 4*m = 5 + 11. Solve -m = -4*p - 5*d, -u*d + q = -p + 8 for p.
-4
Let q = -228 + 230. Solve 3*m = 4*u + 1, -3*m + q + 11 = 2*u for m.
3
Suppose -3*w - 3 = -18. Suppose w*t - 20 = 4*t. Let m(u) = -u**2 - 34*u - 164. Let j be m(-6). Solve -2*r = -2*l - 8, t = 3*l - j*l + 5*r for l.
0
Let t(m) = -20 - 4*m + 3*m - 3*m. Let y be t(-6). Solve 3*q = -2*a + y*a + 3, 4*q + 3 = 5*a for a.
3
Let w = 1149 + -1144. Solve w*h + 5*y + 3 = 9*h, 2*h = -y - 9 for h.
-3
Let b = 32 + -28. Suppose 0 = 2*d + 3*z + 3, 0*d = b*d + 3*z + 15. Let l be d/2 - (1 + -8). Solve l*w = 2*v + 6, 0*w + 2*v = -3*w + 22 for w.
4
Let h(g) = -g**2 - 2*g + 10. Let l be h(-4). Solve 0 = t + 5*a - 27, 1 = -2*t + l*a - a for t.
2
Let h(o) = 3*o**2 + 36*o. Let i be h(-12). Solve i*t = -5*j - 2*t + 33, 7 = 3*j - 2*t for j.
5
Suppose 2*c + 6 = 0, -5*c - 12 = -5*v + 13. Let o be 152/(36/(-90) - 7/(-5)). Let f = 152 - o. Solve f = -3*j + 2*b + 7, -2*j - v*b + 4*b = -2 for j.
5
Suppose 0 = -5*v + 7*v - 30. Suppose -50 = -12*q + 346. Solve t = 5*k + v, 4*k + 0*k - 5*t + q = 0 for k.
-2
Suppose -769 = 11*j - 208. Let t = -47 - j. Suppose 4*y + 16 = 4*s, s + 1 + 1 = -2*y. Solve 2*w = -2*m - 6, s*m = -3*m - t*w - 10 for m.
2
Let l be (76 + -1)/(3 + -2). Suppose 16*p - 11*p - l = 0. Solve 0 = 5*q - 5*w + p, -q + 2*w + 3*w = 23 for q.
2
Let g = 441 + -441. Solve 2*l - 2 = -g*k - k, -2*l - 10 = -5*k for l.
0
Suppose 6*h - 2*m - 15 = 5*h, -5*h + 20 = m. Solve 3*x + 15 = 0, -h*w + 2*x + 36 = 1 for w.
5
Let h = 9 - 5. Let o(w) = -4*w - 2. Suppose -4*q - 4*z = -8, 0 = -2*q - q - 5*z + 12. Let a be o(q). Solve -2*d - 5 = 3*f, h*f = -a*d + d for f.
1
Suppose -13 - 11 = -4*z. Suppose -3*q + z*q - 12 = 0. Suppose 0 = -3*v + 2*v + q. Solve -v*c = -3*y - 17, 0 = -3*c - y - 8 + 24 for c.
5
Let i be -4 + 1 + (-45)/5. Suppose -4*x + x + 45 = 0. Let v = x + i. Solve -c - v*c + 2*d + 2 = 0, 5*c + 2 = 4*d for c.
2
Let b = -1462 - -1462. Solve b = 5*n - 5*a - 20, -n + 4*a = -10 - 9 for n.
-1
Suppose -6*w - 4*q + 8 = -4*w, 0 = 4*w - 2*q - 6. Solve -2*s = -3*g, -s - w*g - 2*g = -11 for s.
3
Suppose -27*r - 35 = 19. Let o(a) be the first derivative of a**3 + 3*a**2 + 3*a - 2. Let x be o(r). Solve d + 5*k - 14 = -d, 0 = 4*d + x*k for d.
-3
Let k be ((-3312)/345)/(3/(-5)). Solve k*y - 3*p = 21*y + 16, -y + p = 0 for y.
-2
Let w(f) = f**3 + 23*f**2 + 60*f + 4. Let i be w(-20). Solve 3*x - 4*g + 9 = 0, -x + i*g = 6 - 3 for x.
-3
Let r = -2 - -7. Let c = r - 3. Solve 4*p - a = c*p + 13, -13 = 3*p + 5*a for p.
4
Suppose 6*k - 10*k + 20 = 0. Suppose -3*b - 5 = 4*a, a - k*a - 30 = -2*b. Solve -2*x - 5*m - 19 = x, 5*m - 5 = b*x for x.
-3
Let t = 162 - 157. Solve -y + g + 8 = -3*y, 20 = -t*y - g for y.
-4
Let l(i) = -i**3 + 5*i + 2. Let p be l(-3). Suppose 0 = -3*y + p - 2. Let s be 36/(3 + 1) - y. Solve 2*x - 4 = 0, 3*f - s = 2*f - 4*x for f.
-3
Suppose -9*b - 16 = -2*i - 5*b, 3*i = -3*b + 6. Solve -2*s = 2*z + 14, 5 + i = -3*s for z.
-4
Let f(q) = -q**3 + 7*q**2 - 9*q + 19. Let x(p) = -p**2 - 28*p + 35. Let o be x(-29). Let z be f(o). Solve 4*l - 16 = -4*v, -v + z = -5*l - 3 for v.
4
Let h(y) = y**2 - 4*y. Let i be h(4). Let f = -6 + 0. Let g be f/(-21) - ((-204)/21 - -1). Solve 4*r + r - 2*q = 6, 2*r + 3*q + g = i for r.
0
Let b be 2 - (1 - 0)/((-2)/4). Suppose i + 3*p = 0, i = b*i + 4*p. Solve -3*l + 5*n = 12, i = -0*l + 3*l - 2*n + 3 for l.
1
Suppose 43*q - 35*q - 8 = 0. Solve 6*h + i = 3*h - q, -5*h = -4*i - 4 for h.
0
Let z be (1 - -1)/((-4)/38). Let r be 4 + -23 - (3 - -1). Let q = z - r. Solve s + 4*m - 12 = 2*s, -q = -m for s.
4
Let j = 321 - 315. Solve -5*r + s = 25, j*s = -4*r + 2*s + 4 for r.
-4
Let p be 38/((-2)/((-5)/5)). Suppose -p = 2*b - 51. Solve -2*y - 4*n + b = y, 4*n - 16 = 5*y for y.
0
Suppose 0 = -4*x + 2*j + 10, j - 15 = -3*x - 0*j. Solve 2*p + 8 = x*q - 3*q, p + 18 = 4*q for p.
-2
Let j(y) = -y + 7. Let x be j(5). Suppose -x*v - 90 = -2*h, v + 182 - 53 = 3*h. Solve -i - 2*z = -10, 5*i = -3*z - 13 + h for i.
4
Suppose 0*h - 18 = 2*h. Let n = -5 - h. Suppose -n*v = -3*f, -2*v = -2*f - 2*f + 10. Solve p - u - f = 0, 0*p + 5*u - 20 = -3*p for p.
5
Let j = -727 + 732. Solve 0 = -x - 2*m - 11 + 1, -x = -j*m - 25 for x.
0
Suppose o - 3*w = 18, 3*o - 24 = 14*w - 11*w. Solve -n - 2*m = -1, 2*n + o*n - 18 = 3*m for n.
3
Let g be (-4*7/84)/(2/(-6)). Solve 0 = -3*h + t + 3, -4*t - 11 - g = -3*h for h.
0
Let d(h) be the first derivative of -2*h**3 - 3 + 1/4*h**4 - 3*h + h**2. Let o be d(6). Solve 2*n + n = -3*l - o, -2*l - 6 = -n for l.
-3
Suppose -2*w - 2 = -6. Suppose 35 = 4*j + 11. Solve -3*m = -j*m + 4*f + 16, 8 = -w*f for m.
0
Suppose -2*f + 8 = -6*f. Let z be (f/(-4))/((-2)/(-8)). Solve 3*d = i + 16, 2*i + z*d - 7 = -i for i.
-1
Suppose 4*m = 4*n - 44, 9 = -m + 4. Solve 2*q = -k + n*q - 2, -2*q = -3*k - 6 for k.
-2
Let r(n) = n**3 - 5*n**2 - 4*n + 23. Let x be r(5). Solve -5 = h - x, 3*u = h - 1 for u.
-1
Let s = -116 + 108. Let q be 6 + s + 3/((-6)/(-14)). Solve -3*n - 5*a + a = 22, -q*n + 10 = -5*a for n.
-2
Suppose 15 = x - 5*t, 4*x - 26 = t + 2*t. Let y be 6/9*5889/302. Solve -3*h - y = h + s, -h + x*s + 23 = 0 for h.
-2
Suppose -5*t + 3*s + 22 = 0, -7 = -4*t + 2*t + 3*s. Solve l + 24 = 7*w - 2*w, -t*w = 4*l - 4 for l.
-4
Suppose 3*h - 13 = 11. Solve 4*d + 5*t = -7, 0 = 2*d - t + 5*t + h for d.
2
Let l(i) = i**2 - 2*i + 4. Let k be l(2). Suppose u = -u + k. Solve u*c - 2*y + 10 = 4*c, 0 = -2*y for c.
5
Let m be 56/(-70) + (-98)/(-10). Suppose -3*b + 45 = m. Solve t = 2*c + 9, 0*c - 4*c = b for t.
3
Let h = -48 + 71. Suppose -h = -p - 3. Solve -2*b - p = -7*b + d, -5*b = -3*d - 30 for b.
3
Let s be (-42)/(-105)*(0 - -5). Let q = 2 + s. Solve -3*g = 5*c + q + 6, -2*g + 5*c + 10 = 0 for g.
0
Let u be 3/(-30)*-5*0. Suppose u*v + 12 = 4*i + 4*v, i = -4*v - 3. Solve 3*g + 6 = -2*m - g, 0 = -5*m - i*g - 10 for m.
-1
Let o(w) = 16*w - 11. Let u be o(1). Solve 6 = -2*j + 2*g, u*j + 9 = -6*g + 5*g for j.
-2
Let n(r) = r**3 + 4*r**2 + 2*r - 2. Let u = 52 + -54. Let z be n(u). Solve z = s - 3*w, 2*s - 4 = -w - 0 for s.
2
Suppose -4*o = 4*a - 68, o + 34*a 