205 + -205. Solve t = 3*d + 8 - 17 for d.
3
Let a be 12*(-3 - 30/(-12)). Let h be -4 - (a - -1) - 0. Solve -h = v + 4 for v.
-5
Let q(t) = 12*t**2 + 8*t - 8. Let r be q(1). Solve -4*i - r = -0*i for i.
-3
Let m(w) = w**2 - 7*w - 8. Let d be m(8). Let k(o) = -2*o - 18. Let p(j) = -j**2 + 5*j + 3. Let z be p(7). Let r be k(z). Solve d = f - r*f for f.
0
Suppose -47 + 3 = 4*a. Let s = 14 + a. Solve s*p = 2*p + 5 for p.
5
Let i(x) = -x**3 + 19*x**2 - 23*x + 90. Let v be i(18). Solve o - 5 = -v*o for o.
5
Suppose 114 - 38 = 4*h. Let g = h - 4. Solve -n - g = 2*n for n.
-5
Suppose 12 = -2*d - 0*d. Let q = d - -12. Let c(a) = a - 4. Let t be c(q). Solve 0 = -0*f - t*f for f.
0
Suppose 0 = -v + 15 - 13. Suppose -f - v*j + 11 = -9, j = 4*f - 35. Solve 0 = -3*d - 2*d - f for d.
-2
Let k be 3 + -1 - (-3 - -5). Suppose -3*f - 2*f = k. Suppose 5 = 87*a - 82*a. Solve -n - a + 0 = f for n.
-1
Let v = 482 + -480. Solve 0 = 6*y - 8 + v for y.
1
Let m = -66 + -14. Let v = m + 85. Solve -v*a - 8 = 2 for a.
-2
Suppose -z + 19*j = 18*j - 12, 4 = -z - 3*j. Solve -z*a + 2*a - 6 = 0 for a.
-1
Let k be (-3 - -2)/((6 + 2)/(-56)). Solve k*b + 30 = -5 for b.
-5
Suppose 0 + 4 = 2*w. Suppose -6*j + 140 = 92. Solve -2*r - w*r = -j for r.
2
Suppose -4*l + 2*a + 2*a - 4 = 0, 2*l - 4*a = -8. Solve 0*o - l*o = -8*o for o.
0
Suppose 0 = -5*z + 3 + 12. Let m = z + -1. Suppose m = o - 1. Solve 0 = -0*u - o*u - 6 for u.
-2
Let w(c) = c**2 - 4. Suppose 0*v + 3*x = -2*v - 6, 2*v - 3*x = -6. Let y be w(v). Let s(k) = -k**2 - 13*k - 12. Let t be s(-11). Solve t = y*b + 30 for b.
-4
Suppose f = -b - 81, 3*f - 25 = b + 56. Let s = b + 81. Solve -3*k + 9 + 6 = s for k.
5
Let d = -1661 + 1692. Solve -d = 3*k - 19 for k.
-4
Let x(c) = 4*c - 5. Let u be x(5). Suppose 0 = l + k + 3, -k = -4*l - 2 + 15. Solve 0 = l*i + i - u for i.
5
Let t(l) = 144*l - 109. Let q be t(1). Solve -24*z + q = -17*z for z.
5
Suppose -66*t - 131 = -659. Solve -t*f - 10 = -3*f for f.
-2
Suppose 3*f - r - 1 = 0, 4*r + 3 = -2*f + r. Let n = 42 - 38. Solve v + f = n for v.
4
Suppose -2*l + 0*l + 3*u + 6 = 0, 2*u = -5*l - 4. Solve -3*r - 3 = -l*r for r.
-1
Let k = 81 + -78. Solve 18 = -k*v + 6 for v.
-4
Suppose -5*c + 2 + 6 = -n, 2*n - 10 = -3*c. Let v = c + -10. Let w be (-7)/(-2) + (-12)/v. Solve -w*d = 2 - 17 for d.
3
Let r(y) = -y**2 + 15*y + 54. Let k be r(18). Suppose -4*a - 27 = -4*i + 1, k = -3*a + 6. Solve 4*s - 15 = i*s for s.
-3
Let b = 77 + -133. Let w = b + 61. Solve 0*z = -5*z - w for z.
-1
Let b be -2 - -23 - (-2)/((-12)/(-18)). Solve 4*w - b = -32 for w.
-2
Suppose 3*r - 2 = -2*f, -r + 32 = 4*f - 2*r. Solve 0 = -f*p + 11*p + 4 for p.
-1
Let x(n) = -n**3 - 6*n**2 + 73*n + 460. Let b be x(-6). Solve -10 - b = 8*s for s.
-4
Let k be (-1 + 3)/(4 - 2). Let n = 4 - k. Let g(c) = -c + 35. Let b be g(15). Solve 0 = n*o - 8*o - b for o.
-4
Let w be (-132)/(-16)*-6*-2. Let g be (-16)/(-9) + 22/w. Solve 2*q = -g*q - 20 for q.
-5
Suppose 3*i + 4*n - 19 = 0, -2*n = -4*n + 2. Solve i = -4*s - 15 for s.
-5
Let t be 14/4 - (-1)/(-2). Let s be ((-3)/4)/(21/(-56)). Let q be 1*(7 + 3 - s). Solve -t*m + 5*m = -q for m.
-4
Let p = 127 - 122. Solve -p*n = -8*n - 9 for n.
-3
Let o(l) = -229*l + 942. Let u be o(4). Solve 13*a - u = 26 for a.
4
Suppose -4*m + 4*o = -16, -12 = -6*m + 2*m + 2*o. Let d be (-2 + 1)*(-4)/m. Suppose -3*u - 3 = -3*p, -84*u - 18 = -3*p - 86*u. Solve -2*x = d*x - p for x.
1
Let y = -27 - -52. Let t be ((-18)/(-3) + -8)*5/(-2). Solve -t*p - y = -0*p for p.
-5
Let r be (-2)/2 + (15 - 2). Let m(g) = g**2 + 43*g + 193. Let u be m(-38). Solve 3*y + u = -r for y.
-5
Suppose -4*o + 28 = -2*o. Solve -17*v = -o*v + 9 for v.
-3
Let i(h) = -h**2 - 6*h - 4. Let a be i(-2). Let p be (-12)/(-20) - (-427)/5. Suppose -6*w = -a - p. Solve -w = -3*b - 0*b for b.
5
Let g(f) = f**2 - 3*f + 2. Let z be g(5). Solve 4*r + z + 8 = 0 for r.
-5
Suppose 4*j - 3*l = 32, 2*j - 3*l - 2 = 8. Suppose p - 14 + j = 0. Solve -v - 16 = p*v for v.
-4
Let q be (-1)/3*-1*114. Solve 0 = 3*s - q + 35 for s.
1
Suppose 109*y - 380 = 114*y. Let q = -67 - y. Solve -q*w = -5*w - 8 for w.
2
Let d(o) = -o**3 - 18*o**2 - 49*o - 45. Let r be d(-16). Solve 233*p - 24 = r*p for p.
4
Suppose 7*h - 8*h + 2 = 0. Let r(s) = -2*s - 40. Let i be r(-20). Suppose -h*l - 4 = -3*b + 2, i = -2*b - 2*l - 6. Solve b = -2*u - u - 6 for u.
-2
Let h be ((-2)/(-3))/(4/42). Suppose -h*c + 3*c + 8 = -2*j, -j = -c. Let u = 1 + -1. Solve u*x - 20 = -c*x for x.
5
Let w(l) = l**2 + 6*l + 7. Let b be w(-6). Let k = -7 + b. Suppose k = 31*u - 29*u - 4. Solve 0*c - c - u = 0 for c.
-2
Let g = 2 + 3. Let f = g + -1. Suppose 3 - 9 = -3*l. Solve -c = -l*c + f for c.
4
Suppose 127*m - 136 = 123*m. Solve -m*s + 35*s = -3 for s.
-3
Let b = 277 + -273. Solve 0*g - b = 2*g for g.
-2
Suppose 2*j = -5*u + 210, -32*u + 30*u - 4 = 0. Solve 0 = -16*m + j - 30 for m.
5
Suppose 0 = -3*y + 5*l - 0 + 10, y + 5*l = -10. Suppose 0 = 4*i - 2*i + 26. Let w = -9 - i. Solve -w = -y*o + 2*o for o.
-2
Let w(m) = 3*m + m**2 + m + 0 - 2. Let b be w(-6). Suppose 0 = 26*x - 350 + 90. Solve -5*n = -x - b for n.
4
Let p be (-4)/(-2) + 14 - (0 + -4). Suppose r = 5*q - p, 2*r + 4*q - 40 = -2*r. Solve 8*a = 3*a - r for a.
-1
Suppose -2*u + u - 4*i + 2 = 0, -4*u - 4*i - 4 = 0. Let n be (14/(-28))/(u/(-32)*-2). Solve -10 = n*x + 6 for x.
-4
Let n be -4 - (-9)/6*48/18. Solve -2*o = -n*o for o.
0
Suppose -4*q + 4*o = -20, 4*q + o - 16 = 3*o. Let z = 60 - 10. Suppose -3*i + z = 2*i. Solve -q*u - i = -u for u.
-5
Let n(l) = 34*l + 47. Let s be n(-1). Solve 0 = s*f - 16*f + 6 for f.
2
Suppose 2*i + 6 = 2*r, -184*r = -179*r - 4*i - 12. Solve r = 5*l - 4 - 11 for l.
3
Let z be 2/(5/((-220)/(-8))). Suppose z = 3*o - 16. Suppose 0 = -2*a - k + o, 4*a + k = -0 + 15. Solve 0 = -a*s + 3 - 9 for s.
-2
Let g be 44/(-6)*(-15)/10. Let h be -84*-5*2/(-60)*-4. Let x = h - 47. Solve x = -4*n - g for n.
-5
Suppose -93*t - 45 = -98*t. Solve 6*r = 27 - t for r.
3
Let b be -1*9*(-1120)/315. Solve -20*f = -12*f + b for f.
-4
Let v = -106 - -130. Solve 21*s = v*s + 12 for s.
-4
Suppose k - 2 = 3*p, 28*k - 26*k - 7 = 3*p. Let o(n) = -n**3 + 6*n**2 - 6*n. Let u be o(5). Let x = 8 + u. Solve -w - k = -x for w.
-2
Suppose -4 = 2*j, 3*q + 0*q + 8 = -4*j. Let h(d) = -3*d + 6. Let r be h(5). Let x = q - r. Solve 1 = -4*v + x for v.
2
Let h(l) be the third derivative of l**4/24 + 3*l**3/2 + 9*l**2. Let g be h(-8). Suppose 5*i = 4*i + g. Solve 4*k - i = 3 for k.
1
Let j(m) = -6*m - 74. Let n be j(-13). Solve n*l = -6*l + 20 for l.
2
Let u = 775 - 769. Solve -1 = 5*l - u for l.
1
Let i be (-6 - -2) + 68/17. Solve i = -3*b - 3*b + 24 for b.
4
Suppose -5*h + 0*h = 0. Suppose h = -3*v + 5*v + 8. Let l be v/(-6) - 320/(-24). Solve -l + 39 = -5*p for p.
-5
Suppose -5*b - 15 = -2*y, 4*y = -b - 0 - 3. Let i be (-42)/126 + (-39)/(-9). Solve -i*v = -y*v - 20 for v.
5
Let z = 1204 - 1198. Solve z*m - 39 = -9 for m.
5
Let w(n) = n**2 + n - 18. Let t be w(4). Solve t*a = -3*a + 15 for a.
3
Let a be (-776)/26 - (-6)/(-39). Let f = a - -32. Solve -f*c - 3*c - 20 = 0 for c.
-4
Suppose 0 = t - 1, p + t = 2*p. Let r(k) = k**2 - k - 54. Let l be r(-7). Solve -p = -d + l for d.
3
Let q be (-3)/(-9)*(-6)/1. Let w be 240/10 + q + 3. Solve -4*v - v = -w for v.
5
Suppose -2*w - w = 0. Let q be (-3 + 2)*(-3 - w). Suppose 5*b = -x - 10, -4*x = 5*b - q - 2. Solve x*y = 4*y + 2 for y.
2
Let r(d) be the first derivative of d**2/2 + 9*d - 1. Let b = -64 - -59. Let a be r(b). Solve a*t - 11 = 1 for t.
3
Let x(y) = y**3 - 8*y**2 + 2*y - 11. Let n be x(8). Suppose -n*b = -5 - 20. Suppose -32 = -b*k - 12. Solve k*j + 19 - 3 = 0 for j.
-4
Suppose 42 + 30 = 5*p - w, -w - 30 = -2*p. Suppose -4*r + 11*r - 35 = 0. Solve -r*d - 6 = p for d.
-4
Let c = 18 - 92. Let n = -71 - c. Solve 0 = 5*z - n*z for z.
0
Let u(i) = i**3 - 6*i**2 + 2*i - 9. Suppose 0 = 2*b + 3*b - 30. Let c be u(b). Let g be (c - 0) + 24/2. Solve l - g = 6*l for l.
-3
Let t be 2/5 - 169/(-65). Let o = 21 + -18. Solve 0 = -4*j + o*j - t for j.
-3
Let r be (-140)/(-18) - (0 - (-2)/(-9)). Suppose -2*w = f - 21 + r, 5*w + 2*f = 31. Solve 1 = -2*t + w for t.
2
Let y be (14/3)/(2/9). Suppose 0 = -0*a - 7*a + y. Solve -5 = -a*t - 11 for t.
-2
Suppose -5*u + 0*j = j - 15, 29 = 2*u + 5*j. Suppose 0 = n + 5*m + 6, 5*n - 4 = u*