or c.
0
Let h(l) = l - 12. Let r be h(9). Let u = r + 11. Suppose 3*y = 2*y + u. Solve -m = m - y for m.
4
Suppose -3*c - c + 45 = 5*s, -3*c + 5*s - 10 = 0. Suppose c*t = -3 + 13. Suppose -4*z + 22 - 6 = 0. Solve t*o - 6 = z*o for o.
-3
Suppose 0 = 2*g - 3*g. Suppose g = -4*y + 7 + 9. Suppose 2*b = 4*b - y. Solve 0 = j + j - b for j.
1
Let i(r) = -r**3 - 8*r**2 + 11*r + 19. Let s = -11 + 2. Let b be i(s). Solve b = -n + 4 for n.
3
Suppose -2*b = -b + 4. Let h = b - -9. Solve 0 = -h*y + 2*y + 12 for y.
4
Let a = -133 + 186. Let y = a + -38. Solve -3*u + 0 = -y for u.
5
Let h(b) = -b**3 - 11*b**2 - 11*b - 10. Let j be h(-10). Solve -3*o + j = -3 for o.
1
Let g = 13 + -12. Suppose -b + 0 = 4*a + g, 0 = -5*a - 3*b - 10. Solve -u + 0*u = a for u.
-1
Let f = 156 - 156. Solve f*z - 5 = -5*z for z.
1
Suppose 38*d - 33*d = 0. Solve d = -y + 3*y for y.
0
Let t = 75 + -69. Solve b + 5 - t = 0 for b.
1
Let z = -9 + 11. Solve z*c = -3*c for c.
0
Let u = -2 - -7. Suppose -5*f = l - 10, -u*l + 3*l = -2*f - 44. Solve -l = 3*y - 8*y for y.
4
Suppose 0*k - k = -13. Suppose k*f = 17*f. Solve 0 = 3*h - f*h + 3 for h.
-1
Let m(q) = 11*q**2 - q + 1. Suppose 0 - 2 = -2*x. Let t be m(x). Suppose 0 = -3*w + 2*w + t. Solve -5*l + 4 = -w for l.
3
Let t(z) = 2*z**2 - 2*z - 1. Let d be t(-1). Let u be (-100)/(-7) - (-4)/(-14). Let q be (u/6)/(1/3). Solve l + d = q for l.
4
Let w = -14 + 36. Suppose -3*y = o + y + 7, -5*o = y - w. Solve -o*g = -0 + 10 for g.
-2
Suppose 0 = -r - 5*p + 7 - 32, 0 = -r + 5*p + 25. Solve 3*g + 0*g - 15 = r for g.
5
Let i = 7 + -3. Suppose 0*m + m = 0. Let n = m + 0. Solve 3*w - 5*w - i = n for w.
-2
Suppose -63*l + 64*l - 4 = 0. Solve l*c - 2*c + 4 = 0 for c.
-2
Let u(x) = 5*x - 1. Let v be u(1). Suppose -v*f + 5 = -3. Solve -f*o = -0*o + 8 for o.
-4
Let t be -4 + -1*(-2 + 0). Let w be (2/7)/(t/(-28)). Solve -i = -w*i for i.
0
Let g(a) = 8*a + 2. Let z be g(1). Solve o = -o + z for o.
5
Let v be -1 + 2/((-4)/(-2)). Suppose -4*u + u - 3*i = -12, v = -u - 5*i + 12. Suppose -3*g = 5*j + 2*g - 45, -u*j - g = -18. Solve -11 = 4*l + j for l.
-5
Suppose -4*u - 2*f + 23 = u, 0 = 2*u + 5*f - 26. Solve 4*y = u*y - 5 for y.
-5
Suppose 0 = m - 3*m + 10. Let k = 23 - 19. Suppose 2*x = 3*x + k*h + 4, -4*x = -5*h - m. Solve 2*o + 0*o + 2 = x for o.
-1
Suppose -14 = -y + 5*b, 3*y + 2 = 2*y - 3*b. Solve m + 9 = y*m for m.
3
Let g(s) = 4 - 3 + 0*s + 2*s - 5*s. Let o be g(3). Let t = -7 - o. Solve -2 = y + t for y.
-3
Suppose 4*z - 3 = 9. Solve 0 = -z*p - 2*p + 25 for p.
5
Suppose 5*g = 4*g + 3. Suppose -j - 2*f - f = 0, g*j + 4*f = 5. Solve 0 = p + j + 2 for p.
-5
Let l(y) = y**2 - 3*y - 2. Let n be l(4). Let u(r) = -r**3 - r**2 + 1. Let g be u(-2). Suppose -11 = g*c - 1, 3*z = -n*c - 4. Solve -i - 1 = -z for i.
-1
Suppose 5*d - 1 = -q, 0 = -q + 4 - 3. Suppose 4*b - 20 = -d*b. Solve -20 - b = -5*n for n.
5
Let y be (4 - (-28)/(-3))/((-4)/6). Let m = -26 + 10. Let x be (-12)/8*m/6. Solve -x*a + y = -0*a for a.
2
Suppose 0 = p - 18 - 2. Let m = -34 - -37. Solve v = -m*v - p for v.
-5
Let o be (1 - 5)/(4/(-2)). Solve -4*i + 2*i + o = 0 for i.
1
Let j(s) = 2*s - 3. Let m(l) = l - 1. Let w(y) = -4*j(y) + 9*m(y). Let a be w(-3). Suppose 0 = 4*k - 2*k. Solve a = 2*g - 6 - k for g.
3
Let w(h) = 2*h**2 - 11*h + 8. Let v be w(5). Solve -k + 0 + v = 0 for k.
3
Suppose 0*w = -w. Let f be -2 + 9/4 + (-1)/4. Solve w*z + z = f for z.
0
Let y = -52 - -56. Solve 0 = -2*u + y + 4 for u.
4
Let a(p) = -p**3 - 9*p**2 - 10*p - 2. Let f be a(-8). Let v = f + -11. Solve -5*z + 4 = -v*z for z.
2
Let j = 20 + -17. Suppose z + 5*d + 0 + j = 0, 0 = z - 3*d - 21. Solve 0 = 4*g - z + 32 for g.
-5
Suppose -2 + 14 = y. Solve r = 5*r - y for r.
3
Suppose -5*s + 9 = -2*s. Suppose 0*x = -s*x. Solve x*q - 5*q + 25 = 0 for q.
5
Let g(i) = i + 2. Suppose -8 - 8 = -4*w. Suppose -5*t + 0 = -10, -t - w = 3*n. Let k be g(n). Solve k - 8 = -2*a for a.
4
Let s be 160/72 + 6/(-27). Solve 2 = -2*l - s for l.
-2
Let a(y) = 2*y**2 - 2*y - 2. Let c(h) = h**2 - h - 1. Let m(z) = -2*a(z) + 5*c(z). Let q be m(-1). Solve -5*i = q + 4 for i.
-1
Let r = -6 + 4. Let a be 2 + (r - (0 - 0)). Solve a*y - 3 = 3*y for y.
-1
Let i(h) = 4*h - 2. Let j be i(-3). Let s be (-32)/j - (-8)/(-28). Solve 0 = 4*q - 3*q - s for q.
2
Let h = 8 + -7. Suppose -15 = -4*m + h. Solve -4*b + m + 0 = 0 for b.
1
Let y = 18 + -4. Suppose -k = -4, -h + 4*k - y = -0*k. Solve 3*w - h*w = 5 for w.
5
Let i = -8 + 14. Suppose i*z = z. Let s be (-2)/6 - (-100)/12. Solve s = -2*b - z*b for b.
-4
Let h(p) = -7*p + 11. Let x be h(-2). Solve -6*r = -r - x for r.
5
Let k(g) be the first derivative of g**3/3 + g**2/2 - g + 2. Let f be k(-4). Let c = f + -8. Solve -c*i = i for i.
0
Suppose -2*t + 2 = -t. Suppose 2*v = -0*v + 2. Suppose v = -i + 5. Solve j = t*j + i for j.
-4
Let u(m) = -m**3 - 9*m**2 - 8*m + 6. Let o be u(-8). Solve 2 - o = x for x.
-4
Let r be 1/((-3)/(-30) - 4/(-10)). Solve 0 = r*a + a - 12 for a.
4
Let d = 11 - 8. Let p(i) = i - 5 + d - i**2 - 10*i + 0. Let z be p(-8). Solve -3*x - 18 = -z for x.
-4
Let z be (42/(-4))/((-6)/(-8)). Let f = -8 - z. Let w(u) = -u**3 + 6*u**2 + 5. Let h be w(f). Solve 2*x = h - 11 for x.
-3
Suppose -q + 5*q + v - 6 = 0, 5*v = -10. Suppose 15 = -2*l + 5*g, -q*l = 7*g - 2*g - 15. Solve f - 2*f + 4 = l for f.
4
Let u(b) = -b**3 - 4*b**2 + 5*b + 5. Let g be u(-5). Suppose -7*n = -g*n. Solve r + 2*r = n for r.
0
Suppose 3*f = -5 - 1. Let t = 5 + f. Solve -t = -5*d + 2*d for d.
1
Suppose 7*a = 3*a + 8. Let p(v) = v**2 + 2*v + 1. Let g be p(-1). Solve g = -o + a*o for o.
0
Let v = -9 + 12. Suppose -2*z = -6*z + 2*n + 20, -v*z - 7 = 4*n. Solve 0 = z*c + c for c.
0
Let w = 6 + -1. Solve 0*c + 15 = -w*c for c.
-3
Let u be (-50)/(-4)*(-140)/(-25). Let n = -50 + u. Solve 3*l = 7*l - n for l.
5
Suppose 0 = -5*l - 4*i - 11, -3*i + 7*i = -16. Suppose f - 4 = -l. Solve f*u - 4 = 2*u for u.
4
Let o(n) = -7 + 6 - 1 + 2*n. Let d be o(3). Solve -d = -v + 1 for v.
5
Let m be (-21)/(-28)*5/((-10)/(-8)). Solve 0*c - m*c - 3 = 0 for c.
-1
Let p be 12/6 + 4/2. Solve 12 + 4 = -p*k for k.
-4
Suppose -35*y + 37*y = 4. Solve 0*a - y*a + 2 = 0 for a.
1
Let w = 15 - 9. Let i = w - 6. Solve -4*g = -i*g for g.
0
Suppose -5*s = 2*h - 19 - 1, 0 = -4*s + 8. Solve -2*k - 9 = -h*k for k.
3
Suppose -4*m + 3*m = -39. Let r = m - 21. Let d be r/(-1)*(-7)/21. Solve 2*i - d = 4*i for i.
-3
Suppose -v + 2*r = 1 + 4, v = -4*r + 19. Solve 8*s = v*s for s.
0
Suppose -5*t - 10 = -0*t. Let n = t + 8. Solve -3*z = 3 - n for z.
1
Let t(z) = 14 - 5*z + 4*z - 12*z + z**2. Let b be t(12). Solve 0*m - 4 = -b*m for m.
2
Let n = 1 - -2. Let q(w) = w**2 - 4*w + 3. Let l be q(n). Solve l*c - 10 = 2*c for c.
-5
Suppose 3*q = -38 + 44. Let l be 2*-1*5/(-2). Solve 3 = -q*o - l for o.
-4
Let k = -10 + 16. Let n(a) = -3*a**2 + 3. Let g be n(3). Let y = 1 - g. Solve s - k*s = -y for s.
5
Suppose 3*c = -u - 2 + 15, 5*u = -10. Suppose -c*q + 28 = -12. Solve 2 - q = 2*h for h.
-3
Suppose 2*c - 6*c + 3*l + 63 = 0, -c = l - 21. Solve 0 = 4*g - c + 2 for g.
4
Let l(n) = n**3 + 5*n**2 + n + 7. Let y be l(-5). Solve -y*t + 6 = 14 for t.
-4
Let y = -18 - -18. Let z be y*(-1 + 16/12). Solve -5*v + z*v = -10 for v.
2
Let l be (-1)/(-1 - 0) + -1. Let i be (l + 0 + 0)/2. Solve i*f - 1 = f for f.
-1
Let s be 2 - (0 - (0 - -1)). Let j be 16/24 + 4/s. Solve -2 = -l + j*l for l.
-2
Let a(x) = -62*x + 4. Let w(p) = -p + 1. Let z(s) = -a(s) + 3*w(s). Let b be z(-1). Let g be (-4)/10 - b/25. Solve 0 = g*o - 7*o for o.
0
Let r(p) = p**2 + 2. Let n be r(3). Let g(m) = m**3 - 4*m**2 - 4*m + 6. Let f be g(5). Let h = n - f. Solve 2*a = -h*a + 2 for a.
1
Suppose -4*h + 4 = -t - 5, h + 3 = 2*t. Suppose h*k + 6 = 0, 3*v + 3*k + 22 = 7*v. Solve v*d + 3 = 3*d for d.
-3
Suppose -7*n + 3*n = 92. Let d = n + 33. Solve d = 5*a - 3*a for a.
5
Suppose 2*r - 3*a - 5 = -0*r, -1 = -r + 3*a. Let u(v) = 13*v + 13 + 3 - 14*v. Let w be u(15). Solve i = -r + w for i.
-3
Suppose 0 = -5*s + 63 + 12. Suppose -4*b + 5 = -s. Suppose -5*w = -b*f + 5, 5*w - 15 = -6*f + f. Solve 0 = t - 0 + f for t.
-2
Let c be 2/(-4) - (-14)/4. Suppose 0 = -4*t + 2*i + 16, 2 + 2 = t + 3*i. Suppose -q - t = -c*q. Solve -q*u = u for u.
0
Let h(s) = -s**3 - 15*s**2 - 2*s - 11. Let g be h(-15). Solve -g - 6 = 5*v for v.
-5
Let n = -1 +