.
-2
Let f = 11 - -4. Let h(x) = -x - 35. Let n be h(0). Let w be 74/10 - (-14)/n. Solve 0 = 3*t - f, -g - 2*t + w = -2*g for g.
3
Let d = -97 - -97. Solve 4*q + 2*m = -d*m - 8, 3 = 5*q - 4*m for q.
-1
Let s = 5 - 22. Let p = -12 - s. Suppose 0*q + 12 = 3*q. Solve -p*v + 11 = 2*r, q*r - 1 + 0 = -3*v for v.
3
Let r(m) = -m**2 - m + 15. Let l be r(3). Solve y = -3*g - 3, -2*y = l*y + 15 for g.
0
Let u be 2 - -6 - (-2 - -1). Suppose -u - 2 = -l. Solve -5*d + 15 = 0, -3*o - o + 5*d - l = 0 for o.
1
Let s = -49 - -52. Solve 0 = -4*w - 5*j - 17, s*w + 4*j + 19 = -j for w.
2
Let w(a) = -4*a - 11. Let d be w(-4). Let u be ((-2)/(-4))/((-1)/(-8)). Solve 2*l = 3*g - 8, u*l + 0*l = -d*g + 28 for l.
2
Suppose 0 = p + 29 - 31. Solve g - 15 = -5*f, p*g + 2*f = 7*f for g.
5
Suppose 5*r - 22 + 2 = 0. Suppose 5*s - 45 = -5. Suppose -2*w = -m + 1 - s, 10 = 5*w - 5*m. Solve -5*c = 5*h - 5, 4*h - r - 1 = -w*c for c.
1
Suppose -4*p = 5*z - 54, -3*z + 60 = 4*p - z. Solve 0 = 2*j + 3*j - 20, -4*j = 3*f - p for f.
0
Let g be 1*34*(-3)/6. Let a = g + 24. Solve r + 2*b + 7 + 3 = 0, -2*r + a = -5*b for r.
-4
Let t be 8/2 - (-2 - -5). Let m be (1 - t)*(-8)/(-16). Solve -5*r - 4*p = m, r - 2*r - 5*p + 21 = 0 for r.
-4
Suppose -7*q = -12*q. Let s = 11 - 7. Solve 5*i + 10 = 3*l, -2*i - s = -q*l + 4*l for i.
-2
Suppose 6*a - 8*a + 4 = 0. Solve -6*g + a*g = -16, 5*q - 5*g = -10 for q.
2
Let z(y) = y**2 + 7*y. Let p be z(-7). Suppose 0 = 2*j - 3*x - 25, p = -2*j - 3*x + 2 - 7. Solve 2*m + 3*m + 19 = 3*w, j*m = w - 13 for m.
-2
Let y = 4 + 0. Let z be (-4 + -1)*(-1 + 0). Suppose 14 = z*f + y. Solve 0 = d + f, 5*x - 4*x - 4*d - 12 = 0 for x.
4
Let f be 39/6 - 1/(-2). Let y be 27 - (6 - (1 + 2)). Let z be 2/6 + (-8)/y. Solve f*b - t = 4*b - 13, -4*t + 16 = z for b.
-3
Let t(f) = f. Let w be t(-4). Let c be w/(-10) + (-12)/30. Suppose -4*u - 5*d + 24 = -37, -5*u + 101 = -2*d. Solve u = a + 2*q - 5*q, c = -2*a + q + 13 for a.
4
Suppose z + r = -4*r - 14, -z - 4*r = 13. Let w = z - -14. Suppose 0 = -5*k - 3*h + 25, k + 16 = -w*h + 43. Solve 0 = 5*x - 3*j + 26, 3*x + 5*j = k*j - 6 for x.
-4
Let t be (4 + (-1 - -3))/(-1). Let z = t + 10. Suppose -a = -4*g + 11, 3*a + 56 = 7*a + z*g. Solve -2*f + 2*b = -6, 5*f - 2*b - a = -3*b for f.
2
Suppose -11 = -4*d - 3. Let b be ((-1)/d)/((-2)/60). Suppose -5*h + 5*i = -15, 0 = -5*h - i - 3*i + b. Solve 5*q + 14 = -2*m, -2*q = h*q - 3*m + 29 for q.
-4
Suppose 0*s - 6 = s - 3*g, 5*g + 14 = -s. Let u = -5 - s. Solve -3*f + 24 = -0*f - u*n, 0 = -5*f + 2*n + 26 for f.
4
Suppose -4*i = -3*t - 2, -2*t - 4 = -7*t + 3*i. Solve 7*z - 4*z - 17 = 5*y, t*y - z + 7 = 0 for y.
-4
Suppose -2*n = -n - 13. Let o = n + -4. Let x be (4 + -2 - 0) + 19. Solve 5*g + x = l, -g - l - o = -0*g for g.
-5
Let f be (-2)/(-3 - -5) + 3. Solve -f*h - 2*h = -3*j, 5*h + 19 = -j for h.
-3
Let h(q) = -q**3 - 10*q**2 - q - 10. Let c be h(-10). Solve 2*f - 4 = -3*b, -b + c*b + 8 = 4*f for f.
2
Let d = 38 - 18. Solve -d = 4*t + 4*u, 20 = t - 5*u + u for t.
0
Suppose 2*l + 2*q = l, -2*l = -5*q - 45. Solve -5*v + 3*r + 5 = -4*v, -2*v - 4*r = l for v.
-1
Let y be -14 - 0*(-1)/(-2). Let x = y - -34. Solve -4*d + 3*w - 1 = 4*w, 5*d = 5*w - x for d.
-1
Suppose -3*o - 2*o - 1 = -m, 2*o = -3*m + 20. Solve -3*i = 3*t, 3*i - 15 = m*t - 4*t for i.
3
Let o(w) = 10*w - 1. Let q be o(1). Let h = 27 - q. Solve 2*z = 2*t + t + h, 31 = 5*z - 4*t for z.
3
Let i(q) = q**2 - 5*q + 12. Let h be i(4). Solve -3*b + 5*s = -h, -b - 6 = -3*s - 14 for b.
-4
Suppose -4*q - 12 = -8*q. Suppose -j = 3*j. Suppose j = -k + q*k - 20. Solve 3*d - 4*x = 2, -2*d = -4*d - 3*x - k for d.
-2
Suppose 6*o - 5*o - 3 = 0. Solve -2*g - o + 6 = 3*s, g + 9 = 2*s for s.
3
Let s = -7 + 11. Solve 4*w = -2*a - 2, -2*w + s*a = w - 15 for w.
1
Let o = 25 + -25. Suppose 0 = -2*d - o + 16. Solve -t - 5*y = -2*t + 2, 4*t = -3*y + d for t.
2
Let y(t) = t**3 - 12*t**2 + 6. Let f be y(12). Solve h - f*h = 2*g + 30, -g = 2*h + 13 for h.
-4
Let s be (-4)/((-8)/6) - 1. Suppose 0 = a - s*t + 6, -t - t = 4*a - 26. Suppose 1 = -m + 3. Solve -a*w - 7 = z, -3*w - 2*z + m = 1 for w.
-3
Let u = 25 - 13. Solve -2*x = 4*r + 10 + u, 15 = -2*r - 5*x for r.
-5
Let o(b) = b**3 + 10*b**2 + 10*b + 9. Let f be o(-9). Let v = 3 + -3. Let w be 2 + 2 + -2 + v. Solve -2*r - 4*j + 8 - w = f, -2*j + 13 = -r for r.
-5
Let z be (3/(-6))/(3/(-12)). Let y = 7 + -1. Solve -a = -z*p + 6, -a + 2*p - y*p = -12 for a.
0
Let q(i) = i**2 - i + 5. Let j be q(0). Solve j*o + 3 = -3*d - 10, -6 = 4*d + o for d.
-1
Let y(n) = -4*n**2 - 6*n + 1. Let l(z) = z**2 + z - 1. Let b(d) = -3*l(d) - y(d). Let a be b(-3). Solve 3*w = -3*q - w + 23, -a*w = -2*q + 6 for q.
5
Suppose 5*g = 5*o - 15, 4*o + 1 - 10 = g. Let b be 4/2 - -2 - o. Solve -13 = 3*q + b*u, q = -3*q - u - 19 for q.
-5
Let g = 13 - 9. Solve -2*k + g*w = -0*k, 0 = 5*k - w + 9 for k.
-2
Let t(b) = 7*b - 24. Let f be t(4). Solve f*q = -20, 0 = 4*s - 2*q - 2*q - 24 for s.
1
Suppose -3*l - 54 = -9*l. Solve -5*r = -5*c - 0 + 10, 0 = 2*r - 3*c + l for r.
3
Let c be 2/(-6)*(1 + -7). Solve q - 13 = 3*t, t - 3*t - q = c for t.
-3
Let c be (-4)/(-18) - (-52)/9. Suppose -2*y + 3*b = -25, b - 29 = -2*y - 2*y. Let w = y - c. Solve -3*n = -5*q + 5, -q + 6 = -2*q + w*n for q.
4
Let t(g) = -g**3 + 5*g**2 - 4*g + 2. Suppose 3 = -3*f + 15. Let l be t(f). Let h = l + 0. Solve w - 17 = -4*q, -5*q + 7 = -2*w + h for q.
3
Suppose -t + 11 - 4 = 0. Let j be t/3 - (-4)/6. Solve 2*k - 3 = 3*w, -j*k + k + 2*w = 0 for k.
-3
Suppose m = -2*m + 48. Let v = m - 12. Solve 0 = 4*h - r + 9, -r = -v*h + 2*r - 19 for h.
-1
Let j(m) = -m - 6. Let c be j(-10). Solve 2*l - 5*n - 15 = 0, c*l - 1 = n - 16 for l.
-5
Suppose 13 = 2*k - 7. Let s be k*1*1/2. Suppose s*x = -6 + 26. Solve -w = -5*g - 3, -x*w - 1 = 5*g - 13 for g.
0
Let r = 34 - 5. Let m be (-6)/(-4)*(-3 + (1 - -4)). Solve m*u + 4*w - r = 0, -5*u = -0*u + 4*w - 35 for u.
3
Let g(i) = i**3 + 11*i**2 - i + 1. Let n be g(-11). Let z be (-8)/20 - n/(-5). Solve 0*j - 16 = -z*j + 5*k, -2 = k for j.
3
Suppose -a - 4*a = 4*r - 31, 3*a + 11 = 5*r. Solve -3*d - r*x = 0, 0 = -2*d + 2*x - 0 + 14 for d.
4
Suppose -3*n + 2*x = -174, 0 = -2*n + n + 5*x + 71. Suppose -n = -4*q + 2*t, -4*t - 34 = -3*q - 2. Solve 0 = -5*r, 5*r - q = -4*z + r for z.
4
Suppose -4*t + 5*d = 3, 9 = 3*d - 0. Solve 3*v = t*j + 3, 0*j + 22 = 5*j + 4*v for j.
2
Suppose -16 + 18 = s. Solve 0 = 3*h + 7 + s, 2*h - 10 = -4*v for v.
4
Suppose -7*t + 3*t = -52. Let f be (9/15)/(1/5). Suppose 2*b = 2*a + 6, a = 2*b - 2 - f. Solve -s + m + 4 = -1, 5*s = b*m + t for s.
1
Let t(n) = -4*n**2 + 8*n - 10. Let b(q) = -q**2 + q - 1. Let o(k) = -5*b(k) + t(k). Let l be o(-5). Solve -l*g - 5 = -5*w, -2*g - w = -4 + 3 for g.
0
Let w = -107 + 137. Solve -5*p = 5*r, 0 = -5*p + 4*r - 3*r + w for p.
5
Suppose 0 = -w + 3*w. Suppose u - 21 = -w*u. Suppose -4*t + u = 5, n - 13 = -3*t. Solve -2*k = -2*j + 16, 4*j = -n + 13 for k.
-5
Suppose -i + 12 = 3*i. Suppose 5*z = -h + 3*z + 7, i*h + 3*z = 15. Solve 0*j + 4*j - 7 = -h*o, 0 = 2*j + 5*o + 7 for j.
4
Let q(f) = -f**3 + 7*f**2 + 3. Let n = 4 - -3. Let g be q(n). Solve g*i + 4*d + 14 = 0, 4 - 3 = 3*i + d for i.
2
Let v be -2 + 7 - 3 - 5. Let t be 7 - (4 + v)/(-1). Solve -2*s + b - 3*b + t = 0, 5*b - 20 = 3*s for s.
0
Let c(n) = -n**3 - 6*n**2 + 8*n + 10. Let v be c(-7). Solve -2*t + 15 = -2*o - 3*t, v*o + t = -20 for o.
-5
Let n(v) = v**3 - 9*v**2 + 2. Let q be n(9). Suppose -c - 2 = -3*z, 5*c - 5*z - 7 = 3. Solve c*i + 16 = 0, 1 = q*j - 2*i - 9 for j.
1
Suppose 0 = -3*f + 4*o + 3, 0 = 5*f + 3*o - 1 - 4. Let u be (-3)/(6*f/(-10)). Suppose u*q - 27 = -12. Solve 0 = q*n - 5*s - 17, -2*n + 3*s = -4 - 7 for n.
4
Let s(t) = t**3 + 5*t**2 - 6*t + 3. Let n be s(-6). Suppose 4*f + 5 + n = 0. Let r be (1/(-2))/(f/4). Solve 5*d - r = -2*b - 14, -3*b + 12 = -3*d for b.
1
Let c(a) = 10*a**2 + 2*a + 4. Let g be c(3). Suppose -g = -5*u - 5*w, 7*u - 3*u + 3*w = 81. Solve 5*d + u = f, 0*d + 10 = 2*f - 2*d for f.
1
Let u be (-37)/(-7) - (-8)/(-28). Suppose -5*m + 3*l + 2 = -1, -4*m + 2*l = -2. Suppose m = k - 16. Solve u*t - k = x, 2*x + 0*t + 14 = 4*t for x.
-1
Let y(r) = r**2 + 5*r - 9. Let q be y(-7). Solve -3*w + q*k - 25 = 0, 10 = w + 2*k - 0 for w.
0
Let w(g) = -g**3 - 4*g**2 - 2*g + 4. Let s be w(-4). Suppose -5*y = -4*c - s, y 