 - z = -c for n.
-3
Let x be (-1 - -2)*(-5)/(-1). Solve -3*b - 11 = 4, x*b + 28 = -3*n for n.
-1
Suppose -6 + 1 = -5*f, -10 = -2*g - 2*f. Suppose -g*y - 36 = -10*y. Let h(p) = -2*p - 4. Let x be h(-4). Solve x*n = s - 0*s + 4, s - y = -n for n.
2
Suppose -10 = -d - 1. Suppose 0 = -3*i - 0*i + d. Suppose 5*x - 4 = 21. Solve x*y - y - 17 = 5*k, 3*k = -i*y - 21 for y.
-2
Let l = -15 + 16. Solve -4*y + 8 + 2 = -2*c, -3*y = 5*c - l for c.
-1
Let b(u) be the second derivative of u**5/20 + u**4/6 - u**3/2 + u**2 + 2*u. Let d be b(-3). Solve w - 17 = 5*q, d*q - w = 2*w - 12 for q.
-3
Suppose -4*n - n + 90 = 0. Solve 2*r - p = 3*p - n, 5*p - 21 = 2*r for r.
-3
Let l(a) = -a**3 + 1. Let b be l(0). Let h be b/(6/3 - 3). Let v = -1 - h. Solve -3*p + 11 = -2*f + 4*f, 2*f + 4 = v for p.
5
Let y(q) = q**2 + 5*q - 10. Let i be y(-8). Solve 0 = -4*r - 4*t - 24, 4*r + 2*t = 3*t - i for r.
-4
Let y = -3 + 7. Let r(n) be the second derivative of -n**5/20 - n**3/6 + n**2 - 7*n. Let f be r(0). Solve 2*l = -b - 7, -f*l + y*b = -7*l - 13 for l.
-5
Let n = 20 + -7. Let o = -10 + n. Solve -s + 2*s + 2 = 0, -o*t = s - 4 for t.
2
Let p(l) = l**3 + 11*l**2 + 8*l + 7. Let q be p(-10). Suppose 42 = 3*g - q. Solve -z + 5*k - g = 0, 3*z + 2*z + k = -11 for z.
-3
Let j(t) = t - 4. Let p be j(12). Suppose 2*w = -l + 6, 0 = -5*w + 4*l - 5*l + 15. Solve g + 4*k - p = w*g, 5*k - 16 = g for g.
4
Let h be (-8)/(-28) - 164/(-14). Suppose -5*y = 2 - h. Suppose 4*r + 28 = a + a, -a + 30 = y*r. Solve 3*v = -l - v - a, 4*l = 2*v + 2 for l.
-2
Let k = -6 + 9. Suppose -2 = -3*t + 67. Solve 2*p - t = 3*v, 18 - 1 = -v + k*p for v.
-5
Suppose -5*c = -5*k + 5, 5*k = -3*c + 4*c - 7. Let r be (-10)/c - (-12)/18. Let l be ((-2)/(-4))/(1/22). Solve -r*i + l + 21 = 4*b, -3*b = 5*i - 32 for i.
4
Let h(l) = 3*l - 29. Let y be h(11). Solve 1 = -x - m, -y*x + 3 = -2*m - m for x.
0
Let u(z) be the first derivative of z**3/3 + z**2 + 2*z + 4. Let g be u(-2). Solve 0 = 2*c + 2*o, 4*c + 4*o = g*c + 8 for c.
-4
Let r = -3 - -6. Suppose -4*c = w - 2 - 51, 5*w = -4*c + 57. Suppose t + 2*d = 10 + 3, -3*d + c = t. Solve -4 = -r*h - 2*g, 5*h + g - t = 4*g for h.
2
Let w = 65 - 35. Let a be (-64)/(-10) + (-12)/w. Solve 0*g - x - 14 = 4*g, g + a = x for g.
-4
Suppose 4*l + 0*l + 12 = 3*x, 0 = 4*x - l - 16. Suppose -x*w - w = -10. Suppose -4*v + g = -8, w*g = g. Solve -6 = -2*c, 2*c = -0*i - v*i + 10 for i.
2
Let l = -15 - -25. Solve -l = 3*v - 2*m, 2*v + m = 1 - 3 for v.
-2
Let n = -42 + 44. Solve 3*p + 12 = -3*a, 2 = -3*a + n*p - 5 for a.
-3
Let t = 4 + -2. Solve 4*o = -5*z + 2*o - 23, t*z + 3*o = -18 for z.
-3
Suppose -3*r - 4 = 2. Let s = r + 5. Let t be ((-12)/5)/((-8)/20). Solve 2*j = -5*x + 10, t*j - 25 = j - s*x for j.
5
Let o be (5 + (-15)/9)/((-2)/(-3)). Solve -o*d - 4*p + 11 = 0, p + 2*p = -d for d.
3
Suppose -18*h - 7 = -20*h + j, 5*j = -h - 13. Suppose 2*b = 6 + 6. Let a = b - 4. Solve -y + 3*p - 13 = 0, 4*y + 4*p + a + h = 0 for y.
-4
Let k be -1*0/(12/(-3)). Suppose k = -t + 2 + 1. Solve -i - w + 3 - 4 = 0, 4*w + t = -3*i for i.
-1
Let m be (-28)/(-6) + 10/(-15). Let t be (-284)/(-14) + 24/(-84). Let f be (-4)/(-14) + (-19)/(-7). Solve 0 = f*a, a = m*g + 6*a + t for g.
-5
Let y(h) = h**2 + 9*h - 4. Let i be y(-6). Let s = 36 + i. Let n = -7 + s. Solve 0 = 5*q + 5*u - 4*u + n, 4*u = 4*q - 4 for q.
-1
Let k(l) = l**3 - 7*l**2 - l + 4. Suppose -4*h + 32 = 4*v, 2*h = 3*v - h - 18. Let i be k(v). Let s = i + 4. Solve -s = 2*f + w, -4*f - w = 2*w + 1 for f.
-1
Let g = 8 - -3. Let p be 2/g - 62/(-22). Solve 4*a + 3*v = 18, 14 = p*a + 2*v + 1 for a.
3
Suppose -2*t = -15 + 3. Suppose m - 3*w = -9, -4*w + 28 = 8*m - 4*m. Let g(k) = 10*k - 4. Let p be g(4). Solve t*h - p = 2*h + 5*x, 24 = m*h - 3*x for h.
4
Let u be 39/5 - 3/(-15). Suppose -3*j - 2*q - u = 0, -6*q = j - 2*q + 16. Solve -3*z = j, -f - 4*z = 3*f - 16 for f.
4
Let x = -15 - -23. Solve 4*y + 24 = -4*a, -x - 6 = -y + 4*a for y.
-2
Let j be 2/(-2)*(-1 + 4). Let s be j/(-18) + (-87)/(-18). Solve 0 = -4*c + 2*b + b + 15, 0 = -5*c + b + s for c.
0
Suppose 3*f - 4 = -4*p, 4*f = -f + 5*p - 5. Suppose 2*o - 7*o = q - 46, 5*q = 5*o + 170. Let v = q - f. Solve -10 = -4*r - 2*z - v, 22 = -5*r + z for r.
-5
Let b be (1 + 2)/(-1) + -8. Let x = -7 - b. Let u be 9/1 + (x - 2). Solve -7 = 5*h - 3*p, 4*h - u = -3*p + 5 for h.
1
Let x = 48 + -45. Suppose 3*c - 5*a = 24, -3*a - 35 - 8 = -4*c. Solve 5*y = -2*d - c + 3, x*d - y - 19 = 0 for d.
5
Let b = -418 + 425. Suppose 0 = -3*l + 3, a = 6*a + 2*l - 22. Let c be 7 - a/(1 - -1). Solve -4*h + 0 = -3*i + b, h - c*i = 11 for h.
-4
Let w = 12 + -12. Solve w = -5*t + 4*a + 4, -t - 4*a = -2*a + 2 for t.
0
Suppose -5*v = -3*r, -4*r + v + 0*v = 0. Suppose g + 2*m + 2*m - 7 = r, 0 = g - m - 2. Let l be 0 + 2 + (5 - g). Solve 5*c = 3*i - 4 + 9, c + 22 = -l*i for i.
-5
Let p(i) = -i**3 - 7*i**2 + i - 4. Let r be p(-7). Let g = 14 + r. Solve -5*n + 1 = x, 0 = 2*n + 2*x + g + 3 for n.
1
Suppose -l + 4*l = 0. Solve -2*u - 9 = -d - l*u, -2*d + 5*u = -23 for d.
-1
Let o = 2 - 0. Solve 3*r + o*r = 5*i + 35, 5*i + 27 = r for r.
2
Let d be 4 + -2 + (-4)/(-2). Solve -t - 2*t + 12 = -r, 0 = -d*t - 5*r + 16 for t.
4
Let o be 26 - (-2)/4*6. Let f = 50 - o. Solve 4*x = -4*y + 8, -x + 3*y - f = x for x.
-3
Let y = -1 + 5. Solve -17 = 5*b - v + y*v, 3*b - v - 1 = 0 for b.
-1
Let f be (-28)/(-8) - ((-3)/2 - -2). Solve -2*b - j = b - 5, f*b + 4*j - 11 = 0 for b.
1
Let q be (1 + -1)/(-1 + 0). Suppose 4*h - 17 + 1 = q. Suppose l = 7 + h. Solve l = -5*f + 2*g, 6*f + 8 = 2*f + 2*g for f.
-3
Let b be 66/(-4)*(-12)/(-9). Suppose 3*u - 18 = 5*u. Let n be (-3)/u + b/(-6). Solve -1 = 4*i - p, -5*i + 1 = -n*p + 5 for i.
0
Let n = 7 + -5. Solve n*r = 2*h - 4, -5*r - 11 = -2*h - 4 for r.
-1
Let l = 16 - 13. Let p(h) = 2*h**2 - 3*h - 4. Let a be p(l). Solve 0 = a*b - 2*g + 15, -2*b - 4*g + 2*g - 6 = 0 for b.
-3
Let o be ((-44)/(-12) - 3)*15/2. Solve -2*q + 4 = -o*h + 15, h = 5*q - 7 for h.
3
Suppose 3*t = -n - 2*n - 15, 4*n = -2*t - 20. Solve 0 = h + w - 3, t = -0*w + w + 2 for h.
5
Suppose 5*b - 3*k = -7*k + 145, 0 = -4*b + 3*k + 85. Solve 5*l + 3*w - b = 0, 6*l + 5*w = 2*l + 20 for l.
5
Let m(s) = -s + 5. Let w be m(7). Let a = w - -3. Suppose 2*u = 44 - 0. Solve 1 = h + 4*p + u, 4*h - a = p for h.
-1
Let y = -52 + 55. Solve 0 = -2*t - t - 2*j + 22, y*j - 11 = t for t.
4
Let k = -102 - -112. Solve -4*b = 4*z, -b + 2*b + k = -3*z for b.
5
Let m(p) = 2*p**3 + p**2 - 2*p + 1. Let x be m(1). Suppose -3*w - 2*r + 2 = 0, -4 = -0*w + 4*w - 4*r. Solve -1 = -i - x*a, -2*i + 2*a + 15 - 1 = w for i.
5
Let b = 12 + -7. Suppose 5*g = -4*z + 41, 2*z - 5*z - b*g = -37. Suppose z*y + 8 = 32. Solve 0 = k + j + y, 8 - 23 = 2*k + 5*j for k.
-5
Let z = -24 + 49. Let n be (-2)/10 - (-355)/z. Solve -a - 4*u = -3*u + 7, -2*u + n = -5*a for a.
-4
Suppose 3*w - 60 = -2*w. Suppose 4*u + 20 = 4*b, 0*b - 3*b = 3*u + 3. Suppose b*k - w = -k. Solve q + q + 10 = -k*a, 5*a + 32 = 4*q for q.
3
Let r be 1 + 4/(4 + -2). Suppose -11 = -3*w - 5*i, -w - r*i = -0*i + 3. Solve -5*m = -2*s + w + 7, 3*s + 9 = 0 for m.
-5
Let o = -3 + 4. Let q = 2 - o. Let p be 1/q - (3 - 5). Solve p*f = 4*k + 4*f - 17, -3*k - 5*f = -17 for k.
4
Suppose -2*d = 3*n - 12, -5*n + d = -36 + 3. Let i be (n/(-14))/(3/(-21)). Solve c + 11 = 3*y, 0 = -c - i*c + y for c.
1
Suppose 5*c = -3*j + 15, -j + 5 = -3*c + 5*c. Suppose c = -k - 5*o - 12, -2*o = 7*k - 2*k - 32. Let u = k + -3. Solve 5*r + 9*l = 4*l, -7 = 2*r - u*l for r.
-1
Let l = -5 - -13. Let v = l + -4. Solve -3*i = -2*i - 4*j - 8, -v*i + 5*j = -21 for i.
4
Let m(s) = -s**2 + 7*s - 9. Let o be m(4). Solve o*b - 9 = -2*y, 6*b - 4*b - 2*y = 16 for b.
5
Let m be (-5)/2*(12/5)/(-1). Solve 2*p + 15 = 5*h, -4*p + h - m*h = -15 for p.
0
Let a = -32 - -37. Solve 2*p - 16 = -5*d, a*p + 3*d + 12 = 33 for p.
3
Suppose -4*z - 4*s = 0, 3 = 3*z - 3*s - 3. Let q = 8 - z. Solve -3*p - q = 2*t, 4*t + 2 = p - 5 for p.
-1
Let m = -14 + 14. Let w be (m + (-4)/(-12))*12. Let r be (4/(-6))/(2/(-6)). Solve w*t = 4*d - 12, 0*t = -2*t - r for d.
2
Let p be 74/8 + (-1)/4. Suppose 3 = 4*a - p, 4*q - 3*a = 7. Let z = 19 - 17. Solve -z*b = 2*v + q, -2*b - 14 + 2 = 4*v for b.
2
Suppose 5*a - 9 = 11. Suppose -2*s + a + 2 = 0. Suppose -s*x = -0*x - 9. Solve 16 = -2*n - 2*c, 0 = -x*n + 4*c 