**2 - t + 1. Let g be w(1). Solve 2*m + l - g = -0*l, -12 = -3*l for m.
0
Suppose -o = -3*n - 35, 3*n + 11 = 2. Solve 5 = d, 0*i + o = 2*i + 4*d for i.
3
Suppose 42 = 18*a + 6. Solve -10 = -0*z - 2*z - 2*q, 2*z - a*q - 2 = 0 for z.
3
Suppose -3*f = -0 - 9. Let n(k) = 2*k + 1. Let j be n(1). Suppose 2*i + i - j = 0. Solve 2*z = i - 7, -f*d + 3*z = -24 for d.
5
Let t(r) = -r**2 + 7*r - 2. Let f be t(6). Let z = 15 - 9. Suppose 4*a = 14 + z. Solve -f*w + 14 = -6, 5*u - w = -a for u.
0
Suppose 3*u - 10 = -5*p, -p = -6*p + 3*u + 10. Solve 2*x - 3*i = -i + 2, -4*i = -p*x - 4 for x.
4
Suppose -2*i + 8 = 2. Solve -3*d = 4*l - 14 + 1, -4 = 5*l - i*d for l.
1
Let c = 17 - 12. Suppose -5*g = -4*b + 3*b + 12, -b + 15 = -2*g. Let u be 76/6 + 4/12. Solve -3*t + 10 = -c*f - u, -t + 4*f + b = 0 for t.
1
Let l = -27 - -27. Solve -t - 15 = h + 4*t, l = -3*h - 5*t - 15 for h.
0
Let o be (-2527)/(-35) - 1/5. Suppose -o - 16 = -4*m. Solve -5*k - 5*i = -3*i + m, 5*k + 16 = 4*i for k.
-4
Suppose 3*c + 3 = 3*l, 2*l - 7 = -l + 2*c. Solve 0 = -4*d + l*k - 17, -2*d = -3*k + k + 8 for d.
-3
Let s(p) = 2*p - 4. Let z be s(-3). Let y = 15 + z. Solve -y*d + 6 = 2*w, 5*w + 19 = 3*d + 3 for w.
-2
Suppose 0*h - p + 76 = -3*h, -3*p - 6 = 0. Let g be h/(-39) - 7/(-3). Solve g*i + 7*f - 6*f + 7 = 0, -5*f - 13 = 4*i for i.
-2
Let q be (-1)/((-9)/(-12))*-9. Let h = q - 9. Solve -5*f = -h*r + 6, -f - 3*f - 15 = r for r.
-3
Let f(y) = y - 2*y + 3 - 6. Let a be (-2 + 3)*(0 - 3). Let z be f(a). Solve 0 = -4*v - 4*j - 8, 5*v + 2*j + 2 + 5 = z for v.
-1
Suppose 2*d + 0*d - 6 = u, d - 3 = -3*u. Let k = u - -1. Solve -5*j + 4*j - z - k = 0, 3*j - 4*z - 32 = 0 for j.
4
Let n(p) = p**3 - 12*p**2 + 11*p + 5. Let j be n(11). Solve 0 = -h + 2*k - 6*k - 6, -2*k = -j*h + 14 for h.
2
Let w(q) = -q**3 + q**2 + 3. Let v be w(0). Solve 4*x = x - v, -4*a = x - 3 for a.
1
Let t = 2 - 11. Let h = -9 - t. Solve -3*i + h = -c + 1, 4*c + 5*i = -13 for c.
-2
Let p(d) = -5*d. Let q(k) = -2*k - 13. Let s be q(-6). Let z be p(s). Solve -3*l + 0*l - 25 = -z*v, -4*v + 20 = 4*l for v.
5
Let p(m) = m**2 + 11*m + 8. Let n be p(-11). Let q = -7 + n. Solve g + q = 2*k + 2*g, -3*k + 14 = 4*g for k.
-2
Let w(q) = 2*q**3 + 14*q**2 + 5*q - 20. Let k be w(-6). Solve -4*c + 19 = -z, 3*c + c - k = 2*z for z.
-3
Let z = -15 - -36. Let f(l) = 2*l**2 - 11*l + 10. Let d be f(7). Solve z = 5*h - 2*m, 5*h + 2*m = -m + d for h.
5
Suppose -7*f = -0 - 14. Solve 2*z - 2*x - 2 = 0, -5*x + f = -4*z + 10 for z.
-3
Suppose 0 = -2*i - 5*y + 2*y, 4*i = 2*y + 16. Solve -5*v + 14 + 14 = 3*b, 18 = i*b + 3*v for b.
1
Suppose 0 = -3*t - 5*z + 95, -3*t + 19 = -2*z - 48. Solve 5*n - 4*d + 6*d + t = 0, 5*n + d = -25 for n.
-5
Let h be (0/2)/(-3) + 1. Let d be (15 - -6)*h/3. Solve -5*t = 4*p + 27, -d = -3*p - 2*t - 22 for p.
-3
Let v be 3/4 - (-5)/4. Solve -r + v = -0*r, -13 = 5*s + r for s.
-3
Suppose -3*d + 5*d - 8 = 0. Let g be (2/(-3))/(d/(-6)). Suppose g + 5 = 2*h. Solve -5*j + y - 2*y - 1 = 0, h*j + 4*y + 4 = 0 for j.
0
Suppose j + 6 = -j. Let g(i) = i**3 + 4*i**2 + i - 3. Let t be g(j). Solve -h - 23 = 5*d - 2*h, 0 = -3*d - 5*h + t for d.
-4
Let x = 131 + -112. Solve -4*t = g + 11, 3*t - 4*g = 6 - x for t.
-3
Let v be 122/4*(2 + 0). Let o = v + -33. Solve -a - 5*g = o, 2*a - g = -1 - 0 for a.
-3
Let u be (-10)/(-3) - 2/6. Let y be 8/(u/3 - -1). Solve 2*p - 3*x - 21 = -6, y*p + 4*x = 0 for p.
3
Let r(d) = -d**2 + 5*d + 7. Let v be r(5). Let g = -4 + v. Solve -m - 5*l + 20 = 0, 2*m - g*l = -6 - 6 for m.
0
Let b be -4 - (-363)/12 - 5/20. Solve -2*h + n - b = -7*h, 1 = h - 4*n for h.
5
Let k = -3 + 6. Let n(i) = 4*i + k*i**3 + 3*i - 4*i**3 + 1 - 5*i. Let r be n(-1). Solve -x - 4*x - 32 = 3*d, 2*x - 4*d - 8 = r for x.
-4
Let r be 36/14 + 3/7. Solve -12 = 4*s + r*t, 3*s - s - 4*t + 6 = 0 for s.
-3
Suppose 425 = -2*x + 4*f + 1073, 4*x = -f + 1323. Let a be x/9 - 2/3. Let i be 4/(-18) - (-8)/a. Solve 5*b + 7 = 4*u - 8, b + 2*u + 3 = i for b.
-3
Suppose -5*o + 4 = -16. Let k = 26 - o. Solve -3*j + j - 4 = 2*g, -k = 4*g - 3*j for g.
-4
Suppose 0 = 4*m - 3 - 17. Solve 5 = -0*u - 5*u, 10 = m*w - 5*u for w.
1
Let n be 1/2 - (-6)/(-12). Suppose -3*l + l + 8 = n. Suppose -b = l*b - 120. Solve -4*s - 2*d + b = 0, -3*d = 3*s + 2*s - 31 for s.
5
Suppose -2*p = -2*l - 3*p + 36, -2*l - 5*p = -44. Solve 0 = -5*j + 2*f + 1, 4*f - l + 6 = -3*j for j.
1
Let g = -2 - -4. Suppose -44*o = -42*o - 10. Solve -n - g*m = 9, n - 5*n + 16 = -o*m for n.
-1
Let y(h) = h**2 + 4*h - 3. Let g = 14 - 19. Let c be y(g). Solve 3*t - 2*p = 13, c*t + 4*p + 2 = -16 for t.
1
Let v(f) = -f**3 - 5*f**2 + f + 6. Let b be v(-5). Solve -3*h = 3, w - 4*h = -h - b for w.
-4
Suppose 2*m + 0*m = 6. Suppose -5*p + 17 = -x, -1 - 2 = -5*x + m*p. Solve -13 = x*g - 2*r + 6*r, -r = 4 for g.
1
Let i = -22 - -22. Suppose -4*m = 4*n + 12, 4*m + 7 = -i*m - 3*n. Solve -9 = 4*z + 4*l - 21, -6 = -5*z - m*l for z.
0
Let r = -3 + 23. Let t be ((-6)/(-5))/(6/r). Solve -4 = -c, 2 + 18 = t*a + 3*c for a.
2
Let g(a) = a**2 - 2*a - 3. Let k be g(3). Let n be (-3)/(-2) + 3 + (-2)/4. Solve -n*p = -3*p - h + 1, 4*p + 5*h - 41 = k for p.
4
Suppose 0 = -3*c - c + 12. Suppose 5*g - 4 = 3*i + g, -4*i - 3 = -c*g. Solve -5*n - 4*z = -i*z + 23, -14 = 2*n + 4*z for n.
-3
Let z be 2/6 + (-52)/12. Let s(w) = 3*w**2 + 5*w - 3. Let t be s(z). Suppose -t = -2*c - 3*c. Solve i - 4*x = -8, -2*i + c*x = i + 10 for i.
0
Let v be (-1 - -3)*(1 - (-1)/2). Let z be (-4)/6*(-5 + 2). Solve -3 = -4*i + 2*i - g, v*i = z*g + 15 for i.
3
Suppose s = 2*k - 1, 5*s - 3*k + 16 - 46 = 0. Solve -3*i - s = 0, x - i - 28 = -4*x for x.
5
Suppose -2*f - 1 = -3*f, -f = k - 3. Solve -5*p + 4 = -4*w, 3*w + p + 3 = k*p for w.
-1
Suppose 4*u - 5*r = 59, 21 = -5*u - r + 73. Solve -l - u + 3 = -3*s, l = 4*s - 11 for s.
3
Let z(l) = -l**2 - l - 13. Let x be z(0). Let d = 0 - x. Let k = 21 - d. Solve 5*f = -5*q + 33 - k, -5 = -f + 4*q for f.
5
Let k = -6 - -5. Let d = k + 5. Suppose 4 + d = 4*w. Solve 2*u - 5*y + 8 = -7, 5*y + 5 = -w*u for u.
-5
Suppose 3*t + 2*y = 22, -t + 3*y = 3*t - 1. Let b(i) = i**2 + 5. Let v be b(0). Let p = 5 - 0. Solve 5*g - 13 = -t*a, p*a - v*g + 2 = 7 for a.
2
Suppose 89 = 5*g + p, -2*p = 3*p - 20. Solve z - 3*c = g, 0 = c + 5 - 0 for z.
2
Suppose -3*t - c = 12, -5*t - 7 - 3 = 5*c. Let k = -2 - t. Solve 2*z + 3 = b, -k*b = -b - z for b.
-1
Let r be 5/10*0/(-1). Solve 4*s - 5*b - 24 = r, -5*s - 3 = 3*b - b for s.
1
Let i be 6/3*(-15)/(-6). Solve -2*p - i = -0*p - a, a = 3 for p.
-1
Suppose 2*u - 5*u = -9. Let l = -22 + 37. Suppose 0 = -3*d + l + u. Solve -3*w = 4*y - 4, 4*w - 3*y - 10 = -d*y for w.
4
Let d be (-2)/(-12) - 29/(-6). Solve -d*p + 3*i + 27 = 0, 2*p + 4*i - 2 = 3*i for p.
3
Let v(u) be the second derivative of 35*u**4/12 + u**3/3 + u**2 - u. Let r be v(-1). Solve 3*n = j + 7 + 3, -4*j - 3*n + r = 0 for j.
5
Let r be 0*(-4)/(0 + 4). Solve r = 4*g + 4*y + 24, 4*g = 3*g + 4*y + 4 for g.
-4
Let y = -16 + 30. Let p(b) = -b**2 + 13*b + 19. Let i be p(y). Solve -i*m = 3*r, -4*m = -2*r + 26 - 4 for r.
5
Let p be (-10)/3 - (-4)/12. Let l be 0 - (1 + -1)/p. Solve d - o = l, 0 = 2*d + 3*d - 4*o - 2 for d.
2
Suppose -2*a + 0 + 6 = 0. Suppose j - 2*s = 11, 0 = -j + a*s - 4 + 18. Solve -5 = w, j*w - 15 = 2*i + 6*w for i.
-5
Suppose 5*m = 18 + 102. Suppose -5*p + p = -m. Let s be (-6)/21 + 23/7. Solve l + 14 = 5*z - 2, s*l + 3*z = p for l.
-1
Let m = 8 + -6. Suppose 0*y + m*y = 4. Suppose 4*a - 15 = a. Solve z = -y*z + f + a, z = 4*f + 20 for z.
0
Let k = -8 - -8. Suppose k = -g + 1, w + 11 = 3*w + 5*g. Let y(h) = h**3 + h**2 + 4. Let z be y(0). Solve 0 = -5*f - 5*t - 20, w*f + 2*t + z = -5 for f.
-1
Let d = -5 + 1. Let f be ((-10)/d)/(6/12). Let k = -5 + f. Solve k = -w + 4*w + 2*r - 13, r = -1 for w.
5
Suppose -3*n - x = -1, 0 = 4*n + 2*x + x + 2. Let r = 1 - n. Suppose r = -3*o - 4*w + 12, 3*o + 4*w = o + 8. Solve -4*q = 4*d + 36 + 4, -2*d + 10 = -o*q for d.
-5
Suppose 0 = 5*s - 0*s - 10. Solve 26 + 3 = -s*f - 5*i, -i = f + 7 for f.
-2
Suppose 22*u - 25*u = -6. Solve h - 10 = q, -3*h + 25 = -4*q + u*q for h.
5
Let d(n) = n + 2 + n**2 - 2*n - 4*n. Let w be d(5). Let s be w*(4 + -2) + -1. Solve 0*q + 5*z - 25 = -5*q, -s*q + 4*z = 13 for q.
1
Let g = 0 + 16. Let p be ((-6)/(-4))/(6/g). Solve 0 = -p*w - 2*n - 2*n + 32, 0 = -3*n + 9 fo