 15 = q*a for a.
5
Let n be (-4)/(-5) + 132/110. Let s be (6 - 0)/(n - (0 + -1)). Solve -2*f - s = -8 for f.
3
Let z(f) be the second derivative of -f**4/12 - 7*f**3/6 - 7*f**2 - 7*f. Let j be z(-6). Let q = j - -11. Solve -q*h = -8*h + 25 for h.
5
Suppose 0 = 2*y - 5*g + 22, 4*y - 2*g + 20 = 2*g. Let m = y - -9. Let o = -158 - -181. Solve m = 5*d + o for d.
-3
Let d = 23 + -19. Let j be 3*(d - 8/12). Let n be 12/j*(-225)/(-18). Solve -4*i = -i + n for i.
-5
Let m be (4 - 1)*(-12)/(-18). Suppose 0 = 4*q - 14 + 2. Suppose 5*s - q = 4*s. Solve -o = m*o - s for o.
1
Suppose -3*x + 5*f = 19, -5*f + 35 = -2*x + 7*x. Suppose 0 = -s - 0*s + x. Solve 3*j = s*j + 2 for j.
2
Suppose 5*b - 3*q = b + 8, -b - q = -2. Solve -o + 1 + b = 0 for o.
3
Let n be 0 + (-1 + 1)/(-4). Solve n = 6*b - 7 - 23 for b.
5
Suppose -19*o = -14*o + 15. Let j be 2 - (2 + -1 + o). Solve -j*g + 2*g = 10 for g.
-5
Suppose -474 = -20*z - 14. Solve 17 = 3*v + z for v.
-2
Suppose -15 = -2*l - s + 4*s, -4*l - 5*s = 3. Suppose 2*u = -2*j + 10, 49*j - 51*j = -u - 1. Solve -l*f - j = -f for f.
-1
Let j(s) = 2*s**3 + 62*s**2 - 61*s + 98. Let n be j(-32). Solve n*b = 3 - 1 for b.
1
Suppose -2 - 7 = -3*k. Suppose -25 = 3*m + 2*f, k*f - 5*f - 11 = m. Let y(u) = u**3 + 7*u**2 - 2*u - 10. Let i be y(m). Solve i*a + a + 25 = 0 for a.
-5
Suppose 47*l = -304 + 1103. Solve 6*m + 47 = l for m.
-5
Let j(u) = 3*u + 21. Let s be j(-10). Let x be s/(-2) - (-16)/(-32). Solve -4*d + 2*d = x for d.
-2
Let t = -326 - -332. Solve t = m - 3*m for m.
-3
Suppose -4*x - 20 = -5*m, x = -m - 3*x + 28. Solve -7*b + 1 = -m*b for b.
-1
Let b be (-3)/((-90)/95) + (-2)/12. Suppose 0 = b*u + 3*p + 6, -u - 4*p = 3 + 14. Solve -16 = -u*v - 4 for v.
4
Let m(a) = -5*a + 5. Let k be m(-3). Suppose -4*z + k = -0*z. Let r be (1 + -1)*(-1)/2. Solve -10 = -z*b - r*b for b.
2
Suppose c = w - 0*w - 23, -c = 3*w - 57. Let i = -1544 + 1546. Solve 7*q = i*q + w for q.
4
Let h be ((1 + -21)/2)/(-2). Let x(v) = -v**3 + 5*v**2 + 5*v. Let k be x(h). Suppose 4*g - 20 = 3*y, 0 = 4*y - 0*g - 5*g + k. Solve y*l - l = 1 for l.
-1
Let u(j) = -15*j - 74. Let n be u(-6). Solve 3*s = -s - n for s.
-4
Let c(h) = 9*h + 147. Let o be c(-11). Solve 0 = -o*n + 47*n for n.
0
Suppose 14*b = 4 + 66. Solve 0 = 6*o - b*o - 1 for o.
1
Let r(g) = 2*g**2 - 11*g + 23. Let a be r(7). Suppose -16*t + 36 = -a. Solve 2*w + t = 3*w for w.
5
Suppose 25*m - 4*m = 0. Solve m*x = 2*x for x.
0
Suppose -5*o - 11 = -11. Suppose -4*s + 4*d + 28 = o, 4*d = -10 - 6. Solve 8 = s*q + 2 for q.
2
Let r(u) = 2*u + 1. Let f be r(-1). Let k be f*2/(-1) + -1. Let q be 0 + 3 + 2 + k. Solve m = 3*m + q for m.
-3
Let u(i) = -i**2 + 5*i + 6. Let w be u(6). Let k be (25/(-5) + 1)*1. Let h(t) = 2*t + 9. Let f be h(k). Solve w*m + f = m for m.
1
Let g be 8/2 + -5 - (-3 - 1). Let p = -46 - -48. Solve -g*y = -5 + p for y.
1
Let u be (-2 + 0)*(5 - 4). Let g be 1 + (-26)/u - 4. Let m be g/(-55) + 35/11. Solve -4*k + k = -m for k.
1
Let d = -326 - -334. Solve -12 = -4*j - d for j.
1
Let y(u) = -u**2 - 47*u - 138. Let m be y(-41). Solve 107*i + 2 = m*i for i.
2
Let p = 1 - 3. Let q = 4 + p. Solve 5*n - 3*n = -q for n.
-1
Let a = 21 + -18. Suppose a*v + v = -3*n - 15, 2*v - 15 = 3*n. Solve -3*l + 4*l + 2 = v for l.
-2
Suppose -2*n = 3*n - 4*y - 26, -y - 4 = 0. Suppose 0 = v + c - n, -v + 4*c + 13 = 2*v. Solve v*p = -2*p for p.
0
Let z = 1062 + -857. Solve 3*k + 199 - z = 0 for k.
2
Let y(f) = -2*f - 5. Let m be y(-4). Let t = 6 - m. Suppose t*x - 8 = x. Solve x = d - 1 for d.
5
Suppose 3*z - 2*l - 13 = -4*l, 4*z = -2*l + 16. Let k be 17/3 + z/((-18)/(-2)). Solve 3*j - k + 3 = 0 for j.
1
Let u(f) = -f**2 - 13*f + 382. Let d be u(14). Let c be 81/5 - 1/5. Solve 5*l + c = -d for l.
-4
Suppose -6*w + 4*w - 338 = -3*z, z = -6*w + 86. Solve -z = -6*u - 98 for u.
2
Let f(c) = -2*c + 17. Let s be f(7). Suppose 5*j - 2*y + 120 = 0, s*j + 4*y + 72 = -0*y. Let n = 27 + j. Solve 0 = n*g - 6 - 3 for g.
3
Let k = -36 - -42. Suppose r - 1 = -2*a, a = -0 - 1. Solve -r*w + 0 = k for w.
-2
Suppose -b - 11 = -14. Suppose -b*l = -3*c, 3*c - l = -0*c. Solve -3*z + 4*z + 5 = c for z.
-5
Let a(m) be the third derivative of m**4/12 + 5*m**3/3 - 13*m**2. Let o be a(-2). Solve -o*l + l = -25 for l.
5
Let b(j) = -4*j - 73. Let i be b(-19). Solve 0 = -i*o - 2*o + 10 for o.
2
Let a be (-3)/18 + (-25)/(-6). Suppose 5*l = a*r + 17, 5*r = 3*l - 5*l + 20. Solve n - l = -4*n for n.
1
Suppose -5*u - 55 - 46 = -3*d, -4*u + 119 = 5*d. Suppose 0*c + 6 = 5*c - 3*x, 0 = -3*c - x + 12. Let g be (d/(-6))/(c/(-6)). Solve 5*m - g - 1 = 0 for m.
2
Let r(w) = w**2 + 5*w - 4. Let i be r(-6). Suppose -3*y + 26 = -i*k, -2*k - 2 = y - 0. Solve 0 = 3*f + y + 9 for f.
-5
Suppose 0 = -4*f - 5*m - 2, -f = 3*m - m - 1. Let b be 0/(f - 0) - -2. Solve b*n = 3*n - 4 for n.
4
Suppose y + 3*o - 139 = -2*o, 4*y = -2*o + 466. Let h = -114 + y. Solve h*t = 5*t for t.
0
Let z(y) = -y**3 - 5*y**2 + 16*y + 17. Let x be z(-7). Solve 3*o = 4*o - x for o.
3
Let u = -112 + 55. Let g be 1*3*(-76)/u. Solve p + g*p - 10 = 0 for p.
2
Suppose -1053 + 61 = -31*a. Solve -a = -x + 17*x for x.
-2
Suppose -4*j = 4*o, -6*o - 10 = -4*o. Solve 20 = -v + j*v for v.
5
Suppose -28 = -3*q - 4. Let v be 2*(28/q - 2). Suppose v = 5*h - 7. Solve 0 = h*r + 2 for r.
-1
Let o be (6 - 5)*(2 - 3). Let d = o + 6. Suppose -3*a = -11 + d. Solve -b + 2*b = a for b.
2
Let p be (-325)/45 + 4/18. Let z = 8 - p. Suppose -4*x - x = -z. Solve 2*k + x + 1 = 0 for k.
-2
Let w(j) = 2*j**3 + 29*j**2 + 57*j - 3. Let p be w(-12). Solve 2*k - p + 29 = 0 for k.
2
Suppose 3*q - 2*q = 0. Let u = 8 + -5. Let m = u - q. Solve -2 = t - m for t.
1
Suppose -23 = -8*n + 161. Let x = n - 21. Solve b - x*b + 3 = 0 for b.
3
Let m(r) = -2*r - 8. Let j be m(-5). Suppose -j*k + 2 + 22 = 0. Let h be ((-4)/6)/(7/(-21)). Solve -q - k = h*q for q.
-4
Let a(x) = x**2 + 3*x - 12. Let f be a(-6). Solve -f*d = -13*d + 7 for d.
1
Let h(u) = -u + 0*u + 1 + 0*u + 9. Let i be h(9). Let p be 6/(-2*(-1 - 0 - 0)). Solve -p*c + i + 5 = 0 for c.
2
Let o be 8/12*(-20)/(-30)*108. Solve -14*p = -2*p + o for p.
-4
Suppose 14 = -17*a + 24*a. Solve -a*q = 2*q for q.
0
Let l(u) = -5*u**3 + u**2 + 3*u + 3. Let g be l(-2). Let r = g - 38. Solve -q - 12 = r*q for q.
-3
Suppose 3*o - 6*o + 21 = 0. Solve -o*i - 26 = 9 for i.
-5
Let h = -99 + 120. Solve 3*l = -9 + h for l.
4
Let z(p) = p + 12. Let o be z(-12). Suppose o = n - 3*f + 4, -2*n - f - 7 = -4*n. Suppose 0*k = 5*k + 5*t + 20, 0 = -n*t - 20. Solve k = -4*d + 13 + 7 for d.
5
Suppose 6*v + 2*v - 144 = 0. Solve v = -0*c + 9*c for c.
2
Suppose -13*t + 48 = -5*t. Solve -7*c = -t*c + 3 for c.
-3
Suppose -2841 + 2787 = -3*o. Solve -14 = 2*y - o for y.
2
Suppose 21 = 3*f + 3*w, 0 = 3*w + 2*w - 20. Suppose f = 4*i - 5*i. Let m be 3 + 15/i + 5. Solve 0 = m*y + y + 12 for y.
-3
Suppose 32*u - 25 = 27*u. Solve 0*p - 5*p + u = 0 for p.
1
Let m be 4/18 - (-1378)/117. Solve -9*c - 9 = -m*c for c.
3
Let j(b) = b**2 - 4*b + 6. Let h be j(4). Suppose h*u - 28 = 2*u. Solve 0 = -5*n + u - 2 for n.
1
Suppose -2*q + 0*q - 234 = 5*h, 5*q - 159 = 3*h. Let a = -33 - h. Let s be (a - (-3 - -3))*1. Solve 3*c + 0*c + s = 0 for c.
-5
Let c(b) = -b**3 + 3*b**2 + 10*b + 4. Let l be c(5). Let w(q) = -q + 1. Let r(i) = 4*i - 1. Let t(n) = -r(n) - 5*w(n). Let s be t(5). Solve -l*f - s = 15 for f.
-4
Let i(n) = -n**2 + 6*n + 2. Let p(s) = 5*s - 11. Let v be p(6). Suppose -3*c = -5*u - 43, 2*c - 5*u - v = 3*c. Let a be i(c). Solve 3 = a*d - 5 for d.
4
Let w = -92 + 89. Let l be 38 + -42 - (-1 + w). Solve -2*p + 2 - 6 = l for p.
-2
Let d = -1 - 100. Let s = 103 + d. Solve -l = -s*l for l.
0
Suppose -766*r + 742*r + 1368 = 0. Solve 0 = o - 60 + r for o.
3
Let w(x) be the second derivative of -3*x**3/2 + x**2/2 + 5*x. Suppose 3 + 1 = -4*y. Let o be w(y). Solve 3*j - j = o for j.
5
Let o be (-8)/(-10) - 1178/(-190). Let g be -12*(-2 + 0)/4. Suppose 4*z + 15 = 5*h + g*z, 4*h - 3*z - 12 = 0. Solve c + h - o = 0 for c.
4
Let a = -14 - -6. Let b = -3 - a. Suppose -b*w = -11 + 1. Solve w*d = -2*d for d.
0
Suppose 0 = 4*f - 14 + 66. Let m = f + 19. Let z be (m/(-9))/((-3)/9). Solve 0*p + z = -p for p.
-2
Let l be -6*1*(-40)/80. Let d(k) = k**3 - 7*k**2 + k - 7. Let j be d(7). Solve j = -l*c - 2*c for c.
0
Suppose -2*u - 8 + 6 = 0.