 - 4 = 0, 4*m = -2*a + 5*a + 32. Solve -m*k - 35 = -8*r + 3*r, -r = -4*k - 22 for r.
2
Let d = -9256 - -9281. Let u = -6 + 3. Let k = u + 6. Solve -4*q - k*i = -1, -4*q + 3*i = -8 + d for q.
-2
Let y = 18 - 14. Suppose y*v + 28 = q + 10, -q - 5*v - 9 = 0. Solve 3*n + 2*t = n - q, 3*n - 4*t - 12 = 0 for n.
0
Let v(a) = -61*a - 423. Let h be v(-7). Solve 0 = 4*z + h*y + 20, -4*z + 0*y + y = 0 for z.
-1
Let h(u) = -u**3 + 5*u**2 - 2*u - 5. Let g be h(4). Let l(n) = -g*n + n - n**2 - n + 11 - 4*n. Let m be l(-8). Solve -5*y = -w + 4, m*w + 6 = -3*y - 0*y for w.
-1
Suppose 5 = -l + 1. Let o be (10/8)/((-1)/l). Suppose -4*w - o*n + 4 = -n, 3*n + 5 = w. Solve -4*q - 2*c - 4 = 3*c, -2 = w*q - 2*c for q.
-1
Suppose 9*x = 34 - 7. Solve -26 = -3*z - 4*j, 7*j - x*j - 28 = -4*z for z.
2
Let c = -13 + 31. Suppose 4*w + 2*r = c, w - 7 = -r - 3. Solve f - 6*f - 8 = -3*i, -w = f - 4*i for f.
-1
Let u be 2*(-1)/6 - 79/(-3). Let k be 4*(-2 + u/8). Solve 0 = -b + d + 1, -d = -k*b - 2*d + 23 for b.
4
Let z be 0/(-6 - (-6)/2). Solve -2*r + 5*o - 10 = 0, -r + 0*r + o + 1 = z for r.
5
Suppose 4*o - 18 = -o + 3*d, 4*o - 2*d = 14. Let g be (-1)/(-6)*o*0. Solve 14 = -3*l + 5*m, -l - 4 = -g*m - m for l.
-3
Let w be (8/12)/(4/60). Solve -3*o - w = -2*m, o - 2*o - 6 = 2*m for o.
-4
Let k(q) = 2*q + 2*q + 13 - q - q. Let a be k(-5). Solve a*n = -3*c - 2*n - 6, -4*c - 5*n = 3 for c.
3
Suppose -2 = -d - 5*j - 10, -4*d + 25 = j. Solve -2*o - 3*n = d + 4, 0 = 3*o + 5*n + 18 for o.
-1
Suppose -2*z + 6 = 3*s, s + 6 = -4*z + 28. Solve 17 = -4*q - w, q - 2*q - 2*w = z for q.
-4
Let t be (-9)/(-216)*8*12. Solve -b - 3*z + t = 0, -5*b - z = -0*b + 8 for b.
-2
Let s(i) = -3*i**2 + 9*i + 2. Let a be s(3). Solve 0 = -2*r - 3*u - 1, -a*r - u + 4 = 3 for r.
1
Let g be (-64)/(-3) - (-2)/(-6). Let p = g - 21. Suppose -2*o + 4*s + 26 = 0, -s + p*s + 32 = 3*o. Solve 0 = 4*y + 4*w - 8, -3*w = -4*y + o - 3 for y.
2
Let c(l) = 15*l + 8. Let a be c(2). Let q = a - 35. Solve q*p + 6 = 2*s, -4*s - s = 3*p - 15 for s.
3
Let g(y) = y. Let n(r) = 6*r - 23. Let u(c) = 5*g(c) - n(c). Let m be u(18). Solve m*o - 11 = h + 9, -15 = -2*o - h for o.
5
Let i be ((4 - 7) + 5)/((-6)/(-21)). Solve 2*x + x - i = -r, r - 9 = -4*x for r.
1
Let i = 0 + 0. Suppose 45 = 3*g - 3*k, 3*k - 50 = -2*g - 0*g. Solve 0 = -5*l - t + g, i = -4*l - 2*t + 4*t + 4 for l.
3
Suppose 8*n - 7 = 1. Let p = n - -5. Solve -3*q = 2*u + p, u + 0*u = 2*q - 3 for u.
-3
Let l = -98 + 102. Let f(i) = -4*i - 1. Let g(v) = 1. Let k(r) = f(r) + g(r). Let p be k(-1). Solve -5*c + p*c = l*j + 6, -c = j for j.
-2
Suppose f = 16*f - 195. Solve 1 - f = -3*p - 3*y, -4 = 4*y for p.
5
Suppose -200 = -3*v - 2. Let n = v - 47. Solve -3*z = -3*q - 12, -2*q = -q - 4*z + n for q.
1
Suppose 3*b - 23 = -3*z - 2, 5*b = -2*z + 20. Suppose 5 = -3*h + b*g, 2*h - 18 = -7*g + 3*g. Solve j + 1 = -a, a + h = -3*j - 6 for a.
2
Let u be (0 - (-3)/2)*40/15. Solve -u*j + 4*l + 8 = l, 37 = 5*j + 3*l for j.
5
Suppose -8*h + 216 = -14*h. Let q = h + 36. Let w = -1 - -1. Solve -3*i + u = -q*u, -2*u = w for i.
0
Let v(p) = p**3 - 3*p**2 - 11*p + 7. Let o be v(5). Let u(d) = d**2 - 8*d + 4 - 2*d**2 + o*d. Let x be u(-6). Solve c - 6 = -x, -l = 5*c - 6 for l.
-4
Let i = -62 - -64. Suppose 2*y = -i*s + 8, -3*y = 3 - 0. Solve 5*f - 3*w - 16 = 0, -w = -s*f + w + 14 for f.
2
Let s be 2 + (3 - (2 + -1)). Suppose -t + 3*j = -12, -3*t - 23 = 3*j - 59. Solve t = x + 2*u, 4*u + s = 24 for x.
2
Let a = -743 - -750. Solve -15 = -3*o, o - a = -2*z - 8 for z.
-3
Let v = -22 - -25. Suppose 40 = 5*d + v*d. Solve -5*w + 2 = -0*y + 3*y, 0 = -w + d*y - 22 for w.
-2
Suppose 0 = -a - 7 + 8. Suppose 0 = 2*o - 17 - a. Solve 5*q - 2*n = -14 - 1, 3*q - 2*n + o = 0 for q.
-3
Let o = 0 - -1. Suppose 0 = -99*s - 76*s + 1750. Let r(y) = y + 4. Let h be r(0). Solve j - 2 = -4*b - o, h*b - s = 2*j for b.
1
Let k be 3 + (-4 - -3) + 4. Let s be (-6 - -3)/(k/(-8)). Solve -1 = 2*i + y, i + s*y = 5*i - 16 for i.
1
Suppose -69 = -5*b - 2*n, 4*b - 6*b - 4*n + 34 = 0. Solve 0 = -0*x + 2*x + 5*l - 25, b = 5*x - 4*l for x.
5
Let f be 2 - 2 - -1 - 1. Let g be f*1*(-4)/4. Let c(p) = p**3 - 2*p**2 + 4*p - 4. Let k be c(2). Solve g = 2*d + 6, 0*x + 3*d = -k*x - 9 for x.
0
Let n = 133 + -133. Suppose n = -14*g + g. Solve g*a - 3*v - 30 = 3*a, 10 = 3*a - 5*v for a.
-5
Let o = 75 + -67. Let j(c) = -c + 1. Let f(i) = 5*i - 6. Let z(h) = f(h) + 6*j(h). Let p be z(-4). Solve -2*u - 2*n - 13 = -3*n, -3*u - p*n = -o for u.
-4
Suppose 4*m + 4 = -0*r - r, 5*r = 5*m - 20. Let x = -66 + 69. Let a(j) = j**3 - 5*j - 7. Let g be a(x). Solve g*s = -5*n - m*s - 35, 2*n = -5*s - 26 for n.
-3
Suppose 15 + 55 = 14*x. Solve -12 = x*q - 4*w, -4 = 5*q - 2*q - 4*w for q.
-4
Let z = 540 + -538. Solve 4*a - z*w = -a + 18, 0 = 2*a + w - 9 for a.
4
Suppose -5*r - 3*m = -24, -6*r = -10*r - 2*m + 20. Solve c + 40 = 3*v + r*c, 3*v - 2*c - 5 = 0 for v.
5
Let u be 14/4 + 81/54. Let t be 4/(-8) + 18/4. Suppose 0*b + t*b = 84. Solve -u*x + f = -f + b, 3*x - 3*f + 9 = 0 for x.
-5
Let w(i) = i**2 - 13. Let m be w(-3). Let q be 4 + -2 - (m + (7 - 4)). Solve s = 2*j + 10, -5*j + q*s = -j + 20 for j.
-5
Let o(m) = m**2 + 12*m + 13. Let w be o(-11). Solve -w*b - 7 = a, a - 5*a + 2 = 2*b for b.
-5
Suppose 491 = -2*h + 495. Solve -4*k = -h*u - 6, -7*u = -2*u - 3*k + 1 for u.
1
Suppose 5*m + 6*m = 44. Suppose 11 = 4*i - 4*t - 21, 5*i - 4*t = 35. Solve -m*z - 7 = -i*w, -2*z - 4*w = -2 - 22 for z.
2
Suppose a + 4*c - 18 = 0, 22 + 20 = 5*a + 4*c. Suppose -a*w - 2 = -7*w. Let u be (42/(-12))/((-1)/w). Solve 3*m - 5 - 1 = 0, 3*b - u = m for b.
3
Let s be 12/21 + (-104)/(-14) + -5. Solve -n - 2*w = s, -4*n + 3*w = 7*w + 4 for n.
1
Suppose 590*a = 583*a + 91. Let u be 9/6*(-8)/(-6). Suppose 0 = 4*c + 3*s - 1, 5*c + u*s = 4*c - 6. Solve a = 3*n - 4*n - 4*m, c*n + m = -7 for n.
-1
Let n be 3/((-6)/4)*(-54)/36. Suppose -n*a = -11 - 7. Solve -a*g - 1 = -z - 3*g, 4*z - 4*g = 12 for z.
4
Suppose 11*d + 21*d = 96. Solve 3*u + 5*q = -8, 0 = 4*u + d*q - 0 - 4 for u.
4
Let m = -60 + 56. Let r(i) = -2*i - 5. Let j be r(m). Solve -3*p - 7 = 2*v, -4*p = -2*p - j*v - 17 for p.
1
Suppose -65*m = -61*m + 3*y - 8, 0 = 2*m + 5*y - 4. Solve 4*o - 3*l + 1 = 0, -5*o + 0*l - m*l = -16 for o.
2
Suppose 8 = -j + 5*j - g, -2*j - 2*g = -14. Let n(x) = -x**2 + 9. Let r be n(j). Solve 2*q + 0*q - 5*m + 3 = r, m + 1 = 0 for q.
-4
Let j = 116 - 70. Let r = j - 42. Solve -10 = -2*x + 5*y + r, -x + y = -1 for x.
-3
Let d(t) = -t - 1. Let w be d(-3). Let c = -142 - -97. Let o be 1*10/c - (-29)/9. Solve 1 = w*a - u + 6, -o = u for a.
-4
Let w(j) = -j**3 - 13*j**2 + 15*j + 19. Let n be w(-14). Solve -3*q + 2*o = 9, 4*q = n*o - 2 - 10 for q.
-3
Let y(k) = -k + 1. Let m(f) = f**3 - 7*f**2 - 6*f + 2. Let o(q) = m(q) + 2*y(q). Let s be o(8). Solve i = -3*g + s, 2*i - 8 = -0*g - 5*g for i.
4
Let w(g) = 4*g**2 - g + 1. Let a be w(1). Let p = -868 - -872. Solve -2*q = -a*k - p*q + 8, 0 = 5*q - 20 for k.
0
Let w(a) = 5*a - 89. Let g be w(18). Solve 0 = -t + 3*j + g, -t - 2*j + 0 + 1 = 0 for t.
1
Let d(z) = -2*z**3 - 3*z**2 - 3. Let f be d(-3). Suppose 5*b = -2*a + 160, 0 = 4*b - 0*b - 4*a - 128. Let w = b - f. Solve 4*i - w = -5*m, -m + 1 = i - 0 for i.
-3
Suppose -2*i + 110 = 9*i. Let p be (1 + 29/5)/(4/i). Solve -5*c + 4*c + 3 = n, 4*c - n - p = 0 for c.
4
Let h = -314 + 324. Solve -2*o = -j - h, 10 = 2*j - 0*j + 2*o for j.
0
Let j(k) = -9*k**2 - 44*k + 7. Let l be j(-5). Solve -l*n - 4 = -5*d, n + 5*d + 0 + 2 = 0 for n.
-2
Let m(l) = 3*l**2 + 9*l - 3. Suppose 5*h = -2*o - 75, -3*h + o = -3*o + 71. Let t = -21 - h. Let u be m(t). Solve f + u = 5*j, 4*j + 3 = -2*f - j for f.
-4
Suppose 4*m + 2*f = 2*m - 8, -f = 4. Let h be 1/(-1)*-3 + m. Solve -4*u = h*x + 26, 0*u = -3*x - u - 11 for x.
-2
Let b be (0 + 2/6)*150/10. Solve 2*w + 4 = b*j - 3, 2*j + 2 = -4*w for j.
1
Let y be 3/6*(15 + -11). Solve g + 3 = y*t, 2*t - 3*g - 3 - 6 = 0 for t.
0
Suppose -6*x = -9 - 9. Suppose 1 = z - 4. Solve 6*j - x*a + 10 = j, -j + z*a = 24 for j.
1
Let w(n) = -3*n**3 + 2*n**2. Let j be w(1). Let l be 5/(-2)*((-2)/2 + j). Solve -5*q = -l*f, 0*f - 3*q = -2*f - 2 for f.
2
Let w(s) = -s - 6. Let o be w(-11). Let k = -3 + o. Suppose 5*c + 3*r = 5, -c + 0*r + 5*r + 29 = 0. Solve -k*q - 6 = -6*q - 5*p, c*q = -4*p + 4 for q.
-1
Let t be (