8*c - 7*c for c.
1
Let q be -2*((-62)/217)/(2 - 20/14). Solve o + 5 = -q for o.
-6
Let p be 4/(-36) + (-1176)/108. Let n(z) be the first derivative of -3*z**2/2 - 26*z + 1. Let g be n(p). Solve g*x - 2*x - 20 = 0 for x.
4
Let g = -135 + 206. Let w be ((-7)/2)/((-549)/9882). Solve -g + w = 4*a for a.
-2
Let d(c) = -167*c - 18. Let x be d(-1). Let k = x + -145. Solve -2*n = k + 4 for n.
-4
Let f(s) = -s**2 + 12*s + 66. Let h be f(16). Suppose -4 = 2*o + 2*l + 2*l, -5*o = l - 26. Let d be ((-3)/18 + 6/(-18))*0. Solve -h*p - p + o = d for p.
2
Suppose 0 = -j + 5*d - 19 + 20, -4*j - 2*d = -48. Solve j*y - 18*y = 14 for y.
-2
Let q be -11 + (25 - -16) - -12. Solve -26*j = -47*j + q for j.
2
Let x = -6694 - -6694. Solve x = -16*p + 61 + 35 for p.
6
Let a be (-6)/(-2 + 4) + (-31 - -34). Solve a = 32*h - 6 - 122 for h.
4
Let v be 6*(-5 + (1 - (-45)/10)). Suppose 0 = 4*g + 7*d - 5*d - 54, -3*g + v*d = -54. Solve -2*y + g = y for y.
5
Let f(b) = 240*b**2 + 2*b - 3. Let w be f(1). Let r = 253 - w. Solve -r = n - 9 for n.
-5
Let t(q) = -14*q**2 - 218*q - 99. Let l be t(-15). Solve i = l*i - 100 for i.
5
Let k be (-4)/(19/((-3135)/6)). Solve 0 = 53*c + 49 + k for c.
-3
Let w = -83 + -3. Let i = 88 + w. Suppose -5*f - 4*t = -t - 6, i*f - t = -2. Solve 3*s - s = f for s.
0
Let j(g) = -2*g**2 - 7*g + 24. Let u be j(0). Suppose u + 3 = 3*d. Solve 0 = 13*k - d*k - 16 for k.
4
Suppose 3*s + 12 = 0, -2*s + 106 = -z - s. Let t = -106 - z. Let a be 0/((-6)/(-1 - -4)). Solve -16 = -a*y + t*y for y.
-4
Let o(b) = -b**2 + 15. Let t be o(0). Let h be (-2)/10 + 3/t. Let j(z) = 15*z**2 + 232*z + 409. Let n be j(-2). Solve 0 = -h*s - s - n for s.
-5
Suppose -26 = -4*y + 2. Suppose -79 = -84*s + 23 + 66. Solve s = -x + y for x.
5
Let c be 4*((-25)/(-10) + -2). Suppose c*g = -g + 42. Suppose -5*r - g = -12*r. Solve v = r*v + 2 for v.
-2
Suppose -13*v = -925 - 336. Solve -14*z - 13 = -v for z.
6
Suppose 0 = 4*v - 7 + 27. Let b = -5 - v. Suppose 27*g = 5*a + 25*g - 2, 16 = 2*a + 3*g. Solve -a*d - 6 - 4 = b for d.
-5
Suppose -2*x = 0, 325*w + 165 = 328*w + 2*x. Solve -19 = w*u + 201 for u.
-4
Let m = 2047 - 2008. Solve m = -8*d + 39 for d.
0
Let w(i) = -2*i**3 - 63*i**2 - 83*i + 216. Let v be w(-30). Solve -22*b - v*b - 196 = 0 for b.
-7
Suppose 4*d + 1551 = 5*z + 360, -3*d - 892 = -4*z. Let m = 307 + d. Let q be (1 + -2 - -3) + 0. Solve q + 7 = m*b for b.
3
Let l = 26 + -19. Suppose 0 = -4*x + 2*z + 20, 5*z - 7 = -2*x - 9. Solve -x*d - 3 = -l*d for d.
1
Suppose -12*f + 17*f + 4*c = 36, 2*c + 18 = 2*f. Solve 741 - 773 = f*r for r.
-4
Suppose -18*c - 53 = b - 13*c, 3*b = -5*c - 119. Let p be 45/(-105) + 234/7. Let h = b + p. Solve h - 3 = -s for s.
3
Let k = -246 - -244. Let x be (k + -1)*46/(-69). Solve 4*q = 6*q - x for q.
1
Let u(d) = 6 + 9*d**3 + d - 8*d**3 - 11*d - 7*d**2. Let b be u(8). Let n be (-2)/(b/(-15))*(-2 + -1). Solve 2*g + g + n = 0 for g.
-3
Let f(u) = u**2 - 4*u - 1. Let z be f(5). Suppose 0 = 5*b + 2*x - 5, 4*b - z*x - 37 = x. Suppose 16 = b*j + 7. Solve -7 + 19 = j*i for i.
4
Suppose -b - 296 = -2*r, -7*r + 3*b + 741 = -2*r. Let g = r - 142. Solve 4*u - g = 3 for u.
2
Suppose -784 = 3*r - 17*r. Let y be (44/2)/(r/28). Solve -y*l = -10*l for l.
0
Let r(b) = b**2 - 12*b + 25. Let s be r(7). Let a be (-2)/(-15)*15/s*-10. Solve i - a*i = -3 for i.
3
Let b = -176 + 128. Let c be (-14)/(-8) + (-12)/b. Solve t = 4 - c for t.
2
Suppose 235 = 5*t + 4*x, -5*t + 4*x + 136 = -139. Let r = t + -39. Let g be 3*-5*(-4)/r. Solve 0*n = g*n + 25 for n.
-5
Suppose 3*d + s - 1 = 0, d - 7*s - 22 = -3*s. Suppose 3*q - 24 = i, -3*i + 7*i = 0. Let c = 51 + -51. Solve c*w - q = -d*w for w.
4
Suppose 3*l - 648 = -186. Solve -151*c + l*c = 9 for c.
3
Suppose -d + 2 = -4. Suppose d*y - 3*y - 6 = 0. Suppose 0 = -4*l - 4, i = 6*i - l - 1. Solve 0*z - y*z = i for z.
0
Let q(p) = p**3 + 11*p**2 - 3*p - 29. Let v be q(-11). Suppose -n - d = 0, -12*d = v*n - 17*d - 27. Solve g + 0 = -n for g.
-3
Let a be 40*(-18)/(-72) + 38. Solve -a = 24*p - 16*p for p.
-6
Let c(k) = -6*k + 12. Let w be c(3). Let y be -1*(-3)/12 - w/(-24). Solve 17*r - 12*r + 15 = y for r.
-3
Let p = 51 + -58. Let x = p + 13. Let h be 13/(13/6)*x/9. Solve -h = l - 3*l for l.
2
Suppose g - 8 = 4*c, -4*g - 2*c + 1 = 5. Let d(r) = -10*r**3 - 2*r**2 + 7*r + 8. Let h be d(-4). Let x = h - 588. Solve g = u - 4 - x for u.
4
Suppose v - x + 14 - 23 = 0, -5*v + 4*x + 40 = 0. Solve v*n - 8*n = 0 for n.
0
Let g(o) = o**2 - 303*o - 2488. Let w be g(-8). Solve w = -225*m + 220*m + 10 for m.
2
Let b = 42 - 62. Let t = 15 - b. Suppose 4*h - 3*a = t, -15 = -4*h + 2*a - 3*a. Solve -h*s + 5 + 5 = 0 for s.
2
Suppose 6*r + 24 = 12*r. Suppose a = 5*s + 15, -2*a = -2*s + 1 - 7. Solve r*p - 11 - 1 = a for p.
3
Let n = 14050 - 14039. Solve n*p + 69 = -12*p for p.
-3
Let h = -24 + 39. Suppose -361 - 183 = -17*r. Suppose -38 = -14*z + r. Solve 0*x + h = -z*x for x.
-3
Let z = 5 - 1. Let v = -134 + 134. Suppose v = h + h + 3*h. Solve -l - l + z = h for l.
2
Let v(d) = -3*d**3 - 48*d**2 - 24*d - 23. Let x(l) = -l**3 - 16*l**2 - 9*l - 8. Let h(o) = -3*v(o) + 8*x(o). Let z be h(-16). Solve 8*u - 6 = z*u for u.
2
Let p be (6/(-15)*(-4635)/72)/((-1)/(-8)). Solve -5*s + p - 186 = 0 for s.
4
Let h(m) = m**2 + 19*m + 22. Let j be h(-18). Suppose -24 = -j*k + 3*r, 5*r + 11 = -9. Solve -k*o = -7*o for o.
0
Suppose -2*t = -3*y + 16 + 27, 0 = 5*t + 4*y + 50. Let l = 20 + t. Solve -w + l = -3*w for w.
-3
Let t = 76 + -51. Let p(a) = a**3 + 4*a**2 + 3. Let d be p(-3). Let v = d - 12. Solve -4*n - n + t = v for n.
5
Let s = -2844 - -2856. Solve s*b + 15 = 3 for b.
-1
Let w(m) = -m**3 - 58*m**2 - 262*m + 159. Let v be w(-53). Solve -9*n + 0 - 54 = v for n.
-6
Let m(x) = -17*x**2 + 26 + 34*x**2 - 18*x**2 + 3*x. Let q be m(6). Solve 4*v = q*v - 4 for v.
1
Let i(x) = 10*x - 7. Suppose 0 = -p + 4*f + 4 + 5, -2*p - 4*f = 6. Let g be i(p). Solve 0 = -3*a + 2*a - g for a.
-3
Let i(k) = -k**2 + 19*k - 24. Let m be i(15). Let b be 188/m - 2/9. Let r be 1 + 1*(b - 0). Solve 3*t = r*t for t.
0
Let l = -10710 - -10710. Solve l = -0*g - 17*g - 102 for g.
-6
Suppose 70 = 3*x + 4*g, 4*x - 139*g + 135*g - 140 = 0. Solve -56*n - x = -62*n for n.
5
Let w(k) = k**2 - 12*k + 22. Let g be w(10). Suppose 0 = -4*n - g*j + 18, -4 = 4*n - 3*j - 7. Solve -n*y + 6*y = -9 for y.
-3
Suppose -m - 5 = 3*s, 5*m + 37 = 4*s - 7. Let p(b) = 49 - 4*b + 37 - 116. Let u be p(m). Solve -4*y - 2 - u = 0 for y.
-1
Let h = -3390 + 3390. Solve h = f - 8*f + 42 for f.
6
Suppose -5*q = 4*i + i + 170, -3*q - 107 = -2*i. Let o = q - -8. Let g = 37 + o. Solve -w - w = -g for w.
5
Let r = 1181 - 1176. Let h(g) = -4*g - 30. Let l be h(-12). Solve -r*d = -l + 3 for d.
3
Let m be 70/8 - (-7)/28. Suppose 0 = -5*j + m*j. Let l = 67 + -63. Solve -l*c = -j*c for c.
0
Let j(h) = 327*h + 1989. Let s be j(-6). Solve s*i + 26 = -1 for i.
-1
Let q = -2685 - -2689. Suppose -4*i = i - 20. Suppose 8 = i*u - q. Solve 1 = -u*j - 11 for j.
-4
Let o = -25773 - -25897. Solve o = 7*z + 103 for z.
3
Let w(r) = -r**3 + 5*r**2 + 2*r + 23. Let i be w(6). Let x = 19 - i. Solve x = -2*l + 7*l for l.
4
Let w be 0 + 1 + (1 - 0). Let o be ((-8)/14)/2 + (-24)/(-84). Solve 0 = w*f - o + 2 for f.
-1
Suppose 4*s - 201 = -149. Let b be -6*(10 + -13)*1. Solve s*n = b*n for n.
0
Let v = 205 - 111. Let a = v + 16. Let m = -107 + a. Solve -4*j + m*j + 4 = 0 for j.
4
Let t be 4 + (-1258)/(-204) + (-1)/6. Let a = 10 - 5. Let g = a - -30. Solve 5*f = -t + g for f.
5
Let v be (-21)/(21/(-488))*8/32. Solve 0 = -38*s + 160*s - v for s.
1
Let g(r) = 14*r - 24. Let h be (-2 + 5)/((-2)/(-1 - 1)). Let w be g(h). Solve -w = -10*s + 12 for s.
3
Let r be 3/3*(264/(-308) + (-139)/(-7)). Solve -290 = r*c - 328 for c.
2
Suppose 4*k = 62 + 182. Let x = k + -54. Solve -4*b - 12 = -x*b for b.
4
Let c be (19/(133/(-1554)))/(-7 - -4). Solve c*z - 71*z + 6 = 0 for z.
-2
Let m = 5712 + -5690. Solve -21 = -c - m for c.
-1
Let u = -18922 + 18926. Solve u = 2*n - n for n.
4
Suppose -5*o - 6 = -7*o. Let f = 1 + 6. Solve -o = -2*w - f for w.
-2
Let t = 47 - 35. Let c be t*4/64*16/6. Solve -c*s = -7 + 3 for s.
2
Let c = -43 + 41. Let a = c + 6. Suppose -1 - 2 = -3*m. Solve 0 = -a*f - 17 + m for f.
-4
Suppose -g = -2*c - 18 - 0, -4*c = 3*g - 64. Suppose 2*p = -3*s + 8 + 2, -s -