 o.
4
Let t = 942 + -934. Solve -186*b = -194*b - t for b.
-1
Let n = -11 - -13. Solve -s + n*s + 1 = 0 for s.
-1
Let a = 23 - 23. Suppose 0 = b - a*b - 2. Solve 4*r + b = -6 for r.
-2
Let d = -21 - -24. Suppose n - 8 = 3*n, 5*n + 23 = d*x. Suppose -3*t = x - 7. Solve 5*g - 9 = t*g for g.
3
Suppose -5*p + 0 = 4*r - 2, 0 = -2*r - 3*p. Let z be (r + 3)*12/(-9). Let g be (2 - -7)*z/(-24). Solve 8 = 5*v + g for v.
1
Let l be (1 + 2 - 3)*1. Suppose l = 4*m - 10*m + 36. Solve 8 = m*d - 4*d for d.
4
Suppose 0 = -5*u - 0*u + 25. Let f be (-103)/4 + u/(-20). Let x = 26 + f. Solve -h - 4*h = x for h.
0
Suppose -4*q + 5*d = d - 24, 0 = -2*d - 2. Solve -q*c = 5 - 0 for c.
-1
Let d(j) = j + 23 - 1 + 11 - 8. Let n be d(-22). Solve -n*u + 0 = -9 for u.
3
Let u(n) be the third derivative of n**4/24 - 5*n**3/3 - 3*n**2. Let m be u(10). Let i(k) = 2*k - 57. Let v be i(30). Solve -v*f - 12 = -m*f for f.
-4
Let i(u) = -8*u**3 + 3*u - 1. Let d be i(2). Let n = d + 59. Solve 0 = -n*c + 5*c - 5 for c.
1
Let a(b) = -b**3 + 10*b**2 + 15*b + 5. Let h be a(12). Let r = h - -106. Solve 2*o + r*o = 0 for o.
0
Let h be 3/(-5) - (-3)/((-90)/(-528)). Let w = 23 - h. Solve k = w*k for k.
0
Suppose 16*d = 19*d - 18. Solve 2*y - 2 = -d for y.
-2
Let j(b) = -2*b + 3. Let g be j(-1). Solve 0 = 3*x - g + 14 for x.
-3
Let u(d) = -d**2 - 14*d - 46. Let z be u(-7). Solve 0 = 5*l + 2 + z for l.
-1
Let j be 3 + (0 - 0) + 1. Suppose 0 = -4*b - j*u - 4, 3*u + u + 31 = 5*b. Suppose -b*n = -3 - 6. Solve -n*c + 15 = -8*c for c.
-3
Suppose 3*l + 0*l + 10 = -2*j, -3*l + j + 5 = 0. Suppose 0 = 5*g + 10, 3*g + 2 = i - 2. Let n = i - -5. Solve -3*a + n = -l*a for a.
1
Suppose -16*d + 3*x - 4 = -14*d, 2*x = 8. Solve d + 66 = -14*z for z.
-5
Let i = -19 - -20. Suppose -3*d + 59 - 50 = 0. Solve i = -4*n - d for n.
-1
Let m(g) = -g**2 + 9*g - 6. Let r be m(7). Suppose -2*j = r*j. Solve 0 = 4*q - j*q for q.
0
Let k(m) = -m**3 + 2*m**2 + m + 2. Let p be k(-2). Let t = p - 14. Suppose -h - t = -4. Solve 1 - h = f for f.
-1
Suppose -2*a - 2*a + 5*f = 76, -57 = 3*a - 2*f. Let r = a - -18. Let p be r*(1 + 12/(-4)). Solve -p = 3*z - z for z.
-1
Let f(i) = 16*i**2 + 1. Let u = -14 + 13. Let c be f(u). Let l = c + -17. Solve l = 2*v - 2 for v.
1
Let v = 2 + 0. Let n(i) = -i**2 + 6*i + 6. Let x be n(8). Let k = -8 - x. Solve v*j + k = 4*j for j.
1
Suppose -3*t - 5 = -5*c + 2*t, 4*c = -t - 1. Suppose 3*a + c = -5*w - 14, 0 = 5*w + 4*a + 17. Let n = w + 1. Solve -3*z + 2 + 13 = n for z.
5
Let p be ((-1)/2)/(2/(-12)). Suppose -p*q - 7 = -25. Solve z = q*z for z.
0
Let t = -7 - 82. Let w = t - -89. Solve w = -0*a + 5*a + 15 for a.
-3
Let h(i) = 2*i + 12. Let q be h(0). Solve 14 = -2*s + q for s.
-1
Let f(t) be the third derivative of t**6/120 + t**5/12 + t**4/4 + 5*t**3/3 + 2*t**2. Let a be (-4)/(-3)*7/21*-9. Let u be f(a). Solve -u*v = 3*v + 15 for v.
-3
Let g(w) = w**3 - 2*w - 2. Let f be g(0). Let t = 5 + -2. Let i = t - f. Solve -5*y - i = -0*y for y.
-1
Let n = 126 - 107. Solve 9*s = n*s for s.
0
Let s be -1 + (3 - 5) + 3. Suppose u - 3*u + 10 = s. Let d be 102/15*u/2. Solve -4*z - 1 = -d for z.
4
Let n(x) = -x**2 + 13*x - 7. Let j be n(12). Suppose -l - 3 = -12. Let y = l - j. Solve 2*t = y*t - 4 for t.
2
Let w = 11 - 10. Let h be -3 - (0 - (1 - -4)). Solve h*a - a + w = 0 for a.
-1
Let m(d) be the third derivative of 13*d**5/60 + d**4/24 - d**3/6 + 2*d**2. Let b(r) = r - 2. Let n be b(3). Let u be m(n). Solve -u - 12 = 5*v for v.
-5
Suppose -2*x + 2 = -3*x - 3*v, -v + 3 = 4*x. Let d = -1 - x. Let i be (-2 + (-3)/d)*-6. Solve -i*u + 9 = -3 for u.
4
Let u(x) = -x**2 - 7*x. Let w = -1 - 4. Let b be u(w). Solve y = b - 5 for y.
5
Let s = 307 - 303. Solve -2*p - 2 = -s*p for p.
1
Let k = 41 + -15. Let y = k - 20. Let u be 2/7 + 38/14. Solve -y*l + u*l = 15 for l.
-5
Let a(s) = s**3 + s**2 + s + 3. Let b be a(0). Suppose b*r - q - 1 = 0, -3*q + 7*q - 18 = r. Let y be (15/9)/(6/18). Solve 7*o = r*o - y for o.
-1
Let z be 1/(-3*1/(-6)). Suppose 8*g + z = 9*g. Solve -i - 1 = g for i.
-3
Let s be ((-1)/2)/(4/(-40)). Solve -5*q + 10*q = s for q.
1
Suppose -6 + 10 = h. Suppose -2*c = -h*c. Solve -2*d + 10 = -c*d for d.
5
Let o(w) = 5*w. Let j be o(5). Let p(t) = t**3 - 14*t**2 + 38*t + 1. Let a be p(11). Suppose -5*r + a = 3*r. Solve -r*k = -2*k + j for k.
-5
Suppose 0 = s + 2*w + 2, 3*s + 0 = -w - 11. Let h = 35 + s. Let n = -31 + h. Solve n = 5*z - 31 + 6 for z.
5
Let d = -784 - -786. Solve -d*h + 6 - 16 = 0 for h.
-5
Let p be 4/14 - 27/21. Let w be 3 + p/(-1)*2. Suppose -6*k - 25 = -y - k, 4*k - 38 = -w*y. Solve -y = -3*b + 2 for b.
4
Suppose 2 = 5*b + 3*p, -2 + 3 = 2*b + p. Let q(l) = l - 3. Let o be q(5). Suppose 3*y - 20 = -o*y. Solve -b = -y*s - 13 for s.
-3
Suppose m - 3*m + 1 = -3*g, -5*m + g + 9 = 0. Suppose m*s + 0*s = 5*j + 26, 0 = 3*s + 4*j + 7. Suppose -8 = c + 4*f, f + 10 = -4*f. Solve 3*a + s + c = 0 for a.
-1
Let b be (-4)/2 + (2 - -3). Solve 2*v = b*v for v.
0
Let t be 7*(-1)/(-1) + 2. Let i(y) = y**2 - 5*y - 10. Let f be i(7). Suppose 0 = f*r + t - 25. Solve 0 = r*d - 4 + 12 for d.
-2
Let a(d) = d**2 - 11*d + 14. Let l be a(10). Suppose -3 = l*k - 3. Solve k = -2*f - 7 + 1 for f.
-3
Let w(x) be the third derivative of -x**4/24 + 7*x**3/3 + 4*x**2. Suppose -4*d = 18 + 6. Let c be w(d). Solve -c = 4*a + a for a.
-4
Suppose -18 = -c + 4*c. Let l be (-128)/(-24)*c/(-4). Let i = -3 + l. Solve -i*v + 5 = 10 for v.
-1
Let c(m) = -m - 10. Let x be c(-7). Let s be 2/2 - -10 - x. Let g be ((-30)/9)/(s/(-21)). Solve g - 2 = -j for j.
-3
Let y(t) = t**3 + 6*t**2 + 8. Suppose 0 = -3*n - k - 20, 4*n - 3*k = 2*k - 14. Let c be y(n). Solve 0 = -6*i + 2*i + c for i.
2
Let y = 214 + -212. Solve 7*q = y*q for q.
0
Suppose 0 = -0*l - 7*l + 56. Suppose -3*x - l = -7*x. Suppose -5*b = 4*s - 46, 3*b + b - 43 = 3*s. Solve -x*d = -7*d + b for d.
2
Let y = 1224 + -1181. Solve 29 = -7*w + y for w.
2
Suppose -5*b - 4*c = -59, 4*b - 2*c - 76 = 2*c. Suppose -38*i - 20 = -42*i. Solve i*u - 8*u - b = 0 for u.
-5
Let j(s) = -2*s + 1. Let g(o) = o**2 + o + 1. Let z(v) = 2*g(v) - 2*j(v). Let h be z(-4). Solve n = -3*n + h for n.
2
Let p be 12/16 + 10/8. Let w(n) = 12*n + 2 - n**2 + 1 + p*n**2 - 5*n. Let d be w(-7). Solve -11 = 4*u - d for u.
-2
Let p be (-532)/(-6) + (-4)/24*4. Let t = p + -82. Solve -w + 2 = t for w.
-4
Suppose -32*h - 4*u = -34*h + 24, 4*h - 53 = 3*u. Solve -p = -15 + h for p.
1
Let j(l) be the first derivative of -l**3/3 - 5*l**2/2 + 14*l - 8. Let m be j(-7). Solve -3 = -m*p + 3*p for p.
-1
Suppose -2*s = -v - 2*v + 18, 36 = -4*s + 2*v. Let q = s + 12. Suppose 2*d - 1 = -0*d - 3*i, q = -i. Solve d*g - 4*g = -5 for g.
-5
Suppose -5*u + 3*u = -3*t + 17, 12 = -3*u. Solve 0 = -5*z + t*z for z.
0
Let d = 31 - 16. Let b be 30/4*40/d. Solve -b = 11*t - 7*t for t.
-5
Let j = -14 - -31. Let o = -27 + j. Let a = o - -12. Solve a*v = -v - 3 for v.
-1
Suppose 0 = 5*a - 7 - 8. Suppose 5*w + a*p - 10 + 5 = 0, p - 13 = 4*w. Let y be w/6 - 2/(-6). Solve t + 1 - 3 = y for t.
2
Suppose 3*c - 79 + 82 = 0. Let t be c + (4 + -11)*6/(-21). Let n = 0 - 0. Solve n = 3*w + 8 + t for w.
-3
Suppose -3*t + 5*t - 12 = 0. Let z = -3 + t. Let u be (-4)/4 - z - -4. Solve u = -b + 1 for b.
1
Let o be (24/30)/(4/30). Suppose 3*k = o*k - 117. Let x = k + -14. Solve l = -4*l + x for l.
5
Let a(s) = 2*s**3 - s**2 + 2*s - 1. Let f be a(1). Let l be (-2)/(-24) + (-3)/((-324)/531). Solve l*b - f = 13 for b.
3
Let j = -12 - -14. Let v be -2*(12 - 0)/(-6). Solve j = -3*z - v for z.
-2
Let p(s) be the third derivative of -5*s**4/24 - 5*s**3/3 - 33*s**2. Let v be p(-5). Solve 0*r + v = -5*r for r.
-3
Let n = 104 + -106. Let t be 22/6 - (n - 16/(-6)). Solve -5*z - 2 = -t*z for z.
-1
Let n be (-1 + -1)*2/(-4). Let y(x) = 5*x - 1. Let t be y(n). Suppose -10*q + 6*q + 2*u = -4, -q - 3*u + 8 = 0. Solve t*z + 18 - q = 0 for z.
-4
Suppose -4*a = -9*a - 4*r - 38, 3*a + 2*r = -22. Let y be -1 - 10*(-3)/a. Let k(c) = -c - 3. Let i be k(y). Solve 0*w - w = i for w.
-3
Let z(a) = a**2 - 5*a + 6. Let k be z(4). Suppose -4*d = -k*g - 36, 3*d + 3*g + 2*g = 53. Suppose 4*n - d = 5. Solve -m = -2*m - n for m.
-4
Let b(a) = -a**3 - 4*a**2 + 3*a - 7. Let x be b(-5). Let q be 3*(2/x)/1. Let f(s) = -s**2 + s + 2. Let g be f(q). Solve t + 1 = -g*t for t.
-1
Let n be (3 - -2