 8 = 0 for t.
2
Let o = 12 - 7. Let k be (32/(-5))/(-2)*(-100)/(-40). Let t = k - o. Solve -3*f - t*m - 4 = 2*m, -5*f = 5*m for f.
2
Let o = 184 - 181. Solve -v = o*r + 8, -3*v + 0*v + 4*r = 11 for v.
-5
Let t(r) = -r - 12. Let c be t(-13). Solve -3*z - 4*p + 7 = -c, 5*p = -2*z + 10 for z.
0
Let x(s) = -2 + 1 + 3*s - 1. Let d be x(2). Suppose 4*p - 8*p = -36. Solve d*a = -3*t + 1, -t + 5*a + p = 2*a for t.
3
Let o = 18 - 18. Suppose o = -w + 3 + 1, 0 = -4*m + 5*w - 4. Solve 5*a - a = -4*b, 0 = m*b - 2*a - 18 for b.
3
Let s be ((-16)/8)/(0 - 3/6). Solve i + 18 = -s*r, 3*i + r + 6 = -4 for i.
-2
Suppose 0 = 3*f - 9 + 6. Solve d + 2*m - 1 = 0, -m = d + 1 + f for d.
-5
Suppose -2*m = -0*m. Solve 9 = 2*l + 2*a - a, m = 5*l - 3*a + 5 for l.
2
Let c = -11 + 15. Solve 4*u = 2*y - c*y - 10, -5*u + y = 16 for u.
-3
Let n = 0 - -3. Suppose s - n*x - 4 = 0, s = 4*x + 3 + 1. Solve 4*g - 9 = -j + 1, -j + s = 2*g for g.
3
Let x(z) = z**3 - 4*z - 3. Let s be x(-2). Let m = s - -3. Solve t + 3*t + f = -5, m = 2*t - 2*f - 10 for t.
0
Suppose 4*z = -7 + 19. Let c be 2 - -4 - -2 - 2. Suppose -4*p + c*b - b - 17 = 0, 5 = b. Solve p = -j, -v + j = -z*j - 9 for v.
1
Let p(u) = 2*u**2 + 3*u + 3. Let o be p(-2). Let r = 5 - o. Solve -5*v - 2*q = 7, r*v = 2*v - 4*q - 2 for v.
-1
Let d be -3 - (33 + (-2 - -3)). Let y be (-4)/16 + d/(-4). Solve -y = -3*u - 0*u, 3*u = 5*o + 24 for o.
-3
Suppose 6 = -2*d + 14. Solve 12 = -3*h + 3*k, d - 1 = k for h.
-1
Suppose -4*r - 18 = -26. Solve -2*z - 21 = -3*o, r*z - 4*o + 11 = 5*z for z.
-3
Let s(o) = o - 9. Suppose 0 = 3*u - 4*t - 26, -5*u - t = -1 - 4. Suppose -36 = -u*a - 14. Let l be s(a). Solve -l*x - 12 = 2*p + 2*x, 3*p + 3*x + 12 = 0 for p.
-2
Suppose -21 = -2*a + 11. Let z be -1*(-1 - 0) + a. Suppose 4*t - 6*x = -x + 33, -5*x = -5*t + 45. Solve 2*b = 6*b - 3*i + z, t = -3*b + 3*i for b.
-5
Let r be ((-54)/24)/((-3)/8). Let x be 3/r - 9/(-2). Solve -z = -5*d + 20, 5*d - 2*d - 34 = x*z for d.
3
Let y = 1 + -1. Suppose 4*v = 8 - y. Let i = -30 - -32. Solve 4*a = -i*n - 14, 2*n - 8 = a - v*n for a.
-4
Suppose 0 = -4*k - 3*u - 11, u = -4*u - 25. Let v be k*3 + 0/8. Solve -4*j + 11 = 5*s, -v*s + 10 = -4*j - s for j.
-1
Suppose -m - m + 5 = -v, 5*v = -2*m + 35. Solve -6*d = v*a - 4*d + 3, -4*d = -2*a + 18 for a.
1
Let i(y) = -y**3 + 5*y**2 - 5. Let d be i(4). Let g = d + -25. Let b = -8 - g. Solve 0 = -5*c + 5*h - 10, 4*c + 3*h - 6*h = -b for c.
0
Let h = 5 + -2. Let o(d) = d**2 + 5*d - 2. Let w be o(-6). Suppose -3*x + 0*g - 5*g - w = 0, -3*g = -2*x + 10. Solve -5*m + 15 = -3*f, h*f = m - 5 + x for f.
0
Let l be (-2)/(-6) - 22/(-6). Solve -3*n = -l*c - 2 - 21, -3*c = -2*n + 17 for c.
-5
Let n = 7 - 7. Solve -2*x - 5*q + 9 = n, 3*q = -4*x - 0*x - 3 for x.
-3
Let s be 6 - (0 + -1 - -2). Let i(t) = -t**3 - 3*t**2 + 7*t + 5. Let d be i(-5). Solve -2*z + 3*z = 0, s*w = 5*z + d for w.
4
Let n(c) = 2*c - 7. Let y be n(5). Suppose -2*l + y = -23. Solve 0 = 2*w - 0*w - 2*z - 8, 0 = -2*w + 3*z + l for w.
-1
Let d(q) = -q**2 + 5*q + 2. Let p be d(4). Let a = -3 + p. Suppose -a*h - 16 + 76 = 0. Solve x = -3*g + 17, -2*x = -2*g - 7*x + h for g.
5
Let y = -18 + 20. Solve y*z = 3*p - 2*p - 13, 4*p = -5*z for z.
-4
Let i(a) = -a - 4. Let p be i(-7). Suppose 2*w = 2*x - 216, 0 = 5*x - 4*w + p*w - 528. Suppose 0 = -4*u + x + 7. Solve n - u = 5*q, 2*q + 0 = -5*n + 5 for n.
3
Let q = -14 - -14. Let a be 0 + (-3)/3 - -3. Solve 5*h + 3*n = -7, -3*h - a*n - 5 = -q*n for h.
1
Let d(y) = -y**3 + 9*y**2 - 8*y + 3. Let h be d(5). Suppose -h = 4*s - s. Let v = -15 - s. Solve 2*l = -a + v*l - 8, 6 = a + 3*l for a.
0
Let q = 10 + -10. Suppose 0 = -3*b + 2*v + 5, -5*b + 3*v + 2*v = -5. Let l = 6 - b. Solve 11 = -2*g - l*m, 5*g + 5*m - 2*m + 5 = q for g.
2
Let s = -2 - -6. Let w = 17 - 8. Solve -7 = k - 3*g, -s*g + w + 9 = 3*k for k.
2
Let u be (-4 + 3)*1 + 4. Let m be 6*((-6)/(-4))/u. Solve -3*w + 7*a + 21 = m*a, 2*w - 18 = 4*a for w.
3
Let y = -22 + 23. Solve 4*l + 5*k = 3*k - 24, -l = -3*k - y for l.
-5
Let k(c) = -6*c - c - 2*c - c**2 + 2*c. Let d be k(-6). Solve 14 = 3*m - 2*n, m + 4*n + 24 = d*m for m.
4
Suppose -2*w - 12 = 4*h, 3*h + 23 = -0*w + 2*w. Solve -5*b = -w*m, 0*b = -3*b + 5*m for b.
0
Suppose 5*k - 14 = 4*w, -k - 26 = w + 3*w. Let l be (8/w)/(5/(-15)). Suppose 0*u + l = u. Solve -c = u*t + 14, 2*t - 4*c = t + 5 for t.
-3
Suppose 5*v - 14 = 1. Let f be -1*0*v/6. Solve 5*s - 15 = f, x + 14 = -x + 2*s for x.
-4
Suppose -3*s - 5*c - 2 = -19, -13 = -2*s - 3*c. Solve 5*t + y - 20 = -6, -2*y - s = -4*t for t.
3
Let f(x) = 3*x**2 + 7*x + 5. Let y be f(-2). Solve q + 5*k - 12 = -y, 0 = -2*q - 4*k + 6 for q.
-1
Let u be (-90)/(1 + 15/(-6)). Suppose 4*a = -20, 5*a + u = 2*s + 13. Solve -f + 4*q = s - 3, -11 = 2*f - 3*q for f.
-4
Let f be (-2 - -1)/((-6)/(-54)). Let p = f - -11. Solve -n = z + 2*n + 11, p*n = z + 1 for z.
-5
Let w be (-728)/(-60) + 4/(-30). Solve -f - 4*j + w = -j, -22 = 4*f - 2*j for f.
-3
Suppose -3*t + 3 = -45. Let a be (t/10)/((-16)/(-40)). Solve -30 = 2*g - a*j, 2*g + 39 - 4 = 5*j for g.
-5
Suppose 4*q - 1 = -p, q - 3*p = -18 + 2. Let j = 1 + q. Suppose 200 = -j*b + 5*b. Solve 3*r + 4*v + b = -2*r, -5*v = -r + 21 for r.
-4
Let q be 3/3 + (5 - 2). Solve 7*j = 3*k + 2*j - 32, 4*k = -5*j - q for k.
4
Let x be (-16)/56 - 4/(-14). Suppose x = -p + 6 - 3. Let k be 0/2 + 2 + 2. Solve 4 = -p*f + 4*y, -2*y - k = -4*f + f for f.
4
Let d be (-2)/(1 + 0) + 17. Solve 0 = -3*t + 3*a - d, 6*t = t - 4*a - 16 for t.
-4
Suppose 0 = -3*t + 10 + 2. Suppose -4*c + 16 = t*l, 5*c - 9 = -3*l + 3. Let j(i) = -i**3 + i**2 + 6. Let u be j(c). Solve u = 3*n - 2*p, 3 - 9 = -3*n - p for n.
2
Suppose 2*l = -3*l - 70. Let q be 2*l/(-4) - 1. Let h(v) = -v**3 + 5*v**2 + 5*v + 6. Let n be h(q). Solve -5*x - 8 = -4*i, -2*x + 4*i + 0 - 8 = n for x.
0
Suppose -h + 4 = h. Solve h*u - 6 = 3*f - 31, -f + 25 = -4*u for u.
-5
Let p(v) be the second derivative of v + v**2 + 0 - 1/12*v**4 + 1/6*v**3. Let j be p(0). Solve 5*d - j*b = 15, -3*d - 2*b + 35 = 2*b for d.
5
Suppose -5*q + 4*b = -36, -2*q - 11 - 1 = 5*b. Suppose -4*n - 2*z - 2 = -52, -5 = z. Suppose 0 = -t - q*t + n. Solve p - 5 = 3*h, 19 = -p - t*p - h for p.
-4
Let y be 40/18 + 1 - 36/162. Let h = -3 + 8. Solve -z + h*f + 1 = 2*z, -3*z + y*f = -3 for z.
2
Suppose 3*m - 6*m + 16 = k, -26 = -4*m + k. Solve -4*l + 2*v + 24 = 0, 4*v = -2 - m for l.
5
Suppose 0 = 4*m - 5 - 7. Solve 9 = 4*f - m*n, 0 = 2*f - 2*n - 2*n - 2 for f.
3
Let u = -37 + 16. Let o = 34 + u. Solve -4*a + 2*a + p = -8, -a = 4*p - o for a.
5
Let k be 32/(-48) - (-2)/3*13. Solve -2*g = 5*b + k, 5*g - 2*b - 5 = 4 for g.
1
Suppose 0 = k + 3*k. Let g = 20 - 3. Suppose -v = 5*u - 4*v - 63, g = u - 5*v. Solve 4*i = i - u, k = j - i for j.
-4
Let o(j) = -2*j**2 + 3*j**3 + 3*j**2 - 4*j**3 + 0*j**3 + 26. Let d be o(0). Solve 0 = 5*f - 15, -3*q + 2*f = d - 5 for q.
-5
Suppose 0*f + 15 = 3*f. Solve -r = 3*s - 19, r - 30 = -f*s - 1 for r.
4
Suppose y - 3*y + 4 = 0. Solve -5*h = 3*o - 1, -12 - 4 = y*o - 5*h for o.
-3
Let x be (-42)/(-5)*(-360)/(-54). Suppose -3*k = 2*h - x + 9, 0 = -5*k + 5. Solve 0 = -2*w - 4*o - h, -2*w + 0*o - 13 = o for w.
-5
Let p = 60 + -55. Solve 5*a - a = -u + 19, 3*a + p*u - 10 = 0 for a.
5
Suppose -4*m = -3*l - 75, 3*m + 2*l - 5*l - 57 = 0. Suppose 3*h + 1 = 4*h. Solve -2*u = 3*z + h - 8, -2*z = -2*u - m for u.
-4
Suppose 0 = -4*z - 5*p + 13, -5 = -z - 13*p + 10*p. Solve -3*a - 32 = 4*g, 5*a = 5*g - z*g - 5 for g.
-5
Let t = 71 + 4. Let y(u) = -u**3 - 6*u**2 - 7*u - 7. Let x be y(-5). Suppose t = x*j + 4*i, -i + 100 = -0*j + 4*j. Solve f + 3*f = 2*g - 26, 5*f + j = g for g.
5
Let l(w) = w**2 + 3*w - 6. Let c be l(-5). Let d(p) = -p**3 - p**2 + 3. Suppose -5*u = -u. Let k be d(u). Solve -2*f = 3*q - 16 - 3, 3*f - k = c*q for f.
5
Suppose 0 = 6*s - 5 - 7. Solve s*l + a + 8 = 2*a, -4*a = -2*l - 8 for l.
-4
Let j = 43 - 37. Solve -x + 3*i = -j, 5*x + 2*i - 6*i = -3 for x.
-3
Suppose -3*b + 2*b + 16 = 2*y, -b + 4 = 0. Let h(c) = c**3 + 3*c**2 + 2*c + 2. Let q be h(-2). Solve 2*u = -2*x + 10, -2 = -q*u + y for x.
1
Let p = -17 - -36. Suppose 2*o = 4*v - 18, 2*v - 2*o - o - p = 0. Solve 31 = -v*b - 5*t, -3*b - 2*t = 3*t + 34 for b.
-3
Suppose 1 = -7*q + 190. Solve 2*x + q = 5*k, 5*x - k = -4*k + 10 for x.
-1
Suppose -n - 7 = 5*t - 0, 5*t + 19 