2 - z + 1. Let j be p(-2). Let s = 17 + j. Let u be 5*(2 - s)/2. Solve -2*b = -1 - u for b.
3
Let b(f) = -f + 6. Let o be b(3). Suppose o*j = -3*j + 18. Solve l = -j*l for l.
0
Let s(y) = 13*y + 2 - 13 + 18. Let f be s(1). Solve -f = -5*g + 5 for g.
5
Let d(s) be the second derivative of s**5/20 + 3*s**4/4 - s**3/6 - 3*s**2 - 28*s. Let v be (-4)/10 - 86/10. Let t be d(v). Solve t = -z + 7 for z.
4
Suppose -507 = -2*u - 493. Solve u*x = 5*x + 8 for x.
4
Let z be 11 + -6 + ((-2)/2 - -12). Solve -24 + z = -2*y for y.
4
Let a be (2 + 64/(-8))*-1. Solve a*o = o + o for o.
0
Suppose 0 = -25*h + 13 + 37. Solve -9*q = h + 7 for q.
-1
Let h be 335/65 + (-2 - 48/(-26)). Suppose -h*u + n = 6*n, 0 = -3*u - 5*n. Solve u*z = -2*z + 10 for z.
5
Suppose 35 = -3*s + 53. Solve -10*g + 13*g - s = 0 for g.
2
Suppose -12*v = -v - 33. Let r be (-1 + -2)/v - (-5 - -4). Suppose -5*u + 20 = -5*h, 5*u + 2*h + h - 12 = 0. Solve r = 2*b - 3 - u for b.
3
Let h(s) = s**2 - 8*s + 7. Suppose 0 = -5*o - 0*m - 2*m + 41, 3*m = 9. Let j be h(o). Solve -5*q + 4 - 19 = j for q.
-3
Let s be 16/(-7) + 2 + (-10914)/(-714). Solve s*y = -7*y - 66 for y.
-3
Let c(t) = 38*t - 13*t - 12*t - 6 - t**3 + 4*t**2. Let y be c(6). Solve 5*z + 10 = -y*z for z.
-2
Suppose -30 = -4*x + x. Let y(s) = -7 - 12 + 23*s - 12*s - 15*s. Let q be y(-7). Solve 0 = -q*r + 4*r + x for r.
2
Let k(a) = -143*a - 283. Let h be k(-2). Solve -3*c + h*c = 2*c for c.
0
Suppose -6*l - 40434 = -144*l. Solve -291*y + l*y - 2 = 0 for y.
1
Suppose 38 = 7*s + 10. Suppose -s*k - 3*b + 21 = 0, 0*k + 30 = 5*k + 5*b. Solve -k*h = 2 + 10 for h.
-4
Let g(j) = -5*j**2 + 80*j + 3. Let m be g(16). Solve -6*y + m*y = 4*y for y.
0
Let k = -47 - -45. Let h be (-1)/((-9)/6 + (-1)/k). Solve -h = 4*a - 13 for a.
3
Let h be 4 - (-2 + (4 - -18)). Let f = -13 - h. Solve -4*v + f*v = 0 for v.
0
Suppose -9*o + 14 = -16*o, 385 = 3*b - 2*o. Solve f - 123 = -b for f.
-4
Let p(q) = -2*q - 37. Let s be 868/(-42) - 3/9. Let f be p(s). Solve 3*x = 8*x + f for x.
-1
Suppose 8*t - 11*t - 21 = 0. Let i = -4 - t. Solve i*u = 8 + 4 for u.
4
Suppose 0 = 8*u + 61 - 85. Solve 0 = -2*m + u - 7 for m.
-2
Let u = -23 - -23. Let l be (9 + -1 + 2)*-1. Let v be (l/4*4)/(-1). Solve u = z + z + v for z.
-5
Suppose 2*m = 354 - 342. Solve m = -4*o + 2 for o.
-1
Let j(u) be the second derivative of u**3/6 + u**2 - 4*u. Let f be j(-2). Suppose 2*l - 42 + 14 = 4*t, -5*l + t + 25 = 0. Solve f*a = a - l for a.
4
Let l be 2*(-2)/8*0. Suppose 0 = -2*z - l*z. Suppose 3*m - 3*s + z = 3, -3 = -s. Solve 5*p = p - m for p.
-1
Let m be (-48)/10 - (-1)/(-5). Let q = 10 + m. Suppose q*t - 5*o - 120 = 0, -t - 3*o + 6*o = -26. Solve -4*k + t - 7 = 0 for k.
4
Let q(w) = w**2 + 14*w + 30. Let i be q(-13). Solve -4*b = -i + 13 for b.
1
Let z be (-33)/(-3) + (-3 - -4). Suppose -2*f - 5*x + 20 = 3*f, 0 = 3*x + z. Solve n = -n + f for n.
4
Let w = 36 + -26. Solve -w = -0*v - 5*v for v.
2
Suppose 0*t + 3*n = -5*t + 24, -3*t + 2*n + 3 = 0. Solve t*o - 1 = 4*o for o.
-1
Suppose -45 = 4*f - 61. Solve -94 = f*j - 78 for j.
-4
Let c = 476 + -431. Solve c = -o + 10*o for o.
5
Let s(j) = j + 1. Let q be s(-5). Let o(n) = n**3 + n. Let b(y) = -5*y**3 + 5*y**2 - 5*y + 3. Let z(t) = q*o(t) - b(t). Let m be z(5). Solve -r + m = -1 for r.
3
Let k(v) = 1. Let a(w) = 4*w**2 - 3*w - 9. Let q(m) = a(m) + 6*k(m). Let n be q(-1). Solve 4 = n*r - 8 for r.
3
Let u be -4 + (-4 - -4*5). Suppose -8*r = -9*r + u. Solve l = -3*l + r for l.
3
Suppose n - 8*j = -3*j - 17, 3*n + 5*j = -11. Let y be ((-6)/n)/(7/(-294)*-9). Solve y*i = 16 + 4 for i.
5
Let w(u) = u + 7. Let s be w(-5). Let l(a) = -4*a + 36. Let j be l(9). Let m be 2/3 + 20/6. Solve j = r - s*r + m for r.
4
Let n be (0 + -6)*(66/(-12) - 1). Solve -51 = -18*o + n for o.
5
Let x(a) = -a**3 - 3*a**2 + 5*a + 19. Let b be x(-4). Solve -b = 6*z - 11*z for z.
3
Let t(f) = -f**3 - 3*f**2 + 5*f + 5. Let j(i) = -i**2 + i + 1. Let w(m) = -2*j(m) + t(m). Let a be w(-2). Solve -2*r + 3 = a for r.
1
Suppose -9 - 12 = -7*r. Suppose 0 = 9*d - 10*d + r. Solve d*k - 17 = -2 for k.
5
Suppose 0 = -a - 2*s + 27, a + 4 = 5*s - 4. Solve -a = -7*h + 18 for h.
5
Let b = 44 - 25. Suppose -16*m + b*m = 0. Solve m = -j + 4 for j.
4
Let d be 8/3 - 20/(-15). Let t be d*1 + -1 + 5. Suppose -5*h = 3*n - 5*n - 21, -5*h - 4*n = -3. Solve -h*m = -t*m for m.
0
Let b = -731 + 737. Solve 0 = -28*p + 31*p - b for p.
2
Suppose -24 = -2*s - 2*r + r, -s + 2*r = -22. Let d = s - 10. Let h be d/((-1)/(-2)*1). Solve 3*l = h*l for l.
0
Let w(n) = 7*n**2 + 3*n - 1. Let x(v) = -v**2 - 8*v - 16. Let t be x(-5). Let i be w(t). Solve -j - 2 = -i for j.
1
Suppose 0 = t + t - 5*i + 9, -4*i = 3*t + 25. Let q be (2/t)/(4/(-56)). Suppose 6*v = q*v. Solve -w = -v + 3 for w.
-3
Suppose 7*r - 2*q - 65 = 2*r, -3*q = r - 30. Solve -7*b - r = -2*b for b.
-3
Let r be (0 - 5/10)*0. Suppose 5*q - 49 - 11 = r. Let f = 8 + -3. Solve -q = -o + f*o for o.
-3
Let c(u) = u**3 - 8*u**2 + 3. Let v be c(8). Let x(o) = o**2 - 2*o + 2. Let q be x(v). Solve 0 = q*b + 6 - 31 for b.
5
Let w be 19/2 + 5/(-10). Let o be 1*w + 7 + -6. Solve 5*n - o = 10 for n.
4
Suppose -3*v = -6*v. Let c = 22 - 12. Suppose -8*r = -13*r + c. Solve v*g - r = -g for g.
2
Suppose 3*d = 87 - 81. Solve d = -2*h - 0 for h.
-1
Suppose 4*i + 105 = -i. Let g(y) = -y**2 + 6*y - 11. Let c be g(5). Let k be (-140)/i*c/(-5). Solve -16 = -k*p + 4*p for p.
4
Let w(y) = 2*y**2 - 6*y. Let x be w(4). Let c = 633 - 638. Let m = x + c. Solve -5 = 4*j + m for j.
-2
Let a(p) = p**3 + 16*p**2 + 2*p + 23. Let d be a(-16). Let n(h) = h + 12. Let q be n(d). Solve s - 2 - q = 0 for s.
5
Let l(w) = 2*w**3 - 2*w**2 - w + 6. Let f(q) = q**3 - q**2 - q + 6. Let z(k) = -3*f(k) + 2*l(k). Let p be z(2). Solve 2*a - 4 + 0 = p for a.
2
Let m(z) = -14*z - 1. Let v be m(-1). Suppose 4*h = -2*i - v - 35, -3*i + 28 = -4*h. Let u = h + 21. Solve -1 = 5*l - u for l.
2
Let g be 25/50*(2 - 3)*-10. Solve -g*t - 8 = 12 for t.
-4
Let g = 30 + -15. Let f be (-1 - (0 - 2))*5. Suppose -f*s + 54 = 4. Solve s*r + g = 5*r for r.
-3
Let x be 1/4*180/15. Solve 2*s + 5 = -x*s for s.
-1
Let j = -224 + 225. Solve -3 = 2*o - j for o.
-1
Suppose 5*k - 45 = 4*g + g, -2*k = -5*g - 3. Solve -k*f + 11*f + 9 = 0 for f.
3
Suppose -2*a = 3*a + 250. Let d = 56 + a. Solve 3*g + d = -3 for g.
-3
Let m(g) = g + 44. Let o be m(3). Let n = o - 43. Solve 14 + 6 = -n*k for k.
-5
Let m = 14 + 1. Let g be m/(-25) - (-86)/10. Solve 3*z - g = z for z.
4
Let x(r) = -r**2 + 10*r + 13. Let d be x(11). Suppose -2*l + 1 = -3*h + 87, -49 = -d*h + 3*l. Let y be 1*4 + h/(-8). Solve y = 4*m - 0*m for m.
0
Suppose 40 + 125 = 5*y. Let c be (-14)/(-6) + (-11)/y. Solve 3*t - c*t - 1 = 0 for t.
1
Suppose 3 = -10*y + 11*y. Suppose y*w + 40 = -2. Let i be 12/20 - w/10. Solve -i*q + 1 - 3 = 0 for q.
-1
Let u = -25 + 46. Suppose -a + u = 9. Solve -27 + a = 3*x for x.
-5
Let o be (-40)/(-50) - (-66)/30. Solve -o*b + 24 = 3*b for b.
4
Suppose -3*b + 3 = -0*b. Suppose -16 + b = -d. Solve -4*x + 35 = d for x.
5
Suppose -v + 32 = 4*z, -26*z = -21*z - v - 40. Solve -9*d = -z*d - 1 for d.
1
Suppose -2*q + 6 = 18*g - 16*g, -g = 2*q - 2. Solve -2*d + g = -3*d for d.
-4
Suppose -8 = -4*q - 0*q. Suppose -o + 3*o - 2*y = 12, 0 = 2*o - y - 9. Suppose 4*z = o*s + 18, 3*z - q*s = z + 10. Solve a = -z*a for a.
0
Let z(h) = 2*h**3 - 23*h**2 - 15*h + 38. Let c be z(12). Suppose c*l = -2*k + 10, -1 + 21 = 4*l - 2*k. Solve -l = -3*b - 20 for b.
-5
Suppose 3*t + v - 285 = 0, t + 2*v + v - 95 = 0. Solve -5*g - 95 = -t for g.
0
Let o = 966 - 951. Solve -11*c = -o*c - 12 for c.
-3
Let x = -277 + 280. Solve x*p + 17 = 5 for p.
-4
Suppose -j = -2*b + 264, 3*j = 3*b - 0*j - 396. Solve -7*q + b = 139 for q.
-1
Suppose c + 5 = 0, 2*c + 15 = -w + 2*w. Suppose 0 = w*o - 6 - 9. Solve o*b + 4 = 1 for b.
-1
Suppose -3*s + 5*x = -30, -8*x + 4 = -s - 11*x. Solve 3*i + 11 = s for i.
-2
Let l(b) = b**2 - 5*b - 19. Let z be 7 - (-5 - (-4)/1). Let j be l(z). Let x be (-9)/6*2/(-1). Solve x*w - j = 4 for w.
3
Let z be 10/30 - 2/(6/(-47)). Let x = z - 16. Solve 2*u + 3*u = x for u.
0
Suppose -68 = -2*z - 9*r + 10*r, 0 = -3*z - 3*r + 93. Solve -13 + z = 10*t for t.
2
Let a be 0 - 5/(40/(-16)). Solve a - 14 = -3*o for o.
4
Suppose -43*k = -54*k + 77. Solve -7*d - k = -42 for d.
5
Let x 