 4*v - p = -2 for v.
-1
Suppose 10*v + 16 = 12*v - 3*m, -5*v = -m - 14. Let x be v*7/35*5. Solve -4*q = -x*p - 3*p - 9, -3*p + 2 = 5*q for q.
1
Let h(p) = 2*p**3 + 45*p**2 + 25*p + 71. Let v be h(-22). Solve v*u + 6 = -g - 7, 2*g = 3*u + 13 for u.
-3
Let c(b) = b**2 - 11*b - 4. Let m be c(8). Let i = m + 32. Solve -8 = 2*q - q + 2*f, i*f - 8 = 4*q for q.
-4
Let v = -1493 - -1505. Solve -3*h + 25 = -7*h - 3*a, -4*a - v = 0 for h.
-4
Let m(n) = -6*n**2 + 14*n + 4. Let h be m(4). Let l = h + 45. Let r = 0 - -2. Solve -3*v + l = a, -r*v - 23 = -5*a - 6*v for a.
3
Suppose 12 - 32 = -5*d. Let c be 13/(78/(-144))*(-2)/d. Let s be 1 + (-15)/c - (-26)/8. Solve 4*v - 6 = 2*h, 5*h + s + 20 = 2*v for h.
-5
Let q(z) = 15*z + 48. Let x be q(-3). Solve 3*f + x = -j, 0 = -2*j + f - 6 for j.
-3
Let c = 196 - 176. Let v(z) = 2*z - 36. Let o be v(c). Solve -2*j = 2*a - o - 4, 10 = -2*j + 4*a for j.
1
Let d(o) = -6*o**2 + 369*o + 204. Let c be d(62). Solve -4*a - 5*x - c = 0, -2*a - 2 = 3*a - 4*x for a.
-2
Let k = 142 + -93. Suppose 2*t + k - 75 = 0. Solve f = 3*h + 5, h = 7*f - 3*f + t for h.
-3
Suppose -62*q + 59*q = -195. Let t = q + -52. Solve 3*p = a - t, 3*a - 5*p - 17 = -a for a.
-2
Suppose 4*m = -3*j - 42, -78 = -j + 5*j - 2*m. Let d = 20 + j. Suppose -13*w = -14*w + d. Solve n - 5*x = -2*n - 35, 0 = -2*n - 3*x + w for n.
-5
Let r(v) = 3*v**2 - 104*v + 78. Let b be r(34). Let p be (8 + (-135)/18)*b. Solve 5*g + 1 = 2*n + 17, p*n - 6 = g for n.
2
Suppose -v + 2*t - 23 = -37, 0 = -2*v - t + 8. Let f be 2*(117/v)/13. Solve f*y - y = 5*s - 23, -5*y - 2*s = 14 for y.
-4
Let v = 7499 + -7496. Solve -v*y = 2*l + 3, -l + 6*y - 7*y = 0 for l.
3
Let g(v) = -v**3 + 12*v**2 - 22*v + 24. Let k be g(10). Let h be (k + -19)*1/(-5). Solve -4*w - x = 13, h*x - 5*x = 10 for w.
-2
Let o = 0 - -1. Let m(x) = 3*x**2. Let r(w) = 4*w**2 - w. Let y(g) = m(g) - r(g). Let z be y(o). Solve 2*v = -z*i - i - 3, 3*i - 3*v = 27 for i.
5
Suppose -34*u = 15*u + 38 - 1704. Solve 4*t = -2*j + u, 3*j + 12 - 51 = -4*t for j.
5
Suppose -453 = -12*g + 1179. Solve -16 = 141*j - g*j - 3*s, 5*j = -5*s for j.
-2
Let f = -62 + 66. Suppose t = -2*p + 10, t + f*p - 11 - 5 = 0. Suppose -12 + 4 = -t*w. Solve -d + 3*r = 3 - 8, w*r = 4*d - 20 for d.
5
Let g be 74 - 49 - ((-12)/1)/(-2). Suppose -5*u + 2*u = 42. Let w = g + u. Solve -15 = -5*n - w*c, -4*n + 4*c + 15 = 3 for n.
3
Let k be ((-270)/(-60))/((-1)/(-2)). Let q(m) = 6*m**2. Let p be q(-4). Suppose k*l = 3*l + p. Solve 2*u + 0*u - 5*a - 12 = 0, l = -3*u - a for u.
-4
Suppose -9*u - 7 + 14 = -20. Solve -30 = -5*c - 0*h + 5*h, c - 2 = -u*h for c.
5
Let v be ((-15)/4)/(((-138)/23)/24). Solve r + 15 = 4*y, 9*y - 11*y + 3*r = -v for y.
3
Suppose 3*v - q - 13 - 23 = 0, -4*q - 24 = 0. Solve w = -2*g - 1, 2*g + 9 = w + v for w.
-1
Suppose -2*x = l - 15, 3*l = -3*x + 5*l + 5. Let h(v) = -v**2 + 2*v + 18. Let g be h(x). Solve -4*a + 3 + 8 = 3*j, g*a - 5 = j for j.
1
Let y be 10/15 + (-32)/(-6). Let t = y - 6. Solve t*b + 3*x = -b + 9, 5*b - 4*x + 12 = 0 for b.
0
Let k be 1 + (-14)/18 - 4/18. Suppose 2*j + 8 = 0, j + k = -q - 1. Suppose -h = p + q*h, -p = -4*h. Solve 2*t - 4*l = -22, p = -3*l - 0*l + 15 for t.
-1
Suppose -h + 97 = 3*l - 2*l, -5*h - 4*l = -485. Suppose 55 = -14*t + h. Solve -2*u + m - 5*m = -4, 5*u + t*m = 17 for u.
4
Let m be (9/6)/((-3)/(-4)). Let j = 485 - 482. Suppose -36 + j = -11*t. Solve 5*g + 5*w = m*g - 20, -12 = -3*g + t*w for g.
0
Let o be -1 + 1/9 + 880/180. Solve 9*h = o*h - 3*t + 29, h - 16 = -4*t for h.
4
Let x(v) = v**3 + 10*v**2 - 3*v - 28. Let k be x(-10). Suppose 0 = 2*t + c + c - 18, -2*c - 38 = -k*t. Solve 0 = -2*a + 5*w - 5 - 18, 0 = a - 3*w + t for a.
1
Let x = -874 - -878. Let l be x + (1*-2)/((-14)/(-7)). Let i be (-4)/2 + (-30)/(-1). Solve -l*h - 5*p - i = -4*h, 0 = 2*h - 3*p - 21 for h.
3
Let z = 3871 - 3866. Solve -z*b = -u + 28, -138*b + 14 = -142*b + 5*u for b.
-6
Suppose 5864 + 2302 = 82*c - 3068. Solve -r - 133 = -s - c, 5*s + 22 = 3*r for s.
-5
Suppose u - 785 = -3*m, 372 = -4*m - 5*u + 1415. Let n = m + -257. Solve n*c = -2*r - 7, -2*r = -3*r + 2*c + 10 for r.
4
Let z = 2 + 2. Suppose 2*a = 10*n - 48, -3*a - 130 = -88. Solve -z*c - n*t + 8 = t, 0 = -4*t for c.
2
Suppose 3*q - 654 = -3*r, -3*r = q + q - 650. Let h = 224 - r. Solve -5*c - 2*g + 8 = -0*g, 0 = -4*c + 2*g + h for c.
2
Let y(q) = 16*q - 97. Let r be y(6). Let x be (r - 455/(-21)) + (-1)/(-3). Solve -4*c + k - 9 = -0*k, -x = c - 4*k for c.
-1
Let w be -12*(-12)/(-1440) - ((-204)/40 - 2). Solve -5*q - 7 = -3*y, -w*q = -12*q + y + 1 for q.
1
Let p(j) = -23*j. Suppose 0 = -4*h + 2*h - 5*z + 1, 3*z + 15 = 0. Let x = -14 + h. Let i be p(x). Solve -3*o = -3*d - o - i, -d - 3*o + 7 = 0 for d.
-5
Suppose -58*g + 51*g + 14 = 0. Solve -2 - 4 = 3*u, 3*u - g = -2*m for m.
4
Suppose 5*p = -2*v + 9, -10 + 14 = 4*p. Solve 0 = v*f - 6, -2*o - 22 = f - 5*f for o.
-5
Let s(q) = -q**3 + 19*q**2 + 179*q + 80. Let x be s(26). Solve 4*g - 2*d + 14 = 0, g + x = 4*g + d for g.
-1
Suppose 369 + 1101 = 55*u + 50*u. Solve 30*h = 26*h + 2*i + u, -2*h + 3*i = -9 for h.
3
Suppose -2*x - 4*g + g = 21, 0 = -3*x - g - 14. Let j(a) = -3*a**3 - 9*a**2 + 3. Let u be j(x). Solve -25 = -4*z - 0*h + h, 35 = u*z - 4*h for z.
5
Let x be ((-1)/(-2))/1*(-5 + 1). Let h be -3*x/(-3)*12. Let z be (-6)/4 + 2/(h/(-78)). Solve w = -3*p - 2, 3*w - p = p + z for w.
1
Let s(i) be the second derivative of -i**4/12 - 14*i**3/3 - 129*i**2/2 - 15*i - 6. Let m be s(-6). Solve 0 = -m*l + l + 6, -3 = 4*p - l for p.
0
Let k be ((-1800)/(-21) - -1) + 10/35. Suppose -a = -1 + 2, -5*r + 2*a + k = 0. Let q = 22 - r. Solve -4*m - o - 19 = -0*o, 0 = q*m + 4*o + 21 for m.
-5
Suppose 6*j = 5*j + 3. Suppose 0 = -55*m + 60*m, 4*c = -2*m + 16. Solve -j*b - 17 = c*q, -b + 3*b = 3*q for b.
-3
Let j = 2570 + -2565. Suppose 74 = 2*s - 2*z, -3*s + 117 = z - 6*z. Suppose 0*n + n - s = 0. Solve -j*a + 3*y + n = 0, 21 + 6 = 3*a - 4*y for a.
5
Let h = 11 + -6. Let s be ((-36)/(-1092))/(13/1183). Solve -2*x = 4, 0 = -h*w - 0*w - s*x - 11 for w.
-1
Let t be ((-6)/7)/(36/(-168)). Let a be t/(-3) + (-164)/(-6). Let s = a - -3. Solve -s = 2*c + 2*c + 5*b, 4*c - 16 = 4*b for c.
-1
Suppose -101*z = -95*z - 12. Suppose -2*j = g - j - 16, 5*g + z*j = 92. Suppose -g*b + 85 = -3*b. Solve -6*s + b = -s - 4*l, -5*l = 3*s + 34 for s.
-3
Suppose 23*o - 21*o - 24 = 0. Suppose 4*g - o = -4*j, -2*g = -5*j + g + 15. Solve 6 = 5*t - z, -3*t + 5 = -j*z - 1 for t.
1
Let v(p) = 5*p**2 + 15*p - 15. Suppose 2*i = 3*i + 3, -4*u - 3*i = 25. Let w be v(u). Solve z - w = -q, -3*q + 4 = -2 for z.
3
Let h(y) = 29*y**3 - 7*y**2 + 21*y - 15. Let s be h(1). Let r = 0 - -1. Let f be r/(-4)*-17 - 7/s. Solve 8 = 2*d - k, -3*d + f = -d - 3*k for d.
5
Let j(b) = 5*b - 3. Let l be j(1). Suppose l = 2*r - 8. Solve 4*d + 3 = -r*t - 0*t, 2*d + 3 = -t for t.
1
Suppose -13*a = 4*a - 51. Suppose 5*y + 26 = 4*l, a*l + 3*y + 3 - 9 = 0. Solve 2*p - 2*b = 7*p - 9, 2*p + b - l = 0 for p.
1
Suppose -10*s + 12*s = -4*l - 748, -2*l = 5*s + 366. Let k = 188 + l. Solve k = 4*f + 5*y - 3*y - 2, -3*f = -2*y + 16 for f.
-2
Suppose 5*s - 9 = 11. Suppose 38*a - 305 + 153 = 0. Solve 0 = -2*f + 3*q + s, -2*q = -5*f - a*q - 9 for f.
-1
Let s(o) = o**2 - 5*o + 13. Let y be s(7). Suppose 5*p = 3*z + y + 5, -5*z - 24 = -p. Solve 4*b - 4*l = 8*b + 4, p*l - 3 = 3*b for b.
-1
Let g(v) = v**2 + 12*v - 51. Let p be g(4). Solve 4*m - 15 = 5*a, -4*a - p*m = -14*m + 1 for a.
1
Suppose -30 + 34 = 4*u + 6*s, 2*u - 12 = 2*s. Solve -9*h + 7*h + 8 = d, h - u = -2*d for d.
0
Let v(x) = -2*x**2 + 17*x - 33. Let f be v(6). Let z be f/(-8) - (-8321)/424. Solve -3*t + s - z = 2*t, 0 = -4*t + 5*s + 5 for t.
-5
Let v(h) = h**2 + 48*h - 1429. Let p be v(21). Solve -2*b + 17*c = p*c, -5*c - 10 = 0 for b.
3
Suppose 331*s - 168*s - 652 = 0. Solve 6*z - 7*z + 2*j = -1, -5*j = -s*z - 2 for z.
-3
Let c(s) = -s**3 + 15*s**2 - 13*s - 2. Suppose 0 = 2*r - 4*r + 2*z + 36, -2*z + 34 = 3*r. Let h be c(r). Solve 5*p - i = -6, 2*p - 2*i - 2*i = h for p.
-2
Let p be -27*(-3 - (-1 - 14/6)). Let s(g) = -g**3 - 5*g**2 + 35*g - 9. Let f be s(p). Solve 3*a = -2*n - 9, -4*a + f = n + 7 for n.
-3
Suppose 0 = -122*h + 128*h - 6. Let a be 882/28 + (h - 2/4). Solve 5*t + 3*x - a = 0, 2*t + 5*x + 0*x = 28 for t.
4
Let h = -19 - -22. L