e -p*v - 14 + 53 = 0 for v.
3
Suppose 2*f + 0*f - 50 = 0. Suppose -3*u - 2*u + 80 = 0. Let c = 22 - u. Solve f = d - c*d for d.
-5
Let b(c) = c - 5. Let m be b(-5). Let z = 9 + m. Let l be z - (-11 - (-3 + 6)). Solve -l - 3 = 4*o for o.
-4
Let d(j) = 0 - 2*j - 1 + j - 5. Let u be d(-2). Let z(h) = -4*h - 10. Let n be z(u). Solve 2*c = -c - n for c.
-2
Suppose -2*s - 3*r + r - 6 = 0, -2*r = 4*s + 6. Solve s*a + 6*a + 12 = 0 for a.
-2
Let v = -16 - -24. Let q be 3/5 - (-182)/5. Let f = q - 33. Solve -u + v - f = 0 for u.
4
Let q(k) = -23*k**2 + 3*k - 2. Let m be q(1). Let u = -17 - m. Solve 2 = -u*d + 7 for d.
1
Let j be 538/18 - (-72)/648. Solve 25*o - j*o = 15 for o.
-3
Suppose -6*p + 7 + 11 = 0. Solve -l + p = 6 for l.
-3
Suppose -5*w - 3 = -4*z + 2, 4*w = -3*z - 4. Suppose z = -k + 3. Solve -k*q + 0*q + 6 = 0 for q.
2
Suppose 5*k - 26 = -2*y, -4*k = 3*y - 0*y - 46. Solve -y*z - 14 = -11*z for z.
-2
Suppose 0 = 2*n + 4 - 40. Suppose -3*i - 6 = -n. Suppose 3*r - 4 = u, -2*r + 2*u = 3*u + i. Solve r = q + 3*q for q.
0
Let r(x) be the second derivative of x**5/20 - 3*x**4/4 - 5*x**3/3 - x. Let p be -20*(3/(-2))/3. Let y be r(p). Solve -3*b + 3 = -y for b.
1
Let r be ((-184)/(-12))/(((-20)/6)/5). Suppose 3*x - x - 4 = 0. Let n = x - r. Solve -2*p - n = 3*p for p.
-5
Let g(d) = -14*d**2 + 3*d**3 + 7*d**2 - 2*d**3 + 10 - 8*d. Suppose -3*c + 30 - 1 = -5*b, -42 = -5*c + 2*b. Let m be g(c). Solve x - m = 3*x for x.
-5
Suppose 3*j = -o + 10, -5*j + 3*o - 2 = -14. Suppose 21 - j = 3*x. Solve -3*l = -5*l + x for l.
3
Suppose 4 = -o + 2*v + 1, -35 = -3*o - 5*v. Solve o*d - 35 + 15 = 0 for d.
4
Let d(v) = v**3 - 3*v**2 + v + 2. Let n be d(3). Suppose -5*q + 10 = n*m, -m = 3*q - 16 + 4. Let p be 3 + m + 3 + 0. Solve 0*j - j = p for j.
-3
Let u be (-224)/(-252)*9/2. Solve -u*m - 1 - 11 = 0 for m.
-3
Let o = 7 - 4. Let l = -68 + 35. Let v be (-3)/2*44/l. Solve v*j + o = -5 for j.
-4
Let j be 26/6 - 1/3. Let s = -133 - -133. Solve u - j*u = s for u.
0
Let c = -127 + 157. Solve -c*n - 8 = -32*n for n.
4
Suppose -2*n + 6 = 3*l, 2*n - 6 = -5*l - 0. Solve k = -n*k - 12 for k.
-3
Let r be (-4)/(-8)*4/(-8)*0. Let x = 21 + -16. Solve -t + x*t = r for t.
0
Let m = -26 + 29. Suppose 0 = -5*w + n + 10, -m*w = w + 4*n - 8. Solve 0 = -v - v + w for v.
1
Suppose 7*b = 2*b + 10. Suppose -3*h = b*c - 16, 0*c + 10 = -3*c + 4*h. Solve -2 - c = y for y.
-4
Let b = 1 - 15. Let d be (-16)/(-10)*(-35)/b. Solve 5*g + d = -6 for g.
-2
Let y(v) = -4*v**3 - v**2 - v - 1. Suppose 2*z + 2*d = d + 17, 0 = -5*z - d + 47. Let m = 9 - z. Let j be y(m). Solve -5*b + 7 = -j for b.
2
Let v = -36 + 12. Let q be 16/v - (-22)/6. Let u be (-12)/(-8) + q/6. Solve 0 = u*w - w for w.
0
Let b(y) = -y - 5. Let i be b(-5). Let l be (1/(-3)*i)/1. Suppose 6*f - 3*x = 5*f - 13, -2*f - 5*x + 29 = l. Solve f*n - 5 = -1 for n.
2
Let o = -785 - -788. Solve 5*q + 24 = -o*q for q.
-3
Suppose -65*j + 75*j = 370. Solve -j = 9*p + 8 for p.
-5
Let a = -2 + 6. Suppose 2*s = a*s. Let t(o) = 3*o + 14. Let x be t(-2). Solve s*d = -2*d - x for d.
-4
Let s(b) = -2*b - 32. Let v be s(-20). Suppose 2*w = -v, 0 = 2*i - 3*w - 18. Solve 9 = 4*j - i for j.
3
Let z = 1 - -1. Suppose -2*q - a = 2, -q - 4 = z*q + 2*a. Suppose 0 = 4*g, 5*c = 2*g - q*g + 15. Solve c*r - 3 = 4*r for r.
-3
Suppose u = -5*s + 62, -5*u + 2 = 17. Let c be (-90)/(-5) - 9/3. Let a = c - s. Solve a*p - 12 = 6*p for p.
-3
Let p(z) = z**3 - 9*z**2 - 3*z + 94. Let d be p(8). Solve 21 - 39 = -d*i for i.
3
Let m(p) = -p + 8. Let d(o) = -2*o + 20. Let c(w) = -5*d(w) + 12*m(w). Let l(i) = -2*i - 26. Let g be l(-11). Let q be c(g). Solve x = -x - q for x.
-2
Let m = 9 - 9. Suppose 0 = 2*j - m*j. Suppose -28 + 25 = -r. Solve -r*t + 8*t - 25 = j for t.
5
Let c(u) = 5*u**2 - u - 1. Let o be 16/32 - 1/(-2). Let k be c(o). Solve k*w + 2*w = 0 for w.
0
Let q(v) = -4*v**3 + v**2 + v. Let x be q(-1). Let d be 220/25 + x/(-5). Let w = -8 + d. Solve w = -5*n + 30 - 10 for n.
4
Suppose -6*d = -d - 50. Let l(i) = -21*i**3 + 52*i**3 - 10*i**2 + 6 - 30*i**3. Let c be l(d). Solve 2*n + c = -0*n for n.
-3
Let y(d) = -d**3 + 4*d**2 - d - 2. Let a be y(3). Suppose -5*n = -4*n - 6. Let c = n + -6. Solve a*t + t = c for t.
0
Let f = -717 - -733. Solve -7*x + 3*x = -f for x.
4
Suppose 9*y = 7*y. Suppose y = -n - 4*n + 25. Let q be 72/(-21)*(-35)/10. Solve n*j + q = -8 for j.
-4
Let g be 11/7 + 17/((-238)/(-6)). Suppose 4*c - 16 = t + 20, 18 = 2*c + 4*t. Solve -l + c = g*l for l.
3
Suppose 0 = -4*k + 4*q - 348, 0 = 3*k + k + 2*q + 366. Let h be ((-2)/3)/(10/k). Let x(v) = -v**2 + 6*v. Let p be x(h). Solve 0 = 3*u - p - 6 for u.
2
Let o be (2 - -1 - 3) + 34. Let f = o - 32. Solve 0 = f*r - 10 + 4 for r.
3
Let w(j) = -j. Let z = -7 + 3. Let m be w(z). Solve -m*b + 10 = -2*b for b.
5
Let s = 31 + -44. Suppose 2*k = 5*k. Let l = k - s. Solve 4 = -3*h + l for h.
3
Let h = -80 - -83. Let n(v) = v**2 + 4*v + 2. Let q be n(-6). Let a be 3/9 + q/h. Solve a*r = -7 - 3 for r.
-2
Let p be 30/45 - ((-25)/3 - 1). Solve -10 - p = -5*s for s.
4
Let a(t) = -15*t**3 - 2*t - 1. Let i(m) = m**3 + m + 1. Let r(g) = a(g) + 2*i(g). Let h be r(-1). Let u = -7 + h. Solve -u = 2*l + 3 for l.
-5
Let p be ((-16)/(-14))/((-60)/(-210)). Solve 3*k = p + 2 for k.
2
Suppose -8*o + 5*o = -30. Suppose 4*j - o = -2. Solve -6*u - 4 = -j*u for u.
-1
Let u = -246 - -248. Solve i = 1 - u for i.
-1
Let x be (-4 - 2)*2/(-6). Let s be 3*-4*x/12. Let j(v) = v**2 - 1. Let a be j(s). Solve 0 = -3*z + a + 12 for z.
5
Suppose 2*c + 0*c = -8, 3*c - 16 = -2*z. Suppose 3*r - z = d, 2*d + 1 = r - 12. Solve 0 = 5*i - 2 - r for i.
1
Let m = 73 - 64. Let l = 17 - m. Solve -3*y - l = -y for y.
-4
Let l(a) = a**2 + 5*a + 6. Suppose 3*z + 0 - 3 = -3*b, -23 = z - 5*b. Let t be l(z). Suppose -5*y - 3*x = -4*y - 1, 5*y + x - 19 = t. Solve 4*s + y = -4 for s.
-2
Let z be 2 - 51*8/12. Let k = z + 36. Solve -5*w + k*w + 3 = 0 for w.
3
Let v = 25 + -53. Let x = v + 41. Solve x - 1 = 4*k for k.
3
Let v = 0 - 44. Let z be v/(-24) + 5/30. Solve 3*w + z = -4 for w.
-2
Let l be 134/(-3)*(-18)/(-12). Let p = -61 - l. Solve 4*c + 2 + p = 0 for c.
-2
Suppose -f + 3 = -4. Let h(n) = n**3 - 7*n**2 + n - 4. Let a be h(f). Suppose -a*g - 12 = -6*g. Solve 2*k + g = -4 for k.
-4
Suppose -l - 4 = -45*n + 43*n, 3*n - 6 = -2*l. Solve n*z = -3*z for z.
0
Suppose 11*o + 77 = 18*o. Let w = -6 - -10. Solve w*g = -o + 3 for g.
-2
Let k = -60 + 66. Solve -8 - 4 = k*d for d.
-2
Let a(o) = 4*o - 34. Let g be a(9). Solve -7*d = -g*d + 15 for d.
-3
Let d(c) = 2*c + 2. Let a(b) = b + 1. Let o(y) = 14*a(y) - 6*d(y). Let z be o(2). Suppose -20 = -5*u + 3*g + 108, 2*g + 102 = 4*u. Solve w - u = z*w for w.
-5
Let m = -421 - -425. Solve -14 + 10 = m*k for k.
-1
Suppose -m + 37 = 1. Suppose -16 + m = 5*o. Solve -5*h + 5 = -o*h for h.
5
Let g = -7 - -17. Suppose l = -l + g. Suppose -y + 14 = -4*p, -4*y + l*p - 9 + 76 = 0. Solve 3 = -5*u + y for u.
3
Suppose 0 = 12*r - 13*r + 2. Solve 0 = -m - r + 7 for m.
5
Let l = -357 + 359. Let c(n) = n**3 - 3*n**2 - 2*n - 5. Let y be c(4). Solve 5 = y*m + l*m for m.
1
Let i(t) = -t**2 + 7*t - 5. Suppose 2*v + 2*v - 9 = -3*d, -1 = -2*v - 5*d. Let q be i(v). Let s = -3 + q. Solve -5*n + s*n = 4 for n.
-4
Let v(w) = 4*w**2 - 2*w + 1. Let y be v(1). Suppose 0*p - y*c = 2*p + 2, 2*p - 6 = c. Suppose 6 = p*a - 3*m, 2*m - 17 = -2*a + a. Solve -1 + a = 4*l for l.
2
Let o(r) = 26*r**2. Let u be o(-1). Suppose 0 = -5*a - 25, 2*l + l + 2*a - u = 0. Solve -l = -t + 5*t for t.
-3
Suppose 119*z = 124*z - 85. Solve -13 = -y - z for y.
-4
Let i be 1 + (-4 - -10) - 3. Suppose 0 = j - 3*j + 4*b, -5*j + 28 = i*b. Solve -2*a + j*a + 2 = 0 for a.
-1
Let t(y) = y**2 + 7*y + 1. Let w(z) = z**2 + 1. Let q(m) = -t(m) + 3*w(m). Let a be q(4). Solve a = -b + 5 for b.
-1
Let j(v) = -4*v - 30. Let q be j(-8). Solve -7 + q = -h for h.
5
Let n be -74*(-5)/(-10)*3. Let a = 114 + n. Solve 2*o - 10 = -a*o for o.
2
Let a(q) = 4*q**2 + 13*q + 11. Let h(j) = -11*j**2 - 39*j - 34. Let r(s) = 8*a(s) + 3*h(s). Let k be r(-11). Suppose 36 = -6*n + k*n. Solve 4*b - 2 = -n for b.
-4
Let o(p) = 0*p**3 - 42*p**2 + 41*p**2 - 3*p**3. Let h be o(-1). Suppose -2*t = h*t - 48. Solve 3*z - t = 6*z for z.
-4
Let k(b) = -b**2 + 11*b + 15. Let g be k(12). Suppose g*f - 4*v = 0, 0 = -2*f - 3*f - 