. Let y = -3 - -6. Solve -y*o - c = w for o.
-4
Let l be 2/(-4) - (-10)/4. Suppose 0 = 4*v + 10 + l. Let z be 1/1 - 3/v. Solve 4*h = 2*h - z for h.
-1
Suppose -12 = -3*v + 5*f + 7, -4*v - 5*f = -2. Solve -v*b = -b for b.
0
Suppose -z + 5 = -11. Solve 3*p + z = -p for p.
-4
Suppose 2*v = -6, -5*d + 29 = -3*v - 5. Solve 1 = -4*u + d for u.
1
Suppose -3*r = 5*w + 34, 0 = 2*r + 2*r + 12. Let b be (-3)/(((-5)/(-2))/w). Solve b + 6 = 3*z for z.
4
Let v(y) = y**3 + 5*y**2 + 3*y. Let m be v(-3). Suppose -9 = -3*a + m. Solve a*s - 3*s + 15 = 0 for s.
-5
Let y be 4/6 - 7/(-3). Let k(a) = a**3 - 10*a**2 + 10*a - 7. Let w be k(9). Solve -g - w = y for g.
-5
Suppose -20 = -5*i + i. Suppose -i*a + 10 = -5. Let s be (-9)/(-3) - (-15)/a. Solve 0 = -3*o - s + 23 for o.
5
Suppose 2*r = 6*r. Suppose -5*n + 20 = r, 7*n = -2*k + 2*n + 28. Solve 0 = -2*i + i - k for i.
-4
Let l be (4 + (-8 - -4))/(-1). Solve b + 4*b + 20 = l for b.
-4
Suppose -4*h + 4*p - 3 = -h, -2 = 2*h - 5*p. Let r = 1 - h. Solve 0 = -r*u - 0*u + 4 for u.
2
Let l(i) = 3*i + 1. Let a be l(1). Solve -2 = 5*b - a*b for b.
-2
Let p(d) = d**2 + 11*d + 6. Let i be p(-11). Solve 0 = 2*w - 5*w - i for w.
-2
Let k be 6/21 + 96/7. Let y = 28 - k. Suppose 0 = -3*l - 2*v + y, l - 5*v + 17 = 4*l. Solve 0 = l*h - 9*h for h.
0
Let t(j) = j**3 - 2*j**2 - 2*j - 3. Let c(k) = -k**3 + 4*k**2 + 5*k + 3. Let l be c(5). Let n be t(l). Solve n = 3*a - a + 6 for a.
-3
Let y = 0 - 0. Suppose 6 = -2*p + 4*p - 2*m, -5*p + 12 = -4*m. Suppose p = -y*z + z. Solve 2*i + 4 = -z*i for i.
-2
Suppose 2*g + 4 = -4*m, 0 = -m + 2*g + g + 6. Solve m = -2*w - 0 + 6 for w.
3
Let o(g) = g**3 + 5*g**2 - 7*g + 5. Let f be o(-6). Let u = f + -6. Suppose -7*b = -10*b + 30. Solve -u*w + b = -10 for w.
4
Suppose 3*b + b - 20 = 0. Suppose -g = 4*c, -2*c = -3*g - b*c. Solve g = 2*f + 3*f for f.
0
Suppose 5*y + 22 = d, 0 = -2*y - 6. Let m(v) = -v**2 - 33*v + 112. Let w be m(-36). Solve r - d = -w for r.
3
Let g(q) = q - 5. Let m be g(8). Let p = m + 1. Suppose p*b = -b. Solve b = l - 4 for l.
4
Let b be (6/2)/6*0. Solve b = 3*i - 6 - 6 for i.
4
Suppose 0 = y + 5*j - 40, y = -j + 5*j - 5. Solve 0*d - y = 3*d for d.
-5
Suppose 1 = -2*v - 3, 5*x + 2*v - 76 = 0. Let w = x - 11. Suppose 0 = -10*i + w*i. Solve 0 = -3*j - i*j + 3 for j.
1
Suppose 4*d + 5*l - 51 = 0, -5 - 11 = -d + 2*l. Suppose 0 = -3*n + 5*n - 4*u - d, -4*n = -u - 14. Solve n = 4*q - 5 for q.
2
Let y = -48 + 52. Solve -1 = -y*p - 5 for p.
-1
Let q = 5 + -1. Suppose l + 23 - 3 = 2*k, -q*l - 32 = -2*k. Solve 2*b + 0 = -k for b.
-4
Let k = 5 - 2. Solve 2*p + k*p = 0 for p.
0
Let q be (12/(-16))/((-2)/8). Let d be 3 + 3 - -2 - q. Solve d = -0*j + j for j.
5
Let n = 140 - 119. Solve 5*l + n + 4 = 0 for l.
-5
Let i be 1/(-4*(-4)/32). Solve -7*f + i*f - 10 = 0 for f.
-2
Suppose 7*z - 3*z = 3*y + 47, 0 = 2*z - 3*y - 25. Suppose 0 = m + 2 - 5. Let j be (-4)/(5 - m) - -3. Solve z - j = 5*s for s.
2
Let m(u) = u**3 + 18*u**2 - 20*u - 11. Let i be m(-19). Solve -i = -f + 5*f for f.
-2
Let d be 5 + -9 - (-8)/2. Solve -2*v + 2 + 6 = d for v.
4
Let s = -7 - -4. Let z(l) be the second derivative of -l**3/6 - 2*l. Let c be z(s). Solve 1 = -4*w - c for w.
-1
Let p(b) = -b - 6. Let z be p(-5). Let u be (-4 - -14) + z*2. Suppose 0 = 2*d - u. Solve -d = -4*c - 0 for c.
1
Let o(a) be the first derivative of -a**4/24 + 11*a**3/6 + a**2/2 - 3. Let r(y) be the second derivative of o(y). Let n be r(9). Solve -4 = -n*p + 2 for p.
3
Let m = 81 + -77. Solve i - m = -i for i.
2
Let n be (-4)/6 - 5/15. Let u = n - -2. Solve 4*r - 9 + u = 0 for r.
2
Suppose 12 = 3*x + x. Suppose 7 = x*c - 8. Let b = 1 + 0. Solve 4*l + c = b for l.
-1
Let x be 8*1/(2/4). Solve -x = 5*s + 4 for s.
-4
Suppose 0*b + 3*b = 12. Suppose -2*z = -0 - b. Suppose -4*y + 5*c - 3 = 7, y + 5*c - 10 = 0. Solve -2*o + 3*o - z = y for o.
2
Suppose -4 + 24 = 5*z - 5*y, -5*z = -y - 36. Solve -p + z = 3*p for p.
2
Let d = 30 - 20. Let i be d/3 + 2/3. Suppose 3*w + 0*w + 6 = -3*x, -i*x - 2*w = 0. Solve 2*a - 8 = -x*a for a.
2
Let i(u) = u**2 - 8*u + 4. Let l be i(7). Suppose 8*z - 4*z = 16. Let x = l + z. Solve 0 = y - 0 - x for y.
1
Let b be 4/18 + 48/27. Let n(p) = p**3 - 9*p**2 + 8*p + 2. Let d be n(8). Solve d*s - 16 = -b*s for s.
4
Let c = -28 + 28. Solve a - 3 + 2 = c for a.
1
Suppose 5*s - 8*s = 0. Solve 2*y = -s*y for y.
0
Let m be (-1)/(-2)*(-1 + 1). Suppose -r - 3 + 5 = m. Solve 0 = r*i - 6*i for i.
0
Let h(d) = -d + 5. Let w be h(0). Let k(f) = -f**3 + 7*f**2 - 4*f - 7. Let q be k(6). Let o be q/(-10)*(-8)/2. Solve o*g = -3*g + w for g.
1
Let q be (10/6 - 0) + (-2)/3. Solve 4*c + 3 = -q for c.
-1
Suppose 6*l - 18 - 6 = 0. Suppose 4*r - 12 = -l. Solve y = r*y for y.
0
Let r(l) = -l**2 - 14*l - 21. Let x be r(-12). Solve z - x = 2 for z.
5
Let g(n) = 4*n - 5. Let m be g(2). Solve 3*o + 0 = -m for o.
-1
Let n(j) = 4*j**2 + 3*j - 1. Let i be n(-3). Suppose -u = 1 - i. Solve -5*m = -10*m + u for m.
5
Let s(v) = -v. Let u be s(5). Let k(m) = -2*m - 7. Let q be k(u). Suppose 0 = -7*f + q*f + 12. Solve -w + 4*w - f = 0 for w.
1
Suppose -3 = 6*f - 5*f. Let g be 1*(-1 + 0)*-2. Let k be 2 + f + 1 + g. Solve -k*s + 5 - 3 = 0 for s.
1
Let w = -3 + 3. Suppose 0 = 2*d - w*d. Solve d = -2*k - 3*k for k.
0
Let u(d) = -d**2 - 1. Let n(g) = 4*g**2 + 4*g. Let p(x) = -n(x) - 3*u(x). Let t be p(5). Let o = -20 - t. Solve -5*q - o = -7 for q.
-3
Let j be (-1)/4 + (-2)/(-8). Let n = 45 - 25. Suppose -w + 6 = 4*h, 4*h - n = -h + 5*w. Solve -4*u + h*u = j for u.
0
Let l = 16 - 7. Let f = 4 - 3. Let g be 1/(-1)*-1 - f. Solve -4*c - 7 - l = g for c.
-4
Suppose -4*x + 3*x + 5 = 0. Let y = 0 - -4. Suppose -5*s - i - y = i, 2*i + 4 = 4*s. Solve s = -u + x*u - 4 for u.
1
Suppose 0 = -3*n - t + 1, 3*n = -3*t + 5 - 2. Solve 0*l + 2*l + 6 = n for l.
-3
Let j be (-7 + 4 + 3)*-1. Solve -4 = 2*r - j for r.
-2
Suppose 2*x = 3*x - 3. Let w be 0/(-6*x/(-6)). Solve 3*z + w - 3 = 0 for z.
1
Let y(u) = -u**3 + 8*u**2 - 9*u - 4. Let w = 11 + -4. Let p be y(w). Let x be 2/(-6) + (-6)/p. Solve -2*b - 1 + 5 = x for b.
2
Suppose t + 5 = -4*n, -4*t + 4*n - 2*n = -34. Suppose t*j - 4*j - 30 = 0. Suppose x - 9 = -3*h, -h - j = -2*h + 2*x. Solve -a = -h*a for a.
0
Let o be -1*5*4/(-10). Suppose -9 = 2*p - m, -6*p - 10 = -3*p + 2*m. Let f = -3 - p. Solve f = b - o*b for b.
-1
Suppose -2*q - 2 = -2*o - 3*q, -3*o - 3 = 3*q. Solve 2 - o = i for i.
-1
Let a(x) = -x**2 + 6*x - 3. Let i be a(4). Suppose -y = -i*p + 13, 10*y - 5*y = -p + 13. Solve y*w = 6*w + 8 for w.
-2
Let n = 19 + -20. Let p = n - -3. Solve 0 = o + p*o - 6 for o.
2
Let y = 2 - -8. Solve 8*h - 13*h - y = 0 for h.
-2
Let v = -7 - -7. Solve v*j = j for j.
0
Let k = 23 - 15. Solve k = n + n for n.
4
Suppose 3*b = 2*b. Suppose -2*y + 5*g + 10 + b = 0, 2*g + 4 = 0. Let k = 3 + y. Solve f - 12 = -k*f for f.
3
Let f = 3 - 3. Suppose -a + 0*a = f. Solve a = -2*x + 3*x for x.
0
Suppose 4*m + 2*b = 6, -3*m - m + 5*b + 27 = 0. Solve m*c = -4 - 2 for c.
-2
Let m be (10/(-3))/(12/(-18)). Suppose m*k - 10 = -s, 2*s + 4*k - 2*k = 12. Suppose 10 = s*z - 15. Solve -z*c - 24 - 1 = 0 for c.
-5
Suppose 2*l = -3*l - 25, 0 = -f + 4*l + 24. Solve f*k + 8 = -0*k for k.
-2
Let b be ((-1)/(-2))/(3/12). Suppose 0 = -5*t - 2*a + 21, 2*t + 2*a - 2 = -b*a. Solve t*n = n for n.
0
Let o(j) = -2*j + 7. Let y be o(5). Let l be 1 - -3 - (5 + y). Solve -c = l*c for c.
0
Let k(g) = -3*g - 3. Let a be k(-6). Solve -3*w + a = -0*w for w.
5
Suppose 2 = 4*s - 14. Let w be 6*3/8*s. Solve 0 = 5*r + 1 + w for r.
-2
Let t(l) = -2*l - 2. Let f be t(-2). Suppose -f*u + 3*u = 0. Solve 3*w + 9 + 0 = u for w.
-3
Let k be (-2 - (-8 - 0)) + 0. Suppose 3*a = -4*c + 14, -3*c = 5*a - a - 14. Suppose c*r = -r + j + 12, -5*r + 18 = -j. Solve -r*s = -s + k for s.
-3
Suppose 4*y = -3*h - 9, 0*h + 4*h + 5*y = -11. Solve -2*p - h - 3 = 0 for p.
-2
Suppose 0 = -0*c + 4*c. Let w be 80/14 - 2/(-7). Solve w*d - 2*d = c for d.
0
Let b be (4 + -5)/(2/(-10)). Let v = 5 - b. Solve -2*m + 7*m - 15 = v for m.
3
Let p(q) = -q**2 + 5*q - 4. Let a be p(7). Let k be a/(-4) + 3/6. Solve k*v - 2 = 3*v for v.
1
Let l(t) = t**3 + 3*t**2 - 3*t - 4. Let z be l(-3). Let h = -2 + z. Suppose 0 = -m + 5*m - h*b - 10, -4*b = -2*m. Solve 0*s = m*s for s.
0
Let i be (0 + (-4)/(-1))*4. Suppose 0*k + 4*k - 4 = 0. Supp