+ 13, -a*x = -d*u + 7 for u.
-1
Suppose 16 = 3*u - 5. Solve 5*b = -j - 3, -2*j = 3*b + u - 1 for b.
0
Let p = 8 + -3. Suppose -p*f + 30 = 5*h, -27 = 2*f - 7*f - 2*h. Let d(a) = a**3 + 4*a**2 - 6. Let i be d(-2). Solve 0 = y - 2, 2*b + i*y = -b - f for b.
-3
Let g(w) = -2*w - 10. Suppose 4*m + 38 = 2*v, 3*v = -5*m + 6*m + 22. Let t be g(m). Solve -2*c - 2*r = -0*c + t, 5*c = 5*r + 10 for c.
0
Let x = 11 + -7. Let k = 40 + -36. Solve 4*v = 0, 0 = x*a + k*v + v + 16 for a.
-4
Let w = -166 - -170. Solve -s + 16 = 4*r, 2*s + 1 = w*r - r for s.
4
Suppose 3*a = 4*z - z + 3, -4*z - 3 = -3*a. Suppose z - 2 = -d. Suppose 0*l = -5*l + 20. Solve -10 = -4*j + l*t - d, 4*t + 26 = -5*j for j.
-2
Let i be (-6)/(-5)*(-30)/(-9). Solve 0 = i*t - s + 10, t - s + 7 = -3*s for t.
-3
Let k be 0/2 - 14/14. Let i(q) be the second derivative of -q**5/5 + q. Let p be i(k). Solve 4*t - 4*a - 36 = 0, -4*t - a - 3*a = -p for t.
5
Let m = -118 + 120. Solve 4*j - 2 = m*s, 0 = -0*s + 2*s - j - 7 for s.
5
Suppose -2*i + 27 = i. Let g = i - -3. Solve -3*r - 4*p = -g, -3*r + 5*r - 15 = -5*p for r.
0
Let g be (-2)/3 - (-15)/9. Let x be (-2 - g)*(1 - 2). Solve -x*q - 13 = 2*d, 5*d - 14 = 2*q + d for q.
-5
Suppose 4*r = 4*s + 36, 0*r + 3*r - 43 = 5*s. Let f = -6 - s. Let t(x) = x + 1. Let a be t(3). Solve -5*y + y = a*j - 24, -3*y + f*j + 13 = 0 for y.
5
Suppose 0 = 2*t + 4*d + 13 - 103, -4*t + 135 = -d. Suppose -t = -3*l - 8. Solve -l = -5*p + 2*r, p = 5*r + 11 - 0 for p.
1
Let t = 1 - -6. Solve -5*d - 2*k - 12 = 0, t = 3*k - 5 for d.
-4
Suppose -3*i = 2*f - 27 - 6, -4*i - 20 = 0. Solve 3*w + 3*h - f = 0, -4*w + 2*h + 12 = h for w.
4
Let g be (-2)/14 - (-354)/(-21). Let t = g - -22. Solve 1 = q, -4*q + q = -t*w + 12 for w.
3
Let t = -34 + 55. Solve -3*h = -0*h + 3*f - t, 11 = 2*h + f for h.
4
Let x be (-1)/(0 + (-2)/2). Solve 4*o - q = 5*o + x, 0 = o - q + 3 for o.
-2
Let v = 28 + -16. Suppose 10*h = v*h - 6. Solve h*m - 5*k - 26 = 0, m + 12 = 5*m - k for m.
2
Let y be -4*(-2)/((-24)/(-57)). Solve -g - y = -5*v - 8, 2*v = -4*g for g.
-1
Let b = -7 - -11. Solve 3*p = -o + 2 - b, -2*o - 4 = -4*p for o.
-2
Suppose 11 = 5*a - 9. Solve a*g + 3*l = -2, 5*g + l = 2*g - 4 for g.
-2
Suppose -3*v + 11 + 4 = 0. Suppose -5*t = -3*d - 25, 4*t + 3*d + 2 + v = 0. Solve -t*c - 4*l - 26 = 0, -2*c - 4*l + 7*l + 2 = 0 for c.
-5
Let v be ((-12)/(-16))/((-2)/(-8)). Let m(z) = -5 - v*z**3 - 2*z**3 + 4*z**3 + 3. Let d be m(-2). Solve o = -q, -d*q - 2*o - 9 = -q for q.
-3
Let z be 72/33 - (-12)/(-66). Solve 4*b + 29 = 5*l, 4*b + 0*b - z*l + 14 = 0 for b.
-1
Suppose 7*l - 22 = 9*l. Let n = 13 + l. Solve 2 = 3*i + 2*c, 3*c + c = -n*i + 4 for i.
0
Let c be (7 + -2 - -1)/(-1). Let s = 8 + c. Solve -4*d - 2*h - 12 = 0, -5*h = -4*d + 4 - s for d.
-2
Suppose 75 = 4*c - 0*j - 5*j, 55 = 3*c - 5*j. Let h = c + -14. Solve 2*p + 5*n - n = -h, 4*p + n = -5 for p.
-1
Let s be 1/(-4 + 174/44). Let y = s + 22. Solve a + 4*h + 16 = y, 8*a + 2*h = 3*a - 8 for a.
0
Let l be (-5)/((-10)/8) - -2. Solve 0 = p - 5*b - 12, -2*p + l*b = 3*b - 3 for p.
-3
Suppose m + 6 = -5*r + 17, -2*r + 6 = 2*m. Let a = 3 - r. Suppose -a = v - 5. Solve -t + 0*u + 1 = 2*u, 3*t + v*u - 5 = 0 for t.
3
Let q(p) = 3*p**3. Let w be q(1). Let c be (-5 + 3)/(2/(-4)). Let s be ((-8)/(-4))/(c/10). Solve s*a + 7 = w*f - 5, -1 = -2*f + a for f.
-1
Suppose -2*r - 20 = -3*r. Suppose -u + 3 + r = 0. Solve -4*p = -3*m - 14, 2*m = -2*m - 3*p + u for m.
2
Let t be -4 - ((-33)/3 - -2). Solve -t*p = r - 28 + 2, -5*p = 3*r - 28 for p.
5
Let m(l) = -l - 8. Let j be m(-11). Solve -4*s + v = -j, 3*v - 3 = -3*s + 3 for s.
1
Let r = 35 - 33. Solve -4*q - 2*y = 8, 2*q + r*y = -y + 4 for q.
-4
Let i be (-12)/(-54) + (-4)/18. Solve 4*w + 4*b - 5*b + 11 = i, 5*w = 3*b - 5 for w.
-4
Let d = -11 + 18. Suppose 3*g = -d - 5. Let k = g - -7. Solve 2*w + 4*n = -k*w - 13, 3*w + 6 = -3*n for w.
-5
Let n be 12/(-8)*(-3 - -1). Suppose -n*r = -0*r. Suppose -5*o - 5 + 25 = r. Solve h + o*m - 8 = -3*h, 7 = h + 2*m for h.
-3
Let b(p) = -p**2 - 6*p + 3. Let m be b(-3). Solve 0 = n + 3, -5*n = r + m for r.
3
Let j be (8/(-10))/((-1)/10). Let b = -8 + j. Suppose 2*f = 4*f - 64. Solve 7*w - 3*w + f = 4*c, w + 3*c - 4 = b for w.
-5
Let d(x) = -x**2 + 7*x + 16. Let a be d(8). Solve m - 5*u = 17 + a, 4*u = 2*m - 26 for m.
5
Let s = 0 + -1. Let r be (s/2)/((-3)/42). Let w = -4 + r. Solve 0 = -2*c + w*k + 11, -c = c + 5*k + 13 for c.
1
Suppose -14*p = -12*p. Solve -2*s - 2*h = -3*h, p = -5*s + 4*h for s.
0
Suppose -5*q - 5*h + 21 + 4 = 0, q + 4*h - 11 = 0. Solve -3*a + b = 0, -q*b = 3 + 6 for a.
-1
Let d be (-162)/(-39) + (16/(-26))/4. Suppose -k + 0*k = 0. Solve 5*b + 2*t + 2 = k, d*t = -b + 10 + 4 for b.
-2
Suppose 0 = 2*q + k - 10, k = q + 2*q - 10. Suppose 4 = -q*f + 20. Solve 0 = 5*b + f*m - 3 - 5, 15 = -5*m for b.
4
Suppose -2*o - 11 = -k - 34, 2*k - 10 = 0. Solve -2*t = 3*v, v - 2*t = 2*t - o for v.
-2
Let a be -1*2 + (-4 - -1). Let h = -1 - a. Suppose -3*u = 3*l + 5 + h, -3 = l. Solve -2*g + 1 + 1 = 4*p, -2*p = u for g.
1
Suppose -2*y = -3*f - 7 + 9, -2*y = 2. Solve -2*v - 5*r + f*r = 27, 5*v - 2*r = 5 for v.
-1
Suppose 3*w - 5*a = 2*w + 2, 2*w - 4 = -3*a. Solve w*j + 8 = 4*h, -2*h + 11 = h + j for h.
3
Suppose 5*q - q = 52. Let o = -8 + q. Solve -o*b = -a - b + 13, -2*b = 4*a + 20 for a.
-3
Let w(j) = 9*j + 3. Let s be w(3). Let f = -13 + 7. Let q = -6 - f. Solve 0 = -5*b - 2*t + s, q = -5*b + 2*t + 2*t for b.
4
Suppose 4*j = d - 2, 0 = -5*d - 3*j - 6 + 16. Solve -d*a - m + 13 = 5, 0 = a + 3*m + 1 for a.
5
Let j(n) = -n + 8. Let s be j(6). Let b be (-1)/s*2*-24. Solve -4*i = -4*l - b, 7 + 2 = 3*i for l.
-3
Suppose 4*b + 30 = -b. Let o(p) = -p + 5. Let d be o(4). Let h be (-1 - d)*b/4. Solve -h*c - 4*n + 0 - 6 = 0, -2*n = -4*c - 8 for c.
-2
Let h(u) = -u + 8. Let w be h(-5). Let t = -4 + 7. Let k(g) = -g + 12. Let s be k(-8). Solve 0 = -x + 6*x - s, t*y - 4*x + w = 0 for y.
1
Suppose 4*a - 7*a = 0. Solve 5*p = -2*y - a*y - 12, p = 4*y - 20 for p.
-4
Let w = 14 + -10. Let h(z) = w*z + 10*z**2 - 5*z - 2 + 0*z**3 + z**3. Let g be h(-10). Solve -r = -4*l + 4*r + g, 3*l - 3 = 3*r for l.
-3
Let z(w) = -w - 7. Let s be z(-10). Solve -4*p = -s*y + 12, -y - 2*p + 1 + 3 = 0 for y.
4
Suppose 2*n = 2, 3 = -4*b + 2*n - 3. Suppose -16 = -11*m + 3*m. Let y = m - b. Solve -2*z + y*a - 6 = -3*z, 4*z = -4*a + 16 for z.
3
Let o(n) = 2*n**2 + 3*n + 2. Let s be o(-2). Let k be ((-2)/s)/(2/(-12)). Solve 4*x = -5*b - 22, -3*b = k + 3 for x.
-3
Let h = -1 - -3. Suppose 3*r - h = 4. Suppose -1 = -2*m + r*t - 3, -m = -3*t + 11. Solve 4*n - 16 = -0*n, n = -4*q + m for q.
0
Let k = 10 - 5. Solve -z + 15 = 4*p, -5 = -2*p - k*z + 2*z for p.
4
Let p = 53 - 53. Solve 4*k = r + 16, p = 2*k - 4*k + 4*r - 6 for k.
5
Let m(h) = h**3 - 6*h**2 + 6*h - 4. Suppose 0 = -v - 12 + 8. Let f be 47/9 + v/18. Let l be m(f). Solve -5*k + b + 25 = 0, 2*b + l + 9 = 0 for k.
4
Let p(c) = c**2 - 6*c + 7. Let r be p(5). Solve r*i = 3*v + 5, -4*i + 2*v = 2 - 0 for i.
-2
Let d = -50 - -52. Solve 4*z = d*l + 2, z - 4*l - 7 = -3 for z.
0
Let v(u) = -2*u - 2. Let f be v(-2). Let s = -4 - -5. Solve -7 = -c - f*r, r = 2*c + s - 10 for c.
5
Suppose 2 = -4*o + 14. Suppose 4*a + 4 = 2*k - 4, -4*a + 4*k = 16. Let p = 0 - a. Solve p = 4*n + 4*m, -o*m + 7*m = 0 for n.
0
Suppose -3*r = 2*l, -2*r = 2*l - 6*l. Solve f - 4 = 0, 2*j = 4*f - r*f - 24 for j.
-4
Suppose -2*b = -14 - 24. Solve -2*w - 8 = -2*f, -2*w + b = -4*f - 5*w for f.
-1
Let z be 12 + (-20)/2 + 5. Solve -r - 5*t = -3*t - z, -4*t = -4*r + 4 for r.
3
Suppose -j = 4*j - 100. Suppose -20 = 4*p + 5*l, -2*p - 2*p + 5*l = -j. Suppose p*a = 3*a - 9. Solve -2*f = b - 2 - a, -5*f - 2*b = -14 for f.
4
Let h(d) = -d**3 - 4*d**2 - d + 2. Let s be h(-3). Let x = s + -1. Let c(g) = g + 7. Let q be c(x). Solve -5*b - i + q*i = -16, -3*b + 7 = 2*i for b.
3
Let s(c) = 4*c**3 + c**2 - c. Let a be s(1). Suppose -u = 4*v + u - a, 2*u - 7 = -5*v. Solve -l + 5 = 3*r, -r - r + v = l for l.
-1
Let y = -6 - -9. Suppose -4*k - y*a - 2*a + 31 = 0, -k + 4*a = 8. Solve k*o + l + 1 = 2, 4*o - 3*l = 13 for o.
1
Suppose q = 6 - 2. Suppose -4*k - k - q*s - 65 = 0, 2*s + 46 = -4*k. Let f = k + 17. Solve -4*g = -3*i - 5*g + f, 0 = i - 3*g - 16 for i.
4
Suppose 5*k - 15 = -3*o + 2, 3*k + 17 = 5*o. Let s = 3 - k. Suppose j 