-1 + 1. Solve 5*t - 5*p + 5 = b, -t - j*p + 13 = -4*t for t.
4
Let a(z) = z**2 + 3*z + 5. Let g be a(0). Solve 0 = -2*x + g*u - 25, -3*x - 3*u = 2*u - 25 for x.
0
Let j be 3/5 - (-492)/205. Solve -j*n - 2*n - 2*g = -10, 2*n = 4*g - 20 for n.
0
Suppose 0*b - 3*b = -12*b. Solve h - 3*s - s = -3, -5*s = b for h.
-3
Let i(d) be the first derivative of -d**2/2 - d - 4. Let k = -5 - 0. Let l be i(k). Solve -3*n - 7 = b, -l*n + 2*b + b - 5 = 0 for n.
-2
Suppose 2*n = 4*o + 2, -3*n - 26*o + 21 = -23*o. Solve 2*y - 5*h = -3*y - 15, n*y + 2*h + 22 = 0 for y.
-4
Let u(l) = -l + 12. Let y be u(6). Let f = 10 + y. Solve -3*w - 2*z = -2*w - 1, 3*z = -5*w - f for w.
-5
Let k(t) = -t**2 - 8*t + 15. Let j be k(-11). Let a = -13 - j. Solve 2*w = -l + 9, a*l - 3*w + 12 = -8 for l.
-1
Let p be ((-2 + 3)*-3)/(48/(-64)). Solve -p*a = -2*b - 13 - 11, 3*a = 2*b + 20 for b.
-4
Let f(a) = a**2 + 4*a + 4. Let p be f(0). Solve -n - n - 2 = -p*x, 5 = 5*n for x.
1
Let z(y) = -3*y**2 - 35*y + 54. Let r be z(-13). Solve -2*b = -10, -20 = -r*h - 2*b - 2*b for h.
0
Let y(a) = 2*a - 22 - 864*a**3 + 865*a**3 + 12*a - 13*a**2. Let v be y(12). Solve -14 = -3*f + 2*f + 2*t, -v*f - 2*t - 2 = 0 for f.
4
Let t(w) = w**2 - 9*w + 14. Let l be t(7). Solve 5*y - b + 7 + 14 = l, -3*y - b - 11 = 0 for y.
-4
Let v = -1953 - -1967. Solve -11 = c + 4*r, -r - v = -12 for c.
-3
Let h be 2/(-7)*(57 - 64). Solve z = 3, h*y - 2*z - 3 = 1 for y.
5
Suppose 3*y + 7 = 25. Suppose -9 = -i - 3. Solve -3*j - f - 2*f + y = 0, f = -2*j + i for j.
4
Let d(q) = -q**2 + 21*q + 24. Let a be d(22). Solve -a*w = -4*o + 24, 3*w = -3*o + 5*w + 20 for o.
4
Let h be (-3)/(-1) + 5 + -19 + 11. Solve 2*w + h*s = 5*s + 8, 0 = 2*w + 4*s - 8 for w.
4
Suppose -h - 2 = l - 0, -3*l + 4 = h. Let w be ((-5 - 0)*1)/(-3 + 2). Suppose -w*b + t = -27, -5*b = 4*t - 20 + 3. Solve 2*y + 4 = -l*y + f, -f - b = 4*y for y.
-1
Suppose -13*n = 46 - 189. Suppose 2*r = k + 5, -3*r + n = -4. Solve 0 = -2*h - 3*d - 9, 0 = -k*h + h - 5*d - 13 for h.
3
Let p(o) = 2*o - 1. Let i be p(3). Let w be ((-7)/(-1))/(((-6)/(-1))/6). Solve i*l = -h + w, 5*h - 10 = -2*l + 2 for l.
1
Let s be (-12)/(-3) + (-18)/9. Solve 3*o = -s*b - 0*b + 5, 0 = -b + o - 10 for b.
-5
Let q(l) be the first derivative of -l**2/2 + 15*l + 4. Let u be q(10). Solve -33 = u*r + 2*k, 0*r + 2*r + k = -14 for r.
-5
Let u(r) = 5*r + 5. Let y be u(3). Let k be (-10)/y*0/2. Solve 0 = d - 5, -3*o - 4*d = -k*d - 17 for o.
-1
Suppose 6*d + 12*d = 144. Solve k + f = 1, 2*k + 6*f = f + d for k.
-1
Let g(p) = p**2 - 4*p - 2. Let s(y) = y**2 - 5*y - 2. Let m(k) = 6*g(k) - 5*s(k). Let o be m(-3). Solve -17 = 4*a + 3*b, a = -3*a + o*b + 4 for a.
-2
Let l = 139 + -237. Let q = -95 - l. Solve 5*c + 5*o - 2*o + 8 = 0, 3*c + q*o + 6 = 0 for c.
-1
Let m = 137 + -142. Let s be (-332)/(-36) + ((-235)/45 - m). Solve s = x - 5*v, -3*v = x + v for x.
4
Suppose -91*j = -87*j - 36. Solve 2*c + m = 3*c - j, 2*c = -2*m + 2 for c.
5
Suppose 0 = -2786*k + 2794*k - 24. Suppose 5*l = -5*b + 4*l + 22, 35 = 4*b - 5*l. Suppose 4*w - b = 7. Solve -5*v = -k*u + 10, -w*v + 0 - 2 = -u for u.
5
Suppose 63*q - 350 = 28*q. Solve 5*b + 7*j = 3*j - 8, -5*j - q = 2*b for b.
0
Let y be ((-10)/6)/(2/(-6)). Suppose -5*b - 110 = -3*k, -3*k + 3*b = 5*b - 145. Let t be k/(-105) + (-3)/7*-1. Solve -i = -3*u - t*i - 4, -y*i = 5*u - 20 for u.
0
Suppose 2*t + 13 - 25 = -3*u, 2*t = -4*u + 16. Solve -2*o + t*a - 25 = 5*a, -o - 4*a - 20 = 0 for o.
0
Let n be -4*((-322)/(-4))/(-7). Let i = n + -42. Solve -i*w + 20 = 4*v - 3*v, 0 = -4*w + 3*v + 20 for w.
5
Let u = 6 + 8. Let h = -14 + u. Solve 6*c - c = 3*i - 7, h = -i - 3*c - 7 for i.
-1
Let q be 2*(1 + -2) + 5. Let t = -64 - -66. Suppose -3*o + t*o = 4*o. Solve 5*h = 3*p - 31, -p - h - q = -o*h for p.
2
Let c be ((-8)/(-5))/(4/(-20)). Let g = c + 12. Suppose -4*s + 4*n = -28, -3*s + g*n + 20 = -s. Solve 0 = k + 3*x + 4, -s*x = -2*k - 6 + 28 for k.
5
Let d(x) = x**2 - 5*x + 1. Let r be d(9). Let u = -25 + 4. Let s = r + u. Solve a - 11 = 2*c + c, 0 = -4*c - s for a.
-1
Suppose -2*d + c = -25, 9 + 12 = 2*d + 3*c. Solve 5*a + 7 = -x - d, 4*x + 5*a = -31 for x.
-4
Let z(p) = -p**3 + 4*p**2 - p - 3. Let n be z(3). Let y(u) = -6*u + u**2 + n + 1 - 7*u + 6*u. Let l be y(7). Solve 6*m - l*s = 2*m, -3*m - 20 = s for m.
-5
Let p be (-1)/(-2) - (-42)/4. Let c(r) = -r**2 + 10*r + 12. Let l be c(p). Suppose 5*q + l = -24, q = -w. Solve 4*g + 3 = -3*s, w = 3*s - 4 for g.
-3
Let b(i) = -2*i**2 + 13*i + 8. Let z be b(6). Solve 2*c = 4*o - z, 2*o - 11 = -c - 2*c for o.
4
Let i = 2797 - 2794. Solve 3*v + 5*m + 26 = 0, -i*v + 4*m + 11 = 1 for v.
-2
Let x = -70 + 73. Suppose 0*w + x*w - 6 = 0. Solve w*n = -a - 13, -17 = 5*a + 2*n + 16 for a.
-5
Suppose 4*s = 3*z - s - 32, 0 = -3*z - 3*s. Solve -4*h + z*r + 1 = r, -2*h - 4*r + 6 = 0 for h.
1
Suppose -2*w - 6*w = -8. Let o be 0/(-6 - 1/(w/(-3))). Solve 3*i + 3*q - 21 = -o*q, i - 2*q = -5 for i.
3
Suppose -s - s + 2*z = 2, 0 = -3*s + z + 7. Suppose 15 = -3*m, -s*t + 2*m = 7*m + 105. Let b = -17 - t. Solve 3*x = -5*y + 16, -3*x + 0*x = b*y - 12 for y.
2
Suppose -12 = -2*z - z. Suppose 2*w = -2*l + 2, 0*l = -4*w - l - 8. Let d(b) = -b**3 - 3. Let t be d(w). Solve -y - z*c - t = 0, -5 - 26 = 4*y + 3*c for y.
-4
Suppose -7 = -5*a + 3. Suppose -a*l - 5*c + 16 = 0, -3*c - 3 = -3*l - 0*c. Solve -16 = l*k - 4*g, g = 2*k + 8 + 1 for k.
-4
Let a(y) = -y**2 - 13*y - 3. Let h be a(-13). Let p be ((-18)/(-5) + h)/((-2)/(-10)). Solve -p*s = 2*j - 2*s + 5, -j - s = 0 for j.
-5
Let b = 7 + -5. Suppose -k = b - 5. Suppose k*f + 2*f = 20. Solve 5*r + 10 = 3*r, 0 = 4*m + f*r + 28 for m.
-2
Let c = 5 - 1. Solve -r = 2*r + 4*d + c, d - 8 = -3*r for r.
4
Suppose -5*f = 3*x - 468, f - 1 + 4 = 0. Let k = x + -158. Solve -4*p - 10 = -9*p, -k*i + 2*p = 7 for i.
-1
Suppose 4*w + 4*w = -256. Let y = -26 - w. Suppose -3 = -3*r + 3. Solve -5*d = -3*t, r*t + y = d + 13 for t.
5
Let h(l) = 7*l + 163. Let x be h(-23). Solve 3*s - 2 = -4*u + x, 0 = -5*s + 4*u - 36 for s.
-4
Suppose -21 = -8*c + 43. Suppose -2*w + 1 = -3. Solve -a = -h - w + c, 0 = a + 4 for h.
2
Let t be 1/(1/(-12)*-3). Let x = -2 + t. Let o be ((-5)/(-4))/(1/4). Solve -5*v + 3*v + o*m = 14, -4 = -x*v - 4*m for v.
-2
Let v(n) = n**2 + 2*n + 3. Let d be v(-2). Suppose 125*y = 135*y - 180. Solve -8*m + d*m = -3*k + 22, -2*k + 5*m + y = 0 for k.
4
Let s(k) = 8*k + 72. Let m be s(-9). Solve 0*n - n = m, -x - 4*n + 5 = 0 for x.
5
Let n = 1118 - 1114. Solve 2*g = -3*u + 12, -n*u - g + 16 = -3*g for u.
4
Suppose -h + 0*h - 10 = -2*i, 4*h + 12 = i. Suppose -i*w - 1 = -9. Let d be 11/(w - 1) + -3. Solve 5*t + d = -7, 0 = 5*j - 4*t - 37 for j.
5
Let y = -60 + 115. Let r = 33 - y. Let a be r/(-11) - 4/(-2). Solve -4*w - 9 = 3*m, -2*w - 3 = a*m + 9 for w.
0
Let i(g) = 3*g - 47. Let d be i(17). Let s(t) = 14*t - 4. Let z be s(-3). Let x be z/(-4) + 2/(-4). Solve q - d*p = 17, q + 3*q + 3*p - x = 0 for q.
5
Let j(u) = u**3 + 5*u**2 + 6. Let y be j(-5). Let q(l) = -4*l - 4. Let t be q(3). Let s = -10 - t. Solve 4*m + 20 = 4*f, -4*m - y - s = 4*f for m.
-4
Suppose -6*i = -4*i - 54. Suppose -i = -16*o + 13*o. Solve 0 = -7*b + 3*b + y + 10, -3*y = b - o for b.
3
Suppose 13*m + 441 - 584 = 0. Solve -3*l + 3*p = -5*l + m, 4*p + 16 = 5*l for l.
4
Suppose -3*r = -8*r. Suppose -v + 22 - 6 = r. Suppose 3*w - 3 = -4*i + 6, w - 5*i - 3 = 0. Solve 4*k + v = w*c - 4, -6 = -4*c - 5*k for c.
4
Let z be -22 + (-2)/2 + -4. Let w = -25 - z. Solve 5*f + w*i = 28, 0*i - 28 = -3*f - 4*i for f.
4
Suppose 5*k = -4*m + 25, 2*k - m = -3*m + 10. Solve 5*g + 30 = 2*o, k*g + 9 = -2*o - 1 for g.
-4
Let x(o) = o**2 + 4. Suppose -7*j + 24 = -3*j. Let g be x(j). Let k = 1371 - 1368. Solve -2*h = 3*q + h, k*q = 5*h + g for q.
5
Let f be 1/(3/9)*12/9. Let a(b) = b - 2. Let n be a(4). Solve 8 = n*j + 4*g, -3*j = -f*g + 6 + 22 for j.
-4
Let j be (-2)/((-2)/(-5))*-1. Let u = -32 + 28. Let v be (-18)/u*18/27. Solve j*m + 4*x = 45, 27 - 7 = m + v*x for m.
5
Suppose -3*c - 2*q = 6, 0 = c + 2*q + 31 - 25. Solve -4*o + 5*y - 9 - 4 = c, -y = -1 for o.
-2
Let z(y) = -y**2 - 5*y + 2. Let n be z(-4). Suppose 0 = -4*r + 4*x, -2*x = -0*r + 4*r - n. Solve -5*k - 3*h - 10 = -r, 4*k - 12 = 4*h for k.
0
Let v = -242 + 246. Solve v*d + 3*h = 25, -2*d + 5*h = 12 - 5 for d.
4
Let d be (-30 