9 = 5*p + f*v for p.
0
Let g(u) be the second derivative of -3*u**2 + 1/20*u**5 + 2*u - 7/12*u**4 + 0 + 4/3*u**3. Let b be g(6). Solve z - 2 = 0, -2*f - b = -f - 5*z for f.
4
Let z = -7 - -12. Solve 2*k - 7 = -z*c, 0*c - 3*c = -3*k for k.
1
Let p = -74 + 77. Solve p*j = 5*f - 3 + 6, -4 = -f - 4*j for f.
0
Suppose -3*l - h + 0*h + 11 = 0, 5*l = 3*h + 23. Suppose -u - l = 5*a, -2*u = -a + 6*a - 2. Solve 5*s = -u - 4, 3*s = -2*r - 16 for r.
-5
Let d = 4 + -4. Suppose 5*f - 25 = d, -2*f - 2 - 12 = -4*q. Suppose 0*k = -3*k + q. Solve -c + 4*a - k*a + 3 = 0, -2*c - 18 = 4*a for c.
-3
Let g(x) = -x**2 - 3*x - 2. Suppose 3*a + 15 = 9. Let y be g(a). Solve -2*t + 5*b + 4 = y, -3*t + 3*b + 3 = -2*t for t.
-3
Let k(l) = l + 6. Let n be k(-5). Let d be -5*2/n*-1. Suppose 2*f + 4*w = -10, 4*f + d = 3*w + 45. Solve 3*q = t + q - 12, -5*t + f*q = -35 for t.
2
Let h(p) = -2*p - 13. Let g be h(-9). Suppose 0 = -2*q + 10 - 0. Let w(v) = v**2 + 4*v + 7. Let b be w(-5). Solve -q*m - b = -m + 3*u, -g*m - u = 4 for m.
0
Let n = -167 - -167. Suppose -k = -3 - 1. Solve h + k*p + 7 = -2*h, n = 3*h - 3*p for h.
-1
Suppose 2*h - 7 - 3 = -o, 4*h = 5*o - 8. Solve -4*m + 3*q = 3, m - 4*m - 18 = h*q for m.
-3
Let l be 2/(-3) + 8/3. Suppose -u + 2 = -l. Solve u*w - 5*w + 1 = 0, -3*t - 1 = -4*w for t.
1
Let s = 15 - 3. Suppose -s = -3*d - 3. Solve -3*h + 3*a + 12 = 0, 4*h - 6 = d*a + 9 for h.
3
Let p(n) = -n + 0 + 2*n - 5 - 3. Suppose -2*j + 0*j + 16 = 0. Let d be p(j). Solve -5*i = -2*v - 6, d = 3*i + 1 - 7 for v.
2
Suppose -2*t + 8 = -2*a, 0*a - 2*a - 18 = -4*t. Let x be 24/32*(t + -1). Solve -x*y + 7 = -4*j, -4 = -2*y + j + j for y.
1
Let p be 39/4*(-4)/(-3). Let q = p + -11. Solve c = -3*g + 10, -4*c - 35 = c - q*g for c.
-5
Let r = -14 + 14. Solve r = -2*u - x - 7, 2*u + 0 - 2 = -4*x for u.
-5
Suppose -5*r = -3*l - 5 - 27, 3*r + 4*l - 25 = 0. Let x(t) = -t**3 + 8*t**2 - 5*t - 9. Let a be x(r). Solve a = -4*u - u - 5*k, -2*u = -k - 7 for u.
2
Let x = -5 + 7. Let m be (3 + -2)*2/1. Suppose 3*v - z - 2*z = 0, -2*v = 5*z. Solve 5*u - m*g = 2*g - 11, v = 5*u + x*g + 17 for u.
-3
Let c(s) = -s**2 - 7*s - 2. Let w be c(-7). Let i = w + 2. Let p(g) = -g**2 + 8*g - 6. Let q be p(6). Solve -d + i - 1 = 0, 2*d = 2*r - q for r.
2
Let x = 35 + -25. Suppose 0 = 2*d + 3*k - 9 - x, 5*d = -3*k + 34. Solve -d*o - 3*c = 1, 3*o - 6*o = -5*c + 21 for o.
-2
Suppose l + 2*l + 1 = 2*p, 5*p - 2*l = 8. Solve -2*t - p = 3*y, -t - t + 3*y = 14 for t.
-4
Let b(l) = 3*l + 15. Let a be b(0). Let d be (1 - -2)*1/1. Solve -a = 3*c - d*g, c = -g - 2*g + 7 for c.
-2
Let u(s) = -4 + 4*s - s + 5*s + s**3 - 8*s**2. Let o be ((-4)/8)/(2/(-28)). Let m be u(o). Solve -r + 10 = -3*t, -t - r - 5 = -m*r for t.
-3
Suppose 4*q = 3*x + 5, 0*q + 2*q + x = 15. Let g = 12 - -8. Suppose -26 + 11 = -3*m. Solve -5*s = -q*b + g, -2*s + 11 + 2 = m*b for b.
3
Let f be 2/(-6) + (-28)/(-12). Solve 2*h = -4*n - f, -2*n + 3 = 2*h + 1 for n.
-2
Let o be (-1 - 2)/(9/(-6)). Solve 0 = -3*k - 4*f - 16, 3*f = o*f - 1 for k.
-4
Suppose -15 = 2*c + 5*q, 3*q + 6 = -3*c - 3. Suppose 0 = -2*s - c*s + 10. Solve -m - 4*z = -4*m - 5, -z + 7 = s*m for m.
1
Let a(k) = 6*k - 1. Let z be a(-1). Let n = -4 - z. Let x = n - 3. Solve x = 5*s + 20, -d - s - s = 10 for d.
-2
Suppose 24 = 4*z + 3*y - 5, -37 = -5*z - 3*y. Let s be 1/4 - (-542)/z. Suppose 3*d + s = 7*d. Solve 4*h - 5*h = -5*p - d, 0 = 4*p - 5*h + 22 for p.
-3
Let h be (0 - 0)*6/(-6). Suppose h = 2*b - 4*b + 34. Solve 2*m = -5*w + 5*m - b, -2*m + 7 = w for w.
-1
Let z = 9 - 9. Suppose -5*s + 13 - 2 = -k, 4*k - 2*s - 10 = z. Solve -k*w = -q, -3*w = -0*q + 2*q for q.
0
Let t(h) be the second derivative of h**4/12 + h**3/3 + h**2 - h. Let n be t(-2). Solve 3 = -4*z - n*q - 3, -5*q + 17 = 2*z for z.
-4
Suppose i - 23 = 2*g, 0 = 5*i + g - 5*g - 109. Let j = -12 + i. Let m = j + -5. Solve 0*s + m*s = -2*b - 10, 11 = 4*s - 5*b for s.
-1
Let z be ((-5)/15)/(1/(-15)). Suppose 3*h + 4*t - 4 = h, -z*t + 5 = -h. Suppose -3*y + 0 + 36 = h. Solve -c + 0*c - 13 = 4*n, -3*c = 3*n + y for n.
-3
Let r(x) = x**3 + x + 2. Let s be r(3). Suppose 0*u = -2*u + s. Solve -j - j - u = -2*p, 3*j + 32 = 5*p for j.
-4
Let x(b) = -b**3 - 11*b**2 + 12. Let m be x(-11). Let i = m + -7. Solve -4 = q + 4*a, i*q + 20 = -0*a + 2*a for q.
-4
Let b be (2 + 2)/(0 - -2). Solve 0 = 4*r - 4*q - 4, -b*r - 5*q = -11 - 5 for r.
3
Let l(k) be the second derivative of k**3/2 - 3*k**2/2 + 3*k. Let j be l(3). Solve -5*p = 5*t - 25, 0 = -3*p + p + j for t.
2
Let i(h) = -h**2 - 4*h + 4. Let j be i(0). Let f = 7 - 4. Solve f*k - j*m + m = 18, -3*k - 3*m = 12 for k.
1
Suppose 2*g = 172 + 4. Let x be g/12 + (-4)/(-6). Solve 2*c - 5 = x*b - 3*b, c - 3*b = 4 for c.
-5
Let x(f) = f + 12. Let k be x(-10). Suppose -4*s - s = -2*j + 38, s + k = -j. Let i be (2 - -4)*(-2)/s. Solve o - i = -0*b + 3*b, -4*o - 9 = 5*b for o.
-1
Let w be ((-1)/(-2))/((-10)/(-40)). Solve w*k = -i + 7, 2*i = 3*i + 4*k - 15 for i.
-1
Let o(u) = -u**2 - 8*u + 24. Let b be o(-9). Solve 6 = -2*c + 4*r, 3*r + 2*r - b = 4*c for c.
-5
Let r(x) = -x**2 + 5*x. Let z be r(4). Suppose 5*c - 42 = 4*j, z*c - 34 = 2*j + j. Solve 0 = -2*s, -p = p + s - c for p.
5
Let s = -63 + 63. Solve s*g - 3 = -5*l - 2*g, 3*g = -4*l + 8 for l.
-1
Let g(u) = u**2 + 12*u + 20. Let b be g(-10). Solve b = -z + 5*d - 10, 2*z + d - 23 = -2*z for z.
5
Let s = -35 + 59. Let j = 50 - s. Let v be -18*(-3 - -2)/1. Solve -j = 5*c + 3*r, -r + v = -5*c - 0*r for c.
-4
Suppose 5*c = -5*m + 40, -4*c + 5*m + 8 = m. Suppose 0 = c*l - 15 - 10. Let f be (1/(-4))/(l/(-20)). Solve -b = r - 0*b - f, -5*r + 17 = b for r.
4
Suppose -6*r + 15 = -r. Let m(d) = d**2 - 2*d - 3. Let h be m(r). Solve -4*p + 11 = q, 5*p + 2*q + 0*q - 10 = h for p.
4
Suppose 18 = -15*c + 13*c. Let s(m) = -m + 2. Let v be s(c). Solve -2*b - 5 = -3*b + 4*x, 2*x = 5*b + v for b.
-3
Let i be (-6 - -1)*(-4)/5. Let w be (1 - 1)*-2*(-5)/(-30). Suppose 3*j = j. Solve 3*o + w*n + n - 3 = j, -4*o = -4*n - i for o.
1
Let v be (12/(-2))/(-1 + -1). Let f(n) = -n**3 + 2*n**2 - 2. Let g be f(2). Let x be -24*g/8*2. Solve v*b - x = -b - 4*c, -4*b = 3*c - 11 for b.
2
Let x(d) = d**3 + d. Let f(o) = 10*o**3 + 5*o + 1. Let j(y) = f(y) - 6*x(y). Let h be j(1). Solve -s + 12 = -h*k + 4*s, -3*k - 4*s + 22 = 0 for k.
2
Let d(p) = p**3 - 5*p**2 + 4*p. Let v be d(4). Let q be (-23)/(-3) + (-8)/12. Let c = q - 5. Solve 0*f - 8 = -2*h + c*f, -h - 2*f + 7 = v for h.
5
Let n(h) = h**2 - h + 1. Let y(d) = -4*d**2 + 3*d - 1. Let f(j) = -3*n(j) - y(j). Let s be f(2). Solve -w = 4*r + 3, -w + s*r + 2*r = 3 for w.
-3
Let b be (8/5)/((-4)/(-10)). Solve -5*o = 5*f + 25, -o - b*o + 2*f = 25 for o.
-5
Suppose 4*z + 10 = 30. Suppose 1 = z*y - 44. Let o be (-2 + 17)*3/y. Solve 0 = 2*h + o*s + 30, 3*s + 17 + 20 = -5*h for h.
-5
Suppose 0*z - 5*z - 15 = -5*c, 9 = 3*c + 4*z. Solve 3*y - 6 = -g, 4*g + 2 = c*y + 11 for g.
3
Let r = -21 - -31. Solve -c - 9 = a, -5*c + 15 = a - r*c for a.
-5
Suppose 32 = w - 5*q, 0*w - q = -3*w + 54. Suppose -w = -2*b - 7. Solve 2*u + f = 9, 4*f + f = b*u - 30 for u.
5
Let j be (-8)/(-12)*(3 - (-18)/4). Suppose 4*c = 2*d - 2, -3*d = -3*c - 8*d - 21. Let h be c/5 + 17/j. Solve 0 = -5*l - 4*p - 22, -4*p - 17 = 4*l + h for l.
-2
Let a = 1 + 1. Let d(h) = 9*h + 2. Let t be d(a). Solve 0 = -4*v - 5*j - 33, 0 = v - 5*j - 3 - t for v.
-2
Let i be -1*-8*(-3 - 1). Let s = -19 - i. Let q = s + -8. Solve 5*x - 20 = 5*f, -f + 0*x - q*x = -26 for f.
1
Let j(h) = 3*h**3 - h + 1. Let q be j(1). Let t = q - 1. Suppose -4*n + 2*k + 10 = -0*n, 0 = n + t*k. Solve -2*g = -n*x - 10, 0 = -4*x - 2*g - g - 20 for x.
-5
Let l = 13 + -4. Solve 4*g - l = t, -t + 3*g - 18 = 2*t for t.
-5
Suppose 3*x - 4*x = -7. Solve -2*f + b + 1 = 0, 5 + x = 4*f - 4*b for f.
-2
Let w be (-14)/(-4) - 1/(-2). Solve 8 = -5*x + x + b, 2*x - 5*b + w = 0 for x.
-2
Suppose 12 = 3*q - 0*q. Let z(u) = -u**3 + 2*u**2 + 4*u - 3. Let t be z(3). Suppose t = -4*b + 3*b + 3. Solve -k = b*l + 1, k + 4 = -3*k + q*l for k.
-1
Let b = 6 + -4. Solve 0 = 4*n + u + 1, -2*u + b = -2*n - 6 for n.
-1
Suppose 0*q + 5*q = 30. Solve -4*m + m = -2*u - 14, -2*u - q = m for m.
2
Let c be ((-10)/(-15))/(1/3). Solve -f + 2*h - 5 = 4*h, -2*h = c*f for f.
5
Let j be -1 - 2/(6/3). Let y = j - -4. Solve 0*z = -y*f - 4*z + 6, 0 = 3*f + 3