= -y, 0 = -4*g + 2*y + 6 for g.
1
Let h(w) = w. Let a be h(4). Solve 3*s - 3*n = 0, -s - a*n + 32 = 3*s for s.
4
Suppose 101 = 4*l + 33. Let u = 1 - -3. Suppose 0 = -2*t + 6*t - u*b + 12, 20 = 4*b. Solve 3*g = -4*m + l, -g - 4*m + 5 = -t*g for g.
3
Suppose 5*k = 4*r - 20 + 6, -4*k = -4*r + 16. Solve 0 = 3*n - 3*u - r + 21, 20 = -4*n - u for n.
-5
Suppose x - 4*d = 10, 4*x + 3*d + d = 60. Suppose 3*p - x + 2 = 0. Solve -10 = 3*z - 2*w, 7*w - p*w + 11 = -2*z for z.
-4
Let g = 46 - 30. Let d be (-4)/20 - g/(-5). Solve 25 = 5*y, d*z - y + 0*y = 10 for z.
5
Let g = 11 - -8. Let j = g - 16. Solve -2*r + 2 + j = -3*v, 3*r = -5*v + 17 for v.
1
Suppose 4 = -4*m - 0. Let i = 1 + m. Suppose -6 = -2*h - i*h. Solve 2*j - j = -3*c + 1, 3*j + 5*c = h for j.
1
Suppose -4*s - 8 = -4*p, -2*p - 8 = -7*p + 3*s. Let z(o) = 2*o + 3. Let x be z(0). Solve -u + 5 = k, 0 = -x*u + k + 4*k - p for u.
3
Suppose -3*f = -4*f + 30. Solve -3*p - 13 = -2*u, -4*u + 5*p + f = u for u.
5
Let l be (8/28)/(2/14). Let s(g) = g. Let x(f) = 2*f + 1. Let c(o) = 7*s(o) - 2*x(o). Let z be c(l). Solve h - 1 = -3*u, z*u = 3*h - 1 - 2 for h.
1
Let w be 4/(9/3 - 2). Solve -16 = w*d, 5*b + d + 2 + 7 = 0 for b.
-1
Let q = -12 + 14. Solve 5*p - 3*x = -37, q*p + x = -p - 11 for p.
-5
Let v(w) be the first derivative of w**2/2 - w - 1. Let q be v(3). Solve -8 - 8 = -4*z + q*l, z = -3*l + 4 for z.
4
Let x be ((-897)/(-52))/(6/8). Solve 4 = -2*n, -x + 4 = 5*b - 3*n for b.
-5
Let h(v) = 2*v**2 - v + 1. Let d = 2 + 5. Suppose -4*l + 2*n = 20, 4 + d = -5*l - n. Let y be h(l). Solve q = -5*s + 6, s - q - y = 4*q for s.
2
Let n = 80 - 78. Solve 2*t + n + 0 = -3*v, 0 = 2*v + 8 for t.
5
Let u = 9 - -31. Suppose 0 = -6*g + g + u. Solve 2*l = 2*i - g, -2*i + 7*l - 2*l + 14 = 0 for i.
2
Suppose r - 32 = -o - 11, -3*r + 23 = o. Solve j - m = -5*m + o, -25 = j - 5*m for j.
0
Let p(o) be the second derivative of 7/2*o**2 + 2/3*o**3 - 1/12*o**4 + 0 + 2*o. Let n be p(5). Solve 3*k = n*u - 2, 1 + 0 = u - k for u.
1
Let g(s) = -2*s - 4. Suppose 4*x + 3 = 7, -2*b = 5*x + 1. Let f be g(b). Solve f*r + 0 = 4*j + 4, j - 2*r = 2 for j.
-2
Suppose -1 = -2*b + 9. Solve -b*r + 0 = 4*k + 5, 0 = r - 5*k - 28 for r.
3
Let k be 0*(-3)/6*1. Solve k = -4*w, -3*p = -4*w - 4 - 2 for p.
2
Suppose 0 = -2*d + 4*d - 10. Solve 2*a - 1 = -0*a + 3*f, d*a = -5*f - 10 for a.
-1
Let n = -25 - -27. Solve o - 2*r = 13 - n, 0 = -4*r - 20 for o.
1
Let i(c) = -c**2 - 15 - 16*c + 0 + 0*c. Let z be i(-15). Solve 2*l - l - 4*o - 5 = 0, z = 2*o for l.
5
Suppose 3*s = 2*z + 31, 2*z - 6 - 19 = -5*s. Suppose s + 3 = 5*u. Solve 21 = -4*r + 5*d, -5*d = -u*r - 0*d - 23 for r.
1
Let d be (-414)/(-27) + 1/(-3). Let y(j) = 3*j - 1. Let o be y(1). Suppose 3*f - 6 = f. Solve o*x + 5 = -f*q, 4*q + d = -0*q - x for q.
-5
Let y(c) = -3*c - 6. Suppose 0 = -5*v + i - 26, 31 = -4*v + i + 11. Let x be y(v). Let o = 4 + -3. Solve -3*n = -2*a - x, -n - a + o + 3 = 0 for n.
4
Let t = 1 - -3. Let n(l) = 2*l - 4. Let i be n(t). Solve h - 13 = -u - 3*u, 0 = i*h + 12 for u.
4
Let q be 10/1*12/30. Suppose 0*g + n = -g + 16, -n - 28 = -3*g. Solve 8 = -2*f, -q*j + 4*f + g = -25 for j.
5
Suppose 5*a = 30 + 50. Let m be ((-5)/4)/((-2)/a). Let n = m + -6. Solve c = -3*k - 5, -n*k + 3*k - 11 = 5*c for c.
-2
Suppose 2*l + 1 = 9. Suppose l*j = 6 + 10. Solve -b - j*n = n, -n = 1 for b.
5
Suppose 2*j = -3*h + 7, -2*j + 20 = 5*h - 7*j. Solve 2 - 6 = -4*c - 4*w, -3*c = -5*w - h for c.
1
Let j be ((-12)/10)/(10/25). Let r = 0 - j. Solve 2*p = -m - 3*m - 12, m + 3 = -r*p for p.
0
Let u = -13 - -17. Suppose -u*z + 5 = -11. Solve p = 2, -7*p = z*j - 2*p - 6 for j.
-1
Let c(l) = -l**2 + 8*l. Let q(a) = -a**2 + 6*a - 2. Let s be q(3). Let z be c(s). Let g(b) = -b + 10. Let p be g(z). Solve -u + p*u + o = 0, -8 = -2*o for u.
-2
Let a = -1 - -6. Suppose 3*g = a*g. Solve -3*q + g = 5*v - 2, -v = -1 for q.
-1
Let x be (-70)/(-22) + 0 + 226/(-1243). Solve x*h - 2*f + 20 = -7*f, 4*f = -5*h - 16 for h.
0
Suppose 10 = 5*f - r, -3*f - r + 6 = r. Solve -f*a + 3*a + 6 = -j, 4*a + j + 15 = 0 for a.
-3
Let d(z) = -6*z - 33. Let c be d(-6). Suppose 2*m - 3 + 5 = 0. Let p = c + m. Solve -3*k + 2*r = 12, p*k - k + 4 = r for k.
-4
Let c(p) = 4*p**2. Let u be c(2). Suppose u = 3*k + 1. Solve m = k*j + 25, -3*j = 2*m - m + 15 for j.
-5
Let v = 13 - 11. Let s(m) = m**3 + 5*m**2 + m + 1. Let r be s(-2). Solve 2*t + r = -l, -t + 0*t = -l - v for l.
-5
Let l = -7 - -10. Solve m + h + l = 0, 5*m + 4*h + 13 = -4 for m.
-5
Let c(k) = k**2 - 7*k + 11. Let x be c(6). Solve -3*l = -5*s + 4 + 3, x*s + 13 = -2*l for l.
-4
Let f(k) = 4*k - 8. Let o(w) = -3*w + 5. Let z(n) = 5*f(n) + 7*o(n). Let i be z(-6). Solve 3*h + i = -x + 2*h, -5 = x - 3*h for x.
-2
Let z(w) = -w**3 + 3*w**2 - w. Let l be z(2). Let f = 3 + l. Suppose -2*i - 4 = -4*o, 0 = 3*o - f*i + 6 + 5. Solve -5*v + o*p + 2 = -5, 6 = -2*v - p for v.
-1
Suppose 2*p - 86 = -6. Let t be (p/15)/((-4)/(-6)). Suppose -2*o + 5 = -3. Solve -t*s + 2*g + 10 = 0, -4*g - o + 5 = -s for s.
3
Let h be -1 + -1 + 5 + (-3 - -2). Let t be (-85)/(-15) + 4/(-6). Solve 2*g = 5*k - h*g - 13, -4*k = t*g - 35 for k.
5
Let g be (20/(-35))/(4/(-14)). Solve -g*p - p + 2*t = 13, 4*t - 16 = 4*p for p.
-5
Let k = 43 - 34. Solve -12 = -2*c + 4*r, 5*r = -2*c - k - 24 for c.
-4
Let y = -2 + 4. Let p = 3 - y. Let k(s) = s + 15. Let i be k(-13). Solve -1 = 2*j + p, -i*c + 5*j = -1 for c.
-2
Let q be (-2)/(-4)*(39/3 - 3). Solve 3*d = -q*i, -3*i = 3*d - 0 + 6 for d.
-5
Let f(l) = -l + 29. Let c be f(27). Solve 5*t = -3*j - 4, -c*j - 3 + 1 = 3*t for t.
-2
Suppose 0 = -2*t + t - 3*u, 0 = -4*t + 4*u. Let r be t - 2/(4/(-30)). Let y be (-11)/(-5) - 3/r. Solve -4*h + g + 6 = -3*h, -5*g = y*h + 23 for h.
1
Let h be -2 + 1 + 15/3. Suppose -h*q = -q. Solve q = d - 4*d - j, 2*d + 3*j = -7 for d.
1
Suppose 2*s + 2*s = 0. Let l = 13 - s. Solve 0 = 2*b - 4*t - 10, 4*t + 3 - l = -2*b for b.
5
Suppose 4*u = -v - 1, 5*u - 4*u = 5*v + 5. Suppose 5*l - 12 = 4*p, -l + 3*l + 5*p - 18 = u. Solve 0*y - l*y = b - 3, -4*y - 9 = -3*b for b.
3
Let g(d) be the second derivative of d**4/12 - d**3/6 - d**2/2 - 3*d. Let q be g(3). Solve 4*u - 12 = -4*m, 0 = -q*m + u - 3*u + 15 for m.
3
Suppose 2*y = -y + 6. Solve -9 = -3*k - y*o - 2, o - 4 = -k for k.
-1
Let z be (-3)/(-1 - 2/(-5)). Suppose -10*m = -z*m - 25. Solve -4*k - g + m = -6*g, 4*k = -5*g - 5 for k.
0
Let s(r) = 4*r - 40. Let c be s(12). Solve 2*a + c = -5*x, 2*a = -x + 2*x + 4 for x.
-2
Let i(z) = z**2 + 8*z - 7. Let u be i(-9). Let h = u - -1. Solve -4*l - 11 = -h*x, -5*x - 16 + 1 = 0 for l.
-5
Suppose 0 = 4*j - 3*g - 28, 0*j + j = -3*g + 7. Solve -2*l - j = -p, -4*p - 4 - 1 = 3*l for l.
-3
Let r be 0/(1/3*3). Let v be (3/3*r)/(-2). Solve 0 = 3*a - 2*y + 7, -2*y + v*y = -4 for a.
-1
Suppose 0 = 2*l - 5*l + 9. Let t be 0/l - -4*1. Solve 6*w = 2*a + w + 16, 0 = -t*a - 4*w + 24 for a.
2
Let f(t) = t**3 + 6*t**2 - t - 9. Let k be f(-6). Let y be (-2)/(-6) + 1/k. Solve 2*c + y*v + 10 = 4*v, -5*v + 11 = -4*c for c.
1
Suppose -7 = -3*x + 5. Suppose 12 = -b + 5*b + v, -3*b = 4*v + x. Solve 0 = -3*d - b*g - 3 + 14, 3*d - 3*g + 3 = 0 for d.
1
Let l(x) = -x**2 + 7*x + 1. Let g be l(7). Suppose 5*p - 2*p = 6, -4*a - 2*p + 16 = 0. Suppose -a*s = -1 - 5. Solve -f + g = -s, 4*c - 3*f = -17 for c.
-2
Suppose 4*j = -s - 11, 0 = -j - 0 - 3. Let h = 1 - s. Suppose 0 = -5*d + v + 56, 0 = -d + 5*v - h*v + 16. Solve 0 = -3*l - 5*a + d, -14 = -6*l + l - 4*a for l.
2
Let a(j) = j**2 - 12*j + 1. Let o be a(17). Suppose 14 = u + 3*v, 6*u - v = u + o. Solve -3*n + q - 7 = 0, 6*n + u = n - q for n.
-3
Suppose -3*m + 2 = b - 12, 0 = -3*m + 4*b + 34. Suppose 16 = 2*d + m. Let w = d + -5. Solve -q = -4*t - 10, w = -0*q - 5*q + 10 for t.
-2
Suppose -5*n + 0 = -30. Suppose n + 9 = 5*f. Let v(g) = 3*g - 1. Let b be v(1). Solve 0 = -f*t - 15, -b*t = -7*a + 3*a + 30 for a.
5
Suppose 8 = 5*d - 7. Suppose 2*f = -2*w + 18, 3*w + d = 2*f - 0*w. Suppose b - 4*x = 13, 2*b - x - f = -3*x. Solve 3*j - b*m = -j + 30, 5*j = -2*m + 21 for j.
5
Suppose 2*x - 3*x = -13. Solve -5*z - x = 3*l, -4*z = -5*l + 3*l + 6 for l.
-1
Let z = 120 + -118. Solve 10 = -z*q - 4*b, -5*b = 4*q + q for q.
5
Suppose 0 = i + 4*i - 25. Solve 3*m - 23 = -4*u, 3*m - i*u = 5*m - 20 for m.
5
Let t(r) = r**2 + 4*r + 4. Let q be t(-4). Suppo