= 7*i - 400. Suppose 0 = 2*f - 2*s + 4*s - 4, 0 = s + 4. Suppose f*g - g = i. Solve 0*z = -5*z + g for z.
4
Suppose 3*n = 6*n. Solve -2*y = -n*y for y.
0
Suppose -3*d + 0 = 60. Let l = d - -28. Solve -z = -l + 4 for z.
4
Let i(c) = c**2 + 21*c + 5. Let x be i(-21). Solve 4*o = -o - x for o.
-1
Let q be (1 + -1)/2 + 12. Suppose 0 = -5*b + q - 2. Let j = 0 + b. Solve j*o + 3*o = 10 for o.
2
Let q(h) = h**2 + 10*h + 2. Let s be q(-10). Solve -s*b = b + 3 for b.
-1
Suppose 2*s + 2*s - 4*x = 4, 3*x + 3 = 2*s. Solve 2 = o - s for o.
2
Let k = 99 - 97. Let y = 15 - 10. Let q(a) = 2*a - 6. Let p be q(y). Solve 2*b - p = k for b.
3
Suppose -5*q + 172 = -v, 3*q - 2*v - 140 = -q. Suppose 5*c - q = 2*m, 4*c - 3*m - 12 = 3*c. Suppose 6*j - 64 = -2*j. Solve -4*w = -c*w - j for w.
-4
Let o = 1 + 1. Let i(a) = 6*a**2 - 7*a + 1. Let w(y) = -5*y**2 + 7*y - 2. Let j(d) = -6*i(d) - 7*w(d). Let v be j(-8). Solve -g = -v*g + o for g.
-2
Let h(o) = -o**2 + 4*o + 3. Let j be h(4). Suppose -j*i = i. Let d(w) = -3*w - 1. Let f be d(-1). Solve i = f*k + 3 + 3 for k.
-3
Let i(p) = -p**3 + 4*p**2 + 7*p. Let w be i(5). Let k(d) = d**2 + 2*d. Let n be k(0). Solve n = -3*m + 2 + w for m.
4
Let p(y) = -26*y**3 + 27*y**3 - 5*y + 3*y. Let o be p(0). Solve o = 3*l + 6 - 0 for l.
-2
Suppose -3*o + 2 = 26. Let d = -4 - o. Solve 0 = -d*b + 7*b - 3 for b.
1
Let k(v) = v**2 + 6*v. Let o be k(-6). Suppose -3*i = 2*q - 1, -4*q + o*q = 5*i - 5. Suppose 5*f + 2 = h, q*h - 5*f = -0*h + 10. Solve h*p + 8 = -2*p for p.
-2
Suppose 3*q - 2 = b + 35, 5*b + 9 = -q. Solve q = -5*y + 1 for y.
-2
Let r = 13 + -10. Solve c + r = -0*c for c.
-3
Let m(k) = -k**3 + 3*k**2 - 2*k + 1. Let f be m(1). Suppose 0 = -5*i - f + 21. Solve 3*u = -i - 8 for u.
-4
Let a(z) = z**3 + 13*z**2 + 13*z + 15. Let m be a(-12). Solve 0 = -2*g - 5 - m for g.
-4
Let c = -17 - -22. Suppose 8 - 28 = -c*y. Solve 0 = -2*h + 4 + y for h.
4
Suppose 5*z - 72 = -w, -3*z - 3*w = -w - 46. Suppose -83 = -3*d - z. Solve -d = -5*u - 3 for u.
4
Suppose 2*n + 2*l - 4 = 0, n + 5*l = 2*n + 22. Let p be -6*(-1)/(-6)*n. Solve z = -z - p for z.
-1
Let k be -1 - (-9)/(-6)*-8. Solve k = -3*z + 2 for z.
-3
Let c = -12 + 24. Let g be ((-2)/(-4))/((-1)/(-24)). Suppose 4*i = 5*d - 4, 3*i - 2*d + g = 4*i. Solve -i*p + c = -p for p.
4
Suppose 3 = a - 0*a. Suppose 5*l - s + 6*s - 35 = 0, a*l + 9 = 3*s. Solve -6*u + 20 = -l*u for u.
5
Let a = 31 - 27. Solve 0 = -a*z + 5 + 3 for z.
2
Suppose 5*l - 6 = 9. Solve 5 + 7 = l*w for w.
4
Let r be (4 + -2)/(-1 + 2). Let m(q) = -3*q - 17. Let y(k) = 2*k + 9. Let z(d) = -3*m(d) - 5*y(d). Let s be z(2). Solve -r*h + 6 = -s*h for h.
-3
Let c(z) = -z**3 + 4*z**2 + 4*z + 5. Let g be c(5). Solve g = p - 2 - 2 for p.
4
Suppose -k = q - 9, -5*k + 3*q = -3*k - 3. Solve k = -3*n + n for n.
-3
Let c = -4 - -7. Suppose -4*z + 4 = 2*a - 6, c = -a. Solve -y = -z*y + 3 for y.
1
Let y be 495/(-27) + 4/(-6). Let m = 21 + y. Let k(g) = -g + 14. Let q be k(6). Solve -2*b - m*b = -q for b.
2
Let j be -6 - (-2 - (1 + -2)). Let t = j + -1. Let v be -5*(-2 + t/(-15)). Solve -r - v = -3*r for r.
4
Let h be 1/4 - (-15)/4. Suppose 4*n = 5*k + 5 + 4, 0 = 2*n - h*k. Solve 0 = g + 2*g - n for g.
2
Let f be (-16)/4 - (-3 + -7). Solve 2*q = f*q for q.
0
Let p = 21 + -6. Solve -2*y + 7*y = p for y.
3
Suppose i - 6*i = -30. Solve -i = 4*r - 2 for r.
-1
Suppose -4*w + 20 = 0, y - w = -3 - 0. Solve 0 = -7*u + y*u - 25 for u.
-5
Let t = -40 + 42. Solve 2*y - t = y for y.
2
Let k(o) be the first derivative of 2*o**3 - o**2 + 3*o - 1. Let g be k(2). Let p = -14 + g. Solve -2*d + p = 3 for d.
3
Let c = 61 - 58. Solve 0 = 3*i + c + 9 for i.
-4
Let m be -2 - (-6 - (3 + (-4)/4)). Solve -m = -0*j - 2*j for j.
3
Suppose -r - 6 = -8. Solve -r = i - 0 for i.
-2
Suppose -2*o + 10 + 6 = 0. Solve 0 = -4*q - o - 0 for q.
-2
Let a be 3*(-1 + 5/3). Suppose a*o = o + 3. Solve -2 - 10 = o*k for k.
-4
Suppose 5*h = n + 15, 12 = 4*h + 3*n - 0. Suppose -4*q - 4 = 0, h*a + 0 = q + 13. Solve 5 = -a*p - 3 for p.
-2
Let s(t) = 0*t + 6 - 10 - 3*t. Let y be s(-4). Solve -2*c = 4 - y for c.
2
Let d be 9/(-15) + 6/10. Let j be 1 - (-1)/(d - -1). Solve j*v + 10 = -0*v for v.
-5
Let k be -8*3/(-6) + -4. Let c be -1*0/(2*-1). Solve k = -o - c*o for o.
0
Let j = 21 - 33. Let t be (-63)/j + 1/(-4). Solve -t*q = -q - 20 for q.
5
Let i be (0 - 0)/((-2)/(10/(-5))). Solve i*t - 3 = t for t.
-3
Let n = -6 + 7. Suppose 2*w - 7 = n. Solve 0*c + w*c = -8 for c.
-2
Let b(m) = -m**2 - 9*m + 10. Let v be b(-10). Solve 3*s + 0 + 9 = v for s.
-3
Let z be -1*(26/(-39))/((-2)/(-9)). Solve 8 = -z*k + k for k.
-4
Let m(c) = -c**2 - 5*c - 2. Let r be m(-4). Let j(o) = 3*o - o**3 - 6*o**2 - 7 + 0*o**2 + r*o**2. Let s be j(-5). Solve z + 12 = -s*z for z.
-3
Let m be 12 + (-4 - -2) + 1. Suppose 1 = -5*p + m. Suppose p*o - 3*a = -a + 10, 4*a - 25 = -5*o. Solve -o = -3*r - 2*r for r.
1
Let t be ((-20)/(-15))/((-2)/(-6)). Solve 0 = t*r - r + 12 for r.
-4
Let l(b) = 4*b**3 - b + 1. Let n be l(1). Suppose -3*d - 1 = -4, -24 = -n*y - 4*d. Solve y + 5 = 2*o for o.
5
Let k be 4/(-20) - (-183)/15. Solve -k = 3*o + 3 for o.
-5
Let v(f) = f**2 - f + 1. Let l be v(-1). Solve -8*x + l*x = 0 for x.
0
Suppose 4*k = -k + 20. Suppose -23 = -5*i + 2. Solve i*l - k = 3*l for l.
2
Let g = 10 + -6. Suppose 8*v = 3*v + 25. Let h = v - g. Solve m - h = -0*m for m.
1
Let c(r) = r**2 + 5*r + 7. Suppose -3*v - 16 = 4*x + x, -3*x - 24 = -3*v. Let u be c(x). Solve 2*y - 15 = u*y for y.
-3
Suppose 0 = 4*k - 0 - 12. Suppose m + 26 = 5*i, 4*m = -k*i + 11 - 0. Solve 3*h - 14 = -i for h.
3
Suppose j = -2*l + 3, j = -0*j - l - 2. Let r(w) = -w**3 - 6*w**2 + 6*w + 5. Let g be r(j). Solve 7*s + g = 3*s for s.
-3
Suppose -2*q - 3*q = 0. Solve q*l = -5*l for l.
0
Let j be (-4)/6 - (-39)/(-9). Let a = j + 2. Let x(f) = -f**3 - 4*f**2 - 4*f. Let b be x(a). Solve -b*w - 20 = w for w.
-5
Let y = -23 + 28. Solve -t - 4*t - y = 0 for t.
-1
Let j be (-2)/(-8) + 23/4. Let u be (3/6)/(2/16). Solve -u*k + j = -2 for k.
2
Let b(s) = -22*s + 2. Let a be b(5). Let z be (2/6)/((-6)/a). Solve -w = -4*w - z for w.
-2
Suppose -5*u + y = -20, 0 = 4*u - 0*y + 2*y - 2. Suppose -2*f - 4*w + 4 = 0, 3*w = -3*f + 9 - u. Solve 2 = f*n - 8 for n.
5
Let x = -8 + 13. Let d be ((-4)/5)/(x/(-25)). Solve 4*k = 2*k - d for k.
-2
Let y(b) = -5*b**2 - 7*b - 8. Let z(r) = 4*r**2 + 6*r + 7. Let j(v) = -5*y(v) - 6*z(v). Let s be j(4). Solve k + s = 3*k for k.
5
Suppose 2 = 3*n - 4. Suppose 0 = -3*o - 6*y + y - 12, o = -n*y - 5. Let a = 8 - o. Solve -3*f + a*f = 0 for f.
0
Let u = 17 + -14. Let b be u + (2 + 13 - 3). Solve 3*s + 2*s + b = 0 for s.
-3
Let n(j) = -j**3 + 5*j**2 + j + 5. Let x be n(5). Solve -3*i + x = 1 for i.
3
Let y(l) be the first derivative of l**2/2 + 8*l + 1. Let k be y(-8). Solve 0 = -k*s + 3*s for s.
0
Suppose -3*o + 5*p = 25, 5*o + 78 = -2*p - 5. Let q be 2/(-3) - 85/o. Suppose q*h = 5*g - 30, -5*g - 2*h = -3*h - 18. Solve 0*z = 3*z - g for z.
1
Let k = -20 + 33. Suppose -9 = h - k. Suppose -2 = -r - h*m, -3*r + r + 2*m + 4 = 0. Solve 17 - r = 3*p for p.
5
Suppose 0 = 3*i - 0*d + d - 1, 0 = 3*i + 2*d - 2. Solve 5 = -s - i for s.
-5
Suppose 2*n - 3*h + 9 = 0, -n + h - 3 = -3*n. Suppose -5*d + 5*u + 205 = 0, -3*d + u = d - 152. Suppose 5*r - d = 8. Solve n = 2*b - r + 1 for b.
4
Let p(z) = -10*z + 52. Let j be p(5). Solve 4*q - 14 = -j for q.
3
Let r be (6 - 1) + 1 + 0. Let f = -2 + r. Solve 0*j + f*j = 0 for j.
0
Let v(l) = 4*l + 42. Let c be v(-10). Solve 3*d = c*d + 1 for d.
1
Suppose -4*v - 1 + 5 = 0. Let m be ((-21)/v)/((-15)/10). Solve 3*w - 2 = -m for w.
-4
Let n be 111/9 + (-3)/9. Solve 0 = -2*o + 6*o - n for o.
3
Let p = 13 - 10. Solve -j + 6 = p for j.
3
Let b(n) = -n**3 - 7*n**2 - 9*n - 18. Let t be b(-6). Solve 4*g + 10 - 2 = t for g.
-2
Suppose 2*m = 3*m + m. Solve m = v - 3 for v.
3
Suppose -3*x + 3*h = -9, -h + 5 = 4*h. Let i = -5 - -6. Let g be (9 - i)*(-3)/(-2). Solve -4*d - x = g for d.
-4
Let l(f) = f - 2. Let n be l(4). Suppose 0 = 2*x + 5*o - 28, x - n*o + 14 = 2*x. Solve -4*u = x + 2 for u.
-4
Let k be (-1)/(-2)*(-84)/(-7). Solve w = -w - k for w.
-3
Suppose 3*m - 10 = -3*l + l, 2*m - 47 = -5*l. Suppose 0 = 5*k - 4 - l. Let i(d) = d + 1. Let o be i(0). Solve 0 = -k*n - o - 5 for n.
-2
Let a be (3/(-9))/(3/153). Let d be a/(-4) -