et x be (0 + 1)/(f - -4). Let t = -1 + x. Solve t = 4*a + 11 + 1 for a.
-3
Suppose 0 = 2*x + z - 7, 3*z = -2*x + 5*x + 12. Let k be (0 - -1)/(2/8). Let b(h) = -h**3 + 9*h**2 + h - 4. Let s be b(9). Solve -k*n - x = -s for n.
1
Let b be (-4)/6 + (-6)/(-9). Suppose -2*z = -b*z - 2*l - 66, -4*z - 5*l = -150. Suppose 0 = 3*x + 2*x - z. Solve x = -3*t - 8 for t.
-5
Suppose 4*r + 4*l = 0, 5*r - 4*l - 5 - 40 = 0. Suppose 4*x + 3*o - r = -x, x + 5*o = 1. Suppose 0 = k - 4 + x. Solve 2*p + k*p = -25 for p.
-5
Suppose 6*g + 12 = 8*g. Solve 0 = -5*k + 1 - g for k.
-1
Let q(g) be the first derivative of -g**3/3 - 3*g**2/2 + 3*g - 1. Let w be q(-3). Let n = -1 + w. Solve 0 = -3*x - n*x for x.
0
Suppose x = 4*k - 4, 0 = -4*k - 2*x + 6*x - 8. Solve h - 1 = -k for h.
-1
Suppose 5 = 3*b - 1. Suppose -5*y + 10 = -b*u, -u - y + 2 = 2*u. Solve -3*g + 2*g + 4 = u for g.
4
Suppose -2*l + 5*c = -34, -5 = 2*c - 1. Solve -4*b + 0 = l for b.
-3
Let a(l) = -2*l - 8. Let k be a(-5). Suppose 14 = 5*g - p + 4*p, k*p + 4 = 0. Solve 0 = -u - g*u - 10 for u.
-2
Suppose 1 = -b, -l - 2*b = l + 2. Let k be 0/(4/(-2) - l). Solve -s - s - 6 = k for s.
-3
Let x(p) = -3*p + 1. Let n be x(3). Let s be (n - -6)/((-4)/10). Let h(m) = -2*m + 26. Let z be h(12). Solve z*a = -1 - s for a.
-3
Let v(u) = -5 - u + 5. Let r be v(-2). Solve -r*w = -7*w - 5 for w.
-1
Let l be (-35)/(-10) + (-2)/4. Suppose -b + l*b = 0. Suppose -5*a = -5 - 15. Solve -a*w = -b*w + 8 for w.
-2
Let d(m) = m**2 - 5*m + 2. Let z(v) = 3*v - 1. Let o be z(2). Let t be d(o). Suppose -t*r + 3*r = 2*n + 2, 2*r - 5*n = 2. Solve -r*j + 5*j + 3 = 0 for j.
3
Let j be (-1 - 14/(-4))*-4. Let q = j + 1. Let i = q + 16. Solve 0 = 3*g - i*g - 16 for g.
-4
Let q(b) = -b**3 - 2*b**2 - b. Let s(k) = -k**2 + 4. Let f be s(3). Let p = -7 - f. Let i be q(p). Solve 0 = i*w - 3*w + 1 for w.
1
Suppose 13 = -3*l - 2, 2*p = l + 25. Solve -c + p = c for c.
5
Let t be 2 - ((-4)/(-2) + -10 + -6). Suppose -2*f = 3*g - 0 + 8, 0 = 3*g + 5*f + 20. Suppose -5*y + g*y + 10 = 0. Solve -y*l - 2*l = t for l.
-4
Let a = 2 - -4. Let z be (-7)/(-21)*0/1. Suppose a = -2*o - 2*u, 4*o + 17 = -5*u - z. Solve 0 = o*c + c + 9 for c.
-3
Let q(v) = -v**2 + 2*v. Let n be q(0). Let o = 62 - 43. Suppose -23 = -4*p - n*s - 3*s, -3*p - 4*s = -o. Solve 0 = -p*u + 6*u + 3 for u.
-3
Let n(b) = b - 3. Let o be n(8). Suppose o*t - 20 = -5. Solve -y + t = -2 for y.
5
Suppose 56 = -5*b + 3*b + 4*d, 3*b = d - 64. Let f = b - -48. Solve -f + 12 = -4*i for i.
4
Suppose 0 = -5*d + 20. Solve 0 = -7*h + d*h + 6 for h.
2
Suppose -2*m = 2*m - 20. Suppose -f = -3*y - 4*f + 18, -y + 10 = 2*f. Solve y*g + m = g for g.
-5
Let x = -7 - -7. Solve x = s - 5*s + 12 for s.
3
Suppose d - 4 = -3*u, 15 = 3*d + 5*u + 7. Suppose 3*q - 1 = 4*t - 15, t = 3*q + 8. Solve t*m + d = -9 for m.
-5
Let b(y) = 3*y**2 - 3 - y**3 + 5*y - y + 2*y. Suppose -s - u = -3*u - 12, 3*u = -3*s. Let c be b(s). Solve -2*h = -c*h + 6 for h.
2
Suppose 0 = -4*y + 5*g - 10*g + 26, 0 = 4*y - 5*g - 46. Let n = y + -6. Solve -n = -2*a + a for a.
3
Suppose m - 2*p = -2 + 1, 6 = 3*p. Let k(f) = f**2 + 5*f - 30. Let c be k(-9). Suppose 0 = 5*o + 2*l - 81, -3*l + 92 = 4*o + 23. Solve -o = m*h - c for h.
-3
Let v(q) = q**3 - 5*q**2 + q - 2. Let f be v(5). Suppose -10 = -f*t + 5*x, -5*x - 20 = -t - 4*t. Solve -2*r - 15 = -t for r.
-5
Suppose 0*f - 4 = f. Let w(x) = 2*x**2 - x + 2. Let q be w(2). Let z = f + q. Solve -m + 20 = z*m for m.
4
Suppose -3*u - 2*u - 3*d = -34, -d = -4*u + 34. Solve v + u = -3*v for v.
-2
Let x = 0 + 3. Let z be ((-4)/8)/(1/(-6)). Suppose x*a - 14 = -3*p - 5, 4*a = z*p + 12. Solve -2*q + 6*q = p for q.
0
Let v(y) = 14*y**2 - y. Let m be v(1). Let o = -8 + m. Let a be 0/2 + o + 0. Solve -a*b + 1 = -9 for b.
2
Let o(b) = -b + 11 + 0 - 1. Let l be o(8). Suppose -j - 5 = -l*j. Solve -7 = j*u + 3 for u.
-2
Let k = 0 + 1. Let i(s) = -s + 18*s**3 + 11*s**3 - 24*s**3 + 2*s**2. Let x be i(k). Solve x*c + 25 = c for c.
-5
Let b(f) = f**3 - 25*f**2 - 26*f + 5. Let s be b(26). Solve 0 = s*c - c - 16 for c.
4
Let c(d) = 2*d. Let v be c(1). Let o(i) = -i**2 + 4*i - 1. Let s be o(v). Solve s = 2*b - 1 for b.
2
Let n = -23 - -26. Let u(w) = w**2 + w - 2. Let y be u(-4). Solve -n*b + b = -y for b.
5
Let d = 3 - 1. Suppose 9*x + 4*g = 7*x + 30, 4*x - g = 33. Solve d*i = -i - x for i.
-3
Let w(q) = -3*q. Let s be w(-1). Solve s*n + 0*n = -6 for n.
-2
Let k be 7/(21/27) + 4*-1. Solve 4*f - 15 = k for f.
5
Let f be 4/12 + 2/(-6). Let z(w) = -w + 6. Let i be z(4). Solve -r = -f + i for r.
-2
Suppose 3*v = 0, 4*g + 0*v + 3*v - 12 = 0. Let y = g - 0. Let n = 9 - 6. Solve n*b - y = 9 for b.
4
Let j = 24 + -16. Suppose d + 1 = 6. Suppose -4*b + 2*s = -24, 0*b - d*s = -2*b + 4. Solve 5*t = b + j for t.
3
Let h be 2 + (-3)/(9/(-3)). Let c(p) = -2 - 5*p**h - 2*p**2 - p + 0*p + 6*p**3. Let v be c(3). Solve v*j + 4 = -8 for j.
-3
Let n(s) = s**3 + 20*s**2 - 19*s + 46. Let t be n(-21). Solve 0 = -3*m + 13 - t for m.
3
Suppose -22 = -3*a + h + 10, -3*h = -5*a + 48. Solve a = 2*n + 4 for n.
4
Let b = -2 - 0. Let n be (-2)/((1/b)/1). Solve 17 = n*w - 3 for w.
5
Suppose -2*g = 2 - 8. Let q be g + 3*3/(-9). Solve 0*x = -q*x - 2 for x.
-1
Let n be -4 + 9 + (-2 - -6). Solve -3*c + 3 = -n for c.
4
Let a(s) = s**2. Let g be a(-1). Solve 4*i - g = 3 for i.
1
Let b be 4 - 1 - 2/4*-2. Solve 0 = u - 3*u + b for u.
2
Suppose -3 = -6*f + 3*f + l, -5 = -5*f - 2*l. Suppose -2*b = -f - 27. Suppose 3*s - 7*s + 3*i + b = 0, -11 = -3*s + 2*i. Solve s*h - 3 = 2 for h.
1
Suppose 0*r - 3*r + 6 = 0. Solve r*x + 2*x = 12 for x.
3
Let j = 3 - -1. Suppose -j*a + 48 = -a. Solve 0*k + a = 4*k for k.
4
Suppose 5*m - 1 = d + 8, -5*m + 7 = -3*d. Suppose 3*u = 4 - 1. Suppose u = w - m. Solve -o + 4*o + w = 0 for o.
-1
Suppose 2*l - 8 = 4. Suppose -1 - l = -o. Suppose -o*h + 8 = -3*h. Solve 3*g - 4 = h for g.
2
Let y(j) = -j**2 - 9*j - 8. Let o be y(-6). Let p be o/(-2)*(-6)/(-15). Let g be (-10)/(-6) - p/(-3). Solve 0 = -3*m + 4 - g for m.
1
Let n be 1/4 + (-76)/(-16). Solve -4*x = -n*x for x.
0
Let u = -3 - -7. Let t be 3/(-5) - 32/5. Let c = -4 - t. Solve -u = -g - c*g for g.
1
Let f be (-2)/6 + (-78)/(-18). Suppose 3*x = f*x - 4. Solve 0 = -x*h + 3 - 15 for h.
-3
Let o(v) = -v**2 + 9*v - 6. Let j be o(8). Suppose -t - j*t = 0. Solve -2*i = -t*i + 6 for i.
-3
Let n = 22 - 20. Solve g - 3 = n for g.
5
Let d(k) = -k**3 + 5*k**2 + 2*k - 8. Let m be d(5). Let w be -2*(3 - m)*-2. Let x be (-88)/(-14) - (-2)/(-7). Solve 2*g - w = x*g for g.
-1
Let a(b) = -b**3 - 8*b**2 - 6*b + 7. Suppose 4*s - 32 = -0*s - 2*n, 0 = -4*n + 8. Let f be s/((-2 - 1)/3). Let o be a(f). Solve 2*m + o = -2 for m.
-1
Let k(l) = 2*l**3 - 10*l**2 + 2*l + 6. Let u be k(5). Solve -4*v = u + 4 for v.
-5
Suppose -15 = -4*c + 5. Suppose 21 = 4*k + c. Suppose -k*b + 8 = -0*b. Solve -b = q - 3 for q.
1
Let u(q) = -9*q + 65. Let n be u(7). Solve -n - 13 = 3*b for b.
-5
Let d be 3 - -1 - 0/6. Let b(y) = y + 13. Let a be b(-10). Solve a*k - d = -k for k.
1
Let u = 51 + -46. Solve u*d - d = 0 for d.
0
Let i be 100/(-6)*(-42)/(-35). Let o = -32 - i. Let j = -4 - o. Solve -n = -5*n - j for n.
-2
Let f = 6 - 11. Let s = f + 8. Suppose 5*l - 12 = s. Solve -r = l*r - 12 for r.
3
Suppose 33*l - 25*l = 32. Solve 5*f + l = -1 for f.
-1
Suppose -5*u + u = 0. Suppose -46 = -5*j + 49. Let h be (-7 - j)/(-2 + u). Solve 0 = 4*x - 3 - h for x.
4
Let d(a) = -a**2 + 3*a + 5. Let q be d(4). Solve -i = -2 - q for i.
3
Suppose 5*x + 9 - 4 = 0. Let p be 6*((-4)/12 - x). Solve 28 = -p*b + 8 for b.
-5
Let m(r) = r**3 - r**2 + 1. Let u be m(0). Let v be (-2)/12 - (-49)/42. Suppose -2*b = q - v - 4, 2*b = -3*q + 15. Solve b = -0*j - j - u for j.
-1
Suppose 83 = 5*c + 3. Let v = 26 - c. Solve -2*z + v - 2 = 0 for z.
4
Let o(w) = 11*w + 1. Let i be o(1). Suppose -i = l + 2*l. Let k = l + 5. Solve -k + 6 = 5*d for d.
1
Suppose -4*l - l + 70 = 0. Suppose -2 = -4*u - l. Let q be -1*-2*u/(-6). Solve 2*z - q = z for z.
1
Let l = 366 + -362. Suppose -2*r = -3*j + 4, 4*r + 7 = -4*j - 1. Let z = j - 0. Solve l*m + 23 - 7 = z for m.
-4
Let a(z) = -10*z**3 + 2*z**2 + z. Let b be a(-1). Let q(j) = -j**2 + 29*j - 50. Let v be q(27). Solve v*l + b = 27 for l.
4
Let c = -65 - -67. Solve 0 = -c*h + 4*h for h.
0
Let q be (-2 + 3)/(0 - -1)*11. Solve 3