7*o - 12 for o.
-1
Let b(d) = 8*d - 7. Let a be b(5). Let z = 56 - a. Solve -f = k - 2, 5*f - 2*k - z = -6 for f.
3
Let g = 8031 - 8027. Solve -5*a + 12 = 7, 0 = -g*t + 4*a - 12 for t.
-2
Let t(l) = 12*l**3 - 3*l**2 + 1. Let b be t(1). Let q = 4651 - 4648. Solve -3*k + q*m = 18, 5*k - 2*m + b = -8 for k.
-2
Let m(q) = -3*q + 39. Let s be m(2). Suppose -4*j = -5*r - s, 10*r + 31 = 3*j + 5*r. Solve 27 = -o - 5*u, 1 = -j*u - 9 for o.
-2
Let l(x) = 25*x - 1361. Let r be l(56). Solve 6*y - r = 3*m, -4*m = -3*y + 4*y + 16 for y.
4
Suppose -n - 1101*a + 1106*a + 37 = 0, -3*n + 3*a = -111. Solve -5*c = u - 28, 4*u + 10*c = 5*c + n for u.
3
Suppose -2*x - 2484 = -20*x. Suppose 9*u - x = -14*u. Solve u = 4*p - 2, w + 3*p - 4 = 0 for w.
-2
Suppose 0 = -11*x + 4*x - 42. Let b be 15/x*72/(-30). Let m = -17 + 21. Solve -2*a = w + 6, m*a + 12 = b*w - w for a.
-3
Let d(j) = -9*j - 23. Let q be d(-3). Suppose 2*n - 60 = -q*m, -5*n + 65 + 58 = m. Solve 4*l - n = 8*l + c, 12 = -4*l + 2*c for l.
-5
Let w = 1853 + -1823. Solve -14 = 2*o - 4*q, -2*o + 29*q - w*q = 4 for o.
-3
Suppose -11*j - 37 = -26. Let p be (-7)/(8 + -1) - j. Solve -g - 19 = -5*h, p = -3*h + 2*h + 3*g + 1 for h.
4
Let g be (-7 + -4 + 6 - 0)*-1. Solve 0 = -5*r + u - 1, -5 = -9*r + 6*r - g*u for r.
0
Suppose z + 61 - 63 = 0. Solve 5*b - 7 = -z*d - 1, 4*b + 3*d - 2 = 0 for b.
2
Suppose 89 = 6*x + 29. Let s be (0 + (-2)/x)/((-41)/205). Solve -c - a - s = -3, c = 2*a - 1 for c.
1
Let x = -380 - -298. Let y = 87 + x. Solve 0 = -3*t - 4*l + 20, 9*l = 5*t + 8*l + y for t.
0
Suppose -15*f + 14*f = -77. Let m = 71 - f. Let z be (3 + -3)/((-18)/m). Solve -4*t + 1 = 5*q, 3*t = -q - z*q + 9 for q.
-3
Let d = 43 - 41. Let f be 8/(-16) + (-3)/(-6). Suppose f*a = -2*a + 6. Solve n - d*z - a = 0, 7*n - 2*n = 3*z + 8 for n.
1
Suppose -2*z + 0*z - 59 = 5*a, -38 = 2*a - 4*z. Let p = a + 27. Let k = 14 - p. Solve 2*x + 6 = -k*c + c, 2 = -2*x + 2*c for x.
-5
Let s(h) = h**3 + 93797*h + 36 - 93815*h + 0*h**3 - 15*h**2. Let x be s(16). Solve -6 = -4*z - x*m + 2*m, z - m = 9 for z.
4
Let o = -2889 - -2891. Solve -26 = -4*p - o*h, 4*p + 5*h - 9 = 8*p for p.
4
Suppose 0 = 5*l - l - 48. Let f = -22 + 27. Suppose 0 = t + f*x - 14, 2*t - l - 2 = -3*x. Solve -t*q + g - 21 = 0, -2 = -3*g + 1 for q.
-5
Let z = -50 + 164. Let d = z + -112. Let t = -34 + 47. Solve f - 5*w = t, 5*f + 2*w = -d*w - 22 for f.
-2
Suppose -1127 = -179*k + 1916. Solve -20*u + k*u = 5*m - 14, 10 = -3*u + m for u.
-2
Suppose -1097*a + 1104*a = 8337. Suppose -a*z + 1188*z + 30 = 0. Solve w - 5*v + z = 0, 3*w + 18 = v + 2*v for w.
-5
Let i be (4/4 - (-3)/(-1)) + -2. Let m be (-19)/i + -3 + 65/20. Suppose -3*n + 1 = -2*f - 6, -15 = n - m*f. Solve -4*b + 4*w = n*w + 3, 3*w = b + 4 for b.
-1
Suppose -34*d + 1362 = 376. Solve 4*o + 2*k = -6, 4*o + 24*k = d*k + 1 for o.
-1
Let s(g) = -3 + 10*g - g**2 - 15*g + 2*g**2. Let w be s(-3). Let d be (1 - 1)/(-20 + w). Solve -2*z - l = 4, z + 2*l + 5 = -d*z for z.
-1
Let z(m) = m**3 - 40*m**2 + 352*m - 10. Let u be z(13). Solve 3*w = -f - 12, -u + 7 = -w - f for w.
-4
Let b = -339 + 483. Let l be ((-3)/2)/((-27)/b). Suppose l*p = 7*p. Solve -2 = h - p, -7 = 3*z - h for z.
-3
Let j = 286 - 208. Suppose -4*t + 26 = 2*d, -47 = -5*t - 5*d - 2. Suppose -58 + j = t*x. Solve -4*b + 5*a = -0 - 21, -b + x*a = -9 for b.
4
Suppose 4*g - 6*g - 848 = 0. Let a = g - -425. Solve 5*y - 2*k + 3*k = -a, -13 = -3*y - 4*k for y.
-1
Let i = 486 + -138. Let b = i - 345. Solve -3*a + 14 = 4*c - 2*a, 0 = 2*c - b*a - 14 for c.
4
Suppose -5*n = 0, i - 57*n - 3 = -52*n. Solve i*t - 2*u = 3, 3*u + 5 = 4*t + 2 for t.
3
Let d be ((-30)/(-18))/((-5)/(-9)). Suppose -20*h + 19*h = -d. Let v be (7 - -1)/2 - 0. Solve 3*i = -v*a - 4, h*i + 2 = 4*i + 3*a for i.
-4
Let u = 35 - 26. Suppose -12*p + 12 = -u*p. Suppose p*n = j + j + 6, 5*n = j + 3. Solve 8 = d + 4*a, n*a - 32 = 5*d - 4*a for d.
-4
Let h(a) = a**2 - 6*a + 17. Let g be ((-3)/(-2))/(1*(-3)/(-14)). Let x be h(g). Solve -c = -4*v + 3, -4*c + 0*v = 2*v - x for c.
5
Suppose -y = 5*h - 45, -2*h - h - 4*y = -44. Suppose -3*g + 9*x = 10*x - h, -g + x + 8 = 0. Solve 3*v - 4*a - 5 = 0, 2*v - g = -3*a + 5 for v.
3
Let n be (-37)/(-185) + (-14)/(-5). Solve -5*i - 15 - 22 = n*r, -2*r - 3 = -i for i.
-5
Let f(r) = -r + 11. Let u be f(8). Let j be 6/2*(-19)/(-3)*1. Solve -j = -a - 4*h, -17 = 5*a - 3*a - u*h for a.
-1
Suppose -4 = -19*c + 8*c + 40. Solve c*i = 2*k + 16, -2*i + 0*i = k - 8 for i.
4
Let n = 40 + -21. Suppose -3289*v - 145 - 1 = -3362*v. Solve 0 = 3*b + v*t - n, 0*t = -b + 4*t - 17 for b.
3
Suppose v - 40 = -137. Suppose 6*g - 2*g = -8, -g + 498 = 5*s. Let t = v + s. Solve t*w + 16 = -n, -4*n - 20 - 8 = 3*w for w.
-4
Suppose 2*c + 3*y - 2027 = 0, -5*y + 2316 + 1735 = 4*c. Suppose -m = c - 1021. Solve d + m = 4*t - t, -t = -3*d - 4 for t.
4
Suppose 27*h + 70 = 41*h. Suppose 0 = 4*r - 3*o - h, 10*r - 9*r = -o + 3. Solve 2*s + 15 = -3*y, -5*y - 25 = -r*s + 3*s for y.
-5
Let o(k) = k**3 + 34*k**2 - 32*k + 109. Let b be o(-35). Solve 2*s + b*j - 9 + 5 = 0, 5*s + 4*j - 4 = 0 for s.
0
Let o be 2*(30/6)/5. Let n be (-8 - -8)*o/(-4)*-1. Solve 0 = 3*t - 5*d - 11, t + 3*t - 4*d - 12 = n for t.
2
Let s(b) = 12*b**2 - 284*b + 189. Let w be s(23). Solve 0 = -a + w*o - 4, 8 = -4*a + 5*o + 7 for a.
1
Let m = -7 - -12. Let b(k) = -96*k**2 - 111*k**2 + 209*k**2 + k + 5 - 12*k. Let h be b(m). Solve -37 = 5*p + 3*x, h = -2*p - 2*p - 2*x - 28 for p.
-5
Suppose 5*i + 11 = j, -2*j - i + 2*i = -13. Let n be (-5 + j)*(-1 + 1). Solve -3*d = n, -2*w - 5*d + 10 = -7*w for w.
-2
Let r(z) = 2*z**2 + 3*z - 4. Let w = 49 - 52. Let o be r(w). Solve 3*s = y + 6*s - o, -2*s - 4 = -3*y for y.
2
Suppose 57 = -2*v + 5*v + 2*q, -2*v + 5*q = -38. Suppose 2*r = -v*r. Solve -3*l + 2*x + 11 = r, 0 = -3*l + 4*x + x + 23 for l.
1
Suppose -416 - 37 = -3*d. Let f = 155 - d. Solve f*s - 2*c = 10, 3 + 16 = 5*s + 4*c for s.
3
Suppose 0 = 242*o - 124*o - 120*o + 6. Solve 6 = 2*p, -o*j - 3 = -p + 2*p for j.
-2
Suppose 2*m - 16 - 14 = 0. Let w = -140 + -38. Let h = w - -182. Solve -5*x = 4*b + m, -x + b = h*x + 15 for x.
-3
Suppose -144 = -w - 2*a - 135, -4*a = -2*w + 58. Solve p + w = -5*z, p + 0*p - 3*z = 13 for p.
1
Suppose 0*c = -2*c + 10. Suppose 25 = 18*t + 7. Let i be (-1 + 0)/((3/(-9))/t). Solve -6*n - i*y = -2*n + 29, -22 = c*n - y for n.
-5
Suppose 5*n - 117 + 716 = -3*g, -5*n + 5*g = 615. Let w = n + 124. Solve 3*i - 3*l = 2*l + 20, 0 = -i - 2*l + w for i.
5
Suppose -3*w - 3*k + 24 = 0, 3*w + 3*k - 12 = w. Let q be 5*(-2 + 22/5). Suppose -w*o + q = -8*o. Solve -o*r - r = 5*m - 36, -4*m + 12 = -r for r.
4
Suppose -41*o = -40*o. Suppose 5*r + 4*i - i - 6 = o, -i = 3*r - 6. Let z = 42 - 38. Solve h - z*g = r, 2*h + h + 3*g = -21 for h.
-5
Let t be ((-1)/(-4))/((-4)/(-32)). Suppose -g + t*w - 4 = 0, 4*g - 3*w + 8 = 7. Solve 2*h = -2*x - 4, -3*x + g*h = 3*h + 6 for x.
-2
Suppose -3*z + 138 - 54 = 0. Suppose 36 + z = 16*q. Solve -3*u = 3*h - 6 - 0, -q*h + 6 = 3*u for h.
0
Suppose 50 + 79 = 28*v - 11. Solve 4*k - 9 = a, -a - 3 = -3*k + v for k.
1
Suppose b - 3 + 0 = 0. Let u(n) = -n + 13. Suppose -2*y + 6 = 3*m, -y = -4*y - 3*m + 12. Let d be u(y). Solve -3*k + 16 = -s + k, -k - d = -b*s for s.
4
Let s(b) = b - 18. Let w be s(-13). Suppose -2*i = y + 2*i + 13, -3*y + 4*i - 119 = 0. Let z = w - y. Solve -4*k + 4*m = 16, z*k + 18 = -0*k + 4*m for k.
1
Let s = 1 + -1. Suppose -5*r + r + 12 = s. Let a(d) = -d**3 - 20*d**2 - 7*d - 137. Let u be a(-20). Solve 3*x + 21 = x + r*j, 3*x - 6 = -u*j for x.
-3
Let y be (-152)/(-20) + 15/(-25). Let l be 1 - 5/(-5)*y. Solve -2*k + t + t - l = 0, 4*k + t = -21 for k.
-5
Suppose 0*q + q = 0. Suppose 0 = -120*v - 127998 + 128718. Solve q = -5*k, v*k = p + k + 3 for p.
-3
Suppose -17*m + 156 = -4*m. Let f(o) = -o**3 + 11*o**2 + 2*o - 13. Let l be f(11). Let z = m - l. Solve 5*u - 1 = -3*b + 22, 2*u + z*b = 11 for u.
4
Suppose -3*b = -4*p - 17, -365 = 2*b - 4*p - 379. Solve 12*y - 13*y + 3 = 2*r, -b*r + 2*y = -22 for r.
4
Suppose 4*p = 20, -2*u - 20*p + 19*p = -53. Solve -3*r + 9 = 3*k, 0 = -4*r - k + u - 3 for r.
6
Suppose -5*q + 3*k = -79, 3 = 4*k - 5. Suppose -13 - q = -10*d. Solve -5 + d = -v + s, -2*v = 3*s - 4 for v.
2
Let m = 4353 - 4286. Solve -c + 4*x = -9, -3*c - 56 = -4*x - m for c.
1
Suppose 116 = 4