1*t = -132*t + 549. Solve t + 3 = 4*c for c.
3
Let n(k) = 44*k - 107. Let m be n(3). Solve -m = 9*a - 4*a for a.
-5
Let z = -272 - -277. Solve 0*t = 5*t - z for t.
1
Suppose 2*l = -6*o + 3*o + 39, 5*o = -5*l + 70. Suppose 4*k = -7 + o. Solve 5*n + k = 11 for n.
2
Suppose 3*h - 262 = -241. Solve -w - h = -3 for w.
-4
Suppose -109 = -4*m + p, 0 = 5*m - 2*m + 5*p - 76. Let w = m - 24. Solve 0 = j - w for j.
3
Let q(v) = v**3 - 13*v**2 + 9*v + 39. Let o be q(12). Solve o + 5 = 8*i for i.
1
Let c be (84/105)/(1/10). Solve -c*k - 6 = -5*k for k.
-2
Suppose 0*a = -2*a + 4. Let f be (-190)/(-45) + 6/(-27). Let r = f + -4. Solve 0 = a*z - r*z + 4 for z.
-2
Let t = -2487 + 2490. Solve t = 247*c - 248*c for c.
-3
Let j(s) = s**3 - s**2 + 5*s - 5. Let d be j(3). Let q = 28 - d. Solve -3*v = -q*v - 15 for v.
5
Let d be (-14)/2 + 8 - -53. Solve 59 = -5*n + d for n.
-1
Suppose 0 = 3*u - 2 - 40. Solve 0 = -u*l + 6*l + 16 for l.
2
Suppose 9*d - 16*d + 315 = 0. Let w = -42 + d. Solve -3 = w*g + 6 for g.
-3
Suppose -961*k = -967*k + 18. Solve 5 = k*a - 7 for a.
4
Suppose 1587*c = 1591*c - 120. Solve -21*f - 33 = c for f.
-3
Let k = 147 + -266. Let v be (-1)/2 + k/(-14). Let n be (-2)/(v/(-12)) - 0. Solve n*o + 4 = -5 for o.
-3
Let t(f) = -2*f**2 - 11*f - 10. Let u be 0 - (3 + (5 - 4)). Let z be t(u). Solve -2*c - 4 = z*c for c.
-1
Suppose 10*s - 5*s - 3*u = 26, 0 = -4*s + 3*u + 22. Solve 4 = -s*d + 12 for d.
2
Let z be 4/14 - (-18)/84*22. Solve z*a + 3 + 2 = 0 for a.
-1
Let k(v) = 7*v**3 + 36*v**2 - 4*v + 12. Let o be k(-5). Solve -52 = 5*c - o for c.
1
Suppose 3*y = 5*y - p - 4, 5*y + 3*p + 12 = 0. Solve y = 4*m + 14 - 2 for m.
-3
Let n be ((-2)/(-6))/(4/276*1). Solve -11*l + 12 = n for l.
-1
Let k be (2/5)/(8/480). Let d be 3*4/k*-2. Let s be d/(3/(-18)*3). Solve 0 = -o + 2*o - s for o.
2
Suppose 0 = -2*c + 3*x - 35 - 24, 182 = -5*c - 4*x. Let z be 13/(-2)*42/7. Let v = c - z. Solve -2*r + v = -3 for r.
4
Let b(t) = 30*t - 1315. Let d be b(44). Solve -28 = d*o - 43 for o.
3
Let j be -2 - (6/(-3) + 0). Let v(m) = -m**3 + 8*m**2 - 6*m - 1. Let h be v(7). Suppose h + j = 2*n. Solve -n*b = b for b.
0
Let p(y) = y**3 + 7*y**2 + 9*y - 9. Let d be p(-4). Solve -21 + 27 = d*w for w.
2
Suppose 13*l = 8*l + 15. Let c be l + 1 - (-8)/(-4). Suppose -4*i + 3*i + 9 = 0. Solve -c*u + i = u for u.
3
Suppose -58*m + 59*m = 9. Solve m*n - 19*n + 50 = 0 for n.
5
Suppose 2*v + 3*o = 17, -13 = v - 2*v - 3*o. Let u be 1 - (-4 - (7 - v)). Suppose -12*l + u*l + 24 = 0. Solve g = l*g for g.
0
Let q be (0/(-2))/(-3 + 5). Let r = -54 - -56. Solve -h - h - r = q for h.
-1
Let r be ((-10)/3)/(12/(-18)). Suppose 2*j - 4*g - r + 3 = 0, -4*j + 22 = g. Solve -4 - 1 = -j*f for f.
1
Suppose -5*v + i + 79 = 0, 0 = -2*i + 5 - 3. Suppose 2*p - u - 20 = -5*u, -p = 5*u - 25. Suppose 3*x = 4*z - p*z - 10, 2*z + 2 = -2*x. Solve -v + z = 3*o for o.
-5
Let u(m) be the second derivative of m**4/12 + 13*m**3/6 - m**2 - 2*m. Let v be u(-13). Let t be 494/65 - v/5. Solve -t = -f - 3 for f.
5
Let j = 183 - 176. Solve -r - j = -6 for r.
-1
Suppose 0 = c + 4*o - 12 - 2, -3*c + 4*o = -26. Solve -c*k = -5*k - 10 for k.
2
Let a = 8 - -2. Let f(m) = -m**2 + 12*m - 18. Let k be f(a). Solve k*c + c = 0 for c.
0
Let w(t) = -3*t**2 + t + 4. Let m(p) = 2*p**2 - p - 3. Let z(k) = 4*m(k) + 3*w(k). Let l be z(-1). Let h be 3/((-12)/(-8) + l). Solve -4*d + 6 - h = 0 for d.
1
Let b = -21 - -43. Suppose 2 = 2*a - b. Let j be 20/3 - a/18. Solve 4*m + 6 = -j for m.
-3
Let a = 48 - 34. Suppose a*g - g = 65. Solve 0 = g*z - 5 - 0 for z.
1
Let p(b) = -b**3 - 12*b**2 + b + 15. Let u be p(-12). Suppose -2*q + 5*q + u = 0. Let t = q + 4. Solve 7 = -t*i - 2 for i.
-3
Let x(y) = -y**3 - 18*y**2 - 41*y - 140. Let o be x(-16). Solve -18 + 6 = -o*v for v.
3
Let v(r) = -r**2 + 7*r - 6. Let p be v(2). Suppose p*b + 0*t - 3*t = 16, 0 = -3*b + 5*t + 12. Solve -b*c = 7 + 5 for c.
-3
Let m(u) = u**3 - 3*u**2 - 7*u - 6. Let s be m(5). Suppose 0 = 2*d - s*d. Solve 4*o + 0*o = d for o.
0
Let x be 12 - (6/(-1) + 3). Suppose -g + 19 = 2*l - 12, -3*l - 4*g + 39 = 0. Suppose 4*n - 5*z = l, 2*n + 2 = n - 5*z. Solve n - x = -4*v for v.
3
Let v = 15 - 10. Suppose -f - 4 = i + f, 7 = -3*i - v*f. Suppose 3*p = 0, 2*n + 3*p = -0*n + i. Solve 10 = -n*s + s for s.
-5
Let m be (-1)/3 + (-400)/(-120). Solve -m*r + 2 = -2*r for r.
2
Suppose -6*v + 208 = -20. Suppose 4*b + 3*h = 6*h + v, -2*b = -2*h - 20. Solve -2*y - 2*y = -b for y.
2
Suppose 5*p - 20 = 0, -4*p - 9 = -5*j - 0. Suppose 4*b - 3*b = j. Suppose 7*h = 2*h. Solve -5*w - b = -h for w.
-1
Suppose 0 = -3*o + 2*o + 2. Solve 3*b + 5 = o*b for b.
-5
Suppose 0*t + 3*t = -5*i - 21, -3*i + t - 7 = 0. Let x be i/(-12) + (-120)/(-32). Solve -x*g - 2 = -3*g for g.
-2
Let a = -265 - -269. Solve -x = x + a for x.
-2
Suppose 3*f - 3*x - 112 = -4*x, 2*x = 8. Solve 7*m = -5*m + f for m.
3
Suppose 0 = 4*c + c - 60. Suppose 24 = f + 3*n, 0 = -f - 2*f + 2*n + 28. Suppose 0 = 5*h - 4*d - 23, -f = -5*h + 2*d + 17. Solve 3*j = h*j + c for j.
-3
Let x = -36 - -39. Solve -2*c - x = -5*c for c.
1
Let w(r) = r**3 + 4*r**2 - 7*r - 7. Let l be w(-5). Let g(m) = -m**3 - 4*m**2 + 10. Let s be g(-5). Suppose 2*x = -l*x + s. Solve -3*j + 2 + x = 0 for j.
3
Let y(u) = -u**3 + 14*u**2 - 10*u - 34. Let h be y(13). Solve 2*s = s + h for s.
5
Suppose 54*f + 4*c + 332 = 57*f, 556 = 5*f - 4*c. Solve -f*r = -113*r for r.
0
Let s be (-3 + -1)*(1 - 2). Suppose -17*k = -20*k + 9. Suppose k*j = j + s. Solve -2 = -4*f + j*f for f.
1
Let v be (-488)/(-40) + (-5)/25. Solve -4*i + 0 = v for i.
-3
Let s be -37 - (0/1 + -1). Let r = -28 - s. Solve -2*n - r = -4*n for n.
4
Suppose 0 = -8*w - 44 + 44. Let n = 30 + -5. Solve w = 4*p + p + n for p.
-5
Let g = 198 - 166. Solve -13*w + 5*w = -g for w.
4
Let w(l) = -l**3 + l**2 + 7*l + 1. Let y be w(3). Suppose -3*g + y*p = 1, -g + 2*p = 3*p - 9. Suppose o = v - g, -4*v + 2*v = o + 5. Solve v*c - 3*c = 3 for c.
-1
Let r be -3 - 48/(-6) - 3. Solve r*w + 12 = 5*w for w.
4
Let n = -56 + 58. Let c be 2/4*(-12)/6. Let q be c/6 + (-215)/(-30). Solve q*r = n*r + 5 for r.
1
Suppose 2*y + 4*c + 128 = 6*y, -c = -1. Suppose -17 - y = -2*l. Solve l = -9*r + 4*r for r.
-5
Let x be 4 + (11 + -4)/(-7). Solve x*i + 12 - 6 = 0 for i.
-2
Let s = 358 + -349. Solve s*q - 1 = -46 for q.
-5
Let b(n) be the first derivative of 1/2*n**2 + 15*n - 11. Let p be b(-11). Solve z + p = -z for z.
-2
Let h(o) = -o**3 + 13*o**2 + 25*o + 76. Let t be h(15). Let j be 15/4 - 2/(-8). Solve -5 = -j*d - t for d.
1
Suppose -5*g + 19 + 1 = 0. Suppose -11 = -3*z + g. Solve 2*j = z*j - 3 for j.
1
Let h be -2 - (2/4*0)/2. Let t be h/(2*-4) + (-376)/(-32). Solve 3*f + 0 = t for f.
4
Let k be (-2 + 2)*3/12. Solve -2*y - 3*y = k for y.
0
Suppose 28 = 6*z - 5*z - 3*f, 0 = -2*z - 4*f + 16. Solve z*t = -4 + 68 for t.
4
Let r(q) = -9*q + 238. Let c be r(26). Solve c*y = 2*y + 6 for y.
3
Suppose -n - 11 = -2*a - 12, 13 = -2*a + 5*n. Solve -s = a + 2 for s.
-3
Let w be (-28)/70 - (-4)/((-40)/(-114)). Solve -2*f - 5 + w = 0 for f.
3
Let x be (0 - -4)*(-42)/(-56). Solve 0 = x*v - 0 - 12 for v.
4
Suppose -13*j + 125 = 12*j. Solve 7 = -j*s - 8 for s.
-3
Let u(c) = c**2 - 30*c - 423. Let g be u(-11). Solve -16 = -g*j + 32*j for j.
-4
Suppose 41*f - 169*f = 0. Suppose h - c - 1 = -0*h, -3*c - 1 = -2*h. Suppose 0 = -d - 3, b = -h*b + 4*d + 24. Solve f = -y - 1 - b for y.
-5
Let h be 1*(2 - 1*-7). Let j be (2/7)/((-36)/(-504)). Let u = 0 + 0. Solve -j*f + f + h = u for f.
3
Suppose -g = 5*q - 20, -5*g = 4*q - 7 - 9. Let o(d) = -d**3 + 11*d**2 - 8*d - 9. Let c be o(10). Suppose 4*a - 31 = -c. Solve a*y + 0*y = g for y.
0
Let o(i) = -i + 3. Let n be o(1). Suppose 0 = 2*j + 5*h + 15, -j + 3*h + 30 = -n*h. Solve 6 = -7*r + j*r for r.
-3
Suppose 3*h - 49 + 16 = -4*w, w + 4 = h. Suppose -4*x + 6 + h = -y, -4*x = -2*y - 18. Solve -3*v - x = -2*v for v.
-2
Let d(s) = s + 23. Let o be d(-11). Suppose -6*z = -10*z + o. Solve z*b = -3 - 0 for b.
-1
Suppose 2*x + 1 - 52 = f, x + 2*f = 23. Let m be (-5)/x - (-18)/15. Solve 0 = -3*i + 2 + m for i.
1
Let v = -432 - -437. Solve 9*d = v*d - 8 for d.
-2
Let h(y) = y**3 + y**2. Let m be h(-1). Let b(r) = -2*r**2 + 15*r - 15. Let l be b(6). Suppose -z = -l*z. Solve m = 2*c - z*c - 8 for c.
4
Suppose 250 = -3*q + 8*q. Let t = -50 + 