 5*h + 13 = -142. Let z = o - i. Solve z*t = -3*c + 16, 2*t - 9 + 1 = -5*c for t.
4
Suppose 2*y - 39 = -y. Let o be 64/24 - 4/6. Suppose -b = 3*z - y, -b + 0 = -o*z + 2. Solve -2*c - 24 = -5*d, 0 = -c - c - 2*d + b for c.
-2
Let m(y) = -y**2 + 68*y - 372. Let u be m(62). Solve -4*c + u*c = v + 10, 0 = 2*c - 3*v - 2 for c.
-2
Suppose -32 = 2*z - 36. Suppose 2*k + 2 = z*g, 0 = -10*g + 11*g - 3. Solve 4*w + 3*r - 3 = 0, w = k*r - 0*r + 9 for w.
3
Suppose 0 = -2*g - 4*x + 28, 3*g - 6 = x + 1. Suppose 0 = t - 3*t - g. Let y be (6/(-4) - t)*10. Solve 3*b + 22 = -y*n + 8, -2*n = -2*b - 4 for b.
-3
Suppose -25*s = -21*s + 48. Let f be s/(-56)*-2*(-21)/3. Solve -5*n = -3*k - 22, -f*k + k + 2 = 0 for n.
5
Let x(p) = p**2 + 10*p - 4. Let h be x(-10). Let v be 1/(-2)*h - (-11 + 13). Solve i - 3*i - 4*j = -12, -5*i - 3*j + 2 = v for i.
-2
Let q be 12/(-18) + (-26)/(-3). Suppose -c - q = -s, -2*s + 0*s - 4*c - 2 = 0. Suppose 17*g = 16*g + 2. Solve 3*v + v + 3*n = 35, g*v - n - s = 0 for v.
5
Let p be (6 - 3/(-1))*(-40)/(-12). Solve 0 = -3*k + 3*a + p, 0 = -0*k - 2*k - 3*a - 5 for k.
5
Suppose x - d + 7 = 0, -4*x - 3*d - 2 = 5. Let b(s) = s**2 + 6*s + 3. Let k be b(x). Let l = 7 + k. Solve l*m = -4*a - 8, -a + 8 = -2*m - 4*a for m.
-4
Let a = -1001 - -1005. Let x = -13 - -34. Suppose 4*n - x = n. Solve -3 = -3*j, -a*j + j = m - n for m.
4
Suppose -d = 2*u + 4, 0*d = -u - 2*d + 1. Let j be (-1)/((4 + -11)/63). Let k = j - u. Solve 12 = 3*b, m + k = -0*b + 2*b for m.
-4
Suppose -4*k - 12 = 5*i, -k - 29 = 5*i - 11. Suppose k*w = -2*w + 20. Solve -2*o - 28 = -w*x, 5*x - 3*o + 7*o - 4 = 0 for x.
4
Let c(b) = 2*b - 6. Let o be c(4). Suppose 0 = -f - t + 4, 5*f - f + o*t = 24. Let i be (-2)/8 + 26/f. Solve i*j - 8 = -4*p - 1, 0 = -4*p + 4 for j.
1
Suppose -3*i - 3*k + 44 = 8, -21 = -4*i + 5*k. Let x = i + -8. Suppose 0 = -r + 2 + x. Solve 2*m = g + 5, -r*g = m - 0*g - 13 for m.
4
Let s(r) be the first derivative of -r**3/3 + 4*r**2 - 12*r - 7. Let c be s(5). Solve -2*w + 8 = -3*t, -w - 4*t - c - 4 = 0 for w.
1
Let t = 9 - 4. Suppose -t = -n + 5. Solve 3*p = -5*a + n, -a - 2 + 4 = p for p.
0
Suppose -5*r = -t - 22, -2*r - 3*t - 2 = -4. Solve 5*b + 2*g = g + 3, -r*b + 5*g + 14 = 0 for b.
1
Suppose 6*s - 8 = 2*s + 5*x, 0 = -4*x. Solve -2*d + l - 3 = -4*l, 13 = -s*d - 5*l for d.
-4
Let l = 32 + -28. Let m = -4 + 3. Let p be (8 + -8)/(2/m). Solve -3*q + 2*g + 4 + p = 0, 0 = -2*q - l*g + 8 for q.
2
Let s = -118 + 121. Let d(g) = 12*g - 34. Let b be d(s). Solve -b*v = -6 - 2, 5*v - 24 = 4*l for l.
-1
Suppose -46 = -4*j + 26. Let s = j - 16. Suppose m = -s*m + 93. Solve 3*d - 5*t - m = 0, 5*d + 2 = -t + 7 for d.
2
Suppose 1 + 94 = 5*k. Let p = k + -16. Solve 0 = -4*m - 7 - 9, -p*g - 4*m = 22 for g.
-2
Suppose -8*n + 104 - 80 = 0. Solve 0 = 2*m - n*d + 26 - 11, m - 10 = -2*d for m.
0
Suppose 5*h = -2*m - 3*m + 10, -2*h - 5*m + 4 = 0. Let b(r) = r - 3. Let q be b(8). Suppose q = p + h. Solve -5*v + 19 = 3*d, 3*d - 5 - 10 = -p*v for d.
3
Suppose -4 + 18 = 5*c - 2*z, -2*c + 4*z = 4. Suppose 0 = -3*d + 3*o + 49 + 26, 0 = 5*d + 4*o - 143. Solve -u + 12 = 2*x - 3*u, c*x - d = 5*u for x.
3
Suppose 4*l - 25 = -9. Solve 6*h - 5*j = 2*h + 31, l*h = 2*j + 22 for h.
4
Suppose -8*c - 2 = -9*c. Solve -3*y + s - 10 = c*s, -y - 6 = -s for y.
-4
Let q = 371 - 368. Let v(h) = 2*h**2. Suppose -5*a = -p + 16, 2*p = 3*a - 1 + 12. Let y be v(p). Solve 1 = q*n - 3*z + 7, 4*z - 14 = y*n for n.
3
Let x = 14 - 9. Let y = 20 - 9. Solve 2*n = n + 4*g + y, x*n - 5*g - 10 = 0 for n.
-1
Let t = 0 + 0. Suppose 10 = q + w, 0*w = -2*q + 2*w. Let j be -1 + t - (-1 - q). Solve 2*n + 4*i = 0, n = j*n - 5*i + 13 for n.
-2
Suppose 0 = -0*w + 3*w - 90. Suppose w = 4*m - 6. Suppose c = 4*c - m. Solve 2 = -n, -4*n + 5*n = p + c for p.
-5
Suppose -12 + 16 = 4*a. Solve 2*b + 14 = -4*v, 4*b = 5*v - 3 + a for b.
-3
Let a be (8/10)/((-6)/(-75)). Let m be 46/a - (-6)/(-10). Suppose -7 = -5*r + m*r. Solve -2*b + 14 = -4*n, -10 = 5*b + 3*n + r for b.
-1
Let r(v) = v**3 + 5*v**2 - 6*v. Let w be r(-6). Let n be 6749/794*2/1. Solve 2*q = -2*u + 14, 2*u = -w*u - 3*q + n for u.
4
Let m(g) = -42*g + 591. Let i be m(14). Solve -4*f - 4 = -i*n + 4, 0 = -2*n - f + 9 for n.
4
Let v = -609 + 612. Solve v*n + 7*d - 3*d = -7, 2*d = -2*n - 2 for n.
3
Suppose 0 = 5*h - 3*h - 34. Suppose -29 = -3*f + 5*x, h = -4*x + 1. Suppose f*y = y + 6. Solve -5*r + 14 = y*l - 11, 3*r - 15 = -2*l for r.
5
Suppose 10 = 2*u - 2*s, 2*s - s + 3 = 0. Suppose -p = -5*x + 4*x + 2, -3*p + u = x. Let m be (-1)/(x/2) + 3. Solve -o = -m*r - 9, -2*o = 5*r - 0*o + 9 for r.
-3
Let h be 0 + ((-7)/(-14))/(2/60). Let d(i) = i + 2. Let q be d(0). Suppose -q*a = a - h. Solve 0 = -m - 3*m - 8, -4 = a*w - 3*m for w.
-2
Let t = -29 - -29. Suppose t*m - 12 = -3*m + 3*i, -4*i + 4 = 0. Suppose 4*f + 0*f = -j + 4, -j = -5*f + m. Solve -3*w - 4*b = 14, j = -2*w + w - b - 3 for w.
2
Suppose -3*x + 51 = 3*i, 4*x - 45 = 2*i + 35. Suppose x*a - 20*a + 4 = 0. Solve -3*w - w + 8 = 4*g, 5*w + a*g = 8 for w.
0
Let w(c) be the third derivative of -c**4/24 - 7*c**3/3 - 5*c**2. Let q be w(-12). Let k be 14/2 - (q - -4). Solve k*m - 4 = -5*v + 6, -4*m = 8 for v.
4
Let m(u) = -5*u - 3. Let s be m(-3). Let a(r) = -r**2 + 12*r. Let o be a(s). Suppose o*n + 2*n - 24 = 0. Solve -4*v - w - 2 = -6, 3*w - n = 0 for v.
0
Let b = 193 - 189. Suppose b*y = 3*y + 5. Let u be -1*3*(-1)/3. Solve 0 = o - 2*v - u, -y*o - 5*v - 3 = 7 for o.
-1
Let p(u) = -u**3 + 20*u**2 - 17*u - 28. Let a be p(19). Solve z + a = -3*q - 3*z, q + 3*z = -5 for q.
-2
Let y = 46 - 32. Let j be ((-12)/9)/(y/(-21)). Solve j*m - 3*m = -3*b, -5*m = -2*b for b.
0
Suppose -t + 10*t = 18. Let m be ((4 - 2) + 0)/1. Solve -m*h + 9 = v, 2*v + t = -0*h + h for v.
1
Let m = 44 + -29. Let f be 20*(m/(-20))/(-3). Solve 0 = -5*h - 0*n + 5*n - 5, -f = 3*h - n for h.
-2
Let k(u) = -u**2 - 11*u + 5. Let y be k(-10). Let q be (12/y)/(-2) + 2/5. Solve -5*f + 7 = -3*v - 12, q = v + 4*f - 5 for v.
-3
Let x(t) = 2*t**2 + t. Let o be x(-1). Let n be 0*4/(-12)*3*o. Solve 0 = 4*l - 16, q + 5*l - 10 - 14 = n for q.
4
Let o = -32 + 36. Suppose -d - 2 + o = 0. Solve y - 2 + 1 = -d*i, -7 = -2*y + i for y.
3
Suppose 0 = -m - 2*n - 3*n + 24, 2*m + n - 12 = 0. Let p be 4 - (3 + -4 - -9). Let v be -1*2/p*48/2. Solve -3*t + o - 4*o = -18, m*o = 2*t + v for t.
2
Let g = -3 - -6. Let x = 203 + -201. Solve -g*h = -3*z - 5*h + 4, -x = z - h for z.
0
Suppose -2*r = -4*r + 12. Let a(z) = -5*z + 33. Let w be a(r). Solve 5*h - p = 9, -5*p + 12 = w*h + 1 for h.
2
Let x be ((-5)/10)/((-2)/12). Solve 0 = h - 2, -x*d - 2*d = 5*h + 10 for d.
-4
Let o = -48 - -52. Suppose -7*t = o*t. Solve 4*p = -c - 5 - 13, t = -3*c - 4*p - 22 for c.
-2
Suppose -21*y + 11 = -31. Solve 3*s = -2*p - 18, -y*p - 2 + 0 = -s for p.
-3
Let k be 10/15*-15*22/(-55). Solve 4 = -k*m - 4*h, 1 = -4*m + h + 7 for m.
1
Let i = 169 + -97. Let h = i - 68. Solve -5*x - h*a - 2 - 3 = 0, 0 = 4*x + 5*a + 4 for x.
-1
Let y(a) = a**2 + 57*a + 312. Let p be y(-6). Solve -5*z + 18 = -d, -5*z + 2*z - p = 5*d for d.
-3
Let u be ((-25)/(-4))/(7/28). Solve 4*g = 5*z - u, g + 2*z - 10 = -0*z for g.
0
Let l(f) be the first derivative of 2*f**3/3 - 13*f**2/2 - 3*f + 2. Let m be l(7). Solve m*j - 9 = 4*q - 1, -16 = -5*j - q for j.
3
Let s = 23 + -39. Let t = s + 20. Solve t = -2*x - 2*j, -3*x + j - 13 - 5 = 0 for x.
-5
Let q(c) be the first derivative of -c**2/2 + 3*c - 17. Let f be q(-13). Solve -4*a = g + 21, a - 4*a = g + f for a.
-5
Suppose 103*a - 16 = 99*a. Solve -3*i = 2*f + 8, -6*f - a*i - 12 = -2*f for f.
-1
Suppose -2*u + 9 = -11. Let f = u + -5. Solve -14 = 3*n - 5*o, -3*o - 1 + 3 = -f*n for n.
2
Let o = 11 - -36. Let h = o - 40. Solve -t + 3*z = 0, -2*z = -h*z - 5 for t.
-3
Let g(j) = j - 44. Let x be g(49). Solve -2*c = -3*d - x*c + 21, -5*d + 33 = 4*c for d.
5
Let z = -359 + 376. Solve 5*k + 23 = 5*n - z, 3*k + 2*n = -4 for k.
-4
Let r = -15 + 18. Suppose 2 = -g - x, -r*x - 20 = -4*g + 7. Solve 4*j = -g*f + 23, 2*f - 4 = -2*f for j.
5
Suppose 5*s - 61 = -2*u, 3*u - 2*u = s + 27. Let h(m) = -m**3 + 12*m**2 - m + 16. Let d be h(12). Solve 0 = 6*y - 4*y - 4, -u = 4*q - d*y for q.
-5
Suppose -2 = -3*s + 46. Suppose -3*m + j + 2 + 6 = 0, -5*j = -m - s. Solve 3*g = 3, -3*u + m*g - 2 = -g for u.
1
Let j(k) = -k**3