 4 for c.
2
Let v = -272 - -297. Let z(b) = -2*b**3 + 51*b**2 - 26*b + 25. Let f be z(v). Let c be 3/(-9) - (-1)/3. Solve c*w - 5*w = f for w.
0
Suppose 2*w = 2*m - 1 - 1, 5 = -5*m - 5*w. Suppose m = -5*a + 68 - 8. Suppose -11*f = -a*f + 2. Solve 3*u - 3 = f*u for u.
3
Suppose -39 = 4*a + p, 3*a + 5*p + 42 = -0*a. Let z be (0 - (-12)/a)*-3. Let d(m) = m**2 - 11*m - 7. Let y be d(12). Solve -i - z*i = y for i.
-1
Suppose -5*i + 7 = 4*v, 4 = -5*v - i - 3. Let t(c) = -32*c - 3. Let j be t(v). Let q = j - 55. Solve -q*n = -n for n.
0
Let p(x) = -2*x**2 + 14*x - 9. Suppose -18 = -5*r - 2*s, r + s = 2*r + 2. Let q be (r*4)/(-2)*(-39)/26. Let u be p(q). Solve c - u = -5 for c.
-2
Suppose 0*r = 2*r - 12. Let i(a) = 5*a - 139. Let j be i(29). Suppose 6 = f + m, 3*m - 8 = -5*f + 16. Solve -f*y = -r*y + j for y.
2
Let i(m) be the second derivative of m**4/4 + m**3/2 + 39*m. Let w be i(0). Let r be w/((-3)/(-6)*-8). Solve r*k - 2*k + 6 = 0 for k.
3
Let r be -5 - (12416/(-1152) + (-4)/18). Solve -76 = 14*a - r for a.
-5
Let w = 21 + 31. Let k = 54 - w. Suppose 3*i - 21 = -5*m, k*m + m + 1 = 5*i. Solve -9 = s + i*s for s.
-3
Let t = 48 + -12. Let q(l) = -l**3 - 3*l**2 - 4*l - 2. Let x be q(-1). Suppose -s - t + 39 = x. Solve -s*m - m = -16 for m.
4
Let p be (1 + 1)/(0 - (-3)/15). Suppose -164 - 154 = -53*b. Solve -p = 4*r + b for r.
-4
Suppose 4*b = -2*q + 1128, -5*q + 1420 = -0*b + 5*b. Let s = b - 280. Let i = -8 + 13. Solve i*g - 3*g = s for g.
0
Let a be 71/142*(-304)/(-2). Solve 47*k = 66*k + a for k.
-4
Let q(o) = 7*o + 119. Let v = -455 - -444. Let u be q(v). Solve -40*z = -u*z + 2 for z.
1
Let g be (-82)/205*(-25)/2. Suppose 2*l - 8 = -4*a + 2*a, g*a + 5 = 0. Solve 6 = -7*h + l*h for h.
-3
Suppose 8*r + 5*b = 6*r - 10, 4*r + 5*b + 10 = 0. Suppose 0 = -0*o + 2*o - 12. Solve r*j = o*j for j.
0
Let q = -6095 + 6110. Solve 38 - 113 = -q*f for f.
5
Let o = -9 - -5. Let m be (-88)/33*(-33)/o. Let v = m - -24. Solve -f = v*f for f.
0
Suppose -2*i - 25*i = -432. Suppose 9*j - 8*j - i = -4*p, -3*j + 15 = p. Solve 27 = p*v + 12 for v.
5
Let n = -82 - -101. Solve -9*s + n = 10 for s.
1
Let v(k) = -4*k**3 + 65*k**2 + 13*k - 459. Let q be v(16). Let h be -1*-1*2 + -2. Suppose h = t - 4*l + 5, 3*l - 6 = -0*l. Solve t*d - 2 = q*d for d.
-1
Let o(m) = m**3 - m**2 - 8*m - 2. Suppose 11*g + 6 = 8*g - s, -4*g = 3*s + 8. Let a be o(g). Let z(b) = b**2 + 5*b. Let t be z(-6). Solve 2*k + a + t = 0 for k.
-4
Let l be 12/21 + (-12)/21. Let h be 0/(-2 - (l + 0)). Solve h = 6*f + 6 - 0 for f.
-1
Let q(h) = h**2 + 60*h - 588. Let b be q(10). Solve 137 - b = 5*w for w.
5
Suppose 5*q - 4*b + 567 - 615 = 0, 5*q - 5*b - 55 = 0. Solve q*i = 8 - 0 for i.
2
Let n(q) be the first derivative of -18*q**2 - 212*q - 91. Let l be n(-7). Solve -5*o - l = 3*o for o.
-5
Let f(r) = -15*r**2 - 3*r - 11. Let k be f(-5). Let m = k + 376. Solve m = -4*b + 5 for b.
0
Suppose 2*c = 2*p + 33 - 83, 0 = 4*p - 5*c - 101. Solve -p = -21*g - 3*g for g.
1
Suppose -66 = -4*i + 5*z, 3*i - 4*z = 6*i - 96. Solve -21*l - 102 = i for l.
-6
Let m = 16501 - 15831. Solve 0 = 6*d + m - 658 for d.
-2
Let r(j) = 2*j**2 - 68*j - 381. Let y be r(-5). Solve 6 = y*f - 21 for f.
3
Let g be ((-1)/(1/3))/(984/295856). Let b = -902 - g. Solve p + p - 2 = b for p.
1
Let b(x) = -302*x + 3350. Let a be b(11). Solve 25 + 59 = a*t for t.
3
Let n(c) = c**2 - 2*c + 3. Let j be n(11). Let x = -60 + j. Suppose x = 9*t + 12*t. Solve o + t = -0*o for o.
-2
Let z(c) = -5*c - c**3 + 2*c + 0*c - 4 + 5*c**2 + 2. Let p be z(2). Suppose -p*o + 43 + 1 = 0. Solve 5 = 2*b + o for b.
-3
Let a(r) = r**2 - 20*r + 26. Let v be (-6)/(78/37) - 4/26. Let p(h) = h + 22. Let d be p(v). Let t be a(d). Solve 8 = -3*l + t*l for l.
2
Let h = -39000 - -39108. Solve h - 144 = -4*u for u.
9
Let p = 2312 + -2160. Solve -j + 151 = p for j.
-1
Let u = 0 + 4. Suppose 26*r - 269*r + 1848 = 681*r. Solve 4*h - u = r*h for h.
2
Let q(d) = -d**3 + 9*d**2 + 41*d - 360. Let x be q(8). Solve -8 = -x*y - 40 for y.
-1
Let h = 3458 + -3252. Solve h*m = 198*m for m.
0
Suppose 0 = -2*w + 13*o - 10*o + 16, 2*o - 46 = -2*w. Solve 0 = -25*g + 58 + w for g.
3
Let q = 740 - 670. Suppose -5*m = 2*n - 79, -14*m = -9*m + 5*n - q. Solve 19*r - m*r - 6 = 0 for r.
3
Let l be ((-312)/39)/(0 + (-2 - 0)). Let p = -9 + 9. Suppose 4*b - b = p. Solve b = -l*q + 5*q for q.
0
Suppose -s + 3*s = 12. Let f(b) = b**2 + b - 1235. Let c be f(-36). Solve -n + s*n = c for n.
5
Suppose 53*x = 28*x + 2800. Suppose 0 = x*a - 119*a + 224. Solve 17*b - 9*b = a for b.
4
Let x(g) = 14*g**3 + g. Let m be x(-1). Let u = -14 - m. Let r be (-18)/(2 + u)*(-4 + 3). Solve -2*o = -0*o - r for o.
3
Suppose -7*o = 4*f - 24, 4*o - 8 = -10*f + 7*f. Solve -2534 = -o*z - 2598 for z.
-8
Suppose -44*l + 4851 = -65*l. Let c = -227 - l. Solve v - 7*v = -c*v for v.
0
Suppose -2*j + 4*f + 24 = 0, -5*f + 9 + 5 = 3*j. Solve j*w - 23 = 1 for w.
3
Let k be (-3)/(-12) + 747/36. Solve -20*b = -k*b for b.
0
Suppose -15*s + 2756 - 2696 = 0. Solve -194*c + s = -190*c for c.
1
Let h(u) = -u**2 + 27*u + 340. Let l be h(36). Solve l*t = 5*t + 66 for t.
6
Suppose v + 2*f = 3 - 1, -5*f + 5 = -4*v. Let i(a) = 9 + 2*a**2 - 16*a + 2*a**3 - 23*a + 30*a. Let b be i(1). Solve -2*h + b*h = v for h.
0
Suppose 14*u - 18*u + 26 = 2*s, -2*u + 2 = 0. Let m(t) = t**2 + 2*t - 67. Let z be m(s). Solve -11*n = z - 21 for n.
-5
Let t be -3*127*(9 + (-377)/39). Solve -j - 255 = -t for j.
-1
Let j(c) be the second derivative of -c**3/6 - c**2/2 + 7*c. Let v be j(0). Let a(l) = -2*l**3 - 2*l**2 - 3*l - 1. Let n be a(v). Solve 0*y = -n*y - 8 for y.
-4
Let a(x) = -x**2 + 30*x - 136. Let u be a(10). Let s(p) = -p**3 + 7*p**2 + 3*p - 2. Let v be s(5). Let g = u - v. Solve g = 4*b - 3 for b.
1
Let d(w) = 2*w**2 + 2*w + 3. Let v be d(-2). Let h be 45/(-18)*48*(-16)/64. Solve -v*b - h = -b for b.
-5
Let g = -27 + 54. Let i be 2 + (0 - 4) - (3 + -3). Let j be -3 + (i/6)/((-3)/g). Solve 0*q - q = j for q.
0
Suppose -30*f + 35*f = b - 70, 5*f = -2*b + 95. Let o = -98 + 153. Let j = o - b. Solve 2*r + 10 = -j*r for r.
-5
Let k(y) be the first derivative of y**4/4 + 13*y**3/3 + 19*y**2/2 - 17*y - 63. Let x be k(-11). Solve -12*s + x*s = -8 for s.
-2
Let o(w) = w**3 - 3*w**2 + 33*w - 96. Let f be o(4). Solve -42*u + 178 - f = 0 for u.
3
Suppose 9*m + 43 - 97 = 0. Let i(o) = -2*o - 6. Let p be i(-5). Suppose -r - p + m = 0. Solve r = g + 3 for g.
-1
Let t(k) = 3*k**2 - 181*k + 408. Let i be t(58). Solve -i*b + 16 = 8 for b.
4
Let w = -4 - -9. Let r be -3*3*18*39/(-3159). Solve r*m = m + w for m.
5
Let k(z) = z**3 + 18*z**2 + 16*z - 9. Let y be k(-17). Suppose -y*o + 7 = -49. Solve 1 = -4*t - o for t.
-2
Let m(v) = 28*v + 13. Let n be m(-14). Let w = 381 + n. Solve -4*q - w = 10 for q.
-3
Suppose -a - 5*o = -24, 5*o = -2*a + 6*o + 4. Suppose 0 = -3*u + u - a*g, -5*u = -2*g - 36. Solve 9 = -3*r + u for r.
-1
Let k(c) = -35*c + 610. Let j(s) = 12*s - 202. Let o(f) = -8*j(f) - 3*k(f). Let h be o(25). Solve 12*u = h*u + 3 for u.
3
Let y be (-1 + (-33)/15)*-5. Suppose -2*v - 2*v = -y. Suppose 0 = -23*w + 114*w - 91. Solve -v*h + 3 = -w for h.
1
Let q be (-28)/20 + 1 + 1370/50. Solve -q*t = -17*t for t.
0
Let r(w) = -w**3 + 11*w**2 + 11*w + 12. Let x be r(12). Suppose x*d = -4*d + 336. Let q = -82 + d. Solve -2 = 4*m + q for m.
-1
Let y(l) = -l**3 + 3*l**2 - 2*l + 12. Let p be y(3). Let z be 3 + -2 - (3 + (-30)/p). Solve -z*h - 8 = 1 for h.
-3
Let b(a) = 8*a**2 - 19*a - 24. Let x be b(-5). Suppose x = 20*m - 69. Solve -m*h = -15*h + 10 for h.
-5
Suppose 2*p - 3*n - 123 = -p, 3*n = -p + 57. Suppose -2*m - 13 + p = 0. Solve m = i - 5*i for i.
-4
Let w = -6095 - -6160. Solve w*q - 84 = 44*q for q.
4
Let q(y) = 3*y**2 - 6*y + 28. Let v be q(-15). Let t = v - 793. Solve t = 13*j - 3*j - 30 for j.
3
Suppose 5*z - 394 + 64 = 0. Let u = 59 - z. Let n = -3 - u. Solve 2 = -5*q + n*q for q.
-2
Let q(u) be the first derivative of -u**4/4 + 2*u**3 - u**2 + 4*u - 1. Let d be q(6). Let j = d - -12. Solve -2*t - 2 = -j*t for t.
1
Let l(p) = -6*p - 30. Let i(d) = -6*d - 29. Let w(k) = 4*i(k) - 3*l(k). Let f be w(-5). Suppose -2*z + x + 9 = f*x, -22 = -3*z + 4*x. Solve -z*s + s = 10 for s.
-2
Suppose 25*q - 6 = 73 - 4. Suppose 3*j + o - 5 = j, -3*j - 2*o + 10 = 0. Suppose -5 = -z - j. Solve -q =