o for l.
-2
Suppose -46*l = l - 235. Solve 0*s - 15 = 4*s - 3*r, -4*s = r - l for s.
0
Let x = -438 - -441. Solve -2*o + a + x - 14 = 0, 5*a = o + 10 for o.
-5
Let p(s) = -3*s - 4. Let u be p(-4). Suppose 53 - 8 = 5*i. Let c be i/(-3 - (-18)/4). Solve -3*l = -z - 13, u = c*z - 2*z + 3*l for z.
-1
Let n be (1/(-2) - (-21)/(-6)) + 7. Solve 0 = n*c + 3*f - f - 1, 4*c = f - 6 for c.
-1
Suppose 0*o - 2*o + 14 = y, 4*y - 29 = o. Solve 6*v - v - y = 3*g, -5*v + 12 = -2*g for g.
4
Suppose 2*r + 60 = 64. Solve 3*g = w - 14, 6*g - 4 = 4*g - r*w for g.
-3
Suppose 0 = -5*d + 4*d - 2*r - 1, -r = -4*d + 5. Solve -3*m + 12 = -4*q, 4*m - d - 15 = -4*q for m.
4
Suppose 0 = r + 8 - 11. Solve -f - r*b + 4 = 13, -5*f + 4*b + 12 = 0 for f.
0
Let w(q) = -q**2 + 29. Let c be w(6). Let i(f) = -3*f + 3. Let g be i(c). Solve -5*u - 2 = y - g, -3*u + 21 = -2*y for y.
-3
Suppose -138 + 42 = -24*m. Let q = -13 - -19. Suppose m*k = 42 + q. Solve -4*s = -3*g + 1 - 3, -2*g - 4*s = -k for g.
2
Let w(r) = r**2 - 16*r - 608. Let n be w(34). Solve 3*q + 3*o = q + 7, -n*o = -3*q + 2 for q.
2
Let z be 2 + 0/(3*-1). Let k(u) = -27*u + 108. Let d be k(4). Solve -5*v + p + 7 = d, 3*v - z + 1 = -p for v.
1
Let k(o) = o + 11. Suppose 0 = 3*h - m + 28, -h - 2*m = m + 6. Let y be k(h). Solve -3*j - 20 = -s - 0*j, y*s + 4*j = -10 for s.
5
Let d(y) = -y**3 - 6*y**2 - 10*y - 10. Let h be d(-3). Let t(i) = 5*i + 39. Let r be t(h). Solve 5 = 5*z - 5*s, -5*z - s + 9 = -r*z for z.
5
Let d = 23 + -17. Suppose -4*n + 3*f + 8 = 0, 7*f = 3*n + 3*f - d. Suppose 5*y = -n*x + 8, 0*y + 3*y = -x + 5. Solve 2*s + o - 19 = -y*o, -5*o = -2*s - 5 for s.
5
Let l(y) be the third derivative of y**5/60 - 3*y**4/8 - 7*y**3/6 - 38*y**2. Let r be l(10). Solve 0 = 4*i - 6*u + 2*u + 32, 5*i + r*u + 8 = 0 for i.
-4
Let s be -1 + -3 + 15 + 0. Let l = s + -7. Suppose -5*z + 4*a = -7 - 1, -l*a + 4 = -2*z. Solve 4*j - 12 = -y + 5, z*y = j for y.
1
Suppose -5*d - 4*i + 423 = -32, 15 = 3*i. Let a = d + -84. Solve -5*v = 3*g - 5, a*g + 2*v = -0*g - 7 for g.
-5
Suppose 4*h - 26*m + 7 = -21*m, -5*m + 23 = 4*h. Solve -2 = -5*f - 5*t - 12, 0 = -h*f + 4*t + 2 for f.
-1
Let c = 4 - 1. Let m(b) = 2 + 0 + 14*b**3 + 1 - 7*b**2 - 15*b**3. Let y be m(-7). Solve -3*q = y*r - 3, 0 = -5*r - c*q + 7*q - 13 for r.
-1
Suppose 0 = -30*q + 42*q - 48. Solve q*b = -m - 1 + 2, 25 = 5*m for b.
-1
Let q = 439 - 434. Solve q*k - 2*p = -4*p + 9, -10 = -4*k - 3*p for k.
1
Let r be 246/123 - (-1)/((-1)/(-4)). Solve -2*w + 8 = 2*s, 2*w + r*s - 8 = s for w.
4
Let t be (1*-3)/(7/42). Let o be (-318)/t + 1/3. Suppose 0 = 3*b + 1 - 7. Solve -3*f + 5*n - o = -3, 2*n = b*f + 6 for f.
0
Suppose 65*m - 1 = 2*w + 62*m, 0 = -w - 4*m + 27. Let k = 1 - -2. Solve -5*q + 3*g - 2*g + 25 = 0, k*q = -g + w for q.
4
Let c = -490 - -491. Solve -5*g = 2*v + 3, 0 = -v + g - 6 + c for v.
-4
Let o be -20*-1*(4/(-1))/(-16). Let d(r) = r**3 - 4*r**2 - 8*r + 15. Let w be d(o). Solve 4*c + 0*c - 3*x - 27 = w, -x - 2 = c for c.
3
Let z be 70/(-4)*272/(-238). Solve 3*f - 7 = k, k + 3*k - 4*f = -z for k.
-4
Let c(v) = -v**2 + 5*v + 7. Let j be c(6). Suppose 2*g - 23 = s, g + j = -0*g - 2*s. Suppose -g = -5*t + 6. Solve -25 = 5*q + 3*b, -3*q = -5*b + 18 - t for q.
-5
Let v(f) = f**2 + 15*f + 16. Let b be v(-14). Let k(t) = 3*t - 3. Let m be k(b). Solve 4*j + 20 = m*y, j + 2*y = -3*j for j.
-2
Let r = -22 + 27. Suppose -2*l - 16 = -2*x - x, l + r = 0. Solve 3*c + 9 = 0, 0 = x*q + 3*q - 5*c - 10 for q.
-1
Let s = 104 + -104. Let i be 1*(-2 + (2 - s)). Solve 5*n + y = 6*y + 45, i = 3*n + 5*y + 13 for n.
4
Let a be (1 - 4) + 7 + -4. Suppose -2*s + 5*x + 23 = a, -3*x - 4 = -s + 9. Let r = -6 + 10. Solve 4 = i - t, s*t - r = -2*i + 10 for i.
5
Let s = 159 - 159. Solve 4*c + 5*p + 23 = 3, 3*p + 12 = s for c.
0
Suppose -30*q + 11*q = -57. Suppose -4*g - 1 = -3*g. Let r be 1*(-1 + -7)*g. Solve -q*k - 6 = 5*t, 2*t - r = 6*k - 2*k for k.
-2
Let f = -14902 + 14903. Suppose h + 1 = -3*w + 3, 5*h = -5*w + 20. Solve -2*y + f = 3*o - 1, 10 = h*o + 2*y for o.
4
Let h be (-1)/3 + (-9)/(-27). Suppose p = -h*p + 6. Let o be ((-10)/(-3))/(4/p). Solve 3*s + 4 = o*c - 3, -3*s = 3*c + 15 for c.
-1
Let y(r) = r**3 + 5*r**2 + r + 1. Let g be y(-5). Let m = g + 4. Let w be (2 - 28/12)*m. Solve -5*l + 0*d = d + 12, 4*d + 8 = w for l.
-2
Suppose 0 = -8*t - 5*t + 18*t. Let g = -24 - -1. Let l = g + 38. Solve t = 4*p - 1 - l, 3*x + 4*p - 25 = 0 for x.
3
Suppose 2*v = -0*v. Suppose v = -5*z - 3*l + 7*l + 5, -2*z + 4*l - 10 = 0. Solve -2*h - 20 = z*d, 3*d + 5 = -h - 6 for h.
-5
Let r(y) = 3*y**2 - 10. Let h be r(-2). Solve h*n = -3*j + 17, 12 = -n - 3*j + 28 for n.
1
Let h = 15 - 3. Suppose -4*b + 6 = 3*g, h - 4 = 4*g + 5*b. Let q(k) = k**2 + 4*k - 12. Let y be q(3). Solve f + g = 1, 2*i + y = -3*f for i.
-3
Let r(h) = -h + 1. Let p be r(-3). Suppose -4*b = y - 6*y + 60, p*y - 52 = 4*b. Let i be 6/y - (-90)/8. Solve 8 = j - 2*t, 4*j - 3*t - i = -0*t for j.
0
Let m = 82 - 77. Solve -m*s - 3*p - 19 = 0, 2*s - 4*p = -3*s + 2 for s.
-2
Let j = 21 + -18. Let n be 0 - 4/(-3)*j. Solve -8 = -a + 3*h, -4 = -2*a - 2*h + n for a.
5
Let c(h) = -h**2 + 6*h + 8. Let o be c(7). Solve 0 = 2*w - 4*n - 24, o = -3*w + 4*n + 29 for w.
4
Let z be (6/8)/(5/40). Suppose -3*k + 3 + z = 0. Suppose -5*j + 18 = 2*a, 0 = -4*j - k*a - 3 + 23. Solve -13 = -j*y - 2*g + 3, 0 = -y - 5*g + 24 for y.
4
Suppose -3*h + 2*u + 5 = 0, 0*u + 11 = h + 4*u. Suppose -2*s = -h*s + 5. Suppose s*v = 13 + 7. Solve -3 = 3*x - v*a + 8, -3*x + 2*a = 13 for x.
-5
Let y(k) = -k**3 - 10*k**2 - 10*k - 5. Let r be y(-9). Solve -p + 13 = -5*d + 33, d = r for p.
0
Let c(y) = -y + 18. Let k be c(13). Suppose 0 = k*n + 25, 3*h + 5*n = -26 + 4. Solve 0 = 3*a + 3*t + h - 4, -a - 3 = 5*t for a.
2
Let q(m) = m + 5*m**3 + 7*m**3 - 1 - 9*m**3. Let y be q(1). Let u = -8 + 10. Solve 12 = -3*d + h, u*h + 2 = -y*d - 1 for d.
-3
Let p be 4*(1 - 4)/(-3). Suppose -p*x + h = -5, 8*x - 4*x + h = 11. Solve 4*f + k = -x*k + 5, 3*k = 9 for f.
-1
Suppose -2*h = -o + 11, 4*o + 16 = 5*o + 3*h. Suppose -3*t + 5 + 2 = 4*v, 4*v + t - o = 0. Solve v*i + 7 = -3*r, -2*i - 2*i + 28 = -4*r for r.
-5
Let r(g) = -2*g + 10. Let j be r(-4). Let i be (-3 + j)/((-6)/(-8)). Suppose -k = 3*k - i. Solve -3*p - 8 = 2*l, k*l - l = 8 for p.
-4
Let p = 510 + -503. Solve -5*s = -3*w - p, -2*w - s = -6*s + 8 for w.
1
Let m be (-88)/(-16) + -2 + (-5)/2. Solve -2*a - 9 = -3*t, -a - 2*t - m = -0*t for a.
-3
Let h be 30/(-45) - (-2)/3. Solve -w + 3 = h, -3*c - 2*w = c + 6 for c.
-3
Let t(b) = 116 - 49 - 59 + 4*b**2 + 18*b. Let l be t(-8). Let g be ((-14)/35)/((-2)/l). Solve 5*a - g = -2*j, 4*a = -4*j - j + 26 for a.
4
Let l = -22 + 74. Let k be ((-4)/(-3))/(l/78). Suppose 0 = -k*f - 6 + 12. Solve f*q - 2*q + 30 = -5*a, a = -5*q - 30 for q.
-5
Suppose 2*a + 15 = 3*k + 3*a, 2*k + a - 10 = 0. Suppose 0 = k*u - 2*u + 39. Let i = 17 + u. Solve 0 = -i*m + t - 6*t - 29, -4*t = -5*m + 15 for m.
-1
Let j(a) = a**3 - 3*a**2 + 3*a. Let x be j(3). Let q be ((-15)/(-45))/((-1)/(-9)). Solve 5*p + 15 = 3*f, 0 = 2*f + f - q*p - x for f.
0
Let r(p) = 3*p - 1. Let u be r(2). Let j(m) = m**2 - 14*m + 28. Let h be (-8)/6*(-12 + 3). Let w be j(h). Solve 0*n - u*a + 15 = 5*n, 0 = 2*n + 3*a - w for n.
5
Suppose -5*n + 8 = -42. Let z = -3 + 4. Let a be ((-4)/5)/(z/(-5)). Solve a*k - d - 14 = k, 4*k + 3*d - n = 0 for k.
4
Let p = 1152 - 1150. Solve -4*g = -2*k, -g - 7*k - p = -8*k for g.
2
Let u(l) = 10*l - 2. Let n be u(1). Suppose -n = -5*p + 7. Let v be p + (-2)/4*0. Solve 0*i = 2*i - 6, 0 = 3*g - v*i + 21 for g.
-4
Let r be ((-25)/(-10) - 3)*-2. Suppose 0 = g - 2 - r. Solve 5*b + 7 = w + g*w, b - 1 = 0 for w.
3
Suppose -46 = 3*y - 94. Let l be ((-4)/y)/(4/(-32)). Let o be (0/(-1) + -1)*0. Solve -2*x = -l*v + 2 - o, 8 = x + 2*v for x.
2
Let a be ((-594)/6)/9 + 31. Solve -4*j - 18 = 2*n - 8, 0 = -4*n - 2*j - a for n.
-5
Let q = 1 - -4. Suppose -q*r + 10 = 5*v, -4*v + 2*r = -r - 8. Let m = -21 + 31. Solve -v*s + 8 = 2*a, -3*a + 2*s - m = -6*a for a.
2
Suppose -5*k = 15, -k - 20 = -u + 4*k. Suppose 3*s - 59 = u*p, 0*s - 35 = -3*s - p. Suppose -41 = -4*c - s. Solve c = -o + q + 4, q + 27 = -5*o for o.
-5
Let d(s) = -s**2 + 11*s + 15. Let k be d(12). Solve -5*h - 5*i - 17 - k = 0, 4*h + 12 = -3*i for h.
0
Let p be (-2 + 1)*2*1. Let a be (-2 +