64*a + 5890. Solve 163 = 2*d + a for d.
4
Let s(t) = -t**2 + 2*t + 50. Let g be s(0). Let y be g/18 - 34/(-153). Solve y*n + 0 = 6 for n.
2
Suppose 3*k + 220 - 244 = 0. Solve -2*j + k*j + 0*j = 0 for j.
0
Let d(c) = c**3 + 5*c**2 - 14*c + 8. Let m be d(5). Suppose 10*s - m = -68. Solve -3*j = j - s for j.
3
Suppose 4*o = -3*l + 86, 8*l + 52 = 3*o + 4*l. Solve 5*u - 5 - o = 0 for u.
5
Let w = -20 - -27. Suppose m + 8 = 3*c, -5*c + w*m + 8 = 4*m. Solve 0 = d + c + 1 for d.
-5
Let z = 1 - -21. Solve -z = -u - 17 for u.
5
Suppose 2*c = -v + 5*v - 24, -4*v + 28 = -c. Suppose v*p - 9*p = -5. Solve 0*u + p*u + 25 = 0 for u.
-5
Suppose 4*b - 8 = -j, 0 = -b + j + 3*j + 19. Solve b + 17 = 10*s for s.
2
Let d(u) = -20*u - 329. Let x be d(-17). Solve 28 + 5 = x*z for z.
3
Let m(i) = 7*i**3 + 17*i**2 + 3*i - 13. Let f(t) = -20*t**3 - 50*t**2 - 8*t + 38. Let w(j) = -5*f(j) - 14*m(j). Let u be w(-6). Solve 0*z = -4*z + u for z.
1
Suppose -20 = -19*y + 14*y. Let b be (2 + -4 - -13) + y. Solve -v + 6*v + b = 0 for v.
-3
Let q be (-20)/(-6)*(-54)/(-30). Solve -11*d + 8*d + q = 0 for d.
2
Let q be 7*-1*(0 + -1). Suppose -5*v + u + 81 = 9, -3*v = u - 40. Suppose 0 = -3*r + 3*k + 15, -2*r + 4*r - 4*k = v. Solve 0 = q*y - r*y for y.
0
Let q = -19 + 10. Let g = q - -11. Suppose 0 = -g*z - 5*t - 10, -t = 4*t + 10. Solve z*w = 2*w + 4 for w.
-2
Let p(k) = k**2 - 10*k + 21. Let m be p(8). Suppose m*x - 21 = -4*z, -3*x - 2*z + 11 + 2 = 0. Solve 2*i - i - x = 0 for i.
5
Suppose 0 = -737*p + 724*p. Solve -6*d + 29 + 1 = p for d.
5
Let s be (0 - -20)*(-14)/35. Let y be (-26)/s - (-3)/4. Solve 0 = -l - 0*l - y for l.
-4
Let p(s) = 6*s + 3*s**3 - 2*s**3 + 6*s**2 - 13*s + 5. Let h be p(-7). Solve -h*d = -8*d + 6 for d.
2
Suppose 3*t - 140 = 73. Let d = -69 + t. Solve -8 = -6*s + d*s for s.
2
Suppose 2*d + 0*d + 20 = 4*i, 5*i - 25 = 4*d. Suppose d = 6*t - 10*t + 12. Solve k + t*k = -12 for k.
-3
Suppose -4*l - 2*q + 58 = -0*q, -4*l - 3*q = -57. Suppose -a - 6 = -5*j + l, -5*j = -25. Solve -a*k = -3*k for k.
0
Suppose 5*o = o + 40. Let t be 4/((18/45)/(2/o)). Solve 0 = -5*k + t*k for k.
0
Let j(u) = -u + 7. Let x = 8 - 5. Suppose 4*y + 2*b + 18 = 0, 2*y - x = 3*y + b. Let t be j(y). Solve -5*r = -t + 3 for r.
2
Suppose 2*b - 29 = -3*p + 41, 4*p + 5*b = 105. Suppose -5*j = t - p, t = -4*t - 25. Suppose -10 = u - 5*s, -4*u - 3*s - 4 = -j*s. Solve u = -2*i + 3 - 1 for i.
1
Let b be 10/(-70) + 22/7. Suppose 15 = -5*z, 4*j + 3*z + b = 2*z. Solve o = -j*o for o.
0
Suppose -23 = -5*n + 2. Let p = 1 + 37. Let t = 45 - p. Solve 18 = -n*w - t for w.
-5
Let l = -646 - -650. Solve -l = 2*d - 4*d for d.
2
Suppose -4*w = 5*l - 52, -2*w + w + 13 = -l. Suppose -w = -5*d + 4*d. Solve 2*r = -3 + d for r.
5
Suppose -6 = -2*t + 6. Suppose -2*g - 8 = -t*g. Suppose 6*x - x = 20, -g*x + 16 = 2*i. Solve -4*a = 16 - i for a.
-3
Let s(q) = 6*q**2 - 2*q - 1. Let u = 9 - 10. Let b be s(u). Let l(g) = -g + 10. Let t be l(b). Solve -5 = 2*y - t*y for y.
5
Let r(b) = -b**3 + b**2 - 2*b + 12. Let o be r(0). Let n = 6 + -6. Solve n*x - 4*x = -o for x.
3
Suppose -s - 96 = -6*d + d, 5*s = -5*d - 360. Let m = -74 - s. Solve m*k = -0*k for k.
0
Let b(z) = -z**3 - 5*z**2 - 9*z - 18. Let n be b(-4). Let f = 2 + 1. Suppose 2*c = -f*c. Solve n*l + c = -6 for l.
-3
Let g = 292 - 289. Let n be (-2 - (-2)/(-4))*2. Let p = n + 7. Solve 1 = p*f + g for f.
-1
Suppose 5*z + 4*u = 32, z = 2*u + 18 - 6. Solve z*t + 31 = -1 for t.
-4
Let g be (-3)/(-24) + 69/24. Solve 4 = -w + g*w for w.
2
Suppose 2*q - 4*z = -12, -4*z + 5 = -3. Let c be (-1 - -2)/(q/(-10)). Let m = -151 + 151. Solve m = 5*g + c + 15 for g.
-4
Let s(d) = 145*d**2 + 6*d - 1. Let w be s(-1). Solve -w*t = -139*t - 2 for t.
-2
Let m(r) = -3*r**3 - r. Let b be m(-1). Let a(v) = v**2 + 5*v + 9. Let y be a(-4). Suppose 10 = -f + 5*w, -y*f + 85 = w + w. Solve b*x - f + 3 = 0 for x.
3
Suppose y + 8*k = 3*k + 25, 2*k = -3*y + 23. Suppose -4*l + 98 = 3*l. Suppose 2*j - 4 = 2*g - l, -2*g = j - 10. Solve -y = -5*d - j for d.
1
Let u = 40 - 37. Suppose -2*s - 5*f + 38 = s, 4*s - 5*f - 4 = 0. Solve 0 = -5*m + u*m + s for m.
3
Suppose -9 = -9*c + 6*c. Solve 16 = c*u + 1 for u.
5
Let x = 12 - 4. Suppose 4*c - 3*y - 11 = 0, -14 = -5*c + y + x. Suppose 16 = c*r - 4. Solve -3*u - u - r = 0 for u.
-1
Let p(n) = n**2 + 10*n. Let w(z) = 9*z**3 - 2*z**2 + 2*z + 3. Let h be w(-1). Let x be p(h). Solve 0 = -x*u - 2*u + 4 for u.
2
Let b be 2/(-4)*(-10)/5. Let x = b - -2. Suppose x*p = -0*p + 9. Solve 0 = p*l + 2*l + 15 for l.
-3
Let k(i) be the second derivative of i**4/12 - 5*i**3/6 - 2*i**2 + 4*i. Let f be k(6). Let t be f + (2 - (1 + 0)). Solve v + 2*v = t for v.
1
Let g be 3 - 21/3 - -4. Suppose -8*w = -32 - g. Solve 0 = t - w + 1 for t.
3
Let m = 713 - 692. Solve m = 4*c + 3*c for c.
3
Suppose -4*z + 2*l = -20, -3*z + 2*l + 10 = -4. Let w be z/4*(-36)/9. Let d be (6/(-5))/(w/15). Solve d = -h - 2 for h.
-5
Let j = 7 - 2. Suppose 0 = -15*k + 11 + 4. Solve -j - k = 3*s for s.
-2
Suppose -3*y + 188 = -5*z, -4*y + 2*z + 258 = -z. Solve -19*r - y = -9 for r.
-3
Suppose 145*c - 4 = 144*c. Let x be (1 - 1) + 2 - -24. Solve -c*p - x = -10 for p.
-4
Let a be -45 - ((-10)/2 - -5). Let c = a - -47. Solve 1 = -c*j - 1 for j.
-1
Let a(h) = 2*h - 70. Let j be a(37). Solve -60 = j*q - 60 for q.
0
Let v = -398 + 411. Solve 0 = 9*r - v*r + 20 for r.
5
Let q = -81 - -83. Solve 11 = -q*r + 15 for r.
2
Let w(x) = x**2 + 10*x + 2. Let d be w(-10). Suppose 6 = d*r - 0. Solve r*y = -y + 16 for y.
4
Let r(u) = -u**3 - 12*u**2 + 2*u + 32. Let o be r(-12). Solve -41*z + 43*z - o = 0 for z.
4
Let p be 9*(66/9 - 7). Suppose 0 = 4*s - w - 40, -4*s - 5*w = -5*s + 29. Solve 0*t = -p*t - s for t.
-3
Let s be (-6)/15 + (-185)/(-25). Suppose 4*r - 21 = -r + 3*i, 3*r + i - s = 0. Suppose -2*t - r*j + 21 = t, 3*j + 3 = 5*t. Solve 5*a - 6 = t*a for a.
3
Suppose 5*x + 4*d - 10 = 25, -2*d = 0. Let z be ((-1)/x)/((-2)/14). Solve z + 19 = -5*n for n.
-4
Let y be (0 - 2)*(-161)/46. Solve -y*r - 20*r = -2*r for r.
0
Let p be 15/24*20 - 5/2. Solve 2*m + p - 18 = 0 for m.
4
Let h(o) = 4*o**2 + 7*o + 4. Suppose -6*w = -7*w - 2. Let y be h(w). Let k be -4 - y*(-12)/8. Solve -4*z = -k - 15 for z.
5
Let g = 450 - 433. Solve 0 = -g*c + 20*c - 6 for c.
2
Let w be (-1)/(-4) - 891/44. Let p be (-2)/w*5*(1 + 7). Solve k = p*k for k.
0
Suppose l + 3*p = -6, -3*l - p + 6 = -0. Suppose -l*x - 2 = -11. Solve -x*r = r - 16 for r.
4
Let c be (-48)/(-10) - (-2)/10. Suppose 4*j - c*j + 10 = 0. Suppose 5*t + 0*t = j. Solve -t*y - 2*y = -12 for y.
3
Let r be -6*(1 - 14/4). Solve 3*p + 6 - r = 0 for p.
3
Suppose -3*g = 3*a - 9, -3 - 6 = -3*a + g. Solve 7 + a = 5*z for z.
2
Let r be 5 + 33/(-12) - 3/(-4). Solve 6 + 3 = -r*b for b.
-3
Suppose 2*a - 10*a = -96. Solve 27 = -3*m + a for m.
-5
Suppose -20 = -8*r - 12. Solve -7*v + 15 = r for v.
2
Suppose 37*f - 3*i + 9 = 40*f, 0 = -3*f - 5*i - 1. Solve -f*z - z = -27 for z.
3
Let v = -277 - -281. Solve -v*u = -1 - 3 for u.
1
Let o(c) = 2*c**3 - 63*c**2 + 34*c - 80. Let p be o(31). Solve -p = -18*d + 59 for d.
4
Let a(s) = s**3 + 4*s**2 + 4*s + 2. Let o be a(-2). Let w be ((-13)/5 + (-3 - -6))*5. Solve -o*g - w = -6 for g.
2
Let w be (-1)/(-3)*(-252)/(-12). Solve 5 = 3*f - w for f.
4
Suppose m - 3 = 0, -4*m - 103 = -11*b + 6*b. Solve -1 = 6*s + b for s.
-4
Let u = -107 + 179. Let y be u/6 + -1 + 4. Solve -2*a - a = y for a.
-5
Let n be 4/10 - (-33)/5. Let d(v) = -3*v - 2. Let s be d(-4). Suppose 4*p + 896 = 904. Solve -n*j = -p*j + s for j.
-2
Let g = 6 - 5. Let o(b) = 18*b + 2. Let z be o(g). Suppose -3*p = 4*y - 8, -p - 2*p - 3*y = -6. Solve -z = 4*c - p*c for c.
-5
Suppose -3*l - 5*y + 1 = 0, -5*l + 5*y + 13 = -l. Suppose 4*b - 3*s = -b - l, 26 = 3*b + 5*s. Let d be (-3)/((-3)/(b + 1)). Solve -2 = d*u + 4 for u.
-2
Let y = 15 + -2. Suppose -10*u = -y*u + 12. Solve u*d = 24 - 8 for d.
4
Let n(q) = -q + 4. Let p be n(3). Let r be (-20)/6*(-24)/16. Suppose r = u + p. Solve 0*v = v + u for v.
-4
Let l be 3/(-2)*-2 + (-8)/4. Let s be (-3 - -2)*(1 - l)*1. Solve s = 4*b + b for b.
0
Let w(c) = c**2 - 5*c + 3. Let a be w(6). Let l(m) = -m**2 + 4*m + 6. Let n be l(3). Let j = a - n. Solve j = r + 3*r for r.
0
Let n = -16 - -18. Let d be (2 - 4) + (n - -2). Solve 1 + d = j for j.
3
Let u be ((-14)/4 - -3)