 f*s = -10 for v.
1
Let f(p) = -p**3 - 30*p**2 + 31*p - 14. Let i be f(-31). Let u(b) = b**2 + 16*b + 32. Let j be u(i). Solve -s + 2*t = j*s + 16, -12 = 2*s + 2*t for s.
-4
Let t = 125 - 60. Suppose f - 5 = 0, 3*k + 4*f - t = -2*k. Let v(i) = 2*i**3 - 19*i**2 + 8*i + 11. Let g be v(9). Solve p = n + 6, k = -g*n - n for p.
3
Let o be -2*(6 + 21*5/(-15)). Solve o*d - 21 = -3*u - 10, -5*d = 3*u - 5 for d.
-2
Let i be (1540/2200 + 1/(-2)*1)*0. Suppose -x - 10 = x, 3*s - 5*x - 49 = 0. Solve m - 3*b = -i*m - s, 4*b = 8 for m.
-2
Let z(a) = a**2 - 22*a + 121. Let u = 236 - 220. Let c be z(u). Solve -2*t + 6*t + 5*v = -c, 5*t + 4*v = -29 for t.
-5
Let z(w) = 46*w**2 + 734*w - 28. Let a be z(-16). Solve -a*m + 2*m + 4*o - 8 = 0, 3*o = -2*m + 20 for m.
4
Let o be -54 + 62 + -2*6/(-3). Solve -i + o = 3*i, 3*i - 6 = -h for h.
-3
Let y(s) = 2*s**2 + 5*s + 6. Let t be y(-4). Suppose -k + 10*k - 18 = 0. Let r be (3/(-7))/(k/(-14)). Solve 3*b = -a - 8 - 2, t = -3*b - r*a for b.
-2
Let z = -117 - -118. Let w be 0/(z*-2*(-19)/(-38)). Solve 4*n = -3*j - n + 12, w = -4*n for j.
4
Suppose -2*y = 17*y - 1406. Suppose -7*f + y = 4*s - 81, -5*f + 3*s + 140 = 0. Solve -a - 13 = 5*c, 2*c + 3*c = -5*a - f for a.
-3
Let m(b) = 41*b - 26 - 11 - b**3 + 6*b**2 + 34. Let i be m(10). Solve 4*j - 3*g = -16, -5*j - 3*g = -0*g - i for j.
-1
Let t be ((-189)/(-21) - 7)/1. Solve -v + 2 = 0, -45 = 5*u - t*v - 61 for u.
4
Suppose -12*h + 70 = -5*h. Let y be 1/((-3)/178) - h/15. Let j = -55 - y. Solve 2*a - 8 = -4*p + j*a, 0 = -5*p - 3*a + 10 for p.
2
Suppose 12 = -4*p + 48. Let d(q) = -q**2 + 6*q + 4. Let c be d(6). Suppose c*b - 25 = -p. Solve -3*w = 2*f - 3 - 3, 0 = -b*w for f.
3
Let j be -13*(-16 - (-618)/39). Solve 0 = -3*y + 15, j*y = u - y + 12 for u.
3
Suppose -2*h - 109*p = -108*p - 6, -2*p + 2 = -h. Let f(u) = u**2 + u + 14. Let z be f(0). Solve 0*t + 6 = 2*t + h*d, 3*t - z = 2*d for t.
4
Suppose -2*q = c + 3*c - 28, 5*q - 15 = c. Let j = 95 + -26. Let f = j + -58. Solve -11 = -t + q*y, -4*t + 5*y = -0*y - f for t.
-1
Let l(c) = -2*c**3 - 23*c**2 + 15*c + 12. Let p be l(-12). Let b be 44/12 + (-8)/p. Solve -b*f - j - 9 = 0, -f = -2*j - j + 12 for f.
-3
Let b = 37508 - 37484. Solve 4*l - b = 4*o, 10*o - 13*o - 12 = 3*l for l.
1
Let y be 15 - (-77 - 7)/(-6). Solve -17*d - y = 2*k - 16*d, k - 12 = 2*d for k.
2
Suppose 0 = -71*w + 69*w. Solve -185*i + 181*i - 4 = w, 5*f - 13 = 3*i for f.
2
Let i be 1 + (-1 - 1) + 154/77. Solve -5*l - 3 = 3*x + i, -3*l = -x - 6 for l.
1
Suppose -12 = -4*w + 4. Let j = -245 + 271. Solve 0*o - 20 = -4*o, w*o - j = -2*z for z.
3
Suppose 82*h = 74*h + 40. Suppose h*n = 2*x - 0*n - 9, 2*n = -2. Solve 8 = -4*s - 5*u, u = x*s - 3*s - 2 for s.
-2
Suppose 0 = 5*a - 23 + 8. Suppose 5*y - 10 = n, a*y - 4*n - 5 = 1. Let t be (-1*(-27)/(-6))/((-1)/6). Solve -y*m = 4*b - 3 + t, -4*m = 8 for b.
-5
Suppose 5*n - 2*n = 9. Let q(x) = -x**3 - 175*x**2 - 848*x + 345. Let a be q(-170). Solve -a*l + 17 = 3*r, 6*l - n*l = 4*r + 16 for r.
-1
Let a be (-2 + -1)*(2 + (-5 - -2)). Suppose -4*d - 17 = 5*t, -5*d = a*t - t. Let s be 12/t*(-14)/(-21)*-5. Solve 7*i - 3*i - s = 5*h, 4*i - 4*h = 4 for i.
-3
Suppose 0 = 4*u + 4*o - 28, -2*u = 5*o - 26 - 0. Suppose 16*r - 219*r - 171*r + 1122 = 0. Solve r*w - 11 = -u*c + 4, 2*w - 10 = 5*c for c.
0
Let m = 82 + -82. Suppose -4*y = m, -5*u = -7*y + 9*y - 40. Suppose -3*d + u = d. Solve 10 = 2*r, -3*i + 3 = -2*r - d for i.
5
Let r = 21 - 21. Suppose r = -4*n + 12. Let z be ((0 - 0) + -2)*n/(-2). Solve -3*o - 5 = 2*p, 0 = 4*o + 5*p - 1 + z for o.
-3
Suppose 3*s = -3*m + 51, -53 = -6*s + 2*s - m. Let l be 27/4 - (-15)/s. Let y be 6/(-9)*-4 - 2/3. Solve y*b = -4*p + l, 2*b = -p - 2*b + 16 for p.
0
Suppose -3*j + 2*m + m = -18, 0 = -3*m + 15. Let t(v) = v**2 - 8*v - 16. Let d be t(j). Solve 4*p = a - d, -p + a - 9 = p for p.
-4
Let w(s) = -s**3 - 12*s**2 - 21*s - 4. Let p be w(-10). Suppose 32 = p*l - 4. Suppose 10*t - 9*t = 1. Solve -3*x + 3*c - t - 11 = 0, l = -2*x + 4*c for x.
-5
Let j(h) = -2*h**2 + 531*h - 4117. Let f be j(8). Solve 5*i + 37 = -f*u, -3*u + 4*i = 1 - 9 for u.
-4
Let w be -5 + (-4 - -3)*-1. Let b be -2 - -2 - w/2. Suppose 4*z = -0*z. Solve 2*y - 4*y + b = 2*m, 3*y + 5*m - 7 = z for y.
-1
Let j be -1*(-3)/(-9)*(0 - 6). Let g be 57/21 + (-24)/(-84). Solve -4 = -j*d, -m + 15 = -g*d + 8*d for m.
5
Let y be 0/4 + (7*1 - 87/29). Solve -8*u = -2*s - 4*u + y, -2*u - 6 = -3*s for s.
2
Let k(n) = -n**3 - 14*n**2 - 2*n - 28. Let c be k(-14). Solve 0*q + 3*q - 2*h - 11 = c, 17 = -3*q - 5*h for q.
1
Let z(m) = 20*m + 25. Let q be z(-1). Suppose -5 = a, 0 = -r + 3*r - a - 5. Suppose -6*k + 3*k = r. Solve -5*n - q = -p, 2*p - 5*n + 0 - 5 = k for p.
0
Suppose -2*r = -2*i - 58, -3*r - 5*i + 99 = -4*i. Suppose 0 = -77*b + 78*b + 1. Let s be b/(-1) + 3 + 16 + 0. Solve -s = w - 5*p, -5*p + r = -3*w + 2 for w.
-5
Let f be (0 + 2)*-2 - (-4 - 414). Suppose -49*k + 26*k + f = 0. Solve 0*u + k = -5*b - 2*u, 4*b + 13 = -3*u for b.
-4
Suppose -1 + 319 = 106*x. Solve n - 1 = -4*a, 9*n + x*a + 1 = 10*n for n.
1
Let i = 3993 + -3980. Solve 2*g - 4*s = -2, s - 9 = 2*g - i for g.
3
Let l = 627 - 577. Suppose -4*j + 3*u = -17, -5*j = -9*u + 11*u - l. Solve 0 = p - 4*h - 10, 2*p + h - j = 3*h for p.
2
Suppose -x - 5*n = -10*n - 25, 2*x - 50 = 4*n. Solve 0 = -v - x*c + 23*c + 2, -3*c - 8 = -4*v for v.
2
Suppose 19*q + 5762 - 6028 = 0. Solve 2*g - 3*o = -19, q*g - 3*o = 19*g - 5 for g.
-2
Suppose -69*x = -211 + 73. Solve -10*g + 14 = -8*g - 2*k, x*k = -3*g - 4 for g.
2
Let h(j) = j**3 + 14*j**2 - 97*j - 34. Let k be h(-19). Solve -k*d - d + z + 10 = 0, 2*d + 5*z = -23 for d.
1
Suppose -q + 5*g = -22, 29*g = 3*q + 26*g - 18. Suppose -5*x - 6 = u - 22, 0 = 5*x + q*u - 17. Solve 5*b = -2*o - x*o + 10, -4*b + 4*o - 8 = 0 for b.
0
Let z(p) = 2*p + 54. Let o be z(-28). Let d be o/(-4)*26 - -4. Suppose 0 = -4*c + 3*k + 6, 0*k + k = -5*c + d. Solve -f = 2*y - 6*y + 16, 8 = -c*f + 2*y for f.
0
Let b = 3951 + -3947. Solve 0 = -5*n + z + 26, -b*n = 4*z - 32 + 16 for n.
5
Let k = 2696 - 2693. Solve k*l = b - 5*b - 35, -2*l - 15 = b for b.
-5
Let b be (-388)/6*11/((-88)/12). Let o = 100 - b. Solve 0 = 5*n + 3*i + o, n + 4*i + 4 = -0*n for n.
0
Suppose 0 = 31*h - 9844 - 3765. Let b = h + -435. Solve -4*i = 4*a - 8, i = 3*a + b + 6 for i.
4
Suppose 0 = -0*l - 4*l. Let p be ((-1)/(2/8))/((-12)/18). Let u be 8/p*(-7 + 2 - -8). Solve 5*b + l - 5 = u*r, 0 = 3*r - 2*b - 5 for r.
5
Let l(m) = -63*m - 62. Let w(z) = 189*z + 182. Let g(v) = -7*l(v) - 2*w(v). Let y be g(-1). Solve -5*d = -y*p + 4*p, 5*p + 34 = -3*d for p.
-5
Let v(s) = 2*s**2 - 4*s + 48. Let b be v(10). Let j = b - 205. Solve 0 = -k - 3*h + 2*h + 1, -j*k + 19 = -h for k.
5
Suppose -5*m + 3*f = -7, -13 = -4*m + 27*f - 32*f. Suppose -160 = -m*v - 14*v. Solve -4*k = v + 6, 5*w = k + 9 for w.
1
Suppose 31*o - 1043 = 2956. Solve 0 = 2*a, -3*v + o = -3*a + 123 for v.
2
Let p be (4/(-2)*5)/(-159 + 157). Solve 2 - 4 = h, h = p*g - 12 for g.
2
Let c = -279 + 285. Let v be c - (-1)/((-1)/(-4 - -3)). Solve 5*p - 3*q = -29, -6 - v = 4*p + q for p.
-4
Let p(w) = w**3 + 9*w**2 + 14*w + 130. Let s be p(-9). Solve 0 = s*m + 48*g - 44*g + 8, 4*m - 2*g - 28 = 0 for m.
4
Let m(u) = 7*u + u**2 + 8 + 1 + 0*u**2. Let p = 2425 - 2431. Let r be m(p). Solve -12 = 3*i - r, -2*z + i = -3 for z.
0
Suppose 2*y = 5*y. Let m be (-3)/(-8 - 4) + 411/4. Let f = -98 + m. Solve 4*k = -k - 5*w - 15, y = f*w for k.
-3
Suppose b + 2*j = -2 + 4, 5*j + 1 = -b. Solve 26 = 2*r + b*q, 2*r - 4*q + 8 = -2*r for r.
3
Let v(o) = 10*o - 98. Let h be v(10). Suppose h*p + 60 = 70. Solve 0 = g + 3*a - p*a - 3, -4*g = a + 6 for g.
-1
Suppose 0 = -5*f + 4*q + 31, 22 = -6*q - 2. Solve 5*p + 46*c - 5 = 50*c, 2*p + 21 = -f*c for p.
-3
Let m be (205/45 + -5)/(-8 + (-1859)/(-234)). Solve i - m = -99*n + 103*n, 0 = 5*n + 3*i + 10 for n.
-2
Suppose -22*v + 3*h = -26*v + 10, 0 = -2*v + 5*h + 18. Solve 0 = -2*n - 4, 19 = v*g - g - 2*n for g.
5
Suppose 0*d = d - 9. Suppose 4*z = -x + 17, 334 - 341 = -2*z + x. Solve -4*a + 20 = -z*h + 4, -4*h - 3*a = d for h.
-3
Let f = 1426 + -1423. Solve -14*u + 5*k - 16 = -13*u, 13 = -4*u + f*k for u.
-1
Let j be (-145 + -1)/(10 + -8). Let i = -69 - j. Suppose -i*d = 7 - 27. Solve 4*v = -8, 2*q - 5*v = d*q + 25 for q.
-5
Let o be 22