- 24 = s*n - 2*o, -2*o - 18 = 4*n for n.
-3
Let m(u) = -18*u + 1265. Let v be m(70). Solve -38*c + 39*c + x = 3, 12 = v*c + 4*x for c.
0
Let d(h) = h + 8. Let k be d(8). Suppose 2*l - 2*m = -0*l + 8, -5*m = 4*l - 7. Solve -l*f + 11 - 1 = -4*j, -2*f = 3*j + k for f.
-2
Let q be (-12)/6 + 48/(4 + 0). Suppose q*g - 12 = 18. Solve -4*z + 4 = -g*v, -7*z + 36 = 5*v - 3*z for v.
4
Suppose f - 7*f + 930 = 0. Let a = -133 + f. Solve -2*l + a = 4*g + 6, 0 = 5*g - 20 for l.
0
Suppose -l - 4*l = -20. Suppose 4 = -f + 4*p, 0 = -f - 4*p - p + 14. Suppose 0 = 2*t + f*t - 12. Solve -2*a - 27 + 7 = l*w, 4 = -t*a for w.
-4
Let q be 1408/64 + -20 + 3. Solve y + 0 = -5*c + 10, q*c = y for c.
1
Let k(q) = q**2 + 10*q - 6. Let j be k(-10). Let l be 0*(15/j - -3). Let n be (1 + -6)*(-17 + 16). Solve -2*x = x, n*f - 4*x + 5 = l for f.
-1
Let p be (28/(-98))/((-1)/7). Suppose -y = -4*y, -5*u + 50 = p*y. Suppose -u*r + 182 = -3*r. Solve -3*o = -4*d - 9 + r, -d = 2*o - 7 for d.
5
Let p(f) = -17*f - 65. Let i be p(-4). Suppose 5*v + 16 = 2*x - i*x, 0 = x + v. Solve 0*h = -5*j - 5*h + 45, j + 16 = x*h for j.
4
Let n = 30491 - 30488. Solve -u + 3 - 11 = m, 5*m - n*u - 16 = 0 for m.
-1
Let s = -341 - 217. Let t = s + 560. Solve 2*l + 11 = -5*d - t*l, 10 = -5*d - 5*l for d.
-3
Let i = -652 + 394. Let o = 270 + i. Solve -2*r - o = -3*h + 8*h, 2*h = -2*r for h.
-4
Let v(y) = -y**2 - 63*y - 750. Let x be v(-47). Solve 0 = -3*z - 9, 3*l = x*z + 8 - 2 for l.
0
Suppose -11*u - g + 62 = 0, 0 = -4*u - 564*g + 565*g + 13. Solve 0 = -141*j + 143*j - 5*o + 19, -u*j = o - 20 for j.
3
Suppose 2*p - 4 = -3*h + 2, -3*h = 5*p + 3. Suppose 3*f + 18 = x + 2*x, -f + 9 = h*x. Solve 4*t + x*d = -0*t + 12, -2*d = 0 for t.
3
Let l(f) be the third derivative of 3/2*f**3 + 24*f**2 + 0*f - 1/24*f**4 + 0. Let k be l(5). Solve 2*o - 17 = -3*c, 4*c - 30 + 2 = -k*o for o.
4
Let m be 42/9*(-4 - 170/(-35)). Suppose 4*c - 3*t - 6 = -0*t, -m*c + 16 = 2*t. Solve c*s - 2 + 1 = 2*d, -3*d = 3*s - 21 for d.
4
Suppose 15*p = -80 + 5. Let t be (-119)/(-14 + 7) + p. Solve 0 = -j - m, -3*m - m = t for j.
3
Let u be (-36)/90 - (0 + 54/(-10)). Suppose u*z - 125 + 115 = 0. Solve -5*r - b = -13, 0 = -r - 4*r + z*b + 19 for r.
3
Let k(c) = 23*c**2 + 133*c - 28. Let j be k(-6). Solve -200*i - 5 = 3*l - 205*i, 3*l + j*i = 2 for l.
0
Suppose -3*c = -14 + 5. Let r(n) = 4*n**2 + 5 + 41*n + 6 - 57*n - 3*n**2. Let l be r(16). Solve -2*w - l = 3*u - 2*u, 0 = -u + c*w + 9 for u.
-3
Suppose 5*t - 4*t = 3. Suppose 4*x = -k - k - 10, -t*x = k + 6. Let g be ((-6)/5 - 4/(-20))*k. Solve g*h = 2*m + 10 + 3, -3*h + 9 = 0 for m.
-2
Suppose 60*i - 5*n = 55*i + 20, 0 = -2*i - 5*n + 1. Solve -u = 2, 12 + 6 = i*q - 3*u for q.
4
Let s = -76 - -35. Let l = s + 47. Suppose 64 = -l*g + 10*g. Solve 0 = -a - 5*q - g - 14, 5*q = -5*a - 50 for a.
-5
Suppose -44*b + 40*b + 180 = 0. Suppose b*h = -54 + 189. Solve -4*s = 3*t + 13 + 1, t - 4 = h*s for s.
-2
Let x be (-495)/(-220) - (-55)/4. Solve -14*s + 17*s = -a - x, a + 6 = -s for s.
-5
Suppose -22 = -7*d - 4*d + 9*d. Solve 29 - d = -2*p + 3*c, 8 = -4*p - c for p.
-3
Let d be 0 - (1*(1 - 0) - 112/16). Solve 5*v + 5*q = 4 - 14, 0 = -4*v - 5*q - d for v.
-4
Let x be 4*(-3 + 8/4). Let h be ((-2)/x)/(22/176). Solve -25 = 5*a - z, 0 = h*a + a - 2*z + 25 for a.
-5
Suppose o - 18 = -5*x, -3 + 9 = -o + 3*x. Suppose -4*p + 24 = a, -o*a + 29 = -2*a + 5*p. Suppose -a*w = -w. Solve -l + w*l = m + 2, -2*m = -4 for l.
-4
Let b = 80 - 76. Suppose -l + b*q = 15, -3*l - 3*q = -7 - 23. Solve 5*m + g = 13, 0 = -2*m - l*g + 3*g + 10 for m.
2
Let d be -139 + -4*(-35)/28. Let n = -129 - d. Solve 0*p - 5*p - 3*l = 40, -l = n*p + 30 for p.
-5
Suppose 1840*s - 1848*s = -96. Solve -i + 16 = q + s, -q = -5 for i.
-1
Suppose 5*u + 45 = b + 2*b, 5*b = -u + 75. Let l = -8849 + 8851. Let r = -7 - -11. Solve -r*k = o + b, k + l*o + 21 = -4*k for k.
-3
Let x be ((0 + 1)*51)/((-1)/(-11)). Let l = -556 + x. Solve -l*h = k - 8, -4*h - k = -0*k - 7 for h.
1
Let h = 2567 + -2562. Let u = -22 + 33. Let g = u - 4. Solve -3 = 2*z - 9, g = -h*p + 4*z for p.
1
Let z(r) = 44*r - 8. Let n be z(-5). Let l = -222 - n. Solve 2*a - 18 = -5*d, -5*a - 2*d + l*d + 12 = 0 for a.
4
Let z be (-2487)/12 - (-3)/(-4). Let n = -205 - z. Solve -2*q + 6*q - 2*v - 2 = 0, n*q = 4*v - 6 for q.
2
Suppose 0 = s - 5 + 3. Suppose 5*f = -15*f + 6240. Let g = f - 309. Solve -3 - s = n, g*j + 34 = -5*n for j.
-3
Suppose 643 + 141 = 196*i. Solve 0 = c - 5*s - 9, 0 = i*c + 4*s - 2*s + 8 for c.
-1
Let x(f) = 8*f - 25. Let v be x(-4). Let l = v + 59. Suppose 10*k = k + l*k. Solve j = 3 - k, 11 = 2*a + 3*j for a.
1
Let y(b) = -4*b**2 - 4*b - 26. Let o be y(-6). Let g = o - -84. Let s = 67 + g. Solve 2*a = -3*w - 1, 5*w = w - s*a + 1 for w.
-1
Suppose 657*r = 668*r - 22. Solve 3*c - 2*u - 7 = -r, -c - 4*u = -11 for c.
3
Suppose 2228 = 8*j + 2084. Solve -n - 3*n + j = b, b - 13 = -3*n for n.
5
Suppose -677 = -156*f - 53. Solve 3*d - 22 = f*n, 4*n + d - 6 = -20 for n.
-4
Let y(d) = 143 - 3*d - 173 - 5*d. Let c be y(-4). Solve 0 = 2*w - 4*k - 8, -3*k = -c*w - 2*k - 4 for w.
-4
Suppose 0 = 2*o - 0*o. Suppose 4*s - k = 1, 0 = 3*s - o*s + 4*k + 4. Let b be 4/(-2) + (2 - s). Solve 4*m - 12 = -h - 3*h, -m + h + 7 = b for m.
5
Suppose 0 = -4371*g + 261*g + 32674 + 33086. Let a be 1/2 + (-3)/(-2). Let u be 2/a + -2 + 5. Solve -f = u*l, 4*l = -5*f - 0*l - g for f.
-4
Let y be (-11 + 1)*(-3)/(-10)*-1. Solve 2*z + y*c - 5 = 2*c, -2*z + 3*c + 17 = 0 for z.
4
Suppose 0 = 16*n - 242 + 162. Solve 4*s = 3*x - n - 5, 0 = 2*s + 3*x - 4 for s.
-1
Let z(v) = -v**3 + 1. Let y(t) = 2*t**3 + 10*t**2 - 4*t - 48. Let f(p) = -y(p) - 3*z(p). Let d be f(9). Solve -4*a = -5*n + 3, -12 = -5*a + n - d for a.
3
Suppose 4*l - 136 = -2*r, r = 4*l - 5*l + 71. Suppose 3*u - 6*u - r = -5*z, -2*u = -z + 12. Solve 3*w - 17 = -2*y - 5, -3*y = -4*w + z for y.
0
Let u(x) be the first derivative of 2*x**2 + 33*x - 37. Let f be u(-7). Solve 5*l = 3*r - f, -4 = l - 0*l for r.
-5
Suppose 0 = -5*g + 50 + 45. Let y = -442 + 445. Solve -5*s - w = -y*w + g, -5*w + 1 = 3*s for s.
-3
Suppose 384*g - 458*g + 57 = -91. Let b = -4 - -6. Solve -g*k + 5*o - 4 = 14, -k - 8 = -b*o for k.
-4
Let b(q) = -14*q - 88. Let v be b(-8). Suppose 3*o - 16 = -2*h, -o + 2*h + 2*h = -v. Solve n - o = 5*t, -8*n + 11 = -2*t - 5*n for t.
-1
Suppose 0 = -2*r + 7*q - 2*q + 115, 4*r - 165 = -3*q. Suppose 0 = -r*u + 54*u - 45. Solve 0 = 5*c + 7*n - 2*n + 15, 2*c = -u*n for c.
-5
Let x be (6/27)/(-1 - (-50)/45). Suppose -x*t + 6*t - 16 = 0. Solve -f + 4 = 0, 0 = -t*d - f - f - 8 for d.
-4
Let a be ((-3)/(-2))/(((-5)/118)/5). Let w = -177 - a. Let n be 1 + -1 - (-4)/1. Solve -3*m - 2*m + 3*p + 2 = 0, -4*p + n = w for m.
1
Suppose -131 - 109 = -8*m. Solve 2*z = -m*r + 25*r + 7, 3*z - 8 = -5*r for r.
1
Let g = -207 + 212. Suppose -484 = -g*u - 474. Solve -u*q - 23 = q - 4*r, 14 = q + 3*r for q.
-1
Let q be (4 + -72 - 1) + 2. Let n = q + 81. Solve 3*j + s + 4 = 0, j + j + 4*s - n = 0 for j.
-3
Let w be -4 - (2/(-1) - 4). Let s = -3442 + 3444. Suppose -n - 5*j = -50, 0 = 2*n - j + 6*j - 85. Solve w*f + n = -3*d - s*f, f + 15 = -2*d for d.
-5
Let i = -9622 + 9627. Solve -15 = i*l + 5*s, 10*s + 18 = -5*l + 8*s for l.
-4
Let i be ((-12)/8)/(6*(-2)/(48/3)). Solve -i*t - 6 = f, -2*t - 2*f - 94 = -88 for t.
-3
Let o = -6 + 9. Let r be (0 - -1)*(-45)/(4 + -5). Suppose -8*q + r = 7*q. Solve -q*k = k, -o*v - 12 = -2*k for v.
-4
Let l(b) be the first derivative of 4*b**2 + 15*b - 34. Let a be l(-8). Let x = 52 + a. Solve 0 = x*j - m - 4*m + 32, 4*j + 32 = 4*m for j.
-4
Suppose 13*d = -7*d + 40. Let f(x) = 2*x - 2. Let l(p) = -p + 1. Let y(o) = 3*f(o) + 3*l(o). Let g be y(d). Solve -t - 4*b = 0, -g - 8 = 4*t + 5*b for t.
-4
Let k be 1078/462 - ((-32)/(-6))/(-2). Solve 0 = -5*v + 3*b - k, 5*v + 2 + 3 = -2*b for v.
-1
Let r(b) = -b**3 - 10*b**2 - 11*b + 3. Let v be r(-9). Suppose 3*f + 4*y + 14 = 0, -5*y - v = -f + 3*f. Solve 5*a - 30 = -f*c + c, -c = 2*a - 15 for a.
5
Suppose 0 = -5*f - w + 27, 174*f - 176*f + 14 = 2*w. Solve 3*p = 4*r - 15, 74*p - 72*p = r - f for p.
-1
Suppose -59*x + 395 - 41 = 0. Solve -i - 9 + x = t, 3*i = 3*t + 21 for t.
-5
Let r be (-1 + 7/3)*(0 + 3). Suppose 1 = -3*n + r. Let f(p) = 33*p**2 + 6*p - 6. Let a be f(n). Solve 29 = -2*i - 5*v, 2*i + 