r a.
-4
Suppose 0 = -9*b + 6*b + 39. Solve 2*x - 24 = 4*a, 6*a - 3*a + x + b = 0 for a.
-5
Let i(f) = -f**3 + 4*f**2 + 2*f - 6. Let t be i(4). Let j = -11 - -16. Solve -j*c + 35 = t*u, 8 = c + 5*u - 22 for c.
5
Suppose 0*d + 25 = -5*d. Let n = -2 - d. Suppose -11 + 29 = n*t. Solve -2*y = -w - 4, -5*w - 4*y + y = -t for w.
0
Suppose -4*f - 12 = -76. Suppose 3*i - 2*y = f, 0 = -6*i + i - y + 5. Solve -o = -i*a - 5, 2*a = -2*a - 5*o - 17 for a.
-3
Let s = -8 + 9. Suppose -4*f - s + 17 = 0. Solve a - 2 = -3*p, -f*p = -2*a - 2 + 6 for a.
2
Let m(x) = x**3 + 5*x**2 + 2*x - 5. Let i be m(-4). Suppose 0*k + 30 = i*k. Solve n - 3*c = -c, 4*n = -2*c + k for n.
2
Let b be 4/(-2 + 70/25). Solve -y - 3*y = c + 25, 4*c + b*y + 45 = 0 for c.
-5
Let x be 13 + 2 + (-4)/2. Solve u = -u - n + x, -17 = -u - 4*n for u.
5
Let b(v) = -v**2 - 5*v + 2. Let f be b(-5). Let x(d) be the first derivative of -d**2/2 + 7*d - 1. Let i be x(3). Solve 2 = i*c + f*z + 4, 4 = c + 5*z for c.
-1
Let c be 2 - 0/(2/(-1)). Suppose -3*n + 3 = 0, 3*t - 4 = 2*t - c*n. Solve -3*d + 2*x - 7 = 0, -2*d + 3 = -d + t*x for d.
-1
Let u be 3*((-4)/3)/2. Let g(r) be the third derivative of -r**6/120 - r**5/30 - r**4/24 + r**3/3 - r**2. Let x be g(u). Solve -2*a - q - x = q, 4*q = 12 for a.
-5
Suppose -w + 0*w = 0. Solve 5*l = -w*l - 3*u - 5, l + 19 = 3*u for l.
-4
Let l be -2 + (-6)/((-1)/(-1)). Let q be ((-5)/(-4))/((-2)/l). Suppose -2 = -q*k + 8. Solve 0 = 2*p - r, 3*p = -k*p - 4*r for p.
0
Let n = 34 + -10. Solve -3*y + n = 5*l, -1 + 7 = 5*y - 3*l for y.
3
Suppose 5*b = -3*f + 58, 0 = -f - 0*b + 3*b - 4. Solve -i - 5*u + f = 0, 4*u = -4*i - 4 + 16 for i.
1
Let d = 0 - 3. Let k = d + 8. Let q(h) = 3*h**2 + 3*h - 2. Let z be q(-3). Solve 5*i = k*u + 2*i + 12, i + z = -5*u for u.
-3
Let u = -1 + 13. Suppose -3*c - 13 = 2*g - 7*g, u = 4*g - 2*c. Suppose -y = -g*y + 8. Solve -v + s = 3 + y, -v - 4*s = -10 for v.
-2
Let i be (-39)/9 - 2/(-6). Let t = i - -8. Suppose -11 - 17 = -o. Solve -4*a - 2*w - 12 = -0*w, -5*a + t*w = o for a.
-4
Suppose -31 = 2*z - 35. Solve z*n + 3*n = 4*v + 11, 4*n + 4*v = 16 for n.
3
Let n = 33 + -13. Solve -12 = 4*w - 2*h, -6*h = -h + n for w.
-5
Let u(t) = 4 - 3*t + 13*t**2 - 3*t**2 - 9*t**2. Let j be u(2). Solve 0 = -2*n + j*z - 2, 0 = -2*n - 0*n - z + 1 for n.
0
Suppose 0*f = 3*v - 2*f - 254, -4*v - 2*f + 334 = 0. Suppose -v - 6 = -5*k. Suppose -4*l + k = 2. Solve -q + 20 = -5*s, -l*s + s = 15 for q.
-5
Let d be 1 - 1*(-1 + -1 + 0). Solve -2*t = -3*n - 9, -3*n - 4 = -d*t + 5 for t.
0
Suppose 6 = 3*k, 5*k - 6 = -a + 4. Let i = -2 + a. Let n be (-2)/2 - i*3. Solve 0 = 5*u - n*c - 45, -4*u + 8*c = 5*c - 32 for u.
5
Let y(l) = -l + 24. Let j be y(11). Solve -h + j = 3*f, -17 = -3*f - h - h for f.
3
Let v be 2/(-6)*(2 + 1). Let n = 4 + v. Let t = 5 - 2. Solve 0*f + 14 = -o + n*f, 0 = 4*o + t*f - 19 for o.
1
Let a(v) be the third derivative of v**5/60 - v**4/24 + v**3/2 - 3*v**2. Let j be a(0). Let d = -3 - -7. Solve -3*x = -5*s - 11, 3*x - d*s + j*s + 5 = 0 for x.
-3
Let d(c) = c**3 + 5*c**2 + c - 8. Let s be d(-4). Solve 3*w = s*b + 3, -1 = 2*b - 2*w + 3 for b.
3
Let u be ((-49)/(-14))/(1/6). Solve 0 = -0*c - 3*c + 3*b + u, 2*c = b + 11 for c.
4
Suppose 3*b - 25 = 2*t - t, -b - 5 = 3*t. Let n = -3 + b. Let f = 1 + n. Solve -3*v + f*k + 12 - 47 = 0, 3*v = -2*k - 7 for v.
-5
Let a(h) = 3*h - 1. Suppose -2 = -q - 0. Let l be a(q). Solve -l*u + 2*x + 2*x - 1 = 0, 3*u = -x - 4 for u.
-1
Let d = -2 + 6. Suppose 0*r + 5*c + 32 = -d*r, 4*c = -r - 19. Let a be (r/2)/((-12)/16). Solve 16 = -4*z, -a*z = 3*p - 3 - 1 for p.
4
Suppose 6 = -a + 2*y, 5*y = -a + 5 + 10. Suppose a = 2*b - 5*b + 9. Solve -2*n - x - 7 = 0, b*n + x + 1 = -9 for n.
-3
Let y be (-3 + 100/12)*3. Let m(s) = -s**3 - 3*s**2 - s + 1. Let r be m(-3). Let a be 1*1/((-2)/(-4)). Solve -3*u + 10 = i + 27, 0 = -a*i + r*u + y for i.
-2
Let c(i) = -i + 0*i - 13*i**3 + 15*i**3 + 2*i**2. Let a be c(1). Solve 0 = a*m + 1 - 7, -3*n - 8 = -m for n.
-2
Let l(w) = 2*w - 3. Let j be 2/(-6)*-3 - -4. Let y be l(j). Suppose -2*u = -u - 5*n + y, 5*u + 2*n = 19. Solve 2*d + u*d + s = 21, 0 = 2*d + 3*s + 2 for d.
5
Let h(c) = -3*c - 2. Let w be h(-2). Let q = -16 - -24. Suppose -3*a + q = 2. Solve 2*p = w*t + 12, -5*t = -0*p - a*p + 15 for t.
-3
Let q(s) = -s**3 + 5*s**2 + 4*s - 8. Let f be q(6). Let r be (-12)/(-10)*f/(-6). Let u(c) = 9*c - 25. Let m be u(3). Solve a + 21 = -r*k, m - 3 = k - 4*a for k.
-5
Let b(m) = m**3 + 5*m**2 - m - 2. Let f be b(-5). Solve -4*g - 1 = -3*y + 7, g = -f*y - 2 for y.
0
Let g(i) = -2*i**3 - i**2 + 2*i - 4. Let x be g(3). Let m = x + 35. Let n be -3 + 2 + -1 - m. Solve -4*l + 0*j = -2*j + n, j = -2*l - 8 for l.
-5
Suppose -5*c = -v - 167, -2*v - 302 = 4*c - 6*c. Let b be ((-84)/v)/(1/7). Solve 2*o - 5*w - 17 = 0, -b*o = -4*w - 15 - 1 for o.
1
Let g(p) be the third derivative of -p**4/12 - p**3/3 + 6*p**2. Let w be g(-1). Solve w = -4*c - 2*r - 6, 0 = 3*c - 6*r + 3*r for c.
-1
Let d(j) = j - 8. Let y be d(8). Solve 0 = -o - k - 4 - 4, y = -2*k - 6 for o.
-5
Let u = 7 - 3. Solve u*l + 2*b - 10 = -0*b, 16 = l - 4*b for l.
4
Let d(x) = 2*x - 9. Let t(z) = 4*z - 18. Let m(h) = 5*d(h) - 2*t(h). Let g be m(7). Solve 4*a + 3*j - 20 = j, -g*j = 5*a - 30 for a.
4
Let k be -1 + (2 - -2) - -9. Solve -3*i = -2*r + k, 2*i + i + 5*r = 9 for i.
-2
Suppose 15 = 3*o + 2*o, -2*y - 15 = -5*o. Solve 4*x + k + 13 = y, -3*x + k - 7 = -k for x.
-3
Let o(f) = 2*f**2 - 10*f - 10. Let n be o(6). Solve 5*p - n*i - 18 = 0, 0*p + p - 4*i = 0 for p.
4
Let s(w) = 5 + 2*w + 0*w - w. Let g be s(0). Solve -3*i = -2*m + 2, i + 5 = -0*i + g*m for i.
0
Let k = 17 + -13. Solve -3*u - f + 6 = 0, u + 10 + k = 5*f for u.
1
Suppose 2*i - 1 = 5. Suppose q = 6 + 2. Suppose -3*w = 3*u - 0*u - 18, -4*w + 15 = u. Solve -q*b + u*b - 5 = 3*x, -i*x = 2*b + 11 for x.
-5
Let a(n) = -2*n + 36. Let z be a(16). Solve 4*d + z = -3*w, -2*d - 2 = -4*w - 0 for w.
0
Suppose -7*w = -3*w + 5*l - 7, 0 = -2*w + l + 7. Let t = 4 - -1. Suppose -t*a - 3*i = 0, -3*i = -a + i. Solve -5*k + 10 = a, 0*g - w*g = 3*k + 9 for g.
-5
Suppose -4*k - o = -16, -2*o + 6*o + 4 = k. Let c(f) = -f**2 + 7*f - 4. Let j be c(k). Solve j*m - 3*m = 5*g + 10, -5*g = 2*m - 4 for g.
0
Suppose -5*u = -48 - 7. Let j(k) = -k + 16. Let c be j(2). Solve -2*a = 0, 5*y + u + c = 2*a for y.
-5
Let w = -20 + 56. Let b be -2*(2/(-2))/1. Solve 5*a = -4*k - w, 3*k = -k - b*a - 24 for k.
-4
Suppose -16 = -4*y, 5*o - 2*y - 4 = -3*y. Solve -4*h - 12 = r, -2*r = -o*r - h - 3 for r.
0
Suppose 2*y - 4*v + 28 = 7*y, -5*y = 3*v - 26. Suppose 0 = y*z + 9 - 29. Solve 7*t + 13 = z*o + 3*t, -t = -3 for o.
5
Suppose d + 2*c - 5 = 0, -5*d + 9 = -4*c - 2. Solve 4*l - 8 = 3*r, -l = r + d + 2 for l.
-1
Suppose -3*x + 19 = b, -3*x + 27 = x + 3*b. Let c be -2*(1 + (3 - x)). Solve 2 + c = 2*r + 5*q, 2*r - 6 = 2*q for r.
3
Let f = -40 + 43. Solve -4*y + 3*c + 2 = 0, 2*c = -f*y + 6*c + 5 for y.
-1
Let f(u) = -6*u + 2*u - 8 + 59. Let p(i) = -i + 17. Let a(j) = -2*f(j) + 7*p(j). Let c be a(0). Solve -x + 9 = -q + x, 0 = 5*q - 3*x + c for q.
-1
Let j(r) = -r**3 - 16*r**2 - 15*r + 4. Let k be j(-15). Solve 2*q - 12 - 10 = 4*l, -l = k for q.
3
Let j = -4 - -8. Suppose -3*w + j = -35. Suppose 0 = 2*l - l - 2*b - w, 8 = -2*b. Solve -3*z - 2*i = -6*z + 2, -3*i - l = -5*z for z.
4
Suppose -a = 4*a - 10. Suppose 14 = a*w + 4. Solve -r - 2*r + 2*b + 16 = 0, -4*r + w*b = -33 for r.
2
Suppose 0 = 4*w + 5*d - 26, 6 = -2*w - 4*d + 22. Solve -k + 8 = -5*t - 15, 3*k + 26 = -w*t for k.
-2
Let m(u) = 2*u + 3. Let z be m(3). Let s(j) = 9*j - 7*j - j + z. Let b be s(-5). Solve -5*g + 11 = a, 6*a - 2*a - b = 0 for g.
2
Let m(t) = -t**2 - 5*t - 1. Let q be m(-4). Suppose q - 13 = -5*c. Let z be 0 + (-1 - -3)/2. Solve z = 5*r + n - c, -12 = 2*r - 4*n for r.
0
Let c(u) = 2*u - u + 13 + 7. Let m be c(-16). Solve 0 = m*i - 5*z - 11 - 5, 3*z + 7 = 5*i for i.
-1
Let m = 29 - 23. Let k(w) = 2*w - 8. Let t be k(m). Solve 3*l + l - 16 = t*b, 26 = -l - 5*b for l.
-1
Let n(o) = -o**2 - 7*o + 10. Let k be n(-8). Solve -2 = 4*f - k*w, 3*w + 1 + 2 = 0 for f.
-1
Suppose -p + 2*w - 8 = -2*w, 4*p - 3*w = 33. Solve 4*o - p = 5*z, 0 = 3*z - o + 4*o + 18 for z.
-4
Let x(v) = 9*v. Let g be x(1). Solve 5*i - 3*k + 14 = 0, 0 = 3*i - k - 3 + g for i.
-1
Let b = 1 + 1. Su