*i for k.
0
Suppose -4 = -2*x - 0. Suppose 3*v + x = 4*v. Suppose v*s = 5 + 5. Solve 4*z = -3*c + s + 3, -z + 2 = 4*c for c.
0
Suppose 0*p = 9*p - 27. Suppose 0 = -p*n + 7 + 29. Solve 3*d - n = -f, 5*d - 33 = -5*f - 3 for f.
3
Let o = -74 + 78. Solve -5 = -3*n - o*t, -n + 4*t - 15 = -2*n for n.
-5
Let s be -4*9/(-3) + -4. Let k be (1/(-2))/((-1)/8). Suppose k*m = s*m. Solve -5*z = 5*a + 25, m*z - 5 = 3*a + z for a.
0
Let y be (3/5 - 12/20) + 11. Suppose -128 = -y*q - 7. Solve -4*m + q = 4*r + 3, -5*r + 4 = -m for r.
1
Let i be (3 - 4/1)*-2. Suppose -1 - 3 = -i*n. Solve 3*r - 4*g - 11 = 9, 0 = -n*r + 2*g + 10 for r.
0
Let y(j) = j**3 + 16*j**2 + 37*j - 23. Let x be y(-13). Let u be (-15)/(-5) + 0 + 0. Solve -4*d = x*z + 4, -2*z = -u*d - d + 16 for d.
2
Let q = 5 - -14. Solve 2*x + 3*x + 2*l - 25 = 0, 2*x = 5*l - q for x.
3
Let d be -7 + (17 - 7) + (1 - 1). Solve 0 = -5*n - d*s - 40, n - 2*s + 4*s + 15 = 0 for n.
-5
Let c(r) = r + 8. Let j = -36 + 60. Let g be (-3)/2 - 108/j. Let i be c(g). Solve l - 4 = -l - i*m, 3*l + 5*m - 16 = 0 for l.
-3
Let d = -914 - -916. Solve -2*g + 1 + 3 = -u, u - 4 = -d*g for u.
0
Let x be 16/(-8) + (-31 - -1). Let r = x - -39. Solve -3*l = -5*b + 19, b + r = -l - 2*l for b.
2
Let u be (-12)/(-4) - (1 - 3). Let t(y) = -y**2 + 7*y - 7. Let r be t(3). Solve r*d - n = 26, -4*n = u*d - 0*n - 21 for d.
5
Let z = -7 - -11. Solve -o + 13 = z*b, 0 = 4*o + 3*b - b - 24 for o.
5
Let r = 10 - 6. Suppose -4 - 12 = -r*v. Solve -5 = 4*x - s, s + s + 14 = -v*x for x.
-2
Let j(r) = r**2 - 13*r. Let s be j(13). Let t = 2 - -6. Suppose 0 = 3*o + o - t. Solve o*d + 2*q = s, 8 = -2*d - 4*q + 2 for d.
3
Let x(j) = 2*j**2 - 18*j + 43. Let p be x(3). Solve p*o + 4 = 2*l + 3*o, -3*l + 3*o - 3 = 0 for l.
-4
Let s(n) = -n**2 + 17*n - 27. Let v be s(2). Solve 0 = -5*q - 2*a - v, 12 = 2*q + 2*q - 2*a for q.
1
Suppose 13 + 119 = 11*s. Let r = 14 - s. Solve r*g = -0*g + 4, 0 = c + 3*g - 5 for c.
-1
Suppose 3*s + 43 = 7. Let u = 36 - 30. Let a be (u/s)/(1/(-2)). Solve i - 2*x = a, -2*i = 3*i - 3*x - 19 for i.
5
Let j = 89 - 69. Solve -3*c + 4*w - 12 = -w, -5*c = 4*w + j for c.
-4
Suppose z + 2*z = 2*o - 2, 0 = -2*z + 4*o - 12. Let m be (-8)/16 + 15/6. Solve -m*s + z = b, s - 8 = 3*b - 0*s for b.
-2
Let q(f) = f**3 - 3*f**2 - 5*f + 8. Let u be q(4). Suppose 0 = u*s - 3*s - 3. Solve -x - 3 = 2*x + 4*g, s*g = 5*x + 5 for x.
-1
Let z(b) = -13*b + 1. Let v be z(-1). Suppose -w - 3 + v = 0. Suppose 0 = -j - 8 + w. Solve j = -2*r + y, r - 6*r + 2*y = 8 for r.
-2
Suppose -4*l + 46 = 3*d + 2*d, 4*d - 8 = 0. Let n = l - 4. Solve -5*f + f = -8, 3*u = -n*f - 5 for u.
-5
Suppose f + 45 = 5*x, -3*x + 36 = x + 4*f. Solve 0 = 3*c - 5*o - x, 11*c = 9*c - 4*o - 16 for c.
-2
Suppose 0 = 7*s - 46 + 25. Solve -2*f = 5*a - 13, s*f - a - 7 = f for f.
4
Let t(o) = o**2 - 2*o. Suppose 0 = 4*g - 7*g + 9. Let a be t(g). Suppose -a*b + 8 = -1. Solve -k + 8 = -4*p, -3*p = -k + b + 3 for k.
0
Suppose -k + 5 = 2. Suppose 4*z = 3*z - 2*q - 95, 3*q = 0. Let d = 98 + z. Solve 2*x - 20 = -k*a, x + a - d*a = -4 for x.
4
Suppose -4*h - z + 21 = 0, h - 14*z + 16 = -10*z. Solve h*n + 3*y = 8*n + 8, -8 = 2*y for n.
-5
Let x be (-36)/(-10) + ((-110)/(-25) - 4). Suppose x = 5*r - 11. Solve -n - r*p - 9 = 0, p - 17 = 3*n + 5*p for n.
-3
Let f = -220 - -222. Solve -f*c + 2*i = 3*c + 11, -3*c - 5*i = -12 for c.
-1
Let o(f) = -2*f**2 + 2*f**2 - 2*f - f**2. Let p be o(-1). Let t be (-231)/308*-2*2. Solve -3 = t*m, -i = i + 5*m - p for i.
3
Suppose -2*t = 3*t - 2*t. Solve 2*z - w - 2 - 3 = t, -2*w = -3*z + 5 for z.
5
Suppose -12 = -3*j - f, -4*f = -3*f + 3. Solve -2*b = 4*u + 12, -j*b = 4*u + 4 + 2 for u.
-4
Let q = 34 - 25. Let g = q + -4. Solve 3*d + g = o, 0 = -d - o - 3 - 4 for d.
-3
Let t(n) = -n**3 + 2*n**2 - n - 2. Let f be t(-1). Let u be (1*(-4 + 8))/f. Solve u*c = 5*w - 6, 0*c + w = 2*c + 6 for c.
-3
Let y be (-273)/182*-1*8/6. Solve -4*r - 16 = 0, 5*r + y = -3*h - 33 for h.
-5
Let j = 241 - 229. Suppose 2*q + 3 = q. Let p be q*(0 + (-16)/6). Solve 3 = -5*r + s + j, 5*r = 2*s + p for r.
2
Suppose -4*r = -2*r - 42. Suppose -r = o - 8*o. Solve -o*b + 4*t = -11, -3*b - 7 = -0*b + 5*t for b.
1
Let j(m) = 51*m - 46. Let i be j(1). Solve 3*p - 2*o - 7 = 0, -5*p - 43 + 13 = i*o for p.
-1
Suppose 9*s - 8*s - 4*n = 21, -4*s - n + 16 = 0. Solve s*h = -2*m + 17, -5*m + h - 3*h = 10 for m.
-4
Let n(p) = -7*p - 2 + 8*p - 4*p. Let r be n(-7). Solve -5 = w - t, 0*w + 5*t - r = -w for w.
-1
Let y(p) be the first derivative of p**3/3 - 2*p - 1. Let a be y(-2). Let x = 6 + -2. Solve 3*n = x*w - 35, a*n + 12 = w - 3 for n.
-5
Let t = -684 + 687. Solve -a - 5 = -t*p, 0 = -5*a + 1 - 11 for p.
1
Let l(f) = -f**2 - 10*f + 266. Let s be l(-22). Solve 2*t + 0 - 10 = -k, -s*t - 3*k + 10 = 0 for t.
5
Let r = -126 - -128. Suppose 2*x - 6*x = 5*h - 97, 0 = -4*x + 2*h + 90. Let n = 8 - 3. Solve 4*d = -n*b + x, 4*d + r*b = -d + 16 for d.
2
Suppose -18*i + 55 = -7*i. Suppose 7*t = i*t + 6. Solve -3*q + 18 = q + 2*f, t = -4*q + 5*f for q.
3
Let x(j) = j**3 - 5*j**2 - 14*j + 5. Let w(r) = r**2 - 4*r - 5. Let y be w(6). Let h be x(y). Solve 3*c + 2 = h*u - 2, -4*u = -c + 1 for u.
-1
Suppose 22*q = 26*q + 100. Let m be (30/q)/((-6)/15). Solve 5*d + 9 = i, 18 = -d + m*d + 5*i for d.
-1
Let o be (6 - -1) + (0 - -2)/(-1). Solve -18 = -4*s - 2, -o*z = 5*s - 35 for z.
3
Let q = -55 + 58. Solve q*c - 5*i = 2*c - 22, 0 = -3*c - 3*i + 6 for c.
-2
Let p be ((-14)/18 - -1) + (-192)/(-108). Suppose -4 - 6 = -p*r. Solve 0 = -r*n + b + 27, -n + 11 = -4*b + b for n.
5
Let n = 9 + 3. Let d = n - 9. Suppose d*f = 3*w + 9, 3*w = -0*f - 4*f + 5. Solve g = -x, 0 = -3*g + f*g + 2*x - 9 for g.
-3
Suppose 0 = -4*g + 43*g - 312. Solve -4*k - k + 3*x = -22, -2*x - g = -2*k for k.
5
Let v = -6 + 7. Let f be v/3*(28 + 2). Suppose -2*x = -4*x + f. Solve 0 = x*n + 4*y - y - 25, 2*y - 10 = -2*n for n.
5
Let r(d) = 2*d**2 + 4*d - 45. Let l be r(-7). Solve 5*x + 25 = 2*a, a + 2*a = 5*x + l for a.
0
Suppose 22 = 4*w + t, 5*w - 16 = 4*t + 1. Suppose -5*n - 3*d + 80 = 0, n = -w*d + 17 + 21. Solve 5*j + n = x, -6*x = 4*j - x - 7 for j.
-2
Suppose 41 = 15*i - 16*i. Let k = 45 + i. Solve 2*r = n - 2, -k*r = -0*r + 12 for n.
-4
Suppose 3*p - x = -6 + 18, -4*x = 3*p + 3. Solve -2*v + 22 = -11*l + 7*l, 3*l - p*v + 24 = 0 for l.
-3
Let n be 6/(-9) - 16/(-24). Solve -u - 2 - 1 = t, n = -4*u + 2*t for u.
-1
Suppose 0*d - 3*d = 3*b, -2*b = -d + 15. Solve -6 + 17 = -q + 5*i, -3*i = -d*q - 11 for q.
-1
Suppose -5*d + 531 - 209 = 3*q, 410 = 4*q - 3*d. Suppose -t - q = -9*t. Solve 5*w - 31 = 5*r + 3*w, -5*r - 4*w = t for r.
-5
Suppose -8 = -2*z - 4*x, -60*z + 3*x - 16 = -64*z. Solve 2*y - z = 3*g + 18, 4*y - 28 = 2*g for y.
5
Suppose 4*a - 2*a - 8 = 0. Suppose 2*q = -a, -2*k - 3*q = 3*k - 9. Solve k*l + 0 - 6 = 2*j, 4*l = -5*j + 8 for j.
0
Let x be -4 + -1*32/(-8). Solve x = -6*o + 2*o + 5*q + 6, -2*q = -5*o - 1 for o.
-1
Suppose -5 = -5*s - 3*c, -4*s - 12*c = -9*c - 1. Solve -3*m = s*t + 10, m + 1 = -t - 2 for t.
-1
Suppose 0*o - 15 = -o. Suppose -8 = -o*y + 11*y. Solve -y*d + 0*w = w - 8, -20 = -5*w for d.
2
Let a(i) be the first derivative of -i**2/2 + 7*i + 2. Let k be a(5). Suppose -k*m + 1 = -3. Solve -5*v = 4*j + m + 1, -5 = v + 3*j for v.
1
Let a(n) = -n**2 + 4*n + 2. Let d be a(7). Let s = 5 - d. Solve 0 = 5*q + 2*y + y + s, -3 = 4*q - 3*y for q.
-3
Suppose 0 = 4*j + 3*k - 27, 2*j = -6*k + 7*k + 1. Solve -j*s + s - 12 = d, -2*s = -5*d - 12 for s.
-4
Let j be (7/(-21))/(2/(-12)). Suppose p - 4*y + 2 = 0, 0 = 2*p + 4*y - 7 - 1. Solve p*k + 5*b + 1 = 0, 0 = 2*b - 0*b + j for k.
2
Let y = -370 + 372. Suppose h + 3 = 3*x - 4, -5*x + h = -11. Solve 0 = 2*z - x*b - y*b - 12, -3*b = -5*z + 16 for z.
2
Let y(v) = v**3 - 16*v**2 - 4*v - 213. Let r be y(17). Solve -2*h - 1 = -n, h + 2*n + 0 = -r for h.
-2
Suppose -3 + 39 = 12*v. Suppose -2*u + 6 = -2*d, -7*u + 2*u + 31 = v*d. Solve 3*h - 9 = -5*f, d*f + 5*h - 2 = 3*h for f.
3
Let a(d) = 6*d + 108. Let m be a(-18). Solve -5*x - 11 = w - 1, -4*w - x + 17 = m for w.
5
Let o = 181 + -181. Solve -5*s - 5*c = -o*c + 15, 2*c = 5*s + 22 for s.
-4
Let p(l) = -l**3 + 10*l**2 + 10*l + 25. Let y be p(11). Suppose 0 = -5*r + 24 - y. Solve -4*z + 6 = g - r, 0 = -2*z + g + 4 for z.
2
Let p be 143/39 + 2/6. Solve -1 = -2*n - r - 