0. Suppose n = f - 0*f. Suppose 5*q = f*q. Solve 5*s - 23 = -4*r, -s = -5*r - q*r + 7 for s.
3
Let s = 54 - 38. Let q = s - -5. Solve -5*r + q = m, 0*m + 2*m + 3 = -r for r.
5
Suppose -2 - 3 = -g. Solve -3*b + 6 = 4*n - 0*b, n - b - g = 0 for n.
3
Let m(x) = 3*x - x + 0*x + 8 - 21. Let q be m(9). Solve 0 = 2*r + s + 1 + q, -4*r - 6 = -s for r.
-2
Let n = -5 + 9. Let c(g) = g**3 - 7*g**2 + g - 5. Let m be c(7). Let u = 1 + 3. Solve -m*z + 6*z - 20 = -o, u*o - n*z = 0 for o.
4
Let b(o) = -o**3 + o**2 - 2*o - 3. Let x be b(-3). Suppose -t + w = -3, 0*w = -3*t - 3*w + x. Let a = -5 + t. Solve 0 = -4*p + 5*i - 1 + 7, 4*p - a*i = 2 for p.
-1
Suppose -2*i + 4*r = 3*i - 41, -5*i = -5*r - 45. Suppose 3*a = 13 - 1. Solve 0 = -5*k - i*f - 5, -4*f = -0*f + a for k.
0
Let p be (15/(-9))/(52/(-12) + 4). Solve -p*a - 1 = q, 3 = -4*q + 4*a - 1 for q.
-1
Suppose 50 = -3*g - 10. Let k = g - -24. Solve -o + k*y = -3*o + 2, -3*y + 21 = -5*o for o.
-3
Let q(s) = -s - 7. Let c be q(-4). Let k = -5 - c. Let b be k + 0/1 + 5. Solve 3*o + 3*g = 2*o - 1, -3 = -3*o - b*g for o.
2
Suppose -4*k + 3*x = -3*k - 10, 4*k = 4*x + 32. Let a = -2 + k. Solve -g - 13 = -a*g + 3*w, -5*g = -4*w - 16 for g.
4
Let c(o) = -o**3 + 4*o**2 + 5. Let v be c(4). Solve 2*s = 4*z, 16 = v*z + 3*s + 5 for z.
1
Let k(u) = -u + 29. Let c be k(19). Solve 2*f = -2*f + 8, -p + c = 4*f for p.
2
Suppose -c - 2 = -w + 2, -3*w + 4 = -c. Solve 3*h - x - 1 = w, -5 = 3*h - 3*x - 2 for h.
1
Let o(c) = 5*c**2 + 4*c + 2. Let d be o(-3). Suppose 5*i + 0 = d. Let j = i + -4. Solve 0 = -3*t - a + 1, 2*a = -5*t + a + j for t.
1
Suppose -13*w - 6 = f - 10*w, 0 = -2*f - 4*w - 8. Suppose 5*b = -3*r, 3*b + 1 = -2*r - 0. Solve 0 = b*q + 4*l + 9, 0 = 4*q + l - f*l + 12 for q.
-3
Let s be -4*(3 + 60/(-16)). Solve 4*w + s = j + 19, 0 = 2*j - 2*w + 8 for j.
0
Suppose 10*j - 14 = 8*j. Let a = j - 1. Solve 0 = r + 2*m, 15 = -5*r - m + a*m for r.
-2
Let g be 5*(-1 + 2)*(-32)/(-40). Let i = -3 + 6. Suppose -i = 2*j - 3*j. Solve 0 = -g*h - 3*x, h = -j*h - 5*x - 8 for h.
3
Suppose -4*w + 4*l = -20, 18 = 2*w + w - 2*l. Let k = w - 3. Suppose 0 = 2*t + 3*t - 3*c - 9, k*c + 15 = 2*t. Solve t = -4*a - d + 2, 2*a + 9 = 5*a - 3*d for a.
1
Let z be 2 - 1 - (-3)/3. Suppose z*a - 5*a + 9 = 0. Solve -2*y = -4*u, -y - 11 = 5*u + a for y.
-4
Let r(x) = -5*x + 3. Let z be r(0). Solve 0 = -z*v + 3*g + 6, v - 2*g + 4 = -7*g for v.
1
Let a = 9 + -7. Suppose 0 = -5*d + 3*b - 4*b + a, 2*d + 4*b = 8. Suppose 2*o + d*o = 0. Solve 5*w + 30 = -z, -4*w + 5 + o = -5*z for w.
-5
Let j be 2/4 - (-3)/(-2). Let h(q) = -3*q**3 + q**2 + q + 1. Let b be h(j). Solve -5*r - 2*w + 23 = w, -b*w = -4*r + 12 for r.
4
Suppose -26*w - 6 = -29*w. Solve -2*c + w*g = -3*g + 2, c = 5*g - 6 for c.
4
Suppose 4*j - i = -4, 0*j + 2*i - 8 = -5*j. Let l = j - 3. Let n(b) = b**3 + 3*b**2 + 3. Let f be n(l). Solve 0 = -f*d + 3*w - 9, 0 = 2*d + d + w + 1 for d.
-1
Let q(l) = -l**3 + 4*l**2 + 5*l + 3. Let y be q(5). Solve -4*a + 5 = -3*h, y*a = -0 - 3 for h.
-3
Let l(y) be the first derivative of -y**2/2 + 4*y - 6. Let g be l(4). Solve 2*t - 4*t - 4 = 4*n, n + 5*t + 1 = g for n.
-1
Let s be -1 - -1*3/1. Let z = -8 - -12. Let r(t) = t + 15. Let v be r(-11). Solve -5*c = z*y - v + s, 5*c - 12 = y for c.
2
Suppose -2*k + 5*b = 3*k - 200, 4*b + 52 = k. Suppose -2*p + k = -0*p. Let n = 3 - 0. Solve 3*g - 3*h = p, -2*g - 9 = n*h + 2*h for g.
3
Let m(a) = -a**3 + 6*a**2 + 9*a - 10. Let r be m(7). Solve 2*c - 4*g + 2*g = -8, 0 = -4*c - r*g for c.
-2
Suppose 0 = 2*i - 5*i + 15. Let n = -24 - -27. Solve -4*a - 3 + 10 = n*d, -4*d + i = a for a.
1
Suppose 0 = 2*q - 4, g + q + 1 = 2*g. Solve -2*i + 0*i - 2*f + 2 = 0, 0 = 3*i - g*f - 27 for i.
5
Let j = -4 + 9. Suppose 13 = j*z + x, -1 + 7 = 2*x. Solve 12 = z*r - 3*s, 6*r - 4 = 2*r + s for r.
0
Let y be 4/3*(-6)/(-4). Suppose -2*m - y = 10. Let a(b) = b**3 + 5*b**2 - 6*b. Let u be a(m). Solve 6*c - 3*k = 2*c + 7, u = 3*c - k + 1 for c.
-2
Let v be 8/(-6)*(-5 + 5/4). Solve 2*b - 4 = -v*r - 5, r - 4*b = -9 for r.
-1
Let d = -6 - -8. Solve -x + d*g = -0*g - 5, -1 = 5*x + 3*g for x.
1
Suppose 5*u + 4*z = 5*z + 5, u + 2*z - 12 = 0. Suppose 5*c - u*c = 30. Suppose y + c = 6*y. Solve y*j + 4*f = 8, -4*j + f - 1 = 1 for j.
0
Suppose -3*i = -2*i - 5. Suppose i*c + 13 - 3 = 0, 0 = -5*d - 3*c - 6. Suppose d = 3*q - 0*q - 33. Solve -w = -5*y + q, 3*y = y - 2*w + 2 for y.
2
Suppose -5*k + 35 = 2*l, -l - l = -2*k. Let h = 27 - 14. Suppose s = 2*x - 5, -s - 1 = x + 2*s. Solve 5*t + 17 = k*w + 3*t, 5*w = -x*t + h for w.
3
Suppose -x = -8 - 2. Let o = x + -5. Solve 5*k - 3 = y, 4*k - o*y = -k - 5 for k.
1
Let o = 17 + -1. Let m be 308/o - 2/8. Solve p + 2 = -2*s + 2*p, 5*p - m = s for s.
1
Suppose 3*a - 120 = -3*k, -2*k + 22 = 3*a - 63. Solve 3*c + 6*z = 3*z, -2*c = -5*z + k for c.
-5
Let k = 5 - 3. Suppose -n = 4*n - 20. Solve k*h = -n, 5*h - 3 = 4*z + 3 for z.
-4
Let q(j) = -j**2 + j + 5. Let z be q(0). Solve -2*y - 8 = -4*c, -z*y - 6 = -16 for c.
3
Let k be 2/2 + (-24)/3. Let j = -2 - k. Solve -2*d - d + s + 5 = 0, 3*d + j = -4*s for d.
1
Let w = 2 - 8. Let r = -6 - w. Solve 5*y + m + 20 = 0, m - 30 = 5*y - r*y for y.
-5
Suppose -2*c = 10*w - 7*w - 36, 5*c - 79 = -2*w. Solve 0 = -3*u + 4*h - 20, 5*u = 2*u + 3*h - c for u.
0
Suppose -6*q = -4*q - 6*q. Solve -2*x + q + 3 = 3*w, -3*w + 5*x + 24 = 0 for w.
3
Let p(c) = c**2 + 6*c - 25. Let r be p(-9). Solve 3*v - 23 = -5*a, -5*a + 2 + 16 = -r*v for v.
1
Let n = -15 - -20. Solve 2*f - 4*b + 1 = 13, 4*b = n*f - 18 for f.
2
Suppose -8*a = -6*a - 5*q - 62, q = a - 25. Solve 10 = 5*d + 3*p - a, 17 = 5*d - 4*p for d.
5
Let l be 11/1 - 4/2. Let u be (-2)/l + 438/27. Suppose -2*v - 4*w + 4 = -u, 8 = 2*w. Solve -z + 3*d - 1 = 7*d, 0 = v*z + 2*d + 2 for z.
-1
Let q(s) = -2*s - 1. Let c be q(-3). Suppose -u - a = u, c*u - a = 14. Solve -4*f = -3*p + 12 + 9, 5*f + 21 = u*p for f.
-3
Suppose 0 = -3*g - g. Solve 2*x - 1 = -2*s - 7, g = 3*s - x - 11 for s.
2
Let o(n) = -n**2 - n - 1. Let w be o(-1). Let f = w + 1. Let z be (f + 2/(-6))*-6. Solve -2*k = z*q - 4, -2*q + 23 = -3*q + 4*k for q.
-3
Suppose v + 3*j - 5 = -0*j, -2*j + 2 = 0. Let o(r) = r + 2. Let q be o(0). Let a be q/(-2 - -6 - 2). Solve -3*l - c + a = v, -2*c = -4*l - 8 for l.
-1
Let z(y) = -y**3 - 12*y**2 - 2*y - 11. Let h be z(-12). Suppose 0 = f - h + 10. Solve 5*k - u = -5*u - 4, 3*u = k - f for k.
0
Let x(p) = -16*p + 5. Let v(c) = 3*c - 1. Let j(l) = 11*v(l) + 2*x(l). Let z be j(6). Solve -11 = -z*q - 3*y, 0 = -2*q + 4*y - 11 + 5 for q.
1
Suppose g - 5 = i + 4*i, -3*i = -2*g + 10. Suppose 3*m - q = g - 54, q = m + 13. Let r = 44 + m. Solve 2*x = -4*a + r, 2*a + 3*a = 2*x + 19 for x.
3
Let p(z) = -z**2 - 6*z. Let d = -6 + 1. Let w be p(d). Solve -2*q + 11 = w*r, 2*r - 4*r = -q + 1 for q.
3
Suppose 3*k = -0*k + 6. Solve m - 5 = k*g, 3*g - 5 = 2*g + 2*m for g.
-5
Suppose w + 0 = 3. Let h(d) = d**2 - 7*d + 2. Let l be h(6). Let q be 3*l/30*-20. Solve -9 = -4*z - z + 4*f, q = 4*z - w*f for z.
5
Let z be (-1 - 2) + (-5 - -3). Let v = z - -4. Let l be 1 + 3 + v/1. Solve 4*f - l*m - 1 = 0, 3*f - 2*m = 4 - 2 for f.
4
Let u = -6 - -24. Let v be (-2)/(-4) + u/4. Solve 3*m + 4 + 2 = 2*i, -v*i = 5*m + 10 for m.
-2
Let y be 1 + (-3 - (1 - 4)). Solve j - f = 3*f - 4, f - y = 3*j for j.
0
Let x be (-9)/((-9)/4) - 4. Solve 0 = 3*y - 15, -2*y + x*y = -4*o - 22 for o.
-3
Suppose -4*k + 10*k = 0. Solve -5*u - 5*j - 5 = k, 3 = -2*j + 7 for u.
-3
Let s be (-1)/(-2) - 33/(-6). Let n = 1 + s. Solve -5*b - 4*q - 18 = -49, b = -q + n for b.
3
Suppose 0*k - 23 = -3*k + d, -20 = -5*d. Let w = k + 0. Solve 3*z + 5*f + w = 2*f, -2*f = 6 for z.
0
Let r = 5 + 0. Solve -14 = 2*b - 4*n, -4*b + 0*b + r*n = 13 for b.
3
Let z(s) = -3*s - 83. Let j be z(-29). Solve -7 = -j*g + 5*d, -3*g + d - 3 = -0 for g.
-2
Suppose 0 = -5*o - 0*o + 20. Suppose -o*l = 4*f - 20, 3*f = 5*f - 2*l - 14. Solve -2*z - f = 4*u, z - u - 3 = -0*u for z.
1
Let x be (-1 + (14 - 1))*(-1)/(-3). Solve -d + 2 + 5 = 2*f, 12 = x*f + 4*d for f.
4
Suppose -4*b - 5*y = 15 - 6, 0 = 3*b + 4*y + 6. Let k = 8 + b. Let q(d) = 8*d - 134. Let r be q(17). Solve r*p = 4*v, p + 2 = -k*v + 10 for p.
4
Suppose 2*u = u - 1. Let f = 0 - u. Let n be (-8 + 4)*f/(-2). Solve -4*p - n*q = q + 8, 0 = -q for p.
-2
Let f(u) be the first derivative 