16 = -z - o*m for z.
4
Let m be -1 - 14*4/(-8). Suppose -u - m = 14. Let r = -15 - u. Solve b + 4 = x, 0 = -r*b - 4*x + 10 + 6 for b.
0
Let l be ((-104)/14)/(2/(-7)). Let i = 26 - l. Solve i = -5*c - 4*q + 1, 3*c - 5*q = 4 + 4 for c.
1
Let k(n) = n**2 - 15*n + 2. Let f(l) = 15*l. Let c be f(1). Let q be k(c). Let p = -1 - -4. Solve -w - 13 = -p*z, z = 5*z - q*w - 20 for z.
3
Suppose -72 = 149*k - 167*k. Solve -m = -k*y - 2, 4*m = -0*m + y + 8 for m.
2
Suppose 8*d = -3*y + 3*d - 147, 0 = 5*y + 2*d + 264. Let x = -54 - y. Solve x = -4*a + a + g - 7, 3*a + 4*g = -17 for a.
-3
Suppose -4*p = 10 - 26. Solve 4*q + p = 3*i, -q + 5*i + 24 = -2*q for q.
-4
Suppose -14*f = -3*f + 121. Let s be (-1 - 0)/(-1) + (-8 - f). Solve -s*i - n - n = 0, 2*i = -2*n - 2 for i.
1
Let n be 21/14 - 18/12. Solve 2*r + n*t - 23 = -5*t, 2*t - 6 = -4*r for r.
-1
Let s be 15/(3/3) - 21/7. Let u be (8/s)/((-124)/(-30) + -4). Solve 2*b + 5*o - 33 = -8, -u*b + 20 = 4*o for b.
0
Suppose -22*m + 21 = -15*m. Solve 0 = 2*y + 3*z + 16, m*y + 0*y - 4*z = 10 for y.
-2
Suppose 2*n - 5 = 7. Let b be 137/n - 5/(-30). Suppose -27*f = -b*f - 64. Solve 0 = 4*y + 2*c, 2*y + 3*c + 2*c - f = 0 for y.
-2
Let v(g) = 4*g - 5. Suppose 0 = -2*x + 3*a + 12 + 6, -4*a - 25 = -3*x. Let k be v(x). Solve 4*s + k = 3*s - 4*m, s - 9 = 4*m for s.
1
Let a(d) = -d + 15. Let v = 27 + -15. Let c be a(v). Suppose -4*z = -0*z + 3*j - 24, 5*j = -5*z + 35. Solve 3*x - z = 0, c*m + x + 2 = 2*m for m.
-3
Suppose -4*k + 58 = -22. Suppose -r - k = -3*r. Let t = -5 + r. Solve 0 = 5*s - t*w + 5, -s - 5 = s - w for s.
-4
Suppose -g + 5*u = -3*g - 105, 0 = -4*g - 3*u - 175. Let i = g + -9. Let q be (-231)/i + 2/7. Solve -2*w + q - 10 = -o, 0 = -4*o - w + 2 for o.
1
Let a be ((-8)/4 - -1)*(-7 - -5). Solve -3*g = -a*k - 7, -3*k - 7 = -2*g + g for k.
-2
Let c = -49 - -71. Let g = -14 + c. Suppose -5*v + g = -4*z, 5*v - 2 = z - 0. Solve s - 3*x = -0*s, 2*s + 2*x + 8 = v for s.
-3
Let w(f) = 2*f**3 + 2 + 70*f**2 - f - 74*f**2 - 3*f**3. Let l be w(0). Let d be -3*((-20)/(-6))/(-2). Solve l*j - y - 4 = -2, -4*y - d = -5*j for j.
1
Let g(p) = -12*p - 72. Let k be g(-6). Solve 0 = 3*y - s - 10, 5*y = -3*s - k + 40 for y.
5
Let b(m) = -3*m - 3. Let p be 12/30 + (-13)/(-5). Let a be (2 + p)*(-8)/20. Let t be b(a). Solve 4*f + t*l + 14 = 0, 0*f - 5*f - 2*l = 21 for f.
-5
Suppose 3*f + 2*f - 20 = 0, l + 2*f - 12 = 0. Suppose 5 = 2*c + t, l*c + t - 12 - 3 = 0. Solve 4*m = -j - 24, c*m = 3*j - 2*j - 21 for j.
-4
Let k(m) = -m**3 + 6*m**2 - 10*m + 7. Let f be k(4). Let c(l) = -l + 1. Let q be c(-3). Let t = q + f. Solve -a - 2*b + 4 = -0*b, -5*a + t*b + 7 = 0 for a.
2
Suppose -2*r + 10 = 0, -7 = 2*j + 5*r - 8*r. Suppose 2 = -j*u + 22. Solve p + 8 = t, -3*p - u*t - 1 = -17 for p.
-3
Let y = 1219 - 1216. Solve 0 = -w - 1, -r + 2*w + 8 = -y*r for r.
-3
Suppose 0*v + 2*v - 8 = 3*i, -2*i + v - 4 = 0. Solve 4*u - 3 = 3*u, 5*c + 5*u = i for c.
-3
Let i(k) = -k**3 - 7*k**2 + 7*k - 8. Let f be i(-8). Solve f = 4*a - 7*a - 2*n - 2, 4*a - n = 1 for a.
0
Suppose 25 = c - 4*s, 5 = -5*c + 2*c - 4*s. Solve 3*a = m - c*m - 5, -2*a = 2*m + 4 for a.
-3
Suppose -5*d + 0*a + 4*a = -17, 3*a + 12 = 3*d. Suppose 0 = -t - i + 4, 3*i - 2 - d = 0. Solve -t*l = 5*b - 4, 2 = l - b + 6 for l.
-2
Let a = -1302 + 1306. Solve 24 = -2*u + 4*k, 26 = -a*u + 5*k - 7 for u.
-2
Let r be (-3)/(-2*4/40). Suppose -8 = -5*b + 12. Suppose b*u = -u + r. Solve -4*h = -u*s - 3*h, 1 = 2*s - h for s.
-1
Let k be (-2)/4*(-4 - 18). Suppose -k = -2*n + 7. Solve n = -3*h, 7 = -5*c + h - 0*h for c.
-2
Let j(y) = -2*y - 19. Let b be j(-11). Suppose 75 - 66 = b*t. Solve -t*a = 5*v + 1, -a = -4*a + 9 for v.
-2
Let b = -16071 + 16074. Let d = -2 - -2. Solve d = -f - 3*h - 6, 5*f - 6 = b*h for f.
0
Let h(r) = r. Let n(g) = g**2 + 1. Let f be n(-1). Let c be h(f). Let j be c/(-3) - (-8)/3. Solve -q = -5*a - 15, -3*q + 4*a + 14 - j = 0 for q.
0
Let h(y) = -2*y**2 + 2. Let f be h(-2). Let z = f - -11. Suppose -2 = 2*r - 10, 0 = -z*a - 2*r + 48. Solve -a = 4*k + 2*i - 7*i, 3*i = 3*k + 3 for k.
3
Let x(r) = 3*r - 18. Let j = 49 + -42. Let q be x(j). Solve q*y = 5*u + 1, 0 = -u - 0*u - 2 for y.
-3
Let a be (14 + -5 - 6) + 0. Solve 2*j = -a*c - 9, -4*j + 5*c + 12 = -3 for j.
0
Suppose 0 = -3*n - n. Let v(f) = -f + 2. Let t be v(n). Let o be 4 - (2 + -6 - (-30)/5). Solve 5*h + 0*s + s = 9, -o = -t*h - 2*s for h.
2
Let m be (-2)/((-1)/(-4) + (-3)/(-4)). Let f(n) = -3*n - 4. Let b be f(m). Solve -4*v - 16 = 4*s, -5*v + 15 = -0*s - b*s for s.
-5
Let d(x) = -x**3 - 14*x**2 - 12*x + 13. Let n be d(-13). Let q = 2 + n. Suppose 0*b = -3*b + 12. Solve 0 = -q*y + o + 2, -y - b*y + 5*o = 0 for y.
2
Let l = -2436 - -2452. Solve 0 = -5*x - m + l - 4, -21 = -2*x + 5*m for x.
3
Let v(m) = -m**2 + 17*m + 23. Let g(n) = -n**3 + 4*n**2 + 4*n - 3. Let q be g(3). Let f be v(q). Solve 5*u - 20 = f*l, 1 = -u + 2 for l.
-3
Let n(i) = -i**2 + 35*i - 119. Let b be n(31). Solve -2*o - 23 = b*c, -c - 4*o = c + 6 for c.
-5
Let d(p) = p**2 - 1. Let a be d(-2). Let x = a - -2. Let r(h) = 5*h**2 - 5*h + 5. Let i be r(3). Solve 2*o + x*m - 29 = o, -3*m = 5*o - i for o.
4
Let b(n) = -2*n**2 - 15*n + 27. Let u(y) = y**2 + 7*y - 14. Let c(p) = 2*b(p) + 5*u(p). Let d be c(-8). Solve 2*i + 3*z + 16 = 0, -4*i - z - d = -2*i for i.
-2
Let n(b) = b**2 - b + 3. Let q be (-10)/4 - 3/(-6). Let u be 0/(-1)*q/(-2). Let y be n(u). Solve -4*g - 24 = d - y*d, -18 = d + 4*g for d.
2
Let j be 85/7 - (-4)/(-28). Suppose j = -7*n + 11*n. Solve 3*u = -4*i - 7, 0*u - n*i = u - 1 for u.
-5
Let j = 81 + -77. Solve 0 = -2*o - 0*o + i + j, o = i + 2 for o.
2
Let w be (-22)/(-6) - (-2)/(-3). Suppose 0*x - w*x = 12, -5*b + 27 = -3*x. Suppose -5*t + b*t = -10. Solve 4*r - 2*r = t*v, -5*r = 2*v for r.
0
Suppose 0*x + x = 5. Suppose 9*h = 5*h + 16. Suppose -2*g = h*g - 12. Solve x*k = -i - 8 - 21, 0 = g*k + 10 for i.
-4
Suppose -3*d = b + 5, -2*d + 1 - 7 = 0. Solve -h + 5*f = -6*h + 25, f = b for h.
1
Let d = 383 - 378. Solve -v - 8 = -5*u + 3*v, 3*u - 27 = -d*v for u.
4
Suppose 5 - 1 = 2*t. Suppose 0 = 7*w - t*w. Let y(c) = c**2 + c + 4. Let u be y(w). Solve q = -u*q + 5*j, 3*q - 2 = 2*j for q.
2
Suppose -65*s = -111 - 19. Solve 5*i - 5*r = s*i - 29, 26 = -2*i + 5*r for i.
-3
Let l be 0 + -4*5/(-10)*2. Solve l*h + 4*m - 8 = -0*m, -12 = -4*m for h.
-1
Let h = -423 + 465. Suppose -2*t - 3 = o - 14, 5*t - 23 = -o. Suppose t*v + h = 6*v. Solve -4*g - v - 5 = 2*b, 0 = b + 5*g + 28 for b.
-3
Suppose 2*l + 2*v = -30, 6*v - 5 = v. Let h = l + 19. Suppose -7 = 2*w - h*w. Solve -3*n - w = -2*b, -b + 3*n = -2*n for b.
5
Let n = -611 + 614. Solve o + 3 = 4*p, 0*o - o - 2 = -n*p for o.
1
Let z(a) = -a**3 + 3*a**2 + 3*a + 2. Let v be z(4). Let l be (9/6 + v)*0. Let m = 4 + l. Solve 0 = t - 2*x - 1, -x - 4 - 19 = m*t for t.
-5
Let j(h) = h**3 + 24*h**2 - 20*h + 127. Let u be j(-25). Solve -u*n + 4*q = 7 - 9, -2*q = 6 for n.
-5
Suppose 0 = j - 4*x + 2 - 14, 0 = 4*j + 3*x + 9. Solve 2*p + 2*s - 12 = j, -5*s = -14 - 11 for p.
1
Let t = -144 + 148. Let y(h) = h + 2. Let k be y(0). Suppose -k*r = -3*o + 55, -2*o + 89 = 3*o - t*r. Solve 27 = -3*v + 2*j + j, v + 5*j - o = 0 for v.
-4
Suppose 0 = -82*i + 88*i - 24. Solve -4*u - 20 = i*z, 3*u - z = z - 5 for u.
-3
Let c(z) = -z - 1. Let d be c(-5). Suppose b - 24 = d*b. Let x be ((-6)/(-9))/(b/(-12)). Solve -t = v + 7 + x, -t - 2*v = 13 for t.
-3
Let c = -11 - -20. Let y(h) = -h**3 - 13*h**2 - 2*h - 16. Let l be y(-13). Let a = 15 - l. Solve 4*r = 5*x - c, r - 3 = -a*x - r for x.
1
Let k(j) = -j**2 - 9*j + 5. Let l be k(-9). Solve 28 = -5*a + 4*b, -b + 26 = -l*a + 2*b for a.
-4
Let u = 65 - 65. Suppose u = 3*w - 21 + 3. Solve -4*a - 16 = 4*c, 4 = 2*c - w*c for a.
-3
Let t be 2/(-11) - 40/(-220). Let m be (1 - (1 + t))/(-2). Solve m = -4*n - 8*x + 3*x + 11, -4*n + 4*x = -20 for n.
4
Let x(n) = -n**2 - 17*n - 49. Let d be x(-13). Solve 0 = 4*m - d*l - 28 - 1, -l = 3 for m.
5
Suppose -5*i = -0*i. Suppose -f + 2 + i = 0. Let a(q) = q**3. Let w be a(1). Solve -5*p - 4*y = w, 2*p + 4*y + 4 = -f*p for p.
3
Let n(q) = 28*q + 2. Let g be n(1). Suppose 3*s - g = 21. Suppose -3*o + s = -7*u + 2*u, 16 = 5*o + 4*u. Solve 4*y - 1 = -p - 4, 4*y = -o*p for y.
-1
Let r = -25 + 27. Suppose -5*s - 44 = r*d, -s + 3*d + d = 0. Let o be (-4)/(-3) - s/(