/(-1). Let n = v - -2. Solve -p - p = n for p.
0
Let v(r) = -2*r**3 + 4*r**2 + 5*r - 5. Let o be v(3). Let l be (1/1)/(o/48*-2). Solve -l*t - 4 = 8 for t.
-4
Let w(c) = 10*c**2 - 3*c - 2. Let x be w(-1). Suppose 2*s = x + 5. Suppose -2*j + 28 = s. Solve j = -n - 4*n for n.
-2
Let k be (-1)/(1/1) + (7 - 4). Let h be (-1 - (-2)/k)/(-17 - -14). Let b(o) = -o**3 + 4*o**2 + o - 1. Let w be b(4). Solve p + h = w for p.
3
Let q be (-6)/(-8) - 42/(-8). Let o(u) = -u**2 + 6*u. Let d be o(q). Solve d = -3*w + 2*w for w.
0
Suppose 16*r + 489 = 18*r + 3*n, -4*r + 963 = n. Solve 5*g - 215 + r = 0 for g.
-5
Let d be (-5)/(-1) - (1 - -29)/(-3). Solve 6*p = 3*p - d for p.
-5
Suppose -4*g - 4 = 0, 5*g = -2*n - 0*g - 9. Let o be (n + 12)*(-6)/(-10). Solve -k - o = -2 for k.
-4
Suppose -74*u = -73*u - 5. Solve 12*z - 14 = u*z for z.
2
Let w = 0 + -7. Let z be (7/w)/((-3)/(-27)). Let m = z + 16. Solve -5*n - 8 = m for n.
-3
Suppose 2*z + 159 = 3*a, 0*a - z = 4*a - 223. Solve 0 = -5*w + a - 65 for w.
-2
Let z(i) = 4*i**2. Let k be z(-1). Suppose -2*a = 4, -6*a = 2*g - 2*a + 16. Let s(o) = -6*o - 20. Let j be s(g). Solve 4*x + k + j = 0 for x.
-2
Let m be (-9)/(-21) + 2544/336. Suppose 0 = 2*n + 3 - 9. Solve -m = n*d + 4 for d.
-4
Suppose 3*q - 5 - 7 = 0. Suppose -5 - 11 = -8*f. Solve 0 = f*c - 2 + q for c.
-1
Let y(t) = t**3 - 8*t**2 + 10*t + 8. Let v be y(6). Let g be (v/14 + (-2)/(-7))/2. Solve g = 3*s - 22 + 7 for s.
5
Let p(l) = 7*l - 1. Let w be p(1). Let x be 0*(w/4 + -1). Suppose -21 = -j + 4*n - x*n, 2*n = -8. Solve -j*d - 13 = 2 for d.
-3
Let c be (28/(-35))/(1/(-5)). Suppose -5*p + c = -1. Let b(m) = -m**3 + 7*m**2 + 8*m + 3. Let i be b(8). Solve -r + i = -p for r.
4
Let w(r) = r**2 - 4*r - 30. Suppose 10*m - 2 + 42 = 0. Let l be w(m). Solve 3*u - l - 10 = 0 for u.
4
Let g(m) = m**2 + 4*m - 7. Let l be g(-6). Suppose -3*i = -8*i + l. Suppose 3 - i = r. Solve r = -3*s - 4 for s.
-2
Let r(s) = 7*s**2 - 20*s + 47. Let d(j) = -11*j**2 + 30*j - 71. Let m(k) = -5*d(k) - 8*r(k). Let u be m(7). Solve -c - 2*c - 6 = u for c.
-2
Let c(h) = -3*h**2 + h - 1. Let l be c(-2). Let r = 15 + l. Let v be (-3 + 4)*(r - -2). Solve -d = 1 - v for d.
1
Suppose 5*y - 3*y = 110. Suppose -4*n + 81 + y = 0. Let d be 4/n - 4/34. Solve d = 4*p - 7 - 5 for p.
3
Let k(c) = c - 6. Let o(g) = g**3 + 12*g**2 - 3*g - 21. Let v be o(-12). Let w be k(v). Solve -3*b = -w - 3 for b.
4
Let m(q) = -q + 1. Let r be m(-12). Suppose 9*c - r*c = -24. Solve 5*o - c = 4 for o.
2
Suppose 22*p = 16*p + 12. Suppose 7*m = p*m - 4*x + 28, 2*m - 4*x = 0. Solve 0 = 2*a + 2*a - m for a.
1
Let z(m) = -43*m - 419. Let w be z(-10). Solve 2*i = -w*i for i.
0
Suppose 0 = 39*s - 44*s + 5. Let v be -1*((-5 - -2) + s). Let j be (-50)/(-18) + v/9. Solve c = j*c for c.
0
Suppose -19 = -3*q + 8. Solve 0 = 32*p - 41*p + q for p.
1
Let u(l) = l - 5. Let h be u(10). Suppose 0*g + 4*x + 14 = 2*g, h*x - 5 = 0. Suppose 20 = 5*c + 3*o, -g = -4*c - 3*o + 7. Solve -c = 5*w - w for w.
-1
Let v(r) = 36*r - 6. Let q be v(-10). Let u be q/54 + 7 - (-2)/(-9). Solve g - 4 = -u*g for g.
4
Let a(p) = 2*p + 22. Let j be a(-14). Let n be (4 - (-12)/j)/((-1)/(-2)). Solve o - 2 = -n for o.
-2
Let m(d) = 113*d - 12. Let x be m(-1). Let r = -125 - x. Solve 2*a = -r*a - 4 for a.
-2
Suppose -2*l + 71 = -17. Solve -5*c - 39 = -l for c.
1
Let a be (-1 - -1)/2 - 6. Let k(c) = c**3 + 8*c**2 + 15*c + 4. Let x be k(a). Let s = 16 + x. Solve 9 - 1 = s*w for w.
4
Let p = -3 - -5. Let n(b) = b + 26. Let q be n(-20). Let k be (-8)/6*q/(-4). Solve -k*m = p*m + 4 for m.
-1
Let n = -435 + 438. Solve 0 = -35*c + 34*c - n for c.
-3
Let y = -18 - -9. Let b = -7 - y. Suppose 5*g = 2*d + b*d - 20, -2*g = -3*d + 22. Solve -3*p = -d + 1 for p.
3
Let h(n) be the third derivative of -n**6/120 - n**5/12 - n**4/12 - n**3/2 - 3*n**2. Suppose -4*q - 30 = 2*q. Let d be h(q). Solve 0 = -5*b + d + 3 for b.
2
Let n(i) = 4*i**2 + 1 - 16*i**3 + 3*i + 17*i**3 + 0*i**2. Let b be n(-2). Let p be (72/(-60))/(b/(-5)). Solve -p*r + 8 = -4*r for r.
-4
Let d = 56 + -53. Suppose -4*t = -5*k + d, -2*k + 0*k - t + 9 = 0. Solve 12 = -k*n - n for n.
-3
Let w be -1*(-3 + 2)*3. Suppose w*x - 4*x - 4*i = 3, -5*x + i + 69 = 0. Let b = x + -7. Solve 4*r - 6*r = b for r.
-3
Let f(c) = -c**3 + 7*c**2 - 6*c - 4. Let p be f(5). Suppose t + 2*u + 3 = -u, 4*t + 2*u = 8. Suppose s - 1 - 5 = -3*x, -4*s = t*x + 3. Solve -r = x*r - p for r.
4
Suppose -5*g = -5*u - 110, 0 = -2*g + 6*g - 2*u - 94. Suppose -3*z - 4*k - 15 = -k, 0 = 4*z - 5*k - g. Solve 0*c + c = z for c.
0
Suppose 5*t = 30*t. Let k = 23 - 20. Solve t + k = r for r.
3
Let w(y) = y - 25. Let o be w(0). Let v be o/(-9) - 4/(-18). Suppose -v*f - 2*f = -4*s - 35, 22 = -f - 5*s. Solve f*m + 15 = 6*m for m.
5
Let z = 1110 + -1101. Solve 7 = z*q - 20 for q.
3
Suppose 5*m - 2*b - 6 = 0, 13 = 4*m + 5*b - 5. Let v be ((-1)/m)/((-3)/(-156)). Let c = v + 26. Solve c = -3*x + 7*x for x.
0
Let l be 2/(-14) - (-2 - (-56)/(-49)). Solve -4 = -l*f - 16 for f.
-4
Let d be 0/(7 - (-1 + 7)). Solve -3*i + d = 3 for i.
-1
Let z(k) = -5*k + 3. Let d(l) = 6*l - 4. Let i(a) = 4*d(a) + 5*z(a). Let r be i(-4). Solve 10 + 2 = -r*p for p.
-4
Let g = 7 + 0. Suppose -3*o - 4*z = -g*z + 6, 0 = -2*o - 2*z + 4. Let b be (0 + o)/(-3 - -1). Solve b = -5*h - 1 + 6 for h.
1
Let l = -9 + 24. Suppose 6*f - f = l. Solve 4*p = p - f for p.
-1
Suppose 1 + 1 = x. Suppose 2*l - x*d - 18 = 0, -33 = -2*l + 6*d - d. Let v be l/(-14) + (-16)/(-7). Solve -v - 4 = 2*f for f.
-3
Let v = -319 - -321. Solve -v*q = q for q.
0
Suppose -17*a = -2*a. Let t = 0 + 1. Let g be 2*t*(-6 - -7). Solve -l + 0 - g = a for l.
-2
Let n(i) = i**2 + 9*i + 9. Let u be n(-9). Let w(d) = 2*d - 13. Let x be w(u). Solve -2 = x*v + 8 for v.
-2
Let o = 231 - 224. Solve 6*f - 25 = -o for f.
3
Let k(o) be the third derivative of -o**4/12 - 5*o**3/3 - 4*o**2. Let j be k(-6). Suppose 0 = j*a + 6, -5*q - 3*a + 10 = 4. Solve p - 1 - q = 0 for p.
4
Let m(c) = c - 2. Let k be m(6). Suppose 0 = -2*i - 8, z - 12 = 2*z + k*i. Let y(q) = 3*q**2 - q. Let a be y(1). Solve z*r = a*r + 10 for r.
5
Let l = -29 - -113. Suppose 20*t = 16*t + l. Suppose 0 = -r - 0*r + 5. Solve r*h + 1 = t for h.
4
Suppose 5*b + 107 - 392 = 0. Let v = 109 - b. Suppose 5*s + 2*p - v = 0, -2*p - 17 = -4*s + 21. Solve -4*r - s = r for r.
-2
Let g = 3 + 3. Let n = g - 1. Solve 0*l - 5 = -n*l for l.
1
Suppose -2*a = 2*u - 14, -a = -2*u - u + 9. Suppose 0 = m + u, -3*d + 4*m + 12 = m. Let t be d*(2 + 0)/(-4). Solve t = 2*x - 4*x for x.
0
Let i = 596 + -592. Solve 7*w - i = 3*w for w.
1
Let l = 50 + -17. Solve 13 - l = -5*z for z.
4
Let i(r) = -r**2 + 28*r - 11. Let t be i(28). Let g(q) = q**3 + q**2 + q + 13. Let u be g(0). Let o = u + t. Solve 0 = -o*a + 5*a - 9 for a.
3
Suppose 31 - 55 = -8*m. Suppose -3*s = -m*y - 36, 0 = -3*s + y + 4*y + 30. Solve 8*x = 3*x + s for x.
3
Let j be (-1 - -6) + 8 + -7 + -5. Let a(q) = q**3 + 6*q**2 + 5*q + 5. Let s be 2 + 3*-1 - 4. Let u be a(s). Solve t + j = u for t.
4
Let z(h) = h + 8. Let s(c) = c**3 + 3*c**2 - 6*c - 4. Let o be s(-5). Let j = -29 - o. Let n be z(j). Solve -a + 10 = -n*a for a.
-5
Let g be (-6)/9*3/(-1). Suppose 4*a + 4 = 5*n, -3*a + 4 = -g*n - 0*n. Solve 2*h - n = h for h.
4
Let h(u) = -14*u - 24. Let r be h(5). Let d = r + 102. Solve -3*m + d + 7 = 0 for m.
5
Suppose -25*z = -34*z + 81. Solve z*c = 6*c + 6 for c.
2
Suppose -2*t + i = -3*i - 24, 0 = -i - 3. Let m be (9/(-6))/(t/(-12)). Solve 5*l + 4 = m*l for l.
-2
Let b(c) be the first derivative of c**4/4 + 6*c**3 + c**2/2 + 24*c - 2. Let p be b(-18). Solve -p*w + 25 = -w for w.
5
Let x(o) = -o + 13. Let w be x(8). Let m(v) = 11*v**2 - 97*v - 18. Let q be m(9). Solve q = -w*b - 3 - 7 for b.
-2
Suppose 0 = -i - 3 - 2. Let y be 1*i/5 + 4. Solve -7*n - 8 = -y*n for n.
-2
Let c = -19 - -16. Let x = -17 - -11. Let r be x/c*(2 + -1). Solve 0 = 2*n - 4 + r for n.
1
Suppose 0 = u - x - 1, 55*x = 57*x - 10. Let n(h) = 2*h + 3*h**2 - 9*h - 2*h**2 + 9. Let v be n(u). Solve -3 - 12 = v*w for w.
-5
Let w(c) = -2*c - 3 + 4 + 4 - 9. Let x be w(-3). Let q be ((-16)/10)/(x/(-5)). Solve -q*z + 4 = -0 for z.
1
Let n(t) be the first derivative of -t**3/3 + 13*t**2/2 + 34*t + 6. Let a be n(15). Solve j - a = 5*j for j.
-1
Suppose 221 = 157*i - 144*i. Solve -2*l = -i +