 s - 20. Solve s + 0 = w for w.
5
Let a = 1 + -4. Let x be (-21)/(-3) - 3/a. Solve -x = 3*y - y for y.
-4
Let p(y) = -y**2 - 6*y - 4. Let i = -1 + -3. Let g be p(i). Solve 0 = g*f - 7*f - 6 for f.
-2
Let j(x) = x - 2. Let u be j(6). Suppose w - 5 = -0*w. Suppose -w*d + 3*d = -12. Solve -d - u = 5*a for a.
-2
Let u(d) = -d**3 + 16*d**2 + 3. Let i(l) = 2*l**3 - 31*l**2 - 5. Let k(v) = 4*i(v) + 7*u(v). Let y be k(12). Solve -y + 0 = -m for m.
1
Let o(r) = -r**3 + 3*r**2 + 1. Let m be o(3). Let c = 10 + -6. Solve c*g + m = 5 for g.
1
Let l(b) = -14*b**3 - 2*b**2 - 38*b - 27. Let g(f) = 5*f**3 + f**2 + 13*f + 9. Let c(k) = -17*g(k) - 6*l(k). Let t be c(-6). Solve t*i = -0*i - 3 for i.
-1
Suppose -16 = 2*m + 4*j, -4*j - 6 - 10 = -m. Solve 2*r + 0 + 2 = m for r.
-1
Let n(g) = g**3 + 4*g**2 + 3*g + 9. Let z be n(-4). Let y = z - -7. Solve -s = -y - 1 for s.
5
Let l be 3*(-3 + 33/9). Suppose 2*y - l*j - 8 = 0, -y + 2*j = 3*j + 4. Suppose 0 = 5*n - c - 42, 2*n - 5*n + 5*c = -34. Solve -n = -y*q + 4*q for q.
-2
Suppose 3*r + 2*r = 15. Let q(h) = h**3 - 2*h**2 - h - 4. Let y(l) = l + 3. Let t be y(0). Let o be q(t). Solve -g = -r*g + o for g.
1
Let b = -2 + 15. Suppose -4*c = -p - 15, -c + 1 = p - 4. Suppose -u + y = p, 12 = 5*y - b. Solve u*j + 17 = -3 for j.
-5
Let n(t) = t**3 + 8*t**2 + 3. Let d be n(-8). Suppose -c = 3*u + 11, 2*c + 2*u + 3 = -d. Solve g + 0 + c = 0 for g.
-1
Suppose 7 - 16 = -3*r. Suppose r = -2*m + 11. Suppose m*w = -w. Solve w = 2*n - 4*n - 6 for n.
-3
Suppose -4*a + 5*n - 14 = 0, 0 = -5*a - n - 2*n + 1. Let k be 1/(-2)*(1 + a). Solve 0 = -3*j - k*j for j.
0
Suppose 0 = -3*v + v + 30. Solve -5*z = -0*z + v for z.
-3
Let g be (0/14)/(2/2). Solve -3*z + g*z = -3 for z.
1
Suppose -2*j + 3*j = -4*y + 1, -y + 4 = 4*j. Let g be 54/4 + j/2. Suppose -c - q = 4*c - g, -5*c + 11 = 4*q. Solve 0 = -c*k + 3 for k.
1
Suppose 0 = -5*j - 25, 4*y + 5*j + 9 = -4. Suppose -5*m = -y*m. Solve m*l + 5 = l for l.
5
Let c be 1*(-4)/(-8)*8. Solve c*j + 0*j = -8 for j.
-2
Let i(y) = y**3 - 4*y**2 - 3*y - 4. Let p be i(5). Let v = p + -3. Let x be (v + -4 - -3)*1. Solve 5*r = -8 - x for r.
-2
Suppose -131 = 4*m - 35. Let d be (m/40)/(1/(-5)). Suppose -2*s + 17 = o, 22 = d*s - s + 2*o. Solve -u - s = u for u.
-3
Suppose -3*p - 7 = -4*c - 0*p, c - p - 1 = 0. Let n = c - 2. Suppose n*s = -s. Solve j + 1 + s = 0 for j.
-1
Suppose 0 = -4*u + 5*u - 32. Suppose 3*a + s + 3*s - u = 0, 4*s - 24 = -a. Suppose 9 = a*o - o. Solve 7 + 5 = o*m for m.
4
Suppose 0 = -15*d + 19*d - 8. Solve -d = k + 1 for k.
-3
Let l(c) = -3*c - 84. Let z be l(-30). Solve p - 1 = -z for p.
-5
Let j be -18*((-3)/6 + 0). Suppose -i + 4*i = j. Suppose 23 = i*o + 4*v, 0 - 17 = -5*o + 4*v. Solve -o + 2 = -3*y for y.
1
Let b(r) = 2*r**2 + 5*r + 5. Let n be b(5). Suppose -3*m - 11 = 3*x - n, -x + 3*m = -15. Let p(u) = 3*u - 16. Let c be p(7). Solve 6 = c*f + x for f.
-3
Let a(n) = -n**3 + 9*n**2 - 6*n - 2. Let w be a(8). Solve 5*j = -w - 1 for j.
-3
Let t(l) = l**3 + 13*l**2 - 2*l - 22. Let s be t(-13). Solve 0*o = -s*o + 16 for o.
4
Let d(q) = -q. Let n be d(0). Let r = -15 - -23. Let t be (-12)/r*(-4)/6. Solve n = -k - t for k.
-1
Let z(n) be the second derivative of -n**5/20 - 3*n**4/4 - 7*n**3/6 + 4*n**2 + 2*n. Let u be z(-8). Solve p = -u*p for p.
0
Let t = -11 - -13. Solve 0*d = -2*d + t for d.
1
Let f(t) = t**3 - 19*t**2. Let n be f(19). Solve l - 5*l = n for l.
0
Let v(q) = 4*q**2 + 2*q + 1. Let z be v(-1). Solve -z*j = j - 8 for j.
2
Let n = 50 - 18. Let z be n/18 - (-8)/36. Suppose -2*t = 5*y + 18 + 5, -23 = -3*t + 4*y. Solve f + z = -t for f.
-3
Suppose -2*b = -o + 5 + 5, 13 = 4*o + b. Suppose -2*f - 2*m + 2 = 0, -2*f + 8 = 3*m - o*m. Solve -f*q + 15 = 2*q for q.
3
Let h = 100 + -90. Solve 15 = -h*r + 5*r for r.
-3
Suppose -5*w + 482 + 16 = 3*m, -m - 494 = -5*w. Let f be (-57)/(-11) - 18/w. Solve n = 2*n - f for n.
5
Let b(v) = -v**2 - 6*v - 5. Let o be b(-6). Let u be 1/o + (-171)/45. Let t(x) = x**3 + 4*x**2 + x + 4. Let m be t(u). Solve -5*w + 0*w = m for w.
0
Suppose -9 - 11 = 5*d. Let o be d*2*(-9)/12. Suppose o*f - 2 = 5*f. Solve f*r - 4 = r for r.
4
Suppose -4*r + 5*z = -45, 3*z - 7 = -22. Suppose -r = d - 2*d. Let f = 0 + 4. Solve -f = -d*a - 24 for a.
-4
Let b = 15 - 12. Suppose -b*x + 18 = 3*r, 2*x - 7*x = 0. Solve r*c = 2*c - 8 for c.
-2
Suppose -14 = -a + 11. Suppose -n = -2, 2*l + 5*n = -l + a. Solve 2*x - 15 = l*x for x.
-5
Let v be 2/8 - 1/4. Solve 0 = -3*b - v*b + 9 for b.
3
Let f be (-15)/(-2)*6/9. Let z(n) = -n**2 + 5*n - 4. Let j be z(3). Let m be 39/12 + j/(-8). Solve b = f - m for b.
2
Suppose 11 - 2 = 3*q. Let n be q - (0 - (-1 - -2)). Solve 0*c = c - n for c.
4
Suppose 0 = -3*y - 13 - 44. Let x = y - -22. Solve 0 = -x*u + 2*u for u.
0
Let i(z) = -z**3 - 10*z**2 - 11*z - 8. Let u be i(-9). Suppose 0 = 2*c - 0*c - u. Solve -4*o + c = -15 for o.
5
Let p = 3 - 1. Suppose 2*u + t + 0*t = 7, 15 = 3*u - 3*t. Solve -u = -p*s - 6 for s.
-1
Let a = -3 - -6. Suppose a*y - 3*w = 0, 4*y - 5 = -4*w - 13. Let h(k) = 2*k**2. Let m be h(y). Solve m*z + 2*z + 4 = 0 for z.
-1
Let m be 110/25 - 3/(-5). Let q = m - 0. Suppose 2*i - 5 = i - 5*w, 4*w = -16. Solve -5*v + i = q for v.
4
Let j = -125 + 125. Solve -d + 0*d + 2 = j for d.
2
Let s = 0 + 2. Suppose 2*m = -s + 8. Solve -2*z = -3*z + m for z.
3
Let c(l) = -l**3 - 2*l**2 - l - 2. Let i be c(-2). Suppose 5*m + 4*s - 41 = 0, i = -m + 5*s - 9 - 6. Solve -3 = -m*v - 28 for v.
-5
Let d be (32/28)/(6/21). Solve 0 = -4*a + 3*a + d for a.
4
Let p = -8 - -8. Let w(a) = 10*a**2 + 7*a - 5. Let g(t) = 5*t**2 + 3*t - 2. Let s(v) = 5*g(v) - 2*w(v). Let u be s(-1). Solve p = -u*k + k - 15 for k.
-5
Let d be (-3)/(15/2) + (-2652)/(-130). Solve -5*g + 0*g + d = 0 for g.
4
Suppose 2*a + 3*a - 25 = 0. Suppose -2*z = -a*z. Solve -2*t + 10 = -z*t for t.
5
Let y be (-8)/(-3) + (-5 - (-13)/3). Solve 7*h - y*h - 10 = 0 for h.
2
Suppose -37 = -5*f - 5*y - 2, -5*f = 2*y - 20. Suppose -10 - 5 = 5*p. Let j = p - -6. Solve -j*s = f*s + 10 for s.
-2
Let j = -63 + 68. Solve j*u = 15 - 0 for u.
3
Suppose i - 3 = 2. Suppose i*z - 5*a - 35 = 0, 8*a = 3*z + 3*a - 29. Suppose -z*y + 4 = -8. Solve -6*k = -y*k - 4 for k.
2
Suppose 5*l - 50 = t, 4*l - 50 = -l + 5*t. Suppose -m = 4 - l. Let d = m - 0. Solve -3*p = -d - 9 for p.
5
Let l = 0 + 1. Let y(r) = 10*r + 2. Let o be y(l). Solve 2 - o = -2*x for x.
5
Suppose 2*h + 0*h - 12 = 0. Solve -2*u - h + 0 = 0 for u.
-3
Let u be (2 + (-8)/(-6))*3. Suppose -f = f - u, f - 7 = -2*l. Suppose -1 = 6*h - 4*h - m, 0 = -5*h + 4*m - 4. Solve l = -k - h for k.
-1
Suppose 0 = -2*w + 3*w + 2. Let y = w - -4. Suppose -z - z = 4*i, 3*z - y = -4*i. Solve -1 = -z*f + f for f.
1
Let n(b) = b**2 - 5*b. Let c be n(6). Let q = c - 6. Let w be (-50)/(-6) + (-1)/3. Solve -w = -q*k + 4*k for k.
-2
Let l = -214 + 226. Suppose q + 2*q = 6. Solve -q*s = -6*s + l for s.
3
Let l be 2 + -2 + 2 - -1. Solve 0*x - x = l for x.
-3
Let y be 1/(-4) + (-248)/32. Let r(x) = x**3 - 5*x**2 + 3*x - 2. Let o be r(4). Let m be 273/28 - o/y. Solve 0 = 2*n - 3 + m for n.
-3
Let d(h) = -h**2 + 4 + 0*h**2 - 5 + 0*h**2 + 2*h - h**3. Let j be d(-2). Let f be -1 - -2 - (0 + j). Solve 0 = -f*s + 5*s - 9 for s.
3
Let u(m) = -m**2 - 5*m + 5. Let f be u(-5). Solve -2*b + 3 = -f*b for b.
-1
Let x be 1 - 1 - (-2 - -2). Suppose -7*c + 2*c = -25. Suppose 32 - 2 = c*g. Solve 4*j - 2 + g = x for j.
-1
Let f = 42 - 40. Solve o = -1 + f for o.
1
Suppose -5*j - 8 = 7. Let m = 3 - j. Solve m*t + 20 = 2*t for t.
-5
Let m be 9*-4*(-11)/6. Suppose p = -5*v + 75, 4*v - m = p - 3*p. Let f = v - -1. Solve 0 = -4*w + w + f for w.
5
Suppose 4*n - 28 + 12 = 4*a, -5*n = a + 4. Let f be ((0 + 0)/1)/2. Solve n = 2*s - f + 2 for s.
-1
Suppose 5*i - 7*i = -3*i. Solve 0 = -p - i*p + 2 for p.
2
Let t be 2/(-4) + 46/4. Let y(c) = c**2 + 4*c. Let u be y(-3). Let f = u + t. Solve -5*q + 12 + f = 0 for q.
4
Let s = -7 + 12. Suppose s*q + 22 = b, -2*q - 25 = -b + 6*b. Let i = q + 5. Solve -5*a + 3*a + 6 = i for a.
3
Suppose 0*x + 3*x = 15. Suppose b = x*b. Let j = b + 1. Solve j = -4*f - 3 for f.
-1
Let j be 0/((-1 - -1) + 2). Let h(v) = -v**3 - 5*v**2 + 6*v. Let l be h(-6). Solve 5*t + l*t = j for t.
0
Let w(a) = -2*a**2 + a + 1. Let n be w(-1). Let g be (1/(-2))/(n/108). Suppose -2*d = 4*t - 16 - 