 Let y = r - 4. Solve 0 = -f - y + 1 for f.
-1
Suppose -440 = -11*q + 1001. Let a = q + -131. Solve a*o - 1 = o for o.
-1
Suppose 4*o - 3*y - 99 = 0, -3*o = -2*y - 3*y - 77. Suppose 4*c = -2*z - o, 5*z + 45 = -4*c - 9. Let t be (-32)/z*5/2. Solve -t = 4*d - 24 for d.
4
Suppose 6*l - 12 = 12. Solve 3*m - 1 = l*m for m.
-1
Let z(g) = -g**2 + 3*g + 8. Let t be z(4). Suppose 3*j - 3 = -y, 5*y + 1 = j - 0. Solve -t*v + 8*v - 8 = y for v.
2
Let p(v) be the first derivative of -1/3*v**3 + 17*v + 13/2*v**2 - 10. Let y be p(14). Solve y*j = 2*j - 3 for j.
-3
Suppose -k + 81 = 4*c, -4*k + 90 = -4*c - 194. Suppose -4*i - p = k, -2*i + p = 2*i + 63. Let d = i + 32. Solve 0 = 5*j + d - 5 for j.
-2
Suppose -16*f = -6*f + 20. Let l be f/(-10) + (-88)/(-10). Solve l*a = 6*a for a.
0
Let k = -22 + 9. Let u = k + 16. Let c be u - (1 + 0/(-4)). Solve c*x + 2 = -6 for x.
-4
Let q(h) = -h + 5. Let o be q(-14). Suppose 5*b + 4*c + 8 = 0, 5*c = -3*b + 4*b + o. Let s be ((-10)/8)/(1/b). Solve -v = -0*v + s for v.
-5
Suppose -6 = -11*b + 10*b + 2*k, k + 3 = 4*b. Solve b = -v - 8*v for v.
0
Suppose 49*s - 679 = 840. Solve 43*z - s*z = 0 for z.
0
Let k(x) = -7*x**3 + 2*x**2 + 3*x + 2. Let t(j) = 6*j**3 - j**2 - 2*j - 2. Let o(m) = 3*k(m) + 4*t(m). Let d be o(1). Solve y = d*y for y.
0
Let x be ((-6)/(-5))/((36/(-10))/(-9)). Suppose 3*d + x = 0, 4 - 1 = -f - 3*d. Solve -2*r - 8 = -f for r.
-4
Let x be 0*(54/(-30) - 8/(-10)). Solve x = -17*y + 43*y - 104 for y.
4
Let f(b) = 3*b**2 - 2*b - 35. Let q be f(4). Solve q*v - 34 = -24 for v.
2
Let b(x) = -5*x - 10. Let c be b(-7). Suppose 4*s = 3*s + 2. Let f be (1/(-2))/(2/(-28)). Solve -c = f*g - s*g for g.
-5
Suppose 2*y = -2*y + 5*k + 39, -5*k = -5*y + 50. Let c(x) = -x**3 + 10*x**2 + 13*x - 17. Let o be c(y). Solve o*w = w + 16 for w.
4
Suppose -4*b - 18 = -2*n, 5*n - 5*b + 1 = 31. Let c = 1 + n. Let i(y) = 278*y + 2230. Let q be i(-8). Solve -c*l - q = -18 for l.
3
Suppose -22 = -18*x + 7*x. Suppose n = -4*d - 2*n + 6, x*d - 2*n = -4. Solve -r + 3 + 0 = d for r.
3
Let r(q) = 2*q + 50. Let l be r(-23). Suppose -4*t = l*f + 16, 4*t - 4 = f - 0. Solve -2*h = -t*h + 10 for h.
-5
Let y = 78 - 66. Solve t = y - 17 for t.
-5
Let h(p) = -3*p**2 + p**3 - 2*p - 7 - 2*p**3 + 4. Let i be (0 - 3) + 2/1 + -2. Let l be h(i). Solve -l*x + 1 = 4 for x.
-1
Suppose -33*t + 29*t = 24. Let o be (t/4)/((-18)/48). Solve o*m = 4 - 0 for m.
1
Let s(p) = -p**2 + 7*p + 4. Let m be s(8). Let f(g) = -2*g - 8. Let q be f(m). Solve -n = -q*n for n.
0
Let x = 61 + -64. Let o(p) = -p**2 + 8*p + 3. Let k be o(6). Let u be x - 4/(-6)*k. Solve -2*n = -u*n - 10 for n.
-2
Let q(j) = -j**2 - 12*j - 21. Let t be q(-9). Let r be (-1)/(3 - 16/t) + 3. Solve 0 = -3*n - r - 15 for n.
-5
Suppose 0 = -i - 3*i + 20. Suppose 0 = 4*x - i*a, 3*a + 7 = -x + 6*a. Let f be (-1 - 68/(-20))*x. Solve 2*p + f = -2*p for p.
-3
Suppose 0*v + 4*v - 76 = 0. Suppose k = -5*p + 15, p + 4*k - v - 3 = 0. Suppose p*x - 15 = -a, 0*x - x + 3 = 0. Solve -5*m = a + 6 for m.
-3
Let i(m) be the second derivative of -m**4/12 - 5*m**3/6 + 8*m**2 - 9*m. Let d be i(-7). Solve 2*c + d = -2 for c.
-2
Let t be (-30)/2*(-2)/6. Suppose t*a + 4 = a. Let z be (-13 - -1)/(-1 + a). Solve 6 + z = 3*o for o.
4
Let u(g) = -34*g - 659. Let w be u(-22). Solve -w = a - 86 for a.
-3
Let p = -96 - -112. Solve p*x = 21*x - 15 for x.
3
Suppose 2 = 3*p - r, -3*p - 2*p = -r - 2. Let i(m) be the third derivative of m**4/24 - 5*m**3/6 - 4*m**2. Let b be i(9). Solve -b*w + 7 + 1 = p for w.
2
Let h be 91/(-28) - (-1)/4. Let y = 13 + h. Suppose -n = -13 + y. Solve -1 = -n*o + 2 for o.
1
Let n(g) = g**3 - 2*g**2 - 4*g + 3. Let y be n(3). Suppose -5*f + 4 = -16. Let k be 20/10 + f/2. Solve k*a = -y*a for a.
0
Let b = -2020 - -2025. Solve -b - 5 = -2*a for a.
5
Let y be 10/4*(-66)/(-55). Suppose -n - y*n - 5*s + 25 = 0, 3*n - 5*s - 10 = 0. Suppose -7 = -n*d + 18, -10 = 2*o - 2*d. Solve 3*z - 3 - 3 = o for z.
2
Suppose 0*w = -5*a - w + 29, 0 = a - 5*w - 11. Suppose a*n = 3*g + 4*n, 0 = -3*g - 5*n + 21. Solve g*z = -z for z.
0
Let r(h) = -15*h + 15. Let p be r(-3). Let l = -60 + p. Solve l = -4*k - 16 for k.
-4
Suppose k - 45 = -2*k. Let y be ((-84)/k)/((-10)/25). Let f = 17 - y. Solve b = 2*b - f for b.
3
Let z = 110 + -100. Solve z*a - 5*a - 10 = 0 for a.
2
Let r be 1/(-2*1/(-2)). Let p be (1 + -5)/(r/(-1)). Let u(l) = -l**2 + 7*l - 3. Let w be u(p). Solve 2*b + w = 5*b for b.
3
Suppose 20*h - 21 = 13*h. Solve 0*w = h*w - 15 for w.
5
Suppose w - g + 6 = 2*w, -4*g = 5*w - 26. Suppose 4 = -0*t + 2*t. Let j = -49 + 51. Solve -j*r = -w - t for r.
2
Let f(n) = 2*n + 8. Let u be f(4). Solve -5*w + u = 6 for w.
2
Let d(p) = -19*p. Let o be d(-2). Let b = o + -37. Solve -2*n - b - 1 = 0 for n.
-1
Let t(l) = -2*l**3 + 3*l**2 + 4*l + 2. Let d be t(-1). Suppose -3*s + 8*s - 24 = -v, -v + d*s = 0. Solve -v = -3*j - 0*j for j.
3
Suppose 158*k = 121*k + 851. Solve -5*z - k = -3 for z.
-4
Let b be ((-12)/30 + (-17)/(-5))*1. Solve -b = -5*x + 2 for x.
1
Let w be 127/14 - 5/70. Solve 4*x = w*x - 5 for x.
1
Let s = -2 + 4. Let v be (1*s)/((-19)/(-38)). Solve -17 + 1 = v*h for h.
-4
Let h(f) = -f**3 - 22*f**2 - 71*f + 23. Let l be h(-18). Solve -9*j = -14*j - l for j.
-1
Let l be (6/(-10))/(-5*(-8)/(-1000)). Suppose -3*d = 4*p + 2*d - 5, 1 = 3*p + d. Solve 0 = -p*k + 3*k - l for k.
5
Suppose -2*s + 86 = 2*k, 5*k - 52 - 128 = 2*s. Let d be (-4)/18 - k/(-9). Let r be ((-4)/3)/((-34)/51). Solve d*m + 6 = -r for m.
-2
Let p(y) = y**2 + 9*y - 2. Suppose 15 = 5*c, -2*m + 0*c - 32 = -4*c. Let v be p(m). Solve -k + v = k for k.
4
Suppose 2*f + 12 = 6*f. Suppose 0 = -j + 3*z - 2, j + f*z - 16 = -0*j. Let w be 6 + -9 + (j - 2). Solve -w*b = b - 15 for b.
5
Suppose 10*y + 330 = 20*y. Solve 3*k - 27 = -y for k.
-2
Suppose -y - b = -48, -3*y + 5*y = 5*b + 68. Solve 0 = -y*z + 37*z for z.
0
Let n(h) be the second derivative of 1/12*h**4 + 7/6*h**3 + 6*h**2 - 6*h + 0. Let c be n(-5). Solve 3*f = -c*f for f.
0
Let m(j) = j - 12. Let z be m(13). Solve 14 = -3*n - z for n.
-5
Suppose 4*o - 1 = 3*o. Suppose -174*u = -163*u - 88. Let a be ((-18)/u)/(o/(-4)). Solve a + 16 = -5*f for f.
-5
Suppose 0 = 2*a - 2*s - 20, 4*a - 3 = -3*s + 2. Solve -4*l - a = 11 for l.
-4
Let l be 0 + -6 - 440/(-44). Solve 0 = -l*j - j - 20 for j.
-4
Suppose 0 = -7*f + 142 - 114. Suppose i = 3 + 1. Suppose -n = -i*n. Solve n = -9*v + f*v for v.
0
Suppose -9*m = -24*m + 525. Solve -m = 2*q + 5*q for q.
-5
Let j be (0 + -182)*2*1/4. Let u = j - -95. Solve -u*h = 2 + 18 for h.
-5
Suppose -2*j = 2*u + 21 - 119, 3*j + 231 = 4*u. Let n be 92/9 - 12/u. Let h = n - 9. Solve -5*l - h = -16 for l.
3
Let a(h) = 2*h - 3*h**3 - h - 2 - 4*h - h**2 + 0*h**3. Let j be a(-1). Solve j*y + 1 = 4 for y.
1
Suppose 0*x - 4 = -2*x. Let f be 0 - x - (-40)/5. Let a = f + 1. Solve 2*s - 1 = -a for s.
-3
Let w(m) = m + 11. Let o be w(-6). Solve o*f = -5 + 10 for f.
1
Let d(a) = a**2 - 4*a - 2. Let v be d(5). Suppose 2*t + 4 = 2*i, -v*t = 16 - 4. Let f = i - -7. Solve l = f*l - 8 for l.
2
Suppose 20*o = -z + 17*o + 4, -2*z - 5*o = -7. Solve 2*d + 3 - z = 0 for d.
-1
Suppose 0 = -3*v + 31 + 5. Suppose g + v = 4*g. Solve g = -3*x + 1 for x.
-1
Suppose 13*d + 139 = 178. Solve 2*c + 10 = -d*c for c.
-2
Let b be 6/33 - 155/(-55). Let n = 3 - b. Solve 3*h + 8 + 4 = n for h.
-4
Suppose 2*c - 111 + 97 = 0. Solve c = -3*v - 8 for v.
-5
Let n be 2/9 + 34/9. Suppose -4*j + 4*q = q + 9, n*j = -4*q - 16. Let z(d) = -d**3 - 2*d**2 + 4*d + 3. Let k be z(j). Solve -r + 5 - 1 = k for r.
4
Let n(u) be the third derivative of -u**6/120 - u**5/20 + u**4/8 - u**3/3 - 9*u**2. Let z be n(-4). Suppose -z*v = -0*v - 8. Solve v*k - k = 0 for k.
0
Let v(k) = -9*k + 17. Let d be v(-7). Solve -6*j = 10*j - d for j.
5
Let c(g) = g + 2. Let l be c(-2). Let h = -2 + -16. Let v be (h/(-12))/((-6)/(-28)). Solve l = j + v - 3 for j.
-4
Let u be (66/(-8))/((-66)/176). Solve -6 + u = 4*k for k.
4
Let g(b) = -b**3 - 9*b**2 - 9*b - 6. Let q be g(-8). Let x be 3 - 3/(q - 5). Solve x*k - 5 + 13 = 0 for k.
-2
Let s be -5*4/(-40)*4. Let t be (-2)/2 + -3 + s. Let z = t - -7. Solve -z*n + 3 = 8 for n.
-1
Suppose -y - 4*y = 120. Let x = y + 49. Let z = x - 25. Solve -2*r + z*r = 0 for r.
0
Suppose 9*x - 40 - 14 = 0. Suppose -17 = -x*v + 31. Solve b - 4 = -v