 -4*o + 25 = b, 0 = -2*b - 2*o + x + 16 for b.
5
Let w = -14 - -25. Let c = w + -11. Suppose c*d = -4*d + 12. Solve r + 2 = 4, -9 = d*t - 3*r for t.
-1
Suppose -6*l = -l + 5. Let v be (0 + -1)*l*0. Suppose -h + v*h = -4. Solve h - 1 = 3*o - a, -5*o + 4*a = 2 for o.
2
Let o be (70/(-49))/(30/(-84)). Solve i - 6 = p - 2*i, 4 = o*i for p.
-3
Let p(r) = r**3 - 13*r**2 - 14*r + 2. Let f be p(14). Let i be (f/(-4))/(3/(-18*1)). Solve -2*g - i = -2*m - 15, -3*g + 13 = 2*m for g.
5
Let p(v) = -v**3 + 3*v + 2. Let u(b) = -2*b - 14. Let y be u(-6). Let l be p(y). Let z be 1 + -3 + 1*2. Solve 0*s = -5*j - l*s - 3, -2*j - 2*s = z for j.
-3
Suppose -5*r + 34 = -3*c + 2*c, -2*c = -r + 59. Let t = 24 - 53. Let x = c - t. Solve 0 = 5*b - p + 3, x = 2*b + 3*p - 8*p + 15 for b.
0
Let r be (1 + -1)*(4/4)/(-1). Solve 4*p + 2*w - 12 = 0, r*p - 5*p - 11 = -4*w for p.
1
Let t(u) = -5*u**3 + u**2 + u. Let h be t(-1). Suppose -14 = -h*x - 4. Solve -4*d - 7 = x*k + k, 19 = k - 4*d for k.
3
Let c be (-126)/(-72) + (-10)/(-8). Solve -2*k - 5*p + 7 = k, -c*p = 3 for k.
4
Suppose 6*o = -2 + 14. Let j be ((-28)/(-14))/(o/6). Let v be (-6)/(-2) + (-1)/1. Solve -2 = 4*i - v*p - j, i = -p + 4 for i.
2
Let w(a) = a**2 - 13*a + 32. Let s be w(10). Solve 4*j - 5*j = -p - s, 4*p - 10 = -2*j for j.
3
Suppose -656 = -90*a + 8*a. Solve 2*g + 2 = -3*k + 4, 4*k - a = -4*g for k.
-2
Suppose 0 = -2*k + 7 - 3. Let n be k - (-4 - (0 + 44)). Suppose n = r + 4*r. Solve -3*i = 2*b - 12, b = i - 3*b + r for i.
2
Let r(f) = -61*f - 240. Let s be r(-4). Solve 0 = -4*b - 4*t - s, -4*b + 4*t = -4 - 0 for b.
0
Let o = 46 - 73. Let v be 2/9 - 129/o. Solve v*p = -5*w + 40, -4*p + 5*w - w - 8 = 0 for p.
3
Let g be (2 - 2)/((-48)/(-16)). Solve 5*b = 3*l, g = 3*l - 0*b - 4*b for l.
0
Let q(k) = -3*k**3 + 2*k - 1. Let g be q(1). Let j be (20 - g) + 3 - 4. Solve -5*m + 0*s = 5*s + 30, -4*m - s = j for m.
-5
Let t be (1 + (-1 - 0))/1. Let u(j) = -4*j**3 - j**2 + 1. Let x be u(-1). Suppose 2*m = -3 + 15. Solve 10 + 16 = 5*f + 4*d, 5*f - x*d + m = t for f.
2
Suppose 8*n - 9*n + 2 = 0. Let o = 4 - n. Let l be (1 - o)*-3 + -2. Solve -4*y = 5*k + 15, k + l = -5*y - 2 for k.
-3
Let y(q) = -q**3 + 5*q**2 + 2*q - 4. Let l be y(5). Suppose 4*t - 26 = 2*s, -5*t + 3*s - l*s = -5. Solve -11 = 4*m - t*h - 3, 5*h = 3*m + 2 for m.
-4
Let g = 45 + -43. Solve p + g = 0, -5*v = -2*p + 1 - 10 for v.
1
Let n = -40 - -40. Solve -3*h - s + 11 = n, 3*s - 6*s - 19 = -4*h for h.
4
Let t(k) = -80*k - 40. Let y(q) = 40*q + 21. Let r(b) = 6*t(b) + 11*y(b). Let w be r(-1). Solve -16 = 4*u - d - 0*d, -4*d = 3*u + w for u.
-5
Suppose -5*t + 3 + 23 = 3*f, 2*t - 3*f = 2. Suppose -2*d - t*d = 0. Solve 6 = 3*k - k + h, d = -4*k + 3*h + 32 for k.
5
Let u be (3/2)/((-3)/(-8)). Let a = 220 - 200. Solve -n + u*d = 4*n + a, -3*d - 8 = 2*n for n.
-4
Suppose 582 = 2*x + 578. Solve u - s = x, 7*s + 1 = -4*u + 2*s for u.
1
Suppose -14 = 2*c - 62. Let n be (-8)/c + (-14)/(-6). Solve 9 = -n*p - 3*j, 0 = 2*p + 3*j - j + 6 for p.
0
Let k = -35 + 35. Let d(z) = -z**3 - 2*z**2 + 2*z. Let c be d(k). Solve -4*b + m = 1 + 10, 3*b + m + 10 = c for b.
-3
Let p(f) = -f**3 + 6*f**2 - 8*f + 15. Let y be p(5). Solve y = -3*o + 3*c + 9, -3*c = 7*o - 2*o + 9 for o.
0
Suppose 0 = -9*p + 12*p - 15. Suppose 0 = -p*j - 3*j + 40. Let o = 0 + 14. Solve 0 = y + y - j*l + o, 0 = 3*l - 12 for y.
3
Let s = 1 + 4. Suppose 2*h - 10 = -s*n + 10, 5*h = -4*n + 50. Let i = 12 - h. Solve 3*t - 11 = i*x, t - 4*t = 2*x - 7 for t.
3
Suppose 8*q + 356 - 396 = 0. Solve 31 = 4*o + q*w, -2*o + 2*w = -0*o - 2 for o.
4
Let j(q) = 5*q**2 - 3. Let a be j(-4). Let t = a - 62. Solve 2*r + t = -2*r + 3*n, 5*r - 5 = -n for r.
0
Let d = -10 + 15. Let s(k) = k**2 - 3*k - 7. Let g be s(d). Solve 4*l = -4*b, 4*l + 4*b = -b - g for l.
3
Let j(m) = -m**2 + 7*m + 2. Let u be j(7). Suppose -1067 = 7*s - 1067. Solve 4*p + 2*x = -p - 29, -x - u = s for p.
-5
Suppose -63 - 85 = -37*y. Solve -4*s + 4 = -3*f, -30 + 2 = -y*s - 3*f for s.
4
Let f be 12*(-2 - 18/(-8)). Suppose -14 = f*a + 2*n - 3*n, -2*n = 2*a + 12. Let z be 0*4*a/(-20). Solve g - 2*i - 1 = 0, -5*g - 5*i = -z*g + 25 for g.
-3
Let t(o) = -o + 7. Let c be t(8). Let u be 0 - 3/c - 4. Let z be u - 46*3/(-6). Solve -2*v + z = -3*m, -5*m - 18 = -v + 7 for m.
-4
Suppose -4535*s = -4521*s - 42. Let m(g) = 2*g**2 + 4*g. Let k be m(-3). Solve -w - 6 = -0*t - s*t, 3*w - k = t for t.
3
Let p = 10 - 5. Let x(t) = -2*t + 0*t + 3 + 1 - p. Let m be x(-9). Solve 0 = -5*l - 0*k - 2*k + 20, -l - 3*k = -m for l.
2
Suppose -10*s + 85 = -5*s. Let v = s - 1. Solve -5*f - v = -3*x, -f - 5*x - 25 = f for f.
-5
Let h = -40 + 42. Solve -3*d + 33 = 2*f + h*d, 37 = 3*f + 5*d for f.
4
Let g(i) = -i**3 - 9*i**2 + 52*i + 6. Let v be g(-13). Solve v + 7 = 5*h + 4*p, -2*h + 4*p + 22 = 0 for h.
5
Let m(s) = -s**3 + 18*s**2 + 18*s + 23. Let a be m(19). Solve 7 = a*i + 3*v + 2, -3*v = 3*i for i.
5
Let y(d) = 2*d - 5. Let w be y(6). Suppose 3*z + 104 = w*z. Let k = z - 14. Solve -4*t = -2*u, -4*u + 2*u = 2*t + k for u.
-4
Let u be 10/3*12/10. Let z(v) = 34*v + 206. Let i be z(-6). Solve 21 = -u*x - 5*y, 3*x - x + 6 = i*y for x.
-4
Let b(d) = 11*d + 222. Let v be b(-20). Suppose -2*r + 14 = -3*z, -18 = -4*r - 0*z + z. Solve -3 = g - v*l, 5*g - r*l = 4*g - 3 for g.
-3
Let g(o) = -o**3 + 8*o**2 - 13*o + 7. Let y be g(5). Suppose -16*i = -y*i + 36. Solve 5*t = 3*f, -i = -2*f - 4*t - 14 for f.
5
Let h be 0/(-1 + 7 - 5). Solve 3*s - 6*s - 3*u - 3 = h, 3*u = 4*s - 10 for s.
1
Suppose 0*u + 30 = 5*g - 4*u, 0 = -4*g + 3*u + 25. Solve 2*b - r - 3 - 1 = 0, 0 = -5*r + g for b.
3
Suppose -2*w + x + 40 = 2, 0 = 5*w + 5*x - 95. Suppose w*q = 22*q - 12. Solve 4*a - q = 2*y + 2, 5*y - 11 = -3*a for y.
1
Let t(v) = 33*v - 691. Let y be t(21). Solve z - 5*z + 24 = -y*f, -3*z = -5*f - 32 for f.
-4
Suppose 5*q - 5*n + 0*n - 10 = 0, -3*q - 4*n = -6. Let z = -25 + 47. Solve 9*d = 4*d - q*s + 2, -5*d + 3*s + z = 0 for d.
2
Let k(x) = 139*x**2 + x. Let v be k(1). Suppose 2*z = -2*z - 4*u + v, -u + 95 = 3*z. Let m = z - 25. Solve -2*h = 4*i - 10, 3 = -m*i + 13 for h.
1
Suppose 58*x - 76*x = 0. Solve -3*w + p + 9 = x, -2*p - 8 + 6 = 2*w for w.
2
Let t = -10 + 12. Suppose 0 = 4*p + 2*u - 24, -3*u + 24 = -0*p + 3*p. Suppose -p*r = k + 1 + 6, -4*r + 13 = 5*k. Solve 5 = k*y, t*q - 2*y - 3 = 1 for q.
3
Let q = 12 - -15. Let v = -24 + q. Solve 3*k + 3*g + 6 = 0, -v*g - 1 = -5*k + 5 for k.
0
Let r = -537 - -540. Solve 0 = 7*g - 5*g + y + r, 2*g - 3 = 5*y for g.
-1
Suppose -51*n + 20 = -46*n. Solve -o - n*f - 16 = -5*o, -15 = 3*f for o.
-1
Suppose -30 = 2*j - 36, h + 14 = 5*j. Solve -f + l = h, -5*f - 9 + 4 = 2*l for f.
-1
Let b be (-187)/51 - 2/6. Let z be b/6 + (-14)/(-3). Suppose z*x + 3 = 15. Solve -5*d - r = -5, r = d - 4 - x for d.
2
Let c = 918 - 895. Solve -5*f - 4*y - c = -y, 5*f + 25 = -5*y for f.
-4
Let t be ((-3 + 3)/(-7))/(4/(-4)). Solve -2 = 3*u - s, -5*u - 2*s - 3 - 4 = t for u.
-1
Suppose 10 = -5*s + 5*q, -3*s + 20 = 3*q + 2. Let g be (8/s)/((-4)/(-16)). Let t = 27 + -23. Solve -g = 2*c + t*u, -4*u = 4*c + 12 - 0 for c.
2
Let h(d) = 2*d + 53. Let z be h(-18). Solve 6*c + 4*i - 12 = 2*c, i + z = 4*c for c.
4
Let g = -10 + 16. Let n be ((-81)/(-81))/((-2)/(-4)). Solve -2*b = u - 2, n = 4*u - 5*b - g for u.
2
Let m = 978 + -974. Solve -v - m*v = 0, -3*h = -3*v for h.
0
Let b(d) = d**3 + 6*d**2 - 7*d + 7. Let o be b(-7). Suppose -4*v = o + 5. Let x = v - -7. Solve 3*y = -x*n - 6, -10 = -2*y + 3*n - n for y.
2
Let k = -17 - -20. Suppose -r + k + 1 = 0. Solve -3*v = 3*h, -h - r = -v - 2 for v.
1
Let f(k) = k**3 + k - 2. Let m be f(2). Suppose 11 = 4*l - 13. Suppose -l*y + 8 = -2*y. Solve -2*a - 4 = -y*j, j = -4*a + 3*a - m for a.
-5
Suppose 5 = -2*c - 1. Let p(r) = r + 3. Let t be p(c). Let f be t + -2 - -4 - 0. Solve 5*n = f*u - 10, -5*n + 2 - 7 = -3*u for n.
-4
Suppose -2*d - 13 = 3*q + 3*d, -2*d + 2 = 3*q. Suppose -108*u + 110*u = 0. Solve 3*c - m + 10 = -0*m, -5*c - q*m - 11 = u for c.
-3
Let o = 8 - 3. Let q be ((-3)/6)/(3/6)*-9. Let d(z) = z**2 - 5*z - 34. Let p be d(q). Solve o*c = p*b - 19, -b - 8 = -5*b for c.
-3
Let a(m) = m - 4. Let s(n) = -2*n + 7. Let y(h) = -5*a(h) - 3*s(h). Let p be y(5). Suppose 0*r = -p*r. Solve 2*u - 3*w = 20, 2*u + 2*w = -r*u for u.
4
Suppose -f + 2*f = 0. Let s = -95