lve -10*a + v = -6*a for a.
3
Let o(a) be the second derivative of a**4/12 - 4*a**3/3 + 5*a**2 - 100*a. Suppose -2*x - 2*x = 3*t - 43, 0 = 3*x + t - 26. Let g be o(x). Solve -g*y = y for y.
0
Let b(m) = 1226 + m + 3*m - 1249. Let g be b(6). Solve 4*z + 21 = g for z.
-5
Let r be (47 - (0 + -2))/(-1). Let a = r - -56. Solve 5*z = -3 - a for z.
-2
Let q(y) = -61*y**2 - y. Let l be -2*2*(-4)/(-16). Let k be q(l). Let h be k/(-14) - (-12)/(-42). Solve 0 = h*a + 6 + 14 for a.
-5
Let f be ((-812)/(-58))/(0 - -1). Solve 11 = -x + f for x.
3
Suppose 5*f + g = -2*g + 31, 4 = 2*f - 3*g. Solve 0 = -f*x + 39 - 14 for x.
5
Let f = -60 + 25. Let a = f - -40. Solve -d = -0*d + a for d.
-5
Suppose 3 = g - 2. Suppose 0 = -f + 2*f - 5. Solve -f*a - 5 = g for a.
-2
Suppose 3*b - 3 = 3*t - 0, 5*b + 3*t - 37 = 0. Suppose -f + 3*o + 6 = 2*f, b*o + 34 = -3*f. Let u be (12/f)/(-4) + 2. Solve u*z + 3 = 2*z for z.
-3
Let n(r) = -2*r + 18. Let h be n(0). Let b = h - 14. Suppose 0 = -b*m - m + 5. Solve 2*y = 3 - m for y.
1
Let d = 135 + -236. Let c = -14 - d. Let k = c + -62. Solve 4*u + k = -u for u.
-5
Let o = 1318 - 1267. Solve -6*p = -o + 69 for p.
-3
Suppose -16*y + 24 = -4*y. Solve 0 = -y*j - 6*j - 8 for j.
-1
Suppose -4 = 4*k, -3*p - 5*k - 11 = -2*p. Let t(j) = -j**2 - 9*j - 8. Let r be t(p). Solve 0 = 4*i + 2 + r for i.
-3
Suppose -21 = -4*a + 35. Suppose -1 = -2*j + 5*z, 0 = -4*j - 3*z + 1 + a. Solve 2*i = i - j for i.
-3
Let b(q) be the first derivative of q**4/4 + 5*q**3/3 - q**2/2 - q - 9. Let y be b(-5). Suppose -s = s - y. Solve 0*v - 10 = s*v for v.
-5
Suppose 7 = 4*n - 3*m - 3, 4*n - 20 = -2*m. Suppose c = -n*z + 16, 5*c + 5 = 3*z + 16. Solve 0 = -0*t + c*t for t.
0
Let x(u) = -u**2 - 2*u - 5. Let b be x(-5). Suppose 0 = -4*d + 132 - 44. Let g = b + d. Solve -2*m + m - g = 0 for m.
-2
Let b = -510 - -513. Solve -b*j - 2 - 1 = 0 for j.
-1
Suppose 65 = 3*j + g, -3*j + g + 73 - 12 = 0. Solve -2*v = -27 + j for v.
3
Let o = -349 - -359. Let p be 40/3 - 6/(-9). Let v = p - o. Solve -v*c + 4 = 24 for c.
-5
Suppose 4*a + n = 70, -4*a - n + 66 = 2*n. Let f be 624/112 - (-3)/7. Solve -f = -4*u - a for u.
-3
Let z = -603 + 610. Solve -42 = z*p - 14 for p.
-4
Suppose -37*j + 41*j - 32 = 0. Suppose -i + j = 5*l, -5*i - 6 = -0*l + 2*l. Solve 8 = l*f - 0 for f.
4
Let d(i) = i**2 + 12*i. Let f be d(-12). Suppose -12*w + 5*w + 70 = f. Solve -3*m + w = -m for m.
5
Suppose 30*l - 897 = -147. Solve -y = 27 - l for y.
-2
Let m(v) = -22 - 7*v + 8*v + 2*v - 14. Let h be m(13). Solve h = 2*n + n for n.
1
Let k be (115 + -113)/(27/(-29) - -1). Solve 18*n - k*n = 44 for n.
-4
Let q be -1*(-3)/(-6) - 54/(-12). Suppose 3*h + 5*j - 20 = 0, -q*j - 70 = -4*h - 2*j. Solve 2*y = -y - h for y.
-5
Let y(c) = 2*c + 3. Let x be y(0). Let q be ((-34)/(-12) - x) + 52/24. Solve q - 4 = -2*d for d.
1
Let i = -4 - -11. Let m(p) = -p**3 + 13*p - 10. Let j(v) = -v**2 + v. Let w(a) = 6*j(a) - m(a). Let g be w(i). Solve -u - g = -3*u for u.
5
Suppose 4*r = 2*f - 6*f - 12, -2*r - 5*f = 12. Let d be ((2 - 3)*8)/r. Suppose 2*q - 26 = -4*g, 0 = -q - 3*q + 4*g - d. Solve 0 = -4*x + 1 + q for x.
1
Let i be ((-1 - 0) + 1)/3. Let k be (0 + 3)/(-3)*i. Solve -p = -k*p for p.
0
Suppose -3*c - 150 = -x, 64 = -c + 3*x + 2*x. Let r = c - -49. Let n = 6 + -3. Solve r = k - 0*k - n for k.
3
Let q(f) = -f**2 - 50*f - 523. Let p be q(-35). Solve 5*k = 5*k - p*k for k.
0
Suppose 9 = 3*y - 0. Suppose 2*r + 12 = y*r. Suppose l = -s - 4*s + r, 0 = s + 3*l - 8. Solve v = s*v - 4 for v.
4
Suppose 3*v - 20 = -y, -y + 14 = -0*v + 2*v. Let f be 4/(-10) - (-4)/10. Let z be 15/6*(10 + f). Solve -v*w + w + z = 0 for w.
5
Suppose -2*f - 3*y = -6, -3*f - f = 3*y - 12. Let b(p) = -p**3 + 2*p**2 + 6*p - 7. Let x be b(f). Solve x*j - 2 - 6 = 0 for j.
4
Suppose -5*a - 3*h = 0, 2*h = -6*a + 4*a. Let u(r) = -r**2 - 11*r - 13. Let j = -11 + 2. Let p be u(j). Solve a*q = -q - p for q.
-5
Let h(a) = a**3 + 10*a**2 + 15. Let x be h(-8). Solve x*v - 140*v = 15 for v.
5
Suppose 2 - 14 = -3*m. Suppose -2*h + 7 + m = v, 0 = 4*h - 5*v - 43. Suppose 3*r - h = 3*g + 2, -4*g - r = -13. Solve 4*q + g = 3*q for q.
-2
Let r be 495/(-44)*16/(-6). Suppose 0 = r*a - 25*a - 20. Solve a*f = 3*f + 1 for f.
1
Let t(g) be the second derivative of -g**3/6 + g**2/2 - 159*g. Let m be (-14)/3 - (-4)/6. Let u be t(m). Solve -5*w - u - 20 = 0 for w.
-5
Let p be (102/(-170))/(9/(-165)). Solve 16 = -r + p for r.
-5
Suppose 2*v = -h + 12, -176*v + 3*h + 20 = -175*v. Solve v = 5*c - 13*c for c.
-1
Suppose -18*g + 16*g = 0. Suppose 5*z = l - g*l + 138, 3*l = 6. Suppose -5*n - c - 3*c = -z, 3*n - 27 = c. Solve 0*h = 2*h + n for h.
-4
Suppose 0 = -5*b + 4*p + 49, 0 = -b - 4*b + 3*p + 48. Suppose 0 = u + z - 5, 3*z + 58 = 5*u + b. Solve 3*m - 5*m + u = 0 for m.
4
Let b = -2 - 2. Let l be 1 + b - (-5 + -3). Let z = l - 3. Solve -2 = -0*a + z*a for a.
-1
Let u = 7 + -3. Let k be (-1 + u)*(3 + -2). Solve k*f = -f + 4 for f.
1
Let p be (1 - 0)/((-7)/(2 - 37)). Suppose -7*x + 6 = -p*x. Solve -3*t + x = -0*t for t.
1
Let k(t) = t**3 + 8*t**2 + 8*t + 10. Suppose 0 = -8*z - 47 - 9. Let r be k(z). Suppose n + 10 = 2*u - 0*u, 0 = -3*u - 5*n + 2. Solve u*f = r*f - 4 for f.
-4
Suppose 6*m - 39 = -f + 8*m, -4*f - m + 192 = 0. Solve 5*l - 37 = -f for l.
-2
Let z(t) = -t**3 - 7*t**2 - 6*t + 2. Suppose -4*c = -12 - 4. Let u be c/16*2*-12. Let h be z(u). Solve 3*b = b + h for b.
1
Suppose -2*o = 4*p - 38, -2*o - 2*o - 8 = -4*p. Suppose 0 = 3*d - 15, 2*l - 30 = 2*d - 6. Solve 5*c - p = -l for c.
-2
Let b(x) be the second derivative of -x**4/12 - 2*x**3/3 + 35*x**2/2 - 25*x. Let n be b(-8). Solve 2 = c + n for c.
-1
Let n = -624 - -635. Solve 0 = -12*i + n*i + 1 for i.
1
Let n(f) = f**2 + 3*f - 67. Let j be n(-12). Solve -39*g - 10 = -j*g for g.
5
Suppose -4*i + 6 = o + 3, -2*o - 14 = -2*i. Solve -8*m + i = -6*m for m.
1
Suppose 3*j + 33 = -12. Suppose -3*x - 96 = -7*x. Let k = x + j. Solve -4*g = -g + k for g.
-3
Let h be (-210)/(-63) - (-1)/(-3). Suppose -h*u = u - 20. Solve -2 = u*s - 17 for s.
3
Let m be (2/4)/(10/20). Suppose -b = -0 - m. Let z(k) = 21*k**3 - 2*k**2 + 2*k - 1. Let j be z(b). Solve -5*a + a = -j for a.
5
Suppose 16*g - 35*g = -228. Solve -c - g = 2*c for c.
-4
Let i = 337 - 336. Let w(f) = -f**3 + 2*f**2 + 4*f - 2. Let z be w(3). Suppose -k + z = -i. Solve k*y + 3 = 7 for y.
2
Suppose -w = 2*q - 8, 4*w + 4*q - 4 = 3*w. Suppose 3*r - w = -0*r. Suppose -2*x - x - 4*o + 19 = 0, -5*o = r*x - 25. Solve -x = -2*d + 3*d for d.
-5
Let w(y) = 2*y**2 + 15*y + 9. Let x(k) = 3*k**2 + 23*k + 14. Let m(g) = 7*w(g) - 5*x(g). Let a be m(-9). Let c = 0 + 4. Solve 22 = c*z + a for z.
5
Suppose 22*u = -s + 21*u + 26, -20 = -5*u. Solve -27*j = -s*j - 10 for j.
2
Let p be 3/9 - (-32)/(-6). Let w(y) = y**3 + 4*y**2 - 5*y + 1. Let k be w(p). Suppose 31*z - 10*z + 10*z - 124 = 0. Solve z*f = -k - 15 for f.
-4
Let x be -4 + (-6 + -1 - -6) - -5. Solve -l - l - 6 = x for l.
-3
Suppose 4*r - 8*r = 4*a - 12, 0 = -3*r + 5*a + 17. Let i(s) = s**2 - s**2 + 8*s + 3*s**2 + 6 - 2*s**2. Let j be i(-8). Solve 10 = r*p - j*p for p.
-5
Let r be ((-33)/(-5))/((-1)/5). Let f be r/(-9) + (-1)/(-3). Let p = -80 + 85. Solve -p = -f*s - 21 for s.
-4
Let o be 48/18 - (-2)/(-3). Let n = o + -5. Let v be 2*6*n/(-3). Solve 4*x + 4 = -v for x.
-4
Let r(k) = k - 15. Let p be r(-12). Let d be 6/4*(-90)/p. Suppose -j + d*y + 23 = 0, 3*y - 5*y - 11 = -j. Solve -n = j*n for n.
0
Let p(s) = 4*s + 117. Let o be p(-26). Solve -16*v = -o*v + 6 for v.
-2
Let s(g) = g - 22. Let p be s(-15). Let d = p + 47. Solve -5*x - 5 = -d*x for x.
1
Let k = -7880 + 7884. Let n be ((-4)/3 + 2)*6. Suppose r = n*r. Solve r*s - s = -k for s.
4
Suppose 4*r + 6 - 1 = 3*i, 5*r - 14 = -3*i. Solve 29 + r = 6*n for n.
5
Suppose 18 = 5*x - 2. Suppose 2*c - x*a - 26 = 0, 3*c + 2*c = -5*a - 10. Suppose 5*u - 17 = -c*d, -d + 3*u = 2 - 3. Solve -d*z - 15 = -z for z.
-5
Let b be -2*(-27)/(-6) + -2. Let t = b - -11. Suppose 4 = 2*x - t. Solve x*w + w = 9 for w.
3
Let s = -15 - -25. Let x(y) = -4*y + 1. Let z be x(1). Let m = 6 + z. Solve -2*n + s = m*n for n.
2
Let z = 697 + -693. Solve 0 = 4*g - 3*g - z for g.
4
Let f = 1367 + -1367. Solve f = -4*y + 11*y + 14 for y.
-2
Let d be -5*4/1*-4. Solve 10*r = -6*r - d for r.
-5
Suppose 5 = n + 29. Suppose -z + 1