 4 = 0 for t.
4
Let a = -6 - -10. Let m be 46/6 + (-8)/12. Suppose -m*w = -12*w. Solve 0 = 3*f - 5*q - w*q + 17, 5*f + 16 = -a*q for f.
-4
Let i be (12/(-10))/(18/(-60)). Solve -i*l - 3*r - 13 - 10 = 0, 4*l + 3 = r for l.
-2
Let x(p) = p + 10. Let w be x(-8). Suppose 15 = 3*s + w*s. Let h = 13 + -8. Solve h*u - m = -1 - 13, s*m = -3*u - 12 for u.
-3
Let n(z) be the second derivative of z**5/20 + 7*z**4/12 + z**2 - z. Let v be n(-7). Suppose 4 + 2 = 3*j. Solve -3*u = -i, 0 = -v*i + 6*u - j*u for i.
0
Let z = 4 - -4. Suppose -z = -g - 0*k + 2*k, g + 4 = -2*k. Solve 0 = 3*s - 3*v + 12, -g - 1 = 3*v for s.
-5
Let t = 1 - 1. Suppose t = 5*q - 2 - 3. Suppose 0 = -4*d + 7 + q. Solve 2*g + u - 3 = 0, -g - 2*u = g + d for g.
4
Let q(a) = 2*a - 8. Let r be q(6). Suppose 2*k - 40 = -3*k. Suppose 1 = x - 0*x. Solve -h = -5 + x, -k = -r*c - 2*h for c.
0
Let l(u) = -u**3 + 7*u**2 + 5*u - 3. Let m be l(8). Let z be -12*(-6)/m*-3. Solve -o + 3*o - z = -4*p, -3*p - 5*o - 8 = 0 for p.
4
Let s(u) = -u**2 - 11*u - 15. Let b be s(-11). Let a be 3/b + (-55)/(-25). Solve -2*d - 2 = 4*l, -a = -4*d + 5*d + 3*l for d.
1
Let w be 15 - (-4 + (-3 - -4)). Suppose 0 = -5*y + 2*y + w. Solve m + 2*j = y*j - 11, 2*m = -4*j + 26 for m.
5
Suppose -3*c = 4*t + 15, 7*c - 2*c + 11 = -2*t. Let i be (c - -7)*(-6)/(-9). Solve -3*j - i*z + 25 = -4*j, 4*j = 4*z - 40 for j.
-5
Let t = -14 - -17. Solve -t*d + 0*d = -2*n, -2*n - 8 = d for d.
-2
Suppose -5*z + 3 + 32 = 0. Let s = z - 12. Let u be (-1)/3*(s - -2). Solve 2 = -f - 2*r + u, 2*f + 3*r + 4 = 0 for f.
-5
Let f = 4 - -1. Suppose -1 = 4*l + 3, 5 = -4*n - f*l. Solve -1 = s - 4*b, b = -n*s + 4*s + 4 for s.
-1
Let z = 72 - 69. Solve -2*c + 0*c = -4*g - 8, -g = -z*c + 7 for c.
2
Suppose 0 = -2*k + 4*w + 10, -2*k + 3*w + 8 = -2. Suppose 8*f - 94 + 6 = 0. Solve 2*h + 4*g = 24, 2*h + k*g - 39 = -f for h.
4
Suppose -3*b = -44 - 40. Solve -3*o - o = -d - 22, 4*d + b = 4*o for o.
5
Let b(d) = -4*d + 29. Let z be b(6). Solve 4*o - 2 = -5*m, -5 = 4*o - z*o + m for o.
3
Let s(k) = 30*k**2 - 6*k - 4. Let c be s(-1). Solve y + 2*b + 6 + 4 = 0, -5*y - 4*b = c for y.
-4
Suppose 2*k - 3*s + 4*s = 36, -5*k - 3*s + 88 = 0. Suppose 0 = -5*w - n + k, 7*w - 4*n = 3*w - 8. Solve -2*o - 25 = -d - 2*d, -o + 10 = w*d for d.
5
Let p be (-1 - 16)*3/(-3). Let t(u) = 6*u**2 + u - 2. Suppose 9 = 2*y + j, 2*y = -3*j + j + 14. Let i be t(y). Solve -4*q - q - x = -i, 4*q = -3*x + p for q.
5
Suppose 0 = -56*o + 46 + 122. Suppose 11 + 11 = 3*k - z, 4*k = 2*z + 28. Solve x - 3 = -o*y, -k*x + 3*x = 2*y - 15 for x.
3
Let a(u) = u**3 + 4*u**2 - 2. Let v be a(-4). Suppose -4*k = -y + 9, 3*k = -4*y + k - 36. Let q = v - y. Solve 5*b = -q*m - 3 + 8, -2*m = 4*b + 2 for m.
3
Let j = 112 + -97. Solve -y + 4*y = -j, y + 15 = 5*q for q.
2
Suppose -5*a - b = -4*b - 183, -3*b = 2*a - 69. Let u(p) = p**2 + 5*p - 1. Let n be u(-6). Solve -5*s = 5*l - l - a, 5*s = -n*l + 40 for s.
4
Suppose -5*k = -189 - 126. Let b = 9 - 5. Suppose b*q + k = 171. Solve 6*h = 4*x + h - q, -3*h + 6 = 5*x for x.
3
Let m be (-2 + 3)/((-2)/2). Let f be ((-5)/(-4))/(m/(-4)). Suppose 5*i - s = -5*s + 31, -26 = -2*i - 5*s. Solve -3*t = -15, -i - 2 = f*b - 5*t for b.
4
Let j(m) = -m**3 + 5*m**2 + 2. Suppose 0 = -2*c - 2*a + 2 - 4, 0 = 2*c - 4*a - 28. Let t be j(c). Solve 0 = r + 4*v + 25, -5*v - 63 + t = 4*r for r.
-5
Suppose 28 - 84 = -4*p. Suppose p = 5*d - 11. Suppose f - 50 = -d*r, 4*r - 2*f = -0*r + 54. Solve w = 4*a + r - 4, 0 = 5*a - 5*w + 5 for a.
-2
Suppose u - 3*o = 14, -6*u = -2*u - o - 12. Solve w - u*d - 9 = 0, -2*w - 2*d = -4*w + 14 for w.
5
Suppose 5*s = -2*l - 6, 0 = s - 0*s + 2*l + 6. Suppose g = -2*i + 69, -g + s*g = i - 34. Solve 3*v + 5*u = i, -5*v + 5*u + 17 = 3*u for v.
5
Suppose 28 = -2*n + 8. Suppose 62 = 5*m - 4*d, 0 = -2*m + 2*d - 6*d + 36. Let q = m + n. Solve 4 = x + g, -2 + 3 = x + q*g for x.
5
Suppose -6*q = -2*q. Solve -z + q*z - 5 = 2*f, 3*z = -3 for f.
-2
Let m be 104/28 + ((-36)/21)/(-6). Solve -5*h + 30 = -q, m*q + 40 = -0*q + 4*h for q.
-5
Let k be ((-3)/(-2))/(2/8). Let q be -3*6/(-9)*k. Solve 2*d = 5*b - q, 3*b - 7 = 5*d + 2*b for d.
-1
Suppose 4*y + 8 = 5*y. Let w be (6/y)/(4/96). Solve -3 = -2*g + 1, -5*r + g + w = 0 for r.
4
Suppose -d - 3 + 5 = 0. Solve f - d*f - 2*i = 5, -20 = 4*f - i for f.
-5
Let g(n) = 2*n**2 - 10*n + 16. Let z(w) = w**2. Let m(l) = g(l) - 3*z(l). Let d be m(-11). Solve 7 + 1 = 2*f + 4*a, -d*f - 5*a + 15 = 0 for f.
2
Suppose 2*v - 5*x = -2*v + 10, 0 = -2*v - 2*x + 14. Solve 5*s = w - 4, 5*w = v*s - 0*w for s.
-1
Suppose 2*o = -2*b + 4 + 2, -2*b = 3*o - 6. Suppose b = -2*y + 3*y. Solve 2*h - 9 = -j, 19 = 4*h + y*j - 4 for h.
2
Let l = 85 - 50. Let a = -8 + l. Let p = a + -12. Solve q - 27 = -4*v - v, -3*v + p = 0 for q.
2
Suppose -5*u + 27 = 2*o + 2*o, 5*o - 18 = -u. Solve u*l + 5 + 30 = -5*c, -1 = -c + l for c.
-4
Suppose -4*n + 8*n = 20. Suppose -n*o + 20 = -10. Solve y + 0*g + g = -o, 0 = -2*y + 5*g + 16 for y.
-2
Let r(z) = -z**2 + 18*z + 16. Let u be r(19). Let i(s) = s**3 + 3*s**2 + 6. Let g be i(u). Solve -2*h = 2*a + h - g, -a - 7 = -h for a.
-3
Let g be 1*(-3 - 9 - 3). Let m = 21 + g. Solve 5*n - 1 = 3*f, -5*n + 10 = 2*f - m for f.
3
Suppose -5*v - 3*j = -31 + 2, v - 5*j + 11 = 0. Suppose -s - 7 = -3*a - v, 5*s + 15 = a. Solve 14 = b - 5*c, c + 2 + a = b for b.
-1
Let c = 0 + 16. Solve 7*j + 4*a + c = 3*j, 0 = -5*j - 4*a - 19 for j.
-3
Let n be 3/((-8)/(-10) + (-1)/5). Let u be (-4)/22 + (-114)/(-22). Solve -2*s - 2*g = -2 - 8, -n*s + 25 = -u*g for s.
5
Let z be (-40)/(-18) + 4/(-18). Suppose -z*r = 2*r. Let i = 4 + r. Solve 12 = 3*f - 4*j, -j = 5*f + i*j + 15 for f.
0
Suppose -j = -3*c + 11, 2*j + 14 = 5*c - 6. Suppose 2*n = c*l + 12, 0 = 5*n - n - 5*l - 28. Solve h + n = 3, 4*f + 15 = -h for f.
-4
Let v be (1 - (-1)/1)/(20/90). Solve 4*i = 3*r + 7*i - v, 2*r - 6 = -3*i for r.
3
Let g(f) = f**3 - 5*f**2 - 13*f - 7. Let r be g(7). Solve k = -r*k - 5*s + 15, -1 = -k + 2*s for k.
5
Let l be 2/(-9) + (-80)/(-36). Solve -2*d + 24 = 2*d - z, -3*z - l = 2*d for d.
5
Let n = 20 - 15. Solve 25 = n*f + m, 0*f - 30 = -5*f - 2*m for f.
4
Let z be 2/(-3) - 34/(-6). Let x = z + -5. Let h = x + 5. Solve 2*g = 4*c - 0*g - 22, -5*c - 2*g + h = 0 for c.
3
Let p(v) = 2*v - 3*v + v**2 + 0*v + 7 - 2. Let l be p(0). Solve -3*y - 5 = -l*f - 0*y, f - 1 = 4*y for f.
1
Let a be (3 - 2) + -10 + 10. Let z be (2/(-2) - a) + 7. Solve 0 = -2*r + j - 6*j + 2, -z*r + 3*j + 5 = 0 for r.
1
Suppose 4*j + 10 - 18 = 0. Solve 0 = b + u + j + 1, b = u + 3 for b.
0
Suppose 1 + 15 = 2*t. Let d be (-6)/(-3)*28/t. Solve -4*m - p = -13, 2*m - p + d = 4*m for m.
3
Let d(r) = -6*r - 14. Let p be d(8). Let t be p/(-8) + 7/28. Solve -6*g = 3*x - 3*g + 12, -4*x - t = -4*g for x.
-3
Suppose 3*n - 2 = 13. Let h be 6*(15/9 + (3 - 4)). Solve -h*x - 2*w - 3*w + 11 = 0, -w + 19 = n*x for x.
4
Suppose -51 = -5*w - 11. Suppose p - w = -p. Solve -p*o = -2*l + 16, -l + o + 18 = 3*l for l.
4
Let n(q) = -q + 11. Let v be n(9). Solve -4*m - 3 = -m - 5*c, -4*m - v*c + 22 = 0 for m.
4
Suppose 0 = -3*w + 3*l - 3, 4*l + l - 19 = -2*w. Solve 28 = -k - 2*k - 4*b, -w*k + 5*b = -12 for k.
-4
Let d be 198/16 + 27/(-72). Solve 4*n - p + 5*p - 36 = 0, 4*n - 2*p - d = 0 for n.
5
Let q = -91 + 96. Solve -q*d - 2 - 18 = 0, -2*r + 5*d = -24 for r.
2
Let n(j) = -j**3 - 10*j**2 + j + 13. Let b be n(-10). Solve 0 = -2*h - 10, 2*q + h = -b + 2 for q.
2
Let g be (2/1)/2 + 2. Let k = 0 + g. Solve -4*m - 13 = -w, -6*m - w - k = -2*m for m.
-2
Suppose 5*r - 1 = -3*u + 7, -r - u = 0. Let c = 5 - -51. Suppose -c = -4*i + r. Solve -3*m - y + i = 0, 4*y + 5 = 5*m - 3 for m.
4
Let j = 16 - 8. Solve 15 = 3*c, -3*u + j + 4 = 3*c for u.
-1
Let y = 3 - 4. Let k = y - -10. Solve -j + 4*j + 4*v = -2, -4*j = -v + k for j.
-2
Let b = 1 - -4. Suppose -10 + 0 = -b*w. Solve -4*d + g - 7 = 0, 8 = -5*d - w*g + 3*g for d.
-1
Suppose -9*u = 34 - 70. Solve -2*s - 6 = -u*o, -2*s = o + s - 12 for o.
3
Suppose -4*v = -5*v + 6. Suppose 0 = w - v + 2. Solve 3*p + 6 = -4*b + 23, -5*b - w*p = -21 for b.
5
Suppose v = 3*v. Let a = v + -3. Let m(o) = o**2 + 2*o. Let z be m(a). Solve 3*k - 7 = -x, 4 = -2*k - 2*x - z*x for k.
3
Suppose -4*g - 4*d + 11 = -d, 3*d = g + 1. Let w = 45 + -42. Solve -3*b = -8*b - w*s - g, -3*b - 4 = -s for b.
-1
Suppose -p 