 = 2*k. Let h = k - 7. Solve 5 = -2*d - h for d.
-5
Let t be 3/(-2) + 4/(-40)*-235. Solve 12*i - 10 = -t for i.
-1
Let t be (-20)/(-3)*168/70. Let n = t + -6. Solve n = -2*g + 2 for g.
-4
Let f(m) = -m**2 + 7*m + 5. Let b = 0 - -8. Let u be f(b). Let n be 0 + -1 + 1 - u. Solve 0 = -5*d + n*d for d.
0
Suppose -113*f = -125*f. Suppose 0 = 2*j + j. Suppose j = -3*o + 4*o. Solve o*a + a + 4 = f for a.
-4
Let z(s) = -s**3 + 3*s**2 + s - 3. Let v be z(2). Solve -20 = 2*k + v*k for k.
-4
Let b be (1 + -10)*17/(204/(-8)). Solve -25*z + b = -19*z for z.
1
Let n(g) = -g**2 - 14*g - 7. Let f be n(-8). Let k = -39 + f. Solve -k*z - 1 + 3 = 0 for z.
1
Let b(n) = 3*n**3 + 7*n**2 + 8. Let g(d) = 5*d**3 + 13*d**2 - d + 15. Let z(v) = -7*b(v) + 4*g(v). Let c be z(2). Solve c*s = s - 3 for s.
3
Let o(l) = l**3 + 6*l**2 + 2*l + 6. Let b be o(-6). Let h be (b/4)/(2/16). Let u be (8/24)/((-2)/h). Solve -u = 5*v - 12 for v.
2
Suppose -3 = -m, -m - 3*m + 36 = 4*n. Solve 7*b = -n - 15 for b.
-3
Suppose 0 = -3*x + r + r + 15, x = 3*r + 12. Suppose -x*w + 3 = -5*c - 9, 4*w + 2*c = 16. Solve 5*d - w = d for d.
1
Suppose 0 = -173*q + 178*q - 20. Solve i - q = 5*i for i.
-1
Let f(o) = o**3 - o**2 + o. Suppose 8*l - 4*l + 4*n = 20, n - 5 = 4*l. Let t be f(l). Let q be (-6)/(-9) + ((-5681)/(-69))/19. Solve a + q - 3 = t for a.
-2
Suppose r = -2*r + d - 17, 32 = -3*r + 4*d. Let o = r - -4. Suppose o = -3*y + 2*y. Solve 2*p - 2 + 0 = y for p.
1
Let n(j) = j**3 + 8*j**2 - 8*j + 11. Let s be n(-9). Suppose -2*p = 2*h - 36, -4*h + 32 = -s*p - 22. Let g = 2 - 0. Solve g*r + 3*r = h for r.
3
Suppose 0*h + 5*h + 2*o = 19, 5*h + 5*o = 25. Suppose 0 = h*k + d - 19, 5*k - 4*d - d - 5 = 0. Let l = -155 + 157. Solve 3*g = k*g - l for g.
1
Suppose 2*n + 6*h = 3*h + 11, 2*h = -n + 8. Let i be (n - -6) + -5 + 3. Solve -4*s = -2*s + i for s.
-1
Let g be 156/104*(-24)/(-9). Let w(j) = 3*j**2. Let u be w(-1). Solve u*i - g*i = 0 for i.
0
Suppose 0 = 3*q - 5*q + 2*a + 12, 4*q - 30 = -2*a. Suppose -6*p = -q*p - n, n + 20 = 4*p. Solve p*g - g = -6 for g.
-2
Let k be (3/(-6))/((-3)/252*-1). Let z = k + 46. Solve 0*d + d = z for d.
4
Suppose -4*l = -35*l + 7*l + 96. Let d = 1 - -5. Solve -l*q + 10 = -d*q for q.
-5
Suppose -2*v + 2*w + 221 = 57, 0 = 3*w - 6. Let r be 4/(-10) + v/60. Solve r = 4*b - 3 for b.
1
Suppose 36 = s - 4*f, 0 = -68*s + 64*s + 3*f + 105. Solve -s*z + 9*z = -60 for z.
4
Let o(w) = -6*w**3 - 3*w**2 + 2*w + 3. Let n(r) = 5*r**3 + 2*r**2 - 2*r - 2. Let z(u) = -5*n(u) - 4*o(u). Let q be z(1). Solve q = 2*l - 3 for l.
2
Let k be (3 - 1) + (-56)/56. Solve -11*c + 45 = k for c.
4
Let c be (-970)/(-120) - (-2)/(-24). Solve 15*v - 11*v = c for v.
2
Suppose 0 = x, 0 = 5*v - 0*x + 4*x + 5. Let i be 0*-2*v/(-6). Solve 5*z + 1 + 14 = i for z.
-3
Suppose 4*d - 31 = 25. Let x = d + -14. Solve x = -3*t - t - 8 for t.
-2
Let d be (1 + -9)/(2/(-3)). Suppose -4*f + 23 + 1 = 0. Let k = -778 - -780. Solve f*i = k*i - d for i.
-3
Suppose 52*j + 271 - 947 = 0. Solve -9*r + 31 = j for r.
2
Let c be 127 + -132 - (-5)/1. Solve 3*b + 50 - 53 = c for b.
1
Let m be (-195)/(-135) - (2 - (-14)/(-9)). Solve b + 5 = m for b.
-4
Suppose 9*w = 190 - 55. Solve 12*z + w = 9*z for z.
-5
Suppose -4*w - 44 + 124 = 0. Suppose 10 = -3*d - 3*t + t, -3*d - w = 4*t. Solve 2*h - 3*h = d for h.
0
Let g = -35 + 51. Suppose 26*i - g = 25*i. Solve 0 = 3*f + f + i for f.
-4
Let n be 49/6 - 25/(-30). Solve n*j + 1 = -17 for j.
-2
Let q = 451 + -451. Solve q = f + 10*f for f.
0
Let k(l) = l**3 + 7*l**2. Let x be k(-7). Let p = -323 + 326. Solve x = a + 2 + p for a.
-5
Let m(a) = -4*a + 3. Let d be m(0). Let z be (5/2)/5 + (-3)/(-6). Solve -d*q - z - 11 = 0 for q.
-4
Let v be (-15)/20 - (0 + (-212)/(-16)). Let h be 4/v - (-484)/77. Solve 0 = z - h*z for z.
0
Let t(l) = 4*l + 3. Let h be t(7). Let g = 43 - h. Suppose 0 = 5*j + 2 - g. Solve q = -j*q + 9 for q.
3
Suppose 21 + 30 = 17*h. Solve h*x + 28 = 13 for x.
-5
Let k(w) = w - 8. Let r be k(-7). Let d be (24/r)/(1/(-5)). Let u = -3118 - -3122. Solve 24 = u*y + d for y.
4
Suppose 4*v + 5*s = 31 + 2, -9 = -2*v - 5*s. Solve -9*j + 6 + v = 0 for j.
2
Let c(a) = -38*a + 29*a + 1 + 2*a**2 - 4. Let n be c(5). Solve -2*i - n - 4 = 0 for i.
-3
Suppose -49*w = -42*w - 14. Solve -w*i - 9 = -15 for i.
3
Let m = 984 - 971. Let i be (1 + 0)*(0 + 0). Suppose i*b = b. Solve -5*c - 7 - m = b for c.
-4
Let p be 3/(-15) + (-12)/(-10). Suppose -2*j + 5 = -3. Suppose m = -0*m - 4*c - 5, j*c + 17 = 3*m. Solve -m = b - p for b.
-2
Let h(a) = 6*a**3 - a**2 - 12*a + 6. Let x(t) = -5*t**3 + t**2 + 11*t - 6. Let z(y) = -4*h(y) - 5*x(y). Let o be z(3). Solve -2 = o*j + 4 for j.
-2
Let v(g) = -g**3 - 2*g**2 + 5*g - 2. Suppose 8*s = -5 - 27. Let w be v(s). Solve -3*i + w = -5 for i.
5
Let k = 7 + -5. Let d = 1 + 2. Let y = k + d. Solve 5*v = -0*v + y for v.
1
Let r = 71 + -71. Suppose -5*d = -r - 20. Solve -2 + 6 = d*c for c.
1
Let n = -195 + 202. Solve 4*c = n - 3 for c.
1
Let r(s) = -2*s**3 - 4*s**2 - 2*s. Let z be r(-2). Suppose 101*u = 99*u. Solve -z*q + 8 = -u*q for q.
2
Let y = 1560 - 1560. Solve -4*r - 42 + 62 = y for r.
5
Let y be ((275/(-33))/25)/((-2)/18). Solve -y*n = -9*n - 18 for n.
-3
Suppose -2*r - 23*r + 150 = 0. Solve -r*k = 6 + 12 for k.
-3
Let p be 16/88 - (-244)/(-11). Let n = p - -23. Solve n = -z - 0 for z.
-1
Let h(k) = -k - 13. Let m(v) = -2*v**2 - 10*v + 8. Let i be m(-7). Let w be h(i). Solve -2*p + 10 = -w*p for p.
-2
Let r = -2 - -5. Suppose -5*t = -r*t - 8. Suppose -s - 2*i + 5 = 0, 3*s + 2*s = -t*i + 25. Solve s*h - 4*h = 1 for h.
1
Let i be (35/((-2275)/572))/(2/(-5)). Solve -18*y - 4*y = i for y.
-1
Let i(p) = -p**2 - 2*p + 18. Let r be i(2). Solve r*l - 4 + 4 = 0 for l.
0
Suppose -w - 2*d + 4 = 0, -3*w - 2*d = -6 - 10. Let b = 11 - w. Solve f - b = -2 for f.
3
Let g(s) = -31*s**2 + 1. Let i be g(1). Let w = 30 + i. Suppose -u = a - 3, w = -4*u + u - 2*a + 9. Solve -u*b + 0 = 6 for b.
-2
Let t be 15/10 - 3/2. Let q = -622 - -630. Solve t = 4*x - 0*x + q for x.
-2
Suppose -2 = a - 6. Suppose -3*l + 4*l + 3*w = -11, -4*l - 12 = -a*w. Let g(o) = -o - 3. Let v be g(l). Solve -v*y = -7*y + 10 for y.
2
Let b(i) = 3*i + 3 - 2*i**2 - 4*i**2 + 4*i**2 + i**2. Let z be b(-4). Let d = z - -29. Solve 2*v + d = -0 for v.
-2
Let o = -472 - -495. Solve -o*c - 20 = -27*c for c.
5
Let f(m) = m - 10. Let g be f(14). Suppose 5*z - g = 21. Suppose -3*a + 25 = z*p, -3*p + 3 = -3*a - 12. Solve a = -c - 2*c - 9 for c.
-3
Let l = 753 - 739. Solve -11*m + 3 - l = 0 for m.
-1
Suppose 4*x = -3*c + 18, 4*c + 2*x + 18 = 7*c. Solve -c*s - 12*s - 72 = 0 for s.
-4
Let v be (-7)/((-2)/(-2) + 0). Suppose -8*j - 97 = -105. Let r = j - v. Solve r = x - 5*x for x.
-2
Let p be 6*-1 - (5 + -15). Solve -7*o = -p*o for o.
0
Let b = -20 + 3. Let o = b - -20. Solve -o*g + 2 + 7 = 0 for g.
3
Let c be 2/3*-6 - 13. Let x = c - -17. Solve 2*j - 7 + 1 = x for j.
3
Let g(y) = 188*y - 1480. Let j be g(8). Solve -23*a + 17*a + j = 0 for a.
4
Suppose -2*m - 14 = -2*o, -4*o - 7 = 4*m - 59. Solve 28 + 22 = -o*q for q.
-5
Suppose -5*k + 2*z + 26 = 0, -6*z + 3*z = k + 5. Solve k*p = -0*p for p.
0
Let r = -30 + 40. Let l be (-2)/6*-3*r. Let g(d) = 2*d - 15. Let u be g(l). Solve -2*w = -5 - u for w.
5
Let q(t) = -3*t - 42. Let r be q(-16). Solve 9*a - r = 15*a for a.
-1
Let p be (-291)/679 + (-24)/(-7). Solve -7 = p*d + 2 for d.
-3
Let n be (((-35)/5 - -4) + 1)*-5. Solve -k = n - 11 for k.
1
Let h(z) = z - 13. Let o(x) = -5*x + 3. Let b be o(-3). Let y be h(b). Suppose 0 = 11*l - y*l - 12. Solve -5*q - 3 = l for q.
-1
Let x(m) = -4*m + 50. Let f be x(12). Suppose 5*v = -d - 24, -5*d + 3*v + 17 = -3*d. Let w(g) = -g**3 + g. Let i be w(d). Solve i + f = s for s.
2
Suppose 5*v - 6 = 19. Suppose g - 16 = -6*m + m, -v*m + 8 = 3*g. Let k be -3 + 0 + g + 7. Solve k = 5*q - 10 - 5 for q.
3
Let r(w) = -2 + 1 - 2 + 2*w. Let i be r(4). Let c be (7 - 121/(-143)) + 2*(-4)/(-52). Solve 3 - c = -i*b for b.
1
Let m(g) = -15*g**3 + 4*g**2 + 2*g - 2. Let k be m(2). Let t = k - -109. Solve -9 = -4*r + t*r for r.
-3
Let k be -1 - ((-4)/16)/((-1)/(-4)). Suppose k = -3*r + a + 11, -5*r + 11 = 4*a - 2*a. Solve -4*d = -5*d + r for d.
3
Let l be (-4)/26 + (-22)/26. Let c = 4 - l. Solve c*h + 23 = -2 for h.
-5
Let h(g) be the second derivative of g**4/12 