r b.
4
Let q(p) be the second derivative of p**5/20 + 2*p**4/3 + 7*p**3/6 + p**2 - p. Let v = -1765 + 1758. Let g be q(v). Solve -s = g*s for s.
0
Suppose 89*c - 86*c = -18. Let m = 10 + c. Solve 0*p + 8 = m*p for p.
2
Let d = 22079 + -22048. Solve d*s = 15*s + 64 for s.
4
Let a(k) = 2*k - 74 + 83*k**2 + 76 + 96*k**2. Let n be a(-1). Suppose 8*g - n + 75 = 0. Solve g - 5 = 2*y for y.
4
Let z(y) = -7*y**2 - 4*y - 2. Let a be z(-4). Let t = a - -53. Let m = 60 + t. Solve -m = -k - 4*k for k.
3
Let w = 0 + 3. Let x(y) = -y**2 - 37*y + 221. Let u be x(-42). Suppose b - 2 = -0, w*b = -i + u. Solve -2*d = -i*d + 6 for d.
2
Let d be ((-117)/52)/((-6)/8). Suppose -2*c + 0*c = -d*u + 17, 3*u + 4*c - 11 = 0. Solve -u*m + m = 4 for m.
-1
Suppose 0 = -10*y + 9*y + 7. Solve 5*g = 10*g + y*g for g.
0
Let k(a) = -a**2 + 23*a - 121. Let u be k(15). Let r be u/2 - (-1)/2*9. Solve -10 = 3*l - r for l.
-2
Suppose -12 = -2*p - p. Let k be (-1)/((-1)/(-10)*-2). Suppose p*f - k*f + 4 = 0. Solve a - f*a + 12 = 0 for a.
4
Let q(b) = 28 - 26*b + b + 8*b - 92. Let l be q(-4). Solve -l*g - g + 15 = 0 for g.
3
Suppose 0 = y - 5*d + 14, -d + 13 = 4*y - 15. Suppose y*h = 9 + 9. Let u be h - -1 - ((-4 - -4) + 4). Solve -q + 4*q = u for q.
0
Let t = 5700 - 5492. Solve 0 = -25*i - t + 33 for i.
-7
Let x be 50/3*(-408)/(-16). Solve -432*b - 49 = -x*b for b.
-7
Let n(z) = -25*z**3 + z**2 - z - 2. Suppose 2 = -i + w + 9, 0 = 5*w + 15. Let j be ((-1)/i)/(2/8). Let v be n(j). Solve -b - v = 4*b for b.
-5
Let l = -47 - -46. Let a = l + 1. Suppose -4*x - 63 = -3*k, -3*k + 60 = -a*k - 5*x. Solve -3*b - 2*b - k = 0 for b.
-5
Let i = -3482 - -3512. Solve 16*x + i = x for x.
-2
Let d be ((-260)/39)/(20/(-15)). Let a = 8 + -5. Suppose -3*g = -a*j + 6, -g - 12 = -d*j + 6. Solve b - 5*b + j = 0 for b.
1
Let t(z) = z**2 + 9*z - 16. Let g be t(-12). Suppose 0 = 22*i - 46 - g. Solve 5*v = -i*v for v.
0
Suppose -16*b = l - 12*b - 100, 2*l = -3*b + 225. Suppose -9*x = -l + 93. Solve -16 = x*c + c for c.
-4
Suppose 6*j = 45 + 75. Let f be ((-24)/48)/((-2)/j). Solve 0 = f*x + 31 - 6 for x.
-5
Let a be 11/(-22) - (18/(-4) + -1). Let f be 40/14*14/4. Suppose 0 = -n + 6*i - 3*i + 3, 5*i + 5 = -2*n. Solve a*h + n*h = f for h.
2
Let m(t) = 2*t**3 - 4*t**2 + 5. Suppose 0 = -3*y - 0*o - 2*o + 4, 3*y = 3*o + 9. Let c be m(y). Solve -b - 8 = -c*b for b.
2
Suppose -9*i = -15*i + 210. Suppose 476*p - i = 471*p. Solve 14*n + 14 = p*n for n.
-2
Suppose 14*d - 70*d - 10 = -10. Let t(o) = -2*o**3 + o**2 + o + 1. Let k be t(-1). Suppose 4*z - n = -k*n + 12, z - 3 = 4*n. Solve 7*x - z*x - 12 = d for x.
3
Let d(j) = j**3 - 33*j**2 - 35*j + 37. Let s = 53 - 19. Let g be d(s). Solve g = -3*a - 0*a for a.
-1
Suppose -50 = -4*y + 62. Let u(h) = h + 4. Let d be u(0). Suppose d*t = 2*n + 52, 5*t - 65 = -0*t - n. Solve t = 5*v + y for v.
-3
Suppose -2*j = -3*k + 22, -2*k + 17*j - 13*j = -28. Suppose -k*r = -17*r + 117. Solve 2*d - 1 = -r for d.
-4
Suppose -4*c - 1777 = -5*i, -8*c + 13*c = 5*i - 1775. Let n = i + -355. Solve 3 = -x - n for x.
-5
Let a = -146 - -140. Let h(c) = 2*c**3 + 11*c**2 - 7*c + 5. Let y be h(a). Solve -35 + y = 8*i for i.
-3
Suppose b + 60 - 54 = 0. Let r be (-7 - (b - 3)) + 6. Solve -r*s = -4*s + 4 for s.
-1
Suppose 0 = -5*b + 2*u + 21, -4*b - 3*u + 29 - 26 = 0. Solve -b*g + 11 - 23 = 0 for g.
-4
Suppose -65*b - 295 + 1662 = -1298. Solve b*i + 2 = 39*i for i.
-1
Let q be (-35)/(1050/144)*(-5)/2. Solve q*j + 145 = 193 for j.
4
Let o = 5 + 0. Let m(s) = -s**2 + 5*s - 1. Let k(v) = 2. Let h(y) = 2*k(y) + m(y). Let n be h(o). Solve -i + n*i = 0 for i.
0
Let g = -1950 + 1959. Solve -9*b + g = -0 for b.
1
Let k = -4594 + 5566. Solve -30*q + k = -138*q for q.
-9
Let l be ((-17)/(-4))/(4/16). Let r(a) = -a**3 - 3*a**2 + 29*a + 4. Let z be r(-7). Let n(d) = 21*d + 66. Let w be n(z). Solve 8 = w*o + l for o.
-3
Let l = -390 - -468. Suppose 0*t + l = 5*t + 2*x, -2*x = 2*t - 36. Solve t - 13 = -y for y.
-1
Let r = -18 - -44. Suppose 0 = 4*n - 46 + r. Let m be (-2)/6*(-5 + n). Solve m = 4*w - 2*w - 2 for w.
1
Suppose -5*j = 30*w - 26*w - 310, 5*w - 455 = 5*j. Solve w*u + 98 = 99*u for u.
7
Let q be 0/(-3)*-7*15/(-210). Let v be 0 + -1*3*1. Let g = 6 + v. Solve -d - 5 + g = q for d.
-2
Let b = 9 - 9. Suppose -4*t - 896 + 296 = b. Let y be ((-2)/5)/(12/t). Solve 2*s - y = -13 for s.
-4
Suppose 81*c - 86*c + 46 = -2*w, 0 = -c - 3*w + 16. Solve -188 + 218 = c*p for p.
3
Let j be (8/(-14))/(6/(-42)). Let o be -6*j/(-4) - 2. Solve w + 3 = o*w for w.
1
Let j(y) = 5*y + 1. Let z(t) = -t**2 - 10*t + 12. Let s be z(-11). Let i be j(s). Let x(p) = p**2 + 133*p + 2169. Let d be x(-114). Solve -d*q - 3 = i for q.
-3
Suppose 19 = 4*c + c + 3*k, k - 23 = -5*c. Suppose -35 = -3*b + 5*u, 8*b - 13*b - c*u = -5. Solve 0 = -b*p + 21 + 4 for p.
5
Suppose -40*f + 2856 = -12*f. Solve -f + 94 = 4*a for a.
-2
Let w(o) = 31*o + 2153. Let r be w(-64). Solve -50*h - 81 = r for h.
-5
Suppose 2*a - 931 = -5*p - 906, 2*a + p - 5 = 0. Let k = 3 - 1. Suppose -k*c + 3 + 23 = 5*l, c = -l + 7. Solve 0*f - c*f - 15 = a for f.
-5
Let k = 499 + -930. Let a = k - -433. Solve -2*h = a*h - 12 for h.
3
Suppose -10*t + 13*t - 768 = -5*v, -3*t = 4*v - 615. Solve 0 = v*a - 155*a - 14 for a.
-7
Let x(y) = y**2 + 264*y - 1615. Let w be x(6). Suppose -5*a + 17 - 2 = 0. Suppose -3*k + 12 - 30 = -a*u, 5*u - 6 = -k. Solve -w*j + u = -8 for j.
2
Let i(p) = 1. Let z(o) = -10*o + 16. Let c(r) = -5*i(r) + z(r). Let m be c(-5). Let n = m + -51. Solve 3*x = x + n for x.
5
Suppose 0 = -24*w + 78 + 18. Suppose -3*t + w*y - 11 = 0, 4*y + 0*y = 4*t + 8. Let z(s) = -s**2 - 6*s - 4. Let m be z(-3). Solve t*n = -2*n + m for n.
1
Let w be (-2 - 4/(-2))/1. Let m be -14 + 8 + (-2 - -5). Let i be (m + -1 + 7)/(9/6). Solve i*p + 3*p - 5 = w for p.
1
Suppose 5*y - 56 = -4*j, -6*y + 3*y = 2*j - 30. Solve 0*x + 9 = j*x for x.
1
Suppose 5*d + 10 = 0, -30*y + 30 = -28*y + 5*d. Solve 17*x - y = -54 for x.
-2
Let p(n) = 3*n - 7. Let d be p(4). Suppose 4*l - 12 = -d*f, 4*l = f + f + 12. Solve r - 4*r = -l for r.
1
Let z be 50 + -5 - (10 - 1). Let c(u) = -u**2 + 3*u. Let w be c(3). Suppose -j - 5*j + z = w. Solve -4 = -5*k + j for k.
2
Let m(k) = -k**2 - 5*k - 2. Let q be m(-3). Suppose -3*r + 0*r = -x + 5, -3*x + 35 = -q*r. Suppose -4*f = -x*f + 78. Solve a = -a - f for a.
-3
Suppose -2525 + 725 = -24*k. Solve -61*h = -k*h + 70 for h.
5
Let m = -31763 + 31781. Solve m*b = -10*b + 252 for b.
9
Let a = 5179 - 3436. Solve 7*b + 1722 - a = 0 for b.
3
Let d = 240 + -239. Let s be 143/39 - d/(-3). Solve -s = 5*l - 24 for l.
4
Let h = -139 + 142. Suppose -h*p + 0 = -2*w - 6, 2*p - 5*w - 4 = 0. Let j = -1 + 3. Solve -j = -p*r + r for r.
2
Suppose 10 = -5*u + 5*k, 0 = -k - 8 + 10. Let n be (10 + (-155)/15)*(-12 + u). Solve 2 - 6 = n*z for z.
-1
Let s = 157 - 180. Let k be (s/((-575)/(-10)))/(2/(-30)). Solve -k*n + 5 = -n for n.
1
Suppose 0 = -r - 3*d, d - 27 + 5 = -4*r. Solve r*x + 84 = -22*x for x.
-3
Let i = 102 + -57. Suppose -2*w + i = 37. Suppose -w*x + b + 23 = 0, 2*b = -x - 2*b - 7. Solve -6*h + x*h = 4 for h.
-4
Suppose 4*v - 47 = -3. Let n = 15 - v. Suppose -n*l + 4*s + 0*s = 0, -l = -3*s. Solve l*j - 12 = 3*j for j.
-4
Suppose 2*d - 42 = -2*u - 4, 0 = 4*d + 8. Suppose u = 10*s - 19. Solve 4*h - 12 = -s for h.
2
Suppose -6 = -u - 2*f + 5*f, 2*u + f = 5. Suppose -2*d - v + 6*v = 9, -9 = d - 4*v. Suppose d*y - 5*x - 3 = 11, -5*y - 3*x = -46. Solve -p = -u*p + y for p.
4
Let i = 84 + -80. Let a(o) = -o**2 - 20*o - 15. Let c be a(-19). Suppose i*u - c*z = 20, 2*u - 4*u + 17 = 5*z. Solve 0 = u*k - 5*k - 3 for k.
3
Suppose -4*a = 5*a + 828. Let s be (-4)/(-4 + a/(-24)). Let c = 26 - s. Solve -2*o - c*o + 16 = 0 for o.
4
Suppose 35 = 5*h - 5*y, 2*y + 8 = -0. Suppose 1186 = -3*s + g - h*g, -1548 = 4*s - 4*g. Let u be s/(-70) + 6/(-10). Solve u*n + 5 = 4*n for n.
-5
Let q = 30 + -32. Let g be (1/(-2))/(q + (-187)/(-94)). Let n = -45 + g. Solve -u + 1 = -n for u.
3
Suppose 2*h - 228 = -5*r, -4*r - 114 = -2*h + h. Suppose 22*j = 20*j - h. Let o = 63 + j. Solve -3*b + o = -9 for b.
5
Let z(m) = m**2 + 6*m - 12. Let w be 340/(-35) - (-2)/(-7). Let p be z(w). Let b = p - 24. Solve 0 = 3*a - b - 8 for a.
4
Let l(k) = 5*k**2 + 3*k. Let x be l(-1). Let h be -2 + 4 - (-96)/(x + -1). Let q = h - 94. 