4
Let x(n) = n + 25. Let w = -25 + 12. Let s be x(w). Solve -5*y + 2*k + k = -4, y + 5*k = s for y.
2
Suppose -51 = -4*a - 11. Solve 3*y + 5 = j, 4*j + 2 = -4*y - a for y.
-2
Let n = -632 + 638. Solve -g - 22 = 5*p, -g + n*g + p = -14 for g.
-2
Suppose -a - 4*a = 4*i, 0 = -4*i - a. Let n be 14/2 - (i - -4). Solve 2*y = y + n*m + 14, 3*m + 17 = -2*y for y.
-1
Suppose -2*h - 2 = -2*j, -j - 33 = -2*h - 6*j. Solve 0*o + o = -4, h = -4*g - 5*o for g.
4
Let r(o) = o - 2. Let f be r(5). Suppose 0 = 205*z - 106 - 509. Solve 5*t + 25 = -f*b, -5 = 3*t - 8*t + z*b for t.
-2
Suppose 4*n - 48 = n. Let r = -81 + 83. Solve n = -2*l - r*p - 3*p, -4*l = -p - 12 for l.
2
Let w be 1/(-4*(-3)/36). Suppose -5*p = -s - 40, w*p - 24 = 2*s + 2*s. Let b be 2/p + (-180)/(-48). Solve l + 2*g = -0*g - b, 0 = -4*l + g - 16 for l.
-4
Suppose -60*v = -7*v. Solve v*m - m = -2, -c - 1 = -m for c.
1
Let f be (1 + (2 - 0))/((-6)/(-12)). Suppose -f*m - 4 = -8*m. Solve 4*s - 12 = -0*c + 3*c, 0 = m*c for s.
3
Let d(n) = -n - 2. Let u(m) = 9*m - 10. Let k be u(3). Let g be d(k). Let s be g - -21 - (-1 - -1). Solve -4*t = -12, 6 + 3 = q + s*t for q.
3
Let r(y) = y**3 + 6*y**2 - 4*y - 15. Let f be r(-6). Suppose -6 = -4*p - c + 1, -2*p - 3*c = f. Solve 0 = k - 0 + 4, 28 = -4*d - p*k for d.
-4
Suppose 53*h = 50*h - 6. Suppose -6*x + x + 5 = 0. Let y be (0 + h + x)*-4. Solve 4*u = -3*z - 2 - 2, 2*z = -3*u - y for z.
4
Let m = -34 + 20. Let r = -103 - -121. Let u = m + r. Solve u*h + 12 = 0, 0 = -t + 2*t - 2*h - 10 for t.
4
Let l be ((-4)/6)/(2*19/(-513)). Solve 5*y + 2*b = -l - 4, -4*b = 4*y + 20 for y.
-1
Suppose -5*y - 3*t = 663, 6*t - 12 = 3*t. Let o = y - -139. Solve -3*i - n + 8 = 0, i - n - 2*n + o = 0 for i.
2
Suppose -3*u + 17*u = 56. Solve 5*d - 4*n + 35 = 0, 0*d = -4*d - u*n + 8 for d.
-3
Let v(l) = 7*l**2 - 35 - l - 6*l - 5*l**2 - 4*l. Let s be v(-3). Solve s = -2*h + j + j, -j - 8 = 3*h for h.
-4
Suppose -3*p = 3*h - 0 + 9, -6 = -3*h + 2*p. Solve 1 = 3*u + 5*t - 8, -2*t = h for u.
3
Let w(j) = 6*j**2 - j. Let k be w(1). Let x(u) = -13*u + 3. Let f be x(6). Let g = -73 - f. Solve g*n + k = 4*v - 1, n + v = 0 for n.
-1
Suppose -5*m + 11 + 11 = y, 4*m - y = 14. Solve 0 = -4*n - 4*s + 16, -3*n + 3*s = m - 10 for n.
3
Let b be (87/145)/(3/20). Solve b*n = -u - 6, -n + 1 = 3*u - 4*u for u.
-2
Suppose z + 26 = -2*w - z, 5*w + 29 = 4*z. Let a be ((-6)/w)/(5/30). Solve 2*t - 12 = -a*p, 0 = -4*p - 2*t + 3*t + 24 for p.
5
Suppose -49 + 42 = -7*c. Solve -4*f = 0, c = 2*b + 2*f - 9 for b.
5
Let x be 1 + 3/1 + -6. Let s = x + -3. Let o be (10/4)/(s/(-10)). Solve -3*i + o*u + 6 = 0, -5*u - 30 = 5*i - 0*i for i.
-3
Suppose 5*k + 3*w - 27 = 0, -6*k = -8*k + w + 13. Solve 4*t + l - k = 0, 0 = -t + 5*t - 5*l + 6 for t.
1
Let l be 13/(-2) + 4 + 14/(-4). Let r be (l + 4)*10/(-4). Solve -t = 2, 4 = -r*w - 4*t - 9 for w.
-1
Suppose 3*f + 3*v = -6 - 6, 25 = -5*v. Solve 0 = -h + m + f, 0 = -5*h + m - 5*m - 13 for h.
-1
Suppose -v + 15 + 5 = -2*p, -2*p - 6 = 0. Let s = -21 - -24. Suppose y + 4*o = 14, -s*o + o = -5*y + 4. Solve -c = c - 3*g - 10, 0 = y*c - 4*g - v for c.
-1
Suppose 3*w + 2*z - 11 = 0, -3*w + 5*z + 3 + 1 = 0. Solve 3*h = -s + 4, w*h - 3*s + 1 = h for h.
1
Let b be (-1)/((1 - (-12)/(-10))*1). Solve 2*y - 12 = -0*y + 5*w, 5*y + b*w = -40 for y.
-4
Suppose -b + 3*p + 10 = 0, -3*p = -4*b + p + 16. Let q(h) = -2*h**2 - b - h + 9*h - 2. Let v be q(2). Solve -a = -v*x + 8, 4*a + 10 = -x - x for x.
1
Let d be (-4 - -5)/((-4)/52). Let f be 96/52 - 2/d. Solve -5*n - 4*z + 28 = 0, -n - 2*n = -5*z - f for n.
4
Suppose -4*q - 5 + 21 = 0, -5*q = 5*k - 60. Let l be 4/k - 3*(-3)/(-18). Solve d + 0*d - 1 = -2*b, -5*d - 5*b - 10 = l for d.
-5
Let n(v) = v**2 - 58*v + 825. Let d be n(25). Solve d = 3*s + 3*j + 12, -5*s - 5*j - 12 = -2*j for s.
0
Let j be (-7 - 7)/7*-5*1. Solve k + j = 3*k - 4*n, 2*k = -4*n - 6 for k.
1
Let m(w) = -w**3 - 6*w**2 - 2. Let n be m(-6). Let x be n/(2 + 0) + 23. Let j be (-20)/(-11) - x/(-121). Solve h - 7 = v + v, j = -v for h.
3
Let g(s) = -s**2 + 12*s - 11. Let j be g(9). Let y = -13 + j. Suppose -u + y*u + 28 = 5*c, c + 8 = -3*u. Solve 0 = 4*x - c*b, -6 = 4*x - b - 0*b for x.
-2
Let g(n) = n**2 - 9*n - 248. Let o be g(21). Solve 4*m - 8*m - 32 = -o*z, -5*z - 4*m = 5 for z.
3
Suppose 47 = 2*w - 3*n, -20*w + 15*w - 5*n = -80. Solve k = -5*b - w, 5*b - 3*b + 9 = k for b.
-4
Let l(k) = -k**3 - 29*k**2 + 28*k - 42. Let r be l(-30). Solve 5*u - 2 = 2*g + r, 0 = u + 3*g + 13 for u.
2
Let d(v) = 2*v**2 - 4*v - 1. Let g be d(3). Let q be ((-6)/5)/((6/(-5))/(-6 + 10)). Solve 13 = l - q*b, 4*l = g*b - 6 + 25 for l.
1
Let w be ((-8)/(-7 - -3))/(4 + -3). Solve 2*d + 0 = 4*h + 22, 2*d + w*h = -2 for d.
3
Let s(y) = y**3 - 2*y**2 + 7*y - 14. Let h be s(3). Solve 4*n = -2*b + b + h, -4*n + 5*b = 8 for n.
3
Let q(u) = -8*u + 94. Let z be q(11). Solve 5*h - z + 21 = -w, -3*w + 5*h = -15 for w.
0
Let t = 527 + -514. Solve -t = 2*f + 5*n - 8*n, -10 = f - 5*n for f.
-5
Let p = -315 + 315. Solve -v + 23 = -p*v - 5*k, -v - 22 = 4*k for v.
-2
Let a(m) = -6*m + 3. Let u be 12/(-8)*(-2)/(-3). Let f be a(u). Suppose -f*d = -3*d. Solve d = -3*j + 12, 5*q - j + 5 = -6*j for q.
-5
Suppose 2*h = -26 + 152. Let j be (4/(-18) - 0) + 14/h. Solve 3 = 2*a + r, j = 3*r - 3 for a.
1
Let w be (-5)/(4 + (-44)/12). Let z = -13 - w. Let r be 2 - (z - 6/2). Solve m + 3*m = -4, -r*d - m + 14 = 0 for d.
5
Let g(l) = 130*l - 516. Let z be g(4). Suppose 0*j = 2*j - 6. Suppose 2*x - 5*x + j*v = 0, -3*x + 5*v = 6. Solve 12 = x*m - 3*k, 5*m + k + 2*k = z for m.
2
Let r be (-1)/4 + 163/(-4). Let v = r + 58. Let z = -640 + 650. Solve -2*j - j - v = -x, 0 = -5*j - 2*x - z for j.
-4
Let n(h) = -7*h + 9*h + h**2 + 8 - 9*h. Let s be n(6). Suppose 54 = w + s*w. Solve -8*j + 3*j + 2*y = w, -3*y + 1 = -j for j.
-4
Suppose 0 = 4*n + 6 - 14. Suppose -2*a = -5*x - 161, -3*x + 151 = 4*a - 236. Let s = a + -88. Solve -n*b - 3*b - 50 = -5*y, -30 = b - s*y for b.
-5
Suppose 4*f - 4 = 2*f. Let q(u) = u + 17. Let g be q(-16). Suppose 0 = 3*s - 49 + 34. Solve b + 4 = f*m, g = 2*b + s for m.
1
Let z(k) = -k**3 + 18*k + 3. Let o be z(0). Solve 5*c - o*c = 2*s - 8, -7 = 2*s + c for s.
-1
Suppose -5*d + 20 = -w, -7*d + 4*w + 20 = -2*d. Solve -4*h + 5*k = 10 - 30, -d*k = 5*h + 16 for h.
0
Suppose 0 = 16*s - 28 - 4. Solve 0 = 5*t - 4*a - 11, 2*t - s*a - 1 = 3*a for t.
3
Let f(n) = -3*n + 18. Let a be f(9). Let k be (a/18)/((-2)/(-24)). Let j be 10*(15/k + 3). Solve 5*x + j = -2*u - 14, 5*u - 40 = 5*x for x.
-5
Let a = -72 - -74. Let z be a/10 + (-63)/(-35). Solve l - 4*l + 12 = 2*o, 2*l + z = 2*o for o.
3
Let f be (-7)/(-4) + (-2)/(-8). Solve -n - f*i - 12 = -5*i, 0 = -n - 2*i + 8 for n.
0
Suppose -10*h = -9*h + 21. Let f be (-8)/(-28) + 6/h. Solve -3*b + a = -0*a - 6, f = -b + 2*a + 7 for b.
1
Let x be 3/6*14 - (-6 + 6). Let l be (-2)/x + 8/28 + 11. Solve 4*o - 3*u + 24 = 0, -2*u = -5*o - 3*u - l for o.
-3
Suppose 3*f + 22 - 19 = 0. Let t be (128/20)/2 + f/5. Solve 0 = -4*c - 5*o + o, -c = t*o + 10 for c.
5
Let o(k) = -2*k**2 + 18*k + 2. Let n be o(9). Let c be (n + (-9)/3 - 1) + 17. Solve p + 2*b = 10, 0 = -3*p - p - 3*b + c for p.
0
Let d = 1327 + -1325. Solve -5*y - 23 = -2*w, d*w - 14 = -0*w + 2*y for w.
4
Let d be 6/(-4)*(-290)/87. Solve 14 = d*n - 1, 4*a + 1 = -5*n for a.
-4
Suppose -2*s + 3*z = 57, 26 = -s - z + 2*z. Let a = -78 - -79. Let k = a - s. Solve 7 = u - n, 4*n - k = -4*u + 6*n for u.
4
Suppose 0 = 4*x - 2*r - 44 - 18, -3*r + 57 = 4*x. Let q be -2 + x/3 + 1. Let f(y) = -24*y - 45. Let n be f(-2). Solve -5*l + 34 = i + q, -n*i + l = -10 for i.
5
Let x be -9*((-2)/(-36)*32 + -2). Solve 5*a = 3*s - 16, -13 = -4*s + 3*a + x*a for s.
-3
Let h be ((-200)/(-6))/(3 - (-40)/(-12)). Let m = 112 + h. Solve 2*v - 3*b - m = -b, -5*v + 28 = -3*b for v.
5
Let v = 637 - 624. Solve -6*o + o - 2*g = -v, o + 4*g = -1 for o.
3
Suppose -3*v = 12, -55 = -4*m + 4*v + 41. Suppose 2*t + m = 12*t. Solve -t*a - 2*x - 2 = 0, -3*a - x - 1 = -0 for a.
0
Let a = 9 + -9. Let u = a - 6. Let x = u + 9. Solve -m + x = -0, -5*z - 17 = m for z.
-4
Let a(k) = k**3 - 16*k**2 - 16*k - 10. Let u be a(17). Suppose -u*w + 11 = -10. Solve -4*p - 10 = -2*n, -w*p - 13 - 17 = 3*n for p.
-5
Suppose 0 = -x - 103 + 102. Let f be (0/(4/4))/x. Suppose 5*w - 171 = -0*w + y,