) + (-1)/(-3). Let i be 0*3*1/u. Solve i*t + t = -3 for t.
-3
Let s = -1 - -21. Let k be (-6)/(-5)*s/8. Solve -5 = 2*y + k for y.
-4
Let q(h) = h**2 - 2*h - 6. Let o be q(4). Solve 3*b - o*b = 0 for b.
0
Suppose 1 + 8 = 3*j. Suppose 0 = -4*r + 5*v + 2, 3 = -4*v + 11. Suppose 3*u - 4*u + j*f - 3 = 0, -r*f = -4*u - 3. Solve u = -5*c - 15 - 10 for c.
-5
Suppose -4*y = -6*y + 4*y. Solve 5*k + y*k = 25 for k.
5
Let p(y) = -y**2 - y + 7. Let d be p(-3). Solve -3 = 2*w - d for w.
-1
Suppose -3*b = 5*v - 11, b + 6 = 3*v - 9. Suppose 0 = v*z + 5 - 13. Solve z*j - 1 + 9 = 0 for j.
-4
Let j be (14/(-4))/(3/6). Let h = j + 5. Let b be (h - 2)/((-2)/1). Solve -m - 15 = b*m for m.
-5
Let m(i) = -i + 8. Let u(h) = -h**3 + 13*h**2 + 14*h + 8. Let k be u(14). Let p be m(k). Solve -o + p = -5 for o.
5
Let g = 29 + -13. Let f = -12 + g. Solve 0 = f*z + 1 + 3 for z.
-1
Let r be (1 - 0)/(1 - 4/5). Solve -r = -5*b - 0*b for b.
1
Suppose 0 = -3*y + 8 - 2. Suppose 2*z - 5 = z + 3*w, 5*z - y*w = 12. Solve z*a = -0*a - 10 for a.
-5
Let a(x) = -2*x**2 - x. Let v be a(-1). Let o(p) be the second derivative of -2*p**3/3 - p**2/2 - 25*p. Let r be o(v). Solve -n + 10 = -r*n for n.
-5
Suppose -60 = -c - v - 6, 3*v = 2*c - 118. Suppose 0 = -b - 3*b + c. Let g be (-7)/(-2)*24/b. Solve -g = -2*w + 4 for w.
5
Let r(t) = 3*t + 12 + 4*t - 8*t. Let x be r(7). Solve 4*q - x = -q for q.
1
Suppose -2*a = 5*b + 3*a + 15, 0 = -b - 2*a - 8. Solve b*x - x = 0 for x.
0
Let j(x) = -7*x**2 - x. Let q be j(1). Let z(s) = -s**2 - 7*s + 11. Let w be z(q). Solve -w*i = 9 + 3 for i.
-4
Let s(p) = 11*p**2 + p + 1. Let h be s(-1). Suppose 3*a + 8 = 4*w, -3*w = -2*a + a - h. Solve -a*k - 3 - 5 = 0 for k.
-2
Let b(i) = -5*i. Let z = 2 + -3. Let h be b(z). Solve h*d + 20 = -0*d for d.
-4
Let l(c) = 4*c**2 - c - 1. Let d be l(-1). Let y = d - 4. Solve y*q = 5*q + 20 for q.
-4
Suppose -y - 1 = 0, 2*q = -2*q - 2*y + 58. Suppose 9 = 4*r + 1. Solve r*z - q = -z for z.
5
Let t(g) = g**3 - 6*g**2 - g + 6. Let j be t(6). Let l = j - -2. Suppose -38*b - 5 = -39*b. Solve l*u = 3*u + b for u.
-5
Let c be 1 - 0 - (1 + -2). Suppose q = c*q - 3. Solve 4*t + q = 15 for t.
3
Let v be (0 + -1)/(-1) - -1. Suppose -2*i + v*r = -4*i + 12, 2*i = -5*r + 6. Solve -i = d + d for d.
-4
Let c be 0/1 - (-4 - 0). Suppose 3*m = -4*x + 91, 3*m - 4*x = 19 + 40. Solve -t = c*t + m for t.
-5
Let a(q) be the second derivative of q**5/20 - 5*q**4/12 + 3*q**2/2 - 3*q. Let j be a(5). Let w = 2 + 0. Solve -j*n - w*n = -10 for n.
2
Suppose -15 = -3*d - 3. Let u be ((-18)/(-30))/(2/20). Solve 2*i - d = u*i for i.
-1
Let o be (0 + 2 - 1)*2. Suppose -5*i + 10*i - 5*p = -5, o*p - 30 = -5*i. Suppose -k + 5*k + i*c = 44, -10 = -2*c. Solve -3*l - 9 = k for l.
-5
Let u = 60 - 58. Solve q = -u*q for q.
0
Let w(c) = 25*c**2 - c + 1. Let y be w(1). Solve 6*q = q - y for q.
-5
Suppose 24 = 4*y + 8. Solve -x = -y*x + 12 for x.
4
Let b be (-6)/(-5)*(-50)/(-15). Solve 0 = -9*j + b*j - 15 for j.
-3
Let y be (-36)/(-10) + 18/45. Solve a = y*a - 15 for a.
5
Let v be -3 + (-4 - -2) + -1. Let p be (-21)/v - 1/(-2). Solve l = 5*l + p for l.
-1
Let c = 29 - 9. Let o = 30 - c. Solve 4*x + x = o for x.
2
Let l(i) = 2*i - 7. Let p = -10 - -14. Let c be l(p). Solve -4 + c = -f for f.
3
Let w(v) = -7*v**3 + v**2 + 2*v. Let i be w(-1). Solve k + 2 = i for k.
4
Suppose 3*r + 13 = 2*m, 1 + 3 = 5*m + 2*r. Let b be ((-15)/2)/(1/(-2)). Suppose 5*t + 0*t - b = 0. Solve 0 = t*c - 5 + m for c.
1
Let y(i) = i**2 - 2*i. Let u be y(-3). Let a = u - 11. Solve a*d = -6 + 2 for d.
-1
Suppose 14 = a + 2*o - 5*o, 0 = 4*a + 3*o + 19. Let y be 0/(-4) + 4 + a. Solve -5*h = -2 - y for h.
1
Let j be (1 + 8 - 7)*(1 + 0). Solve j*y = -0*y for y.
0
Suppose 2*q - 1 = p, 5 + 1 = 2*p. Suppose -q*x - 11 = -g - 3, 0 = 2*x + 8. Solve 4 = d - g*d for d.
4
Let w = -1 + 8. Suppose -4*j + 21 = -w. Solve -2*l = -j*l for l.
0
Let f be ((-32)/12)/((-10)/15). Solve 2*l - f = -6 for l.
-1
Let l be 16/20*(-15)/(-6). Suppose 0 = l*v - 2*f - 4, 0*f = -2*v - 4*f + 4. Solve s - 3 = v for s.
5
Suppose -3 = 3*c - 4*c. Suppose 7*w - 20 - 15 = 0. Solve -w*g = -c*g + 8 for g.
-4
Let r(a) = 8 - 4*a**2 + 9*a**2 - a - 6*a**2. Let g be r(0). Solve 3*b - g = 7*b for b.
-2
Suppose 0*n + 10 = 5*n, -5*z = 5*n - 35. Solve -5*f + 20 = -z for f.
5
Let b = -6 + 1. Let d be (-16)/(-20)*b*1. Let s be ((-2)/d)/((-1)/(-14)). Solve 4*t - s = -23 for t.
-4
Suppose -4*z + 22 = 6. Suppose -2*g - 16 = 2*g. Let h be (-12)/(-7) + g/(-14). Solve -z*d + 10 = -h for d.
3
Suppose -2 = -3*v - 17. Let y = v - -5. Suppose -3*a - a + 16 = 0. Solve y*c = -a*c for c.
0
Let r = -1 + 1. Let u be r + 1 + -4 + 4. Suppose 0*l = -3*l. Solve l*v + u = v for v.
1
Let z(s) = -s**2 + 6*s. Let x be z(5). Suppose 5 = -4*f + x*f. Solve f*t = 7 + 13 for t.
4
Let p be -1*(12 + 1 + -3). Let w be (-166)/p - 6/(-15). Solve 2 = 3*m + w for m.
-5
Suppose -4*b + 2*k + 10 = 0, -2*b - 3*b + k + 14 = 0. Suppose b*l - 5*l - 62 = -4*t, -3*l = -5*t + 78. Let u = 2 - 0. Solve -t = u*i + i for i.
-5
Let r(z) = z**3 + 9*z**2 - 11*z - 9. Let b be r(-10). Solve -b = -i - 5 for i.
-4
Let h(n) = -9*n - 2. Let y be h(-2). Suppose -y = b + b. Let l be (-3)/12 - 34/b. Solve 4 = l*m + 12 for m.
-2
Suppose 5*d = 20, 4*t - 3*d + 2*d = -4. Let i(r) = r - 2. Let y be i(6). Solve -w = -y - t for w.
4
Suppose 2*x - 4*x = 0. Solve -s = -x*s for s.
0
Let i(l) = -l**3 - 3*l**2 + 5*l - 1. Let a be i(-5). Let v be (64/a)/((-2)/(-3)). Solve 0 = v*k - 6 - 2 for k.
2
Suppose 3*c - 32 = -5*a, -7*c + 3*c + 12 = -a. Solve -a*w - 9 + 21 = 0 for w.
3
Let k = 27 + -24. Solve -k - 2 = p for p.
-5
Let i(r) = r**3 + 3*r**2 - 5*r - 4. Let m be i(-4). Let x = m - -1. Solve x + 0 = -s for s.
-1
Suppose 5*s + 332 = -123. Let y be 48/26 - 14/s. Solve 4 + 6 = y*o for o.
5
Let j(p) = p**3 - p**2 - 3. Let z be j(0). Let h be z*(12/(-9))/2. Solve -8 = h*k - 0 for k.
-4
Suppose 4*z - 43 + 31 = 0. Let o = 24 - 3. Suppose 5*w - 2*w - o = 0. Solve w = z*j + 22 for j.
-5
Let g be 4*((-26)/8 + 4). Suppose 3*d + 3*o = 7*o + 14, 4*d = -g*o + 2. Solve -3 = w - d*w for w.
3
Let n be 4 - (9/(-18))/((-1)/(-4)). Solve -2*w + n = 2 for w.
2
Let r(n) = -n - 8. Let j be r(-11). Solve j*k - k + 10 = 0 for k.
-5
Suppose 0 = 4*y - y - 18. Solve -y*s = -s for s.
0
Let g(j) = -j**2 - 2*j. Let d be g(-2). Let x(t) = -t**3 + 14*t**2 - 2*t + 31. Let n be x(14). Solve i + d*i = -n for i.
-3
Suppose -6*j + 2*j = 0. Solve 3*r - 12 = -j*r for r.
4
Suppose 3*r - 5 = -4*h, -6*r + 3*r + 4*h + 13 = 0. Solve -1 = 2*k - r for k.
1
Let d = 60 + -57. Suppose 2*u = -0*u. Suppose -2 + u = -n. Solve 0 = -d*p - n*p for p.
0
Let t(k) = -k**2 + 10*k + 3. Let a be t(10). Let l be a - -8 - (-3 + 0). Solve -5*f - 11 = l for f.
-5
Let s be (-2)/7 - 30/(-7). Suppose 6*v = 3*v + 4*x + 23, -s*v + 14 = -2*x. Solve 3*o + v = 4 for o.
1
Let m(d) = -d**2 - 2*d + 5. Let t be m(-5). Let s = t - -10. Solve 5*a + 0*a + 20 = s for a.
-4
Suppose -16 = 4*m - 8*m. Solve m*p - 2 = 14 for p.
4
Suppose -7*q + 23 + 40 = 0. Solve 6 - q = -h for h.
3
Let d = -24 + 16. Let b = d + 8. Suppose b*p = -2*p + 12. Solve 0 = p*i - i for i.
0
Let f = 5 - 4. Suppose 0 = t + f - 8. Let d(n) = n**2 - 7*n + 3. Let y be d(t). Solve -k - y = 1 for k.
-4
Let c(j) be the first derivative of j**4/8 - j**3/6 - j**2/2 + 2. Let x(y) be the second derivative of c(y). Let q be x(1). Solve q*b - 5 = b for b.
5
Suppose -13 = 11*r - 68. Solve r = 2*g - 1 for g.
3
Suppose -2*o + o - 11 = -2*r, o - 7 = -4*r. Solve v + 4 = r*v for v.
2
Suppose -4*c + y = -0*y - 7, 21 = 2*c + 3*y. Suppose -6*p + 6 = -c*p. Solve k + p*k = 0 for k.
0
Let g be (1 - -1) + (7 - 9). Solve 2*f = -g*f for f.
0
Let p = -1 - -1. Suppose p = f - 0*f - 4. Solve 5*h - f = 1 for h.
1
Let k(i) = -i**3 + i**2 + 5. Let j(q) = -q + 4. Let c be j(4). Let r be k(c). Solve -5*b + 20 = -r for b.
5
Let r(j) = j**2 - 8*j - 11. Let u be r(10). Suppose 0 = q + u - 19. Solve 3*y + q = -5 for y.
-5
Let c(g) = -g**2 - 9*g - 7. Let r be c(-8). Let p = r + 3. Solve -3*z - 10 = -p for z.
-2
Suppose -2*u = -4*u + 40. Suppose q + 0*q - u = 0. Solve -q = -0*a - 4*a for a.
5
Let a = -64 + 69. Solve -a*n = -n for n.
0
Suppose j + 3*j = -5*d + 19, -3*d + 4 = -5*j. Let n = 6 + -3. Solve n*i = -0 + d for i.
1
Let q(j) = j**3 - j**2 + 2*j. Let k be q(2). Let o be