b for j.
-4
Suppose -5*r - 7 = 143. Let a be (-48)/r*15/6. Suppose -j = -a*l - 23, 2*j + 4*l - 1 = 3*l. Solve -j*o = -o - 6 for o.
3
Suppose -3*s = 12, 2*n + 4*s - 60 = 3*s. Solve 2*c = 10*c + n for c.
-4
Suppose 4*m + 2*r = 26, 4*m + 2 = 4*r - 2. Solve y + 0 = m for y.
4
Let v(m) = -m**3 + 8*m**2 - 6*m + 1. Let y be v(7). Suppose 7*k - 18 = 5*k. Let q = k - y. Solve -q = 3*x + 2 for x.
-1
Let c(n) be the first derivative of n**4/4 + 3*n**3 + n**2/2 + 13*n + 17. Let h be c(-9). Solve -6*w - 10 = -h*w for w.
-5
Suppose 60 = -2*t + 5*t. Suppose t = 3*q + q. Suppose -j = 2*j - q*u - 20, 0 = 5*j - 3*u - 12. Solve j*d + 1 = -d for d.
-1
Let b be 1*4*(65/(-2))/(-13). Suppose -33 = -3*j - 3. Solve -5*a - j = b for a.
-4
Let f be (-3)/(-3*2/4). Suppose -169 = -9*g + 209. Let n = g + -40. Solve -c - f = n for c.
-4
Let h(z) = z**2 - z - 2. Let l be h(3). Suppose -l*s = 69 + 39. Let y be 2/(2*(-3)/s). Solve 3*b = 6*b + y for b.
-3
Let y = -3122 + 3125. Suppose -f = -3*f. Solve f = n - y*n + 2 for n.
1
Suppose 3*n - 4 - 1 = -s, -5*s + 25 = 2*n. Solve n = h + 2 for h.
-2
Suppose 10 = -2*a - 3*a. Let u be 0/(-1) + 13 + a. Let r(n) = -10*n - 16. Let k be r(-2). Solve u + k = 5*y for y.
3
Let h be (0 + 1)/(87/21 + -4). Solve h = -b + 8 for b.
1
Suppose -2*h + 12 = -6. Suppose 0 = -12*n + h*n + 6. Let t be n + 5 + 1 + -5. Solve t*u + 1 = 7 for u.
2
Suppose 5*i - f = -3*f + 16, 3*i - 22 = 5*f. Let u be -14*(4 + (-18)/i). Solve -2*m - 1 = u for m.
-4
Suppose -5*x + 2 = u, -5*x = -2*u - 2*u - 17. Suppose 3 = 2*p + x. Suppose f - 36 = -2*i - f, -66 = -4*i - f. Solve -3*q = i - p for q.
-5
Suppose 4*p + 3*b - 69 = 2*p, -5*p + 3*b = -120. Solve -p = 4*x - 7 for x.
-5
Let l = -178 + 178. Suppose 6 = 3*s - 9. Solve -i - s = -l*i for i.
-5
Let f(v) be the second derivative of v**3/6 + 5*v**2/2 - 2*v. Let o be 6/(-4) - (-45)/6. Let h be f(o). Solve 3*k - h = -2 for k.
3
Let a = 281 + -278. Solve -a*o + 6*o = 12 for o.
4
Let y be -12*(-3)/24*2. Suppose 6 = -j + y*j. Let q be (j/(-9))/((-3)/27). Solve q*f - 7*f = 0 for f.
0
Suppose 17 = 5*t - p, 4*t + 0*t = 3*p + 18. Suppose t*s = 8 + 4. Let h be 3 - (-5)/(15/(-6)). Solve -h = s*j + 7 for j.
-2
Let g be (-2)/9 - (1 - 120/54). Suppose q + 1 = -4*f + 2, f = -g. Solve q*b = -0*b - 15 for b.
-3
Let b(t) = t**3 - 2*t**2 - 3*t + 3. Let u be b(3). Let k = -3967 + 3971. Solve u*w - k = 11 for w.
5
Suppose 2*c = 5*o - 456 + 31, -4*c = -o + 85. Suppose 0 = -5*i - 0*i + o. Solve 2 - i = -5*l for l.
3
Suppose -3*d + 2*a + 52 = 0, -2*a - 1 = -9. Suppose 0*s + s + 55 = 5*i, d = -4*s. Suppose 40*c - 10*c - 180 = 0. Solve c*v - i = v for v.
2
Suppose -2*l = 6, -i = i + 5*l - 57. Suppose -6*c + 9*c = i. Let s(q) = q**2 - 13*q + 16. Let g be s(c). Solve 3 - 7 = -g*r for r.
1
Let n(c) be the third derivative of c**4/12 - 7*c**3/6 - 9*c**2. Let j be n(5). Solve 2*y + j*y = 20 for y.
4
Suppose -22 = 2*v + 20. Let u be 14/3*(-18)/v. Solve -u*d + 5*d = -5 for d.
-5
Let r be (58/10 - 4)/(6/20). Suppose -4 = -x + r. Solve 7*f = 2*f + x for f.
2
Suppose -741*s = -735*s - 216. Solve 19*n - s = 2 for n.
2
Let s(p) = 33*p - 95. Let c be s(3). Solve -c*d = -0*d - 12 for d.
3
Suppose -5*m + 540 = 7*m. Let s = 47 - m. Solve -8 = s*q - 2 for q.
-3
Suppose 13*o - 100 = -5*l + 8*o, 0 = 4*l - 4*o - 56. Solve -40 + 108 = l*a for a.
4
Suppose 0 = -j - 3 - 4. Let d = 7 + j. Suppose -1 = -3*q + 2*q + z, d = -3*q + 5*z - 7. Solve 0 = -2*g - 0*g - q for g.
-3
Let z = -55 - -55. Suppose -9 = 3*o + b - 0*b, 2*o = 2*b - 14. Let q = z - o. Solve -q*y = -6*y for y.
0
Let t = -15 + 10. Let j be ((-24)/(-10) + -2)*t. Let r be (-1)/j*(16 - 8). Solve -16 = 5*p + r for p.
-4
Let f(m) = 14*m**2 + 13*m + 10. Let c be f(-3). Let g = c + -95. Solve 0 = 2*s - 3*s - g for s.
-2
Suppose -27 = -2*r + 3*w, 1 = -3*w - 8. Solve 0 = r*i - 4*i for i.
0
Let m be -2*2/(-4)*-7. Let t = 12 + m. Suppose -t*a = -a. Solve -f = -a*f - 2 for f.
2
Suppose 0*b + 4*b = -x + 109, x - 105 = -3*b. Solve -2*y + 89 = x for y.
-2
Suppose -6*s + 265 = 199. Solve s = -9*l - 25 for l.
-4
Let o be 4*(4 - 27/(-24)*2). Let d = o + -18. Solve -r = 3 - d for r.
4
Let d = 7 - -1. Let a be -3 + -2 - (21 - 26). Solve 2*x - d = -a*x for x.
4
Suppose 2 = -l + 3*c, 0 = -l - 3*c - 44 + 54. Solve l*p + 20 = -p for p.
-4
Let r(u) = -u**3 + 13*u**2 + 32*u - 24. Let d be r(15). Solve d*p - 25 = p for p.
5
Let y be 18/(-36)*6/(-1). Suppose -8*j = -y*j. Solve 2*t - 1 - 3 = j for t.
2
Suppose 0 = s - 5*u + 6, -6*s + 2*u + 12 = -2*s. Let j = s + 2. Solve -j*l - 8 = -4*l for l.
-4
Let k(b) = -8*b + 147. Let h be k(0). Let f = h + -144. Solve 3*p + f = -6 for p.
-3
Let y be 732/14 + 6/(-21). Let b = -40 + y. Solve -2*x + b = -6*x for x.
-3
Let k = 41 - 35. Suppose d + 5 = k*d. Let f = 2 + 2. Solve -f - d = -5*z for z.
1
Suppose 4*k + 0*k = -4*b + 16, k - 3 = 0. Let g be 3 - (-2*4 - b). Suppose -4*t = -t + 2*y - 10, 2*t = 2*y + 20. Solve -t*r + 3*r = -g for r.
4
Let q be ((-4)/(-3))/(4/(-12)). Let p(c) = c**3 + 4*c**2 + 3. Let f be p(q). Solve 12 = -3*h + f for h.
-3
Suppose -2*z - 136 = -6*z. Suppose z - 14 = 4*g. Solve 0 = w - g*w - 12 for w.
-3
Let c(b) = 13*b**2 + 7*b - 5. Let f(v) = 19*v**2 + 10*v - 7. Let x(d) = 7*c(d) - 5*f(d). Let p be x(-1). Let r be p - -5 - 3 - -5. Solve r + 0 = -m for m.
-4
Suppose 15 = 2*g - 3*y, g - 2*g - 20 = 4*y. Solve 9*s - 34 - 11 = g for s.
5
Let c = 1455 - 1439. Solve 15*z - c*z = 4 for z.
-4
Suppose -2*o = 5*s - 80, -4*o - 5*s = -8*s - 160. Solve 4*y + 32 = o for y.
2
Suppose 5 = 9*g + 59. Let t be (6/(-4))/(g/12). Solve v = -t*v for v.
0
Let b = -114 + 72. Let a = 26 + b. Let f = 5 - a. Solve -5*l = f + 4 for l.
-5
Let d = 378 - 370. Solve 4*f + 12 = d*f for f.
3
Let s(m) = m**3 - 16*m**2 + 26*m + 32. Let c be s(14). Solve d + 1 - c = 0 for d.
3
Suppose 2*v + v - 9 = 0, -2*v - 46 = -4*n. Solve 18*l = n - 67 for l.
-3
Let n(p) = -9*p - 32. Let q(s) = -17*s - 64. Let i(h) = 11*n(h) - 6*q(h). Let d be i(-10). Solve -f = d*f for f.
0
Suppose -55*x = -47*x - 288. Solve 13*k + x = 4*k for k.
-4
Let k(z) = 17*z**2 + 6*z - 16*z**2 + 4*z + 8. Let l be k(-11). Let b be ((-11)/(-2))/(l/38). Solve -9 - b = -5*i for i.
4
Let i(t) = t**3 - 8*t**2 + 3*t - 3. Let h be i(6). Let p = h + 81. Suppose -s - p = -4*s. Solve -3*n + s = 2 for n.
2
Let s = 140 - 134. Solve -s*w + 7 = -5 for w.
2
Let d(l) = l - 8. Let x(q) = q + 9. Let p be x(-5). Let t be d(p). Let u(v) = v**2 + v - 8. Let a be u(t). Solve -a*s - 7 = 5 for s.
-3
Suppose -39 = 4*x + 21. Let z = 23 + x. Suppose -7 = -5*y + z. Solve -y*a + 6 + 3 = 0 for a.
3
Suppose -100 = -w + 3*u, 4*w - 4*u = -7*u + 355. Suppose 0 = -11*y + 4*y + w. Solve y = -3*k + 1 for k.
-4
Suppose -5*o = 43 - 93. Solve -o*y + 2*y = 32 for y.
-4
Suppose n = -6*n - 3*n. Solve -g - 4 + n = 0 for g.
-4
Suppose -4*x = 4*y - 96, -2*x - 27*y + 78 = -31*y. Solve 2*t = 21 - x for t.
-4
Suppose 15*a = 19*a - 128. Solve 0 = a*v - 36*v - 8 for v.
-2
Let h(t) = -t**2 + 16*t - 25. Let a be h(14). Solve a*g = -2*g for g.
0
Let g(o) = 4*o**3 - o**2 + o - 1. Let r(t) = 2*t**2 - 6*t - 7. Let z be r(4). Let y be g(z). Solve j + y + 0 = 0 for j.
-3
Suppose 3*k + 34 = 5*u, 0 = -3*k - 4 + 10. Let p be ((-108)/24)/(6/u). Let w(l) = l**2 + 7*l + 6. Let x be w(p). Solve -4*g + g + 15 = x for g.
5
Suppose -11 = t + 2*h - 20, 3*h = 4*t - 3. Solve 0 = t*o - 4 + 1 for o.
1
Let d(z) = -2*z + 49. Let g be d(23). Solve -7*n - g*n = 0 for n.
0
Suppose -4*h = 4*j - 24, -2*h + 5*h = -j + 26. Suppose 8*k = -2*k + h. Solve -3 - k = -o for o.
4
Let m(s) = -s**3 - 24*s**2 + 25*s + 10. Let d be m(-25). Solve -7*u - d = -2*u for u.
-2
Let b be 0 + (-2)/(2/(-5)). Suppose 0*z = -b*z. Solve 0 = -l - z*l + 1 for l.
1
Suppose 177 = 4*r + 33. Let n = 37 - r. Solve 5*k - 24 - n = 0 for k.
5
Suppose -c + 183 = -5*g + 481, 2*g + c - 115 = 0. Solve -58*l - 2 = -g*l for l.
2
Let c be 10*(-3)/(-15)*5. Solve -11*r + c = -13*r for r.
-5
Let m = 523 - 520. Solve -m*z + 1 + 5 = 0 for z.
2
Let q be ((-2)/1 - -3)*(0 - -2). Solve -q*h = 2*h for h.
0
Let i = -1996 + 2000. Solve 10 = -i*c + 26 for c.
4
Let c be 1590/180 + -2*(-10)/(-24). Solve -c*s = -22*s + 28 for s.
2
Let h be -3 + 6 + 1 + 2 + -3. Solve 4*r = h*r for r.
0
Let r(z) = -23*z - 56. Let w be r(-14). Solve -262*g = -w*g for g.
0
Let c(p) = p**2 - 15*p - 16. Let q be c(1