t q be (8*1)/(3 + -1). Let p(d) = d + 30 - 5*d - 36 + 2*d**2. Let a be p(q). Solve -4*m + 2*l = l + 5, -2*l = 3*m - a for m.
0
Suppose 20 = 4*y + 4. Solve y*a + 2*m = -3*m - 3, -4*a + 9 = m for a.
3
Let b = 22 - 19. Solve -6 = -b*f + d + 6, -8 = -2*f - 5*d for f.
4
Let a = 13 + -9. Let m = -2 + a. Solve 0 = -3*t + 3*y - 6, -3*y + 2*y + 11 = m*t for t.
3
Let k = -25 + 37. Solve -5*x = 4*g - k, 4*g - 8 - 4 = 2*x for g.
3
Suppose 0 = -k + 3*k - 8. Let c(n) = n**3 - 3*n**2 - 3*n - 2. Let b be c(4). Solve -4*f = k*h, -3*f + 4*h = -b*f for f.
0
Suppose 3*f = -3*z + 4*z + 3, 4*f - 4*z = 12. Suppose 4*c + c - 75 = f. Solve -21 = 4*y + 5*u, -2*y = 3*y - 5*u + c for y.
-4
Suppose 0 = -3*p + 10 + 47. Let k = p - 10. Solve -2*l - k + 27 = -4*h, 5*h + 21 = 4*l for l.
-1
Suppose -2*p + 5*p + 66 = 0. Let a be (-4)/p + (-20)/(-11). Let q(f) = f**2 + 7*f + 11. Let y be q(-6). Solve 4*r + y*g = 11, g + a*g + 11 = 2*r for r.
4
Let s = 28 - 25. Solve -3*g = -7*k + 2*k - 17, 4*g = -s*k - 16 for g.
-1
Suppose 0 = -5*v - 2 + 12. Solve -1 = -p + y, v*p = y + 3*y + 2 for p.
1
Let h be (-4)/(-12) + (-22)/(-6). Suppose -h*m - 6 = -3*m. Let i = m + 10. Solve -5*w + 7 = i*j, 5*w - 4*j = -3*j + 17 for w.
3
Let q(b) = b**2 + 3*b - 8. Let c be q(-5). Suppose -3 = w + 5*k + c, -3*w + 2*k = -19. Solve -2*y + 3*t = -22, 3*y + 2*t - w = 2 for y.
5
Let x(u) = 5 + 4*u + 0 - 5*u. Let k be (2 - 0)/((-10)/(-25)). Let i be x(k). Solve 3*m + m - 4 = 4*n, i = -n - 4*m - 16 for n.
-4
Suppose w = 2*y - 8 - 5, 5*y = w + 28. Solve z + 19 = -y*n - z, 3*n + 5*z = 0 for n.
-5
Suppose 7 - 43 = -6*b. Solve 2*f = 4*y - 8, -4*y + b = 5*f - 2 for f.
0
Let a(p) = -2*p - 8. Let z be a(-10). Let b = z - 12. Solve -2*c + 3*o - 7 = b, 0 = 4*o - 2*o - 6 for c.
1
Let o be (1 - 0)*(-3 + -8). Let i = o - -21. Solve -4*j - 4*w = -6 + 2, i = 4*j + 2*w for j.
4
Suppose 0 = a + 2*a - 4*l - 12, 3*l + 9 = 3*a. Let i be 3 - (a + (-9 - -3)). Solve -3*r + 2*c = -i, -2*r - r = -5*c - 9 for r.
3
Suppose -9 = -5*l + 11. Suppose s + 2*w + 3 = -3, -5*s + 45 = -5*w. Let b be s/(-6) + 6/9. Solve z = 1, 4*x + b*x - l*z - 12 = 0 for x.
4
Let q(x) = -x + 5. Let r be q(-5). Solve -2*f = 4*h + r, 0 = f - 0*f + 3*h + 8 for f.
1
Let t(z) = z**3 - 7*z**2 - 9*z + 13. Let x be t(8). Solve -n + x = 0, -2*m + 4*n - 20 = -0*m for m.
0
Let f be 0 - ((-5 - 1) + 2). Suppose 0*l = l - 13. Suppose 8 = f*b, -2*b = p + 5 - l. Solve 4*z + 23 - 3 = p*g, 2*g = -3*z for z.
-2
Let n(l) = -2*l. Let v be n(-1). Suppose i - 4*q - 5 = 0, -10 = -v*i - 3*q - 2*q. Let k be 1 + (15 - (-1 - -2)). Solve -1 - 9 = 5*g, -i*d + k = 5*g for d.
5
Let g be ((4 + -148)/8)/((-6)/4). Solve 0 = -3*r - 2*v + 17, 2 - g = -3*r + 5*v for r.
5
Suppose -4*m + q = 21, 5*m + 23 = 3*q - 12. Let a = 4 + m. Solve 5*j + 26 = -a*j + 4*f, 0 = 4*j + 4*f - 8 for j.
-2
Let q(c) = -c**3 - 6*c + 11*c**2 - 9 - 4*c - 2*c + 13*c. Let p be q(11). Solve 15 = -3*f + v, -1 = -2*f - p*v - v for f.
-4
Let d(w) = w**3 - 2*w**2 + w - 4. Let v be d(3). Suppose -2*u - 4*s = u - 16, -4*s - v = -3*u. Solve 4*i = -5*h - 13, i + 13 = -u*i - 3*h for i.
-2
Let h(d) = -2*d - 6. Let j be h(-4). Suppose 0*w + j*w = -5*c - 17, -1 = w + c. Solve 3*b + o + 6 = -w*o, -3 = -5*b - 4*o for b.
3
Let o(t) be the third derivative of 1/4*t**4 + 0*t**3 + 0*t + 2*t**2 + 0 + 1/120*t**6 - 1/10*t**5. Let x be o(5). Solve 3*j + 6 + 2 = -h, 3*j + x*h = -28 for j.
-1
Let i(b) = b**3 + 5*b**2 - 5*b + 8. Let t = 4 - 10. Let n be i(t). Solve 0 = q + 5*s - 13, 5*q - n*s - 1 = 10 for q.
3
Let j(y) = -2*y**2 - 10*y - 3. Let i be j(-4). Suppose -2 = -i*m + 8. Solve 0 = 4*u - w + 11, 0*w + 7 = -m*u - w for u.
-3
Let m(c) = c**3 - 4*c**2 + 4*c - 3. Let t be m(3). Let q be t*(-1 + 4/2). Suppose -3*a + 30 = -54. Solve 3*w - 2*j = 20, -2*w + q*j + 5*j + a = 0 for w.
4
Let y = 37 + -33. Let a = -3 + 24. Let i be (-2)/6*a*-1. Solve y*o + 2*x = -30, -i + 22 = o - 4*x for o.
-5
Suppose -3*o = -5*i - 11, -i - 3 = -o + 4. Suppose 0*n + 3*n - o = 0. Let m be (-5)/(-3) - 4/(-12). Solve 5*d - 31 = h + h, n*h + m = -2*d for h.
-3
Suppose -14 = -3*w - 4*i - i, w = -2*i + 5. Let l be (-1)/(w/(-9)*1). Solve 0 = -4*v - l*g + 3, -3*g - 24 = -5*v - 0*g for v.
3
Suppose 4*h + 5*o - 7 = 30, -2*o + 10 = h. Let n(k) = k + 2. Let i be n(0). Suppose i*r = -0 + 6. Solve 0 = -4*f - 0*f + h, -5*u + r*f = -9 for u.
3
Suppose -4*f = -182 + 46. Suppose 3*t = 5*m - 10, t = -5*m + f - 4. Solve 2*x = 4*r + 6, 5*r - 20 = -t*x + 2*x for r.
1
Let s be -2 - -10*4/8. Solve -5*p + 2 = -s*u, -5*p - 4*u = -3*u + 14 for p.
-2
Let l(h) = 15*h**3 + 2*h**2 - 4*h + 2. Let m be l(1). Solve -4*a = 5*o - m, o - 5*a + 21 = 5*o for o.
-1
Let p(n) = n**3 + 5*n**2 - 5*n + 8. Let i be p(-6). Solve -k - 2*c = -i*k + 2, -3*c = 5*k + 29 for k.
-4
Let x(t) = t - 5. Let n be x(10). Suppose -2*z + 30 = -n*v, v = -z - 0 + 1. Solve -3*f - 4*g + 0*g = 0, -3*g = f - z for f.
-4
Let n = 18 + 17. Let s = 7 - 4. Solve s*d + n = -5*z, d + 4 = -z - 5 for z.
-4
Suppose -3*x - 2*x + 3*h + 68 = 0, 2*x - 3*h = 20. Let b(z) = -2*z**3 + 9*z**2 + 5*z + 4. Let y be b(5). Solve w + 0*w = i + 4, -y*w - x = 4*i for w.
0
Suppose y + q - 9 = 0, y + q + 3*q = 6. Suppose -x = x - y. Let v(u) = u**2 + u - 3. Let p be v(-3). Solve m = 3*r - 10 - 5, p*m = -r - x for m.
-3
Let n = -7 - -11. Solve 3*v + 7*g = 3*g, 25 = n*v - 3*g for v.
4
Suppose -2*j = 3*j - 20. Let f = j - 2. Let n be -3*(-2)/f*1. Solve 5*u - 3*c = 5 + 5, -n*u + 3*c + 12 = 0 for u.
-1
Let m = 52 - 49. Solve 0 = -r - a, 4 = m*r - 2*a + 7*a for r.
-2
Let q(m) = -2*m - 7. Let v be q(-6). Suppose v*n + 8 = -4*u, 5*u + 3*n = 7 - 4. Solve 2*i + 5*g - 21 = 0, -u*i - 4*g = -12 - 2 for i.
-2
Suppose -2*l = 25 + 19. Let q be l/(-8) - 1/(-4). Let u = q - -8. Solve h = 2*v - 6, v + 2*v = h + u for h.
4
Suppose -3*d = -o + 21, -5*o + 3*d - 2*d = -175. Let k = 60 - o. Solve -3*n + 7*n + k = 2*w, -30 = -5*w + 4*n for w.
2
Suppose 3*g = -18*g + 126. Solve a - 4 + 1 = -5*t, g = -3*a for t.
1
Let u = 48 + -45. Solve 0 = -u*l + 6, b + l + 0*l = 7 for b.
5
Let k = 10 - 15. Let b(r) = r**3 + 7*r**2 + 7*r. Let y be b(k). Suppose w = 3*w - 6. Solve y = -w*h - 4*f, -f - 2 - 1 = 0 for h.
-1
Suppose m + 8 = -m. Let d = m + 16. Suppose -2*j - j - r = -12, 3*j - d = r. Solve 0 = 3*s - j*y - 4, 0*s - 2*s - y = 1 for s.
0
Suppose -262*m + 265*m = 6. Solve -8 + 2 = -m*b + 5*w, w = -b - 4 for b.
-2
Suppose 3*m + 2*x = 5, -23 = -5*m - 0*x + 4*x. Suppose -5*k = 16 + 9, 21 = 2*i - m*k. Solve -4*j = -4*s, 0 = i*s + 1 - 4 for j.
1
Let w(a) = -2*a**3 - a**2 - a. Let j = -4 - -3. Let f be w(j). Solve -5*u - 15 = 3*c + f*c, -3 = c for u.
0
Suppose 2*a = v - 2 + 6, 4*v + 5*a - 49 = 0. Solve 4 = -4*n - 5*m - v, 2 = 3*n - m for n.
0
Suppose -3*g + 5*g = -4*f - 20, -4*f = 3*g + 20. Let j(b) = -10*b + 82. Let t be j(8). Solve -2*q + t*l + 2*l + 22 = g, -5*q + 5*l + 40 = 0 for q.
5
Let y be ((-3)/6)/(9/(-54)). Solve k - m = 7, -y*k - 2*m + 1 = -0 for k.
3
Let z(g) = -g**3 - 16*g**2 - 15*g - 8. Let b be z(-15). Let o = b + 13. Solve -5*y - 3 - 2 = -5*r, -o*y - 4*r + 40 = 0 for y.
4
Suppose -2*z - 4*p = -0*z - 24, -5*z = -2*p - 12. Suppose 5 = 3*i - 0*i - u, z*i + 5*u + 25 = 0. Solve 3*x + 0*x + 26 = 5*l, -5*x + 4*l - 26 = i for x.
-2
Let m be ((-6)/4)/(12/(-40)). Let v = 1 - 4. Let l(r) = r**2 + r - 3. Let h be l(v). Solve 0*q - 2 = -2*q - m*a, -3*a = -h*q - 18 for q.
-4
Let g be 3/((-18)/(-10))*3. Suppose 3*q = 4*q - g. Solve 0 = -h + 4*s + 1, 5*h - 2*s + 4*s = q for h.
1
Let n(h) = -2*h - 2. Let x be n(-2). Solve -r + 4*r - 4 = x*d, -4*r = -2*d - 8 for d.
4
Let w = 7 + -4. Suppose 4*q - q - 21 = 0. Suppose -2 = -w*g + q. Solve 5*u = 4*x - 36, -x - g*x + 4 = 3*u for u.
-4
Suppose -8*y = -28 - 36. Solve 5*w - 2*u = u - y, w = -2*u - 12 for w.
-4
Let q(w) = 2*w. Let a be q(2). Let r be 6/15 - (-24)/(-10). Let v be -3 - 6/r - -2. Solve -a*h - v*j + 8 = -6*j, -h = 5*j - 2 for h.
2
Let j be 10*(0 - 10/(-4)). Solve -2 = -4*x + 2, 4*n + j = 5*x for n.
-5
Suppose 4*o + 2*q + 2*q = -12, o - 5*q = 27. Suppose 0 = -0*i + i - o. Suppose 3*z + i = 14. Solve -z*g + 11 = -3*u, u + 3 = g + 1 for u.
3
Let f be (4/(-1) - -2) + 2. Let m = -3 + 5. Solve 4*v + 12 = -3*l, f = 4*v - 5*l + m*l + 12 for v.
-3
Let j be 2/(-10) - (-3 - -1)/10. Solve -3*x + x = -2*v, j = -5*x + 3*v + 8 for x.
4
Suppose -2*c = -4*c - 8. Let 