 -1 = 2*c + 3*c + x for c.
-1
Let y(l) = 8*l**2 - l - 2. Let v(d) = 8*d**2 - 2. Let c(n) = 4*v(n) - 3*y(n). Let p be c(1). Solve -5*o - 5 = j - 32, -o - 2*j = -p for o.
5
Let v = 4 - 0. Suppose -3*z = -v*s - 21, -5*z + 2 = 3*s - 4. Solve -27 = -5*c - n - 3, 20 = z*c - 5*n for c.
5
Let t = -54 + 57. Solve -x + 5*o + 22 = 0, 5*x + o + 17 = -t for x.
-3
Suppose -6*k + 3*k + 9 = 0. Suppose -4*f + k*f + 3 = 0. Solve -8 = -4*i + 4*d, 5 = f*i - 2*d + 4 for i.
-3
Suppose 4*c + 44 - 8 = 0. Let p = c - -25. Suppose 0 = 4*d + 5*x - p, d = -d - x + 8. Solve 0 = -9*j + d*j - 5*h - 15, 0 = 3*h for j.
-3
Let i = 10 + 16. Let l = 28 - i. Let g be 1 - (l - -2)/4. Solve -2*d = -3*m + 14, 3*d + 5*m = -g*d - 2 for d.
-4
Let h(p) = p - 3. Let w be h(4). Let a = 21 + -11. Suppose -a*v + 12 = -7*v. Solve 0*c = -c - u + v, w = c + 4*u for c.
5
Let s = -962 - -973. Solve -2*a + a - s = 4*l, -2*a = 5*l + 16 for l.
-2
Let q be 18 + 32/12 + 2/6. Let s be q/(-6)*(-8)/14. Solve -15 = -l + 2*l - 5*g, -s*l - 15 = -5*g for l.
0
Let i(p) = p**2 + 4*p - 40. Let y be i(-9). Solve -c = y*o - 6 - 17, c + 1 = o for o.
4
Let a be (4/(-3))/(4*(-6)/72). Solve n + 2 = -2*j - a, 3*n + 6 = 0 for j.
-2
Suppose 25*k = 26*k - c - 4, -4*k = 3*c - 9. Solve -k = -2*o + 3*o, -4*b = -4*o - 28 for b.
4
Let w be (-10)/5*(3 - 5). Let c be w/10 - (-314)/(-10). Let b = c - -44. Solve 2*h - b = p, 0 = -h + 3*h - 10 for p.
-3
Suppose -14*z + 13*z - 8 = 0. Suppose -3 + 39 = 2*x + k, -5*x = 3*k - 92. Let j = z + x. Solve 11 = 4*n + 5*v, 5*n - v = -0*n - j for n.
-1
Let t be -1 - 1 - (11 - 11 - 5). Solve -t*g + 2*i + 9 = -2, g - 2*i = 9 for g.
1
Let y be (-14)/105 + (-186)/(-45). Solve -2*u + y*v - 2*v - 2 = 0, -4*v = -3*u - 7 for u.
3
Suppose 0 = 3*y - 3*s - 3, s - 3 + 13 = 4*y. Solve -4*x = -p + 10, 4*p + x + 2 = y*x for p.
-2
Let a be -15 + (-3 + 5 - -1). Let o be 339/a - (-2)/8. Let k be (o/(-16))/((-3)/(-12)). Solve 0 = 2*v + c + k, 0*v + 3*c - 3 = 2*v for v.
-3
Suppose 34 = 5*b + 14. Let m(l) = -10*l**2 + 5*l - 3. Let q be m(1). Let j be (-4 - q - 2)/(1/2). Solve -j*k = t - 11, b*t - t = k + 7 for k.
2
Suppose 0 = -0*o + o + 13. Let p = o - -14. Suppose 0 = -2*c + 7 + p. Solve -5*n = -20, 3*z + z + 4*n + c = 0 for z.
-5
Suppose 3*k - 4*k - 5*k = 0. Solve r = 3*c + 10, k = -2*c - 3*r - 15 + 1 for c.
-4
Suppose 0 = -2*r + 11 + 13. Suppose 11*t - 7*t - r = 0. Let j(u) = 4*u + 1. Let d be j(1). Solve -v + t*h - d*h = 0, -4*v + h + 9 = 0 for v.
2
Let j be ((-7)/2 + 3)/((-1)/10). Suppose 5*u = -j*p + 100, -6*p + 4*p = -2. Solve 3*s = -d - s + 21, -s = 3*d - u for d.
5
Suppose -16*i + 21*i = 0. Solve -2*s + 2*w - 10 = i, 0*w - 2 = -2*w for s.
-4
Suppose 2*f = 5*f + 6. Let o be 0 - (-9 - (0 + f)). Suppose -o*c = -4*c - 15. Solve -8 = -2*d - 3*l, -c*l + 9 = -d - 0*d for d.
1
Let c(u) = -u**2 + 26. Let g = -12 + 12. Let q be c(g). Solve t + 2*t + 22 = -5*n, 5*n = -4*t - q for t.
-4
Suppose 5*t + 38*t = 0. Solve 4*f - 16 = -2*p - 3*p, -3*p + 12 = t for f.
-1
Suppose -75*i + 15 = -72*i. Solve -4*f = i*v - 3*f + 26, -2*v - 5 = -5*f for v.
-5
Suppose -1 - 63 = 4*h. Let q(n) = n**2 + 16*n + 29. Let z be q(h). Solve -5*f - z = y + 3*y, 3*f = -3*y - 18 for y.
-1
Suppose -3 - 3 = -3*y. Solve q + 6 = 4*q, -y*q - 8 = 4*j for j.
-3
Suppose -z + 9 = 4*k, 2*z - 6*z + 2*k - 18 = 0. Let s = 4 - z. Solve -3*q - 16 = -4*t + s, -q = 2*t - 9 for q.
-1
Suppose 64*r = 62*r + 4. Suppose -i = r - 4. Suppose 0*f + 4 = f - 2*w, 0 = -w. Solve -a - 18 = f*x, a - 4 + i = x for a.
-2
Let y(w) = w**2 + 5*w - 9. Let q be y(-7). Solve 2*l = -2*l - 16, 2*m - q*l = 28 for m.
4
Let z(n) = -7*n + 58. Let l be z(8). Solve w - 4*w - 9 = -3*t, 2*t + l = -2*w for w.
-2
Let k(a) = 2*a**3 + 23*a**2 + 49*a + 39. Let w be k(-9). Let s = 22 + -16. Suppose -y = 2*y - s. Solve -y*l - 13 = -l - 5*i, 4*l + w*i - 17 = 0 for l.
2
Let s be (-52)/(-12) + 4/(-12). Suppose -7*i - s = -9*i. Suppose -13 = 3*t - 4*t - q, 54 = 3*t - i*q. Solve -4*c - 5*j = 25 - 7, 3*j = -5*c - t for c.
-2
Suppose -17 = -21*u + 88. Solve 4*j - u = w - 18, 5*j = -5*w - 35 for j.
-4
Let y(r) be the third derivative of r**4/8 - 3*r**3/2 - r**2. Let g be y(3). Let x be g*((-9)/3 - -2). Solve 4*b + 6 = 3*i - x*b, -2*b = 3*i + 12 for i.
-2
Let w be ((65/10)/(-13))/(3/(-18)). Solve -w*h - h - y = 9, -2*h + 8 = -2*y for h.
-1
Let t(m) = m**2 - 12*m + 31. Let j be t(3). Solve -4*k + 2*l + 0 - 8 = 0, -k = l - j for k.
0
Let p(x) = -x**3 - 6*x**2 - 3*x + 8. Let u be p(-6). Let z = 17 - 31. Let w = u + z. Solve o - 4*q - w = 0, -2*o + 6*q + 14 = 3*q for o.
4
Let v = -1800 - -1805. Solve -3*g + 9 = 0, 3*g + v = -4*z + 6*g for z.
1
Let k be 1/7*-2*(-42)/3. Let c be 42/6 + -1 + -1. Suppose g = -2*v + 11, v + 2*v + c*g - 34 = 0. Solve -2*m - t = 1, -v*m + 5 = -t - k*t for m.
0
Suppose 2*q - 14 = -2*z, 5 = -5*q - 533*z + 536*z. Solve q = 3*w - 4*w + 2*b, 0 = -5*w + 3*b + 4 for w.
2
Let w = -10 - -12. Let r(o) be the third derivative of o**6/120 + 7*o**5/60 + o**4/4 - 10*o**2. Let s be r(-6). Solve 2 = 3*x - 2*m - s, w*x - 4 = 2*m for x.
-2
Let x = -437 + 442. Solve 3 - 8 = 3*i - 4*k, 0 = -2*i + x*k - 8 for i.
1
Let a(i) = 20*i - 2. Let l be a(1). Suppose 0 = -c - 8*c + l. Solve -c*q = y, -3*y + 3*q = -y for y.
0
Let n = -9 - -18. Suppose 39 + n = 8*y. Solve 0 = -3*j - 3*r, 0 = 5*j - 2*r + y*r - 1 for j.
1
Let x = 12 - 5. Let f(i) be the second derivative of -i**3/6 + 11*i**2/2 + 17*i. Let b be f(8). Solve -b*a + 15 = 3*g, -x = 2*a - 5*a - g for a.
1
Suppose 2*q - 2*y - 16 = -0*q, -3*q + 4 = y. Suppose -q*t + 11 = -4*t. Let g = -6 - t. Solve -g*u - 4*o = 42 - 17, -4*o = u + 21 for u.
-1
Let w = 97 + -95. Solve -w*q = -s + 7, 5*s + 3*q = -7 + 3 for s.
1
Suppose -18*a + 7*a = 0. Let n = 2 + -4. Let j(k) = -k**2 - k + 2. Let u be j(n). Solve 0 = -3*w - 2*x + 16, u*w - 2*w + 4*x = a for w.
4
Suppose 0 = 3*b + 8 + 10. Let m = 7 - b. Suppose -3 = 2*a - 9. Solve 0 = 4*o - 2*o + f - 10, -f = a*o - m for o.
3
Let m(x) = x**2 - 7*x - 1. Let t be m(5). Let r be t/55 - (-82)/10. Let a(s) = -s + 13. Let o be a(r). Solve v + 30 = o*k, 5*v + 16 + 9 = 0 for k.
5
Let t = -250 - -254. Solve -20 = 5*m, 4*z = -3*m + 12 - t for z.
5
Let f(s) = s + 28. Let n be f(-23). Solve 3*a + 0*m + n*m - 32 = 0, -24 = -5*a - m for a.
4
Let b be 2 - 0 - 2 - (10 - 10). Suppose 11*m + 6*m = 34. Solve b = -u + 4*u - 3, -7 = -c - m*u for c.
5
Suppose -7*c + 108 = -60. Suppose -f + 10 = p, -3*f - p + 4*p = -c. Solve 3*o - 4 = -2*h + 1, 0 = 2*h - o - f for h.
4
Let p(a) = a**3 + 32*a**2 + 29*a - 54. Let j be p(-31). Solve -g - 3*d = j, 3*d - 20 = 5*g - 2*d for g.
-5
Suppose 2*x = -v + 21, 2*v - 7*v - 25 = -3*x. Solve 0 = -q - 5*i + x, -5*i + 13 = -2*q + 3 for q.
0
Suppose 3*l - 8 = 7. Suppose 2*a = a + l*p + 10, 4*a = 4*p + 88. Let b be a + 1 + -5 - -4. Solve -5*z + b = -5*t, 8 = 2*z - 4*t - 6 for z.
3
Suppose 0 = -4*j - 3 + 7. Let z(i) = -3 + 0*i + 0*i + i**2 - 2*i - j. Let k be z(4). Solve -16 = -k*x - u, 4*u = 3*x - 27 - 4 for x.
5
Suppose -2*j = 2*y - 6, 2*j - y - 7 - 2 = 0. Solve -4*v + 25 + 2 = -3*i, 0 = v - j*i - 23 for v.
3
Let r be (30/45)/(0 + (-2)/(-6)). Solve 5*f + 20 = 0, 0 = 3*i + r*f + 5 - 0 for i.
1
Let r = 8 - 4. Let t be 39/(-52) - (-35)/4. Suppose t*b + 9 = 11*b. Solve r*z - 7*p + 28 = -b*p, -4*z + p = 22 for z.
-5
Let l = -1190 + 1190. Solve x + 2*h - 6 = l, 2*h - 11 = 5*x + 19 for x.
-4
Let j = 585 + -581. Solve j*l = -v, 0*v = -2*v for l.
0
Let q(m) = -m**3 + 5*m**2 + 8*m - 9. Let k be q(6). Solve -2*g + 3*d + 2 = 0, 7*d - 2*d = -k*g + 22 for g.
4
Let c(z) = 4*z**3 - 40*z - 3*z**3 + 47*z + 2 - 2*z**3 - 3*z**2. Let b be c(-5). Solve -f - 2*u = 0, 1 = -3*f + 2*u + b for f.
4
Let u be -2 - (0 + 6)*-1. Suppose 3*i - 5*l + 3 = -11, -4*l + 6 = -5*i. Let s be ((u - 3) + -1)/i. Solve s = 5*t + a + 4 - 0, 1 = t + 2*a for t.
-1
Suppose -4*y + 50 = 2*c, -30 = -4*y + c + c. Suppose -7*o = -y*o + 6. Solve -3*b - 3*v = -9, 0*v = -4*b - o*v + 6 for b.
0
Suppose -9*f + 13 + 14 = 0. Let n be 25 - 2/(-3)*3. Suppose -5*d + 3*d = 8, -f*g + n = -3*d. Solve g*v - 15 = 5*x, 4*v + 4*x + 18 = 5*v for v.
-2
Suppose 2 + 4 = 3*i. Let y be 124/(-12) + i/6. Let d be 22/4 - y/(-20). Solve -d*p = -2*b - 21, 0 = -4*b + 7*b + 5*p - 6 for b.
-3
Suppose w = -4*d, -2*w - 3*d - 7 = -2*d. Let x be w/(-30) + 13/15. Solve -4*j = -3*r + 12, -x = j + 3*r + 2