- d = 2*a for y.
-5
Let f be (-6 + (-16)/(-3))*30/(-4). Solve 4*c = -3*i + 16, 0 = -f*i + i + 5*c + 11 for i.
4
Let n = -24 + 25. Let o = 8 - 3. Let l be o/10*n*28. Solve 4*w = k + l, -5 = 4*k - w + 2*w for k.
-2
Suppose -3*k - 4 = -16. Solve 3*i = k*d + 3, -3*i - 24 = 4*d + i for d.
-3
Let n be (-2)/((2 - -2)/(-16)). Let c(r) = r**3 - 7*r**2 - 8*r + 2. Let w be c(n). Suppose 3*k - w = 7. Solve 5*l = -5*p - 2 - k, -5*p = -2*l - 30 for l.
-5
Let f = -24 + 27. Solve -2*d - 13 = -4*b + f, 4*b + 3*d = 6 for b.
3
Let x = -125 - -133. Let q be (9/6)/(3/x). Solve 0 = -m + f, 4 = m - q*m + 4*f for m.
4
Let j(o) = o**2 + 10*o + 12. Let f be j(-9). Let b be 0/(-5 - -2)*f/(-9). Solve 3*u - 6 = b, 0 = -3*p + 4*u - 2*u + 5 for p.
3
Let a(i) = 2*i**2 - 5*i + 4. Let j be a(5). Suppose 30*l = j*l. Suppose -4*w - 14 + 34 = 0. Solve -4*y - 2*f + w - 17 = l, -f = 5*y + 15 for y.
-3
Suppose -4*b + 7 = 5*j + 1, 10 = 5*j. Let x(v) be the third derivative of -v**4/12 - v**2. Let n be x(b). Solve -a - 8 = 4*g, g = -n*a - g - 4 for a.
0
Let h be 0 + ((-3)/(-3) + -3)*-4. Suppose -10*j + 10 = -h*j. Solve -3*o + 3*p = 18, -32 + 4 = j*o - 3*p for o.
-5
Let v be -4 + 9*(-4)/(-4). Solve 4*f - 4*w = -28, -v*f - 5*w = -w + 17 for f.
-5
Let u(h) = -449*h - 1343. Let x be u(-3). Let i be -2*-2*(-54)/(-8). Suppose -5*n = r - 105, 3*n - r = 2*n + i. Solve p = -p - x*c + 26, -5*c + n = -p for p.
3
Suppose -5*t + 20 = -0. Solve -4 = -5*k - s - 31, 0 = 2*k - 3*s + t for k.
-5
Let a(f) = -f**3 - 12*f**2 + f + 14. Let y be a(-12). Let g be y/(20/8 - 2). Solve h - 2*x + 13 = 3*x, -3*x + 17 = g*h for h.
2
Suppose -15 = -6*v + 11*v, 0 = 4*h + v - 9. Solve -29 = 5*r - h*q, 0 = -3*r + r - 4*q + 4 for r.
-4
Let q(o) = 4*o + 73. Let r be q(-12). Solve -4*g = -k + 5, 0*g - 5*k = -5*g - r for g.
0
Let l be ((-111)/(-2) - 1)/((-6)/12). Let o = l + 111. Solve 0 = -o*y + 3*f - 23, 5*y - 3*f = f - 40 for y.
-4
Let v be (-13)/52*(-22 + 2). Solve v*s + 13 = b, -7*s - 5*b - 25 = -2*s for s.
-3
Let a be (57/6 - -1)/((-9)/(-12)). Suppose -2*l - a = -20. Solve l*d = -4*i + 4, -i + 4*d + 24 = i for i.
4
Let a be 4/8 - (-33)/(-6). Let u(b) = b**3 + 6*b**2 + 3*b + 9. Let q be u(a). Solve 4*y = -5*d, -3*y = -3*d + 2*d + q for d.
4
Let v be 12/(-20)*-1 + (-176)/(-40). Solve -4*d = 3*p + 18, 0*d + v*p + 1 = 3*d for d.
-3
Let y be (-28)/4 + 140/14. Solve -t + 3 = 1, -2 = 4*m + y*t for m.
-2
Let i = -1564 + 1564. Solve 3*g + 4*m = -5, i = 3*m - m + 10 for g.
5
Suppose -21*m + 91 = -14. Solve 2*v + 3*v = -m*t + 50, -15 = -4*t + v for t.
5
Suppose -72 = 14*w - 23*w. Suppose 3*i - i - 5*u = -17, -2*i - 15 = -3*u. Let c be (3/i)/((-2)/60). Solve 2*j = p - 12, -j - 3*p + w*p = c for j.
-5
Let r = 391 + -391. Solve r = -4*p - 16, 6*f - 3*p = 3*f - 3 for f.
-5
Let u be (-8)/5*2/((-20)/25). Let r be u/((-20)/5)*-2. Solve r*h - 6 = -h, 5*h - 9 = i for i.
1
Suppose 0 = r + l - 1 - 0, -r + 4*l = -11. Solve -4*t + 2*c + r*c = 8, -3*t + 13 = c for t.
3
Suppose -2*i = -2*t + 32, 2*t = -2*t - 2*i + 40. Suppose 3 + 12 = -5*m, -4*p = -4*m - t. Solve 4*n + 3*j - 4*j - 4 = 0, p = -2*n - j + 8 for n.
2
Suppose 0*w + 5*w - u + 1578 = 0, 3*w + 5*u + 930 = 0. Let m be 9*(-7)/(w/10). Solve -3*h = -5*v - 6 - 12, -1 = 5*h + m*v for h.
1
Let n = 335 + -332. Solve -n*u + 4*s = u - 32, 0 = 3*u - 5*s - 34 for u.
3
Suppose -14*j = -33 - 23. Solve 4*r + 4 = j*t, -5*t = -4*r - 3*t + 4 for r.
3
Let g = 1163 + -1162. Solve -11 = 4*s - c, -3*s + g = 4*c - 5 for s.
-2
Suppose 0 = -3*u - 0*u - 5*g - 5, 2*u + 3*g = -2. Solve 0 = -3*i + 2*w + 6, 5*w + 9 = -u*i + 44 for i.
4
Suppose 8*u = -5*u + 52. Suppose -2*f + f = -z, -24 = -u*z - 2*f. Solve z*l = -3*d + 17, -5*d + 0 = -5*l - 5 for d.
3
Let g be 2*(18/(-8))/(9/(-6)). Solve v - w + 9 = 4*w, g*w + 9 = -3*v for v.
-4
Let r be -3 + 10/4 + 524/8. Let w be (-6)/10 + 234/r. Solve -w*o = -4*f - 23, -3*f + 7 = 2*o - 4*f for o.
1
Suppose -10*z - 50 = 10. Let i(f) = f + 17. Let s be i(z). Solve -3*a + a = -2, a = -5*o + s for o.
2
Let x be (-834)/15 - (-6)/(-15). Let n = -50 - x. Solve n = 3*k, -2*k = -2*z + 6*z + 4 for z.
-2
Let u be (-17)/(-7) + (-42)/98. Suppose v + u*n = 3*n + 10, v = 4*n + 25. Solve -3*f - v = 2*f, -12 = -5*k - 3*f for k.
3
Suppose -2*l = 4*y + 4, -3*y - 4*l = -0*y + 13. Let p(j) = -j**3 - 3*j**2 + 5*j + 3. Let b be p(-4). Let z = y + b. Solve -2*k + i + 5 + 0 = z, 3*i = -3 for k.
2
Let b be 2 - 6 - ((-10)/2 + -2). Solve b*h = -4*v - 8, -2*h = 3*v + h + 6 for v.
-2
Let h(i) = 3*i + 93. Let w be h(-26). Solve -4*g - 3*c - w = -4*c, 0 = g - 4*c for g.
-4
Suppose 2*g - 38*r - 12 = -36*r, 22 = 3*g + r. Solve -3*q - s = -11, 3*q - 2*s - 16 = g for q.
5
Suppose -s - s + 110 = 0. Suppose -9*i = 2*i - s. Solve -23 = 2*r + 2*v + v, -5*r + i = -5*v for r.
-4
Let d(m) = 6 - m - 5 + 20 + 22. Let n be d(15). Suppose n - 37 = -3*i. Solve 5*o - 5 + 4 = -3*f, 0 = i*f - 2*o - 8 for f.
2
Suppose 0 = -g - 3*q - 9, 3*q + 13 = -3*g - 14. Let v be g/(-2)*64/12. Let z = -30 + 41. Solve 29 = 5*d - 5*u - z, -5*d + u = -v for d.
4
Let n = -11 - -13. Suppose -c + 27 = -5*x, -n*c = c + 5*x + 19. Let j be (2/(-3))/((-6)/27). Solve -h - 15 = -4*s + c*h, 0 = 2*s + j*h + 15 for s.
0
Suppose 0 = 5*y - 3*d - 52, 40 = 3*y - 3*d - d. Suppose y*s - 8 = 6*s. Solve -8*r + 7*r - s*f = 5, 21 = 5*r - 3*f for r.
3
Suppose -2*p = -3*o - 3*p + 10, 4*p + 28 = 5*o. Solve -x + 5*x - o = 3*u, 0 = -u - 2*x + 2 for u.
0
Let n(b) = b - 2*b**2 + 0*b - 4*b + b**2 + 12. Let q be n(-5). Suppose 2 = -q*a + 8. Solve -m + k + 1 + 5 = 0, a*m - 22 = 5*k for m.
4
Let r(f) = 23*f - 27. Let p be r(7). Let j = -132 + p. Solve 0 = 4*b - 4*a, j*b - 6*b = -5*a + 1 for b.
1
Suppose 10*o + 303 + 267 = 0. Let r = o - -59. Solve -5*s - 2*l + 0 = 10, r*s + l = -5 for s.
0
Let v = 1041 - 1039. Solve -c = 4, 0 = -v*s + 4*c - 8 + 32 for s.
4
Let g = 587 - 579. Solve -4*b = 8, 0 = -4*p + g*b - 4*b - 4 for p.
-3
Suppose 0 = 4*n - 0*n. Suppose 3*h - 4 + 67 = -2*m, 3*m - 3*h + 117 = n. Let s be (-8)/m - 16/(-9). Solve 0 = -t - 6*l + s*l + 25, 2*t - 4*l = -10 for t.
5
Let p = 143 - 137. Suppose 2*c + 0*w = 3*w - p, 22 = 2*c + 4*w. Solve -q + 2 = 4*i, -c*i + 13 = 5*q + 3 for q.
2
Suppose 3*h + 3*p - 12 = 0, 4*h = 2*p - p + 16. Solve -4*o + 3*v = 12, v - h = -4*o - 0*v for o.
0
Let s be -8 + 620/35 - (-4)/14. Suppose 3*v - g - 11 = 0, -4 = v - 2*g - 1. Solve -v*c + s*c = -y + 18, 4*c + 2*y - 12 = 0 for c.
4
Suppose 0 = -4*t - 67 + 147. Solve 5*x - t = -2*c - 3*c, x = 5*c + 10 for c.
-1
Let f be 9 + -6 + -3 + (-12)/(-2). Solve 3*p = -17*a + 21*a + f, 0 = -p - 4*a - 14 for p.
-2
Suppose 8*a - 3*a - 24 = 3*g, 5*g = -5*a + 40. Solve 2*t = 2*s + 3 + 1, 5*t - a = s for t.
1
Suppose 4*w - 103 - 97 = 0. Let d(l) = l**2 - 3*l + 2. Let o be d(2). Suppose -38 = -3*b + a - o*a, -5*b + w = 5*a. Solve -5*y + v - 16 = b, -4*v = y - 7 for y.
-5
Let j be (-252)/(-54)*((-180)/(-21))/2. Let m(y) = y. Let q be m(10). Suppose -6*x = -x - q. Solve -5*d + 2*u = -x*u + j, -25 = -5*u for d.
0
Let a(m) = -m**3 + 3*m**2 + 5*m - 2. Let w be a(3). Suppose 0 = -2*f - o - 2*o + 29, f + o - w = 0. Solve -3*j + y - 11 = 3*y, 4*j + f = 2*y for j.
-3
Suppose -812 + 122 = -10*x. Suppose 2*i - 5*i = -x. Solve -9 = -3*w + 5*t, 4*w - 6 + i = -3*t for w.
-2
Let x be 0 + 1 - (20 - 22). Solve -v + x*s + 12 = -0*v, 4*v - s - 4 = 0 for v.
0
Let k(a) = a**2 + 16*a + 24. Let u be k(-16). Let c = 28 - u. Solve 15 = 4*q + z, 5*q + c*z - 5 = -0*z for q.
5
Let j be 95/25*5 - (-8)/(-2). Solve 0 = x + o + 5, -4*o - o = j for x.
-2
Let x(h) = h**2 + 17*h + 54. Let y be x(-13). Solve -2*m = y*c - 8, 5*c + 3*m - 3 - 7 = 0 for c.
-1
Suppose 3*c = -3*c + 90. Suppose -5*j + 16 = 4*h, h = -3*j + 4*h + c. Solve 8 = f + 5*d, -4*f - 16 = -0*f - j*d for f.
-2
Let c = -6 + 10. Suppose 0 = 2*v - c. Solve 3*r = -3*p + 27, 5*r = v*p + r + 6 for p.
5
Let c(x) = x**2 - 11*x + 30. Let i be c(6). Solve -7*q + 2*q + 4*n - 5 = i, 1 = -q + n for q.
-1
Let r(d) be the first derivative of d**2/2 + 25*d - 26. Let t be r(-20). Solve -8 = t*h + 2*s, -3*s + 5*s = 2*h - 8 for h.
0
Suppose -4 = -4*x + 3*x. Suppose x*f = -f + 325. Suppose 4*p + 25 = f. Solve 3*i + i = -v - p, 0 = i + 3*v + 8 for i.
-2
Let y be (-4 - -1)*(-4 + -3). Let m = 31 - y. Solve -3*l = -5*v + 15, m + 5 = 5*v for l.
0
Suppose 0 = -2*y + m + 87, -y - m = 4*y - 235. Let c =