.
-4
Let p(w) = -6*w + 179. Let o be p(29). Solve -o*b + 10 = -2*j, 0 = -3*j + 4*j - b + 2 for j.
0
Let k = -178 + 182. Solve 0*n = 5*n - 4*u + 14, 0 = -k*n + 5*u - 13 for n.
-2
Let x = -236 + 236. Solve 3 = -p + 3*k, -p + 4*k + 0 - 4 = x for p.
0
Suppose -c = w - 10, -14 = 3*w - 2*w - 5*c. Suppose -w = -r - 3*v, r = -4*r - v + 86. Solve -3 = -3*p + 3*m - r, -3*p = 2*m + 10 for p.
-4
Let j = 337 - 333. Solve -4*y + y = -3*o + 21, 0 = -j*o + 16 for y.
-3
Let v = 1947 - 1942. Solve -4*z + 4*a = 28, -v*z + 4*a - 23 = 2*a for z.
-3
Let h(l) = 35*l**2 - 9 + 32*l**2 - 14*l - 81*l**2 + l**3. Let d be h(15). Solve 4*j + 9 = -x, 0*j = j + 4*x + d for j.
-2
Let x = -184 - -184. Suppose 0 = -x*k - 4*k - 5*f + 32, -4*k + 5*f = -32. Suppose -3*u = u. Solve -2*n + 5*g = -7, u = 3*g + k + 1 for n.
-4
Let p(s) = s**2 + 4*s + 10. Let i be p(-3). Suppose -5*g + b = 6*b - 25, -g - i = -3*b. Solve 6*y = y - 5*r - 5, 3*r + 5 = -g*y for y.
2
Let m be 26/(-6) - (-9)/27. Let d(f) = -f - 1. Let o be d(m). Solve 2*s - 26 = -4*n, 5*s = -o*n + 5*n + 17 for s.
5
Let y = -35 + 67. Suppose 10*m - y = 9*m. Suppose -2 = 5*h - 5*i - m, h - 2 = 2*i. Solve -2*g = -h, 2*g - 1 = -4*f - 3 for f.
-3
Suppose -4*x + 2*x + 28 = -2*i, 5*i - 10 = 0. Let t = x - 14. Solve -f + d - 3 = 0, 2*f = 6*f + t*d + 6 for f.
-2
Suppose 0 = 3*h + 4*h - 28. Solve -3*j = -h*s + 3 - 4, 5*s = -j - 6 for j.
-1
Suppose 0 = -2*t - 4*x - 2, t + 14 = 3*t - 4*x. Let r(j) = -3*j - 18. Let v be r(-7). Suppose 4*o - 9 = v*o. Solve 4*l = 4*u + 2 + 2, o = t*l - 5*u for l.
-2
Suppose 0 = 3*b + 2*a - 4, 0*b = -4*b - 4*a + 4. Solve 5*s = 5*n - 1 - 4, -b*n - 5*s - 19 = 0 for n.
-2
Let w(n) = -2*n**3 - 17*n**2 - 8*n. Let s be w(-8). Solve -x + s = -3*b + 5, 5*x + 4*b - 13 = 0 for x.
1
Suppose 93 - 90 = p. Solve -h = p*l + 12, -5*l - h - 20 = 2*h for l.
-4
Suppose 12 = 3*w - 3. Suppose -w*v = -3*v - 6. Suppose v*f - 9*f = -24. Solve q = 2*r + 7, 3*q - 19 = f*r - 0*q for r.
-1
Let k = 5 - 4. Let t = 3876 - 3871. Solve 3*j - 3*a + k = 4, 2*a = -t*j - 23 for j.
-3
Let v(p) = -p - 20. Let b be (-142)/6 - (-3)/(-9). Let z be v(b). Solve -z*q = 3*t + 20, -15 = 3*q - 2*t + 3*t for q.
-5
Let l = -5 + 9. Let b be 160/30*(30/8)/5. Solve 19 = 6*i - i - l*c, 0 = b*i + 3*c - 9 for i.
3
Suppose 12 = -42*n + 45*n. Solve -5*w = 4*z - 5, -n*w - 3*z = w for w.
-3
Suppose -2*r + 8 = -88. Suppose -2*k = -0*k - r. Let z be (-2)/(3*(-4)/k). Solve 4*c + 2 = 2*b, 3*b + 9 = -2*c - z for b.
-3
Suppose -4*f = 5*f - 144. Suppose -f*r = -29*r + 78. Solve -18 = o + 5*b, 2*o - r = -o + 5*b for o.
-3
Let g(n) = -n**2 - 5*n. Let f be g(-4). Suppose -r - 2 = 3. Let y = 10 + r. Solve -f*p + 12 = -0*p, -y = -5*z + 5*p for z.
4
Let b = 25 + -20. Suppose t = -2*i + 11, 17 = b*t - 8. Suppose -i*n - 9 = 0, -5*n = -5*a + 4 + 11. Solve w + 8 = -a*w + 2*y, 8 = 2*y for w.
0
Let m be 4*(4 - (-33)/(-12)). Solve 4*o = 4*z, m = -5*o + z + 13 for o.
2
Let v = 65 + -63. Suppose -5*y = 15 - 0, 0 = x - v*y - 9. Suppose 4*s = -k + 42, -14 = -s - s + 3*k. Solve 6*l - 5*o + 12 = x*l, l + 3*o = s for l.
1
Let h(d) = -d**2 + 5*d + 16. Let c(u) = -u**2 + 8*u - 9. Let g be c(4). Let s be h(g). Solve s*f + 4*k - 12 = 0, -3*f + f + 5*k = 24 for f.
-2
Let g(s) = -7*s + 23. Let w be g(3). Solve 6*z - 20 = 4*v + z, 0 = -w*v - 3*z + 12 for v.
0
Let a = 6 - 1. Suppose 6*j + 5*r = j, 0 = -4*j + a*r. Suppose -5*h + j + 20 = 0. Solve h*g = u + 2*u + 11, -5*g + 14 = -4*u for g.
2
Let g(z) = -z - 40. Let n(c) = 2*c + 39. Let v(r) = -4*g(r) - 5*n(r). Let k be v(-6). Solve 4*j - q = 4, 2*j = q + 5 - k for j.
0
Suppose -37 + 19 = -6*s. Solve 3*m - 17 = -g, -4*m + 18 = -4*g + s*g for m.
5
Let d(a) = 3*a - 32. Let r be d(12). Solve r*m - 3*y = 5, 2*y + 2 + 3 = m for m.
-1
Suppose -u + 33 = 4*x + x, -5*u - 5*x + 65 = 0. Solve -q = 5*h - h + u, -3 = h for q.
4
Let n = -93 + 96. Let i(c) = 11*c - 17. Let g be i(n). Solve -8*x + 10 = -3*x, -2*r = -4*x + g for r.
-4
Let f(p) be the first derivative of -p**4/4 + 4*p**3/3 - 6*p - 1. Let h be f(3). Solve -3*n - h*o = -2*o + 13, -n = -5*o - 17 for n.
-3
Suppose 0 = -4*x + 6*x + 10, -x = -5*p + 115. Solve -5*i + 3*f = -p, 2*i + 4 = 4*f + 10 for i.
5
Let f(m) = 5*m - 4. Let n = -9 - -5. Let r be ((-3)/n)/((-7)/(-28)). Let b be f(r). Solve 3*v + 2*u + 9 = -b, 0 = 5*v + 2*u + 28 for v.
-4
Let a(f) = -f**2 - 11*f + 2. Let y be a(-11). Let j(k) = -k**2 - 53*k - 658. Let c be j(-20). Solve y*g - 2*n + 5*n - 5 = 0, -c*n = 2 for g.
4
Let o = 676 - 648. Solve 16 = 5*d - 4*d + 5*b, 3*d - 4*b + o = 0 for d.
-4
Suppose -4*c - c - 28 = -4*x, 24 = 4*x - 4*c. Let a = 120 - 222. Let b be ((-10)/(-85) + 46/a)*0. Solve -5*u - 2*r + 6 = x, b = u - 2*r + 4 for u.
0
Let m = 13 - 8. Suppose 3*f = -0*f + m*s + 48, 3*s = 3*f - 42. Suppose f = -4*t + 31. Solve q - w - 5 = -0, -3*q + t*w = -25 for q.
0
Let x = -120 - -128. Suppose -10 = -r - x. Solve 0 = 4*v - 5*l + 41, -3*v - r*l + 13 = 3*l for v.
-4
Let d(g) = -g**3 - 7*g**2 - 12*g + 7. Let a be d(-5). Solve -2*c - a = -5*l, -12 = 4*c - 3*l + 1 for c.
-1
Let o(v) = -v**3 + 17*v**2 + 19*v - 8. Let k be o(18). Suppose 11*w = 13*w - k. Solve -c - w*q + 25 = 0, c = 6*c + 4*q - 41 for c.
5
Suppose 6 = -f - 7. Let i be 111/39 + (-2)/f. Solve i*b - 10 = 4*m, 2 = -3*m + 4*m - 3*b for m.
-4
Let i = 122 - 121. Solve -3*f + 2*n = i - 8, 4*n + 17 = 3*f for f.
-1
Suppose 16*h = 14*h. Let v(x) = x**3 - 2*x**2 + 20. Let r be v(h). Solve -5*g - r = -s + 3*s, 8 = -2*s + g for s.
-5
Let y(a) = a**2 - 2*a - 3. Let w be y(3). Suppose -4*c + w = -4. Suppose c - 4 = -o. Solve 0 = -3*p + 3, 0*s - o*s = -5*p - 10 for s.
5
Let b(z) = z**3 - 7*z**2 + 11. Let f be b(8). Suppose t + 2*t = f. Solve 0 = 2*h - 2*l + 14, -t + 1 = 4*h - 2*l for h.
-5
Let w = -1379 - -1379. Solve -y + 4*n + 6 = w, 0 = y + 2*n + 3*n + 12 for y.
-2
Suppose 1 = p - 11. Suppose -57 = -4*v + w, -4*w + 2*w - 58 = -4*v. Suppose f - 2*i = -f + v, -p = 4*i. Solve 5*h - 13 = -f*r, 0*r = -r - 3 for h.
5
Let r = 566 - 544. Solve 0*b + 5*b = -2*h - 24, -3*b = 5*h + r for h.
-2
Suppose 2*u = -2*c - 14, -c - u + 6*u = -5. Let t = c - -5. Solve -2*y + 4*q + 10 = t, -q + 3 = -4*q for y.
3
Suppose 23 = 8*s - 17. Solve -s*h + 2*l = -30, 0 = h + 3*l - 2*l + 1 for h.
4
Let y be (-6)/12*-3*2. Suppose -y*s = 4*z - 24, -s + 10 = 2*z + 2. Solve -5*r + 5*v + 2 + 3 = 0, 3*r = 4*v + s for r.
-4
Let o = 10 - 10. Suppose o*h = 4*h - 20. Suppose h*q - 12 - 8 = 0. Solve -q*f + 4*i = -1 + 17, 2*f - 4*i + 8 = 0 for f.
-4
Let n(m) = -m - 6. Let i be n(-11). Suppose 5*y = i*h - 25, 10*h - 23 = 5*h + 4*y. Solve z - 4*u + 1 = 0, 2*z + 11 = 2*u + h for z.
-5
Let i(p) = -p - 2. Let j be i(-2). Let y be (-23)/(-6) + 1/6. Solve -4*t + 0*b = y*b + 20, j = 5*t - 4*b + 25 for t.
-5
Let p be (-213)/(-18) + 14/84. Solve 0*g + p = g + 5*j, -2*g - 4*j + 12 = 0 for g.
2
Let l(v) = 71*v + 8. Let n be l(0). Solve y - 2*y = 2*r + n, -r = 5*y - 5 for r.
-5
Suppose -4*p + 9 = 2*m - 13, 4*m - 29 = -3*p. Suppose -p*h - 2*h - 20 = 0. Let j = h - -6. Solve 0 = 5*d + w - 30, 3*d - w = j*w for d.
5
Let l = -206 + 208. Solve 3*h = -5*t - 13, -l*t - 4 = -3*h + 18 for h.
4
Let b(f) = -f**2 + 8*f - 1. Let n(d) = -d - 1. Let v(k) = -b(k) - 2*n(k). Let x be v(6). Solve 2*y = 3*i - 12, -x*y + 4 = i - 0 for i.
4
Let a be 6/((-1)/((-3)/6)). Suppose -x = -a*x - 4. Let j = x + 6. Solve 5*i + 8 = i + j*o, 2*i + 13 = 5*o for i.
1
Let w = -84 + 91. Solve j + g = 3*j + w, 0 = -5*j + 2*g - 15 for j.
-1
Suppose -3*v - 22 = -16. Let i be ((-2)/(-1))/((-1)/v). Solve i*y = -k + y + 3, -5 = -3*k - 5*y for k.
0
Let z = -1006 - -1010. Solve -2*p + 7 = 2*p + 3*q, -4*p - z*q = -4 for p.
4
Let d = 92 + -89. Solve -r - 2*t = 3*t - 3, 0 = r + 3*t - d for r.
3
Suppose 134 - 142 = -4*t. Solve -o + t = -0*v - 4*v, -5*o = -2*v - 10 for v.
0
Let w = 78 + -30. Let f = w - 46. Solve -x - y - 8 = 0, 6*y + 37 = -5*x + f*y for x.
-5
Let z(x) = x**3 + 14*x**2 + 12*x - 11. Let b be z(-13). Suppose -b*h = -0*h - 8. Solve -h*l + 4*j = -l + 12, 2*l - 5*j + 8 = 0 for l.
-4
Let t(b) = 9*b + 22. Let v(s) = 4*s + 11. Let l(r) = -3*t(r) + 7*v(r). Let k be l(-7). Suppose -6 = -2*d - 0*d. Solve 5*p - 10 = k*o, 2*p + d = -4*o + 7 for p.
2
Let r = -1870 + 1885. Solve 0*j - 2 = -j, 5*m = -5*j + r for m.
1
Suppose 4*t = 3*k - 46, -28 = -2*k + 5*t - t. Solve -s - 4 = -2*s, -k = 2*g - 3*s