.
-4
Let a be (-1)/(4 - 7/3 - 2). Solve 0 = -3*d + 5*q + 10, -a*q = -0*q + 6 for d.
0
Suppose 7*u - 8 - 13 = 0. Let b be 1 + -2*u/6. Let a(c) = c**2 + 2*c - 5. Let q be a(-4). Solve 0 = -2*f - 3*x - 3, -3*f + q*x + 18 = -b for f.
3
Suppose z + 1 = 2*z. Suppose z = -3*x - 2. Let d be (7 - 3) + -1 + x. Solve -37 = -3*h - 5*w, w = -2*h + 15 - d for h.
4
Suppose s + 14 = 3*j, 2*s + 1 = -2*j + 5. Let h = -15 - -30. Solve h + 6 = j*m - 3*d, d = -3 for m.
3
Let s = 32 + -27. Suppose -5*i - 41 = -4*x, -25 = i + 4*i. Suppose -3*p + x*h + 32 = -h, 2*p - 28 = 5*h. Solve -30 = -s*z - p*u + 7, 2*u - 21 = -3*z for z.
5
Let j = 8 - 6. Let z = -11 + 18. Let g = z + -3. Solve -3*a + g*n = 2*n + j, -n = a - 6 for a.
2
Let l(w) = 2*w - 5. Let c be l(5). Let z = 2 - 4. Let f be 6/15*(7 + z). Solve 3*y = 2*m - y - f, m = -y - c for m.
-3
Suppose 4*p - 30 = -4*g - 6, -12 = -3*p - g. Solve 3*z = 0, -r - 7*z + p*z = -3 for r.
3
Let q = -1 - -28. Let f be 28/5 - 2/(-5). Let x be (-10)/(-3)*f/5. Solve x*a + 21 = g, 0*g - 3*g = -3*a - q for g.
5
Let s = -1 - 20. Let d = 30 + s. Solve -3*n - 9 = -3*t, -2*t + d = -0*t - 5*n for t.
2
Suppose 5*m - m - 8 = 0. Solve 2*b + 1 = q, 0 = -b + 3*q - m*q + 1 for b.
-2
Let g(n) = n**3 - n**2 + 4. Let x be g(0). Solve a = v - 5, -5*a - 5 - 11 = x*v for v.
1
Suppose 4*h = h - 30. Let k(l) = -l**3 - 10*l**2 + 5. Let p be k(h). Let b = 1 - 1. Solve b*s - p*s + 2*u = 0, 20 = 5*s + 2*u for s.
2
Suppose 0 = -v + 5*v - 140. Solve -3*f + 0 - v = 5*n, -3*n - 2 = -2*f for n.
-4
Let r = 13 - 8. Solve -k + 3*g + 3 = -0*k, -2*g - 19 = r*k for k.
-3
Let q = -4 - -4. Suppose -3*h = z - 3, -5*h - 2*z + q*z = -5. Let n(r) = 20*r**2 + r - 1. Let w be n(h). Solve -4*x = -2*s - w, x + 2*x + 5*s = 15 for x.
5
Let p(h) = -3*h - 3. Let r be p(-3). Solve 0 = -0*z - 5*z + 4*q, 0 = -4*z + 2*q + r for z.
4
Let l be (2/5)/(1/(-5)). Let a be (-4 - l) + 4*6. Solve n = 5, k - 4*n = -k - a for k.
-1
Suppose -2*o + 4*r + 38 = 0, -o - 112 = -5*o - 4*r. Solve 4*l - a - 8 - 11 = 0, 3*a + o = 4*l for l.
4
Let b(j) = j**2 + 13*j - 28. Let d be b(-15). Solve a = -5*p + 13, 0 = a - 0*a + d for p.
3
Let l = -25 - -25. Solve -5*d - w = -20, -3*w = 3*d - l*w - 24 for d.
3
Let v be 274/18 + 2/(-9). Let o be ((-6)/18)/((-1)/v). Solve 17 = -5*u + 4*a - a, 0 = -o*u + 4*a - 21 for u.
-1
Let r(i) = 2*i**2 - i + 2. Let m be r(2). Let f = 11 - m. Solve 2*d + 10 = -f*d, h + 5*d + 10 = 0 for h.
0
Let m(r) = 4 - r + r**2 + 3*r + 3*r. Let q be (-6)/(-4)*(0 - 4). Let d be m(q). Solve 8*y - 27 = 3*y - z, 4*y = 5*z + d for y.
5
Suppose -3*z = -3*o - 6, -o + 3*o + 2 = 0. Solve 2*u + 26 = -4*y, u - 4*y - z = -2*u for u.
-5
Let n(o) = -2 + o - 3 + 19. Let y be n(-8). Let j = -4 + y. Solve -3*u + 4*z = -8, -2*u + u - j*z + 6 = 0 for u.
4
Let o be (46/(-8))/((-3)/12). Solve 3*c - 4*h - o = 0, 3*c + 2*h = h + 13 for c.
5
Let h be (-32)/(-5) + 10/(-25). Let u be 6*1*(-2)/3. Let m(j) = j**2 + 2*j - 5. Let c be m(u). Solve c*s - h = -r + 2*s, 5*s = r for r.
5
Suppose 0 = 4*j - 0*j - 4. Let r be j*(2 - (-1 + 3)). Suppose 0 = l + 5*h - 5, -5*h + 8*h = r. Solve 14 = -c + l*y, -2*y + 3*y - 5 = -2*c for c.
1
Suppose -3*g + 3*f = -3, 5*f - 3 = g - 0*f. Suppose 0 = 2*l - 12 - 86. Let s = l + -35. Solve 0 = -v + 3*v + g*h - s, 0 = 2*h - 6 for v.
4
Suppose m + 10 = -3*l, m + 20 = 6*m + l. Solve m*s - 2*x + 16 = 0, s + 3*x - x = 4 for s.
-2
Suppose 0 = -3*w + 2*m + 34, 4*m + 5 = -3. Solve 0 = -5*o - r + 13, -3*o + 3*r + w = -5 for o.
3
Suppose -5*r - 2*g + 23 = 0, 4*r - 7*g + 4 = -3*g. Solve -5*y = -5*f, 5*f - 3*y + y + r = 0 for f.
-1
Let z = 45 - 23. Let k be 1*(z + -3) - -1. Solve 2*v = -2*s + 2, 0 = 5*v + s - k - 1 for v.
5
Let g(l) = -l - 5. Let s be g(-5). Let q(t) = t**2 - 2*t + 3. Let w be q(3). Suppose -w = -3*y + y. Solve 2*c - 6 = 3*c - 2*a, s = -y*c + 3*a - 12 for c.
-2
Suppose -h - 1 = u, 2*u + h = -3*h - 4. Solve -4*a + 3 = -x - u, 5*x - 3*a = -15 for x.
-3
Let u = 7 + -3. Solve f + 5 = 2*w - 0*f, u*w = 4*f for w.
5
Let i(s) = s + 13. Suppose -4*z = -3*z + 9. Let r be i(z). Solve r*k + 2*p = p - 3, -4*p + 10 = 5*k for k.
-2
Suppose -3*o = -3*x + 9, 2*x + 9 = -0*o - o. Let r = 4 + 1. Let z = o + r. Solve z = -2*a - 2*f + 3*f - 1, 4 = 4*f for a.
0
Let o be 6/(-10) + (-69)/(-15). Suppose 0 = -3*j + o*j + 3*i + 3, 0 = -2*j - 3*i - 3. Solve 4*r + 1 = s, 5*s + 2*r = -j*r + 27 for s.
5
Suppose 0*p = -4*p + 8. Let n be 4 + (p + 1 - 3). Solve d + n - 13 = -5*c, -4 = -4*c for d.
4
Let v = 29 + -42. Suppose 2*x - 5 = -11. Let g = x - v. Solve -g = -2*q, 3*w + 2*q + 0 = -5 for w.
-5
Suppose 0 = 5*u - 2*n + 10, -3*u + 3*n - 2 = 4. Let w = u + 2. Suppose w*f - 32 = -2*f. Solve 4*g + f = 4*t, -5*t + g + 20 = 3*g for t.
4
Let p = -76 - -108. Solve 4*r + 2 = -5*c + p, -5*r = -3*c - 19 for r.
5
Suppose 4*j + j = 0. Let g = 1 - 0. Solve 0 = i + 3*i + 3*c + g, j = -2*i + 4*c - 6 for i.
-1
Let i be 3 + -2 - 3*-1. Suppose i = 4*u - 56. Let t = -2 - -5. Solve t*o + u = -o + l, 2*o - l = -5 for o.
-5
Let r be (-1 - -4)/(-3) + 4. Solve 24 = -5*t - j, 25 = -4*t - r*j + 8 for t.
-5
Let v be 0*(3 + (-14)/4). Suppose v*r + r = 0. Solve r*u - u = -2*l + 8, -5*u = 5*l - 20 for l.
4
Let q = -2 - 0. Let t = 9 + q. Suppose -t*w = -2*w - 25. Solve -20 = -w*m, 0 = 4*a - m - 18 + 2 for a.
5
Let h be (-4 - 0) + 2 - 0. Let i be ((-1 - 2) + 2)*h. Suppose 3*l = -l + 16. Solve 5*w = i*m + l, -2*m = 3*w + 3 + 1 for m.
-2
Let k(h) = h - 11. Let w be k(13). Let f be (2*4)/(4/22). Suppose u - 13 = -d, 4*d - 2*u - 2*u - f = 0. Solve w*b - m = -d, 5*m = b - 3*b + 12 for b.
-4
Suppose -5*c = -3*o - 42, 3*c - 5*o = -2*o + 30. Solve -4*t + 8 = 0, 3*w = w + t + c for w.
4
Let k be 12/18 + 8/6. Suppose 0 = -4*v - 8, -v = k*u - 12 - 4. Suppose -m = -u + 4. Solve 0 = -4*d + d + m*x - 11, -7 = 2*d - 3*x for d.
-2
Suppose 7 = -5*v - 8. Let c be v/9*1*-3. Let x = c + 1. Solve 2*a - 2*o = -x, 4*o = a + 2*a + 6 for a.
2
Suppose -2*d + 3*y + 6 = 2, 4*d + 2*y = 8. Solve 0 = 4*r + 12, -d*r - 9 = -4*l + l for l.
1
Let f be 15/9 - (-1)/3. Suppose 0*r - r = f. Let i be (5/r)/((-4)/8). Solve -3*m + i*x - 14 = 0, -5*m = -10*m - 3*x - 12 for m.
-3
Suppose 9*y - 13*y + 64 = 0. Let j be (y/28)/((-2)/(-7)). Solve 2*g - 2*t = -16, j*t - 16 = 3*g + t for g.
-4
Suppose -3*p + 6 + 3 = 0. Let y be (3/p)/(2/(-10)). Let v = y - -7. Solve 1 = -v*l + 5*g + 16, 2*g + 6 = -3*l for l.
0
Suppose 0 = 4*b - 6*b + 10. Suppose -4*x + 79 = 11. Solve 3*o + 2 + 1 = -w, b*w - x = o for w.
3
Let n(m) be the second derivative of m**4/12 - 2*m**3/3 - 4*m**2 + 2*m. Let f be n(6). Suppose 14 - f = 5*z. Solve 0 = -5*u + 3*v + 17, u + 0*v = z*v + 2 for u.
4
Let r be ((-18)/4)/((-1)/(-10)). Let b be (27/r)/((-2)/10). Solve -b*l + 1 = -5*w, w + 2*w + 15 = -3*l for l.
-3
Let m = -10 - -3. Let o = m + 12. Solve -5*a = -5, 0 = -3*b - o*a + 16 - 2 for b.
3
Let q be 1/2 - (-1)/2. Suppose 0*r + r + 3*i = -13, -i = 2*r + q. Solve 2*c + 10 = -2*u, 3*u = r*u for c.
-5
Let l = -5 + 7. Solve 2*p = -l*p + d + 5, -3*d - 5 = -2*p for p.
1
Let x be -1 + (-1)/3*-9. Solve 2*b = 5*c - 15, -5*b - x*c - 11 + 46 = 0 for b.
5
Let r = 6 + -4. Let f(j) = 5*j - 2 + 0*j - r*j. Let z be f(2). Solve z*m - 21 = -4*a + 5*m, -2*a = 2*m + 2 for a.
4
Let y = 3 - -1. Suppose -41 = -3*h + 2*t + 2*t, t - 23 = -y*h. Suppose 5 = 2*z - 2*s - 11, -4*s = 3*z + 4. Solve z*d = 2*a - 14, 2*a = 3*d + 4 + h for d.
-3
Let h(q) = -3*q**3 + q**2 - 6*q. Let t be h(-3). Suppose -5*k = k - t. Solve 2*m = -2*m - d + k, 4 = 2*d for m.
4
Let y(u) = -u**2 - u - 1. Let b be y(-1). Let r be (-18)/(-10) - b/5. Solve 4 + 14 = -5*i - r*z, -8 = 2*z for i.
-2
Let p(w) = -2*w**2 + 2*w + 1. Let q be p(2). Let l = q + 57. Suppose n + l = 4*n. Solve 0 = -2*c + 5*r - n, -4*c - 4*r + 19 = -1 for c.
1
Suppose 0 = 13*n - 5*n - 80. Solve d - n = r + r, d - 16 = 4*r for r.
-3
Suppose -6*t = -2*t - t. Solve t = 2*i + 4 - 14, 31 = -4*o + 3*i for o.
-4
Let u = 0 - 2. Let b be (-3)/(u/(-20)*-6). Solve 0 = b*p - 5*l, -3*p - 39 = 4*l - 4 for p.
-5
Let h = 0 - -3. Let v = -3 + h. Suppose 2*d - 2*g - 4 = 0, g + v = 5. Solve -3*i - 6 = -3*l, 2*i = d*i - 4*l + 11 for i.
-3
Suppose 3*j - 2 = 5*d, -2*j - 2*d - 3*d + 18 = 0. Solve -j*c - 2 = -2*k - 4, 0 = 5*k + 3*c + 5 for k.
-1
Let i be 1*((-30)/(-10))/(6/14). Let p = 6 - 4. Solve -w - 5 = p*n - n, w = 3*n + i for w.
-2
Let