= 0 for w.
-3
Let n(r) = -r. Let u be n(-4). Suppose 4*q + u = -4*s, -4*q + 0 - 5 = 5*s. Suppose 3*o - 2 = 2*o. Solve -o*t + 3*t = q for t.
0
Suppose 4 = -2*d + 26. Let q = 27 - d. Solve 0 = 4*m - q - 0 for m.
4
Let l(t) = t**3 - 5*t**2 - 6*t + 4. Let j = 11 + -17. Let a be (-45)/j + 6/(-4). Let x be l(a). Solve 0 = -v + x for v.
4
Let j be (-2)/7 + (-18)/(-14). Let g(k) = -k**2 + 3*k + 2. Let n be g(3). Suppose z + j + 0 = 0, 4*z - 8 = -n*l. Solve 0 = a + a + l for a.
-3
Let w(g) = -g**2 - 2*g + 6 + 5*g + 0*g + 6*g. Let u be w(7). Suppose -5*k + k = -u. Solve 0*x = -k*x - 5 for x.
-1
Let x(g) = g**2 + 5*g. Let z be x(-6). Suppose z*i - 2*i - 24 = -4*s, -3 = -i. Solve -s*n + 6*n = 9 for n.
3
Suppose -5*d + 34 = 3*l, 2*d + 0*d = l + 7. Let j be 68/20 + (-2)/5. Suppose j*s - 4*s = 0. Solve 3*q + d + 1 = s for q.
-2
Let o be (-150)/(-8) + (-3)/4. Let t = -18 + o. Solve -3*l - l = t for l.
0
Let o = 190 + -184. Solve 0 = 5*a + o + 4 for a.
-2
Suppose -16 + 4 = -4*y. Solve y*i - 10 = -1 for i.
3
Suppose 10*n - 47 = 3. Solve 9 + 11 = -n*l for l.
-4
Let h be (1 - (0 - 0))/1. Let b(v) = -9*v - 1 + 9*v + 2*v**2 - v**3. Let j be b(h). Solve -2*s - s = j for s.
0
Let b be (-3)/(-2)*(-12)/(-9). Let a(s) = 2*s. Let n be a(2). Solve -n*h = -2 - b for h.
1
Let f be 2 + -5 + 1 + 5. Suppose 0 = 5*s - 2*d - 4, -f*d = -2*s + s + 6. Let o be (2 - 1/1)*s. Solve 5*l - 7 + 27 = o for l.
-4
Let v = -29 + 53. Suppose v = -g + 5*g + 3*h, -3*g = -h - 5. Solve 2 = k - g for k.
5
Let m(c) = 2*c + 1. Suppose 0*a = a + 2*w + 7, -4*a + 16 = -3*w. Let v be m(a). Solve 0 = 3*j - v - 6 for j.
3
Suppose 2*m - 9 = 3*j, m + m = -5*j + 1. Solve y - 1 = -m for y.
-2
Let l(x) = x**3 + x**2 - 2*x + 2. Let a be l(2). Suppose -4 = 2*t - a. Suppose 8 = -21*q + 25*q. Solve -t - q = z for z.
-5
Let q(z) = -z**2 + 3*z + 3. Let i be q(3). Solve 0 = -4*l - 17 - i for l.
-5
Suppose -6*h - h = -35. Solve 0 = -2*r - 3*r + h for r.
1
Let l be 5/(4 + (-76)/20). Solve -5*k - l = -0 for k.
-5
Let p = 30 - 30. Solve -o + p = -5 for o.
5
Let c be (0/1 - 0) + 3. Suppose -5*f - 5*z + 5 = 0, c*f + z = 2*z - 1. Solve -4*u - 4 - 16 = f for u.
-5
Let z be (-1)/(6/(-4))*3. Solve -c = -z*c for c.
0
Let t be ((-1)/1)/(-1)*5. Let i be (t + -3)/2*5. Let c be ((-6)/(-4))/((-2)/(-4)). Solve c*f - i*f + 2 = 0 for f.
1
Let c(s) = s**3 + 18*s**2 + 32*s + 3. Let v be c(-16). Solve 0 = v*r + r for r.
0
Let m = 0 + 4. Let j = 8 - m. Solve 0 = j*p - 6 - 2 for p.
2
Let w(c) = 10*c + 20. Let i be w(-2). Solve i = 5*s - 0 - 5 for s.
1
Let m(k) = 1 + 6*k + 0 + 2 + 4*k. Let i be m(3). Solve -13 = -5*f - i for f.
-4
Suppose l - 10*m = -6*m + 18, 4*l - 36 = 4*m. Solve -l = -2*s + 2 for s.
4
Suppose 3 = 3*y - 9. Let o(k) = -k**2 + 5*k + 1. Let c be o(y). Solve -5*t = 15 + c for t.
-4
Suppose 12 + 3 = 3*s. Suppose 4*o + 2*i = s*i + 17, -4*i - 12 = 0. Solve -d - 4 = -o*d for d.
4
Let u be -1 + (-16)/(-2) + -2. Solve -5*s - u = -20 for s.
3
Let o be (1/3)/((-1)/(-51)). Suppose -3*a + 7 = -o. Let u(q) = -q**3 + 14*q**2 - 12*q - 9. Let w be u(13). Solve 0 = -3*h - w - a for h.
-4
Let n(h) = 2*h**2 + 8*h + 1. Let m(v) = -v**2 + 1. Let i(w) = -m(w) - n(w). Let l be i(-7). Let z = 6 - l. Solve z = -g - 3 for g.
-4
Let h be 38/8 + (-4)/(-16). Let p = -379 + 382. Solve -p*v - 2 = -h*v for v.
1
Let c = -1 + 3. Suppose q + z = -0*z, c*q = 3*z. Solve q = s - 1 + 4 for s.
-3
Suppose 1 + 4 = j. Suppose 0 = j*n - 14 + 4. Let v be (-2 - (-2)/2)*-1. Solve -n*l - v = -l for l.
-1
Suppose 0 = 5*j - 2*a - 12, 3*a = 4*j - 0*j - 11. Solve 5 = -j*i - 3 for i.
-4
Suppose -o + 17 - 4 = 3*r, 5*r - 35 = -5*o. Suppose 0*u - 60 = -5*u. Suppose 0 = -0*a + a + 2*t - 6, -4*t = r*a - u. Solve -2*d - 2*d - 4 = a for d.
-1
Let t be 1*(3/(-3) + 0). Let j = 4 - t. Solve -j*y - 10 = -0 for y.
-2
Let a be (-10)/(-25)*(3 - -2). Solve 2 = a*t - 8 for t.
5
Let f = 11 - 11. Let r = f - -4. Solve -t - r*t = 0 for t.
0
Suppose 6*k - 60 = 3*k. Suppose -2*c + w - 4 = 0, 0 = 2*c + 2*c + 5*w - k. Suppose 2*f + 26 = 4*q, -3*q = -4*f + 6*f - 9. Solve c*t = -t + q for t.
5
Let r(i) = -13*i - 1. Let f be r(-1). Suppose 4*c = 16, -2*m = -7*m + 2*c + f. Suppose 3*a - 19 = -m. Solve -20 = a*s - 0*s for s.
-4
Let t = -8 - -13. Suppose 4*v + 5*a - 27 = 0, t*v + 4*a - 37 + 10 = 0. Solve -3*z - v + 9 = 0 for z.
2
Let d = 2 - 0. Solve 0*c = -d*c for c.
0
Let z be ((-8)/(-12) - 0)*12. Solve 4*b - z = 12 for b.
5
Let k = -171 - -171. Solve k = -4*n + 7*n - 15 for n.
5
Let x = -1 + 4. Let r = 3 + x. Solve -2*m + 0*m + r = 0 for m.
3
Suppose 4*b = -20, 0 = -5*a + b + 2*b + 35. Let p = a + -4. Let o(v) = -v**3. Let k be o(p). Solve k*q - 3*q + 12 = 0 for q.
4
Suppose -3*v + 38 = 5*s, -2*s + 27 = 2*s - v. Let p = 11 - s. Suppose 4*h = -p*j, j + 3*j - 2*h = 6. Solve 4*o + 5 = j for o.
-1
Let x(a) = 6*a - 6. Let r(k) = -k**3 + 8*k**2 + k - 3. Let z be r(8). Let j be x(z). Suppose -3*p = -7*p + j. Solve 0 = -5*d - 16 + p for d.
-2
Suppose 0*l - 6 = -2*l. Suppose -l*d + 4 + 0 = 4*j, -5*d - 4*j + 4 = 0. Suppose 3*n + 3*z - 1 - 2 = 0, 3*n = -z + 7. Solve d = n*t + 2*t - 10 for t.
2
Let g(q) = 37*q - 1. Let r be g(1). Let j be 2/8 - (-27)/r. Solve -3*p + j - 4 = 0 for p.
-1
Suppose 2*k + 4*q - 10 = 0, 0*q + 4*q - 8 = 0. Let l be (1*6/k)/2. Solve 2*s = s - l for s.
-3
Suppose 2*h + 8*h - 20 = 0. Solve 5 = -h*o - 1 for o.
-3
Suppose 4*w + 0*w - 3*g = 17, 6 = -3*w - 4*g. Let q = 2 - w. Let x(c) = -c + 1. Let l be x(-1). Solve -o - l + 5 = q for o.
3
Suppose -3 = 2*c - 7. Solve c - 1 = j for j.
1
Suppose 2*p + 4*i - 16 = -p, -5*p + 16 = 4*i. Suppose 4 = 3*q - p*b - 5*b, b = -5*q + 16. Solve -5*w + 2 = -q for w.
1
Suppose -2*r = -6 + 4. Solve -o - r = -0*o for o.
-1
Let y(b) be the second derivative of -b**4/12 + b**3/6 + b**2 - b. Let v be y(2). Suppose -2*f + 6*f - 16 = v. Solve 1 - 9 = -f*i for i.
2
Let q = -20 - -2. Let y be (-8)/(-36) - 50/q. Solve -y*n + 7*n + 16 = 0 for n.
-4
Suppose -5*o - 15 - 3 = -4*y, 9 = -3*y. Let t be o/(-1)*(-1)/(-2). Solve 2*d + t*d - 10 = 0 for d.
2
Let q(h) = -3*h**2 - 1 + 4*h**2 - 7*h - 5*h**2 + 3*h**2. Let d be q(-6). Suppose 0 = -8*b + 3*b + 15, 5*j + 3*b = 29. Solve -1 = d*v + j for v.
-1
Suppose -4*i = 5*c - 25, 4*c + 0 = -12. Solve 2*n - i = -0*n for n.
5
Let m be (-6 + 7/(-28))*2*-2. Suppose -5*b - 41 = -4*f, -4*b + 8 = -5*f + 48. Solve -f*l = -m + 5 for l.
5
Let d(a) = 6*a - 2. Let t be d(3). Suppose 3*p - t = -7. Solve n + p*n = -16 for n.
-4
Suppose 5 = c + 2. Solve -2*j + 5 = c for j.
1
Let l(w) = -2*w**2 + 4*w + 4. Let z be l(4). Let c be (-3)/z + (-11)/(-4). Solve -c*t - 1 = -10 for t.
3
Let n = -4 - 13. Let l = -11 - n. Suppose 2*t + 5 = 5*r, -r + 5*t - 16 = l. Solve -r*j + 8 = j for j.
2
Suppose 10 = -0*o + 2*o, 3*x - 5*o + 13 = 0. Solve -g - x = -2*g for g.
4
Let q be 2 + 2 - (-8)/4. Solve h = q*h for h.
0
Let j(y) = -y**3 + 8*y**2 + 9*y + 3. Let q be j(9). Let z(v) = 4*v**2 - 2*v**3 - 6*v + 0*v**3 + 3*v**3 - q. Let u be z(-5). Solve u = -r - 1 for r.
-3
Let h(x) = -6 + x**2 + 0*x**2 - 2*x + 0*x**2. Let i be h(5). Solve -3*v - 6 = i for v.
-5
Suppose 2*s - 5 = 3. Suppose 4*j + 4*l - 11 = 1, l = -s. Solve -3*i + 8 = -j for i.
5
Suppose 0 = -5*y - 5, -9 = -5*h - 2*y + y. Suppose -v = -h*v. Solve -4*k - k - 5 = v for k.
-1
Let y(j) = -j**2 + 11*j + 5. Let c(q) = -q**2 + 6*q + 3. Let l(t) = -7*c(t) + 4*y(t). Let n be l(1). Solve -n*o + 3*o = 0 for o.
0
Let u(r) = r**2 + 4*r - 1. Let g be u(-5). Let x = 23 + -23. Solve -4*d = -g - x for d.
1
Suppose 27 = 4*x - 3*y, x - 4*y - 12 = 11. Let t be ((-2)/x)/((-2)/12). Suppose -28*w - 32 = -32*w. Solve 0*i - t*i + w = 0 for i.
2
Suppose -3*i - 6 = 3*r, -4 = -i - 4*r - 21. Let m be (i/(-2))/((-3)/4). Solve -m*f - 4 = -0 for f.
-2
Suppose 0 = 2*c - 0*c - 8. Solve -c*w = -7*w + 6 for w.
2
Suppose 3*q - 7 - 5 = 0. Suppose 0 = -5*v + n, q*v - 2*n + 6 = -0*n. Suppose f - v - 1 = 0. Solve -3*g - 5 = f*g for g.
-1
Let v = 7 + -2. Suppose 0 = v*r - 37 - 8. Solve 4*p + 1 = r for p.
2
Let z(b) = -b**3 + 10*b**2 - b + 13. Let t(l) = -5*l. Let j be t(-2). Let x be z(j). Solve -x*d + 3 = -4*d for d.
-3
Suppose -3*t - 4 = 4*l, 0 = -4*t - t - 20. Solve -5*g - l = -7 for g.
1
Suppose 0 = 3*k + 5 - 29. Solve -n = n - k for n.
4
Let y(q) = q**2 + q + 2. Let s be y(-3). Let z = s - 4. Solve -z*a = a for a.
0
Suppose -b - 2*b = 0. Supp