 be a(3). Suppose 7 + n = 5*j. Suppose o + j*r + 1 - 4 = 0, -o + 4*r + 11 = 0. Solve 2 - o = -t for t.
5
Suppose 19 = c - 2*c. Let n be -3 - (c + 1)/3. Solve 0 = -2*r - n*r for r.
0
Suppose -5*n - x = -2*x - 11, 3*n + 2*x = 4. Suppose 5*m + 18 = 4*t - 3*t, -5*t + 4*m + 27 = 0. Solve 5 = t*g + n for g.
1
Let m(g) = g**2 + 4*g - 10. Let z be m(-6). Solve 0*u - z*u - 2 = 0 for u.
-1
Let c = 10 + -17. Let s = c + 8. Solve 0 - s = -k for k.
1
Let l be 7*-3*(-18)/63. Solve l = -4*f + 6*f for f.
3
Let w = 2 + -15. Let s = -9 - w. Solve -17 + 1 = -s*i for i.
4
Let c be (3 - 2) + 7 + 0. Let y(t) = t**3 - 9*t**2 + 9*t - 5. Let o be y(c). Let x = 0 + 1. Solve -x = j + o for j.
-4
Let m(j) = -j + 4. Let g be m(-3). Suppose 2*f = g - 1. Let l(y) = -y - 7. Let s be l(-7). Solve s*u - f*u + 12 = 0 for u.
4
Let o(v) = -v**3 + 4*v**2 - v - 3. Let g be o(3). Suppose i + 2*i - 14 = -5*h, 0 = -5*i - g*h + 18. Solve -2*r - i*r = 0 for r.
0
Suppose -2*d = 3*d - 35. Solve 0 = -5*j - 2 + d for j.
1
Let u be (5/3)/(2/6). Let s = 8 - u. Solve s = h - 0 for h.
3
Suppose 4*n = 7*n. Suppose 2*c + 10 = 5*y, 5*y + n*c + 2*c - 30 = 0. Let d = -2 + y. Solve d*b + 0 - 6 = 0 for b.
3
Let r = -6 + 3. Let k(c) = c**3 + 3*c**2 + c + 3. Let z be k(r). Let h be -2*((0 - z) + -1). Solve o + h = 6 for o.
4
Suppose 3*k - 75 = -2*k. Let l = -11 + k. Suppose 5*r - 11 = -b + 19, l*r - 10 = 2*b. Solve 0 = v + 3 - b for v.
2
Let i(t) = t**2 - 6. Let d be i(0). Let o = d + 6. Solve o = j + 1 - 6 for j.
5
Suppose p = 3*f - 8, 5*p + 5*f = -24 + 64. Let c(q) = q - 8. Let m(t) = -t + 9. Let o(a) = -4*c(a) - 3*m(a). Let w be o(5). Solve x = -w - p for x.
-4
Let q(k) = k**3 - 2*k**2 - 4*k + 4. Suppose 0 = -2*d + 4*f + 14, 0 = 3*d - f - 2*f - 15. Suppose 0 = -d*i + 1 + 11. Let c be q(i). Solve c = -3*z - z for z.
-5
Let h = -56 + 61. Suppose 0*l - 33 = -3*l. Solve l = -h*w + 26 for w.
3
Let n(g) = g + 2. Let h be n(2). Let r = h - 2. Let c be 6*6/48 + (-9)/(-4). Solve z = -r + c for z.
1
Let j = 4 - 4. Suppose 0 = 5*h - j*h - 15. Suppose -2*o + 5*f = 2*o - 23, h*o = f + 9. Solve -o*v + 5 = 3*v for v.
1
Let u(c) = 3*c**3 + c**2 - c + 1. Let m = 0 + 1. Let g be u(m). Let l(f) = f + 16. Let r be l(-14). Solve 0 = v + g - r for v.
-2
Suppose y = -l + 3, -4*l + 3*y - y + 18 = 0. Solve 0 = l*h + h for h.
0
Suppose 2*i + 3*y = 3*i, 5*i + 5*y - 80 = 0. Solve 2*u + u = -i for u.
-4
Let n = 13 + -9. Solve 2*g - 4*g = -n for g.
2
Suppose -k = 3*k - 64. Let i be (-15)/(-9)*(-9)/(-5). Solve a + i*a = k for a.
4
Let d(p) be the third derivative of p**5/60 + p**4/8 - p**3/3 - 4*p**2. Let x be d(-5). Suppose 4*k = x, -q - 5*k + 9 + 7 = 0. Solve -q = 2*y - 4*y for y.
3
Let u be -1 + (0 - -2) + 3. Let d = 6 + -2. Suppose 0 = -u*o + 4*l - 16, -d*l = 2*o - 0*l - 16. Solve o*p = -p - 2 for p.
-2
Let i = -18 + 20. Solve -3*d = -i*d for d.
0
Let d(o) = -o**3 - 2*o**2 + o. Let h be d(-2). Let p be h + (-2)/(4/(-10)). Solve -2*c - 13 = -p for c.
-5
Suppose a + 25 = -5*j, -4*j = 2*a + a + 31. Let n(g) = g**3 + 5*g**2 + 4. Let p be n(a). Solve -4*w - p = -0*w for w.
-1
Suppose 1 = -o - 0. Let j be (o/3)/((-1)/18). Solve 0 = -0*a - 2*a + j for a.
3
Let y(c) = -c + 3. Let s be y(0). Suppose -p - 8 = -s*p. Solve 4*n - p = -0*n for n.
1
Let o(t) = -t**2 - 6*t + 2. Let g be o(-6). Suppose 3*l + 3 = -0*p - p, p = -g*l. Suppose 0 = 2*d - p*d - 5*a + 17, -2*d - a = -7. Solve -h = -2*h + d for h.
3
Let d(h) be the third derivative of h**6/120 + h**5/15 + h**4/8 + 2*h**3/3 + h**2. Let v be d(-3). Suppose v*r = -0*r. Solve r = -0*o + 2*o for o.
0
Let u(x) = 3*x - 11. Let v be u(4). Solve 2*y = v - 5 for y.
-2
Suppose 0 = 13*d - 4 - 152. Solve -y - d = 2*y for y.
-4
Let c = -42 + 44. Solve 0*u = -c*u + 2 for u.
1
Let p be -11 + 11 - (-1 + -2). Solve 0 = -3*o - p - 6 for o.
-3
Let u be -1 + 0 + 0 + -1. Let j(h) = h**2 + 2*h + 3. Let s be j(u). Suppose -5*g - 5*k = 5 - 30, s = 3*k. Solve -g*w + w = -15 for w.
5
Let s(d) = d**2 + 12*d. Let m be s(-12). Solve m = -g - 0 - 4 for g.
-4
Let g(h) = h**3 - 11*h**2 + 3*h - 15. Let r be g(11). Let b = -3 + r. Suppose -5*c - z = -b, 5*z = -21 - 4. Solve c*a = -0*a + 4 for a.
1
Let f be (-2 + 1)/(3/18). Let d(l) be the second derivative of -l**4/12 - l**3 - 2*l. Let x be d(f). Solve x*s + s - 3 = 0 for s.
3
Let n be ((-42)/(-10) - 5)*(-30)/4. Solve 2*d - n = -0*d for d.
3
Suppose 3*u + 0*u = 0. Let q = -22 + 19. Let k be u*q/12*-2. Solve k = -5*b - 14 + 4 for b.
-2
Suppose 5*w - 4*s = -58, 4*s + s = -3*w - 20. Let c be w*(-1)/5*-2. Let p be c/16 + 1/4. Solve p = 3*y + 2 + 10 for y.
-4
Suppose -4*p + d = p - 5, -3*p - 5*d - 25 = 0. Suppose p = -0*m + 3*m + 9. Let n be 1*(9/m)/(-1). Solve -2 - 1 = n*s for s.
-1
Let w(s) = -s**3 + 6*s**2 + 6*s + 8. Let j be w(7). Solve c + 0*c - j = 0 for c.
1
Let s = -15 - -11. Let d be (-1 + 4)/((-6)/s). Let f = 2 + 2. Solve 2 = -f*w - d for w.
-1
Suppose 5*m + 0*t = 3*t + 48, -2*m - 3*t + 15 = 0. Let f = 13 - m. Solve -9 = c - f*c for c.
3
Let d be 2/9 - 688/(-144). Solve 16 - 41 = d*v for v.
-5
Let z(n) = -n - 24. Let q be z(0). Let f be (q/(-10))/((-15)/(-50)). Solve -5*m + 3 - f = 0 for m.
-1
Suppose 0 = 4*u - 9 + 5. Solve p + 6 = u for p.
-5
Suppose 2*v = 5*v. Let b be (-16)/24 + 52/6. Let j be 36/b + 3/(-6). Solve o + j = -v for o.
-4
Let d = 51 - 34. Suppose 0*i = 5*r + i - d, 2*r - 3*i = 17. Solve r = 5*s - 6 for s.
2
Suppose 4*u = 70 + 34. Let j = u + -8. Suppose 0 = -t - 3*p - 4, -t + 3*p = 4 - 12. Solve -t*k + 8 = j for k.
-5
Let b(c) = c + 6. Let a be b(0). Let m be a/(-15) - 32/(-5). Suppose -4*p = -2*p - 4. Solve p*z + z = -m for z.
-2
Let c(f) = -f + 12. Let z be c(0). Let b = 3 - 3. Suppose -5*a + s - 4*s - z = b, -5*s - 20 = -a. Solve l + a = 4 for l.
4
Let y be (-3)/(-1) - (-4 + 7). Solve y = 5*t - 2 - 8 for t.
2
Suppose 20 = 4*r - 3*x, -3*r - 4*x + 15 = x. Solve r*h = h for h.
0
Let k = 1 + 1. Suppose k*j - 12 = -j. Let l(y) = 2*y**2 - 6*y + 3. Let p be l(j). Solve p = -2*u + 1 for u.
-5
Let t(x) = x**3 + 9*x**2 + 9*x + 9. Suppose -2*u - w - 13 = 0, 0 = -5*w + 2*w + 9. Let g be t(u). Solve -3*s + 5 = -g for s.
2
Suppose -4*b = 2*q - 88, 4*q + 16 - 180 = -2*b. Suppose 5*w - q = -0*w. Solve 0*a + 4*a + w = 0 for a.
-2
Let m = -13 - -15. Suppose -m*c - 19 = -3*k, 2*k - 5*c - 24 = -4. Solve k*l + 10 + 0 = 0 for l.
-2
Let c be 8*(39/12 + -3). Solve -c*g = -0*g + 10 for g.
-5
Let w be (1/(-2))/((-3)/12). Let k(b) = 1 - b - 1 - 3 + b**w. Let i be k(3). Solve -5*c + i = -12 for c.
3
Let n(l) = -l**2 - 8*l + 12. Let c be n(-9). Let i = c - 0. Solve 0*b - i = 3*b for b.
-1
Let d be 28/8*4/7. Solve -o - o = d for o.
-1
Suppose -3*v = -6 - 0. Solve 5 = v*w - 1 for w.
3
Let t = 10 + -6. Solve -2*f - 4 = t for f.
-4
Suppose 3*s = 75 + 105. Let k be (2/(-6))/(7/(-315)). Suppose -k = -5*i + s. Solve 5*y = i + 10 for y.
5
Let w = 18 + -14. Solve -h - w*h = 10 for h.
-2
Let m(u) = u + 3. Let w be m(3). Suppose 5*o - 4 = w. Let g = o - 2. Solve g = -3*r + 4*r - 3 for r.
3
Suppose -2*o + 1 = -o. Suppose 2*s - o = 7. Solve -s*t = t + 25 for t.
-5
Let m(k) = -k**2 - 6*k - 1. Let x be m(-5). Suppose x*b = -b + 30. Solve -2*o + b = o for o.
2
Suppose 5*x - 15 = -0*x. Solve k - 2 = x for k.
5
Let x(n) = -n + 10. Let y be x(7). Suppose -l - 24 = -y*l. Solve 2*s = -s + l for s.
4
Suppose 0*q - 2*q = 0. Suppose v + 22 = -2*k - v, -k + v - 1 = q. Let n = -3 - k. Solve n*o - 2 = 1 for o.
1
Let x = 2 - -2. Suppose 5*y + 4 = -d + 2*d, -x*y - 3*d + 12 = 0. Solve -5*p = -y*p for p.
0
Let k(n) = -n**3 - 6*n**2 + n + 9. Let r be k(-6). Suppose -2*q + 29 = 1. Let w = q - 10. Solve -w*b - r = 5 for b.
-2
Let r = 4 - 4. Let l(s) = s**2 + 9*s + r*s**2 + 4 + 4. Let y be l(-9). Solve 2*b - y = -2*b for b.
2
Let a(p) = p**3 + 10*p**2 - 12*p + 4. Let h(s) = -s**3 + 7*s**2 - 4. Let f be h(7). Let g be ((-2)/f)/((-1)/22). Let n be a(g). Solve 2*i + i - n = 0 for i.
5
Suppose -3*t - 4*z = -0*t + 14, 4*t - 4*z = 28. Solve -a + t = -3 for a.
5
Let d(l) = -2*l**2 - 2*l. Suppose -8 - 15 = -u + 5*c, c - 5 = 5*u. Let b be d(u). Let p = b + 7. Solve -v = -p*v for v.
0
Let g = 1 + 1. Let c be 1/2 - 28/(-8). Solve -g*w - 8 = -c*w for w.
4
Suppose -12*d + 119 = 11. Solve 5*c - d = 6 for c.
3
Suppose -b = -3*p - 1, 3*b = p - 4 + 7. Suppose 6 = u - 3*l, -4*l = u + 11 - 3. Suppose u = 4*w - p*w. Solve 