-12) - (-5)/30. Solve 12 + s = 4*v for v.
5
Let y be 462/49 - (-6)/(-14). Let k be (-9)/((-4)/((-24)/y)). Let r be (-4)/k - 6/9. Solve 0 = -r*c + c - 1 for c.
1
Suppose 5*l - 23 = 12. Let z(m) = m**3 - 2*m**3 - 6*m**2 + l + m**3 - m**3 + 8*m. Let u be z(-7). Solve u = -2*t - 3 - 1 for t.
-2
Let x = -9 + 13. Suppose 5*i = 129 - 29. Solve x*u + 0*u + i = 0 for u.
-5
Let y(z) = z**2 + 11*z + 24. Let k be y(-8). Solve k = 5*h + 7 + 8 for h.
-3
Suppose 3*q - 6 = -5*x, 4*x - 7 = -3*q - 1. Solve z - 1 + 6 = x for z.
-5
Suppose -4*a + 11 = 3. Suppose c - 27 = -a*c. Suppose -3*j - c = -6*j. Solve 3 = -j*v - 0 for v.
-1
Let c(i) = -i**2 - 8*i - 8. Let b be c(-6). Let o(w) = -w + 7. Let z be o(5). Suppose z*u = -4*f + 4, -b*u + 4 = -4. Solve f = y - 0*y + 5 for y.
-5
Suppose -4*m - i = -5, m - 4*m - 3*i - 3 = 0. Suppose -2*p + b + 3 - 1 = 0, 4*b = 3*p + m. Solve -3*w + p = -4 for w.
2
Suppose -5*t - 9 = -2*z - 0*t, 1 = 3*z + 5*t. Solve -3*j = -z*j - 4 for j.
4
Suppose -4*k + 5*v = -37, k + 5*v + 12 = -10. Solve -k = -5*w - 23 for w.
-4
Let k be (0 + (2 - 2))/2. Suppose -2*n - n + 6 = 0. Suppose 8 - n = 3*u. Solve u*v + 12 - 2 = k for v.
-5
Suppose 0 = 3*p - u - 12, 3*p + 1 = -5*u - 5. Let h(z) = -z - 2. Let r be h(-7). Suppose 5*f = -5*y - 25, y + 0*y - r*f = 25. Solve y = -0*v + p*v + 6 for v.
-2
Suppose -5*o = 2*s - 4 - 11, -2*o = 5*s - 6. Let y be o/(-6) - (-11)/2. Let r = y + -1. Solve -r*c - 10 = -2 for c.
-2
Let m(f) = f - 5. Let x be m(8). Solve 4*w - x*w - 1 = 0 for w.
1
Let c be 3/(-2)*(-2)/3. Solve -2*o - 5 = c for o.
-3
Let w be 32/3 + (-6)/(-18). Let c = w + -8. Solve 0*q + c*q = 0 for q.
0
Suppose -7 = 2*s - 47. Solve -s + 0 = 5*r for r.
-4
Let f(h) = h**3 + 5*h**2 - h + 1. Let c(r) = -r - 16. Let u be c(-11). Let z be f(u). Solve -d = -z*d for d.
0
Let x be (60/(-9))/((-1)/3). Solve 0 = -4*y - 0*y + x for y.
5
Suppose 2*v + 6 = -2, -4*b + 32 = -2*v. Let x(j) = -5 - j**2 + b*j + 3 + 3. Let d be x(5). Solve 0 = -q + 4*q - d for q.
2
Suppose 0 = -5*k + 5 + 40. Suppose -27 = -4*m + 3*h, 2*m - h = -4*h - k. Suppose i = -3*f + 1 + 7, -5*i = -f - 8. Solve m = f*a - 1 for a.
2
Let b = 8 - 5. Let r = b + -3. Let s(f) = f**3 - 6*f**2 + 6*f. Let q be s(5). Solve x = -r*x + q for x.
5
Suppose -2*j = -0*j - 584. Let k be j/7 - 4/(-14). Suppose b = -2*b + k. Solve -3*g = -1 - b for g.
5
Suppose 5*z - 39 = -5*s - 9, -z + 4*s + 1 = 0. Suppose 0 = -3*l + l + 6. Suppose h - 5*h + 5*v - z = 0, l = 3*h + 3*v. Solve h = -a - 2*a for a.
0
Suppose -x = -3*x - 6. Let l be ((-9)/x)/(1/5). Suppose -b - l = -35. Solve q + b = 6*q for q.
4
Let j(d) = -d**3 + 7*d**2 - 4*d - 6. Let q be j(6). Suppose -c + 8*v - 3*v = 13, 0 = 2*v - q. Suppose -3*l - 13 = -2*k - c, -5*l - 9 = -k. Solve k*p = -p for p.
0
Let m = 76 + -50. Suppose 2*h - m = -2. Suppose -3 = 3*w - h. Solve -w*g - 20 = 2*g for g.
-4
Let y(m) = -m**2 + 4. Let b be y(0). Let w = 6 - b. Solve -w*g = g + 6 for g.
-2
Suppose -6 = -3*x - 4*r + 4, -5*r = -x + 35. Solve 2*l = x - 0 for l.
5
Let w be 3/(-1)*(-2 - -1). Solve 5 = w*n - 1 for n.
2
Let f = -9 + 11. Solve s = 1 + f for s.
3
Let k(s) = s**3 - 5*s**2 + 3. Let l be k(5). Suppose 5*o = l*p - 5, 3*p = -o + 7 + 10. Solve 0 = c - p*c for c.
0
Suppose 3*r - u - 7 = 0, -4*u + 9 = r - u. Solve -3 = -r*n + 6 for n.
3
Suppose 0 = -2*s + 6*s - 124. Let w be 24/(-56) - s/(-7). Solve 4 + 4 = w*l for l.
2
Let t(b) = -b**2 + 7*b + 20. Let j be t(9). Solve 0 = -3*k - j*k + 5 for k.
1
Let v be (-12)/(-8) - 1/2. Solve p - 4 + v = 0 for p.
3
Suppose -19 = 5*n - 3*n + 5*p, -p = 5*n - 10. Let t be (4 - 16)*(-2)/n. Let q be (12/t)/((-3)/(-4)). Solve q*a = 3*a for a.
0
Let b(d) = -2*d**3 + 2*d**2 + d. Let q be b(-1). Let s be (-14)/(-8) + q/12. Let j be -2*(0 + -4 + s). Solve -j*n + 7*n = 3 for n.
1
Let l(r) = -r**2 + r + 1. Let p(f) = -5*f**2 - 6*f - 6. Let s(k) = -4*l(k) + p(k). Let x be s(-8). Solve 0 = -5*i - 9 - x for i.
-3
Suppose -p - 56 = -3*p. Let j = 64 + -48. Suppose 7*n - 3*n + p = 4*m, -j = -2*m + 4*n. Solve m - 16 = -2*l for l.
5
Suppose 0 = -3*p + 2*p + 13. Suppose -12 = 5*c + p. Let w = c + 7. Solve -w*m = m for m.
0
Let o be 3/(1*-3)*0. Let l be (1 - -2)/(-6)*o. Solve -u = -l*u - 1 for u.
1
Let i(g) = -g**3 - g**2 + g + 1. Let s be i(-1). Suppose -4*x + 6 + 2 = s. Suppose -x - 4 = -3*a. Solve 0 = -h - a*h - 9 for h.
-3
Suppose 4*j = 12*j. Solve q + 3*q + 16 = j for q.
-4
Let p be (2/3)/((-1)/(-3)). Solve -p = j - 5 for j.
3
Suppose 25 = 5*v, g - 5*g + 105 = 5*v. Let j be (-58)/(-8) + (-5)/g. Solve -2*u + 20 = -j*u for u.
-4
Let c = -4 + 6. Suppose -l + 2*m = -4*l + 21, 0 = 4*l + c*m - 30. Solve 3*u - l = -3 for u.
2
Let t = 2 - -7. Suppose t*m = 4*m. Solve m = 2*d + 8 for d.
-4
Let c be 3/(-12 - 0)*-4. Suppose j = c + 6. Solve -2*t = -j*t + 25 for t.
5
Suppose t - 3 = 4*t. Let z be 1 + t + 4 + 0. Solve z*m + 0*m + 16 = 0 for m.
-4
Let i(o) = -o**3 - 7*o**2 + 5*o - 2. Let h be i(-8). Let k = h - 12. Solve -k = -0*t - 2*t for t.
5
Let j(y) = y**2 + 2*y - 4. Let c be j(-4). Solve 0 = w - c*w + 15 for w.
5
Let q = -7 - -9. Suppose 4*w + w = 2*j - 21, -15 = -q*j - w. Solve -l = -3*l + j for l.
4
Suppose -5*b + 0*b = -k - 14, 0 = 2*b + k - 7. Suppose 11 = 4*i + b. Solve i*l - 4 = 6*l for l.
-1
Let v = -39 + 54. Solve -l = -6*l + v for l.
3
Suppose -z - 15 = -4*z. Solve -4*s + z = -5*s for s.
-5
Let v(l) = -l**3 - 5*l**2 + 2*l + 10. Let d be v(-5). Let q be 6/4*2/3. Let b be 13 + d + -1 + q. Solve 0 = -4*n - 5 + b for n.
2
Suppose -2*n + 20 = 3*n. Let o = n + 0. Let t be -2 + 1/1 + 6. Solve 3*u = t*u + o for u.
-2
Let n(y) = y + 10. Let t be n(-7). Let s(j) = j + 1. Let f be s(t). Solve 15 = f*c - c for c.
5
Suppose 0 = -5*b + 2*b + 15. Suppose a = -a - 2*y + 10, -2*a - 25 = -b*y. Solve a*i = -2*i for i.
0
Let f(c) = c**2 - 10*c + 3. Let z be f(10). Solve z*a - 20 = -a for a.
5
Let u(f) = -f + 10. Let o be u(6). Solve -6 = o*a + 2 for a.
-2
Suppose 5*q - 57 = 2*h, -h + 31 + 38 = 5*q. Let g(b) = -b**2 - 5. Let t be g(0). Let s = t + q. Solve 20 = -s*c + 3*c for c.
-4
Suppose -5*p + 2 + 3 = -q, 2*q + 10 = 0. Solve -t = -p*t + 1 for t.
-1
Suppose -g + 13 = -h, 17 = 5*g + 5*h + 2. Solve -3*y - 20 = -g for y.
-4
Suppose 0 = 4*b - q - 24, 7*b - 24 = 3*b + 4*q. Solve -2*r = r - b for r.
2
Let m = 1 - -3. Let u be m/8 + 2/(-4). Let t(d) = d**2 + 4*d. Let f be t(-5). Solve u*n + f*n = 15 for n.
3
Let d be ((-9)/(-12))/(5/(-20)). Let y be (-2)/d - 9/(-27). Solve y = -s - 0*s for s.
-1
Let h(y) = y. Let q be h(3). Solve -5 = 4*r + q for r.
-2
Let b be 13/3 - (-3)/(-9). Suppose -z = 2*m, -6*z = -b*m - 2*z + 12. Solve -j + 1 = -m for j.
2
Let o = 5 + -2. Suppose o*m = -0*m. Solve 0 = -m*z + z + 5 for z.
-5
Let q be -3 + -2 + (1 - 3). Let y(h) = -h**3 - 6*h**2 + 3*h + 5. Let o be y(q). Suppose -z + 0*z - 2*k + o = 0, 0 = -z - 5*k + 48. Solve -8 + z = 3*v for v.
5
Suppose 5*v - 110 = -0*v. Suppose -1 + v = 3*u. Solve -3*w + u*w = 0 for w.
0
Let k be (4 + (-2 - 12/(-8)))*2. Solve 0 = 4*l + 5 + k for l.
-3
Suppose 0*k - 3*k = 0. Solve k*o - 5 = -o for o.
5
Let u(g) = g**3 + 2*g**2 - 3*g - 1. Let x = 10 - 12. Let h be u(x). Solve 5 + 0 = -h*d for d.
-1
Let j(m) = -6*m - 1. Let h be 1*(-2)/(-4)*-2. Let q be j(h). Solve -4*i - i + q = 0 for i.
1
Suppose 0 = 3*f - f - 8. Let y = f - 1. Suppose -4*q - 4 = -h - 5*q, -y*h = 4*q - 16. Solve 2*u = 2 - h for u.
1
Let l be (2/(-4))/((-1)/4). Let x(m) be the third derivative of m**5/12 + m**4/24 - m**3/3 - 5*m**2. Let t be x(l). Solve -t = -7*i + 3*i for i.
5
Let n = -11 - -6. Let f = n + 1. Let o be 22/4 - (-6)/f. Solve 0 = u - o*u - 9 for u.
-3
Suppose 4*b - 33 = 4*o + 31, 54 = 4*b - 2*o. Let g = b + 14. Solve -g = -q - 4*q for q.
5
Suppose 4*i + 0*r - 2*r = 30, 0 = 3*r + 15. Suppose -2*d + i*j = 11, d = -d - j + 7. Let t be 1/1 - (1 - 2). Solve -t*o + d = -4 for o.
3
Let v(z) = z**3 + 3*z**2 - 4*z - 6. Let k be v(-4). Let w(g) = g + 8. Let r be w(k). Solve -8 - r = -5*u for u.
2
Suppose 0 = 3*l - 4*y - 31, 2*l + 21 = 4*l - 3*y. Let d be 129/l + (-2)/(-3). Let f be 1 - (2/(-1) + 0). Solve -2*r = f*r - d for r.
3
Let s = 6 + -3. Suppose g = -0 + s. Solve 0 = -g*b - 21 + 6 for b.
-5
Let o(v) = v**3 - v**2 - 4*v - 2. Let j be o(-1). Let i = 35 + -22. Suppose -17 = -3*m + i. Solve j = -3*c + c + m for c.
5
Suppose -2*y + 0 + 1 = -5*q, -5*y + 5*q 