ve y*v - v = -10 for v.
-2
Let u(s) = 6*s + 76. Let j be u(-12). Solve 0*x = j*x for x.
0
Let l(a) = 3*a + 4. Let b be l(5). Suppose 5*v - 6 = 5*j + b, 5*j = -v - 7. Solve -16 = v*d + d for d.
-4
Suppose 11 - 5 = w. Suppose -x + 0 = -w. Solve -x*i + 2*i = -12 for i.
3
Suppose 4*s - 2*x = 0, 0*s + 5*s - x - 6 = 0. Suppose 3*w - 5*w = s*c, -2*w - 2 = c. Suppose y = c*y - 12. Solve 3 = 5*b - y for b.
3
Suppose 2*x - b = -6*b, 0 = -2*x + 4*b. Solve 0*y - 4*y = -x*y for y.
0
Let f be (8/(-6))/(6/(-9)). Suppose -f*j = -3*j - z + 3, -4*z = -2*j + 6. Suppose -2*i + 4*i + 3*s = -2, -4*i + s + 10 = 0. Solve -j*x = i*x + 5 for x.
-1
Let q be (14/(-10))/(-1)*(-6985)/(-127). Solve -q*j = -75*j + 6 for j.
-3
Let s(v) = -v**3 - 7*v**2 - 6*v + 4. Let w be s(-6). Let l(j) = -4*j**2 + w - 2*j + 5*j**2 - 3 - 4*j. Let b be l(6). Solve -3*p = 5 + b for p.
-2
Let v(f) = 12 + 0 + f - 9 - 7. Let o be v(5). Solve 5*s + 4 + o = 0 for s.
-1
Let j(f) = -f**2 + 17*f + 3. Let m be j(17). Suppose -m*i = 4 - 16. Solve 0 = -0*l + i*l + 12 for l.
-3
Let s be (-1)/4 + (10250/40)/41. Let n(h) = h**3 + 5*h**2 + 4*h - 3. Let l be n(-4). Let y = l + 8. Solve -y*b + 9 = -s for b.
3
Let v = 1176 + -1160. Solve 0*q + v = -16*q for q.
-1
Let z = -19 + 23. Suppose 2*k = 2*c + 3*c + 35, -5 = -2*k - c. Solve 0 = u + z*u + k for u.
-1
Suppose 0 = 45*n - 25 - 155. Solve 6*s - n = 2*s for s.
1
Suppose 0 = -0*v + 2*v. Suppose -69*k - 16 = -77*k. Solve v = -k*m - 0*m for m.
0
Let d(g) = g + 9. Let o be d(-5). Solve 6*q = o*q - 10 for q.
-5
Let g(u) = -u**2 + 4*u - u + 8 + 14*u. Let o = -416 + 433. Let l be g(o). Solve 3*y - l = y for y.
4
Let g be 4 + (-6)/1 - 12. Let k(w) = -w**2 - 16*w - 24. Let s be k(g). Solve z = 5 - s for z.
1
Let u = 10 + -20. Let f = -10 - u. Suppose -10*r + 15*r = f. Solve z + 1 - 2 = r for z.
1
Let i = -278 - -280. Solve 0 = q - i for q.
2
Suppose 53 = 4*w + 5*h, 18*w - 23*w + 15 = -4*h. Solve 5*g - w + 27 = 0 for g.
-4
Let z = -1403 + 1414. Solve -l - 7 = -z for l.
4
Let q(m) = -m**2 + 14*m - 21. Let s be q(9). Let y(x) = 22*x. Let c be y(-1). Let r = c + s. Solve -d = -r*d for d.
0
Suppose 10*u - 7*u - 21 = 0. Suppose 5*h + b = 13, 2*b - u*b = 4*h - 23. Solve h*m = -m for m.
0
Let u(s) = -s**3 - 5*s**2 + 2*s + 9. Let i be u(-6). Suppose -2*w + i - 1 = 0. Let r(v) = -v + 18. Let h be r(w). Solve -h*a - 2 = 4 for a.
-3
Suppose -b - 12 = -5*b. Suppose 3*j = -2*q - 3*q, 2*q + 4*j = 0. Solve q = -b*a + 6*a - 12 for a.
4
Suppose 0 = -5*w - 4*m + 37, 4*w - 11 = -0*w + 3*m. Let t(o) = o**2 - 3*o - 6. Let f be t(w). Solve -f*y = -8*y for y.
0
Suppose -5*n + 57 = 4*p, 0 = 4*n - 6*n - 4*p + 30. Solve 0 = -6*l - n*l + 75 for l.
5
Let s(a) = 3*a. Let m be s(2). Suppose 5*b = 2*d - 43, -48 - 49 = -4*d - b. Suppose -15 = -d*h + 21*h. Solve 26 - m = h*v for v.
4
Suppose 3 + 0 = 3*w. Let z = w + 2. Suppose s - z*s + 4 = 0. Solve 0 = 4*g - 2*g + s for g.
-1
Let f(m) = m + 21. Suppose -8 = -75*h + 76*h. Let p be f(h). Solve -4*l - 3 = p for l.
-4
Suppose 0 = 66*k - 79*k. Solve 5*t - 48 + 58 = k for t.
-2
Let i(v) be the second derivative of -v**4/12 - 5*v**3/6 - 3*v**2/2 + 33*v. Let j be i(-2). Solve -j = u - 1 for u.
-2
Let o(g) = -8 - 17*g + 0 + 20*g. Let w = 3 - -1. Let z be o(w). Solve 0 = -z*l - 8 - 8 for l.
-4
Let o = -661 - -674. Solve 2*t + o = 15*t for t.
1
Let b(n) = -n**3 - n**2 + 2*n + 12. Let v be b(0). Suppose -4*x + w = -v - 24, -4*x + 2*w = -40. Solve 3*m = m + x for m.
4
Let x = -299 - -301. Solve x*d = d for d.
0
Let p(a) = -3*a - 14. Let g be p(-13). Let x = g + -10. Solve 0 = -0*i + 3*i - x for i.
5
Let b be 12/48 + 0 + 102/8. Solve b*l - 17*l - 12 = 0 for l.
-3
Let p be (-5 + 2)*(3 - (-16)/(-6)). Let a be ((-1 + 1)/(-1))/p. Solve a = -5*y - 2 - 13 for y.
-3
Suppose -z - 3*s + 22 = 0, 2*s - 82 = -5*z + s. Solve -5*m = -m + z for m.
-4
Let n be (-60)/39*(-1040)/160. Let i be 50/4 + (-2)/4. Solve n*v - i*v + 8 = 0 for v.
4
Suppose 0 = 428*j - 426*j - 32. Solve 7*f + j = 2 for f.
-2
Let x be 60/33 + (-2)/(-11). Suppose x*z = -0*z. Let r(l) = l + 4. Let q be r(-3). Solve b - q - 1 = z for b.
2
Let o(f) = f**2 - 2. Let s be o(2). Suppose 2*q = -s*q + 20. Let m = 0 + q. Solve 3*j - 1 = m for j.
2
Let d = -2 + 5. Let f be 2/(-6) - (-13)/d. Solve 4*n + 12 = -f for n.
-4
Let n(d) = d**3 - 8*d**2 + 8*d - 4. Let u(t) = 8*t - 1. Let a be u(1). Let z be n(a). Solve 0 = z*k + k + 16 for k.
-4
Suppose -3*g - 5*z + 28 - 9 = 0, g - z - 17 = 0. Solve 0 = -5*b - g + 3 for b.
-2
Suppose -2*v - 3*n = -24, 44 = 4*v + n + 4*n. Suppose -3*g + 8*g = 5*x - 10, -5*x + 3*g = -12. Solve 3 - v = -x*b for b.
1
Let d = -39 - -53. Let f = d - 12. Solve f*n - 2 = 4 for n.
3
Let b be 16 + -14 - (0 + 0 + 1). Suppose 10 = h + 4*h. Let l be 24/14 + h/7. Solve b = l*v - 1 for v.
1
Suppose -3*r + 5*j = -950, -3*r + 515 = -2*j - 423. Let v be r/(-18) + (-2)/(-9). Let d = v + 20. Solve -d*m + 2 = -4*m for m.
-2
Suppose -361 + 1027 = 3*x - 2*y, -3*x = -4*y - 672. Let a be (x/25)/((-2)/(-5)). Suppose 0 = -4*f + a + 54. Solve 5*d - 4 = -f for d.
-3
Suppose 0 = 7*g + 3*g - 60. Solve g = m - 3*m for m.
-3
Let r(s) = -s**3 - 8*s**2 - 4*s + 37. Let u be r(-7). Solve -u*j - 2 = -14*j for j.
-1
Let j(t) = t**2 + 6*t - 104. Let i be j(8). Solve -11 - 13 = -i*y for y.
3
Suppose 3*d - 79 - 35 = 0. Solve 41*x - 15 = d*x for x.
5
Let h = -7 - -10. Suppose 0 = -t + h*t. Let n = 274 + -271. Solve t = -n*q - 2*q - 5 for q.
-1
Let p = -7 - -10. Let t be 32 + -2 - 5/(-10)*-4. Suppose 5*j + 5 = 0, t - 8 = 4*s + 4*j. Solve 3 + s = p*q for q.
3
Let o be (-102)/(-18) + (-5)/3. Solve o = -5*c - 11 for c.
-3
Let o = 12 - 2. Let u = -676 + 678. Solve 0 = u*j + o for j.
-5
Let v be (4/6)/((-28)/(-126)). Let o(u) = -u**2 - 5*u - 3. Let c be o(-4). Solve c = z + v for z.
-2
Suppose 1144 + 446 = 30*d. Solve -41 = 3*c - d for c.
4
Let l be 2/(-1)*(-58)/29. Solve l*j = 8*j - 20 for j.
5
Suppose 4*h - 7 = -w, 7*h + 9 = 12*h + w. Solve -y + h*y = -5*y for y.
0
Let j be (-7)/(3/(-3)) - (-8 - -13). Solve -l - 12 = j*l for l.
-4
Suppose 0 = -6*v + 4*v - 8. Let y be (8/10)/(v/(-10)). Solve -y*r = -5*r for r.
0
Let y(f) = -f**3 - 6*f**2 + 2*f - 5. Let n be y(-7). Suppose v = 5*c + n, 4*c + c = -15. Let h(j) = j**2 - 92*j + 970. Let p be h(12). Solve -p = 5*x + v for x.
-5
Suppose -4*d = -0*d + 12. Let i be d/2*2 + 3. Solve -3*o = -i*o + 6 for o.
-2
Let d be (-117)/36*-4 + -8. Solve 0 = 12*z - 17*z - d for z.
-1
Suppose 11 = 3*f - 1. Suppose -o - f = -2*o. Solve 18 = o*p + 2 for p.
4
Suppose 0 = -6*o + 305 - 47. Let r = o - 40. Solve -7 - r = -2*l for l.
5
Suppose -106 = 3*m + 4*v, -2*m + 138 = -7*m + 3*v. Let h = 22 + m. Let p = -8 - h. Solve p = -4*i + 5*i + 2 for i.
-2
Suppose 0 = -5*s, 2*d - 5*s - 28 = -s. Let o = d + -31. Let t = -14 - o. Solve -2*w = -t - 3 for w.
3
Let y(f) = -8*f + 1. Let o(r) = -9*r + 1. Let s(l) = 4*o(l) - 5*y(l). Let k be s(1). Suppose -5*d + 18 = k*u - 34, u - 2*d = 10. Solve 0 = 5*i - 6 - u for i.
4
Suppose -13*m + m = 5*m. Suppose -6*g + 12 + m = 0. Solve 0 = l - g*l for l.
0
Suppose 4*m - 3 + 3 = 0. Solve 0 = 5*y - m*y - 5 for y.
1
Let c = -15 + 30. Let x = 537 + -533. Solve -x*g = g - c for g.
3
Suppose 21*r - 120 = -15. Solve -r*b + 21 - 6 = 0 for b.
3
Let w(t) = -5*t + 4. Let u be w(5). Let f be 7/3 + 7/u. Let o = 5 - -4. Solve -f*g - o = -5*g for g.
3
Let y(i) = i**3 - 5*i**2 + 18. Let a be y(4). Solve a*s = 5*s - 3 for s.
1
Let f = -4 + 3. Let x(j) be the third derivative of -11*j**6/120 + j**3/6 - 19*j**2. Let n be x(f). Solve u = -2*u + n for u.
4
Let x(h) be the second derivative of -h**3/3 + 4*h**2 + 6*h. Let z be x(4). Suppose g + g = z. Solve 4*o - 2 - 2 = g for o.
1
Suppose 516 = 15*r + 441. Solve 0 = -r*z + 53 - 28 for z.
5
Let u be 135/25 + 4/(-10). Suppose -u*d + 5 = -5. Solve -d*s = 2 + 2 for s.
-2
Suppose -r = i - 0*i - 1, r = -5. Let a = 6 - i. Solve -b - 3 = -a for b.
-3
Let y(c) = -c + 2. Let h be y(-6). Let l be 2*84/h - -2. Let v be l + -2 + 2 + 0. Solve 5*i = v - 3 for i.
4
Let y(f) = -f**2 + 18*f - 53. Let w be y(9). Let d = 34 - w. Solve 6 = 4*h - d for h.
3
Let q(m) = m**2 - 4*m - 3. Let h be q(5). Suppose 0 = 3*p + h*p. Solve 0*t - t = p for t.
0
Suppose 14*u - 65 - 5 = 0. Solve -4*r - 21 + u = 0 for r.
-4
Let t = 1 + 1. Let p be (18/4 + -3)/((-6)/(-16)). Suppose 0 = -p*f - 8*f + 2