Let d(q) = 3*q**2 - 74*q + 8. Let g be d(30). Let x = g - 488. Solve -4*m - 2*z - 7 - 1 = x, 4*z = 16 for m.
-4
Let v be (2 + -2 - -2)*(137 + -1). Suppose v = 2*x + 210. Suppose 3*s - s = 10. Solve -s*z - x = -3*g, -3*g - 6*z = -5*z - 1 for g.
2
Let u be 34*((-1608)/204 + 8). Solve 0 = -2*s - 3*z, 2*z - u*z = 2*s - 2 for s.
3
Let f(n) = n**2 - 7*n - 25. Suppose -19*c - 54 = 3. Let u be f(c). Solve 17 = -4*m + b, 4*m = -4*b - u - 7 for m.
-4
Let i be 80/38 + -2 - 3948/(-399). Let y be ((-15)/i)/(21/(-280)). Solve -y = 3*h + d, -10 = -3*h + 4*d + d for h.
-5
Let a be -3 + (20/(-44))/((-11)/121). Solve 5*q + 4*s = 0, -24*s + 23*s + 13 = -a*q for q.
-4
Let d(m) = -m**3 + 4*m**2 - 6. Let c be d(3). Suppose -18 = -3*a - a - c*r, -5*a - 2*r = -19. Solve j - 4 = -0*j - a*q, -16 = -4*j + 4*q for j.
4
Let j = 55 - 52. Suppose j*r = 61 - 46. Solve 5*v + r = 5*c - 20, -2*c = 2*v - 6 for v.
-1
Suppose 21 = 2*l + l. Suppose -142 = 3*m - 163. Suppose o = 2*i + 8, 5*o - i = 3*o + m. Solve -3*n + 3*b - 2*b = 7, 0 = -o*n + 3*b - l for n.
-2
Suppose -c = -10 + 2. Let u = 43 - 38. Suppose 0 = 2*o + u*f + 1, o = -14*f + 16*f + 4. Solve 4*r - 4 = 4*x - x, o*x + c = 4*r for x.
4
Suppose 18*n - 75*n = -171. Solve 14 = -h + 5*p, n*h + 1 = -3*p + 13 for h.
1
Suppose 0 = -53*n - 26*n + 316. Solve -n*h + 2*c + 78 - 54 = 0, -c = 3*h - 8 for h.
4
Suppose 40*t - 38*t = g - 4, 2*g - 2*t - 14 = 0. Solve 3*r + 7 = 5*c - c, -2*r - g = 0 for c.
-2
Suppose 26*g = q + 31*g - 45, 297 = 5*q + g. Suppose -q*d = -46*d - 28. Solve -5*f = 5*n - 50, -d*f + 4*n + 3 - 13 = 0 for f.
5
Suppose 5*x - x = 128. Let a be (1 - 0) + (x - -2). Suppose 2*l - 46 = -5*w, -2*l - 210*w + 215*w + 6 = 0. Solve -6*b + 5*h = -2*b + a, -2*b = -h + l for b.
-5
Let f(d) = 4*d**2 + 10*d - 4. Let k be f(-3). Suppose 81 = -k*b + 85. Solve y + 4 = 4*q, b*q = -5*y + 2*y - 12 for y.
-4
Let n(o) = -o**2 + 11. Let l be (-20)/(-4) - (3 - -1). Let t be (l/3)/((-7 + 3)/36). Let w be n(t). Solve w*v + 10 = -5*m, -5*m - 4*v = 2 + 8 for m.
-2
Suppose -3*b = b + 8. Let o be ((-3)/b)/((-5)/(-10)). Suppose -5*m = j + 18, 5*j = -8*m + o*m - 10. Solve -9 = -h - j*x - 0*x, -6 = 2*h - 2*x for h.
1
Let u(v) = -6*v**2 - 8*v**3 - 10*v**3 - 11 - 4*v**3 + 35*v**3 + 11*v - 12*v**3. Let s be u(4). Solve y - 2*y + t - s = 0, -5*y - 5 = -t for y.
-1
Let c be 1/(-2*(2 + 39/(-18))). Suppose -4*r - 10 = -w - 4*w, -r - 6 = -c*w. Suppose 32*b = 31*b + w. Solve -5*g - 4*i - 1 = -12, g = -b*i + 7 for g.
-1
Let p = -45 - -77. Let s be (-12)/(-2)*(-2)/(p/(-8)). Solve 0 = -2*z + s*q - 7, 2*q - 29 = -2*z - 11 for z.
4
Let p(z) = 4*z + 5. Let o be p(-3). Let a be 0/1 - (o - -4). Suppose -131 = -a*s - 125. Solve 0 = s*y - 2*m, -m + 5*m - 24 = -4*y for y.
3
Let a = -41313 - -41317. Let d = 3 - -1. Solve d*k - m = -6, 10 = a*m + 2 for k.
-1
Let r be 1 + ((-2)/2)/(-1). Let o(g) = 9112*g + 63785. Let l be o(-7). Solve 3*i + 0*i + 4*v = l, 3*v - 5 = r*i for i.
-1
Suppose -8*k - 345 = -23*k. Suppose -3 = k*d - 24*d. Solve -m + 5*u + 4 = -d, -m - 3*u = 9 for m.
-3
Let w(b) be the first derivative of -7*b**2/2 + 109*b - 127. Let r be w(15). Solve -4*d = 20, -3*v + r*d = -26 - 6 for v.
4
Let p(q) = q**3 + 12*q**2 + 11*q + 2. Let x be p(-10). Let d = 102 - x. Solve -5*m + 3*t = d, -5*m + 3*t - 5*t = 10 for m.
-2
Suppose 6 = -12*i + 30. Suppose 2*n = 3*w - 10, 5*n = -i*w - 3*w - 25. Solve 5*y + r + 24 = w, -5*y + 2*y - 12 = 3*r for y.
-5
Let s(b) = -b**3 - 6*b**2 - 5*b + 4. Let p = -10 - -10. Suppose 5 = -p*x - x. Let v be s(x). Solve 0 = 5*f - 20, -5*z - f - v*f = -35 for z.
3
Suppose 3*j = 5*n + 4 + 26, -4*j - 48 = 8*n. Solve -b - f + 3*f + 4 = j, -2*b - 4 = 2*f for b.
0
Let i = 2017 - 2007. Solve -i = -r - 2*q, -5*r - q = -5*q - 8 for r.
4
Suppose 19*i - 24*i + 5*h = -55, -4 = -4*h. Solve 12 = 5*x + 2*q, 3*x + 0*q + i = 2*q for x.
0
Let u be ((-4)/(-5))/(1/5). Let t(r) = 41*r - 40 - 17*r - 4 - 7. Let q be t(3). Solve u*d = k - q, k + 0*k + 4 = -d for d.
-5
Let x = 1428 - 1424. Solve 20 = -x*m, -2*g - m + 3 = 4 for g.
2
Let v be (-32)/28*4/16*-14. Suppose 509*o = 510*o - v. Solve 2*g = 3*t, -o*t - 2*g + 4 = -6*g for t.
-2
Let t = 40 - 28. Suppose 4*k - 2*s = 6, 0 = 2*k + 5*s - 9*s + t. Solve -k*b + 8 = 5*j, -5*b + 3*j - 7 = -17 for b.
2
Suppose 1028 = 5*o - 4*s, 8*s - 4*s + 196 = o. Let a = 210 - o. Solve -3*m - 11 = -5*j, a*j + 4 = 4*m - 0*j for m.
3
Let f be ((-177)/236)/((-4)/16). Solve -4*s - f*n + n - 22 = 0, -4*s - n - 21 = 0 for s.
-5
Let q = -661 + 664. Suppose q*r - 30 = -3*g, 3*r + 23*g - 21*g = 25. Solve 4*a = r*p - 6*p - 5, -3*a - 21 = -5*p for a.
-2
Let k be 8*1 + 73/((-1971)/(-108)). Solve 5*s + k = 3*t + 2*s, 3*s - 3 = 0 for t.
5
Let u = -1042 - -1045. Solve 3*j - 4 = 5*j + 2*o, 0 = -2*j - o - u for j.
-1
Let x = 5461 - 5456. Solve -3*y = -x*r - 6, -6 = 4*r + 3*y - 12 for r.
0
Suppose 4*b = -0*g + 3*g + 56, 5*g = b + 3. Suppose 5*m = -q + 14 + 8, m - b = 4*q. Solve 3*u + m*l + 17 = -0*u, -20 = 5*l for u.
1
Suppose -810 = -141*k + 135*k. Suppose -t + 2*t + 4*a - 12 = 0, -t + 4*a = -20. Let l be (k/10)/9*t/6. Solve -l*z - 19 = -5*j, -4*j + 6*j - 1 = -5*z for j.
3
Suppose -5*b - 250*v = -247*v - 184, 152 = 4*b + 4*v. Solve -4*o - 2*w = -4, -5*o - 2*w = 28 - b for o.
3
Let n = -304 + 309. Suppose 0 = n*l - 17*l + 60. Solve -10 = k - l*y + 9, -3*k + y = 1 for k.
1
Let z(r) = 15*r - 85. Let m(b) = b**2 + 4*b + 1. Let o be m(-5). Let i be z(o). Solve 0 = -p + n - 9, n - 2*n + i = 0 for p.
-4
Let m = 135 + -131. Suppose -j = -5*g + 5, -8*j + 4*j = 5*g - 30. Solve 5*y = m*k + j, 2*k - 35 = -2*y - 3*y for y.
5
Let i = -137 + 42. Let g be ((-14)/(-10))/((-38)/i)*4. Solve 0 = 3*m + 4*t - g, t - 4 = -5*m + 4*t for m.
2
Let j = 74 - 69. Suppose -a - 7 + 23 = -4*w, -j*w = -4*a + 20. Solve 3*u = -4*y + 8, a*y + 2*y - u - 4 = 0 for y.
2
Let y(m) = m**3 + 102*m**2 + 196*m - 396. Let w be y(-100). Let i be 32/(-56)*(-14)/4. Solve -2*d + i*q - 8 = 0, -q + 15 = w*q for d.
-1
Suppose 0*c + 6*c = 222. Suppose 0 = -5*z + c - 42. Let y be (10 + -5 + -4)/(z/(-4)). Solve -10 = 4*i + 2*b, y*b = -3*i + 7*i + 4 for i.
-2
Let z = -22700 - -22705. Solve 14*x - 19*x - 25 = z*m, 4*x + 2*m = -12 for x.
-1
Let j(m) = -m**3 - 6*m**2 - 2*m - 5. Let b be j(-6). Let s be b/3 - 13/39. Solve 0 = -w + 2*w - 2*u - 15, 5*w = -s*u + 15 for w.
5
Suppose 3*t - 137 + 128 = 0. Solve 11*g + 8 = 10*g - 4*u, -g - t*u - 5 = 0 for g.
4
Let v = -253 + 439. Let w = v - 180. Solve -12 = -4*c - 5*s, 5*c - 9 = 4*s + w for c.
3
Let m = 7 + -4. Suppose 3*o + 2*p + 20 = -25, -o = 2*p + 19. Let r = o - -13. Solve r = -m*y - 3*l + 6, 0 = 5*y - l + 3*l + 5 for y.
-3
Let d(x) = -58*x - 55. Suppose -5*h = -3*w + 5, 0 = 3*h - 5*w - 83 + 86. Let m be d(h). Solve 15 = -m*y + 4*i, -5*y = 3*i - 2*i + 25 for y.
-5
Suppose i - 2*i = 2*d + 2, 3*d + i + 3 = 0. Let b be (0 + 3*d)/(45/1680). Let x = 114 + b. Solve z + 3*h = -11, -x*z + 3*h = 2*h + 1 for z.
-2
Let h = -1462 - -1467. Let f be 0/((8 - 3) + -4). Solve 0*u - 16 = -2*u - h*z, f = -4*u - 3*z + 4 for u.
-2
Let c(s) = 5*s - 247. Let v be c(50). Solve v*g + 1 = o, o = -4*g - 23 + 10 for g.
-2
Let z = 7367 - 7364. Solve -2*j - 2*j = z*b - 16, j = 5*b + 4 for j.
4
Suppose 17 = -14*j - 39. Let a be ((-1)/(2/8))/(j/3). Solve -2 = m + m, 4*t + 13 = a*m for t.
-4
Let q = -60 + 84. Suppose 2*y + q = 6*y. Suppose -t + 0 + y = 0. Solve 0 = 4*a, -3*s - a + 0 = -t for s.
2
Let l(a) = -16*a - 158. Let z be l(-10). Let n be (76*2/4)/2. Suppose x - 5*r = -x + 25, -3*r - n = -2*x. Solve b = -x*f + 17, -3*b + z*f - 17 = -0*f for b.
-3
Let p be 28/6*((-2)/(-1) - -4). Suppose 14*r - 12*r - p = 0. Suppose 2*u - r + 4 = -t, 5*t + 4*u = 26. Solve t*z + 0*z + 30 = 5*h, -12 = 2*h + 4*z for h.
4
Suppose 5*t + 130 = 110, -5*h + 3*t = -127. Solve -b - 5*w = -h, 3*b - 10 - 3 = -w for b.
3
Suppose 13*y = 2*p + 19, 13*y - 17*y - 4*p + 52 = 0. Let s be ((-6)/4)/(2/(-4)). Solve -3*r = 0, -s*r + 4 = 7*o - y*o for o.
1
Suppose 1500 = -y + 6*y. Suppose -6*t + 18*t - y = 0. Suppose -51*q + 56*q = t. Solve -q = -n - v, -3*n - 8 = 2*v - 22 for n.
4
Let z(g) = 36*g + 2235. Let i be z(-62). Solve 4*x - 4 = -d + 3*x, 10 = i*d + 2*x for d.
2
Let r = 29 + -20. Let i(d) = 2*d - 91. Let y(x) = 5*x - 182. Let n(s) = -5*i(s) + 3*y(s). Let a be n(19). Solve k + 2*p = 7, k - 3*p = a*k - r for k.
-1
Let d be -