be -2*1/2*-3. Let a be 1*3/(-3) - -1*1. Solve a = -0*y - g*y for y.
0
Let k be (8/((-96)/18))/(1/6). Let t(x) = 13 + x**3 + 7*x**2 + x + 7*x**2 - 5*x**2. Let q be t(k). Solve -q*v = -v for v.
0
Suppose -5*o + 10 = 0, -5*l - 3*o = -18 - 3. Suppose l*b - 16 = -b. Suppose -3*u + 1 = -5*t, -2*u = b*t - 3*u - 2. Solve 2 - t = p for p.
1
Let g = -1374 + 1374. Solve g = -3*p - 36 + 36 for p.
0
Let i(g) = g + 3 + 0 + 0 + 3. Let h be i(7). Solve 4*o - h = 3 for o.
4
Let p be (-303)/(-33) + 28/(-154). Solve -p*i = -13*i + 4 for i.
1
Suppose 2*b = -a - 0*b + 13, -3*a + 5*b + 6 = 0. Solve a*q - 3*q = -12 for q.
-3
Suppose l + o - 35 = -22, 0 = -4*l + 4*o + 84. Solve -15*f - l = 2*f for f.
-1
Let j(n) = 16*n**2 + n. Let m be j(1). Let l = 42 - m. Suppose b - 5 = 0, -2*w + 2*b + 3*b - l = 0. Solve -3*y + w*y = 0 for y.
0
Suppose -7*q + 3*q = -8. Suppose 3*w - 3*r - 14 = q*w, -9 = 3*r. Suppose -w*l + 8*l - 9 = 0. Solve -4 = s - l*s for s.
2
Let v = -91 - -168. Let t = 78 - v. Solve 3 = -o + t for o.
-2
Suppose o + 1 = -2, 3*q = 5*o + 24. Let w(x) = -x**2 - 7*x + 2 + q*x**2 - 5*x**2 + 4*x**2. Let y be w(7). Solve -3*l = y*l + 5 for l.
-1
Let s(o) = -o - 6*o + 9 + 5*o - o**2 + 3. Let y be s(0). Solve -32 = -4*w - y for w.
5
Let n be (-88)/(-33) - (-32)/(-12). Solve -f + 11 - 7 = n for f.
4
Suppose -y + 3*k = 21, 35 = y + 25*k - 20*k. Let l be 1/((-6)/(-8))*3. Solve y*w = l*w for w.
0
Let l = 6 - 0. Suppose y - l = -3. Suppose -3*u = 4*r + 4, 0 = u - 5*r - 3 - 2. Solve -y*b + b - 2 = u for b.
-1
Let u = -1 + 3. Suppose u*h = -4*p - 80, 4*p - 124 = h + 3*h. Let w be h/(-8) + 1/(-4). Solve 0 = w*j - 2*j + 6 for j.
-3
Let g(m) = m**3 - 2*m**2 + m - 4. Let w(p) = 1. Let o(n) = g(n) + 3*w(n). Let b = -4 + 6. Let q be o(b). Solve -4*h = 3 + q for h.
-1
Let y = -212 - -212. Solve 5*l - 34 + 9 = y for l.
5
Let l(v) = -6*v - 5. Let j be l(-2). Solve -5*q = 2 - j for q.
1
Let s = 11 - 9. Let h(x) = x**3 - x**2 - x + 6. Let d be h(0). Suppose 0*p - d = -3*p. Solve 16 = -s*k - p*k for k.
-4
Suppose -4*i - 2*h = i - 164, -5*h = i - 42. Suppose 2*r - i + 8 = -4*t, -27 = -r - 5*t. Solve r*q - 1 = q for q.
1
Let m(s) be the first derivative of s**4/4 + 11*s**3/3 + 6*s**2 + 20*s - 43. Let g be m(-10). Solve -6*i + i = g for i.
0
Let f be 11/(-99)*-30*(-3)/(-2). Solve -4*s + f = 25 for s.
-5
Suppose 0 = -4*x - x. Let s be 6 + (-6)/(1 - 4). Solve -2*w + 0*w + s = x for w.
4
Let y = -20 - -29. Solve 4*f = y*f - 20 for f.
4
Let m be 2/(-13) + (-776)/26. Let i be ((-2)/(8/m))/((-2)/(-4)). Suppose -2*v = -2*d + v + 24, 2*v = -d - 2. Solve d*f = f + i for f.
3
Let r be 4/4 + 0 + -1. Let n be 2/(1/2 + r). Solve 1 = -n*w + 21 for w.
5
Let p = 6 + -4. Suppose p*s - 4*s + 2*m = 0, -3*s - 4*m + 28 = 0. Suppose 20*h - 346 = -186. Solve 2*t - h = s*t for t.
-4
Suppose 5*z - 13*u - 40 = -16*u, 8 = z + 4*u. Solve -z*s = -6*s for s.
0
Let j(t) = -t**3 - 8*t**2. Let r(n) = -n**3 + 14*n**2 + n - 22. Let g be r(14). Let h be j(g). Solve -a - a = h for a.
0
Let g = -936 - -943. Solve 107 = g*f + 72 for f.
5
Let z(o) = -2*o + 12. Let p be z(6). Suppose 5*v = 2*c - p*c + 54, -v + 2*c + 14 = 0. Let x = v - 9. Solve a - 6 = -x for a.
5
Let j(m) = -2*m**2 - 15*m + 8. Let t be j(-8). Solve t = r + 3*r for r.
0
Let g(q) = -q**2 - 3*q - 4. Let x be g(-3). Let a = x - -12. Suppose 5*d - 4*w - 4 = 7, -w = -1. Solve a*u = d*u for u.
0
Let h(v) = -96*v + 579. Let k be h(6). Solve 0 + 3 = k*j for j.
1
Suppose 26*f - 860 = -17*f. Solve 13*u + 19 = -f for u.
-3
Let w(o) = 14*o - 52. Let c be w(4). Solve -k + c*k = -3 for k.
-1
Suppose -6*u + 9 - 3 = 0. Let k be 32/(-16)*(-3 - -2 - u). Solve -4*f = -k - 16 for f.
5
Let l be -2 + (-49)/(-21) - 80/(-3). Suppose -l*y = -29*y + 4. Solve 2*a = 6 - y for a.
2
Let h = -49 + 47. Let f be 4 + -3 - (h + 1). Solve 6 = -b - f*b for b.
-2
Let x be -1 - 6*2/(-4). Suppose 4*i - 5*j - 22 = 0, -7*j - 30 = -5*i - x*j. Solve -i = h + h for h.
-4
Let y be (-2)/(-13) - (-1448)/52. Suppose 0 = -y*i + 33*i - 10. Solve -9 = i*s + s for s.
-3
Suppose 0 = s - 4*s. Suppose -q + 8 = -r - s, -3*q = -r - 24. Let f be (q/16)/(2/12). Solve f*h - h = 0 for h.
0
Suppose -11*u - 203 = -4*u. Let k = u - -33. Solve k*x = 18 - 6 for x.
3
Let v(d) = d**2 - 21*d + 24. Let n be v(20). Suppose k - 2*j = -4*j + n, -4*j = 0. Solve -k*f = -9*f for f.
0
Suppose -5*s + 5*p = -45, 0 = -5*s - 5*p + 3 - 8. Solve -s*z = -6*z + 2 for z.
1
Suppose -4*r = 4*o, -o = 3*o - 2*r - 18. Suppose -o*k - 30 = -9*k. Solve q - 2 = -k for q.
-3
Suppose 0 = -15*z + 28*z - 78. Solve 12 = -z*o - 0*o for o.
-2
Suppose 12*n = 7*n + 3*o + 110, -2*o + 35 = n. Solve -7*y - n = -4 for y.
-3
Let k(i) = 7*i - 29. Let t be k(5). Let u be -3*2/(-3) + t/3. Solve -u = -q - 0*q for q.
4
Let b be (-2)/(-4)*(-2 + 0). Suppose -5*f = -4*r - 33, -2*r - 9 = -2*f + r. Let m be (f - b)*4/10. Solve 7 = m*d - 1 for d.
2
Suppose 4*f = -4*o + 8, -f + o = -0*f - 4. Solve j + 8 = f*j for j.
4
Let y = -1174 + 1195. Solve -2*w = -y + 11 for w.
5
Suppose 2 = w + r, -5*w - 4*r - 2 = -13. Suppose -3 = 17*g - 14*g. Let z be (w/(-6))/(g/6). Solve -4 = z*u - 5*u for u.
2
Let q(t) = t**3 - t**2 - t - 25. Let u be q(0). Let r = -9 - u. Solve 0 = 4*m + 4 + r for m.
-5
Suppose -4*a + 2*a = -6*a. Solve -4*i - 15 + 3 = a for i.
-3
Suppose -2*f = -5*n - 5, -f + 3 = -3*f - 3*n. Let l = f + 1. Let k(y) = -6*y**3 - y**2 - 4*y - 4. Let q be k(-1). Solve -q*r - l = -4*r for r.
-1
Let f(g) be the first derivative of g**2/2 + 9*g + 32. Let c be f(-9). Solve 0 = -l + 1 - c for l.
1
Suppose 0 = 4*n - 3*n + 2, 5*h - 44 = -3*n. Let l(a) = a**2 - 11*a + 13. Let y be l(h). Solve 1 = -f - y for f.
-4
Suppose 0 = -2*u + 7*u - 5*o + 10, -o = -2*u. Suppose 10 = -4*n + w, 0*w = -u*n + w - 4. Let x(p) = p**2 + p - 6. Let r be x(n). Solve -3*a = -r*a - 9 for a.
3
Let w = -89 - -91. Solve 0 = -w*b - 4*b + 24 for b.
4
Let m(w) = -w - 8. Let a be m(-8). Suppose -4*g = -a*g - 20. Suppose -g*q = -10 - 0. Solve 0 = f - q*f for f.
0
Let o = -20 - -24. Let t be (-5 + o)/((-1)/5). Solve -t*r + 4 = 9 for r.
-1
Suppose 0 = q + 2*f - 11 + 9, 0 = 4*q - 3*f + 3. Solve q = -45*i + 43*i for i.
0
Let r(f) = -f**3 - 8*f**2 - 9*f - 8. Let w be r(-7). Let j = -2 + w. Let z(y) = 2*y**2 + 8*y - 10. Let g be z(-5). Solve -p + g = -j for p.
4
Let w be 5 + ((-10)/(-20))/((-1)/(-4)). Suppose 0 = w*c - 4*c - 9. Solve 2*g + 25 = -c*g for g.
-5
Suppose 3*z + 4*d + 8 = 2*z, -3*d = -6. Let w = 16 + z. Suppose 0 = -5*s, 4*k = -w*k + 5*s. Solve b = -k - 2 for b.
-2
Let o(w) = 7*w**2 - 84*w - 85. Let r be o(-1). Solve 2*x - 5*x = r for x.
-2
Let u = 7 - 0. Let s = u + -4. Let v(l) = l**2 + l - 14. Let n be v(-5). Solve s*p - 12 = n*p for p.
-4
Let x(c) be the first derivative of c**3/3 - 4*c**2 + 2*c + 11. Let y be x(8). Solve 0 = y*u + 5 - 1 for u.
-2
Suppose 4*q - 2*h = 0, 16 = 3*q + 2*h + 2. Solve q*n - 21 + 29 = 0 for n.
-4
Suppose 0 = -0*v - 5*v - 5. Let t = v - 14. Let p = t + 27. Solve 32 - p = -4*n for n.
-5
Suppose -q - 4*x - x = -8, 4*q + 28 = -5*x. Let n = -28 + 24. Let s be (-1)/(n/q) - -3. Solve -2*r - 6 + 0 = s for r.
-3
Let p(w) = -w**3 + 3*w**2 - 2*w. Let h be p(3). Let v = -6 - h. Suppose 4*f = 3*m - 80, 0*m - 85 = -5*m - 3*f. Solve v*t - m = -5*t for t.
4
Suppose 0 = 13*x + 5 + 34. Let l be (4/x)/((-7)/21). Solve 0 = -g - 3*g - l for g.
-1
Let j(m) = -2*m**2 + 64*m + 7. Let n be j(32). Solve 0 = -7*w - n for w.
-1
Let o be 62/(-4) - (-1)/2. Let t = o - -30. Let b be 2/4 - (-9)/(-24)*-4. Solve -3*j = b*j + t for j.
-3
Let v = -87 - -91. Solve 0 = 2*m + v for m.
-2
Let v = -1179 + 1184. Solve 0 = -3*r + 2 - v for r.
-1
Let f be 36/20*455/39. Solve -f*l + 16*l = 5 for l.
-1
Let j(r) be the second derivative of r**3/2 + 2*r**2 + 5*r. Let b be j(3). Let a = b - 10. Solve -4 = a*o + 5 for o.
-3
Let b(r) = -25*r + 254. Let j be b(10). Solve -j*h = -23 + 7 for h.
4
Let p(u) = -26*u**2 + 71*u - 2. Let h(f) = 9*f**2 - 24*f + 1. Let k(y) = 17*h(y) + 6*p(y). Let c be k(6). Solve z + 4*z - c = 0 for z.
1
Suppose 5*s + 7*m - 16 = 3*m, 3*s + 5*m = 20. Suppose s*j + 0*j = 3*j. Solve j = h + 3 + 2 for h.
-5
Let g(t) = 6*t - 46. Let u(h) = 7*h**3 + h**2 + 2*h - 2. Let a be u(1). Let o be g(a). Solve o*s = -s - 6 for s.
-2
Let a(v) = -v**2 - 2*v - 3. Let m be a(4). Let q = m - -30. Suppose 3*t = q*r - 15, -t + 25 = 3*r - 