15*m**2 + 6*m**2 - 4. Let o be s(10). Solve 19 = 3*f + 4*x, -x + 0 + o = 2*f for f.
1
Let x = 7 - 7. Solve -4*r - 15 + x = m, -3*r + 2*m - 25 = 0 for r.
-5
Suppose -4*k = k + 4*s - 36, -5*k = -5*s. Solve -2*y = -3*f - 11, 5*f + 12 = k*y - 7 for f.
-3
Let b(g) = -g**2 + 6*g - 2. Let i be b(5). Suppose i*q - 3 = 4*t, -3*q + 18 = -t + 2*t. Solve -4*c - 5*z = 12, 0 = c - 0*z - 3*z + t for c.
-3
Let y = -39 - -65. Suppose -17 = 3*t - y. Solve -t*j - 11 = -4*f, -f + 16 = 2*j + f for j.
3
Let x(d) = 6*d - 4. Let n be x(2). Solve v - 2*v + 8 = -y, 3*y + n = -v for y.
-4
Let j be (6/(-2))/(-3) - (-2 - 1). Solve -p = 4*q + 7 - 0, -4*q - j = 4*p for q.
-2
Suppose 0 = 2*x + 2*x. Suppose -r - 3 - 1 = 0. Let q(h) = h**2 + 4*h + 2. Let d be q(r). Solve g - 5*f = -4, x*g - 3 = d*g - 5*f for g.
1
Let t be (3 + -4)*2*-1. Suppose -3*d + 0*d = 5*l - 15, -3*l + 5*d + 9 = 0. Solve -l*u + 4*a = 22, -3*u - t*a = 2*a - 10 for u.
-2
Let c be (-22)/(-18) + 4/(-18). Let j be 18/4 + c/2. Suppose 0 = 5*q - 2*m + 6*m - 24, -4*m - 16 = -j*q. Solve 3*r = -5*b - 23, -2*r + q*b = 5*b + 6 for r.
-1
Suppose -4*t + 3 = 3*r - 4*r, 3 = -4*t - r. Solve 5*z - k + 18 = -t*k, 3*k + 6 = 0 for z.
-4
Let k = -5 - -8. Let a = 3 - k. Suppose -z + a*z = -35. Solve -5*t - z = -5*n, -2*n + 0*t - 5*t - 14 = 0 for n.
3
Suppose 1 = -2*m + b, 6*b - 24 = -2*m + 2*b. Solve u + 2*f = 3, 0 = u - m*f - 3*f + 4 for u.
1
Let q(r) = 3 - 4*r**3 + 3*r**3 - 1. Let t be q(0). Let v = 0 + t. Solve 5*h = 2*c - 10, 4*c = -v*h + 5*c - 3 for h.
-4
Let p be (-2)/(-8) - 228/(-48). Solve -p*r + 2*n + 4 = -2, -3*n - 9 = -3*r for r.
0
Suppose 0 = 4*w - 1 - 7. Suppose -w*m + 4 = -0*m. Let r be (24/16)/(1/m). Solve -3*v + 6 = -3*s, -5*s + s - 8 = -r*v for v.
0
Let t = -6 + 26. Suppose 0 = 2*a + 2*m - t, -a + 4*a - 34 = -5*m. Solve 3*p + v + 9 = -a, -4*v = p + 24 for p.
-4
Suppose 0 = 61*d - 64*d + 6. Solve 6*l - 2*l + 12 = 4*t, -9 = -3*t + d*l for t.
3
Suppose 2*g - 10 = -0*g. Solve 4*b + o - 2 + 20 = 0, -4*b = g*o + 10 for b.
-5
Let v(x) = x**2 - x + 2. Let m be v(0). Let n = 2 + m. Solve -2*p - 4 = 2*r, 5*p = p - 2*r - n for p.
0
Let q(w) be the third derivative of w**6/120 - w**5/12 + w**3/3 + 2*w**2. Let i be q(5). Solve i*x - h - 1 = -4, 5*x + 30 = -2*h for x.
-4
Let y(z) be the second derivative of z**5/20 + 7*z**4/12 - 2*z**3 - 4*z**2 - 3*z. Let r be y(-8). Solve 9*l + 5*n - 30 = 4*l, -2*l - 5*n = -r for l.
2
Suppose 0*p = 2*p - v - 4, 2*v - 7 = -p. Solve -p*r + 6 = -3*x, 0 = 3*r - 5*x - 7 + 1 for r.
2
Let k be 1*(2 + 4)/(-1). Suppose 5*u = -4*z + 3*z + 50, -32 = -3*u - z. Let w = k + u. Solve w*j - 4 = -5*m + j, 3*j = 5*m + 6 for m.
0
Let g(k) be the third derivative of -k**4/24 + 7*k**3/6 + k**2. Let z be g(-6). Suppose -z = -4*s + 3. Solve 4*v + 10 = -0*f + 3*f, s*v + 22 = -3*f for v.
-4
Let a be 4 + 6 + (-3 - (-2 - 0)). Let j(t) = t**2 - 2*t + 1. Let o be j(2). Let y be 4 - 0/o - 1. Solve -3*x = -d - a, -d - y*x + 4 + 5 = 0 for d.
0
Suppose t = 4, -24 = -r - 8*t + 3*t. Solve -4*s = -3*k + 10, -2*s + 4*k = -r + 14 for s.
-1
Let w = -2 - -7. Suppose -w*i + 2*i + 15 = 0. Solve -12 = -3*o - 3, -10 = -5*d - i*o for d.
-1
Let k(i) = -2 - 4*i + 2 + 0 + i**2. Let w be k(3). Let f = -1 - w. Solve 6*s - 2*s + 4*j - 8 = 0, -4*j = f*s for s.
4
Let r = 13 + -10. Suppose -23 = -4*w - 3*p, r + 1 = 4*p. Solve 2*l = w*l - 2*s - 2, -l + 18 = -5*s for l.
-2
Suppose -k = 4*m - 0*m - 6, 4*k = m + 7. Suppose 0 = 3*w + m - 10. Suppose -5 = -w*h + 4. Solve -4*y + 0*p - 36 = -4*p, -p = h*y + 7 for y.
-4
Suppose -14*s + 20 = -9*s. Solve -b - d = 6, 4*b = 2*b + s*d - 6 for b.
-5
Let z be 1/((4/3)/4). Solve k = 4*i + 12, -i + k - z = 6*k for i.
-3
Let r be 10/15*27/6. Let k = 9 - 6. Suppose 0 = -0*i + k*i, -q - r*i = 0. Solve 5*m = -q*u + 5*u + 5, 3*m - 27 = -3*u for m.
5
Let u = 3 + 1. Suppose -u*q + 13 = 3*i, 0 = -2*i + 4*i - 4*q - 2. Solve -8 = m - 4*w, i*w - 1 = -4*m + 5 for m.
0
Suppose -2*q + 5 = r, -4*q + 3*r + 19 = 2*r. Solve -3*a - 9 = 0, 0 = -q*x - 0*a + 3*a + 29 for x.
5
Suppose -o = -6 - 2. Solve -3*l + 3*n + o = -7*l, 13 = -l + 2*n for l.
-5
Suppose -4*d = 2*u - d - 8, 5*u - 4*d + 26 = 0. Let l be -1 - (u + 3 + -4). Solve 3*h = -l*h + q + 30, 20 = -4*q for h.
5
Suppose -7*m + 40 + 16 = 0. Solve -2*r - 4 = s, -s + 2*r = -3*s - m for s.
-4
Let v(j) = j**3 - 11*j**2 - 11*j - 12. Let n be v(12). Solve -5*m - 28 = 2*q + q, n = q + 1 for m.
-5
Suppose 4*w - w - 21 = 5*j, -4*w + 4*j + 20 = 0. Let q be ((-5)/w)/((-5)/10). Solve -3*b = 0, 0*a = 5*a + q*b + 20 for a.
-4
Let a(o) = -6*o**2 + o - 2 - 3*o**3 + 0*o + 4*o**3 + 5*o. Let f be a(5). Solve 3*x + 0 = -2*v - 2, 3*x + f = -3*v for x.
0
Let h = -68 + 144. Suppose 4*b - h = 4*n, -3*b + 5 = n - 32. Solve 0 = 5*d + 4*o + 20, 2*d + 1 = -3*o - b for d.
0
Suppose 2*z = -2*z - 16. Let w be z/14 + (-23)/(-7). Solve 5*i + 3 = w*u, 0*u = -4*u - i + 4 for u.
1
Let p(t) = t**2 + 2*t + 2. Let m be p(-2). Let z = 56 - 54. Solve l = m*w - l - 2, 0 = 5*w + z*l - 19 for w.
3
Let t = -13 - -15. Solve -q = -z - t, 3*z + q + 0*q + 18 = 0 for z.
-5
Let i(g) be the third derivative of g**4/24 + 13*g**3/6 - 5*g**2. Let w be i(-9). Solve 3*r + 9 = -3*n, w*r + n = 6*n + 15 for r.
0
Let x(m) = -2*m - 17. Let n be x(-11). Solve -o - 11 = 3*d - 0, d = -n for o.
4
Let k(g) = -g**2 - 5*g - 4. Let z be k(-2). Solve -2*t = 3*t - m + 14, 0 = -z*t + 3*m - 16 for t.
-2
Let q(d) = d**2 + 7*d - 9. Let i be q(-8). Let a = i - -1. Suppose -2*m + 3*z = -21, 18 = m - a*m - 3*z. Solve -m*v = 5*n + 17, -3 = v - 5*n - 24 for v.
1
Let y(u) = 5*u - 23. Let k be y(5). Suppose h = 5 - 0. Solve -k*x + 5*c + 2 = -0*x, 0 = 5*x - 3*c - h for x.
1
Suppose v - 4 = 2*r - 11, 4*v + 14 = r. Let o = 2 + r. Solve -q = 2*n + 4, -4*q - 8 = -o*n + 8 for q.
-4
Let h(i) = -3*i**2 - 3*i**3 - 1 + 3 + 2*i + 4*i**3 + 0*i**3. Let g be h(3). Solve -s = 3*w - g, 5*s = -2*w - 0*w - 12 for s.
-4
Let z = -47 - -50. Solve -2*f - 3*k - 8 = 0, z*f - f = -4*k - 10 for f.
-1
Let j(l) = 8*l - 4 - 20*l + 8*l. Let p be j(-5). Solve 6*f - 4*i - 32 = 2*f, -p = -3*f + i for f.
4
Let g(u) be the second derivative of u**4/12 - u**3/2 - 2*u**2 + 7*u. Let y be g(4). Solve 0 = d - 5*z - 14, 1 = 2*d - z - y*z for d.
-1
Let m(a) = -9*a. Let r be m(0). Solve -3*d + b = -r*b + 15, -4*d + 3*b - 20 = 0 for d.
-5
Let k(i) = -4*i**3 + i**2 - i - 1. Let c be k(-1). Solve -2*l + 4 = -3*n, 3*n + c + 6 = -5*l for l.
-1
Let l(x) = -x - 1 - 3 + 0*x. Let p be l(-5). Solve 2*t + r = 4*r, 2*r = t - p for t.
-3
Suppose y - 14 = 2*i, y - i + 2 = 2*y. Let t be 3/y*2*4. Suppose -t*h + 8 = -12. Solve h*u + 20 = 4*k, -5*k + 10 = 5*u - 3*k for u.
0
Let z be -2 - (3 + 75/(-3)). Solve 5*s - 2 = 2*h - z, s - 5*h + 22 = 0 for s.
-2
Let t be -1*(-5 - -5)*1. Let d(g) = -2*g**3 + 3*g**2 - g + 2. Let m be d(2). Let u be (-10)/m*(-4)/(-5). Solve u*y + 12 = -2*f, t*f - 3 = 3*f for y.
-5
Let h be 11 + -1 + -1 + 15/(-5). Solve w + 9 = 5*q, -3*q + 25 = -4*w + h for q.
1
Suppose -4*k + 60 = -f, -k = -5*f - 14 - 1. Suppose -3*u = l - 2*l + k, 2*u = 2*l - 14. Solve 3*x - 23 = -4*t, -14 = 3*t - l*x - x for t.
2
Let b be (4/4 - 9)*-40. Let k be b/70 - 3/(-7). Solve -2*d - k*j - 16 = 0, -2*d + 16 = j - 4*j for d.
2
Suppose 4*c = 3*c - 5*u + 9, 2*c + 5*u = 13. Let p = 1 + c. Solve 2*d = 3*v + d + 7, -12 = p*v - 2*d for v.
-2
Suppose 3*p = 8*p - 80. Let o = -4 - -7. Let c = -1 + o. Solve -c*x - 4*y - p = x, -15 = 3*x + 3*y for x.
-4
Let d be (2/6 - 1)*-6. Let v be (-1)/(-4) + (-21)/(-12). Let l be v + 2 + 4 + -3. Solve -l*a + 25 = -0*h + h, -3*h - 20 = -d*a for a.
5
Let n = 93 + -68. Solve -5*y + 2*i + 23 = 0, -4*i + 9 - n = 0 for y.
3
Let x = 12 + -7. Let m(h) = h**2 - 8*h - 8. Let a be m(9). Let z be a*((-54)/(-3) + -3). Solve 2*b = x*v - 15, z = 4*b + b - 2*v for b.
5
Suppose 0 = 5*k - 10. Suppose -x + 3*x - 4 = 0. Solve -x*o - 2*m = 14, 2*m - m = -k*o - 11 for o.
-4
Let f = 6 - 4. Suppose -f*n = -1 + 5. Let m be 2*3/(-3)*n. Solve y - 4 = -m*v, 2*v + 5*y + 0*y - 2 = 0 for v.
1
Let l(z) = z**3 - 8*z**2 + 5*z + 11. Suppose -3 = -2*j + 13. Let s be l(j). Let d be (-6)/9 + s/9. Solve -3*k + 0*k - 4 = -2*t, 3*k + 1 = d*t for k.
-2
Let j(u) = u**3 - 3*u**2 + u. Let y be j(2). Let w be (15/10)/((-1)/y). Solve 0 = 4*f - 4*n + 12, 0 = -2*f + 5*f + 3*n - w for f.
-1
Suppose 9 = h + 1. Let u(k) = -k**3 + 8*k**2 + 2*k