 = 4*n + 4*j + 12 for n.
1
Let h be (4/(-5))/(38/(-665)). Suppose c = -x + 4, 2*c - h = x - 5*x. Solve 5*w = -3*m + 3*w + c, -17 = -m - 4*w for m.
-3
Let s be 114/(-4)*(-6)/9. Solve -p = -4*u + 11, s = 5*u - 5*p + 2*p for u.
2
Let h = -1589 - -1592. Solve -r = 5*u + 20 + 4, h*u + 4*r = -28 for u.
-4
Suppose 5*v = 9*v + 144. Let i = v - -63. Solve a + i = -5*c, 12 = -4*c - 4*a - 16 for c.
-5
Let a(x) = -18*x - 281. Let k be a(-16). Solve 0 = 3*w + 3, -4*j - k + 0 = -w for j.
-2
Let m(o) = -o**2 + 4*o + 10. Suppose -34*f + 39*f - 25 = 0. Let y be m(f). Solve 5*q + 5*j = -0*j, y*j - 1 = -4*q for q.
-1
Let u = 653 + -648. Solve v + v - u = 3*s, 0 = -v - 3*s - 20 for v.
-5
Let s be (5/15)/1*0. Solve -t - 2 = 0, -1 = -h - s*h - 2*t for h.
5
Let k be (384/(-480))/(1/((-15)/2)). Solve 2*g + 5*r + 30 = 0, -g - k*r - 25 = -r for g.
-5
Suppose -8*j - 35 = -67. Solve j*y + 2*f = -9 - 3, 2*y + 5*f = 10 for y.
-5
Let w(c) = c**3 - 14*c**2 - 14*c - 8. Let h be w(15). Suppose 8 = 4*r + 3*x, -2*r - 3*x = -h*x - 26. Solve -2*m + m = 5*t + 23, -2*t = r*m + 23 for t.
-4
Suppose 3*w - 2*n = -10, w + 6 = n + 3. Let l be ((-2)/w - -1)*2. Let i be (4*l/(-6))/(-1). Solve -2*b - 6 = i*r - 3*b, -3*r = -2*b + 9 for r.
-3
Let z(y) = -y**3 + 11*y**2 + 13. Suppose -22 = -2*c - l, 32 + 23 = 5*c + l. Let i be z(c). Let a = 965 + -956. Solve 3*q + i = 2*w, -3 = w - q - a for w.
5
Let f be (2 - 1)/((-11)/22). Let q be 2/12*2*6 + f. Solve -4*t + 8 = q, -b - 4*t = 4*b - 13 for b.
1
Let o(d) = -4*d - 55. Let h be o(-21). Suppose 0 = -19*v + 28 + h. Solve -3*p = -v*q + 3, -4*q + 4 = 4*p - 0 for p.
0
Let a = -1037 + 1041. Solve o - a*m + 14 = -4*o, 3*o = -3*m - 3 for o.
-2
Suppose -33 - 2 = -7*u. Suppose 5*a - u*y = -2*y + 14, 3*a - 5*y - 2 = 0. Solve 0 = -4*q - 2*h - a, 3*q + 3*h - 8 = 4*q for q.
-2
Suppose -4*f - 150 = -14*f. Suppose 75*j - 78*j = -f. Solve 2 = -4*h - 5*m + 3, j*h + 9 = 4*m for h.
-1
Suppose 5*v = 4*g + 10, -2*v - v + 2*g = -6. Let a = -5 + 5. Suppose a*f - 2*q = -2*f + 20, -2*f - 2*q + 4 = 0. Solve 0 = -v*c + w - f, 3*c = 2*w + 1 - 8 for c.
-5
Let u(t) = 3*t - 31. Let m be u(14). Suppose m*j + 8 = 19*j. Solve 0 = -4*h - x - 17, -h - x - 1 - j = 0 for h.
-5
Let f be (-12)/10*30/(-12). Let s(k) = -7*k - 77. Let z be s(-12). Solve -5*g = r + f, 4*r - g = r + z for r.
2
Let s(p) = p**2 - 3*p + 2. Let t = 5 - 2. Let l be s(t). Let i be l/6 - (-48)/18. Solve 0 = 2*b + 2, -b - 4*b = -4*x - i for x.
-2
Let d(r) = -r**2 + 3*r + 5. Let b be d(0). Solve 2*l + 2*c + 7 = -c, 5*l + 5 = b*c for l.
-2
Let s be 1056/288 - 2/(-6). Solve 5*x + 0*f - 12 = -s*f, -x - 3*f = 2 for x.
4
Suppose 2*a + 116 - 288 = 0. Suppose 4*g + 3*p = -70, -2*g - 3*g - 3*p = a. Let v be (-12)/g - (-15)/12. Solve -2*x = v*m + 8, -4*x = -0*m - 2*m + 16 for x.
-4
Let n = -13 - -13. Suppose b - 21 = -n*b. Let k be (-7)/b + 10/3. Solve 4*l + 10 = -3*v, k*v + l = 1 + 1 for v.
2
Suppose 29*l - 155 = -2*l. Solve -3*b - 1 = l*z + 18, 5*z + 25 = 0 for b.
2
Suppose 4*t - 166 = -r + 224, 2*r - 295 = -3*t. Let p = t - 94. Solve 0 = 5*c - 5, c + 1 = -p*h - c for h.
-1
Let t(c) be the first derivative of -c**2/2 + 4*c + 5. Suppose -25 + 0 = 5*z. Let f be t(z). Solve 34 = -5*m + 3*a, a - 4*a + f = 0 for m.
-5
Let o = 1378 + -1363. Solve -f = 4*c - 5, -o = -2*c + c - 3*f for c.
0
Suppose 14*p = -3*p + 170. Solve -2*l = 2*l - 2*j + p, -3*j = -4*l - 5 for l.
-5
Suppose p + p - 4 = 0. Let f = p - 2. Suppose -2 = -2*d - f. Solve -6 = -2*i + 4*t, -3*i + t - 5 = d for i.
-3
Let m = -4 - -6. Let k(v) = v**3 + 5*v**2 - 4*v + 4. Let b = -9 - -4. Let f be k(b). Solve -q - 6 = -3*i, 5*i = -q - m*q + f for i.
3
Let a = 11 - -10. Suppose 19*h - a*h + 6 = 0. Solve 4*v + 5*b = -16, b + 0 = -h*v - 1 for v.
1
Suppose 96 = -29*g + 154. Solve 9*d - 12*d + g*h = 12, -3*h = 3*d + 12 for d.
-4
Suppose -19*i + 39*i = 140. Suppose 0 = -5*w + 24 - 4. Solve -w*x + 12 = 0, 8 = 3*u + x - i for u.
4
Suppose 2*l - 3*j = 19, -2*l = j + 3*j + 16. Solve 0 = -l*h - 4*r + 31 - 9, 2*h - 3*r = 1 for h.
5
Suppose 0 = -i - 5*u - 23, 4*i + 136*u - 133*u + 7 = 0. Let g be (-1 + 0)/(3/(-9)). Solve -v + p = g*p - 5, 4*v = i*p for v.
1
Suppose 15*r + 2*g = 18*r - 45, 5*g = 4*r - 67. Solve -3*i + 5*y + 10 - 1 = 0, -i + 5*y = -r for i.
-2
Let l(r) = -r**3 - 5*r**2 + 8*r + 10. Let p be l(-6). Let j be (-1 - -2 - (p + 2)) + 20. Solve 5*f + 4*g = -6, 4*f - j = 5*g + 7 for f.
2
Suppose -w = -d - d + 7, 2*d - 3*w - 17 = 0. Let p = -3 + 3. Suppose -2*f + 2 = p, 3*v - f + d = v. Solve 3*m - 5*y = 0, v = m + m + y for m.
0
Suppose 4*r - 20 + 4 = 0. Suppose 14*m + 5*m = 133. Solve 3*l - 8*a - m = -4*a, -r*a = l - 13 for l.
5
Suppose 2*t = -2*s - 18, -t - s - 15 = 2*s. Let r be 16/6*3 + -3. Let i be r/(t - -3 - -4). Solve 5*h - h - g = -12, -12 = -2*h + i*g for h.
-4
Let a be -6 - (-54)/(48/8). Solve -2*h - 3*i + 17 = 2*i, -a*h + i - 17 = 0 for h.
-4
Let b = -12 + 11. Let o be b/(-2)*(-8)/(-1). Let u be 2*2/o*5. Solve 0 = -4*y - u*h - 1, 4*h + 3 + 1 = 0 for y.
1
Let j(c) = 2*c + 4. Let g be j(0). Let u be 2 + -1*g - 4. Let i be 13/3 + (-4)/u. Solve 2*w - i = -4*z + z, 15 = -3*w for z.
5
Suppose 8*p - 16 = 4*p. Suppose -p = 2*x - 5*m + m, -3*m - 7 = -4*x. Suppose n - 5*j - x = 42, 5*j = 4*n - 109. Solve 4*k + 5*t = 37, -5*t + n - 2 = -2*k for k.
3
Let x(h) be the second derivative of h**3/2 + h**2 + 4*h. Let f be x(1). Solve b = f*b + 3*r + 1, 3*r + 15 = 3*b for b.
2
Let k = -145 + 93. Let z = 54 + k. Let r = -4 - -5. Solve n + z = -3*o + 7, r = 3*o - n for o.
1
Let x = 277 - 275. Solve 3 = 4*o - c, o - 4 = -o - x*c for o.
1
Let b = 31 - 28. Suppose 0 = -0*q + 4*q - b*u - 100, 5*u = -20. Solve 4*m = -6*w + w - q, 3*w = m - 3 for m.
-3
Suppose -4*h - 11 = -s + 8, -23 = 2*h - 5*s. Let z(a) = a**3 + 3*a**2 - 5*a - 2. Let y be z(h). Solve -2 = q - m, y = -q - 3*m - 2*m for q.
-2
Let t = -789 - -794. Solve 2*i - 5*i = -a - 11, -t*a + 25 = i for i.
5
Suppose -13*j = -58*j. Solve j*b - 5*b + r = 7, -b + 5*r = 11 for b.
-1
Let j be (44/2)/(-1) - (4 + -2). Let d be j/(-4) + -2 - 0. Solve -2*u = d*p + 14, 4*u + 0 = p + 8 for p.
-4
Let p = 3 - 13. Let v = p + 13. Suppose 0 = j - v*j. Solve -4*b = -5*r - 11, -b + 4*r + 4 + 7 = j for b.
-1
Let u(z) = -18*z - 7 - 2*z**2 - 4 - 3. Let j be u(-8). Solve 4*i = -p + 3*i - j, 3*p = 5*i - 22 for p.
-4
Let o(h) = -2*h**2 - 5*h - 11*h**2 - 4 + 12*h**2. Let w be o(-2). Let b(n) = 3*n**2 - 3*n. Let t be b(w). Solve 5*v + t*i - i = 10, 5*v + 5 = -2*i for v.
-3
Let o = -52 + 59. Suppose 5*s = 3*j - o, -3*s - 9 = -j - 8*s. Solve 3*z = z - 8, -5*u = -j*z + 9 for u.
-5
Suppose -20 - 36 = 8*y. Let m(n) = -n**3 - 7*n**2 - 2*n - 11. Let g be m(y). Solve -g - 3 = l + 4*j, 4 = -2*j for l.
2
Let h(z) = z**2 - 9*z + 5. Let u be h(6). Let r = 17 + u. Solve -3*o + 7 = -a, 3*a + 21 = r*a + 4*o for a.
5
Let f be 47/4 + 3/12. Suppose 4*z - 2*i - 20 = 0, -3 - f = -z + 3*i. Solve -6*m - 2*u = -3*m - 22, -m = -z*u + 11 for m.
4
Let a(z) = z**2 + 3*z + 1. Let t = -22 - -20. Let n be a(t). Let p(u) = -u + 1. Let l be p(n). Solve 3*g + g + 5*c = 0, 4*g + 28 = l*c for g.
-5
Let z = -768 - -770. Solve 6 = z*m + d, 2*d + 0*d = -8 for m.
5
Suppose -17 = -4*j + 51. Suppose 2 - j = -5*x. Solve 5*y - q - 20 = 0, x*q + 5 = -2*y + 6*q for y.
5
Let l(s) = -s**2 + 19*s + 423. Let p be l(-13). Solve -2*h + 1 - p = -2*n, 0 = 5*h - 2*n + 6 for h.
0
Let k be 18/(-4)*8/36*-12. Solve 5*r - 5 = 3*d, -4*r + k = 3*d - 19 for d.
5
Suppose -13*f + 168 = 29*f. Solve 25 = -4*t - 5*n, -2*t + t + n = f for t.
-5
Let q = 74 + -71. Let z = 4 - 1. Solve -q*h = 15, -2 = -5*f + h + z for f.
0
Suppose 0 = -8*l - 67 + 163. Solve 4*h = 2*a + l - 0, -a + 15 = 5*h for a.
0
Let k(g) = -g**3 + 17*g**2 - 17*g + 19. Let s be k(16). Suppose 5*a = 4*w - 2 - 21, 3*w - s*a - 18 = 0. Solve -3*z + 0*y + y = -6, 3*y = -2*z - w for z.
1
Let r be 2/4 - (-5)/(-10). Suppose -3*l - l + 8 = r. Suppose 0 = l*n + 5 - 9. Solve 5*c + 18 = -j, -3*j - 10 = 5*c + n*j for c.
-4
Suppose 12*s - 42 = -2*s. Suppose -j - s = -25. Solve -5*b - j = -4*k, 2*b + 10 = -k + 3*k for k.
3
Suppose -3*q + 908 = j, -2*j + 5*q + 1277 + 583 = 0. Let f be 4/(-10) + j/50. Solve -2*o - 11 = -3*t, 3*o = 2*t - o - f for t.
1
Suppose -j + 2 = -8*m + 3*m, -5*j + 5*m + 10 = 0. Let y(d) = -2*d - 4. Let x be y(-3). Solve 4 = 3*q - j*q - 2*k, -2*q + 4 = -x