 Let o(j) = j**2 + 4. Let x be o(0). Suppose -x*u + 0*u + 8 = 0. Solve -3*i - 16 = -7*i + u*d, g*d = i - 4 for i.
4
Suppose 5*q = 10 + 15. Suppose u = 2*y - q, u + 9 = -2*u. Suppose 2*b - 18 = -5*m, 2*m + 4*b = 3*b + 8. Solve 4*r = m*s - y - 1, 0 = s + r - 1 for s.
1
Suppose -3*f - 4*p - 1 = -2*p, 16 = -3*f - 5*p. Suppose -f*k + 2*l = 2, -l = -k - 3*l + 10. Suppose 3*b = -k*b. Solve b = n + 5*g + 20, -g = -2*n - 1 + 5 for n.
0
Suppose -11 = -4*j + 17. Let s(n) = n - 2. Let o be s(6). Suppose f + o = 2*f. Solve -2*p = -10, 2*p = -f*i + p - j for i.
-3
Let m(z) = -6*z - 86. Let u be m(-15). Suppose 3*k - 10 = -1. Solve 3*d - u*v + v = -9, 4*d + 11 = k*v for d.
-2
Let j(c) = c**3 - 4*c**2 + 2*c - 6. Let z be j(4). Solve 15 = 2*m + z*m - l, l = -2*m + 15 for m.
5
Suppose 0 = 3*x + 2*x - 50. Suppose -2*j - 2*j + 32 = 5*s, -4*s = -2*j - x. Let z = 4 - s. Solve 3*m + 0 - 6 = z, 5*m = 3*n + 1 for n.
3
Let v = 53 - 32. Suppose -3*s + 17 = 2. Solve 3*r - 4 - v = 4*k, 2*k = -s*r + 7 for r.
3
Suppose -4*i = -0 + 16, 4*n - 2*i = 32. Solve y - 3*o = n, -24 + 9 = 3*y + 2*o for y.
-3
Suppose v - 69 = -5*i, 0*v - 3*v = -12. Suppose -i = 2*z - 25. Suppose 3*q - 3*b - 14 = -8*b, -4*b = 2*q - 10. Solve 0 = q*m - 6, z*t - t = 3*m - 6 for t.
0
Let u(m) be the third derivative of m**4/24 + m**3 + m**2. Let s be u(-7). Let c = s - -3. Solve 0*l - c = -2*l, -3*t + 5*l = -1 for t.
2
Suppose -2*i + 8 = -4*i. Let s be i*-4*1/2. Solve -2*b + 0*b = 2, 4*u = 4*b + s for u.
1
Suppose 5 = 5*p + 5*r - 0*r, -2*p = -r - 11. Solve 2*i + 8 = -2*i, -4*t + 2*i + p = 0 for t.
0
Suppose 29 = 3*p + f, 3*p + 0*p + 1 = 5*f. Let u = 5 - 5. Suppose l + l - 3*m = 21, u = 3*l - 2*m - 19. Solve -3*x = -5*i, 4*x = -i + l*x + p for i.
3
Let g(l) = 2*l**2 - 9*l + 2. Let f be g(6). Suppose f = -2*a + 6*a. Suppose -3 = -a*n + 7. Solve 0*p + 4*o = p + 1, 2*o + n = -2*p for p.
-1
Let w = 2 + 2. Suppose 0 = w*x + 3*t + 42, x + 4*t + 13 = 2*t. Let k be (-3 - 0)*15/x. Solve f + 0*z - 5*z = 0, 0 = k*f - z for f.
0
Let l = 0 - 6. Suppose -a - 20 = -14. Let w = a - l. Solve 2*u - 4*c + 18 = w, u - 6*c + 12 = -3*c for u.
-3
Let x = -5 + 9. Let u be (0 - (-3 + 4))*-1. Let k be 2 + 4 - 3*u. Solve k*g - 8 = x*y, -5*g - 3*y - 6 = -0 for g.
0
Let i = 21 - 19. Solve -u = -i*x, u + 2 = x - 0 for u.
-4
Let n(c) = c**3 - 2*c**2 + c + 1. Let q be n(2). Suppose -9 = -h - q. Let w be (-10)/(-15) + 20/h. Solve -4*d - 4*r = 8, w*d - d = -5*r - 2 for d.
-4
Let r(u) = u**2 - 2*u. Let q be r(5). Let m = -5 + q. Let k = -353 - -355. Solve -2 + m = k*o, 2*o - 16 = -2*z for z.
4
Let f = 8 + -4. Suppose -1 = -2*r + 3*b - 0, -5*r + 11 = b. Solve -4*i = 16, -r*v + 0*i - i - f = 0 for v.
0
Suppose -2*i = -2, k - 5 = -i - i. Let z be -24*(2 - k) - 3. Solve -3*q + z = 2*x + x, -3*x = -2*q - 11 for q.
2
Let v = 38 + -31. Solve -5*t + 0*j = j - v, 3*t - 7 = -2*j for t.
1
Let n = -36 - -39. Let v be (-8)/(-3*2/3). Solve 4*i = v*a, n*i + 0*a = -2*a for i.
0
Suppose 12 = 3*v + 48. Let k = v - -22. Suppose -4*a + k = -2*z - 12, 5*z - 5 = -2*a. Solve -a*u + 15 = f, -f + 4*u - 40 + 19 = 0 for f.
-5
Let z = 3 - 0. Suppose 0 = 4*a - z*a - 12. Solve 5*g + 1 - 11 = 0, b = -4*g + a for b.
4
Let s = -8 + 11. Suppose 13 - s = 2*d. Let w = 1 - 1. Solve -4*o + n = -3*n + 8, d*n = w for o.
-2
Let f = 30 - 25. Solve 0 = -f*a - l + 21, 2*a = -2*l - l + 11 for a.
4
Let v be (2/4)/(1/12). Let q be (6/9)/(1/v). Solve -y = -3*y - 4*a + q, 2*y - a + 6 = 0 for y.
-2
Let t(x) = -x**2 + 12*x + 19. Let o be (78/15)/(4/10). Let y be t(o). Solve h - 1 = 2*v, 2*v + y = -4*h - 10 for v.
-2
Suppose 5*i = u - 0*u - 13, 0 = -3*u + 5*i + 29. Let a(q) = -2*q + 2*q + 2*q - 12. Let k be a(u). Solve -5 = k*s - s + 5*z, -s - 2 = 2*z for s.
0
Let t = -20 + 40. Solve -5*s + 3*w = -t, -s + w = 4*s - 20 for s.
4
Let k be 4/4*(-3 - -4). Solve -k - 27 = -4*i - 4*r, -5 = -r for i.
2
Let r = 194 - 131. Let b be (1 - -4)*r/5. Suppose -5*w = 5*h + 23 - b, -h = -w - 2. Solve 5*s - 3*d = -0*d, 0 = w*d + 15 for s.
-3
Suppose 6 + 8 = 3*l + 2*i, -l + 4*i = 0. Solve -4*p = -3*h - 0*p - 4, -h = l*p - 4 for h.
0
Let m be 12/3 + 2 + -4. Suppose 5*b - 34 = -m*f, -2*f = -3*b + 9 + 5. Suppose 3*s = b - 0. Solve -6*o + 2*o = -s*y - 2, -4*y = -o - 10 for y.
3
Let t(f) = f**3 + 6*f**2 - 7*f - 10. Let l be t(-7). Let y be l/(-2) - (0 - -3). Solve 2*z + 7 = -2*z - c, y*c = -5*z - 5 for z.
-3
Suppose 0 = -2*q + 5*p + 14, p = -4 + 2. Solve x + 7 = q*g - g, -3*g + 26 = -4*x for g.
2
Suppose 0 = -4*j + 12 - 0. Solve -2*n + 13 = -m, -j*n = m - 3 - 9 for m.
-3
Let f be 89/4 - 3/12. Suppose g - a + 4 = 2*g, -5*g + a = -14. Let u be 2/6 - g/9. Solve 5*h - 5*v - 5 = u, -v - 8 = 2*h - f for h.
5
Suppose 3*k + 2*k + 35 = 0. Let j = 2 - k. Suppose 26 = 5*y + n, -3*y = -3*n - j - 3. Solve -3*w + 20 = h, -y*h + 15 = -w - w for w.
5
Let n(y) = -y + 7. Let i be n(-8). Solve -2*h - i = j, -j = -0*j + 5 for h.
-5
Suppose -4*l + 22 = j - 3*j, -3*l - 3*j - 6 = 0. Suppose 4*n = -0*n + 12. Solve -3*q + l*k + n = 0, 3*q - 3*k + 5*k = -12 for q.
-2
Let p = -31 + 34. Solve 2*d - 3*c = -19 + p, 3*d + 4*c = -7 for d.
-5
Let h(g) = -2*g + 4. Let b be h(0). Solve -3*l = -2*i + 16, -i - 5*l - b = 1 for i.
5
Suppose -5*q = -2 - 8. Suppose h + d + d - 3 = 0, -4*d = -4. Suppose 0 = 5*f + m - 20, 9 = q*f + 5*m + h. Solve -w = -f*s + 22, 2*s - 4*s + 5*w = -20 for s.
5
Let i = -6 - -6. Suppose i = -4*q - q + 20. Suppose 2*g - 3*c = -7, -q*g = -2*g + 3*c - 23. Solve -3*s + 3*r + 24 = 0, s + r - g = -6 for s.
3
Let q be 183/9 + 1/(-3). Solve 0 = f + 4*p + 20, -3*f = 3*p + 4 + q for f.
-4
Let r(v) = 1 - 5*v - 2 + 0. Let q be r(-1). Let a(k) = -k**2 + 10*k + 28. Let n be a(12). Solve 14 = -y - n*x, y - q*x = -3*y + 4 for y.
-2
Let x(r) = r**2 + 10*r - 16. Let u be x(-12). Let o be 10/u*4 + -2. Suppose -c - c + 9 = f, 5*c = -5*f + 30. Solve -o*z + 19 = 2*i, i + z + c*z = 17 for i.
5
Let g(m) = m**3 - 4*m**2 - 7*m + 12. Let u be g(5). Let h = -12 + 19. Solve -4*b + 3*o - 29 = 0, h*o - u*o = -2*b + 5 for b.
-5
Suppose 30 = 2*q + 4*p, 0*q + 5*p = q - 36. Solve -4*z + 5*a = q, 3*z + 5*a + 6 = -1 for z.
-4
Let f(l) = -l - 2. Suppose 2*a = a - 5. Let w be f(a). Solve w*g = -0*g + 9, x + 14 = 3*g for x.
-5
Let z = 16 - 10. Let a = z - 4. Suppose a*u - 6 = -0*u. Solve 3*j = -l - 1, -u = -0*j + 3*j + 3*l for j.
0
Let d(h) = h**3 - 4*h**2 + 3. Let i be (-10 + 4)/(3/(-2)). Let f be d(i). Solve 2*v - f*t = 13, -t + 2 = 5 for v.
2
Let y = 13 - 9. Solve y*r + 0*r + 14 = f, r = -3*f - 10 for r.
-4
Let r(s) = 2*s + 1. Suppose -4 = 2*d - 6*d. Let h be r(d). Solve 5*x + 15 = -5*v, 3*x + x = -v - h for v.
-3
Let k(d) = 2 + 5*d - 3 + 3*d**2 - 2*d**2. Suppose 7 = -2*o - 9. Let v be k(o). Solve 0 = -3*m - 0*m + 4*y + v, -5 = y for m.
1
Let n be (-2)/((4/24)/1). Let r = 16 + n. Solve -r*u = 2*o + o, 4*u + 4*o = 0 for u.
0
Suppose 4*u = -u + 25. Let q be (0 - 1)/(u/(-20)). Let b(w) = 3*w. Let i be b(q). Solve -k + s + s = 4, -4*s + i = -k for k.
4
Let z(y) = y**2 - 5*y + 6. Let p be z(4). Suppose 0 + 10 = p*j. Solve -3*k = n - 5*n - 1, 25 = -k - j*n for k.
-5
Suppose v - 11 = 26. Suppose -t - l = -v, 4*l + 12 = -0*l. Solve -6 = 3*s + 3, 5*s + t = -5*p for p.
-5
Suppose 5*z - 4*j - 62 = 0, -6 = 2*j - 0. Solve 5*w + 3 = t - 5, -5*t = z for w.
-2
Let k be (-2)/(4*3/24). Let t = k - -14. Solve 4*q = i - 9 + 2, 4*q = 2*i - t for q.
-1
Let a = -6 + 10. Suppose a*t - 20 = 2*t. Suppose 0 = 2*c - 0*c - t. Solve 0 = c*f - j + 16, f + 4*j - 19 = 6*f for f.
-3
Suppose -2*r + 49 = -5*t, -2*t - 10 = -4. Solve -5*f = -3*z - z + r, 17 = -z - 3*f for z.
-2
Let l(k) = -2*k**3 - 3*k**2 - k - 1. Let b(w) = -2 + 0 + 1 - 5*w + 3 + w**2. Let c be b(4). Let x be l(c). Solve -5*z = -x*i - 5 + 25, -3*i = 3*z - 6 for i.
3
Suppose 4*t - t + 2*q = -15, 5*t + 4*q = -23. Let o be (t/(-14))/((-1)/(-22)). Solve 0 = -5*m + 2*v - 29, 2*v + o = -3*m - 0*m for m.
-5
Let q = 5 + -4. Let m be (1/1)/(2/(-2)). Let s = m + q. Solve s = 5*j - u + 17, -2*j + 3*u + 2 = 1 for j.
-4
Let p = -21 + 23. Solve p*b + 1 - 21 = -4*h, 2*h - 10 = 4*b for b.
0
Let a(d) = -d + 3. Let r be a(-13). Let m be (r/(-12))/((-4)/6). Solve -l - 4*w - 1 = 0, 4*w - 15 + 1 = m*l for l.
-5
Suppose 3*j + 2*o = 3*o - 41, j = 5*o - 37. Let y(d) = d**3 + 11*d**2 - 12*d + 15. Let u be y(j). Solve -2*p + 3*z = -0*p - u, 2*p = -z + 3 