 g*p, 2*s - 5*s - p + 1 = 0 for s.
2
Let q = 8 - 4. Let f be 3/24 - (-639)/72. Solve 25 = 5*w - q*g, 3*w + 5*g + 13 = -f for w.
1
Let d = 49 + -46. Solve 0 = -d*p + 2*a - 9, -5*a + 0 = 15 for p.
-5
Suppose 0*y - 25 = -q + 4*y, 0 = 5*q - 4*y - 45. Let k be 28/8*6/7. Solve q*r = -t + 3, t - k*r = 1 + 2 for t.
3
Let x be 3/(-2)*2*-1. Suppose -x*a = a. Let b = 2 + 0. Solve -k - 3*l - b - 8 = a, -2*k = 5*l + 17 for k.
-1
Let j be (2/(-4))/(3/(-12)). Solve -4*q = 2*l - l + 25, -2*q - j*l - 20 = 0 for q.
-5
Let r(i) = 6*i + 47. Let g be r(-6). Suppose n = 2*z + 5*n - 26, -n + 11 = 2*z. Solve -5*t + x = -g, 6*x - z*x = 4*t for t.
3
Let h = 16 - 15. Let p be (-2)/(h - 3) + 4. Solve 5*s + 15 = -p*k, -1 = -2*k + 3*k - s for k.
-2
Let i(n) be the second derivative of -n**3/6 - 4*n**2 - n. Let s be i(-16). Solve 2*x - x = -5*r, -2*r = 2*x - s for r.
-1
Let y(f) = f - 1. Let u be y(13). Solve 4*n = -4*t + 8, 3*t - n = -2 - u for t.
-3
Let p(r) = -r. Let o be p(-2). Let g = 5 - o. Suppose 25 = 2*n + g*n. Solve -3*a + 4*b - 3 = 0, -2*a + 0*a = n*b + 25 for a.
-5
Let d be (-1 + 1)/(0 + 2). Suppose 0*j + 5 = -2*j + 5*i, d = -i + 5. Suppose -5*g + 5 = -20. Solve j = -2*l, -g*z - 5 = -4*l + l for z.
-4
Let u(c) = c + 2. Let x be u(0). Suppose l - x = -4. Let a be 5/(l/6*-1). Solve -4*f + 4*p + 12 = 0, -4 = -3*f + 5*p + a for f.
-2
Let u(g) = -g**3 - 4*g**2 + 2. Let m(h) = 2*h + 4. Let x be m(-4). Let q be u(x). Let d be (-4)/3*1*-3. Solve -q = 2*s + 4*n, -2*s + d*n = 3*s - 9 for s.
1
Let o(v) = -5*v - v**3 + v**2 + 6 - 4*v**2 + 2*v**3. Let r be o(4). Solve p + 0*x = 3*x + 9, r = -x for p.
3
Let w(u) = -2*u - 3. Let p be w(-3). Let g(n) = n**2 + 4*n - 7. Let q be g(3). Solve q = 4*m - 3*a, -15 = -5*m + a - p for m.
2
Suppose -12*y + 32 = -4. Solve -x = s - 1, x + 2 + y = -3*s for x.
4
Let r be (-3 - -4) + -5 + 2. Let n = r - -4. Solve 13 = q - 4*p, -q - 4 = p - n for q.
1
Let j(d) be the first derivative of -d**3/3 + 4*d**2 - 7*d - 1. Let g be j(5). Solve -a - 2 = -w - 0*a, 5*w + 4*a = -g for w.
0
Let j be (12/(-15))/(-1 + (-9)/(-15)). Solve 0*x - j*l = 2*x + 4, 5*x = -2*l - 19 for x.
-5
Let s(x) = 3125*x. Let j(n) = 22*n. Let p(y) = -850*j(y) + 6*s(y). Let h be p(-1). Let m = -25 - h. Solve 3*q + m = -w + 6*w, -w = -q - 7 for q.
-5
Let v be ((-3)/4)/(-1)*4. Suppose -7*b + 2*b = -15. Let z(y) = y**2 + 9*y. Let l be z(-9). Solve l = b*t + v*i + 15, 6*t - 3*t = -i - 15 for t.
-5
Let p = 2 - 0. Suppose 3*i + 4*m - 5 = 0, -5*m - p = 4*i - 9. Solve -s = 2, -5*s + 4 = i*o - 1 for o.
5
Let u be 2/5 - (-6)/(-15). Suppose -4*a = -4*x - 28, -x - 6 + 2 = 0. Let s = -2 + a. Solve u*o = 2*c + 3*o - s, 5*c + 32 = 4*o for c.
-4
Let g = -53 - -61. Solve h - 3*d = 4*h + 9, -3*h - 4*d = g for h.
-4
Let x(n) be the first derivative of n**3/3 + n**2/2 - 2*n - 2. Let h be x(4). Let g be h/4*4/6. Solve g*c - 8 = -d, 3*d - 2 = 3*c + 10 for c.
1
Suppose -4*d = 5*g - 14, -3*g - 2*g - 5*d = -15. Suppose -6*n + n = 0. Solve 4*t - 20 = -n*t - 5*w, 5*t - g*w = -8 for t.
0
Suppose 3*r - 9 = -0*r. Solve -27 = 4*s - r*j, -5*j + j + 11 = 3*s for s.
-3
Suppose -4*x + 4 = -2*x. Let f be x/(-3) - 50/(-3). Solve -4*a + f = 0, -4*a = -3*r - 4 + 3 for r.
5
Let t(h) = -h**3 - 16*h**2 + 2*h + 34. Let p be t(-16). Solve 9*c - 4*c - 4 = -4*z, 3*c - 2 = -p*z for c.
0
Let q(z) = z**3 + 15*z**2 + 24*z - 19. Let r be q(-13). Solve r*x - 4*p = 2*x, -4*x - p = -21 for x.
4
Let o = 6 - 3. Suppose -2*l - 6 = -o*t - 1, -5*l - 2*t + 16 = 0. Suppose l*j - 6 = -j. Solve -h - 3*d - 3 = -4*d, -j*h + 3*d - 7 = 0 for h.
-2
Let x(p) = -p + 14. Let h be x(9). Suppose 4*f = -0*i - 3*i + 10, 2*f = -3*i + 8. Solve -3*t = -2*l + 23, -i*t = -6*t - h*l for t.
-5
Let z be (-4)/2*(-14)/4. Solve s = 2*h + z - 2, 0 = -5*s + 25 for h.
0
Let r(j) = j**3 + 7*j**2 + 7*j - 6. Let q be r(-6). Let n be (3 - 1)*(-18)/q. Solve -n*f + 2*o = 5*o + 3, -f + 19 = -4*o for f.
3
Suppose 3*s - 18 = -2*b, -b + 2*s = -2*s + 13. Suppose 2*r + 5 = -3*r. Let u be (0 + -2)*r*10. Solve -3*o + 22 = -7*m + 3*m, 4*o = b*m + u for m.
-4
Let y(b) = -b**3 + 3*b**2 + b. Let t be y(2). Let p(i) = -7*i - i - 1 - i**3 + t*i. Let x be p(-1). Solve -4*c = -3*c - 3, 11 = -x*o + c for o.
-4
Suppose 4*x - x + 5*c = 22, 3*x + c = 14. Solve -2*p = x*l - 6, 6 = 4*p - 4*l + 18 for p.
-1
Suppose -4 = g - 3*g. Suppose 0 = -h + g*h - 4. Suppose 31 = 5*u - 4*y, 2*y - 5*y - 12 = 0. Solve 0 = -u*v - 12, -s - h*s - 2*v + 2 = 0 for s.
2
Let m be 2/(-4*(-1)/10). Solve -26 = -2*u + u - m*d, -4*u = -4*d + 16 for u.
1
Suppose -5*s + 2*s + 6 = 0. Suppose -3*f + 28 = -2. Let a be (-15)/(-25) + 34/f. Solve 4*r - s*y + 16 = 0, -18 = a*r - 5*y - 2 for r.
-4
Let f(t) = -3 - 2 + 5 - 3*t. Let g be f(-5). Solve 5*m = 4*i + m + 8, -4*i - 3*m = g for i.
-3
Let j(m) = -2*m - 4. Let w be j(-4). Let d = 0 - 0. Solve -w*v + 3*u = -28 + 1, d = 4*v + 3*u + 3 for v.
3
Let y(n) = -2*n - 3. Suppose w - 2 = -6. Let g be y(w). Solve -3*q - 5 = -c + q, 5*c + g*q = 0 for c.
1
Let p(a) be the first derivative of a**3/3 - 5*a**2/2 + 10*a - 3. Let q be p(7). Solve -3*n + 3*j = -q, -3*n + 0*j + 4 = j for n.
3
Suppose -h + o = 4*h - 18, -h + 2 = -o. Solve -5*x = -5*w + 3 - 8, 5*w - h*x = -7 for w.
-3
Suppose -5*y - 5*k = 5, 3*y - y - 5*k = 19. Let w = 9 + y. Solve 3*r = 3*d - w - 1, 3*r + 20 = 5*d for d.
4
Suppose -4*y - 5*h + 11 = -13, -y - 3*h + 6 = 0. Suppose i = -i + y. Solve -s - g - 18 = 3*g, -4*g - 22 = i*s for s.
-2
Let n(q) = q**3 - 22*q**2 - 24*q + 25. Let o be n(23). Solve o*v + 2*d = 6, -6*v = -3*v - 5*d - 1 for v.
2
Suppose -4*v = -3*v - 11. Suppose v*o = 6*o + 5. Solve 5*a - m = o - 0, -3*a = 4*m + 4 for a.
0
Suppose -2*q = -g - 1 - 3, 2*g + 35 = -5*q. Let x = -7 - g. Suppose -3*j + b = -12, 4*j = -x*b + 9 + 7. Solve j*t + 33 = -2*o - 3*o, -t - 5*o = 27 for t.
-2
Suppose 3*c = -4*o + 24, -6*o + 3 = -o - 3*c. Solve 0 = -o*d + 15, -3*s - d + 0*d = 10 for s.
-5
Let g be 0 + 26/(-1*2). Let j = -9 - g. Let m(f) = f**2 + 6*f + 6. Let v be m(-6). Solve -3*w - v = -2*u - 0*w, -j*u - w - 16 = 0 for u.
-3
Let k be 3/(-6)*(-4)/1. Suppose -4*v = -3*i - 2*i + 7, -k*i + 5*v - 4 = 0. Suppose i*z = 6*z - 9. Solve 5*s - 5*b - 50 = 0, -3*s + 0*s = z*b for s.
5
Let j be (-9)/3 + 44 + -1. Suppose -4 - 11 = 5*m + h, 0 = -m + 3*h - 3. Let a be -3 + 2 - m - -2. Solve -5*n - 4*k = -9*k - j, -5*k - 13 = a*n for n.
3
Suppose 7*y - 3*y - 12 = 0. Suppose y*k = 5*k - 8. Solve 0 = k*o, 0 = -0*j + 2*j + o + 2 for j.
-1
Let u be (-2)/(-4) + 35/10. Suppose -u*j + 40 = 8. Let a(h) = 5*h. Let l be a(1). Solve -d + b = -2*d - j, -l*b = -d + 22 for d.
-3
Let k be 0 + 3 + -5 + 0. Let d be k/1 - (4 - 10). Solve 4*o = 0, 0 = 2*s + d*o - 9 + 1 for s.
4
Suppose 0 = -4*w - w - j + 18, 4*w - 21 = -3*j. Solve 0 = -4*h + 2*o - 2, -2*o - 1 = -2*h + w for h.
-3
Suppose 3*j - 5*j + 18 = 0. Let z be (-2)/(-6) + (-183)/9. Let o be (-8)/z - (-4)/(-10). Solve -j = -3*k - 0*k - 3*b, o = 4*k - 2*b for k.
1
Suppose 2*j = j + 1. Let q(y) be the first derivative of y**2/2 + 5*y + 2. Let i be q(-5). Solve 5*g - 2*m - 4 + j = i, -7 = -g + 2*m for g.
-1
Suppose h = 2*w - 1 + 22, 2*w = 5*h - 105. Suppose 4*g = 2*o - 0*g + 6, 8 = 2*g. Solve -o*b + 23 + 17 = 4*f, h = 4*b + f for b.
4
Let b = 46 + -42. Solve -3*i = -8*i + b*x + 6, 3 = 2*i - x for i.
2
Let m = -12 - -16. Solve 0 = -3*t - m*s - 28, 5*t - 6*s + s = 0 for t.
-4
Let q be 0/((-1 - -3)/2). Let i(z) = z - 37. Let s be i(0). Let y = 62 + s. Solve -n = -5*r - y, -2*r = 3*n - q + 10 for r.
-5
Let g(d) be the second derivative of 3*d - 5/6*d**3 - 3*d**2 + 1/12*d**4 + 0. Let o be g(6). Solve o = -4*c + u, -4*u = -c - u for c.
0
Suppose 0 = -s + x + 2*x - 2, -4*x - 4 = 0. Let y(m) = m**2 + 5 + m**2 - m**2 + 3*m + 2*m. Let r be y(s). Solve 2*w + o + 0*o + 13 = 0, -3*o - 35 = r*w for w.
-4
Let k = -7 + 12. Suppose z = k*z - 16. Solve -4*v + 5*b = 20, -3*v - 3*b - z = -16 for v.
0
Let t(f) = -f - 5. Let o be t(-8). Suppose 5*a - 2 = -4*x + 6, 3*a - o = -3*x. Let z be (-15*1)/x - 0. Solve 5*q - i - 16 = i, -z*i + 14 = q for q.
4
Suppose 0 = 2*p + 10 - 2, 0 = -a - 3*p - 12. Solve j + 2*i = 2*j, a = -j - 5*i for j.
0
Let w = 141 + -137. Solve 2*v + w = l + 2, -2*v = 4*l - 18 for v.
1
Let r be 10/15*3/(-1). Let h(g) = 2*g**2 + 3*g + 1. Let f be h(r). Let o be (-2)/5*-5*1. Solve -2*i + 5 = -5*v, -f*i - o*v = -6*v - 