for t.
-3
Let a = 6 + 4. Let r = -3 - -7. Let u(g) = g**3 - 3*g**2 - g. Let p be u(r). Solve 4*i = -5*w + p, 0 = w - 4*i - a - 2 for w.
4
Let n be (-45)/(-6)*4/6. Solve -5*q + n*i = -30, -7*q + 6 = -2*q + 3*i for q.
3
Let y be 2*-2 + (14 - 10) - -11. Solve -3*z + y = -t, 0 = 5*t - 3*t - z + 12 for t.
-5
Suppose -2*s + 7 = -m, -2*m + s = 2 + 15. Let l = m + 13. Suppose -2*g - 9 = -3*g. Solve 5*r = 4*b - 15, l*b = -3*r + b - g for r.
-3
Let m = -21 + 25. Solve -2*k + n = 7, -3*k = -7*k - 4*n + m for k.
-2
Let x be 3*((-12)/9 - -2). Let p = 0 + x. Let r be 1/p - 14/(-4). Solve -5 = b, -z - 4*z - r*b - 20 = 0 for z.
0
Let r(i) = -i - 4. Let a(h) = h**3 + 2*h**2 + 4*h + 2. Let b be a(-2). Let t be r(b). Solve -5*x - 7 = p, 4*x + 2*p + t = -0 for x.
-2
Let h(f) = f**2 - 11*f - 10. Let i = 17 + -5. Let z be h(i). Solve 0 = z*o - 4*t + 16, -5*o + t + 0 = 4 for o.
0
Suppose -3*j = -3*n - 3, -2*j + 4*n + 4 = -0. Solve -2*k + j*a = 4*a, 3*k + 2*a + 4 = 0 for k.
-2
Suppose 2*w - 24 = -2*f, -69 = -4*f + w - 21. Suppose 0 = -3*t + 3 + f. Suppose -3*p + 19 + 56 = 0. Solve t*h + 5*n - 5 = 0, -n - 4*n - p = -h for h.
5
Let a = 12 - 10. Suppose 3*l = -a*j + 14, -2*l = 3*l - 2*j - 2. Let g be 2 - -4 - (-1 - -2). Solve -o - 5 = l*b, 2*b + 4 = -g*o - b for o.
1
Suppose -6 = -z - 3. Solve 2*a - 3*w + 15 = 4*a, 0 = -z*a + 2*w + 3 for a.
3
Let g = -15 - -19. Solve 0 = 3*i - g*s - 1, 3*i - 2 = -3*s + 13 for i.
3
Let w = -1 + 5. Solve 0 = -4*u + 5*h - 5, 1 - 2 = -w*u - h for u.
0
Let b be (-2)/8 - (-210)/40. Solve -l - 3*l - 22 = 2*h, 2*h - b = 5*l for l.
-3
Let n = -4 + 7. Solve 3 = -n*t - 3*w + 18, 4*t + 3*w - 19 = 0 for t.
4
Let a(y) = y + 4. Let u(n) = n + 4. Let k(l) = 6*a(l) - 5*u(l). Let f be k(0). Solve 6 = i + 2*i + 4*z, z = f*i + 11 for i.
-2
Let v(m) = 3*m - 25. Let q be v(10). Solve a - q = -p, -3*p - 2*p - 5 = -5*a for a.
3
Let a = 13 + -8. Suppose 4 - a = -v. Suppose -2 = g - 4*p - v, -2*p = -g + 1. Solve 3*t - l + 5 = -3*l, 5*t + g = -2*l for t.
1
Suppose -68*l = -67*l - 5. Suppose -3*h + 15 = 2*h. Let a be (0 + 0)*(1 + -2). Solve 5*k - 2*b = -a*k + 8, l*b = 4*k - h for k.
2
Let q(r) = r**3 - 9*r**2 + 8*r + 5. Let f be q(8). Suppose -4 = k, -5*n + f*k + 26 = -2*n. Solve -6 = -4*y + 2*z, n*y + 5*z - 13 = -2*y for y.
2
Let c(h) = -2*h**2 + h - 1. Let w be c(2). Let m = w + 17. Solve u = -0*u + 1, -3*a = u - m for a.
3
Let j = -11 + 3. Let m = -2 - j. Solve 3*i - 15 = -m, -3*y = -3*i + 3 for y.
2
Suppose -2*d = 4*q - 4, 0 = 4*d + 4*q - 6 - 2. Solve -6*x = -4*x - 5*a + 18, -d = -a for x.
-4
Suppose -4*f + f = 0. Let m = f + 0. Suppose m*c = c. Solve i + 22 = 4*j, -2*i + c = -j + 9 for j.
5
Let h = 18 - 11. Suppose f + 4 = q - 0*f, 0 = 2*q - 3*f - h. Suppose -q*d + n = -19 - 1, 10 = -2*n. Solve 5*p + 15 = g, -3*g + 2*g = p + d for g.
0
Let j be (-3 + 1)*-1 + 0. Suppose 4*y = 2*t + 6, -y - t + 3*t = -3. Solve 3*b = q + y, -j*b + 3*q = -0*q - 10 for b.
-1
Suppose 5*r - 3*k - 25 = 0, -4*r + k + 11 = -r. Solve 3*d + 2*u - 25 = 0, r*d - 1 - 29 = -4*u for d.
5
Suppose -y = 2*y - 36. Let a be (8/y)/(1/3). Solve 4*z = -2*m - a*m, 24 = -z + 5*m for z.
-4
Let z(n) = n**3 + 7*n**2 + 6*n + 1. Let w be 6*(1 + 1*-2). Let a be z(w). Let k = a + -1. Solve k = 2*t - 0*t, -12 = -4*s - t for s.
3
Let z be ((-1 - -2)*-1)/1. Let y be -7 - (3 - (1 - z)). Let p = y + 13. Solve p*f - 1 = -4*m, 3*m - f + 2 = -2*f for m.
-1
Let j = -77 - -82. Solve -w = -k + 3*w - 5, -25 = j*k - w for k.
-5
Suppose -11 = 6*b - 179. Solve -5*h = 4*o + b, -3*h - 5*o - 8 = 14 for h.
-4
Suppose 2*d - d + 2 = -c, -4*c = 3*d + 8. Solve -3*k - 2*k + 20 = -p, 4*k + p - 25 = d for k.
5
Let x be 8/3 + 6/(-9). Suppose x + 4 = 2*f. Suppose f*m = 8*m. Solve 0 = -2*y + 2*w - 2, m*y - w + 4 = -4*y for y.
-1
Suppose -4*h = -1 - 11. Let z = 2 + h. Suppose 13 = v - 5*k, v + 3*k + 2*k = -7. Solve -10 - 2 = -v*g - 2*r, -z*g + 5*r = -20 for g.
4
Let k(f) = f**2 + 2*f - 8. Let n be k(-4). Solve -3*l = z + 4*z + 20, n = -4*z + 3*l - 16 for z.
-4
Suppose 20 = 6*p + 8. Solve 0*v - 3*x = 5*v + 14, v = -p*x - 7 for v.
-1
Let y = -4 - -3. Let m be ((-19)/3)/y*3. Solve 0 = 3*n + 3*h - 4 + m, 3*h + 8 = 4*n for n.
-1
Suppose 0*z = z + 4*v - 20, -z - 5*v + 24 = 0. Solve z*q = 2*q - 8, -q = n for n.
4
Suppose -3*x = a - 15, 4*a - 2*x + 16 = 6. Solve 4*h + 2*t + 26 = 7*t, a = -2*t + 4 for h.
-4
Let q = -104 + 105. Solve -12 = 4*v + 4*u, -2*v - 4*u - q = 11 for v.
0
Let d be (-12)/16*-4*3. Let h = d + -5. Solve 0 - h = 3*t - v, -19 = -2*t + 5*v for t.
-3
Let f = 9 - 7. Let o = -226 + 398. Suppose -p + 84 = 2*d, 2*d + o = 6*d + 3*p. Solve 0 = -g - f*c + 11, -4*g - 11 = 5*c - d for g.
1
Suppose 7*g - 1 - 27 = 0. Solve 4*p + 0*s - 5*s = -23, -17 = g*p - 3*s for p.
-2
Suppose 8*w = 5*w. Suppose 13 = 5*k - 4*u, u + 0 - 3 = w. Suppose 0*b + 26 = 2*b. Solve -7*q - 2*s = -2*q - b, -24 = -4*q - k*s for q.
1
Let y = -5 + 10. Suppose -2*w = w + 2*l + 3, -w + 2*l - 9 = 0. Let q = w + y. Solve -3*t + q = -7, 3*f = -4*t - 3 for f.
-5
Let q = 38 - 35. Solve -4*f + 14 = -2*p, -5*f - q*p = 4 + 6 for f.
1
Suppose 0 = -5*q + 1 + 14. Solve 4*y + j + 11 = 0, -y - 2 = -q*y + 2*j for y.
-2
Suppose i + 5*h + 1 = 2, -31 = -5*i + h. Let x = i + -4. Suppose -4 = 7*a - 25. Solve z + 1 + a = x*l, -2*z - 3*l = -6 for z.
0
Let q = -5 + 9. Suppose -2*m - q = -4*l + 4, 0 = 5*m. Suppose -5*z + 215 = -l*i, 3*i = 5*z - 220 + 10. Solve 0 = 2*o + a + 4 + 11, -z = 4*o + 5*a for o.
-5
Let z = 6 + -2. Suppose d - 21 = -z*g - 0*g, -4*d - 4*g = -36. Suppose w - 6*w + 3*s = -23, d*s = -w - 1. Solve -l - 5*c = 7, -2*l + 3*c + 3 = w for l.
-2
Let p = -20 + 26. Solve 4*a = 2*v, 3*v = a + p*v - 14 for a.
2
Suppose 0 = 3*j + 9 + 3, -5*a + 21 = j. Let g(x) = 3*x + 2. Let l be ((-6)/(-4))/(2/8). Let y be g(l). Solve 0 = 2*i + r - 2*r - 9, a*r - y = -3*i for i.
5
Suppose -6*n = -2*n, 3*n + 6 = 3*w. Solve 5*c - 3 = w*s + 17, -4*s - 16 = -4*c for s.
0
Suppose -5*f + 20 = 5*n, n + 0*n + 5*f - 12 = 0. Let g(m) = -m**2 + 5*m + 10. Let j be g(6). Solve -2*k - 17 - 13 = j*x, 2*k = -n*x - 20 for x.
-5
Let c(d) = -8*d + 34. Let n be c(4). Solve 3*s - 12 = 4*g - g, 5*g = -n*s - 6 for s.
2
Let m(g) = g**3 + g**2 + 2. Let s be m(0). Solve 2*f = -3*t - 11, 0 = f + f + s for t.
-3
Let u(b) be the third derivative of 5*b**4/24 - b**3/6 + b**2. Let n be u(1). Suppose -n*l - l = -10. Solve 2*j = s, -j - l*s = 3*s + 22 for j.
-2
Let j = -3 + 14. Solve -2*s - r = -2, s + 0*r = -3*r + j for s.
-1
Let f = -34 + 19. Let x = 18 + f. Solve x*h = a - 1 - 13, 10 = -2*h for a.
-1
Let t be 0 + ((-18)/(-3))/2. Let d(m) = -2 - 3*m + m**2 - m + 1 + 5. Let l be d(t). Solve 0 = 3*c + p - 6, 2*c + p - 4 = -l for c.
3
Let d(h) = -2*h**2. Let b be ((-16)/(-6) + -2)*-3. Let o be d(b). Let s = o - -38. Solve -2*m - 4*q = -0*m + s, 0 = -m + q for m.
-5
Let n be 14/4 - ((-20)/8 + 2). Solve -3*f + 7 = -4*q + 2*q, 4*q + 4 = -n*f for f.
1
Let l be (-178)/(-5) - 2/(-5). Suppose -3*m = -0 - l. Suppose 4*i - m = i. Solve i*a - 18 = 3*c + 3*a, 2*c = 3*a - 19 for c.
-5
Let o be 7*((1 - 1) + -1 + 4). Solve v + 4*l + o = 0, -2*l - 7 = 4*v + 21 for v.
-5
Suppose -7*l + 15 = -2*l. Suppose -4*d + l*d = -9. Suppose -o + a = -2, 0*o = 3*o - 5*a. Solve q - 3*r = -2*q - d, 2*q - r + o = 0 for q.
-2
Let u(w) = w + 4. Let h be u(-4). Suppose h = -6*z + 3*z + 12. Solve -5*f = z*l - 13, f + 2*f = -4*l + 11 for f.
1
Let d(q) = q**2 - 18*q + 34. Let a be d(17). Solve -j - 3*j - a = -x, 5*j = 3*x - 30 for x.
5
Let b be (1 - 1) + -4 + 10. Solve 4*p + m - 13 = b, -p + 13 = 3*m for p.
4
Let j be 0/(-46) + (-1 + 3 - 0). Solve 5*w = -j*o + 6, -w - 2*o + 6 = 2*w for w.
0
Suppose 4*p - 6 = 14. Let d(y) = y. Let a be d(p). Suppose -a*s + 10*s = 30. Solve -2*v + 16 = m + 4*m, 3*m - 4*v = -s for m.
2
Let i(l) = 14*l**2 + 1. Let n be i(-1). Suppose -2*m + 35 = 5*m. Suppose -2*g = -4*t + 12, 0 = 5*t - 4*t + 5*g - 14. Solve -8 = 3*x - h, -t*x - h - n = m for x.
-4
Suppose -4*r - h + 30 = -169, 0 = -4*h - 4. Solve w - 15 = 2*d, w + 4*w - r = 5*d for d.
-5
Suppose 0 = -4*x - c - c + 10, -1 = -c. Solve 4*s - 2*z = 6, x*z + 6 = -0 for s.
0
Let t(v) = -4*v**3 + v**2. Let l be t(-1). Let z be 114/15 - (-2)/5. Let b = z + -4. Solve -3*s = 4*u + 24, -5*s = -b*u - u + l for s.
-4
Suppose -4*i + 2*j = 23 + 29, 35 = -5*i - 5*j. Let r(u) = -2*u - 13. Let k be r(i). Sol