/(2/30). Suppose -i = 5, j + 3*i + y = -5. Solve 4 + 3 = -3*a + g, -a - 3*g + j = 0 for a.
-2
Let m = 94 - 90. Solve -m*j = -3*c + 2*c - 9, 3*c - 12 = -j for c.
3
Suppose 0 = 2*y - 6 - 2. Solve z - 4*h - 7 = -0*h, y*z = 4*h - 8 for z.
-5
Suppose -2*f - 5*w - 2 = 0, 29 = 3*f - 4*w + 9. Solve -8*s + 4*s + 13 = -h, -f*s - 2 = 2*h for h.
-5
Suppose 2*m - 13 - 1 = 0. Let y(x) = -x**3 + 8*x**2 - 6*x - 4. Let s be y(m). Suppose 2*a - 1 = s. Solve -3*n - 5 - 3 = 4*w, a*w = n - 4 for n.
0
Suppose -16 = -4*p, 2*p - 14 - 6 = -4*w. Solve 3*z - 3*a + 0 - w = 0, -5 = -5*z - a for z.
1
Let j = -10 + 15. Suppose -j*h + 2*w - 7*w - 15 = 0, h - 2*w = 12. Let v(i) = 6*i**3 - i**2 - i + 1. Let q be v(1). Solve -s + h*s - 3 = 0, -s = q*f + 22 for f.
-5
Suppose -5*j - 13 = 2*u, 0 = -4*j - j + 5. Let q = 10 + -22. Let v be (u/q)/((-1)/(-8)). Solve 5*n = 4*p + p - 40, -3*n = 3*p + v for p.
3
Let p(z) = -z**2 - 5*z + 6. Let y(j) = j**3 - 8*j**2 + 4*j + 15. Let d be y(7). Let h be p(d). Solve -6 = f - 2*t - 5, f + 4*t - 17 = h for f.
5
Let z = -31 + 31. Solve z = 2*w - 5*w + 2*p - 12, -2*p - 20 = 5*w for w.
-4
Suppose 0 = 5*a - 4*a - 33. Let v be (-2)/(-8) + a/12. Suppose 2*s - 5 = -4*z + 1, 6 = 2*s + v*z. Solve 2 = s*g - 4*j - 5, -5*g - 3*j = 27 for g.
-3
Let o be (-2)/(-6) - (-5)/(-15). Let z be 3 + (-1 + o)*1. Let a be 2 - (z - (-8)/(-2)). Solve 0 = -4*d - 5*w + 37, 0 = -2*d + w + w - a for d.
3
Suppose -3*t - 2*y = -3, 0 = 5*t + y - 11 - 1. Suppose 7 = t*x - 2. Let p be (-1)/(-1) - -2 - -1. Solve 2*i - 3*i = -p*z - 5, -3*i - x*z = 0 for i.
1
Let p be (-1)/2*(1 - -5). Let h(d) = -d + 3. Let z be h(p). Solve -7 = 3*r - 2*a, 0*r - z = 2*r - 2*a for r.
-1
Let x(s) = s**2 + 4*s - 11. Suppose 0 = -3*t - 28 + 10. Let r be x(t). Solve 4*f - 5*d = 15, -f - r = -d - 4 for f.
0
Let y(a) = 2*a - 2. Let r(l) = l**3 + 3*l**2 - 2. Let h be r(-2). Let t be y(h). Let s be (2*6 - 2)/2. Solve -z - t*z - 8 = -5*b, -s*b + 5 = 0 for z.
-1
Let r be 2/(-2*(-1 + 2)). Let d(s) = -s**3 + 1. Let o be d(r). Solve -o*c - 4 = -3*c - 2*w, -5*c = -w + 24 for c.
-4
Suppose 5*v - 8 = -y + 4*v, 4*y - 14 = 5*v. Solve -4*r + 4 = -4*b, 5*b + y*r = 5*r + 25 for b.
4
Let k be 75/12 - (-3)/(-12). Let c be (1 - -2) + -5 + k. Solve 0 = -c*x + 3*h + 7, -2*x - h + 7 = -x for x.
4
Suppose 3*w - 4 + 15 = 2*o, -2*w - 14 = -3*o. Let z be ((-2)/o)/((-2)/(-12)). Let l = 7 + z. Solve -l*x - 4*r - 4 = 0, 2*x + 0*r + 8 = r for x.
-3
Let q = -1 + 6. Suppose -v = -5*n + 4*v + 25, -3*n - 13 = 4*v. Solve -2*a - 2*y = 12, 3*a - q = 3*y + n for a.
-2
Suppose -2*w + 4 = -w. Solve l - 7 = 2*h, 4 + 11 = 5*h + w*l for h.
-1
Suppose 100*j - 93*j = 91. Solve 0 = -2*o - 5*g, -j = -o + 4*o + g for o.
-5
Let o be (0/5)/(-1 - -4). Solve o = -3*g + p - 19, 0*g + 9 = -g + p for g.
-5
Let o = 2 + 2. Let i = -2 + 5. Suppose 0 = 3*b + i*b. Solve b = -0*k + 3*k - 9, 0 = -o*u - 4*k + 16 for u.
1
Suppose 3*y - 12 = 4*b, -3*y = -5*b - 7 - 8. Suppose -2*q - k + 13 = -y*q, k + 7 = 3*q. Suppose 41 = 10*d + 11. Solve -3 = r - q*j + 1, 5*r = -3*j + d for r.
0
Let g(l) = 2*l**3 - 2*l**2 - 3*l + 2. Let c be g(2). Suppose -2*x + 3*x = c. Solve -h - 2 = i + 4, 0 = 4*i - x*h for i.
-3
Suppose -7*k + 2*k + 10 = 0. Solve -8*r + 3*r + b = 0, 0 = 2*r + k*b for r.
0
Let k(b) = -b**3 - 11*b**2 - 11*b - 6. Let p be k(-10). Let o = p + 0. Solve 2*n = -2*n + 4*u - 24, -3*u - 10 = o*n for n.
-4
Let t(n) = n**3 + 7*n**2 + 7*n + 3. Let m be t(-6). Let y = m + 5. Solve -4*h + 6 = -y*b, -h + 2*b + 6 = h for h.
0
Suppose 0 = -2*i - 4*w + 6, 3*i - w - 3 = 2*i. Solve -5*a = 4*h + 8, -a - 7 - 6 = -i*h for h.
3
Let w(f) = f**3 + 3*f**2 + 3*f + 3. Let c be w(-2). Suppose -8 = -4*d + 5*p, 2*d - 2 - 2 = -p. Solve -4*s = 2*k + d, s - 2*k + c = 2*s for s.
-1
Let k = -4 - -4. Suppose k = -b - 2*b + 9. Suppose -5*y - 2*o + 89 = 0, -2 - 6 = -4*o. Solve -4 = -5*c + 1, -b*r = 2*c - y for r.
5
Suppose -f + 6*f + 2*v - 6 = 0, -f = v. Solve f = 2*t - a - 3*a, -5*t + 2*a = 19 for t.
-5
Let v(h) = -h**2 + 4*h + 5. Let b(g) = 2*g - 8. Let i be b(6). Let r be v(i). Solve 4*j - r = o, -2*o + o + 13 = 5*j for j.
2
Let r be 1 + -1 + 20 + 0. Suppose -5*a + r = -a. Solve 5*p + 12 = 5*g - 8, -3*p + 4 = a*g for g.
2
Let m = 26 - 21. Suppose 2*s - 2*q = 16, -s = s + 4*q + 14. Solve -s*a - 2*p + 7 = 0, -m*a + 4*p = -9 - 10 for a.
3
Let b(u) = 3*u + 9. Let g be b(-7). Let i be 12/(g/(-3)) + 0. Solve 3*k + 3 = a - 0, i*k - 5*a = -15 for k.
0
Suppose 5*c - 3*c = -16. Let n = c + 8. Solve n = -r - b + 1 + 1, 3*b = 3*r + 12 for r.
-1
Suppose 5*j = 3*p - 5*p + 29, 5*j - 31 = -3*p. Solve -w - 11 = 5*s, -17 = -j*w - 3*s - 6 for w.
4
Suppose 71*b = 67*b + 48. Solve 4*c + b = -4*a - 0, -c + 15 = -5*a for c.
0
Let t = -18 - -21. Solve 4*d = -4*i, -t - 2 = i for d.
5
Let k(s) = 10*s**2 + 2*s + 1. Let d be k(-1). Suppose 5*z = d + 11. Solve -2*c + z*c - 4 = 4*h, 0 = -5*c + 3*h - 4 for c.
-2
Suppose -2*u + 14 = 4. Solve 9 = -3*p - 3, u*y - p - 19 = 0 for y.
3
Let d(h) = -8*h + 130. Let j be d(16). Solve -5*s + 11 = j*t, -3*s - t + 10 = 4 for s.
1
Let m(z) = -z**2 - z + 14. Let p be (0 - (-2 - -2))/(-1). Let d be m(p). Let v be 0/1 - -2 - 0. Solve 4*l - 3*j = -4*j - 19, -v*l = 2*j + d for l.
-4
Let w(n) = -n + 1. Let a be w(-2). Solve -4*s + 3*o = -25, -2*s + a*o + 12 + 5 = 0 for s.
4
Let i be (-8)/6*12/(-8). Suppose 0 = c - 4 - i. Solve -4 = -5*j - n + 14, 4*j + 5*n - c = 0 for j.
4
Suppose 0 = -3*g + 2*b + 12, g - 3*b = -5*b - 4. Solve 19 = 2*a - 7*i + g*i, 4*a = -3*i - 1 for a.
2
Let j be (-4)/(-10) - 161/(-35). Let f be (-39)/(-15) + 2/j. Let n be (1 + 7/f)*3. Solve m = -3*m - 2*a - 22, m + 2*a = -n for m.
-4
Let o be (-5)/((2 + -1)*-1). Suppose -3*l + 25 - 7 = 0. Let f be (l + -5)/((-1)/(-7)). Solve -3*p - f = u, 5*u + 1 = o*p + 26 for p.
-3
Suppose -2*o + 7 + 1 = 0. Let d = -2 + o. Solve -3*s - 7 = -d*v, -5*v + s = 2 - 0 for v.
-1
Suppose 0 = -4*p - p. Suppose f + p*f - 4 = 0. Solve -5*q + 1 = f*l, q + 0*l - l + 7 = 0 for q.
-3
Let p(b) = -5*b**3 + b + 1. Let y be p(-1). Let f = 9 - y. Solve 0 = 4*r - 2*i - 22, 1 = -r - f*i + 2 for r.
5
Let b be (-12)/(-5) - 12/30. Suppose 3*h + 1 = 10. Suppose 2*w = -h*w + 20. Solve -o = b*o - c - 11, w*c = 4 for o.
4
Let k be (2/3)/(6/45). Suppose -2*t = -3*q - 0*q + 11, 30 = 4*q + k*t. Solve 4*g = 4*o, q*o - 6 = -21 for g.
-3
Let d = -12 + 17. Let c(g) = -5*g - 10. Let u be c(-7). Let n = u + -21. Solve 2*k + 2 = -d*q, -k + 4*k - n = -4*q for k.
4
Let f be -1 + (2 - (3 - 2)). Let q be 1/(-4) - (-17)/4. Suppose 5*m = -3*t + 13, 5 = 4*m + 2*t - 5. Solve -w + m*x - 7 = f, -4 = q*w - 4*x + 2*x for w.
1
Let h(f) = f + 3. Let b(u) = u + 4. Let p(j) = 4*b(j) - 3*h(j). Let t be p(-5). Solve t*k + 4 = 0, -c + 27 = -6*c - k for c.
-5
Let z = -5 - -10. Let h = -9 - -9. Let o = -3 + 6. Solve -3*v + z = -5*k, 4*k + o*v - 11 + 42 = h for k.
-4
Let a(t) = t**3 + t + 5. Let v be a(0). Suppose -v = 3*q + 5*w, 3 = q + 2*q + 3*w. Solve -2 = f - q*n, f + 3*f + 5*n = -8 for f.
-2
Suppose 5*l - 4 = n + 3*n, 0 = l + 4*n - 20. Let j = 9 - l. Solve 0*f = 4*f - 2*d - 10, d + 5 = -j*f for f.
0
Suppose -10 = -z - 4*z + 5*n, 4*n = 4. Solve -2*u = 5*r - 9 - 2, z*r = -5*u + 18 for r.
1
Suppose -3*m - 2*w + 3*w + 15 = 0, 5*m - 35 = 5*w. Let p = m - 4. Solve -2*a - 4*g + p - 2 = 0, -g = -4*a - 4 for a.
-1
Suppose k - 5*d = 35, 3*d + 2*d + 65 = 4*k. Solve -n + 6*n = k, 5*n - 12 = x for x.
-2
Let u = 52 + -49. Solve 3*p - 14 = 2*p - 5*a, u*p - 5*a + 18 = 0 for p.
-1
Suppose 5*c + 10 = 0, -4*c - 28 = -8*t + 4*t. Let o be 2/(-7) - 192/14. Let b = t - o. Solve -b = 3*g - 0*d - 5*d, 4*d - 12 = 4*g for g.
2
Let r = -9 + 15. Solve v = -d - 1 + r, -12 = -2*v - 4*d for v.
4
Let z = 0 + -2. Let k be (-7)/(-3) + z/6. Suppose 30 = c + k*c. Solve w + 4*d + 7 = 6*w, 2*w + 2*d - c = 0 for w.
3
Suppose -5*p + 24 - 4 = 0. Let d be 2/(-4)*2*-4. Suppose 0 = -4*j + h + 13, -5*j + 2*j = d*h + 14. Solve -j*i - i - f = 5, 4*i + p*f = -4 for i.
-2
Let f be 2*5/(15/6). Suppose -3*p - p = -f*l + 8, 0 = -3*l - 4*p + 27. Solve 3*x - l*m = -2*m - 6, -14 = -5*x - 3*m for x.
1
Let a be (-4)/(-3) - 4/(-6). Let z be 2/(-4) + 3/(-2). Let m be (z - (a - 2)) + 2. Solve h + x = -4*x, -5*h - 2*x = m for h.
0
Let f be -6*3/6 + 8. Solve 3*c - 5*h = 7, -2*c + f*h = -4 - 4 for c.
-1
Let a = 4 - -2. Solve -3*p - 2*r = -6*p - 2, 0 = p + r - 