- 0, -2*s + 2*h = -p for s.
2
Suppose -1422 = -112*n - 190. Solve v + n = 2*i, 5*v + i + 0*i = -11 for v.
-3
Let w be 10 - ((-52)/(-24) + 28/(-168)). Solve 5*y = -10, -w = c + y - 5 for c.
-1
Suppose 5*m + i - 14 = 2*m, 2*m + 3*i - 7 = 0. Let q(s) = -s**3 + 7*s**2 + 4. Let c be q(7). Solve 4*j = 0, -32 = -m*p + c*j - 12 for p.
4
Let f = 6 + -3. Suppose 0 = 21*k - 84. Let s be k/6 + (-50)/(-15). Solve 8 = s*d - t, 4*t = -f*d - t + 29 for d.
3
Let n(q) = -2*q**3 - 74*q**2 + 4*q + 151. Let w be n(-37). Solve 2*a - 2 = 5*y, w*a = 16*y - 12*y - 4 for y.
-2
Let r be 15 - (14 - 18) - -10. Solve 0 = 33*o - r*o + z + 4, 4 = z for o.
-2
Let m be 2 + 2 - (61 - 62). Solve 3*t + 4*x = -0*t - 16, 0 = 5*t - m*x - 20 for t.
0
Let h(d) = -100*d + 602. Let k be h(6). Solve -2*p + 9 = -3*y, -y - 9 = -p + k*y for p.
0
Let b = -224 + 464. Let o be b/30*(-1 - -1*2). Solve -3*u - o = 5*k, 2*k = -4*u + u + 4 for u.
4
Let b = 299 - 299. Suppose q = k - 2*k + 14, b = 2*k - 4. Solve q = -3*l + 3*v, -l + 5*l = -v - 16 for l.
-4
Let b(h) = 2*h**2 + 105*h + 63. Let s be b(-52). Let k(c) = -2*c + 4. Let q be k(1). Solve -3*p = -d + s, -d + 0 = q*p + 14 for d.
-4
Let d = 16 - 21. Let q = d - -15. Suppose 0 = -2*g - 5*r + 31, -3*g + r + 48 - q = 0. Solve 4*v - 5*c = 30, -33 + g = -2*v + 5*c for v.
5
Let k = -8161 + 8166. Solve 5*n - 25 = 3*r, -k*n - 201*r = -199*r - 25 for n.
5
Let m be ((-50)/(-15))/5*(0 - -3 - 0). Solve m*a - 4 = -3*i, 2*a + 2*a + 2*i = 0 for a.
-1
Let n = 118 + -105. Let f(z) = -z**3 + 12*z**2 + 15*z - 26. Let x be f(n). Solve 5*r + 15 = -4*o, o + x*o = 5*r + 15 for r.
-3
Let b = -3 - -10. Suppose 0*l = -4*l - 3*a - 43, 0 = -l + 4*a + 13. Let m = l + 12. Solve -n + 7 = -m*h - b, -2 = h - n for h.
-3
Let d = -8516 + 8521. Solve -3*z + 6 = 0, 4*v - d*z - 5 = -31 for v.
-4
Suppose 15 = 3*l - 3*g, -4*g + 1003 = l + 963. Solve 4*c + 2 = -2*u, 15*c = 4*u + l*c - 7 for u.
1
Let x be (16 + 2412/(-180))/(1*1/5). Solve 0 = 2*a - 6, 4*f - 9*a + 6*a = -x for f.
-1
Let z be 3 - (6 - (-4 + 4)) - -8. Solve -3*t = -5*r - 20, -9*r + z*r + 21 = 5*t for r.
-1
Let w be (16 - 17) + (2 - (-5 - -3)). Suppose -5*x + 18 = x. Suppose 3*n = -4*o - 1, 0 - 9 = x*n. Solve -3*a = -o*c - 20, -5 = w*c - 5*a + 27 for c.
-4
Let z = -213 - -113. Let u = z - -103. Suppose -4*i + 4 = 0, 0 = m + m + 4*i - 8. Solve m*h + 4*q = -4, -3*q = -u*h - q + 2 for h.
0
Suppose 200 = -5*g - 260. Let s = -83 - g. Suppose 0 = -7*r + 12 + s. Solve 20 = 6*p - 2*p, r*y - 29 = -4*p for y.
3
Let m(a) = 3*a**2 + 9 + 158*a + 2*a**2 - 143*a - 3*a**2. Let s be m(-7). Suppose 4 - 10 = -s*j. Solve 5*d = -3*q - 35, j*d - 5*q - 14 = -1 for d.
-4
Let a be 8 - (0 - (-16 - -12)). Solve 4 = a*i + 4*d, 4*i - 10 - 6 = -d for i.
5
Suppose 3*f - 6 = -0*f. Let m = 0 - -1. Let j be (-2)/(-8)*(55 - 47). Solve g + s = -f*s - 14, j*s + m = g for g.
-5
Let b = -223 + -201. Let a = -422 - b. Solve -5*m - 13 - a = 0, 2*r + 5*m = -5 for r.
5
Let q(p) be the second derivative of p**5/20 + 13*p**4/12 - 31*p**3/6 + 5*p**2/2 - 109*p. Let x be q(-15). Solve -4*m + 5*z - x = 0, 5*m = 3*z - 0*z - 25 for m.
-5
Let j(t) = 16*t + 62. Let o be j(0). Suppose -70*p + o*p = 0. Let i be 60/25 + 2/(-5). Solve -i*b - v - 1 = 0, -2*b + p*b - 2*v = 4 for b.
1
Let j be (10/(-6)*74/(-185))/((-2)/171). Let q = 97 + -154. Let g = j - q. Solve 2*l - 5*v - 10 = g, 0 = 3*l + 2*v - 1 + 5 for l.
0
Suppose 4*d + 5*i = 8*d - 75, -5*d - 5*i = -105. Suppose 38 = -d*l + 22*l. Solve 2*r = -3*s + 5, l = 3*s - 8*r + 3*r for s.
3
Let g = -104 - -252. Let l = g + -146. Solve -2*w + 8 = -5*f, -2*w - l = 3*f - 10 for f.
0
Let m be 2/(6/(-4) + 2). Let r be ((-26)/((-1144)/275))/(10*2/16). Solve -17 = m*i - i - c, i + 5*c - r = 0 for i.
-5
Suppose p - 2177 = -6*p. Let l = p + -311. Solve -2*w - 19 = -5*r, -3*r + 11 = -l*r - w for r.
3
Suppose 13*b + 1512 = -100. Let o = 133 + b. Solve 4*q + 5*v + 1 = -12, v - o = 5*q for q.
-2
Suppose -22 = 6*m + 4 - 44. Solve -4*x + 3*g = -0*x - 26, -m*x + 3*g = -21 for x.
5
Let p be 0 - 14*3/(-6). Let f(c) = -20 - 8 + 1 - p*c + 2. Let b be f(-7). Solve 0 = 3*x + 9, 5*l = -0*x - 3*x - b for l.
-3
Let k be (-5)/(-2)*(-312)/130. Let x be 0 + 3 + k/3. Solve -o - l = -x, 4*o - 1 = -0*o - l for o.
0
Let k(y) = 6*y + 57. Let d = -271 - -262. Let r be k(d). Let t(c) = c**2 - 2*c. Let a be t(3). Solve 0 = 3*g, r*b + 2*g + 0*g = a for b.
1
Suppose 0 = -l - l + 3*t, 2*t + 5 = 3*l. Suppose k - l + 1 = 0. Let m be k/6 + 5/(-15) - -3. Solve m*h = 5*c - 1, 2 = 5*h - 5*c + 7 for h.
-2
Suppose 0*h - 2*h = -42. Let z be (1/(-2 + 5))/((-5)/(-165)). Let n = z + -8. Solve 2*v = 4*v + 2*b + 16, -n*v - h = 2*b for v.
-5
Let w be ((-40)/(-25))/((-3)/(-1800)). Suppose 0 = -101*a + 37*a + w. Solve -24 = -k + 4*h - 0*h, 3*h + a = 0 for k.
4
Let u be (10 - 8) + (0 - -1). Let r = 2142 - 2140. Suppose 0 = 3*w - w - 8. Solve -u*d + 21 = r*n, 3*d - 2 = 3*n + w for n.
3
Suppose 112*w - 2 = 110*w, 5*n + 3*w - 68 = 0. Suppose -11 = t + 2*j - n, 4*t = 3*j + 19. Solve -2*c - 3*m - t = -0*m, 2*c + 5*m = -4 for c.
-2
Let p(x) = -x - 1. Let y(o) = -o**2 - 6*o + 6. Let n(g) = -2*p(g) + 2*y(g). Let j be n(-6). Solve -3*i = 3*v + 2*i + 9, -j*i - 2 = 2*v for v.
2
Let k(w) = -w**3 - 9*w**2 - 8*w - 60. Let n be k(-9). Solve 3*t + n = 2*v, 3*v - 18*t = -14*t + 16 for v.
0
Let g(k) = -4*k - 4. Let v be g(-2). Suppose -13*c + 1148 - 264 = 0. Suppose c = -6*t + 212. Solve t = -5*i + 2*f - f, -v*f = -i - 1 for i.
-5
Let i be 7 + 5 + (-40)/(-2 - -7). Suppose -2*q - 3 = -3*q. Let o = 1 - -1. Solve j - o*z = -5, 3*j - 25 + i = -q*z for j.
3
Let o(c) = -250*c - 246. Let j be o(-1). Solve -5*t - 12 = 2*k, 11*k - j = 4*t + 7*k for t.
-2
Let q = 11 - 21. Suppose 23*m - 486 = -578. Let s be 19 - (q/5 - m). Solve 0 = f - 4*c - 15, -2*c - 2*c - s = f for f.
-1
Let r(x) = 10*x + 132. Let t be r(-13). Solve 0 = 3*n - 4*u - 15, -t*n + 10 = -0*n + u for n.
5
Let n(m) = 16*m**2 + m + 1. Let a be n(-1). Solve -4*r - a = 4*y, -3*r - 4 = y + 4 for r.
-2
Let d(h) = h**2 - 19*h + 56. Let r be d(3). Solve -3 = -i - p, 11*i - 17 = r*i - 5*p for i.
-1
Suppose 3*a + 2*x - 14 = 0, 2*a + 3*x = -0*x + 11. Let t = 121 + -567. Let v = -434 - t. Solve -3*f - a = -u, -5*u + v = -f - 8 for u.
4
Let h be (24 - 19)/((-1)/1). Let t be ((-18)/h)/((-24)/(-60)). Suppose 20 = t*c - 5*c. Solve -4*d - 2*x = -0*d - 6, 0 = 5*d + 2*x - c for d.
-1
Let z be 0*(4 - 6 - (-3)/6*5). Solve z = 2*n - 2*h, -h = -87*n + 89*n + 12 for n.
-4
Suppose 4*w = -4*c + 124, -2*c - 7 = 91*w - 92*w. Solve -2*b = -5*l, -29*b = 4*l - 26*b + w for l.
-2
Let n = -91 - -92. Let o be (n - (-39)/(-6))/(1/(-2)). Let i = -1 - -1. Solve 0 = 4*l - 5*f - o, i = -2*l + 3*f + 11 - 6 for l.
4
Suppose b + 3*b - 104 = -3*v, 5*b = 4*v - 87. Let r be (-2)/4 + v/8. Let m be (0 + 1)*(22 - 6). Solve -4*z + m = 2*t, 3*t - 6 = -3*z + r for z.
5
Let j(s) = -s**3 + 5*s**2 + 7*s + 5. Let b be j(6). Suppose -4*q - a = -b, 10 = 5*q + 2*a + 3*a. Solve -3*d - 15 = q*o, d = 3*o - 2*d - 9 for o.
-1
Let l(k) = -6*k + 22. Let j = 71 - 64. Let h be l(j). Let d be (0 - -2) + 5/(h/(-8)). Solve d*x - w = -7, 4*w + 32 = -4*x - 0*x for x.
-3
Let t be (-31)/5 - (-1)/5. Suppose -j = -w + 5, 27 = -4*w - 4*j + 7. Let l be w - (3 - 0) - t. Solve s = -5*g - 12, s - g = l*g + 15 for s.
3
Suppose 4*o = 229 + 107. Let d be 4/(6 - o/18). Solve 0*h = 3*h + 5*t - 10, d*h = 5*t + 20 for h.
5
Let u be (-5)/(-15) + 26/(-6) + 6 - -4. Solve u*y = -5*k + y, -4*k = -5*y + 36 for k.
-4
Suppose 5*z - 18 = 4*r, -r = -3*z + 5*z - 2. Let f = 67 + -64. Solve z*s + 18 - 5 = 3*l, -f = 2*l + s for l.
1
Let u = 1 + 0. Let l be ((-652)/2282)/(1 + 44/(-42)). Suppose 1 = c, -4*b + 11 = c - l*c. Solve b*y + 4 = -5*d, -y = 2*d - 6*d + u for y.
-1
Suppose -3*k - 33 = -6*k. Suppose -11*c - k + 44 = 0. Solve -5*z + c*f - 23 = 0, -2*f = -z + 5*z + 14 for z.
-4
Suppose -4*t + 6 = p, 0*p + 2*p - 3 = t. Let n(f) = -3*f**2 + 69*f + 40. Let g be n(24). Let y be ((-12)/8)/(8/g). Solve -4*l = -p*d - y, -4*d - d = -25 for l.
4
Suppose 19*b - 17*b - 30 = 0. Let y = b - 13. Solve y*d - 3*t + 3 = 0, -3*d + 2*t - 9 + 2 = 0 for d.
-3
Let h(f) = -3*f + 36. Let z be h(12). Suppose 20 + z = 4*g. Let t be (-1)/((-2)/(43 + -1)). Solve -3*q - 2*c = t, -g*q - 4*c = -0*q + 37 for q.
-5
Suppose -28*c + 85 = 1. Solve o = 5*u - 16, 0 = u - 2*u - c*o fo