 = 0. Let b(l) = -2*l. Let j = -5 + 3. Let f be b(j). Solve r = -f*o + 5*o for o.
4
Suppose 2*s - 5 = -1. Suppose 0 = -s*g - 0*g + 4. Suppose -3*p - i = g*i + 9, -3*p + 4*i + 12 = 0. Solve 4*z + 20 = -p for z.
-5
Suppose 0 = 2*o + 3*t - 57, -2*t = o - 5*t - 15. Let x = o + -16. Suppose x = -2*d - 4*l - 6, -2*l - 5 = 3*d. Solve -4 = s - d for s.
-3
Let v(c) = 2*c**3 - 3*c**2 + c - 2. Let k be v(2). Let r(i) = -i**3 - 6*i**2 - i - 6. Let d be r(-6). Solve d = -k*q + q for q.
0
Suppose 4*h - z + 2 = z, 0 = 5*h + 3*z - 25. Let q be (h/(-12))/(-1) - (-697)/246. Solve -l = -2 + q for l.
-1
Let u(s) = -s + 14. Let d = 17 - 3. Let z be u(d). Solve z = v - 4*v - 12 for v.
-4
Let d(y) = y**3 + 21*y**2 - 24*y - 31. Let z be d(-22). Solve -16*k + z + 3 = 0 for k.
1
Let z = 897 - 893. Solve z*j = -2*j - 18 for j.
-3
Let q be (6/10)/((-11)/(-55)). Let l(d) = 3*d - 6. Let o be l(q). Solve o = 3*c + 6 for c.
-1
Suppose 2 = u + 2*b + 4, 15 = -5*b. Let y be u/10 - (-12)/(-30). Let k be (-2)/8 - (-33)/4. Solve k = -y*j + 4*j for j.
2
Suppose 28*v - 474 = -138. Solve 25*s - 22*s - v = 0 for s.
4
Let s be (-969)/68 + (-2)/(-8). Suppose 2*k = -k - 2*v - 22, -5*k - 38 = 3*v. Let n = k - s. Solve i + 3*i = -n for i.
-1
Suppose 37*f = 29*f + 1072. Let d = -130 + f. Solve -d*h + h + 15 = 0 for h.
5
Let p(v) = v**3 - 3*v**2 - 2*v - 3. Let t be p(4). Let x = t - 3. Let b(o) = o**3 - 6*o**2 + 12*o - 14. Let i be b(4). Solve c = i*c + x for c.
-2
Let n = 8 - 7. Suppose -n = -5*i + 14. Suppose -i = -2*b + 9. Solve 4*h - 2 = -b for h.
-1
Let h = 25 + -33. Let u be (6/(-9))/(h/24). Solve p - u*p - 3 = 0 for p.
-3
Suppose 47 = b - 3*x, 2*b - 4*b + x + 69 = 0. Let o = -32 + b. Solve 7*h - 3*h = o for h.
0
Let u(y) = -8*y - 2. Let k(p) = -7*p - 3. Let r(f) = 6*k(f) - 5*u(f). Let j be r(-9). Suppose 0 = -15*b + j*b + 10. Solve -b*g = 3*g for g.
0
Suppose -17 + 193 = 8*x. Suppose x - 7 = 3*i. Solve 0*m = -i*m for m.
0
Suppose -10*s + 24 = 2*s. Solve -2*v + s = 6 for v.
-2
Suppose -10*d - 217 = 323. Let y = -50 - d. Solve 3*a + y = 16 for a.
4
Let w be 3*(-3 + (-4)/(-6)) + -2. Let j(s) = -4*s - 21. Let r be j(w). Solve 7*n = 2*n - r for n.
-3
Let x be ((-675)/(-375))/(2/20). Solve -x*v - 6 = -15*v for v.
-2
Suppose -2*u - 29 - 15 = 0. Let t be (3 - 25/10)/(3/186). Let n = t + u. Solve 4*l - l = -n for l.
-3
Let r be 4/5*10/4. Suppose 147 = -32*w + 243. Solve r*x = w*x for x.
0
Let c(u) = -u**3 - 13*u**2 + 11. Let p be c(-13). Suppose k + 16 = -4*i, 4*i + 5 = 3*k - p. Suppose j - 2*x - 3 + 13 = 0, j - x + 5 = k. Solve j*f = f for f.
0
Let g = 20 - 17. Suppose -2*m = g*m - 20. Solve -12 = -o + m*o for o.
-4
Suppose 213*n + 10 = 218*n. Solve 5 = n*s + 13 for s.
-4
Let x(g) = -4*g - 9. Let p be x(-6). Solve 2*q - p = 7*q for q.
-3
Let f be (-3)/(-21) - (-1)/(-7). Suppose 4*x = -f*x - 36. Let j = x - -9. Solve j = -g - 0*g for g.
0
Suppose 0 = -43*m + 47*m - 92. Solve 11 - m = 3*q for q.
-4
Suppose -2*a - 5*b = -17, -4*a + 12 = 5*b - 17. Let d = a + 14. Let x = 308 + -304. Solve x*u - d = 8*u for u.
-5
Suppose 0 = -5*c + 20 - 5. Let o(b) = b**3 + 14*b**2 + 11*b - 23. Let g be o(-13). Suppose 3*n = -v + 1 + g, 3*n + c*v = 6. Solve r = n + 4 for r.
5
Suppose 2*d + 1 = 3*d. Let z(u) = 11*u - 1. Let s be z(d). Suppose 0 = 5*c - 0*c - 4*y + 4, -2*y + 2 = 4*c. Solve c*i - 2*i = -s for i.
5
Let k(l) = -l**2 + 3*l - 5. Let f(h) = -h**2 + 8*h + 13. Let i be f(9). Let b be k(i). Let x = 9 + b. Solve 2*m + 0 - 6 = x for m.
3
Let d be (15/2)/(8/16). Solve -4*i = -i - d for i.
5
Let n be (-3)/9 + (-28)/(-12). Suppose -4*k - n*f + 40 = 2*f, -26 = -3*k - 2*f. Suppose 0 = r - k. Solve -r*s - 4 = -2*s for s.
-1
Let b = 7 - 6. Suppose -b = -4*t + v + 3, -v = -5*t + 6. Solve -1 = -t*f + 3*f for f.
-1
Suppose 24*i + 4*m - 4 = 25*i, -2*i - 4 = -4*m. Let a(k) be the third derivative of -k**4/12 - 2*k**3/3 - 2*k**2. Let r be a(-5). Solve -3*y = -i*y - r for y.
2
Let s(m) = -m**3 + 9*m**2 - m + 13. Let l be s(9). Suppose 0 = l*f + 9 - 21. Suppose 0*z + 4*k + 3 = 3*z, -f = -3*z + k. Solve -z - 4 = p for p.
-5
Let y be (2 - (-30)/(-35))*(-14)/(-4). Suppose -y = 17*f - 19*f. Suppose 0 = 3*u + o + 3*o - 9, 4*u + 2*o - 12 = 0. Solve u*d = -f*d for d.
0
Let i(y) = -y**3 + 17*y**2 - 67*y + 21. Let s be i(6). Solve -20*r + s = -17*r for r.
5
Let s be 1 - (1 - 3) - 6. Let p be 2/((-2)/s) - 3. Solve -9 = -p*i - 3*i for i.
3
Let j(y) = 16*y - 92. Let w be j(6). Solve -w*a = -8*a - 16 for a.
-4
Let o = 1124 + -1120. Solve o = 2*h - h for h.
4
Let l(a) = 3*a**2 - 10*a - 42. Let c be l(-3). Solve 14*b + c = 17*b for b.
5
Suppose -1 = -2*s + 1. Suppose 3*j - 4*a - 14 = 0, -11 = -3*j + 2*a - s. Suppose f + j*f = 30. Solve -2*w + f = -0 for w.
5
Let g(h) = -h**3 + 16*h**2 - 25*h + 17. Let k be g(14). Solve -k = c - 59 for c.
0
Let y be 36 + (1 - (-1 + -2)). Suppose -2*w + y = 2*w. Suppose 0 = -5*s + 4*u + 6, 2*u = -2*s - u + 7. Solve 2*c - s = -w for c.
-4
Suppose 13 = 2*m - 3. Suppose 4*l + 0 = -m. Let c = l + 3. Solve c + 1 = -r for r.
-2
Let r be (-10)/4*(15 + -37). Suppose -59*k = -r*k - 64. Solve 4*z - k = -0 for z.
4
Suppose -6 = -2*d - 5*h, 0*d + 3*d = 3*h + 30. Let o(j) = j. Let q be o(d). Let k be 2/8 + 94/q. Solve k = 5*s - s for s.
3
Let r = -26 - -36. Suppose -o - r = -12. Solve 0 = o*t - 2 for t.
1
Let w be 1/5 + 1/(-5). Let p be (-1)/((-3)/(-3))*w. Solve -3*s - s - 16 = p for s.
-4
Let g(b) = b**2 + 21*b + 58. Let h be g(-18). Suppose 16 = 2*v - h*y, 5*y + 18 = 5*v - 2. Solve v*k - 4 = -k for k.
4
Let i(g) = g**2 - 10*g - 10. Let y be i(10). Let d = y + 13. Suppose d*o = o. Solve o = -6*j + j + 5 for j.
1
Let z(v) = 2*v**2 + 13*v + 17. Let y be z(-5). Suppose 4*p = y*x + 13 - 1, 4*x + 8 = 0. Solve p*m - 3 = -m for m.
1
Suppose -5*t - 52 + 87 = 0. Suppose -2*d = 4*u - t*u + 9, 9 = 3*d. Solve 0 = -3*q - u - 4 for q.
-3
Let c be (2 + (-28)/6)*6. Let d be (1 + c)/(14/(-42)). Suppose d*k + 4 = 47*k. Solve -k*a - 15 = a for a.
-5
Let w = -58 + 64. Solve w*m + 10 = m for m.
-2
Let p be 50/(-9 - -4)*-1. Let k be (-3)/(-9) + p/6. Solve -4*s + k = -2*s for s.
1
Suppose 5*g = -g + 24. Suppose g = -13*o + 15*o. Solve o*t = -t for t.
0
Suppose 304 + 25 = 47*v. Solve 0 = 4*a + v - 15 for a.
2
Let f be (-20)/15*(198/4)/(-11). Solve 6 = -4*v - f for v.
-3
Let s = -2274 - -2290. Solve -5 = s*b - 37 for b.
2
Suppose 5*o + 2 = -2*j, -6 = -2*j - 2*o - 2. Suppose j*t - 26 = 5*u + 12, 0 = 3*u - 6. Suppose 0 = -6*k + 3*k + t. Solve 4*h = -k - 4 for h.
-2
Let s = -8 - -12. Let w(l) = l**3 + l**2 + 12. Let p be w(0). Suppose -x + 25 = -m - 6*x, -5*m - 3*x - 15 = 0. Solve -p = s*o - m for o.
-3
Let i be -1 - (273/(-26))/((-3)/(-4)). Solve 1 - i = -4*t for t.
3
Let v be (-321)/(-4) + (-8)/32. Suppose 2*m = 7*m - v. Let k = m - 16. Solve -u = -k*u - 1 for u.
1
Suppose -8 = -z + 8. Let k = 530 - 537. Let q = z + k. Solve 5*n + q + 1 = 0 for n.
-2
Let c(a) = 4*a**3 - 38*a**2 - 21*a + 14. Let b be c(10). Let f = 3 + -2. Solve 5*h = -f - b for h.
-1
Let m(f) = -f + 12. Let c = 13 - 85. Let a be (c/42)/((-3)/21). Let l be m(a). Solve -5*s + 2 - 27 = l for s.
-5
Let r(c) be the second derivative of c**4/12 - c**3 - 7*c**2/2 - c. Let n be 1738/242 + (26/(-22) - -1). Let g be r(n). Solve g = 3*v - 7*v for v.
0
Let q(t) = t**3 - 8*t**2 - 36*t + 38. Let f be q(11). Solve 0 = h - f*h - 20 for h.
-5
Let s(x) = x**2 + x - 2. Let t be s(-3). Let n(b) = 3*b - 19. Let h be n(7). Solve 0 - t = h*k for k.
-2
Let t(b) = 4*b + 139. Let q be t(-34). Solve 7 = q*u - 2 for u.
3
Let n be 4/(-1)*17/(-34). Suppose -5*p - 40 = -3*t, -t + n*p - 36 = -5*t. Let o be (-90)/(-27) - t/(-6). Solve 3*c + o = -4 for c.
-3
Let v = -117 - -59. Let h = -48 - v. Solve 0*u + 2*u = h for u.
5
Let m be (3/(-2))/(222/(-2072)). Solve m*l - 17*l - 15 = 0 for l.
-5
Suppose 82 = 2*a + 38. Solve -a = -14*m + 3*m for m.
2
Suppose 2 = 5*z - 3. Let f be (1 + -2 + 1)/z. Suppose -10 = a - 5*d, f*a - 2*d + 4 = -5*a. Solve a*b = 3*b - 6 for b.
2
Suppose 5*y - 4*w - 375 = 0, 3*y - 5*w = 192 + 33. Suppose 194*n + y = 199*n. Solve n = v - 4*v for v.
-5
Suppose 3*t - 68 = 8*t - 2*k, t + 12 = 2*k. Let f = -12 - t. Let m be 8/(-12) - f/(-3). Solve -3*w = -m*w for w.
0
Let t(u) = 3*u**2. Let y be t(-1). Let x(a) = a**3 - 17*a**2 + 15*a + 22. Let p be x(16). Suppose -10*d + 9*d + p = 0. Solve -l = 