for i.
0
Suppose -143 + 161 = 3*n. Solve 2*s = -2*u, s - u + n = -4*s for s.
-1
Let r(s) = -s**2 - 7*s - 1. Let c be r(-6). Suppose 5*l + 0 = c. Suppose -5*t + l = -4. Solve 3*a + 5*b - 19 = 0, -t = -a + b - 0 for a.
3
Suppose 314 = 16*n + 10. Solve -i = -5*h + 21, 5*h - n = -0*h - i for h.
4
Let b be (-8 + (-68)/(-6))*6/4. Solve 3*j = -2*j + 2*p, 0 = b*p for j.
0
Let h be 54/(-81)*(1 - 4). Solve b + 7*s - h*s = 17, 2*b - 7 = -s for b.
2
Let x be 3/15 - (-836)/95. Solve 3*p + x = 0, 2*p + 12 = 3*y - p for y.
1
Suppose 0 = 5*p + 3*r - 27, 4*p - 3*r = 3*p + 9. Let k be 6/21 + (-80)/(-14). Suppose -n + 3 = -0. Solve -5*c + 6 = -u, k = n*u + 3*c - p*c for u.
4
Suppose 0 = -5*n + 5 + 15. Let b(s) = s**2 + 7*s + 3. Let w be b(-7). Let f be 1/w*(1 - -2). Solve -3*i = n*g + 11, 4*g = 3*i - 28 - f for i.
3
Let z be 1/(1 + 1/(-2)). Suppose -11*f - 36 = -16*f - 3*d, 2*f - 3 = -5*d. Solve -f - 6 = 5*l + z*m, -11 = -4*l + 3*m for l.
-1
Suppose 7 = 5*s - 3. Suppose b = -z - 0*z + 6, -s*b = 5*z - 24. Solve z*d + 28 = 4*a, -d - 2*d = -2*a + 16 for d.
-2
Let a(x) = -2*x**3 - 3*x**2 + x + 2. Let l be a(-2). Suppose -b - l = -3*b. Solve -f = 2*q + 2*q, b*q + f = -2 for q.
1
Let o = 13 + -10. Let b(d) = 10 + d**o + 3*d**3 - d**3 - 9. Let l be b(1). Solve 9 = 3*j - h, -l*j + 5*h = -18 - 5 for j.
2
Suppose 5 = 3*g - 4, -3*g + 164 = -5*n. Let v = n - -36. Let x(j) = -4*j - 3. Let m be x(-2). Solve -5*a = m*z - v, z + a - 7 = 2*z for z.
-3
Suppose -54 = -3*w + 12. Solve 5*x + 2*o + o = -19, 0 = 5*x + 4*o + w for x.
-2
Let m(y) = y**2 - 7*y + 14. Let c(d) = -2*d + 28. Let p be c(11). Let i be m(p). Let b = 3 + 1. Solve 0 = -3*j - b*l + i, -3*j + 5*l - 10 = j for j.
0
Let c(l) = 2*l**2 - 9*l + 7. Let x be c(6). Suppose 3*o + 4 - 13 = 0. Let r(b) = -2*b**2 + 3. Let f be r(0). Solve q + 17 = -5*j - f*q, -o*j = -5*q + x for j.
-5
Suppose 0 = 4*p + h - 16, 4*p + 4*h + 0*h - 28 = 0. Let o(w) = -2*w - w + 3*w - 5 + 4*w. Let m be o(p). Solve 4*x = -t - 4*t + m, 4*t + 10 = 2*x for t.
-1
Let r = -1 + 6. Suppose -24 = -9*k + r*k. Solve -3 = 4*u + s, 5*u + s + k = -s for u.
0
Let n be 2/(-5) - 737/(-55). Suppose -3*x - 33 = 3*q, x = -4*x - 5. Let r = q + n. Solve -f + 1 = 5*p - 3, r*p - 2 = -f for p.
1
Let o(u) = -u**2 + u. Let h(j) = -7*j**2 + 9. Let i(a) = h(a) - 6*o(a). Let y be i(-7). Solve y*f - 7*v + 16 = -3*v, 3*v - 9 = 3*f for f.
2
Suppose 4*q = -q - 4*k + 49, -19 = -2*q - k. Suppose h = 5939*r - 5943*r + 19, 2*h = -2*r + 14. Solve -5*m = 3*a + q, 0*a + r*m = -a - 3 for a.
-3
Suppose f - 6 = s, s + 30 = 5*f - 3*s. Solve k = d + f*k + 17, -2*d - 5*k - 19 = 0 for d.
-2
Let q = -100 - -115. Solve 2*c + q = -3*c, -2*c = 2*n + 8 for n.
-1
Let f = -39 + 39. Let j(t) = 7*t**2 + 2*t - 1. Let m be j(1). Solve -d - 2*i = m, -4*d = -f*i - 3*i - 23 for d.
2
Let l(f) = -2*f - 8. Let r be l(-6). Let x be 108/20 + r/(-10). Suppose 0 = -2*d - 6, 4*c + x*d + 1 - 2 = 0. Solve w - 11 = -c*j + 3, 0 = 4*w - 8 for j.
3
Let u be (44/(-8))/(220/(-80)). Solve 5*r = -m + u*m - 25, -7 = m + 3*r for m.
5
Let t(v) be the second derivative of -1/20*v**5 + 0 + v**3 - 9*v + 5/2*v**2 + 5/12*v**4. Let b be t(6). Solve 4*p = c - 6*c + 5, -4*p - b = 3*c for c.
5
Suppose -24*w + 2 = -23*w. Solve -x + w = t - 5, -5*t = -15 for x.
4
Let l(n) = -10*n**2 - 6*n - 5. Let m(i) = i**2. Let w(h) = -l(h) - 6*m(h). Let o be w(-1). Solve 0 = o*u - 5*u + 8, 4*s - u = 12 for s.
4
Let r = -21 - -27. Let q = -151 - -153. Solve a + 16 = r*i - 2*i, q*i - 14 = -a for a.
4
Suppose 5*r + 14*r + 10*r = 0. Solve r = -5*g - 5*j - 25, -3*j - 17 = 5*g - 0 for g.
-1
Let s(m) = -18*m + 128. Let o be s(7). Solve -8 = o*g - 2*i, -3*g - 4*i - 24 + 5 = 0 for g.
-5
Suppose -h = -4*h - 5*a, -a = -4*h + 23. Let l = -2 - -6. Solve 0*z = -h*z + s - 15, -2*z + 16 = l*s for z.
-2
Let h(i) = -6*i + 92. Let l be h(15). Let d be 3/(-9)*(-7 + 4). Suppose -3*s - 4*g + 9*g = -d, 4*s - 4*g = 4. Solve p - l = -x + 4*x, -s*p - 1 = -x for x.
-1
Suppose -2*s = -11*s + 36. Let g be (-1 + 1)*2*(-2)/(-12). Solve 5*z + g*z = -s*d - 14, -2*d - 3*z - 8 = 0 for d.
-1
Suppose 11 = 2*k - 9. Let v(c) = -c + 2 - 9 + 2*c. Let r be v(k). Solve 4 = 4*u - r*f, 2*u - 3*f - 4 - 4 = 0 for u.
-2
Let l be (-8)/2*(-2)/(24/9). Solve 3*r + 2*r - 4*v = -13, 0 = -v - l for r.
-5
Suppose 3 = 3*q, 0 = n + 2*q - 3. Let f be -2 - (30/(-5))/n. Solve -y = 2*v + 5, v + f - 3 = -y for v.
-4
Let x = -312 + 315. Solve -x*w = -2*u + 7*u + 37, 4*u + 16 = w for w.
-4
Suppose 21*t + 158 + 136 = 0. Let z be (144/42)/((8/t)/(-4)). Solve 4*p + z = 4*m, 20 = -m + 5*m - 3*p for m.
2
Let g be (7/(-3))/(4/(-12)). Solve 0 = l - 4*k + g + 2, -4*l = 3*k - 2 for l.
-1
Suppose 7*a = 4*o + 10*a - 21, -5*o + 4*a = -3. Solve u + 6*v - 8 = 4*v, -o*u + 3*v - 3 = 0 for u.
2
Suppose 7*i = 6*i - 1. Let n be 2 + 1/i - (-9 - -5). Solve 2*r - 3*t = 0, -r - 2*r = -n*t - 1 for r.
-3
Suppose 0 = -5*d - 3*s + 55, -5*d + 6*s = s - 55. Solve -2*j + 8 = 2*u, -2*j = -4*u - j + d for u.
3
Suppose y + 2*h - 7 = 0, 9*y - 5*y - h - 1 = 0. Solve 4*x = -4*i + x + 9, -i - 2*x = -y for i.
3
Let x(k) = -2*k**2 + 0*k + k + 3*k**2 - 4. Let d be x(-3). Let z = -4742 - -4745. Solve -2*j + 3*c - z = 4, -3*j + d = -2*c for j.
4
Suppose 5*a - 129 = 31. Let c = -26 + a. Solve 5*d - 2*h = 6, c = 3*d + d - 2*h for d.
0
Let i = 8 - 6. Suppose -i + 6 = 2*z + 2*o, -4*z - 5*o = -7. Let m be 4*(-2)/(-8)*z. Solve -f - 18 = -5*t + t, m*f - 4*t + 14 = 0 for f.
2
Suppose -10*a + 190 = -0*a. Let u be 1 - a/(1 - 2). Solve -3*i + 20 = -8*i + 5*r, -5*r - u = 3*i for i.
-5
Let m be ((-16)/10)/(30/(-1275)). Suppose 4*b = -0*b + m. Solve 5*t + 2*g - 19 = -2*g, 5*t + 2*g - b = 0 for t.
3
Suppose 6*w = 7*w - 6*w. Solve -l - 3*o + 0 = 3, -l + 2*o + 2 = w for l.
0
Let c be (11 + -10)/((-38)/(-18) + -2). Solve p + c = -3*t, 0 = 2*p - 2*t + 2 for p.
-3
Let h = 107 - 101. Solve -6 = -3*b - 3*g, -b - 2*g + h*g = -7 for b.
3
Let f(c) = c**2 - 4*c - 1. Suppose -5*j + 24 = -1. Let w be f(j). Solve -40 = -0*u - w*u - 5*a, 4*u - a - 16 = 0 for u.
5
Suppose 3*z = -7 - 5, 4*n - 2*z - 64 = 0. Solve -3*y + n = h, 0*y = -3*h + 4*y - 23 for h.
-1
Let g(r) = -7*r - 18. Let f be g(-4). Suppose 1 = f*m - 19. Solve -3*i + 4 = 4*l, -m*i + 4*i = -2*l for l.
4
Let a = -139 - -137. Let v be a/(-6) - 413/(-21). Solve b = 3*c + 2*b - v, -5*b = c - 30 for c.
5
Let p be 2/11 - -2*4581/66. Suppose -p*v = -137*v - 8. Solve 0 = -b + 4*x - 13, 2*b - v*b = -x + 5 for b.
-1
Let s be (7 - (-280)/(-50)) + (-3)/(-5). Let v be (-60)/(-8)*(-24)/(-5). Solve 3*b + s*b - 2*g = 30, 4*b = 4*g + v for b.
4
Let l(d) = 8*d - 121. Let r be l(15). Let i(b) = b**2 - b. Let n be i(3). Let k = n + r. Solve 2*c + 2*c - 5 = v, k*c - 13 = -v for v.
3
Suppose 30 = -26*r + 28*r. Solve 3*h + 4 = 5*x - 5, -4*x = -5*h - r for h.
-3
Suppose -10*o + 64 + 56 = 0. Suppose 7 = 3*y - 2*u, u - o + 5 = -2*y. Solve j = -4*j - p + 25, -y*j - 13 = -5*p for j.
4
Let x be 30/35 + (-36)/42. Solve -4*b + 0*n - n - 7 = x, -5 = -5*n for b.
-2
Let m(u) = 2*u**3 + 19*u**2 - 77. Let s be m(-9). Solve -10 = 5*g + s*q, -5*g = -13*q + 8*q + 10 for g.
-2
Let z be (1 + -2)*(-1 + 21). Let x be 16/2 + z/5. Solve -4*i - 15 = -i + 2*p, -20 = x*i - 3*p for i.
-5
Let l = 15 - 32. Let h = l + 23. Let u = 1 - 1. Solve 5*z - h*q + 3*q = 22, 5*z + 3*q + 2 = u for z.
2
Let k(f) = -4*f**2 + 2*f + 0 + 3*f**2 + 2. Let v be k(3). Let d = 1 + v. Solve 3*w + 12 = 3*u, d = u + 2*u + 4*w + 23 for u.
-1
Let j = 429 + -419. Solve j + 8 = -k - 5*g, 0 = 4*g + 16 for k.
2
Let q = 187 + -74. Let b = 118 - q. Solve v + 0*v + a - 2 = 0, b*v + 4*a = 5 for v.
-3
Let m(r) be the first derivative of -2*r**2 - 36*r - 9. Let z be m(-15). Solve w = 5*d - z, -27 = -3*w - 5*d + 1 for w.
1
Let t = -30 - -44. Suppose -3*q - 11 = g, q = -5*g + t + 1. Let z = -1 - -4. Solve z*j - g*x + 5 = x, j - 1 = -x for j.
0
Suppose 70 = -5*a + 20. Let o = 12 + a. Solve -6 = 2*d + o*n - n, -4*d - 14 = 3*n for d.
-2
Suppose y = 32 - 27. Solve -2*q - 2 = v + 2*v, 0 = -y*v + q + 1 for v.
0
Let t be 27 - -3 - (-4 - -7). Let s = 1 + t. Solve -s = 4*w - 2*c - 2*c, -c + 13 = -3*w for w.
-3
Suppose 0 = l + v - 61, 5*l + 0*v - 2*v - 312 = 0. Let j = l - 60. Solve -4*a + 13 = -h, j*a - 1 - 3 = -2*h for a.
3
Let r be 9/9*(54 - -1). Let p be (r - (-8)/2) + 4. Suppose 6*n = 3*n + p. Solve -n = -2*t - 3*u -