+ j = 0 for x.
2
Suppose -227*h = -172*h. Solve 0*d = -4*s + d, s + 2*d - 9 = h for s.
1
Let m be 8 + (40/2)/(-5). Suppose 5*p - 4*j = -12, 0 = 4*p - j + 3 - 0. Let l(i) = -8*i + 19. Let q be l(0). Solve p = 4*k - 4*c + m, 5*k - c = -2*c + q for k.
3
Let m = 557 - 530. Solve 5 = 5*s + 4*y, -3*y = 4*s - 6*y + m for s.
-3
Let d(p) = -111*p - 2649. Let h be d(-24). Solve -y + h = -4*i, 2*i = -5*y + 13 - 4 for y.
3
Let t be (-2*4 + 4/(-4))*-9. Let i = 99 - t. Let o be i/(-45) + -2 + (-12)/(-5). Solve 4 = -y - o, -3*y - 10 = -2*c for c.
-1
Let a = 2521 - 2459. Solve 0 = 4*y + 2*c - 10, a*c - 63*c + 5 = 5*y for y.
0
Let v be (-4598)/(-1558) - 4/(-82). Solve -v*h - 8*d - 5 = -7*d, 3 = 3*h - 3*d for h.
-1
Let c be 0/3*(-1)/(1 - 0). Suppose -2*f + c*f + 12 = 0. Suppose -10*q = -7*q - f. Solve -1 = 2*p - 5*t, -q*p - 3*p = -2*t + 13 for p.
-3
Suppose 91*x + 65 = 338. Solve 2*p + x*p = -5*i + 15, 2*p - 12 = -5*i for p.
1
Let m be (8 + -15 - -6)*(0 - 17). Suppose 11*s + 132 = m*s. Solve -2*j + 3*c - 11 = -0*j, -5*j = -2*c + s for j.
-4
Let o = 45 - 19. Suppose -6725*l + 10423 + 616 + 13178 = 4042. Solve x = l*t + 11, 3*t + o = 6*x - 2*x for x.
5
Suppose 3 = -2*m + 3*b, -9 = -4*m + 6*m + 3*b. Let g be -1*(6*m + 2). Solve -2*p - g = -2*h + 6*h, h + 4 = -2*p for p.
0
Let j be -1*((-10)/2 - -2). Suppose j*y = -3*a, 3*a - 5*y - 5 = 7*a. Suppose 0*m + a = m. Solve 0 = -5*l - o + 6, -m*o + 2 = -3*l - 0*l for l.
1
Suppose -19 = 13*m - 110. Let c(a) = 17*a - 117. Let t be c(m). Solve q = 2*g + t*q - 1, 5*q = g - 6 for g.
1
Let l(r) = 2*r**3 - 10*r**2 - 126*r + 538. Let d be l(4). Solve -5*h + d*h - 8 = f, -2*f + 28 = -5*h for f.
4
Suppose 0 = 107*g - 95*g - 24. Solve 5*m = 5*y + 5, -3*m + y = 3*y + g for m.
0
Suppose 0 = -5*x + 2*j + 113 - 19, -88 = -5*x + 4*j. Let y = 1528 - 1501. Suppose -48*w + 105 = -y*w. Solve 3*l = c + x, -c + 15 = w*l + c for l.
5
Let o(n) be the first derivative of 3*n**2/2 - 31*n + 29. Let v be o(12). Solve 2*j + j = r + 13, -v*j + 19 = -r for j.
3
Suppose -31*j = -35*j + 84. Let f be 6/(-14) - (-135)/j. Suppose 0*z - 3*z = -f. Solve t = i - z*i + 1, -5*i - 27 = -3*t for t.
4
Let u(q) = q**2 + 10*q - 10. Let z(x) = -x**3 + 9*x**2 - 15*x - 4. Let s be z(7). Let y be u(s). Solve 3 = -5*c - 3*j, -c - 5*j = 6 - y for c.
0
Let b be -6 - ((-2945)/(-5) - -4). Let u = b + 601. Solve 3*r - 4*r - g = 1, g - u = -4*r for r.
1
Let l be (0/5)/(-6 - -5). Let i = -14 - -17. Solve 4*t - i*q - q = l, 2*t + 3*q = 0 for t.
0
Suppose 0 = 7*d + 183 - 246. Solve -4*m + w = d, 2*w - 4*w + 12 = -5*m for m.
-2
Let g = 152 - 124. Suppose 4*i = 5*o - g, 2*o = -2*i - 23 + 27. Solve -o*y + b = 7, 0*y + 3*y = -b for y.
-1
Suppose 0*o + o + 10 = 5*n, -n - 5*o = -2. Let m be (-3)/(6/(-5))*(-2926)/(-55). Let t = 149 - m. Solve 2*p + 8*w - 4*w = t, 16 = -3*p + n*w for p.
-2
Suppose -10*s = 3*c - 5*s - 4, -5*c + 12 = 3*s. Suppose c - 188 = -37*v. Solve 0 = v*w + 3*a + 15, 6 + 9 = -5*w + 5*a for w.
-3
Let k be (170/(-30) + 5)/((-4)/30). Let v be 3 + (-2)/(-5)*k. Solve -5*p = -2*i - 24, -v*p - 4*i = -p - 8 for p.
4
Let t be -1 + (-59)/(-10) - (-1)/10. Suppose 5 = -t*o + 30. Solve 0 = 3*i - o*a - 15, -i + 9 = 4*i - 3*a for i.
0
Suppose 0 = -3*m - m + n + 15, 0 = 5*m - 4*n - 16. Solve -4 = 3*v - 2*x, 4*x + 20 = m*v + 28 for v.
0
Let d(h) = 32*h - 152. Let j(q) = -19*q + 101. Let g(c) = 5*d(c) + 7*j(c). Let r be g(2). Solve -2*i - 5*x + 23 = 0, -i + 0*i = -x - r for i.
4
Let k = 229 + -226. Let a(r) = -r**2 - 6*r - 8. Let x be a(-4). Let s be k + x/(-1)*4/4. Solve -4*z = 4*p - 24, -z - 4*p + s + 12 = 0 for z.
3
Let x(d) = -11*d**2 + 18*d - 25. Let g(q) = 2*q**2 - q + 2. Let n(t) = -6*g(t) - x(t). Let r be n(-13). Solve -p + 3*i = -10, r = 4*p - 4*i - 11 + 3 for p.
-2
Let k be ((-595)/(-10) + 1)*(-12)/2. Let u = k + 368. Solve 0 = u*o + b - 22, 0 = 2*o - 4*b - 0*b for o.
4
Suppose -79*f + 90 = 47 - 115. Solve f*o - 3*y + 7 = 15, 5*o - 3*y - 20 = 0 for o.
4
Suppose 5372 - 13877 = -135*x. Solve 3*p + 9 = 0, -60*b - 2*p = -x*b - 6 for b.
-4
Suppose 266 = i + 3*h, 6*h = -5*i + 2*h + 1385. Let u = 286 - i. Solve -5 = u*q, -q = -2*m + 4*q + 5 for m.
0
Let l be 66584/(-72) - 6/27. Let y = 937 + l. Solve 2*x + 4*c = -y, x + 0*c - 4 = 3*c for x.
-2
Suppose 5*b + 3*u = -u + 26, -2*b + 2*u = 4. Solve c + 2*c + b = m, 2*m = c - 1 for m.
-1
Let o = -15 - -45. Let p be 2*((-155)/o + 5)*-12. Solve 4*v - 2*v + 3*i = 9, 3 = p*v + i for v.
0
Suppose -b + k + 11 = 0, -44*b + 27 = -42*b + 3*k. Solve 3*j = 5*w + 7*j - 1, -2*j - b = 0 for w.
5
Let i(f) = 2*f**3 - 102*f**2 - 6*f + 310. Let w be i(51). Solve -4*d + z + 10 = -8, 4*z = -w*d + 28 for d.
5
Let x(f) = 26 - 13 - 15 - f. Let v be x(0). Let h be (v + 1)/2*-8. Solve -5*a = -5*l, -h*a + 3*l = -3*a + 2 for a.
1
Let w = 3043 + -3038. Solve 2*z - f = -4*f - 11, -w*f - 11 = -4*z for z.
-1
Let p = 13 + -17. Let a be 3 - (-1)/(p/12). Let g(k) = 2*k**2 + 10*k - 10. Let z be g(1). Solve a = 4*b - 0*b, -z*l - 2*b - 8 = 0 for l.
-4
Let d(y) = y**3 + 5*y**2 + 8*y + 11. Let p be -1*((-7 - -9) + 1). Let s be d(p). Solve 0*n = 5*n - s*x + 25, -n = 4*x - 10 for n.
-2
Suppose -46 = -4*n + 26. Suppose m - 2 = 8*i - 9*i, 3*i + n = 5*m. Solve 16 = -2*t + 3*t - 3*w, 0 = m*t - w - 8 for t.
1
Let x(t) = -12*t**2 + 3*t - 17. Let b be x(-5). Let q = b - -193. Let u = q - -145. Solve 5*i + 4*g + u = 0, 5*g + 2 + 8 = -5*i for i.
2
Let s = 8366 + -8361. Solve 0 = -g - 20*c + 15*c + 26, -s*c + 20 = -5*g for g.
1
Suppose -4*n = -4*w + 20, 0*w + 5 = -5*w - 5*n. Suppose -2*f - 53 = 11. Let q = -28 - f. Solve -r = -w*y - 13, -r - 14 = q*y - 3 for r.
5
Suppose 4*s = 7 + 53. Suppose 10 = 5*d - s. Suppose 148 = d*z - 2*u, -3*z - u + 61 = -z. Solve -3*b - 4*t = t + z, -2*b - 22 = 4*t for b.
-5
Let f be (-15192)/(-1368) + 74/19 + -4. Solve t + 5*x + 31 = 0, f*t - 5*x = 6*t + 55 for t.
4
Let l(k) = k**3 - 9*k**2 - 25*k + 152. Let a be l(10). Solve -2*v - 4*o = 8, -3*o - 12 = 2*v + a*o for v.
4
Let x = 1 + 4. Suppose 3*w - 1832*q + 15 = -1829*q, q = 5. Solve 2*o + 15 = 2*b + x, o - 3*b + 15 = w for o.
0
Suppose 0 = -2*u - l + 42, -34*l + 36*l + 123 = 5*u. Solve u*b + j = 20*b, 2*b - 5*j = 0 for b.
0
Let g(d) be the second derivative of -d**5/20 - d**4/4 + d**3/2 + 22*d. Let j be g(-4). Solve 0 = 6*r - r - t, -25 = 5*r + j*t for r.
-1
Suppose 9*g + 45 = 81. Suppose -g*c = 12, c - 2 = 5*t - 30. Solve 0 = -t*q - p + 5, -2*q + 10 = -3*q + 2*p for q.
0
Let s = -35 - -41. Suppose -s*n = -10 - 2. Suppose 4*z = n*b + 4 + 18, 4*z + 3*b - 17 = 0. Solve -z*x = -t - 18, 2*t = t - 2*x + 3 for t.
-3
Let l be 9/6*(-1)/(-3)*0. Suppose i + l*i + 2 = 0, 2*h = i + 14. Solve 3*y = 3*t + h, -2*y - 10 = t - 5 for t.
-3
Let v(q) = -q + 120. Let s be v(6). Let z be 19/s - (-105)/18. Solve 0 = x + 4*o - 16, -z = -2*o for x.
4
Suppose 0 = -d + 2*k - 12, -120*d - 2*k = -116*d - 22. Solve 3 = w + d*w, 2 = 3*s - w for s.
1
Let d be 3547/13 - (-3 + 74/26). Let o = -270 + d. Solve -2 = 4*n + 2*g, -o*g - 21 = 2*n + 2*g for n.
2
Let o be 53 - 1/((-2)/2). Let t = -51 + o. Solve 4*x + 4*g = 16, x + 4*x - t*g - 4 = 0 for x.
2
Let n be (-15)/120*-64 + -1*5. Solve 0 = p, -44*l - p + n = -45*l for l.
-3
Let p(r) = r**2 + 11*r + 28. Let m be p(-8). Suppose 413 - 429 = -m*d. Solve -2*b + g + 6 = 0, 2*g + 0 - d = 0 for b.
4
Suppose -v + t - 1 = 0, 3*t - 1 - 2 = 4*v. Suppose v = -a - 2*p + 6*p + 7, 4*a + p = 11. Let g = -123 - -144. Solve 0*y - 2 = -2*y - a*s, 0 = 5*y + s + g for y.
-5
Let r = 3290 + -3284. Solve 0 = -4*i + 8, 2*k + 6*i - 9*i = -r for k.
0
Suppose 39 = 4*l - 3*t + 19, 0 = -t + 4. Solve -12*v + l*v + 3*g = 19, g = 5 for v.
-1
Suppose -c + 102 = 2*c. Suppose -2*j + 4*j = c. Let t(h) = -3*h - 3. Let v be t(-2). Solve -2*d + 5*r = -d + j, 4*r = v*d + 7 for d.
3
Let a(u) = -u**2 + 19*u - 43. Let x be a(16). Let n(s) = -s**3 - s**2 - 75. Let d be n(0). Let y = d - -77. Solve -23 = -x*r - t, y*r + 16 = 3*r + 4*t for r.
4
Let q = 88 + -88. Suppose q = 19*d - 31*d + 84. Solve -v = 5*o + d, 2*o + v + 4 = -0 for o.
-1
Suppose 0 = 3*u + i - 42 - 49, -39 = -u + 4*i. Solve 2*c - 5 = -2*c + 5*r, -2*r = 5*c - u for c.
5
Let x(s) = -4*s + 3. Let a = 27 - 19. Suppose -7*b + 3 = -a*b. Let z be x(b). Solve t + 7 = -0*p - p, -5*p = -5*t - z for p.
-2
Let l = 527 + -505. Solve -2*j - 9 = i, l = -5*j + 2 for i.
-1
Let x be (109