
3
Let b be (-2)/((-20)/24 + 1). Let d = 13 + b. Solve -p + d = 0, 4*t + 5 = t - p for t.
-2
Let q be (-3)/9 + 14/6. Let z be (-1 + q)/((-2)/(-56)). Let r be z + -1 - 0 - -2. Solve 3*k = 2*k - 5*v - r, -2*v + 6 = -4*k for k.
-4
Suppose -2*o + 1 = 4*m - 15, 4*m = -o + 14. Suppose -9 = -4*t - z + 7, 3*t - 12 = o*z. Solve -t*l - 2*j + 3 = -5*j, 3*j - 12 = -l for l.
3
Let x be (-14)/(-6) + (-6)/(-9). Solve -4*d = -s - 7, -x*d + 8*s - 3*s = -18 for d.
1
Let y = -9 + 8. Suppose -5*g + 50 = 5*b, -b = 2*b - 3*g. Let r = y + b. Solve 2*j - r = 4*d - j, -d - 5*j = -22 for d.
2
Suppose 8 = x + 3*x. Suppose 0 = -i + 2*i + 4*m - 7, x*i = -2*m - 4. Let y = i - -8. Solve 2*g - 14 = -5*z + 12, y*z = 2*g + 6 for z.
4
Let n(k) = k - 2. Let p be n(9). Suppose 0*f + f = p. Solve 4*x = 2*c + 6, 3*x - 3*c - f = 2 for x.
0
Let j = 36 - 20. Solve 2*o - 5*z + j = 0, o - z = 4*z - 18 for o.
2
Suppose 5*t - o = 59, o - 49 = -6*t + 2*t. Let v = 18 - 6. Suppose -2*k - 3*r = -0*r - 9, -k - 4*r = -v. Solve 0 = -4*q + n + t, k*q + 4*q - 5*n = -4 for q.
4
Suppose -2*p - 5*n = 15, p = -0*p - 3*n - 10. Solve 5*b + 30 = p*t, -4*t + 7*t = -5*b - 6 for b.
-3
Suppose -3*w = 5*p + 1, -w + 3*w - 10 = 2*p. Suppose -w*b - b = -20. Suppose b*y = 2*i + 8, 3*y + 4*i + i + 20 = 0. Solve 5*g = -3*c, 0*c + 3*c + 15 = y for g.
3
Let y be (2 + -3)/(3/(-9)). Solve -5*t = 4*x + 21, -y*x + 16 - 3 = -2*t for t.
-5
Suppose -a + 24 = -5*n, 4*a = a + 4*n + 28. Suppose -3*z = -2*m - a - 0, 12 = 5*z - 2*m. Solve 0*o + 12 = -z*f + o, 5*f = -3*o + 2 for f.
-2
Suppose 62 = 4*s - 0*s + 5*r, 3*r + 7 = s. Let p = s - 8. Suppose -3*i + 2*a = -8, -1 = -p*i + 5*a + 4. Solve 5*f - 11 = 5*v + 4, 5*v - 2*f + i = 0 for v.
0
Let x = 3 - -2. Solve 2*s + 4 = 2*k, -x*k + 0*s = -4*s - 10 for k.
2
Suppose 4*j - 2 = 6. Suppose 2*h - 6 = j*b, 5*h + 13 = 3. Let v = 16 + b. Solve 3*z + v = 5*p, 5*z + 4*p = p + 27 for z.
3
Suppose 3*g + 1 = 7. Suppose 3*k = -g*z + k + 6, -2*k = -z + 9. Solve 0 = 4*f, -4*q - 1 = -z*f - 5 for q.
1
Let v(o) = 6*o**2 + 2*o - 5. Let p be v(-2). Let u(w) = -w**2 + 9*w + 7. Let l be u(8). Let h = l - 11. Solve h*j + 0*j - 3*i = -35, 2*i = -5*j - p for j.
-5
Suppose t = 3*f + 39 - 4, -3*t - 3*f + 105 = 0. Solve -5*d = 3*u + 27, -6*d + d = 5*u + t for d.
-3
Suppose 0 = -2*y - 4*f - 4, 6 = -y - 3*f + 2. Suppose -y*j - j = 0. Suppose 15 = -2*r + 7*r. Solve j = -x + 5*g - 8, -2*x - 3 = r*g - 13 for x.
2
Suppose 5*v = 6*v - 50. Let m(c) = -1 + c + 0 - 49*c**2 + v*c**2. Let p be m(2). Solve 3*a - 2*u + p = -4*u, 2*a - 15 = -5*u for a.
-5
Suppose -3*j = -4*z + 27, 0 = -4*z - 4*j - 8. Solve 4*u + 7 = 3*u - 4*s, 0 = 3*u + z*s - 6 for u.
5
Let j(y) = -y**3 - y**2 - 2*y + 11. Let u be j(0). Let i be ((-12)/9)/(2/(-6)). Solve -b = -w - 1 - i, b = -3*w - u for b.
1
Let f be 16/7 + 2/(-7). Solve -4*n = 4*h + 24, -4*n + f*n = 5*h + 21 for n.
-3
Let p = 79 - 77. Solve 4*f - 2*r - 24 = p*r, 0 = r + 4 for f.
2
Suppose 0 = -o + 2*v + 14, 0*v - 2*v - 26 = -4*o. Solve 0 = -o*d - 4*a + 28, -2*a - 1 = -3*d - 0 for d.
3
Suppose -3*l + 2*l = -0*l. Solve l = -4*a + a + w + 6, -w = 3*a for a.
1
Suppose 0 = z + 2*o - 12, -12 = -3*o - 0. Suppose z*g = 5*g. Solve 4*w - 4*q - 8 = g, q - 6*q - 2 = -w for w.
2
Let k(a) = -9. Let z(t) = t + 9. Let c(p) = 3*k(p) + 2*z(p). Let m be c(6). Let q(r) = -r + 9. Let n be q(6). Solve w = m*o + 6, -2*w + 5 = -n*o - 4 for o.
-1
Suppose 5*u = 3*f + 1 + 2, 0 = -2*f + 4*u - 4. Solve -f*h + o = -12, 6 - 38 = -4*h - 4*o for h.
4
Let m be 74/14 + (-2)/7. Suppose 2*o + 45 = m*o. Solve -3*v - 10 - 11 = 2*p, -3*v = o for p.
-3
Suppose 0 = k + 3*k. Solve k = 5*c + 20, -3*c - 15 = 3*t - 6*t for t.
1
Let g be -1 - -1 - (3/3 + -3). Solve -4*c - 26 = g*s - 0*c, 5*s + 4*c + 35 = 0 for s.
-3
Let i(p) = p + 16. Let u be i(-16). Solve -3*f - 19 = -5*j, -5*j + 0*f + 4*f + 22 = u for j.
2
Let n = 0 + 1. Let h be 34/2 + (n - 0). Solve 3*b = 2*a + 1 - 6, h = -2*b + 5*a for b.
1
Suppose 3*z - 2*z = -6. Let a = 8 + z. Let m(w) = 2*w**2 - w - 2. Let q be m(a). Solve 4*h - q*j = -3*j, -4*h + 5*j + 16 = 0 for h.
-1
Let j = -1 - -1. Let t(z) = -z**3 - 20*z**2 - 19*z + 3. Let o be t(-19). Solve -9 - 6 = -3*s + 2*v, j = -o*s - 5*v + 15 for s.
5
Let u be (8/20)/((-2)/(-10)). Suppose -u - 4 = -2*i. Suppose 0*q = i*q. Solve -5*b - 4*w - 16 = q, 2*b + 2*w + 8 = 3*b for b.
0
Suppose 0 = t - 5*t. Suppose 0 = -4*j + 16, 52 - 20 = 5*v + 3*j. Let z be (-16)/6*(-6)/v. Solve -4*m = z*y, 3*m - y = 4 - t for m.
1
Suppose 5*u - 9 - 1 = 0. Let n be ((-3)/6)/(4/(-16)). Solve 2*q + 4 = 2*p, u*p - 4*q = -0*q - n for p.
5
Suppose -36 + 28 = -4*h. Solve t + 2 = -s, h*s - 18 = 4*t + s for t.
-4
Let n(f) = -3*f + 28. Let o be n(8). Solve 3*p - 9 = 3*y, 0*y = -5*p - o*y - 21 for p.
-1
Let b(x) = 2*x - 1. Let f be b(2). Let c(r) = -4*r + 1 - 3*r**2 + r - 4 + r**f. Let v be c(4). Solve -3*z + s + v + 1 = 0, 1 = 3*z - 2*s for z.
1
Let v(q) = -q**3 - 17*q + 16*q - 4*q**2 - 1 + 0. Let l be v(-4). Suppose -r = -k + 3, -k + l*k = 3*r + 5. Solve 0 = 4*w + 4*z, w + 32 = -k*w + 3*z for w.
-4
Let a = -6 - -11. Suppose -5*g + 2*o + 4 + 16 = 0, -20 = -a*g - 4*o. Suppose -g*j - 4 = -6*j. Solve 0 = -w + 2*w - j*u + 3, 2*w - 3*u + 2 = 0 for w.
5
Let w = 25 + -21. Solve 0 = 2*o - c + 3, -12 = -w*c - 0*c for o.
0
Let z(m) = -m**2 - 2*m + 5. Let j be z(-4). Let x = j - -6. Suppose -5*b = x*s + 8, -s + b + 16 = 2*s. Solve -i = -d + 8, 5*d - 3*i - 16 = s*d for d.
4
Let v(f) = -f**3 - f**2 + 50. Let c be v(0). Suppose 0 = a + 15 - c. Solve 0 = -5*h - 3*g - a, -3*h + 4 = -5*g - 9 for h.
-4
Let h(x) = 2*x**2 + 4*x + 2. Let o be h(-2). Solve o*t + 5*b = 30, -3*b + 7*b = -4*t + 36 for t.
5
Let q(t) = 5*t**3 - 2*t + 1. Let u(x) = x**3 + x - 1. Let s be u(0). Let j be (s/(-2))/(1/2). Let w be q(j). Solve 3*i = 5*a - 19, -i = w*a - 19 - 3 for a.
5
Let y be ((-4)/(-6))/((-1)/(-3)). Let c be (y - 1)/((-9)/(-18)). Solve -4*b + 22 = -2*n, -2*n + 5*b - 29 = c*n for n.
-1
Let u = -1 + 3. Let r = u + 2. Solve 4*y - r = -3*p - 0*p, 5*p - 24 = 2*y for y.
-2
Let l(b) = b**2 + b + 2. Let p be 5 + -2 - 4 - 1. Let a be l(p). Solve n + 3*k - 15 = a*n, -4*k + 15 = -3*n for n.
-5
Suppose 2*z - f = -0*z + 11, 0 = 5*z + 2*f - 32. Suppose -h - z = -4*h. Let y(p) = -p + 3. Let l be y(0). Solve 0*o - o - i = 3, -h*i - 11 = -l*o for o.
1
Suppose 4*m + 3*v + 19 = 0, -v = 6*m - m + 32. Let y = -5 - m. Solve 3*s + 2 = f, -s + 2*f + y = 1 for s.
-1
Let i be -4*1/2*-2. Let a = i + -4. Solve 3*l - 21 = -3*v, 5*l + a*v = -v + 23 for l.
4
Let b = 3 - 3. Suppose 4*z - 2*i = -0 + 4, -2*z - 4*i + 2 = b. Let m = 2 + z. Solve 0 = -0*v - 3*v - 2*h, m*v - h = 0 for v.
0
Let y = -11 - -14. Suppose 9*g = y*z + 4*g - 5, -8 = -2*z + g. Solve v + 0*v + 2*c + z = 0, 0 = 2*c + 8 for v.
3
Suppose 3*b + 2*b - 30 = 0. Suppose o = -5*n + 13 + b, 5*n = 2*o + 22. Solve -n*z = -12, -4*l + 0*l + 2*z - 26 = 0 for l.
-5
Suppose -16*x - 10 = -21*x. Solve -5*j = d - x*j - 13, 0 = 2*d - 4*j + 24 for d.
-2
Let t = 11 - 8. Solve 0 = -3*n + 4*s + 13, -5*n + t*n - s = -5 for n.
3
Suppose -6*l + 3*l = 12. Let f be l/2 + (8 - 4). Solve 0 = 5*t - 4*s + 3, f*s - 5 - 4 = 5*t for t.
-3
Suppose -16 = -4*r - 2*y, r + 22 = 2*r + 5*y. Solve -4 = -r*f, 2*f - 5 - 3 = -4*i for i.
1
Let u be (-11)/(-4) - (5 + 126/(-24)). Solve -t = -5*t + 5*f + 3, -2*t = -u*f - 3 for t.
-3
Let w be (0/((-4)/2))/(0 + 2). Suppose 2*a - 7*a + 3*c + 18 = 0, -3*a + 4*c = -13. Solve -5*d - 5*v + 15 = w, 17 = 2*d - 3*d + a*v for d.
-2
Let r(x) be the third derivative of x**4/24 - 5*x**3/6 - 3*x**2. Let q be 8 + (0 - 2/2). Let z be r(q). Solve -z*p + p - n = 3, -n + 7 = -4*p for p.
-2
Let k be ((-52)/16 + 3)*(-12 + 4). Solve y - 3*a - 2*a = 15, 2 = -2*y + k*a for y.
-5
Let v = 3 - 1. Solve g - 8 = -4*g - 3*c, 0 = -v*g + 4*c + 24 for g.
4
Suppose 4*j = -2*v + 20, 6*v = v + 3*j - 15. Let u(p) = p**2 + 7*p - 5. Let h be u(5). Suppose 5*b = h + 30. Solve -3*x + 0*z = 2*z + b, -z - 4 = v for x.
-3
Suppose 0 = -3*g + 2*y + 10, 5*y - 2 = 3*g - 0*y. Let m be (58/g)/(3/9). Solve -5*l = -t + 5, 0*t + 5*t + m = -2*l for t.
-5
Let s = -27 - -32. Solve 2*n = 5*x - n - 25, 0 = s*x + 2*n for x.
2
Suppose d - 3*n - 8 = -0*d, 3*n - 3 = 0. Solve -3*h + y - 3*y - d = 0, -3*y = -5*h - 31 for h.
-5
Let x(h) be the first derivative of h**4/4 - 2*h**3 - 7*h**2/2 + 2*h + 4. Let p be x(7). So