l = t*o - l for o.
-4
Suppose 0 = 12*y - 42 - 78. Solve 0 = 2*a - 4*u + y, -4*a + 5 = -5*a + 5*u for a.
-5
Let i be 4*((-9)/(-6) - 4). Let j(t) = t**3 + 9*t**2 - 11*t - 7. Let r be j(i). Solve 1 = -r*w - l, 0*w = -w - l - 3 for w.
1
Let h = 401 + -399. Solve 4*i - 3*c - 31 = -12, -h*c = -3*i + 13 for i.
1
Suppose 15*k = 17*k. Suppose 5*r - 3*s + s + 3 = 0, k = 3*r + 3*s - 15. Solve -6 = -2*w, t = -0*w - 2*w + r for t.
-5
Suppose -3*x = 4*a - 14 - 21, -x = -3*a + 10. Suppose -t - 16 = -x*t. Suppose 1 = -3*k + 19. Solve v - k*w - 8 = -4*w, t*v + 4*w - 8 = 0 for v.
4
Let z be ((-2)/(-6))/((-10)/(-120)). Suppose 4*l + z*o - 172 = 0, 0 = -l - 3*l + o + 182. Solve -5*h = 5*g - l, 3*h + h + 3*g = 31 for h.
4
Let u(h) = h + 16. Let b be u(-13). Suppose -b = r - l, 3*r - 2*l = -3 - 1. Solve 5*j - 3*i = 7, 0 = -4*j + r*i - i + 7 for j.
2
Let y = 55 + -65. Let h = -7 - y. Solve 3 = -3*i, -4*z + 29 = h*i + 12 for z.
5
Suppose -4*c - z = 2*z + 96, 2*c = -4*z - 38. Let l = -68 + 21. Let x = c - l. Solve -5*m = -2*p - 0*p - 8, 3*m + 5*p + x = 0 for m.
0
Suppose 0 = -6*u + 15*u - 18. Solve -2*n = -a + 4, -u*n + 6*a + 4 = a for n.
-3
Let a = -903 - -908. Solve d = -5*u + 2*u + 8, 0 = -4*u + a*d - 2 for u.
2
Let h = 11 - -13. Solve -3*v = g - 16, -4*g = 4*v - h - 8 for v.
4
Let i(m) = m + 17. Let t be i(20). Suppose -4*w = 5*s + 13, 3*w + w - t = 5*s. Solve w = 4*b + 3*y, b + 2*b - 6 = -y for b.
3
Let v = -3 + -1. Let x be (-6)/(-24) + (-7)/v. Suppose 0 = -2*j - x + 14. Solve -5*f - 5*b - 35 = 0, 32 = -5*f + 2*b - j*b for f.
-4
Suppose 14*d = 169 - 1. Solve -6 = -2*c - v + 3*v, 0 = -5*c + 2*v + d for c.
2
Let l be (3/2 - 38/4)*-2. Suppose l = 3*h + 7. Solve 0 = 3*w + h*y + 12, -3*w - 2*y = 3*y + 20 for w.
0
Suppose -2 = 2*y + 2. Let r be y/14 + 2/(56/60). Solve -3*j + j = -r*w - 16, -4*w - 3*j + 3 = 0 for w.
-3
Let f(i) be the second derivative of -i**4/12 + 4*i**3/3 + 15*i**2/2 - 13*i. Let m be f(7). Solve -6 = -4*n + 4*s + m, -5*n + 4*s + 33 = 0 for n.
5
Suppose -110 = 4*a - 59*a. Solve 0 = q - 4*i - 11, a*q + 1 = -4*i - 1 for q.
3
Let n = -145 + 147. Solve n*v = -3*m + 7*v + 3, 2*m + 2*v = 2 for m.
1
Let k be 2/(5 + -3 + -1). Suppose 0 = -y - 3*y + 12. Solve -m = -l - k*l + 3, -y*l = -2*m - 6 for l.
0
Suppose -9 = -24*f + 63. Solve f*h - 5*l - 39 = -8, -3 = -4*h - l for h.
2
Let c = -337 + 342. Let k be 2*(-1)/2 + -2. Let b be (-3 - k) + (1 - -2). Solve 4*o - 5*s = 15, 0 = -0*o + c*o + s + b for o.
0
Suppose -5*z + 805 = 795. Solve 3*q - z*s + 31 = 2*s, -2*s - 2 = 2*q for q.
-5
Suppose 2*y = 3*p + 21, -4*p + 0*p = y - 5. Suppose 0 = -2*s + 3 + 3. Solve s*h - x = -2, 2*h + x = -2 + y for h.
1
Let s be (7 - (-4 - (-8 + 3)))/2. Solve 5*f + s*x - 7 = -2, -5 = -5*f + x for f.
1
Suppose 0 = 3*q + 3*f - 15, 3*q + 4*f + 36 = 7*q. Suppose 6*y - q*y = -4. Solve y*m = g - 10, -2*g + 10 = -m + 2*g for m.
-2
Suppose 2*v - 2*y = 9 + 7, -16 = -5*v - y. Suppose -3*j = z + 2*j - 9, 5*z - 3*j = 17. Solve -16 = 3*r - 3*h - 4, -r = -v*h + z for r.
-4
Suppose -16*q = -15*q + 4, -4*q = -3*k + 31. Solve -k*x + 13 = o, o - 5*x + 22 = 5*o for o.
3
Suppose 21 = 3*q + 12. Suppose -3*p = q - 9, -18 = -4*a - 5*p. Solve -24 = -a*j + 4*f, 0 = -4*j - 2*f - 3*f - 4 for j.
4
Suppose 0 - 50 = -5*g. Let z = -200 - -194. Let d = z + g. Solve -12 = -4*n - 8*y + 3*y, d*n = -y + 12 for n.
3
Let l be 0/(4 + 18/(-9)). Solve 2*o - 8 = 2*h, -h - 2*h - o = l for h.
-1
Let t(o) = -o**2 + 29*o - 136. Let u be t(23). Solve 15 = -6*w + u*w - 5*j, -2*w - j = 9 for w.
-5
Let a = 11 + -8. Let s = 24 + -20. Suppose u - 7 - 3 = -3*z, s*z - 6 = -5*u. Solve -z*r + 10 = -5*q, 0*q - 6 = a*q + 3*r for q.
-2
Suppose -q = 4*a + 10, 9*q + 1 = 14*q + 3*a. Let v = 15 - 10. Let p be (-46)/(-10) + 6/15. Solve x + v*o + 25 = 0, 2*o = q*x + o - p for x.
0
Let i be (108/8)/(1/2). Let r = i + -13. Suppose -z = -4*n - r, 5*z + 0*n - 49 = -n. Solve 2*b = j - 10, 0 = -2*b - 2*j - 0*j - z for b.
-5
Let g(p) = -4*p**3 + 3*p**2 + 3*p + 1. Let m be g(-1). Solve 0 = -6*a + 5*a + 2*h + 6, -30 = m*a + 5*h for a.
-2
Let s(w) = -4*w + 14. Let j be s(6). Let o be (-99)/(-21) + j/(-35). Solve o*p + 5*k = 2*p + 12, 16 = 4*p + 5*k for p.
4
Let u = 138 - 125. Let j be u/2 - 10/(-4). Solve 0 = -4*o + h - 21, -h - j = 3*o - o for o.
-5
Let t(y) = 6*y + 31. Let i be t(11). Suppose -l = -s - 24, s = -4*l + 4*s + i. Solve -l = -5*m + 5*p, 11 - 31 = 5*p for m.
1
Let a be -6*(-1 + 2 + 36/(-12)). Suppose -3*o - o = -a. Solve 2*l + 6 = 0, o = 3*q - 2*q - l for q.
0
Let g(q) = -4*q - 17. Let b be g(-7). Solve 6*v - 28 = h + v, -v + b = -2*h for h.
-3
Let x(j) = -6*j**3 + 4*j + 5. Let d be x(-2). Suppose 6*m - d = -15. Solve -3*v = -z + 10, -2*v + m*z = v - 10 for v.
-5
Let p = 10 + -10. Suppose 0 = r - p*r - 5. Let o = r - 3. Solve -5*u + 3 = 4*b - 6*b, -o*b - u = 9 for b.
-4
Let y(o) = -o + 10. Suppose 5*d - 35 = n, -3 + 38 = 5*d - 5*n. Let w be y(d). Solve 6 = 2*r + w*m - 7, -m = r - 4 for r.
-1
Suppose z = 4*l + 4, -34 = -z - z - 5*l. Suppose -4*a - f = -12, 0 = -a - 5*f + f - z. Solve 0*q - 2*q - 3*w = 14, -q - a*w = 12 for q.
-4
Suppose 84 = 3*i - 111. Let g = i - 53. Solve -g = 5*s + 4*h, 2*s - 3*h = s - 10 for s.
-4
Suppose 9*n + 32 = 2*m + 8*n, 0 = 5*m - 5*n - 70. Solve f - 19 = -4*q, -2*q - 3*f = -5*q + m for q.
5
Suppose -b = -6*b - 40. Let g = -21 - -14. Let u = g - b. Solve -q = 2*x + 2*q + u, 0 = x + q for x.
1
Suppose 3*y = 5*s - 22, 1 = 3*y - 2. Let c = -6 + 9. Solve 0*a + 6 = c*a - 2*i, -s*i - 15 = 4*a for a.
0
Suppose 0 = -43*a + 37*a + 30. Let b(j) = -j**2 + 5*j + 2. Let h be b(a). Solve h*w = 4*m + 25 - 7, 5*w + 2*m = 21 for w.
5
Let d(f) = 3*f**2 - 12*f. Let i be d(5). Let x(o) = o**3 - 16*o**2 + 15*o + 1. Let g be x(i). Solve -c + 8 = 2*q + g, c = -4*q + 13 for c.
1
Suppose 10 = -2*q, 2*r - 4*q - 4 = 24. Suppose 24 = -4*c - 0. Let s be 2/((c/(-15))/1). Solve r*f - s*t = -9, 0*f - 2*t = -f - 3 for f.
-1
Let h = -556 - -561. Solve x - 29 = h*c - 8, c = -3*x - 1 for x.
1
Let u(j) = j**2 - 6*j - 5. Let i be u(7). Let g be 10 - (i + -2)/(-5). Solve 5*b = -2*h + 23, -5*h + 4*b = -g*h + 32 for h.
4
Let f = -7 - -6. Let b = f + 5. Suppose -3*h + 4*v = 5, -b*v - 3 = h - 28. Solve 0*g - 15 = g + 4*u, -3*g - h*u - 10 = 0 for g.
5
Suppose -8*t + 7*t - 36 = 0. Let l be (-8)/36 + (-296)/t. Suppose 10 + l = 3*a. Solve 0 = -s + 3*s + 2*j, a = 2*j for s.
-3
Let a be (-4)/(-30) + (-3872)/(-660). Let s(f) = f**3 - 5*f**2 - 2*f. Let m be s(6). Solve -4*u - m = -j, -j - 5*u - 15 = a for j.
4
Suppose -5*d = -5*q - 30, 4*d - 15*q + 20*q + 12 = 0. Solve -6*t = -4*z - 10*t - 8, d*z - 4*t = -22 for z.
-5
Let d = -3 + 9. Let c = d - 1. Let l = -239 - -239. Solve c*t - 4*y + 22 = 0, 2*t = -l*t - 5*y + 11 for t.
-2
Let o = 259 + -254. Solve 2*v + 7 = -o*i, -3*i = 3*v + 2*v - 11 for i.
-3
Suppose -m + q + 2*q + 9 = 0, 2*m + 5*q = -26. Let o be (4/m)/((-4)/6). Solve o*l + 5 = z - 4*z, -5*l = -3*z - 19 for l.
2
Suppose 7 = 2*p - 6*p - 5*j, 4*p + 2*j = 2. Let m be (1 - -1)/((8/28)/p). Suppose 4 + 5 = 3*r. Solve 0 = k + 2*x - 1, 2*k + x - m = r*x for k.
5
Suppose -19*j = 14*j - 99. Solve 2*c + j*m + 3 = 6, 3 = -4*c - 3*m for c.
-3
Suppose 80 = 4*j + 5*d, 2*j + 2*d = -3*j + 100. Suppose -j = -b - 18. Solve 0 = -3*m + 5*k + 7 - 3, 5 = b*m - k for m.
3
Let v be 250/(-14) + (-3)/21. Let t = v - -20. Solve -q + 4*r + 9 = -r, -2*r = t for q.
4
Suppose 14 = -6*z + 38. Solve 0 = -3*r - 4*s - 4, -z*s = -5*r + 4 for r.
0
Suppose 2*i - 2*k = i - 5, 2*k + 7 = 5*i. Let n = 1680 - 1677. Solve n*z = -i*x + 4*z - 13, 0 = -x + 3*z - 15 for x.
-3
Let z(g) = -g**2 + 36*g + 50. Let m be z(37). Solve 0*b + 2*a = b + m, 2*a = -b + 3 for b.
-5
Suppose 11*i - 9*i = 10. Solve -5*v + b = -4*b + 15, i = 3*v + 4*b for v.
-1
Let r = -53 - -59. Suppose 4 = 2*z - r. Solve 3*d + 4 = -z*c, -5*d - 5*c + 0*c = 0 for d.
2
Let n(i) = i**2 - 3*i - 5. Let v be n(-2). Suppose x + t - 3*t = -3, v*x + 1 = 3*t. Solve 0*q = -5*f + 4*q - x, q + 11 = 5*f for f.
3
Let g = -195 - -200. Solve -3*n - 3*u + 4*u - 1 = 0, -g*n + u - 1 = 0 for n.
0
Suppose -c = 0, -3*g - 4*c + 2*c = -0*c. Solve -3*q - 2*r = -6 + 1, -4*q - r + 15 = g for q.
5
Let c = -14 + 6. Let r be 2/c + 51/12. Let f = -5 + 25. Solve -4*w - 2*a = 20, -r*w + a = -0*a + f for w.
-5
Let z be 3/(-4) - 27/(-36). Solve 3*d + 35 = -5*q, -6*d + d + 5*q 