 i = 5 - 0. Let p = 4 - s. Solve k = -y + 2 + p for y.
3
Let w(s) = -s - 2. Let u(o) = -15*o**2 + 9*o - 2. Let f be u(1). Let h be w(f). Solve -14 = -4*b + h for b.
5
Suppose -4*f = a - 9, -4*f - f - 4*a = -3. Suppose 13 = f*t - 5. Let o = 1 - 1. Solve -3*x = -o - t for x.
2
Let p = 19 - 17. Suppose o + 4 = -5*t + 3, -p = 2*t. Solve 0 = -o*u + 2*u + 2 for u.
1
Suppose -5*o - x = -26, -2*o = -5*o + 2*x + 26. Solve 6 = 3*r - o for r.
4
Suppose -11*s + 4*c - 310 = -16*s, -4*c + 136 = 2*s. Solve s*l - 20 = 54*l for l.
5
Let c = -102 - -103. Suppose -3*i = 3*x - c + 7, -4*i - 35 = -5*x. Solve x*w - 3 = 6 for w.
3
Let v be -3*21/(-9)*1. Let g = v - 0. Suppose 0 = g*z - 4*z - 15. Solve 0 = 5*k - z - 10 for k.
3
Let p = -40 + 44. Suppose 2*d + 8 = o + 2*o, -p*d = 4*o - 4. Solve -n - 1 = -o*n for n.
1
Suppose -3*y + 2 = 3*w - 2*w, 3*y - w = 10. Let u be ((-114)/(-171))/(1/(18/4)). Solve y*h + u = -h for h.
-1
Suppose -82 = -66*q + 1238. Let k(f) = -2*f + 1. Let z be k(-1). Suppose -h = -z*h. Solve h = -2*l - 3*l + q for l.
4
Suppose 10 - 4 = 2*s. Suppose -5*f = -2*f - 21. Suppose -f*r = -s*r. Solve b = -r*b for b.
0
Suppose 36*p - 74 = -p. Solve 17 - 27 = p*q for q.
-5
Suppose 2*c - 5 = z, 2*z - 14 = -3*c - c. Suppose -5 + 11 = c*f. Suppose h + 0 - f = 0. Solve -h*v = -7*v - 10 for v.
-2
Suppose 15*i + 14 = 17*i. Solve 11*n = i*n + 4 for n.
1
Suppose -5*d + 20 = 5*z, z - 4*d + 16 = 5. Let b(j) = -j**3 + 2*j - 1. Let q be b(z). Solve q*n + 20 = -5*n for n.
-4
Suppose -2 = -w + 4. Let b(g) = -g**3 + 5*g**2 + 6*g + 4. Let q be b(w). Solve 4*l + 12 - q = 0 for l.
-2
Let n(j) = j**2 - j + 1. Let y(q) = q**3 + 24*q**2 + 4*q - 8. Let m(w) = -4*n(w) - y(w). Let z be m(-28). Solve a + z = -a for a.
-2
Let p(c) = -c**2 + 23*c + 30. Let m be p(24). Solve 0 = d - m + 11 for d.
-5
Let f(u) = -u**3 - 3*u**2 + 5*u + 3. Let p be f(-5). Let q = -22 + p. Suppose 5*s + q*w - 2*w - 9 = 0, -4*s + 3 = -w. Solve -9 = -5*o + s for o.
2
Let c be 13/3 - (-2)/(-6). Suppose -c*x - 2*j + 4 = 0, -3*j + 8 - 26 = -2*x. Solve 5*m = x*m for m.
0
Let v(s) = 10*s**2 + 11*s + 3. Let i be v(-1). Suppose -4*l + 30 = -2*l. Solve l = 3*a + i*a for a.
3
Suppose -295 = -29*w + 7*w + 57. Let l(f) = 9*f**2 - f - 1. Let h be l(-1). Suppose 4*d + 30 = h*d. Solve d*r - w = 2*r for r.
4
Suppose -18*w = -14*w + 268. Let v = -57 - w. Solve v = 5*a - 15 for a.
5
Let x = 8 + -7. Suppose c = -x + 6. Let a(s) = 4*s - 2. Let i be a(c). Solve 5*z - 7 - i = 0 for z.
5
Let x(c) = c**3 + 9*c**2 + 20*c + 3. Let h be x(-5). Suppose 3*z = -4*p + 48, 1 = -z - h. Solve -10*k + p = -5*k for k.
3
Let h(j) = -j**2 - j + 1. Let a(r) = -4*r**3 - 7*r**2 - 5*r + 2. Let u(n) = a(n) - 2*h(n). Let m be u(-1). Solve 0 = -4*v + 2 + m for v.
1
Suppose 55*x = 49*x + 60. Solve -w + x = w for w.
5
Suppose 3*g - 2*g - 9 = 0. Suppose -14*i = -g*i + 120. Let p be (i/32)/((-2)/16). Solve 4*l - 6*l = -p for l.
3
Suppose 82 + 32 = -6*k. Let g = -19 - k. Let l be -3 - -5 - (g + 0). Solve -o = -l*o - 3 for o.
-3
Suppose a - 25 - 9 = 5*o, 0 = -2*a + 2*o + 28. Suppose 0 = -2*z - 3*c + a, -4*c = -2*z - 0*c - 12. Solve -2 = f - z for f.
-2
Let n be 0 + 1 - (6/(-2))/3. Let d be (-3)/(-2) + 11/n. Solve 1 = 3*k + d for k.
-2
Let j(h) = -h**3 + 8*h**2 - 35*h + 196. Let l be j(7). Solve l = 12*p - 2*p - 40 for p.
4
Let a = -974 + 975. Solve -5*c - 6 + a = 0 for c.
-1
Suppose -14*s + 6 = -11*s. Let f be ((-9)/s)/9*-4. Solve f - 3 = r for r.
-1
Let m be (-273)/182*(2*1)/(-1). Solve 3 + m = -3*a for a.
-2
Let t = 64 + -60. Suppose 0 = -c - 1 + t. Solve c = 2*a - 7 for a.
5
Let k = 782 - 765. Solve -13 = 4*q - k for q.
1
Suppose 3 + 6 = -j + 4*g, 0 = j + 5*g + 9. Let p(n) = n**2 - 6*n + 2. Let l be p(3). Let f = l - j. Solve -6*m + f*m = 0 for m.
0
Let x(h) = 17*h - 30. Let o be x(3). Solve 0 = 4*r + 1 - o for r.
5
Suppose n - 3 = -0*n + k, -5 = -2*n + 3*k. Suppose -v - 22 = 3*p + v, -32 = n*p + 4*v. Let a be 0 + p/2 + 6. Solve -d = a*d - 8 for d.
2
Let j(b) = 3*b**2 + 2*b - 7*b + 4 - 4*b**2 + 11*b. Let d be j(6). Let l = 8 - d. Solve -m + 0*m + l = 0 for m.
4
Let x be (-8)/44 + 48/22. Suppose 3*a - 24 = -f, 4*f - 17 = -3*a - x. Suppose 2*j = -a + 1, -4*v + 4*j = -32. Solve -g + 2 = v for g.
-2
Let h(l) = -2*l - 17. Let c be h(17). Let m = 51 + c. Solve m*x - 5*x - 25 = 0 for x.
-5
Suppose 3*x + v - 1 = -2*x, 4*x + 4*v = 4. Suppose 3*a - 3 + 12 = x. Let q = a - -15. Solve 2*h + h = -q for h.
-4
Let d(y) = y**3 + 8*y**2 + 7*y. Let f be d(-7). Let x(q) = 27*q + 2. Let u be x(3). Suppose u = 5*l - 4*a, 2*a - 20 = -2*l - 3*a. Solve 2*p + p + l = f for p.
-5
Let w = -33 + 45. Let n = w + -12. Solve 3*p = -n*p - 12 for p.
-4
Let i = -455 - -456. Let z = 14 + -11. Solve i = -k - z for k.
-4
Let t be ((-2226)/3339)/(2/(-6)). Let q = 4 + -2. Suppose -2*v = q*v. Solve -y + t*y = v for y.
0
Let f be ((-7)/(-6) - 1) + 17/6. Solve 4 = f*y + 1 for y.
1
Let g = 1 + 1. Suppose 0 = 2*m - 5*d - 30, 4*d + 36 = -m + 5*m. Suppose -5*o = -6*o + m. Solve -g*c - o = -c for c.
-5
Let w = -13 + 9. Let v = -2 - w. Suppose 0*z - 25*z = -25. Solve v*s - 3 + z = 0 for s.
1
Let f(i) be the third derivative of i**6/120 + 4*i**5/15 - 2*i**4/3 + 10*i**3/3 - 8*i**2. Let n be f(-17). Solve n*b + 11 + 4 = 0 for b.
-5
Let s be 1 + ((-5)/20)/((-3)/12). Suppose -w = s*w - 4*g - 46, -3*w = -5*g - 47. Solve 3*j + w = -1 for j.
-5
Suppose -5*b - 5 = -0. Let i be (-399)/6 + b/2. Let p = -47 - i. Solve -m + p = -5*m for m.
-5
Let k = 363 + -360. Solve 20 = y + k*y for y.
5
Let q = -300 - -300. Solve q*z = -2*z + 8 for z.
4
Suppose 0*c + 3*c - 6 = -q, -18 = -c + 5*q. Suppose 0 = b - 3*s, -s = -7*b + c*b. Suppose -k + 2*d = -2, -k - 4*d + 7*d + 3 = b. Solve k*t - t - 3 = 0 for t.
-3
Let d(a) = -a**3 + 4*a**2 - 4. Let n be d(3). Let f = 122 + -122. Suppose f = x + 3 - n. Solve 2 = -x*l - 6 for l.
-4
Suppose -2*p + 234 = -5*t - 19, -5*t - 256 = p. Let s = t + 51. Solve 0*q + 4*q + 4 = s for q.
-1
Let u be (-6)/4*(0 - (5 + -3)). Suppose -2*v + 22 = 4*f, u*f + 18 = 7*f - 2*v. Solve -12 = f*j + 13 for j.
-5
Suppose 0 = -4*f - 4*o + 52, -3*f + 37 = -3*o + 4*o. Let u = -2 - -6. Solve 0 - f = u*y for y.
-3
Let b = 100 - 100. Solve -4*a + b*a = -8 for a.
2
Suppose 5*s + 16 = 3*s. Let q = s - -13. Suppose 4*u + 5 = -c + 12, 3*u - 1 = -q*c. Solve -u - 1 = 3*g for g.
-1
Suppose r + 237 = 5*y, -11*y + r + 45 = -10*y. Solve 0 = 4*d - y + 68 for d.
-5
Let l(z) = -11*z + 14. Let p be l(1). Solve 0 = 17*g - 14*g + p for g.
-1
Let l = 6 + -3. Let p be l/12 + (-15)/(-4). Let s be -7 + (6 - -5 - 2). Solve -p*r - 8 = -s*r for r.
-4
Let t = -15 - -8. Let d be 6 + -3 - (0 + t). Solve -d = w + 4*w for w.
-2
Let u = 128 - 124. Solve -2*k = u - 10 for k.
3
Let l(d) = d**3 + 2*d**2 - 2*d + 2. Let w = 55 - 55. Let c be l(w). Solve 0 = -c*a - 2 - 0 for a.
-1
Suppose -3*k + 15 = 2*n, -5*n + 3 = -k - 26. Solve 7*c = 4*c - n for c.
-2
Let m = 745 + -743. Solve -14 + m = -3*k for k.
4
Let i be (-1)/(-6) - 175/(-30). Let d(t) = -t**3 + 8*t**2 - 9*t - 13. Let m be d(i). Solve -2*a - m = -7*a for a.
1
Let q be -6*(5/(-2) - -2). Solve 0 = -q*c + 5*c for c.
0
Let i(g) = -g**3 + 8*g**2 + g - 1. Let r be i(8). Solve -8*b + 15*b + r = 0 for b.
-1
Let j be (-2 - -1)*-7*1. Let p = 10 - j. Suppose 46*g = 127 + 11. Solve -p*i = g - 6 for i.
1
Let o = -377 + 382. Solve 0 = -7*a + o*a for a.
0
Let l be ((-1)/2)/(1/(-14)). Let y be 1080/6*(-4)/(-6). Let v = -107 + y. Solve 4*x = -l - v for x.
-5
Suppose -2*t = 4*t - 24. Suppose 3*y - q = -2*y, 0 = -t*y + 4*q. Solve y = -2*w + w + 5 for w.
5
Suppose -25*p - 28 = -29*p. Solve 22*y - p*y = -30 for y.
-2
Let q = -5 - -11. Let o = 8 - q. Suppose -11*h + 70 = -9*h - 4*c, -h = 5*c. Solve o*j - h = -3*j for j.
5
Let s = -109 + 111. Solve -c - s*c = -12 for c.
4
Suppose 7*i - 39 + 18 = 0. Solve i*v - 296 = -308 for v.
-4
Let m be ((-72)/(-16))/(6/16). Suppose 4*a = j - m, -5*a - 7 = -j + 5. Solve l = 5*l - j for l.
3
Let k be -2 - -4 - 0 - -2. Let v = -16 - -4. Let t = -10 - v. Solve 2*o + k = -t*o for o.
-1
Let d be ((-26)/(-65))/(28/280). Suppose -6 = -5*m - 1, 5*h - m + 1 = 0. Solve 0 = -h*r - 2*r - d for r.
-2
Let f = -9 - -5. Let n be (5 + f)*(1 - 1). Solve -x + 2 + n = 0 for x.
2
Suppose 0 = -3*f - 4 + 16. Suppose -3*u + 21 = 3*y, 9 = -2*u + f*u - 3*y. Suppose 4*q - u = 2*q. Solve 6 = 6*t - q*