-2))/2 + (-36)/(-8). Suppose a*k - 2 = 6. Solve k*s - 12 = -s for s.
4
Suppose 5*s + 3 = 8. Let r(x) = 7*x + 2. Let w be r(s). Suppose -3*f - w = 4*j, 9 = j - 4*j. Solve f = h - 0*h for h.
1
Let y be ((-3)/(-6))/(-1) - 9/(-6). Let a(u) = -4*u. Let i be a(-1). Solve -y = -n - i for n.
-3
Let b(p) = -5*p**3 - 1. Let y(g) = -6*g**3 - g - 1. Let q(r) = -5*b(r) + 4*y(r). Let n be q(3). Let z be (-6 + (7 - 1))/(1 - -2). Solve 4*d + n + z = 0 for d.
-4
Let m be 25 - (4/3)/(-2)*3. Solve 4*d = -47 + m for d.
-5
Let f(n) = -n + 1. Let z be f(-4). Let q(c) = -c**2 - 87*c - 170. Let u be q(-2). Solve 0*j - 5*j + z = u for j.
1
Suppose 0 = -5*r - 4*q + 55, 4*r - 4*q - 13 = -q. Solve -4*d + 13 + r = 0 for d.
5
Let w = -40 - -45. Let m = w + 1. Solve 5*u + 1 - m = 0 for u.
1
Let c = -1592 - -1597. Suppose -16 = -5*o + o. Solve f + c = -o*f for f.
-1
Let f be -1 + 4/(-2) - (0 + -8). Solve 0 = f*d - 9*d for d.
0
Let s = 89 + -88. Suppose 0 = -z - z. Suppose 3*h - 18 = -z*h. Solve -l = h - s for l.
-5
Let c(s) = -10*s - 25. Let q be c(-3). Solve -10 = q*v + 15 for v.
-5
Let k be 2 + -1 + 2 + 0. Suppose 0 = -0*h - 4*h - k*s + 12, s = h + 4. Let g(n) = n + 9. Let z be g(-7). Solve 2*f - z + 0 = h for f.
1
Let n(s) = 3*s**2 + 34*s - 16. Let k(w) = -3*w**2 - 34*w + 18. Let i(y) = -4*k(y) - 3*n(y). Let m be i(-12). Solve -4*t + m = 8 for t.
-2
Let g = -88 - -95. Suppose 0 = a - 3*b + g, 0 = -a + b + 3. Solve -q + a = 11 for q.
-3
Let x = -1210 + 1240. Solve 6*m + 9*m - x = 0 for m.
2
Let z be (18/8)/(((-312)/64)/(-13)). Solve z*x - 6 = 3*x for x.
2
Suppose 3*n - 5*n + 6 = 0. Let u(b) = -4*b - 17. Let o be u(-4). Let x = o + n. Solve -2*w + w + x = 0 for w.
2
Let q = 54 + -56. Let p be ((4/(-8))/(-1))/(q/(-12)). Solve f - 8 = p*f for f.
-4
Let b be (-3 + 8/2)*0. Suppose -5*t = -4*i + 28, 4*i + 0*t + 2*t = b. Solve h - 5 + i = 0 for h.
3
Let r(m) = 3*m**2 + 2*m. Suppose 0 = 2*b + 4 - 0. Let z be r(b). Let x = 139 - 136. Solve -z*i + x*i = -15 for i.
3
Suppose 19*w + 16*w = -27*w. Solve -a + 0*a = -w*a for a.
0
Let b(j) = -14*j + 95. Let y be b(5). Solve -9*i - 34 = -y for i.
-1
Suppose -8 = -o - o. Let l be (-28)/6*(-330)/77. Let w = 23 - l. Solve w*n - n = -o for n.
-2
Let l = -26 + 36. Let c = -4 + l. Solve -r = -c*r - 20 for r.
-4
Suppose -10*i + 14*i + 4 = 0. Let t be 8*((-4)/(-8) + 1 + i). Solve t*s = -s for s.
0
Let t(d) = 52 + 3*d - d**2 + d - 55. Suppose 0 = 4*n - 4*s, -s = 3*n + n - 15. Let v be t(n). Solve 3 = x - v*x for x.
3
Let o = -13 - -29. Solve 0 = o*l - 14*l for l.
0
Let r be 21/49*8 - (-6)/(-14). Let p be -3*r/3 - (-27)/9. Solve o = 1 - p for o.
1
Let p be (3 - (-8)/(-2))/((-1)/(-2)). Let b be (-3 - -4)/(p/(-4)) - -1. Solve -b*j = j - 12 for j.
3
Let z be ((-50)/(-20))/(1/2). Suppose -z*n = -n + 8, -28 = -4*q + 2*n. Solve 0 = -u + q*u for u.
0
Let r(u) = -u - 1. Let m(n) = -n - 12. Let s(t) = -m(t) + 2*r(t). Let i be s(0). Solve -2 = 2*j - i for j.
4
Let f = -545 + 546. Solve -f = 23*c - 22*c for c.
-1
Suppose 6*y - 5*y = 0, -2*y = 4*q - 8. Solve 0 = -2*x + q*x + 3*x for x.
0
Suppose -32*i = -20*i - 324. Solve -h - 23 = -i for h.
4
Let s = 602 - 593. Solve 0 = -12*y - s - 3 for y.
-1
Let o = -21 - -6. Let k = o + 24. Suppose -8*c + 99 = 25*c. Solve -c*x = -0*x + k for x.
-3
Let s(g) = -g + 1. Let x be s(1). Suppose x = -14*p + 13*p. Solve -6 = 3*j - p for j.
-2
Suppose -4 = -2*h - 0*h. Suppose 0 = h*j + 3*r - 6, -4*r + 2*r + 4 = j. Solve 2*f - 8 = -j*f for f.
4
Let j = 788 - 782. Solve j*k + 8 = 14 for k.
1
Suppose 3*h - 2*h + 3 = 0. Let t be (2 - -1)/(-3) - 0. Let u be -1*(1 + h + t). Solve -4*y = -5*y + u for y.
3
Suppose -3*u + 49 = -4*b, u - 6*u - 5*b = -70. Let a be 5/((-100)/(-115)) - 2/(-8). Suppose -19*z = -16*z - a. Solve -z*v + u = v for v.
5
Let t(y) = y**2 + 4*y. Let v be t(-6). Let d be ((-32)/64)/((-1)/8*2). Solve d = -5*q + v for q.
2
Suppose -9*b - 17 + 44 = 0. Solve -4 - 5 = b*u for u.
-3
Suppose -3*p + 87 = -6. Let m = 31 - p. Solve 0*w + 4*w = m for w.
0
Let w(v) = v**3 - 23*v**2 + 3*v - 24. Let j be w(23). Solve j - 15 = 6*f for f.
5
Let x = 236 + -233. Solve 0 = 4*y - x*y - 4 for y.
4
Let d be (-3 + (-368)/24)/(1/(-3)). Let m = 62 - d. Solve m = -3*g + 1 for g.
-2
Let x = -13 + 17. Suppose -d + 3*a + 12 = 0, 3*d = -d - a - x. Solve d = -3*p + 6*p + 15 for p.
-5
Let l = -93 + 96. Suppose -9 = -4*f + 2*b - l*b, -2*f - 5*b = 9. Solve -1 = f*g - 13 for g.
4
Let n = -4 - -8. Suppose 82 = 3*d + 82. Suppose 0 = -5*t - 2*f, -2*t - t + n*f = d. Solve t*k = -k for k.
0
Let v be (-57)/114 - (-46)/4. Suppose 6*m - 5 = m. Solve -4*l = v + m for l.
-3
Let q(d) = 3*d**2 - d. Let b be q(1). Suppose -o + 5*k + 5 = 1, -3*k + 12 = o. Solve h = -b*h + o for h.
3
Let y(b) = -b**3 + 15*b**2 + 3*b - 41. Let x be y(15). Let d(r) = -r**3 + r**2 + 2*r - 4. Let l be d(-3). Let z be 1/(-2) - l/(-4). Solve -x*h + z = -7*h for h.
-2
Let z = -118 + 139. Solve 7 = z*c - 14*c for c.
1
Let t be -3 + 34 - 0/(0 + 1). Let r = 41 - t. Solve r + 0 = 5*y for y.
2
Let s(n) = -3*n**2 + 14*n + 11. Let c be s(0). Solve c*y - 28 = -3*y for y.
2
Let j(a) = 7*a - 158. Let s be j(25). Solve -s*t + 13*t = 12 for t.
-3
Suppose -l + 47 = 4*v, 2*v - 3*l + l = 26. Suppose -y + v = 2*y. Suppose y*f - 13 + 5 = 0. Solve -3 = -x - f for x.
1
Suppose 5*f - 2*f + 63 = 0. Let k = f + 26. Let p be 0*(2 - (0/4 + 1)). Solve -10*g + 5*g - k = p for g.
-1
Let l be 6*(-175)/(-21) + 3. Solve 0 = 5*f - 73 + l for f.
4
Let k = -3 + 6. Let y be (-18)/(-27) - (-10)/k. Suppose -q = 4*w - 4*q - 8, -y*q = w - 2. Solve 0 = b + w*b for b.
0
Suppose -38*m - 83 = -a - 35*m, 0 = 2*a + 5*m - 155. Solve -12*r + a = 20 for r.
5
Let q be (63/15 - 3)*(-175)/(-14). Solve q*p + 6 = 12*p for p.
-2
Suppose 4*i = q + 134 + 63, 5*q = -5. Solve -52 = c - i for c.
-3
Let q(u) = -u**3 + 26*u**2 + 56*u + 26. Let j be q(28). Solve 44 = -14*f - j for f.
-5
Let z(s) = -14*s - 58*s**2 + 19*s**2 - 37 + 17*s**2 + 21*s**2. Let f be z(-10). Solve -6 = -f*o - 21 for o.
-5
Suppose -10*g - 26 = -36. Solve 23*c - 22*c = g for c.
1
Suppose 48 = -2*j + 10*r, 2*j = 4*r + 2 - 20. Solve -j = -c - 5 for c.
-4
Suppose l + 56 - 59 = 0. Solve 0*q = q - l*q for q.
0
Let f(d) = d + 47. Let j be f(-13). Solve 8*g = j*g + 130 for g.
-5
Suppose -10*n = -15*n + 25. Let q be 0 + (-2 + 5 - 1). Let v be (1 + -1)/((-2)/q). Solve -i + n = -v for i.
5
Suppose -d + 2*d = 32. Suppose 3*l - 7*l = -d. Let a = 8 - l. Solve 4*j - 3*j + 2 = a for j.
-2
Suppose -9*h + 288 = -3*h. Suppose -3*z + 5*z - h = 0. Solve z = -5*l - 1 for l.
-5
Let m(v) be the second derivative of -v**5/20 - v**4/4 + v**3/2 - 2*v**2 - 16*v. Let z be m(-4). Solve 5*h + 2 - 22 = z for h.
4
Suppose -5*r - 2*d + 15 + 59 = 0, -4*r = -2*d - 52. Suppose -z - 3 = -i - 1, -5*z = 3*i - r. Let w(b) = b - 12. Let l be w(18). Solve 0 = -i*g + l + 6 for g.
4
Let z(i) = -2*i. Let o be z(8). Let m be 3/(-15) + 364/20. Let w = o + m. Solve -c + w - 7 = 0 for c.
-5
Suppose 9 = 2*t - r, t - 21 = 3*r - 8*r. Solve 0 = -c - t*c + 21 for c.
3
Suppose 0 = i - 1 + 25. Let h = i - -27. Solve 4*p - 4 = h*p for p.
4
Let v(s) = s**2 + 2*s - 7. Suppose 2 = 2*m - 8. Let x be 17/m - (-8)/(-20). Let i be v(x). Solve c + c = i for c.
4
Let h be 28 + (-3)/(-3) + -2. Suppose -3*d = 6, 3*o - 2*d - d - h = 0. Let c = -5 + o. Solve c*n - 7 = 1 for n.
4
Suppose 16 = -8*c + 10*c. Solve -m - c = -5*m for m.
2
Suppose h + 29 = 4*t, -3*h + 8*h = 15. Solve -4*l = t - 0 for l.
-2
Let z = -87 + 92. Suppose -3*v - 3 = 3*m - 0*m, z*v + 21 = 3*m. Solve -3*b = -2*b - m for b.
2
Suppose 3*z + l - 17 = 0, -l = 5*z - 8 - 23. Let k(q) = 5*q - 31. Let i be k(z). Solve i = 7*n - 11*n for n.
-1
Suppose 4*i + 2*h = 3*h, -5*i + 3*h = 0. Suppose i = -2*w + 3*j + 19, -4*w + 5*j + 38 - 5 = 0. Solve 20 = 2*t + w*t for t.
5
Let x be (-1)/((-15)/(-10)*3/(-9)). Suppose -2*r + 4 = x*m - 3*r, -m + 12 = 2*r. Solve -4*v + 20 = m for v.
4
Suppose -4*g - 4*w - 36 = 0, 0 = 5*g - 3*w + 17 + 4. Suppose 0 = -30*z + 527 - 167. Let v = g + z. Solve j = v*j for j.
0
Let s be (1 - 2) + -1*5. Suppose u = -3*u + 4*k + 28, 2*u + 2*k + 2 = 0. Let m be 0*u/s + 2. Solve 2*j - 12 = -m*j for j.
3
Suppose -4*j + 29 = 1. Let o be ((-25)/(-20))/(1/(3 + 1)). Solve j = o*h - 3 for h.
2
Let s be (-72)/(-10)*15/9. Suppose 0 = -6*z + 30 - s. Solve z*k + 5 - 2 = 0 for k.
-1
Sup