3*i - j*i - 10 = 0 for i.
-5
Let d(u) = 2*u - 24. Let t be d(13). Solve -2 = -2*s + t for s.
2
Suppose -5*h + 11 = -9. Solve -h*b + 4 = -4 for b.
2
Let y be (9/6)/(((-45)/(-20))/3). Solve -y*k - 4 = -14 for k.
5
Suppose 2*w - 2 = 46. Suppose 2*p + 2*p = w. Solve -3*b + p*b = 6 for b.
2
Suppose 3*x - 27 = -5*o, -2*x - 3*o = x - 21. Suppose x*t - 41 = -5. Solve 0 = 4*b - 25 + t for b.
4
Suppose 2*t - 4 = -2, z - 8 = -4*t. Solve -2*k + z*k = 0 for k.
0
Suppose 0 = -5*b + 31 - 6. Solve b*j = 6*j + 5 for j.
-5
Let c be 99/4 - 6/8. Suppose -c = -x - 0*x + 2*m, 5*m + 87 = 4*x. Solve -5*d = 2 + x for d.
-4
Let y(c) = -5*c**2 - 7*c + 3. Let a be y(-6). Let m be 2/(-5) + a/(-25). Suppose v - 20 = m*h, -2*h = v - 3*v + 8. Solve n + n - 8 = v for n.
4
Let r be 16 - (4 - -1 - 2). Let q = -9 + r. Solve q*l = 2*l for l.
0
Let j be 1 + 0 - (-1)/1. Suppose r - 4 = -j. Suppose 3*n - 2*n - 1 = 3*x, 0 = 3*n - 4*x - 3. Solve b + n = r*b for b.
1
Suppose 0 = 3*q - q. Suppose -3 - 2 = -a. Solve q*f = f + a for f.
-5
Suppose -a = 0, -5*v + 0*a - 3*a = 0. Solve -x + v = 4 for x.
-4
Let v(g) = g. Let j be v(5). Let u be (2 - 0)/(j/100). Suppose -o - u = -5*o. Solve 3*c + o = -5 for c.
-5
Let j(s) = -3*s**3 - 17*s**2 + 23*s + 14. Let h(b) = b**3 + 6*b**2 - 8*b - 5. Let z(l) = 17*h(l) + 6*j(l). Let g be z(1). Solve g = -4*w - 3 - 1 for w.
-1
Let d = 16 + -9. Solve -4*n = 5 + d for n.
-3
Suppose 2*w + 1 = -s + 2, -2*s = 5*w. Let q(i) = -i**2 + 7*i - 7. Let t be q(s). Solve -2*o - t*o = 0 for o.
0
Suppose 3*v + 0*v = -r + 11, -5 = r - 5*v. Suppose -4*i = -g - 13, -2*i + 14 = -r*g + 3. Solve -5 = i*x + 2*x for x.
-1
Let t = 7 + -7. Let w be (-10 - -10)/(1 - t). Solve 4*b - 6*b - 4 = w for b.
-2
Suppose -2*d - 4 = -3*d. Let h be (-94)/(-18) + 10/(-45). Solve 0 = d*q - h + 17 for q.
-3
Let r(p) = p + 2. Let z be r(3). Suppose 0 = -l - 4*l + z. Let b = 3 - l. Solve -b*g + 15 = -5*g for g.
-5
Let b(q) = 10 + q + 4 + 4. Let o be b(-16). Solve 13 = o*v + 5 for v.
4
Let u = 9 - 4. Solve -15 = 5*j + u for j.
-4
Let o = 11 + -4. Let v = -5 + o. Solve -d = d - v for d.
1
Let q = 17 - 10. Let b = 110 - 106. Solve q - 27 = b*n for n.
-5
Let r = -5 - -5. Suppose 0 = 3*i - r*i. Solve 1 + i = n for n.
1
Let p(y) be the second derivative of -y**3/6 + 4*y**2 - 11*y. Let q be p(8). Let m(s) = s**3 + 10. Let j be m(0). Solve 2*g + q*g = -j for g.
-5
Let c(i) = i + 5. Let q be c(-6). Let b be 1 - (2 - q) - -16. Solve -2*v - 4 = -b for v.
5
Let q = 8 + -5. Suppose -3*y + 4*p + 70 + 15 = 0, 96 = 4*y - p. Solve -y = 4*t - q for t.
-5
Let b = 20 + -6. Suppose -1 + 6 = -r, 3*z + 4*r + b = 0. Solve 20 = -z*m + 7*m for m.
4
Let m = -17 - -22. Let r be 4/2*(-66)/(-4). Let s = r + -23. Solve 5 = -m*b + s for b.
1
Suppose 0 = 8*n - 10*n. Solve -5*p - 29 + 9 = n for p.
-4
Suppose 0 = 45*b - 38*b - 70. Suppose 24 = 5*m - 3*m. Suppose -3*k + 0*k + m = 0. Solve -6 - b = k*u for u.
-4
Suppose 13 = 4*f - 19. Let l be (-20)/f*(-4)/5. Solve l*u - 2 = u for u.
2
Let x be 1/(-3 - (-80)/25). Solve x*y = -0 - 10 for y.
-2
Let u be (0 + (-16)/(-10))*(-25)/(-10). Solve -3*b + 2*b = -u for b.
4
Let y(b) = -b - 9. Suppose -5*g + 2*u - 4 = 51, -5*g = 4*u + 55. Let k be y(g). Let q be (3/(-2))/(k/(-4)). Solve h - 1 = -q for h.
-2
Suppose 3*a + n - 12 = 0, 3*a + 6*n - 3*n - 12 = 0. Suppose -v = a*v + 5*l, -5*l = v + 12. Let w = v + 0. Solve w*g - 5 = 10 for g.
5
Suppose 12 = 3*x + 4*o, -5*x = -8*o + 3*o + 15. Let k(q) = -30*q**3 + q**2. Let s be k(-1). Suppose 0*w = 3*w - 9, 5*m - s = -2*w. Solve -m*f + x = 5 for f.
-1
Let s(j) = 5*j - 15. Let l be -2 - (0 + 2 + -15). Let h be s(l). Solve 5*r - h = -15 for r.
5
Suppose 3*b - 4 = 2. Suppose 0 = -2*g - 4*x, -2*g - 2*g - 5*x = -3. Suppose 5*r = 4*d + r, 0 = -3*d + r. Solve -g*n - b*n - 16 = d for n.
-4
Let k = 1 - -11. Suppose 13 = -3*x - 23. Let b be (-2)/x - 2/k. Solve b*m = -2*m for m.
0
Let c(n) = n + 1. Let a be c(-4). Let u = 5 + a. Let r = 6 - 4. Solve u*i - r = 8 for i.
5
Suppose 2*f - 27 = -4*g + 3*f, 4*f = 3*g - 4. Suppose -t - 4*k - g = 3*t, -4*t - k = -7. Solve 0 = -t*c + 2*c for c.
0
Suppose -2*b - b = 0. Let y = 2 - b. Suppose 10 = 7*p - 18. Solve -y = -p*m - 6 for m.
-1
Let i(f) = 4*f - 2. Let b be i(1). Solve -b*m - 3*m + 20 = 0 for m.
4
Suppose -2*n - 36 = -6*n. Let d be ((-66)/9)/((-6)/n). Solve -3 + d = -2*j for j.
-4
Let d = 36 - 66. Let o be 4/d*-6*10. Let h be 1/4 - (-7)/4. Solve -h = 2*t - o for t.
3
Let m = 1 + -2. Let c be 2*1/2 - m. Suppose -x + 26 = 20. Solve 2*s = c + x for s.
4
Let g be 1*-4 - (-2 - -2). Let p = 23 - 16. Let i = p + g. Solve 0 = i*u - u for u.
0
Let f = -47 + 47. Let k(a) = -a**2 + 7*a - 4. Let h be k(6). Let b be h/(-3) + 200/12. Solve 4*p + f*p = b for p.
4
Suppose 6 = -4*w + 6*w. Solve -r = -0 + w for r.
-3
Let i = 10 + -7. Solve -5*f - 2 - i = 0 for f.
-1
Let g(r) = r**3 + 9*r**2 - r + 12. Let x be g(-9). Let v be (-6)/x - (-174)/21. Solve 2*i = 6*i + v for i.
-2
Suppose 5*o + 21 - 1 = 0. Let i be 1 - o - (-10 + 13). Solve -1 = i*z + 7 for z.
-4
Let j = -28 + 30. Solve -4 = -2*z - j*z for z.
1
Let j = 68 + -64. Solve 3*z - z = j for z.
2
Let r = 19 - 13. Let x be ((-4)/6)/((-4)/r). Suppose -2*w = -3*c - 0*c - x, w + 1 = 2*c. Solve 0 = -w*u + 23 + 2 for u.
5
Suppose 0 = -n - 3 - 15. Let f be ((-12)/n)/(4/6). Solve d - f - 2 = 0 for d.
3
Suppose -2 + 0 = -c. Solve -c*l + 4 = -l for l.
4
Suppose 41 = 4*b - 23. Suppose -b = -3*o - 7. Suppose -o*v = -0 - 12. Solve -2 = -v*l + 6 for l.
2
Let y(j) = j**2 - 6*j - 4. Let z be y(5). Let g = -6 - z. Let b(q) = q + 2. Let l be b(g). Solve -2*o = -l*o for o.
0
Suppose -5 + 1 = 4*r. Let g = r - -2. Let l = 2 + g. Solve 5 = l*a + 2 for a.
1
Suppose 2*q - 24 = -q. Let y be (2 - 2)*4/q. Solve -4 = -y*i + i for i.
-4
Let r(o) = -o + 1. Let y be r(-2). Let d(p) = p**2 + 9*p - 6. Let a be d(-9). Let v be 2/(-3) + (-4)/a. Solve v*k - 3*k = -y for k.
1
Suppose -6 = -6*c + 3*c. Suppose 3*x = y + y - 8, 0 = -2*x + 3*y - 7. Let q be c - 2 - x - 2. Solve 4 = -q*m - m for m.
-4
Let b = -51 + 66. Solve 2*j = 5*j - b for j.
5
Let m = -9 + 16. Suppose -2*f + m = -3. Solve -f*j + 5 = -0*j for j.
1
Let i(k) = -k**2 + 8*k - 12. Let c be i(5). Solve c*h = 4*h - 1 for h.
1
Suppose -4*q = -3*m - 21, -3*q = -4*m - 0*q - 21. Let g(z) = 2*z**2 + 3*z - 1. Let w be g(m). Let t(n) = n - 5. Let p be t(w). Solve 2 = y - p for y.
5
Let y be (-3)/(-3)*(0 - -4). Suppose 6*t - 6 = y*t. Solve t*r = -8 + 20 for r.
4
Let x(y) = y**2 - 5*y + 2. Let q be x(5). Solve -3*w + 7 = -q for w.
3
Let t(x) = x - 1. Let k be t(3). Suppose -h + 0*h = -k. Suppose h*a = 4*a. Solve 3*d + d - 8 = a for d.
2
Suppose 0 = 2*q + 3*a - 15 - 22, 4*q - 2*a - 82 = 0. Solve 0 = -9*s + 4*s + q for s.
4
Let n = -7 + 7. Let w be (-3 - -6) + -1 + n. Suppose l = 3*p + 2*p - 10, -7 = 3*p + w*l. Solve -5 + p = -2*h for h.
2
Let b(g) = g**2 + 5*g + 6. Let s be b(-4). Solve 2*a - 4 = s for a.
3
Let p be 2/15 + (-168)/(-90). Suppose -p*u = -6*u. Solve u = c + 1 + 3 for c.
-4
Let x(h) = -h**2 + 4*h. Let m = 6 + -3. Let q be x(m). Solve q*c = -c for c.
0
Suppose -2*m + 2*u = -u + 1, -6 = -5*m - u. Solve -2*c + m = -3*c for c.
-1
Let b = -10 + 26. Let z(t) = -13*t - 39. Let d be z(-3). Solve 4*g = -d*g - b for g.
-4
Let r(q) = -q**3 + 6*q**2 - 5*q + 2. Let l be r(5). Suppose 0 = l*d + 5*b - 44, -d - 3*b + 23 = -0*b. Solve 5 - d = -4*a for a.
3
Let j(o) = o + 7. Let x be j(-4). Let g be 29/2 - (-2)/4. Solve -x*m - 2*m = g for m.
-3
Let r be 9 + -12 + (-2)/3*-9. Solve r*h + 9 = 6*h for h.
3
Let i(b) = -b**3 + 7*b**2 + 30*b + 3. Let u be i(10). Suppose 0 = 3*z + 5 - 23. Solve 0 = -u*y + z for y.
2
Let g(z) = z**3 - 6*z**2 + 3. Let m = 14 + -8. Let b be g(m). Suppose -b*v + 17 = 5*y, -v + y = 6*y - 9. Solve v*q - 2 = 18 for q.
5
Suppose -4*p - 100 = -5*h, -7 = -3*p - 22. Let l be 9/7 + h/(-56). Solve 0 = -q - 4 - l for q.
-5
Let l(n) = -n - 9. Let r(v) = v**2 - 8*v + 4. Let y be r(5). Let u be l(y). Suppose 5*j - q - 55 = 0, u*j - q = -0*q + 19. Solve -j = -0*k - 4*k for k.
3
Suppose -j + 2*j - 3 = 0. Let k = -7 - -5. Let b(g) = g**3 + 2*g**2 - g - 2. Let y be b(k). Solve y*w - j*w - 3 = 0 for w.
-1
Let s(r) = -r - 5. Let p be s(-10). Let b(h) = h - 2. Let g be b(6). Suppose 0 + g = -2*z, -9 = -p*w - 3*z. Solve -w*a + 5 + 7 = 0 for a.
4
Suppose -6*f + f = 0. Supp