Let q(v) = v**2 + 10*v + 5. Let m be q(x). Solve 0 = 3*t - 3*b - 24, 14 = -3*b + m for t.
5
Suppose 0 = -5*b - q + 23, -3 = -0*b + 3*b - 5*q. Suppose 15 = p + b*p. Solve 2*i + 19 = p*k, -7*i = -2*i + 10 for k.
5
Let h(l) = l**3 + 5*l**2 - 3*l - 6. Let s be h(-5). Let u be ((-4)/(-6))/((-1)/s). Let i = u - -16. Solve -5*z = i, -5*v - 25 = z - 3 for v.
-4
Let t be -3*5/(-5) + -1. Solve -4*x - c - 5 = 7, -4*x = -t*c + 12 for x.
-3
Suppose l - 13 = -3*h, 5*l + 3*h - 2*h = 23. Suppose 4 = -4*t - 0*t - s, 2*t + l = -s. Let j(w) = w + 8. Let d be j(-7). Solve 5*r - d = -2*n + 3, -r = t for n.
2
Let p be 93/18 - 1/6. Suppose s - 4*v - 36 = -3*s, -2*s + 27 = -p*v. Solve -2*m = -3*i + m - s, 8 = -4*m for i.
-4
Let s(b) = -2*b - 8 - 2*b + b + b. Let i be s(-5). Solve q + 2 + 3 = -i*w, -3*q = 3 for w.
-2
Let c = 53 + -50. Solve 4*k = 3*r + 6, k + c*r - 10 = 8*r for k.
0
Suppose -5*w - 3*o + 19 = 0, o = -2*w - 0*o + 8. Solve g + w*m - 13 = -0*g, -5*m = -15 for g.
-2
Let p(n) be the third derivative of n**4/24 + 6*n**2. Let y(d) = 2*d**3. Let t be y(1). Let q be p(t). Solve 0 = -4*s - 2*v - 22, -q*s + v = -0*v + 1 for s.
-3
Let u = 34 + -30. Solve -u*q + 5*m + 3 = 0, 4*q + 0*m + 21 = -3*m for q.
-3
Let t be 10/50 + 12/(-10). Let o be 1*10*t/(-2). Solve -2*q - 2 = -5*j, -o*j - 1 = -3*q + 1 for j.
2
Let x be 0 - -3 - (-111 - -6). Suppose 2*b = -2*b + x. Solve -u + 3*u - 23 = -5*c, 5*c = -3*u + b for c.
3
Let p be (216/(-81))/(4/(-6)). Solve -k - p*k - n + 5 = 0, 0 = 3*k - 5*n + 25 for k.
0
Let s be (-7)/((-3 + 1)/2). Let q = -14 - -14. Suppose 4*m - 12 = -4*j, q*j - 4*j + 26 = -3*m. Solve -20 = -j*d - c, 3*d - s*d - 5*c = 5 for d.
5
Let i = 16 + -10. Solve -i*s - 1 = 2*x - s, s - 4 = x for x.
-3
Let g = 4 - 3. Solve -2*m - 8 = -4*x - 6*m, -x - 2*m = g for x.
5
Let n = 0 + 1. Suppose 2*z + n = -2*o - 3*o, 1 = -z - 3*o. Suppose 16 = -2*j + 4*l, -z*l - 4 = 2*j - 12. Solve -1 = -4*q + 3*m, j = -0*q - 3*q - m - 9 for q.
-2
Suppose -4*g + 3*c - 7 = 2*c, 2*g + 2 = 2*c. Let d be (-11)/(-3) + g/(-6). Solve 0 = -d*k + 2*r - 3*r - 2, -2 = 5*k + r for k.
0
Suppose 4*h + 4*m - 138 = -38, -3*m = -12. Suppose -4*o + h = -5*i, o + 2*i - 3 + 1 = 0. Solve o*k - 14 = -3*f - 0*f, -5*k + 2*f = -6 for k.
2
Let a = 3 + 0. Let k be 3/a - -2 - 3. Solve -2*b = 5*l - 10, k*l = 2*b - 4*l - 10 for b.
5
Suppose -5*c = -4*c - 5, -4*o - 5*c = -33. Let b = -4 - o. Let f = 10 + b. Solve 1 = f*w + x - 14, 4*x - 21 = -3*w for w.
3
Let q be 2/4 - (-84)/8. Suppose -3*o = -q - 4. Suppose 5*l + 5*d = o - 0, d = 5*l - 17. Solve -l*p = 4*f - 2*p + 4, 0 = 2*f + 5*p - 16 for f.
-2
Let u(y) = y**3 - 9*y**2 - y + 13. Let f be u(9). Solve f*a - l - 4*l = 15, 0 = a + 4*l + 12 for a.
0
Let y(r) = 3*r**2 - 4*r - 1. Let i be y(3). Let o be (-4)/i - (-4)/14. Suppose o = 3*a + a - 12. Solve 0 = a*p + m + m - 8, 3*m - 12 = -5*p for p.
0
Suppose 2*p + 5 = 5*d, -d + 5*p + 3 = 2. Suppose 5*w + 5*g + 20 = 0, -g - 6 - 3 = -4*w. Let x = d + w. Solve -x*j + 14 = 2*m, -j = 5*m + j - 23 for m.
3
Let k(l) = l**2 - 1. Let t be k(0). Let x = 3 + t. Solve 3*z = x*u + 1, -2*z + 6*z + 4*u + 12 = 0 for z.
-1
Suppose 5*y - x - 248 = 0, 0 = x + 2 - 4. Suppose -17*n + y = -12*n. Solve 2*o + 4*z = -n, 0*o = 2*o - z - 5 for o.
1
Let w be (-1)/(-3) + 92/12. Suppose 4*v + 0*v - w = 0. Solve -7 - 8 = -z - v*j, -j = -z for z.
5
Let d be ((-96)/56)/(4/(-14)). Suppose 20 = -2*t + d*t. Solve -k + 2 = -2*p, -t*k + p + 5 = 4 for k.
0
Let q(z) be the third derivative of z**5/60 + 5*z**4/12 + 2*z**3 + z**2. Let k be q(-9). Solve -k*c + 5*j = 0, -c - 18 = 4*j - 1 for c.
-5
Suppose 0 = -3*x + 5*p + 17, -x + 4*p = -2*x. Solve -x*f + 4 = 7*u - 4*u, 14 = -5*f + u for f.
-2
Let t = 14 + -9. Let u be (12/(-1 - -4))/1. Solve u*n - 4*x = -0*n + 12, -t*n + 27 = x for n.
5
Let o = 2 - -2. Let f(h) = 3 - 3 - 7 - 3*h. Let u be f(-5). Solve 5*y + o*d + 27 = d, -4*y = -d + u for y.
-3
Let x be -1*(-3)/(-3)*7. Let p(d) = d**2 + 6*d + 4. Let n be p(x). Solve 3*g + 4 = 5*g, 5*s + 2*g = -n for s.
-3
Let q(f) = -2*f - 32. Let v be q(-16). Let h = -12 + 17. Solve 5*j - h*r + 10 = 0, -4*j + 5*r - 8 + 1 = v for j.
-3
Suppose 1 + 23 = 3*k + a, -2*a - 8 = -k. Let m be (3/(-4))/((-3)/k). Solve 0 = 5*r + 5, m*i - 12 = 7*i + 2*r for i.
-2
Let j(r) = r**2 + 8*r + 8. Let h be j(-7). Solve b + h - 2 = -5*w, -5*b - 23 = -3*w for b.
-4
Let o(n) = 9*n. Let h be o(-1). Let s be ((-6)/h)/((-2)/(-6)). Solve 5*x - f = x - 4, x = -s*f - 10 for x.
-2
Let u = -46 - -49. Solve -6*m + 5*c = -u*m - 31, -13 = -4*m + c for m.
2
Suppose 6*p - 52 = -16. Solve 0 = 4*j, p*r + 2*j = r - 5 for r.
-1
Suppose -4*j + 20 = -36. Let g = j + -12. Solve -v - 2*y - 7 = 0, 0 = 3*y - g*y + 2 for v.
-3
Let j(z) be the third derivative of z**4/24 - 2*z**3/3 - z**2. Let n be j(14). Solve -4*d - 19 = -2*k - 1, 0 = -5*d - n for k.
5
Let g = -11 - -15. Let w be (-12)/(-12)*(g + -1). Solve w*m + 3*i = 9, 0*i - 12 = -3*i for m.
-1
Suppose -q - 30 = -2*q. Solve f + 4*f + 20 = -5*p, 5*p + q = 5*f for f.
1
Let a be (1/(-2))/(2/(-24)). Suppose -x + 10 - a = 0. Solve -2*q - 3 = s, 5*q - x*s = 12 + 13 for q.
1
Let w be ((-6)/4)/(4/(-8)). Let g(m) = m - 3*m + w*m**2 + m**3 - 4 + 3. Let r be g(-3). Solve 2*s + j = 9, r = -2*j + 3 for s.
5
Let g = 5 - 0. Solve g*m - 10 = 0, 0 = -2*k + 3*k - 2*m + 2 for k.
2
Suppose 2*o + w - 3 = 0, w = -0*o + 3*o - 7. Solve -2*c - o*c = z - 3, -4*z - 12 = 4*c for z.
-5
Let t = -4 - 0. Let m be 2 - (-1)/2*t. Suppose g - 4 = -m*g. Solve 3*i + i = x + 8, -3*i - g*x = -25 for i.
3
Let a = -24 - -21. Let j be (-10)/(-1) + a + -2. Solve -m - 2*t - 15 = 3*t, -3*m = -j*t - 15 for m.
0
Suppose -12*l = 5*l. Solve 9 = 2*h - 5*v - l*v, 4*v = -2*h for h.
2
Let n(m) = -2*m**3 + m**2 + 3*m + 2. Let b be n(-1). Solve -3*t + 2*o = -18 + 4, 5*o + 16 = -b*t for t.
2
Suppose 2*j = 5*k - 2*k - 2, 5*j - 45 = -5*k. Solve 2*b - 2*u + 0*u - 4 = 0, -3*u - 30 = j*b for b.
-3
Let l(c) = -c**3 - 4*c + 5. Let v be l(0). Solve -v*i - 2*z = 33, -i + 6 = -2*z + 3 for i.
-5
Suppose -4*k = 6 + 14, d + k = -2. Let g be 1 + 3 + (-3)/d. Suppose 2*m - 8 = -j, -8*j = -m - g*j + 15. Solve -4*a + 4 = m*b - 6*a, -2*a + 8 = b for b.
2
Suppose 3*b = 16 + 8. Suppose 0 = -2*j + b - 0. Solve 6*y = j*q + 2*y + 12, 4*q = -4*y + 28 for q.
2
Suppose -3*n = -2*o - 4*n, -o = n + 2. Let c be (5 + 33/(-9))*6/4. Solve 0 = 4*h - o*r + r + 1, -c*h + 2*r + 4 = 0 for h.
-1
Suppose 0 = -2*t + 5*u + 18, -2*u - u = 4*t - 10. Suppose 0 = 2*s + a + 1, -2*s - 14 = s + t*a. Solve -s*m - 2*j = -3*j, 5*j = 0 for m.
0
Let x be ((-80)/(-12))/((-2)/(-21)). Let w be 2/(-6) + x/21. Solve w*r = -i + 2*i - 2, 0 = -2*r - 3*i - 5 for r.
-1
Let f(z) = z + 1. Let a be f(-1). Suppose 4*s - 6*s + 14 = 0. Let m = a + s. Solve 12 = -4*h, -h = -5*q - 5*h - m for q.
1
Suppose 0 = 5*v - v. Let a = v - -5. Solve -5*h = -a*x, -2*h - 3*h - 8 = -x for x.
-2
Let k be 80/15*(-3)/(-2). Solve z + 13 = 3*b, 4*b + 3*z = 5 + k for b.
4
Let z(q) = q + 2 - 2. Let c be z(5). Suppose 19 = c*x + 4. Solve b + x*y - 12 = -2*b, 0 = -2*y + 6 for b.
1
Suppose z + z = 6. Suppose -n - n = 2. Let i be -9 - -7 - (-5 + n). Solve -3*a + 4*s - 1 = z, -12 = -i*a + s for a.
4
Suppose 3*f + 1 = -2, 8 = o - f. Solve -4*c - 3*z + 6 = 0, 0 = 6*c - 3*c + z - o for c.
3
Let s = -1 - 104. Let i be s/(-14) - 1/2. Solve -2*a + 2*n - 2 = 0, -i = -a + 7*n - 2*n for a.
-3
Let o be (-98 + 99)*(0 - 0). Let m be (-1 + -1)/(3/(-6)). Solve 2*x + 5 - 27 = -m*w, o = -2*w - 5*x + 15 for w.
5
Let k = 1 - -2. Let z = -5 - -3. Let j = 6 + z. Solve -f - j = -k*s + f, 0 = -4*s + f + 7 for s.
2
Let r(v) = -3*v - 4. Let o = -8 + 5. Let p be r(o). Suppose p - 1 = s. Solve -5*w = 25, 3*w = -4*u + s*w + 5 for u.
0
Let p(b) = -5*b**3 - b - 1. Let f be 4/14 + (-2)/7. Suppose 2*l - 13 = 4*c + c, -l + 3*c + 8 = f. Let j be p(l). Solve w + w + 8 = 2*g, 20 = -w + j*g for w.
0
Let w be 0 + 1 + (-3 - 0). Let a be (-1)/1*(2 + w). Suppose 2*f - 20 = -a*f. Solve 0 = 4*b + 4*g - 40, -2*g + 7*g = 3*b + f for b.
5
Let v be ((-8)/(-28))/2 + (-26)/(-14). Let r be 17/4 - (-2)/(-8). Solve v*t - 1 - 2 = o, -2*t - 22 = r*o for o.
-5
Let v = -43 + 48. Solve 8 = 4*b - 5*h, v*b = 5*h - 2 + 12 for b.
2
Let h(r) = r**2 - 5*r - 19. Let p be h(8). Solve -p*g + 2*t = -21, 4*t + 4 + 8 = 0 for g.
3
Let m(u) = -9. Let h(f) = -f - 36. Let a(t) = -2*h(t) + 9*m