 be v(4). Let a be t(n). Solve a = -4*o + 2*o + 6 for o.
3
Let v(c) = c**2 - 10*c + 12. Let n be v(9). Suppose 0 = g - 2*s - n, -4*s - 2 = -g + 1. Solve g*x = x for x.
0
Let f = -63 + 68. Solve -2*j = -f*j - 12 for j.
-4
Let m = 74 + -73. Solve 2*f = m - 5 for f.
-2
Suppose 0 = 16*m - 17 + 1. Solve 3*x = 2 + m for x.
1
Let x(s) be the second derivative of -s**6/20 + s**4/24 - s**2 + 2*s. Let m(r) be the first derivative of x(r). Let z be m(-1). Solve z + 3 = -4*u for u.
-2
Let x be 8*-3*1/(-6). Solve x*m = -0*m for m.
0
Let v(h) = -h**3 - h + 3. Let t be v(0). Solve d = -t + 2 for d.
-1
Let s be 106/3 - (-7)/(-21). Suppose 4*h = d + 44, 3*h + 4*d - s - 17 = 0. Solve 6*j = 2*j - h for j.
-3
Suppose -3 = -2*o - 4*r + 3*r, 0 = 3*r + 15. Let t(a) = -5*a + 50. Let p be t(10). Solve -3*c + c - o = p for c.
-2
Let b(l) = l**3 + 6*l**2 + 4*l - 4. Let x be b(-5). Solve -3*f + 4*f = x for f.
1
Suppose i = -5*u - 16, -2*u = i + 1 + 3. Suppose 5*q - 2*q = g, -g = i*q. Let x(k) = k - 1. Let z be x(4). Solve -3*j + q = z for j.
-1
Let b(o) = -o**2 - 6*o - 3. Let r be b(-4). Solve -r*q + 0*q + 25 = 0 for q.
5
Let u be 7/1 - (5 - 2). Let l be ((-9)/4)/(u/(-16)). Solve 0 = -2*h - h - l for h.
-3
Let v be (-10)/35 - (-88)/14. Suppose 11 = 3*o - 1. Solve o*h + v = h for h.
-2
Let n(l) = -l**2 + l - 12. Let f be n(0). Let y = -5 - f. Solve -2 = b - y for b.
5
Let t(o) = 11*o**2 + 23*o - 1. Let f(n) = 5*n**2 + 11*n. Let v(d) = -9*f(d) + 4*t(d). Let m be v(-6). Solve -5*s - 7 + m = 0 for s.
-1
Let n(f) = -f**3 - 3*f**2 + 2*f + 5. Let s be n(-4). Let v = -7 + s. Solve -o = -v*o for o.
0
Let f(c) = c**2 - 3*c - 5. Let a be f(5). Suppose 185 = a*s + 35. Solve -5*t - 5 = -s for t.
5
Let z be 4 - (1 + -5 - -6). Solve z = y - 0*y for y.
2
Let m be (-2)/2 + (1 - -4). Suppose -m*s = -2*t + 14, 0*s - s = -4*t + 7. Let f be t/(9/(-12) + 1). Solve -4*z = f + 8 for z.
-3
Suppose 3*u - 3*u + 2*u = 0. Solve u = -y - 5 + 6 for y.
1
Let b(w) = w**3 + 3*w**2 - 8*w + 10. Let k be b(-5). Solve -6 = -2*c - k*c for c.
3
Let l(g) = g**3 + 11*g**2 - 13*g - 10. Let n be l(-12). Solve -n*t - t - 3 = 0 for t.
-1
Suppose -5*n - 7 = 3*g - 17, g - 4 = -2*n. Solve -2*m + 1 + 1 = g for m.
1
Let i be ((-9)/6)/(3/(-8)). Suppose 100 = i*q + q. Solve -4*h = -0*h - q for h.
5
Suppose 3*m - 9 = 15. Let c(n) = 3*n + 29. Let x be c(-6). Suppose -x*q = -m*q. Solve q = -o + 4*o for o.
0
Suppose -5*i = 5, -2*r = -2*i - i - 33. Solve 2*q - 7*q = -r for q.
3
Suppose 7*k = 2*k + 15. Solve -12 = 7*u - k*u for u.
-3
Let u = -29 - -40. Let r(o) = o**3 - 9*o**2 + 5. Let z be r(9). Solve -6*b - z = -u*b for b.
1
Let x(h) = h + 2. Let m be x(5). Let g = -3 + m. Suppose d + 48 = g*d. Solve 0*n - 4*n = d for n.
-4
Suppose -2*d - 28 = -3*n - 7*d, -d = -5. Let t be (3 - 1)/(0 + n). Solve 1 = -t*i - 1 for i.
-1
Let f(l) = 6*l**2 - l - 2. Let p be f(-1). Solve -31 = p*g - 6 for g.
-5
Let s be (-14)/(-2) + -1 + -1. Solve -s*t = -t for t.
0
Suppose -3*y = -8*y. Suppose y*c + 12 = 4*c. Let h = 6 - c. Solve -2*k + h*k = 4 for k.
4
Let d be 4/(4/(-3) + 2). Let l be (-16)/(-12) - 2/d. Let i be 1 + (2 + 0 - l). Solve -u + 3*u = -i for u.
-1
Let k(d) = -d**3 - 10*d**2 + 9*d - 7. Let j be k(-11). Let u = j + -15. Solve -8*a + 3*a + 15 = u for a.
3
Suppose 4*c = -0*c. Suppose d - 4*d + 6 = c. Suppose -d*n = n. Solve -2*v - 6 + 0 = n for v.
-3
Let z = 4 - 0. Let h be -7*((-48)/14)/4. Let p(y) = y + 2. Let r be p(0). Solve z*g + r = -h for g.
-2
Suppose -u + 4 = u. Suppose -9 = -u*i + i. Suppose -11 - i = -2*t - 4*h, -t - 14 = -4*h. Solve o = 5 - t for o.
3
Let u be (-2)/(-10) - 12/(-15). Let g(b) = b**2 + 5*b + 2. Let l be g(-6). Let y be u + l + -1 + 1. Solve -4*h + y = 29 for h.
-5
Let g(u) = 2*u**2 + u + 1. Let b be g(-1). Suppose -6*y + 2*y + 8 = 0. Solve b*m = -y*m for m.
0
Let r = -24 - -42. Suppose 0 = 3*t - 5*t + r. Let g = t + 1. Solve g = -3*k + k for k.
-5
Let d = 12 - 7. Let s be 396/14 + 2/(-7). Let w be 0/1*(-8)/(-16). Solve w = -d*o + 8 - s for o.
-4
Suppose c - 4*x + 12 = 0, 0 = c + 3*c - 3*x + 61. Let d be ((-21)/(-12))/((-4)/c). Solve -3*q + d = -5 for q.
4
Let r = 9 + -5. Let d = -3 + r. Solve 0 = 3*p - 13 + d for p.
4
Suppose 0 = b + 2*g + 77, -2*b - 4*g = g + 155. Let f be b/(-20) + 6/(-8). Solve -f*p = -0*p - 3 for p.
1
Let a(q) = 4*q - 18. Let t be a(5). Solve -i + t*i = -1 for i.
-1
Let d be (-10 + 3)/((-3)/(-6)). Let l = -8 - d. Solve 14 = 4*x - l for x.
5
Let l = -17 + 3. Let v be (-4)/l + 4/(-14). Let t be (-2*1 - 1)*(17 - 19). Solve v = 2*z - 0 + t for z.
-3
Let a(h) = -14*h + 3. Suppose 0 = 9*x - 4*x + 15. Let f be a(x). Suppose 4*z - 3*v - 5 = 0, -4*z - 8*v + f = -3*v. Solve -4*i + 21 = z for i.
4
Let a be (-2 + 5)/3 + 1. Suppose -5*g + 5 - 4 = r, -r - 6 = -a*g. Solve -3*d + 4*d + g = 0 for d.
-1
Let m(d) = 1 + 2 - d + 0 + 0. Let r be m(3). Suppose -2*t - 5 = -u, 3*u - 7 = -2*t - r*t. Solve 0 = -2*w - u*w + 20 for w.
4
Let q be ((-1)/2)/((-5)/(-40)). Let k = -4 - q. Solve k*v = 2*v for v.
0
Suppose -3*h = 3*a, -2*h = -5*a - 0*a - 21. Solve -1 - h = n for n.
-4
Suppose 3*g + y = 33, -2*y = 2*g + 2*y - 32. Solve -3*s + g = -5 for s.
5
Suppose 6 + 14 = 2*k. Suppose -k*o + 14*o = 12. Solve -5 + 14 = -o*n for n.
-3
Let b be (-456)/(-21) + 4/14. Suppose -11*y - 8 = -13*y. Solve -2 = -y*o - b for o.
-5
Suppose -3*m - 11 = -7*f + 6*f, 5*f - 35 = -5*m. Solve 0 = h - 3*h + f for h.
4
Suppose a - 4*x = -16, -5*a - 2 = 5*x - 47. Suppose n + n + 20 = 2*w, -a*n = -w + 1. Let v = -3 + 8. Solve v*h = 3 - w for h.
-2
Let z(t) = t - 3. Let w be z(3). Let r = 2 + w. Let v = 4 - r. Solve 5*g - v*g = 0 for g.
0
Let a(j) = 2*j - 1. Let v be a(4). Let d = -4 + v. Solve 4*w = d + 9 for w.
3
Suppose -t + 12 = -18. Let h = -20 + t. Solve -n + h = 4*n for n.
2
Let b(g) = g**3 - g**2 + g - 2. Let l be b(2). Suppose -l*q + 9 = -11. Solve q + 4 = 3*h for h.
3
Let j(n) = n**3 + 4*n**2 - 3*n + 2. Let a be j(-4). Solve 0 = -3*r - 1 - a for r.
-5
Let b(v) = v + 4. Let m be b(2). Suppose 5*o - 2*t = 16, 7*o = 4*o + 3*t + 6. Solve 5*j = o + m for j.
2
Suppose f = -5*j + 5, 0 = -j + 3*j - f + 5. Let s be 4/6*3 - j. Suppose 2*h + 3*a + 1 = -s*h, -4*a = 3*h + 6. Solve -h*x = 2*x - 4 for x.
1
Suppose 3 = -k, 0 = -2*r - 2*r + 4*k - 28. Let j be (-7 - r) + (0 - 3). Solve b + b - 4 = j for b.
2
Suppose 0*s - 3 = -s. Suppose 0 = -2*z - 4*j, 2*z - j - 8 = -s. Solve 0 = 6*q - z*q - 16 for q.
4
Let j be 19 - 1*2/2. Let z = j + -13. Let p(w) = w**2 + 2*w + 1. Let i be p(-1). Solve z*o = -i*o for o.
0
Let h(i) = 2*i - 11. Let f be h(7). Solve -f*y + 5 = 2 for y.
1
Suppose 2*f - 6*f + 20 = 0. Suppose -f = -n + 6*n. Let z be (2/(-4))/n*8. Solve -z*d + 6*d = 0 for d.
0
Let p be 2/3 - (-28)/21. Solve 0 = o - p*o - 5 for o.
-5
Let q = 14 - 20. Let c be -4*(-3)/q - 4. Let o = c - -7. Solve x - 3 + o = 0 for x.
2
Suppose -3*h + 2 + 1 = 0, -2*j + 3*h + 5 = 0. Suppose -2*r + 4*c - 2 = 10, 4*r - 4*c + j = 0. Solve -5 = -5*f + r*f for f.
5
Let o(g) = g**3 - 7*g**2 + 7*g - 6. Let w be o(6). Let p be (0 - 28)/4 - -10. Solve w = -4*c + c + p for c.
1
Let u be -27 + 28 - (-14 - -1). Solve -3*i + u = 11 for i.
1
Let t(l) = 68*l**2 + 2*l - 2. Let f be t(3). Let w be f/105 + 2/15. Solve 0 = -3*i + w - 0 for i.
2
Let p(d) = -d**3 - 4*d**2 + 13*d + 7. Let v be p(-6). Solve 0 = 2*z - v - 5 for z.
3
Let k be 0 + -1 - (-8 - -6). Let x(f) = -f**2 + 8*f - 8. Let w be x(6). Solve -k = w*i + 7 for i.
-2
Let s be 48/21 + (-4)/14. Suppose 7*n - s*n + 4*l = 25, 2*l + 15 = 3*n. Solve b + 0*b = n for b.
5
Let b(o) = o**2 - 2*o + 2. Let t be b(2). Let p be 100/10*(-4)/(-10). Solve t*d - p - 6 = 0 for d.
5
Suppose l + 1 - 4 = 0. Solve -20 = b + l*b for b.
-5
Suppose 4*a + 9 + 3 = 0. Let f be (-5)/a + 1/3. Suppose 4*c + 28 = 5*w, -2*w - f + 0 = 5*c. Solve w*t = -t for t.
0
Let j(z) = -3*z**3 - 10*z**2 + 8*z + 10 + 0*z**2 + 4*z**3. Let g be j(9). Suppose 5*d = 5*h + 15, g = 3*h - 0*h - d. Solve 4*m - 2 = h for m.
1
Let i(q) = q**2 + 10*q - 2. Let k be i(-10). Let d be 0 - (k + 5)*1. Let h = d + 11. Solve -2*n - h = -4 for n.
-2
Let t(f) = f**2 + 7*f + 3. Let n be t(-7). Suppose -8*j + n*j = 0. Solve 5*b + 6 - 1 = j for b.
-1
Let d(n) = n**2 + 6*n - 81. Let r be d(-13). Solve 3*f = -r + 25 for f.
5
Suppose 3*t - 4 = t. Suppose -5*u + 4*j + 6 = -0, 0 = -u - 5*j + 7. Suppose -t*w + 1