 5 + 2 for i.
1
Suppose -5*k + 296 = 236. Solve -x + k = -5*i, x + 2 = -1 for i.
-3
Suppose 4*g - 1586 = -4*r + 2*g, 3*r + 2*g = 1190. Suppose -r = -9*c - 108. Solve 4*n + 4*k = c, 4*n - k = 4*k - 13 for n.
3
Let t be 24*(-9 + (-330)/(-36)). Solve o - t = 3*c, 5*o = -4*c + o for c.
-1
Let r = -33 - -27. Suppose 18 + 26 = -4*u. Let s = r - u. Solve s*f + 4*g = 4*f + 17, -2*g + 11 = 3*f for f.
1
Suppose 0*f - 132 = -3*f. Suppose -f*g = -37*g - 35. Solve 0 = -2*j + g*q + 18, 2*q + 4 = 0 for j.
4
Suppose -3*j + 16 = -0*j + 2*b, 4*b = -2*j + 8. Suppose 9*f + j = 10*f. Let o be (15/9)/(2/f). Solve -i = m + m - 8, o*m + 2*i = 18 for m.
2
Let q be 6 + -4 + ((-4)/4 - 0). Solve v = u + 6, u = -v + 1 + q for v.
4
Let d(v) = -34*v + 138. Let x be d(4). Solve -4*y = 5*b + 5, -3*b - x = 5*y - b for y.
0
Let o(i) = -7*i - 105. Let w be o(-15). Suppose 0 = -4*t - p + 25, -t + 2*t - 25 = -4*p. Solve 3*a = c - w*a, 4*a = t*c for c.
0
Let r = 345 - 341. Solve -26 = 2*b + r*l, -b = -3*l + 3 - 10 for b.
-5
Let h(t) = t**3 + 3*t + 1 - 2 - 8*t**2 + 4*t. Let j be h(7). Let y = 6 + j. Solve 0 = 2*w + 4*i - 28, -10 = -y*w - 2*i + 4*i for w.
4
Suppose 0 = 4*z + 5*x - 10 - 26, -2*z + 20 = 3*x. Solve 12 = v - 5*v - 4*d, 0 = -z*v + d + 3 for v.
0
Suppose -4*y + 93 = b, y + 17*b - 2 = 21*b. Suppose -q = 2*q - 12. Let u be q/18 + (-86)/(-18). Solve -s = -u*g + y, 2*g - 5*g = 4*s - 4 for g.
4
Let b be 2*21*5/15. Suppose 0 = -3*p - 4*a - b, 2 - 9 = -p + a. Solve -4*n + 0*j - 5 = j, p*j = 3*n + 1 for n.
-1
Suppose 7*x - 5*q = 11*x + 13, -4*q = 2*x + 14. Solve x*z + 2*z - 2*h = 17, -5*h - 5 = 0 for z.
3
Let c(h) = -5*h - 5. Let p(f) = 7*f - f**2 + 3*f - 12 + f. Let i be p(10). Let k be c(i). Solve 4*x + 19 = -3*j, 0 = -2*x + k*j - 1 - 2 for x.
-4
Let w(f) = 2*f + 28. Let m be w(-9). Suppose 19*p - m*p = 108. Solve -4*t - c = 3*c, -4*t - c - p = 0 for t.
-4
Let d(m) = -m**3 - 15*m**2 - 14*m. Let t be d(-14). Suppose t = -3*f - 5 + 20. Solve f*n - 4*w = -21, w - 4 - 10 = 3*n for n.
-5
Let u = -39 - -61. Let b = 24 - u. Solve z - 4*z - b*p = -6, 3*z - 6 = 5*p for z.
2
Suppose 11*g - 4 = 9*g. Let z be 4/7*(-7)/g*-1. Solve -3*x - q - z + 1 = 0, 4*q - 10 = -5*x for x.
-2
Let z(i) be the first derivative of -i**4/4 + 14*i**3/3 - 11*i**2/2 - 24*i - 27. Let t be z(13). Solve 0*d + 2*d - x + t = 0, -3*d + 3 = -3*x for d.
-3
Suppose t - 25 = -2*m + 49, -4*m = -4*t - 148. Let w = m - 20. Solve -3*d - f + w = 0, 0 = -3*d + f + 2*f + 9 for d.
5
Let v be (4/3)/((-5)/(-15)). Let u be (-18)/27 - v/(-6). Solve -6*k + 8 = -3*h - k, u = -h + 2*k - 3 for h.
-1
Suppose -5*z - 5*m = -30, -z - 8 = 7*m - 13*m. Solve -v + 18 = -z*o, -v + o - 11 = -14 for v.
-2
Suppose -b = 5*l - 24, -3*b - b + 28 = 3*l. Let d = 102 - 99. Suppose -4 = -f + h, -h - d = 2*h. Solve -f*q - 12 = -5*u + q, 0 = -l*u + q + 14 for u.
4
Let k(a) = 13 + 7*a - 3 - a**2 - 3*a. Let s be k(5). Suppose 0*x + s = x. Solve z - x*i - 7 = -3*z, -3*z = -5*i - 9 for z.
-2
Suppose r = -3*r + 4. Let b be 2/r - (-4 - -3). Suppose 5 + b = 4*x. Solve -5*n + 3*i + 9 = 0, i - 1 + 4 = x*n for n.
0
Let i be 2*7/(-4)*2. Let r(m) = -6*m - 4. Let u be r(i). Let l = u + -21. Solve -5*s + 5*g = -5, -g + 0 = -5*s + l for s.
4
Suppose -4*t + 13 = 2*s + t, 0 = 3*s + 3*t - 15. Let w be (-9)/((-9)/8) - s. Solve 3*n - 5 - 6 = -w*x, 0 = -2*x + 4 for n.
1
Suppose 6 = -0*q - 3*q. Let b be q - (-3 + 1 + 1). Let w be -3 - (-3 + 0) - b. Solve -3*g - 4 = d + w, 0 = 5*g for d.
-5
Let u(s) be the first derivative of s**4/4 - 3*s**3 + 2*s + 2. Let n be u(9). Solve -5*a - n*j = -2, -2*a + 5*j = -0*a - 24 for a.
2
Let g = 9 + 13. Suppose f = -4 + g. Solve -4*s = -2*o - 6, -2*s - 4*o = -4*s + f for s.
-1
Let o(v) = 4*v**2 + 12*v + 2. Let r be o(0). Solve 5*s + 3*f = r*f + 22, -5*s - 4*f = -28 for s.
4
Suppose 2*s = -j + 7, -j - 3*s - 1 + 10 = 0. Solve 2*t + 6 = 0, -2*l - 11 = -0*l + j*t for l.
-1
Suppose 5*k + 6 = 3*k, 0 = -3*a - 5*k - 15. Suppose 2*n - 5*n + 12 = a. Let u be (-50)/4*38/(-95). Solve -5*o = 3*c + 11, -c - u*o = -n*o + 3 for c.
-2
Suppose 0 = -3*c - 9, -1 = 3*f - 4*c - 109. Suppose -3*h = 4*m - h - 86, 3*m = 5*h + f. Let v = -112 - -115. Solve v*l - 2*b = -m, b = 3*l + 2 + 15 for l.
-5
Suppose 13 = 3*s + 7. Suppose -j + m + 3 = 0, s*j - 6 = -m - 0. Solve -7 = -o - 4*r, 2*o + j*o + 19 = -2*r for o.
-5
Let f = 212 + -207. Solve -3*x - f*h + 1 = -1, 3*x + 5 = 2*h for x.
-1
Let x be (-12 + -5 + 5)*1/(-4). Let w be 3/(6/(-16)) + 0. Let v be (-88)/4*4/w. Solve 3*r - 5*n + v = 0, x*r - r + 9 = 5*n for r.
-2
Suppose -3*f + 2*f - 39 = 0. Let w be 3 + (-72)/(-39) - 6/f. Solve 4*m - w*s + 8*s - 9 = 0, 3*s = 9 for m.
0
Suppose 2*g - 4*g = -28. Let h = -6 + 6. Solve h = 5*b - f + 4*f + 11, 0 = 2*b - 2*f + g for b.
-4
Suppose -4*w + 17 = -35. Solve -q = 5*g + q - w, -2*q = 3*g - 11 for g.
1
Let i be ((-253)/(-22) + -13)*-2. Solve i*k = 6*k - 4*x + 14, -4*k + 3 = -x for k.
2
Suppose 16*b = -11*b + 216. Solve 0 = 3*f - 4*a - b, a + 14 = -f - a for f.
-4
Let z(t) = t**3 + 9*t**2 + 10*t + 19. Let u be z(-8). Let j be 24*(u + 10/(-4)) - 3. Solve -4*p = -4*h - 28, -h + 5*p - 18 = j for h.
-2
Let l(w) = 7 - 5*w - 17 + 2*w. Let u be l(-5). Solve q + 22 = u*y, 0 = -3*q + y - 2 + 6 for q.
3
Let q = 693 + -687. Solve -2*a = 2*t + q, a = -4*t - 2 - 10 for t.
-3
Suppose -b - 2*z = -17, 63*b + 4*z = 65*b + 6. Solve 3*n + 7 = 5*w, 3*w - 8 = n - b for w.
-1
Suppose 3*s - 40 = -5*i, -5*s + 25 + 71 = i. Solve -3*o = 2*o + s, -5*x + 4*o + 16 = 0 for x.
0
Let q(x) = -4*x + 122. Let k be q(30). Solve -k*v + 10 = 2*f, 4 = 2*v - 5*f + f for v.
4
Let g(w) = -w. Let q be g(-4). Suppose -2*u + y - 45 = -54, -5*y = -3*u + 24. Solve -4 = q*z + 4, -u*c = 2*z - 11 for c.
5
Suppose 5*q + 4*t - 26 = 8, 2*t - 26 = -4*q. Let u be (4/q + -1)*-30. Solve m - 2*m - 5*p - 7 = 0, 0 = 3*m + 4*p + u for m.
-2
Suppose 3*s = 3 + 6. Suppose 0 + 12 = s*i. Solve 4*x - 3 - 5 = -4*t, -5*t + 28 = -i*x for t.
4
Let c = 643 + -639. Solve -4*i - i = -c*m + 3, i = -4*m + 9 for i.
1
Let u = 0 + 5. Suppose u*f - 56 - 4 = 0. Suppose -q = -3*q + f. Solve 2*w + 6 = -4*i, q = 2*i - 0*i + 4*w for i.
-3
Let t(o) = -28*o**3 + 2*o**2 - o - 2. Let z be t(-1). Solve 3*x = 5*q + 3, 3*q = 4*x - 9*x - z for q.
-3
Let m be (2/4)/(4/24). Suppose 2*t = a + 11, t = m*t + 3*a - 7. Suppose -5*d + t = -5. Solve 2*s = d*i + 8, i + 3*s = s - 7 for i.
-5
Suppose -4*v - 2*c + 7 = -1, 5*v = -5*c. Let s be 1 + -1 + 4/v. Let d be (9/6 - s)*10. Solve 0*j + 2*j + 4*m = 16, -5*j - d*m + 30 = 0 for j.
4
Let d(l) = 2*l**2 + 18*l + 31. Let t be d(-2). Solve 3*w + t*x = -w - 3, 0 = 2*x - 6 for w.
-3
Let g be 0 + -2 + 12/3. Solve g = 2*o - x, 4*o + 4 + 0 = -2*x for o.
0
Let m be ((-14)/6 + 3)*2*-21. Let z = 42 + m. Solve 5*t - 3*d + z = 0, t + 3*t + 5*d + 26 = 0 for t.
-4
Let h = -17 + 27. Let u(g) = -12*g - 27. Let n(i) = -5*i - 13. Let s(l) = 7*n(l) - 3*u(l). Let b be s(h). Solve b*r + r - a - 1 = 0, -17 = -5*r + a for r.
4
Let x be ((-180)/(-240))/(6/16). Solve 4*f = 4*p + 24, -p + f = -x*p for p.
-3
Suppose -3*p + 16 = -3*q - 2*p, -2*q + 5*p - 28 = 0. Let o(g) = -3*g - 7. Let z be o(q). Solve 2*u = z*k - 25, 3*u = -2*k - 0*k - 9 for u.
-5
Let h(w) = -7*w - 2. Let q be h(-1). Let t(v) = v**3 - 6*v**2 + 8*v - 11. Let p be t(q). Solve x + 0*m - 11 = 3*m, 0 = -p*m - 16 for x.
-1
Suppose 58*f = 23*f + 105. Solve -3*d - 10 = -i, 5*i - 11 = -f*d - 33 for i.
-2
Suppose y - 9 = 29. Suppose -5*c - y = -13, -4*z = -4*c - 28. Solve -2*r - 4 = -r, r + 6 = -z*j for j.
-1
Suppose 2*j + 66 = 78. Solve 0 = -3*u + 2*z + j, 3*z + 9 = 5*u for u.
0
Suppose -32 = -204*v + 196*v. Solve -v*a + 12 - 2 = 3*x, -a + 9 = 4*x for x.
2
Let s(a) = 26*a + 81. Let j be s(-3). Solve -2*o - 20 = -4*c, -3*c + j*o + 20 = c for c.
5
Let f(z) = z**2 - 43*z - 88. Let b be f(45). Solve 11 = 4*p - 5*m + 2*m, 3*p - 4 = -b*m for p.
2
Let u be (-234)/1755 + ((-128)/15)/(-4). Solve a = -5*g + 6 - 0, u = 2*a for g.
1
Let l = 161 + -153. Solve -4*x - 18 = q, 6*x - l*x + 3*q = 2 for x.
-4
Let q(l) = l**3 + l**2 + 2. Suppose -5*u + 9*u - 8 = 0. Let r be q(u). Solve 2*a = -4*t + r, -a + 5 + 0 = 0 for t.
1
Let b(k) = 3*k - 15. Let g be b(6). Suppose -4*a + 11 = -h, 3*a + 0*h - g*h - 6 = 0. Suppose 0 = -z - 4 + 9. Solve -z*x + 0*l + 23 = l, 31 = 5*x - a*l for x.
5
Let x be (-664)/(-22) - 44/242. Solve d + 3*