Solve n = 3*r - 4*f, -4*r = -3*r + 3*f + 10 for r.
5
Let s(f) be the second derivative of -f**3/2 - 5*f**2 - 6*f. Let d be s(-4). Suppose 1 = d*k - 3. Solve k*p + 2 - 6 = -2*n, 0 = -3*p + 3*n for p.
1
Let a = -892 - -896. Solve 16 = -a*z - 4*i, -12 = z + 5*i - 4 for z.
-3
Let y(k) = -k**3 + 9*k**2 + 15*k - 12. Let x be y(10). Let s be (-1 + -54)*x/(-95). Solve 5*h + s = 3*g, 3*g - 2*g - 6 = h for g.
4
Let j = 125 - 54. Let b = -66 + j. Solve 3*x = h - b, -2*x = h - x - 1 for h.
2
Let f(p) = p**2 + 16*p - 14. Let c = 107 + -125. Let t be f(c). Solve -2*j - 3*i - t = 0, 0 = -0*j + 4*j + 2*i + 28 for j.
-5
Let k = -4 + 16. Let v be -12*3*(-3)/9. Solve 4*s = -v, -s + 5 + k = 5*r for r.
4
Let y = 22 + 6. Suppose -10*m - 3 = -11*m. Suppose 5*b + m - y = 0. Solve 3*o + 12 = -3*l + 2*l, -b*o - 20 = 5*l for l.
0
Let x be (-2 + -3*3)*-1. Suppose -72*u + 15 = -67*u. Suppose -10*r + x*r = u. Solve 4*y = -r*a + 2*a + 14, 5*y + 3*a = 14 for y.
4
Suppose 3*y = 14*y - 44. Solve 0 = 5*z - 2*u + 4 + y, -4 = 4*u for z.
-2
Let l(q) = -q**3 - 10*q**2 - 16*q + 2. Let v be 1 + (3 - 3) + -2 - 7. Let k be l(v). Let u = -6 + 11. Solve 0*c - u*n + 17 = -k*c, -4*c + 3*n = 13 for c.
-1
Suppose -265 = -30*m - 23*m. Solve 0 = 5*c - 4*i - m, 3*c - 4*i = 15 - 4 for c.
-3
Suppose 0 = -4*v - 8*d + 4*d + 4, 0 = -v - 3*d + 7. Let u be (v/(-2))/((-6)/(-24)). Solve -u*y + 3 = 15, -2*y + 6 = 4*s for s.
3
Suppose 0*l + 35 = 7*l. Solve 2*n - l = -3*n + v, -3*n - 4*v + 26 = 0 for n.
2
Let t be ((-25)/35 + 1)*(8 - 1). Suppose -h + 4*h = -t*d + 15, h = 1. Solve 4*r + 1 = -4*b - 3, -4*b - 5*r = d for b.
1
Let k(d) = d**3 + 4*d**2 - 8*d - 13. Let a be k(-4). Suppose a*r = 22*r - 12. Solve 0 = 3*l - 3*s - 3, 2*l + r = 3*s + s for l.
4
Let l be ((-8)/14)/(316/(-1106)). Solve 4*y + 5*n + 7 = 2*n, -2*n = 2*y + l for y.
-4
Suppose -z - g + 4 = 0, -14*g - 2 = z - 11*g. Solve -5*s - 5 = -w, -5*w + 2 = -z*s + 5*s for w.
0
Let m be 1*0/(-2) + 10. Let u = 179 - 277. Let y = u + 102. Solve -9*c = 4*p - y*c + 45, 0 = 2*p - 4*c - m for p.
-5
Let o be (1/(-8)*2)/(3/(-60)). Suppose 5*g = -2*h - 2*h + 14, o*g - 4*h = 6. Solve -g*m = -3*y - 16, -m = -8*y + 3*y - 22 for y.
-4
Let o = -3 - -7. Let s be (-1)/3 - (-20)/6. Suppose 2*u - 22 = -4*h, -u - 3*h = s*u - 29. Solve 0 = u*j + 5*d - o - 11, 3*j - d = -11 for j.
-2
Let m be 1*(4 + 0) + -3. Suppose j - 6 + m = 0. Solve j*a = -5*q + 10, -a + 1 - 3 = -3*q for a.
1
Let x(y) = -22*y**3 + y + 1. Let d be x(-1). Let b = 32 - d. Solve 6*i + 2 = 4*i + 2*p, 2*i - 5*p = b for i.
-5
Suppose -50 = -k + 5*h, 1 = -h - 0. Suppose -9*j = -99 - k. Solve -4 = 2*r + g, 0*r - 3*r - j = -g for r.
-4
Let s(k) = k**2 - 6. Let b be s(-3). Suppose 3*y = b*p - 57, -p = -5*y + 2*y - 15. Let d be 5/(15/p) + -4. Solve 3*r = -2*a + 6, 0 = 5*r - d*a - 8 - 2 for r.
2
Suppose -3*a = -a - 58. Suppose -m = -32 + a. Solve 3*d = -b, 2*d + 14 = 3*b - m*d for b.
3
Let k(q) = q**3 - 6*q**2 + 5*q - 27. Let h be k(6). Solve -h*z + 14 = -4*w, 0 = 11*w - 6*w - 3*z + 19 for w.
-5
Let n be 3 + 0/(5/20*4). Solve 0 = -w - 4*o, -4*o = n*w - 7 - 1 for w.
4
Let n = -274 + 274. Solve -4*l - 19 = -i, l + n*l = 5*i for l.
-5
Let n(q) = -q**2 - 7*q - 6. Let p be n(-2). Solve 4*k + 8 = -3*o, p*k - 9 = -o - 25 for k.
-5
Suppose -3*r + 23*a - 10 = 27*a, r = -2*a - 6. Suppose 7*k = 3*k + 16. Suppose 3*b - k*b = -5. Solve b*f = 15, 4*l + l - r*f = -6 for l.
0
Let i = 2 + 1. Suppose -i*p = -2*a - 40, -42 = -3*p - 0*p + 3*a. Solve -3*g = p, 4*n - g = n + 13 for n.
3
Let k(b) = -2*b - 3. Let c be k(-4). Suppose -i + 27 = d, -c*d - 10 = 2*i - 67. Let l = i + -21. Solve -4*m - 5*u = -3*m - l, -2*u + 2 = 4*m for m.
0
Suppose 0*f - 4 = -f. Suppose -4*y + 300 = 4*t, 2*t - 300 = -f*y - 0*t. Let o be ((-8)/(-10))/(30/y). Solve -2*r = 3*w - 8, 6*r = w + o*r - 12 for w.
4
Let c be (-1 - -13)*34/12*3. Let b be ((-1)/2)/((-17)/c). Solve -2*k - 3*a + 1 = -0*k, 0 = b*k + 5*a - 2 for k.
-1
Suppose 0 = -3*v + 3*s - 27, -3*v - 4*s - 4 + 5 = 0. Let x(n) = 2*n + 1. Let w be x(1). Let p = w - v. Solve z - 4 = -j + 3*j, 0 = -2*j - 2*z + p for j.
0
Let z = -30 + 30. Solve 0*x + x - 19 = 4*f, z = -2*f - 3*x - 13 for f.
-5
Let o = -78 + 130. Let x = o - 49. Solve -3 = -3*s - x*b, 3*s - 3*b = -1 - 26 for s.
-4
Let x(c) = -c. Let a = 18 + -18. Let q be x(a). Suppose q - 9 = -3*u. Solve u*s + 18 = 3*b, 0*s - 5*s - 20 = 0 for b.
2
Suppose 64 + 436 = 5*n. Suppose -5*l = -0*l - n. Solve 2*x = 2*i + 7*x - 8, -5*i + l = x for i.
4
Let f(s) = -s - 7. Let k be f(-11). Suppose l - k*l = -12, -2*l = -d - 22. Let i = 17 + d. Solve 0 = 3*h - 3*u + 2 + 19, -14 = -i*h - 4*u for h.
-2
Let t(d) = 5*d**2 - 82*d + 105. Let r be t(15). Solve -4*l + 2*m = 30, -3*l + 5*m - 63 + 23 = r for l.
-5
Let a(l) = 2*l + 14. Let i be a(-6). Suppose w = i*w - 3. Solve 5*s + 23 = -2*u, -2*s - 2*s - w*u - 24 = 0 for s.
-3
Suppose 1351*n + 24 = 1353*n. Solve -g - 5*z - n = -5*g, 0 = 3*g + z - 9 for g.
3
Let x = -86 - -90. Solve 0 = 2*t + q - 3, x*t + 1 = q - 2 for t.
0
Suppose -5*z + 35 = 3*t, -3*z + 18*t - 16*t = -2. Solve -p - 15 = 3*n, -z*p - 24 = 6*n - 3*n for p.
-3
Let c be ((-4)/(-8))/((-2)/(-12)). Suppose -3*f = -g + 5 + 7, 5*f - 50 = -c*g. Solve -g = 3*q + 3*x, 3*x = q - 5 - 6 for q.
-1
Let h = 167 + -137. Suppose 4*c - 16 = 0, 12 - h = -a - 4*c. Solve -a*z + 9 = 3*z - s, -5*z - 2*s = 3 for z.
1
Let q = 46 - 17. Let v = 32 - q. Solve 2*s - 7 = -i, -v*s + 0*i - 2*i + 9 = 0 for s.
5
Let d = -8 - -10. Suppose -4*g - 5 = -x - 6, 2*g - 8 = -d*x. Suppose 2*c - x*f = 2*f, c - f - 6 = 0. Solve 5*q = -5*t - 15, -4*t - 3*q + 0*q = c for t.
-1
Let j(a) = 3*a - 3. Let d be j(2). Let m be 38/(-4)*2*-1. Let h(q) = q - 16. Let v be h(m). Solve d*c = -k + 1, -v*k - 4 - 3 = -c for k.
-2
Suppose -2*s + 5*n - 210 = -6*s, 3*s + 4*n = 158. Suppose -25 + s = 5*g. Solve -g*m - 2*x + 11 = 0, -m + 3*m = -2*x + 8 for m.
1
Let q = 1359 + -1359. Solve -4*o = 4*s + 8, 4*s + 11 = -q*s - o for s.
-3
Let x be (-9)/(-12)*(-4 + 0). Let g be 1/x + 32/6. Let n = 28 + -14. Solve 8 = -y + 3*u - 0, g*y + 3*u = n for y.
1
Suppose m - 2*m = -3. Solve -2*v + 3*a - 3 + 7 = 0, m*a = -v - 16 for v.
-4
Let j(a) = 3*a**3 - a**2 - a + 3. Let z be j(1). Suppose -s = 5*i - 2, 5*s - 22 - 9 = -z*i. Solve v - q - 4*q = s, 0 = -v + 3*q + 3 for v.
-3
Let w(q) = -q**3 - q**2 + q + 1. Let x be w(0). Suppose 0 = -26*i + 39*i - 65. Solve i*d + 3*c + 1 = 3, -x = c for d.
1
Suppose 7 = -3*k + 106. Let l = -7 + 9. Let v be 1 - l - (2 - k). Solve w + w + 4*p = 10, -5*w = -p + v for w.
-5
Suppose -t + 4*t = 21. Suppose -3*u = -20 - t. Suppose 3*l + 16 = 58. Solve 0 = 3*w - u, p - 2*w = -3*p + l for p.
5
Let p be (-10 - -10) + (0 - -3). Solve -f + 1 = -g, g - 1 = -p*f + 6*g for f.
2
Suppose 3*i - 2*j + 7*j - 34 = 0, i - 18 = -3*j. Solve -3*s + 0*v + 10 = v, s - i*v - 20 = 0 for s.
5
Suppose -732 = -20*t + 32*t. Let u = t + 65. Let p = 1 + -1. Solve i = p, 2*x - u*i - 10 = -i for x.
5
Let r(i) = -i**3 - 9*i**2 + i + 12. Let x be r(-9). Solve -x*l - 30 = 5*m, -2*l + 4*l = -2*m - 16 for l.
-5
Let v = -100 + 136. Suppose -v = -9*m - 3*m. Suppose 5*b = -4*n - 20, 2*n + 7 + 3 = -3*b. Solve -p = -x, 2*p + 0*x - 3*x + m = b for p.
3
Suppose 29 - 80 = -17*h. Solve -5*t = -2*i - h*i + 40, -5*i + 20 = 0 for t.
-4
Suppose 0 = 4*z + 5 - 25. Suppose 0 = 2*k + v - 18, -k = -z*v - 4 - 27. Suppose -6*f + k = -1. Solve -5*i = 2*a + f, -i = a + 4*i + 1 for a.
-1
Let n be ((-1)/(1/(-7)))/((-47)/47). Let q be (n - -8)/((-2)/(-22)). Solve -q = 3*d - u - u, 4*u = -d - 13 for d.
-5
Let x be (-140)/(-20) + 6/2. Suppose 3*a - x*a + 70 = 0. Solve 10 = -v - v + 3*p, 0 = 2*v - 5*p + a for v.
-5
Suppose n + 4*n = -5*x + 100, n - 30 = -3*x. Solve 0 = p - 5*p - 3*t - 15, 3*p = 3*t + n for p.
0
Suppose 17*o = 15*o. Solve -4*h + 2*r - 8 = o, 0*h + 2*h + 2*r + 10 = 0 for h.
-3
Let k = 268 + -265. Solve -4*m + 32 = k*c - 7*c, 4*m - 5*c = 37 for m.
3
Suppose 2*f + 2*c - 2 = 10, 2*f + c - 8 = 0. Let j(n) = 21*n**2 - 32*n**2 + 12*n**2 - 3*n - 6. Let b be j(5). Solve 2*p = -g + 3*g, 0 = -f*p - b*g + 12 for p.
2
Let m(w) be the second derivative of -1/12*w**4 - 5*w**2 + 0 + 5/2*w**3 - w. Let y be m(14). Solve 0 = k - y*g + 25, g - 3*g = 2*k for k.
-5
Suppose 3*m - 120 = -105. Solve 20 = -m*o + v + 2*v, 0 = -2*o + 5*v - 27 for o.
-1
Let l(a) = 6*a + 38. Let t be l(8). 