
Let s = -213 + 221. Suppose -4*w = -s*w + 8. Suppose 2*c = 6*c. Solve m + c = w for m.
2
Suppose 5*v - 20 = v. Let d = 87965 + -87943. Solve 27*p = d*p + v for p.
1
Let n(j) = j**2 + 7*j - 8. Let b be n(-8). Suppose 2*a - 30 = 3*g, b*g - 3*g = 4*a - 42. Let f be 6/(-4)*(-16)/6. Solve 0 = -f*h + h + a for h.
4
Let s be (-12)/54 + (-120)/(-54). Let v be 52/(-6) - 2/(-3). Let y(b) = b**2 + 7*b - 5. Let h be y(v). Solve s*j - 20 = -h*j for j.
4
Let y = -301 - -345. Suppose -15*j + 31 = -y. Solve 4 + 11 = j*p for p.
3
Let b(d) = 4*d + 51. Let f(z) = -z - 40. Let x be f(-28). Let h be b(x). Solve 0 = -3*r - h*r for r.
0
Let a = -2922 - -2922. Solve a = -32*n + 36*n + 16 for n.
-4
Suppose -18*i + 26*i - 960 = 0. Let c be 8/3*90/i. Solve c*l = -3*l + 15 for l.
3
Let y(j) = -17*j**2 + 114*j - 134. Let v be y(5). Solve -v*h = -493 + 559 for h.
-6
Let r(i) = 9*i + 2. Let m be r(-3). Let u = m + 23. Let a be (-90)/(-9)*(-1)/u. Solve 0*f - 5*f = a for f.
-1
Let d = 26 + -23. Let a(g) = 2*g**3 - 3*g**d + 0*g**3 + 9 - 6*g**2 - 4*g + 0*g. Let j be a(-5). Solve 6 + 2 = -j*b for b.
-2
Suppose 82*v - 19*v - 62651 = 2932. Solve v - 1029 = 6*t for t.
2
Let x be 10 + -12 - (-4 - 1). Suppose 0 = 4*g + 4*a + a - 32, 0 = -x*g + 3*a - 3. Solve -g*t = t + 4 for t.
-1
Let q = 235 + -206. Suppose 5*j - q = 4*x, j - 4*x - 14 + 5 = 0. Solve 0 = -j*l - 10 for l.
-2
Let z(w) = -w**2 - 47*w - 88. Let d be z(-45). Suppose -d*s - 5*l = -30, -9*l + 54 = 3*s - 6*l. Solve -15*m = -s*m for m.
0
Let k be ((-12)/(-9))/4 + (-7654)/(-267). Solve -43*t - k = -72 for t.
1
Suppose 4 = -3*l + 4*b, b = -3*l - 28 + 29. Suppose 0 = -4*q - 2*k + 10, l = -2*q + 12*k - 14*k + 8. Solve -q = 7*m - 8*m for m.
1
Suppose 204*n - 6881 - 4285 = 50238. Solve -n*r = -304*r + 18 for r.
6
Let i(d) = d**2 - 14*d + 2. Suppose 2*p = 2*l + 22 + 2, 0 = 5*p + 2*l - 74. Let k be i(p). Suppose k*n + 10 = 0, -f - 3*f + 4*n = -60. Solve -f = q + q for q.
-5
Suppose 72 = 4*y + 5*a, 0 = 3*y - 4*a - 51 + 28. Solve 0 = -5*r + y*r for r.
0
Let s = -10 - -30. Let v = s + -14. Let h(z) = z. Let n be h(3). Solve 0 = n*c - c + v for c.
-3
Suppose 24 = 3*i, 286*b - 90 = 281*b - 5*i. Let p = 6 - 4. Suppose -7 = -o + 4*c, -p*o + 3*c = 2*o - 15. Solve l - o*l + b = 0 for l.
5
Let n(j) = -22*j + 87. Let b(l) = 35*l - 131. Let w(r) = 5*b(r) + 8*n(r). Let x be w(-16). Solve 5*u - x + 57 = 0 for u.
0
Let y = -4716 + 4725. Solve -25 = y*i + 20 for i.
-5
Suppose 3*d - 56 = -4*y, -3*d + y - 18 + 49 = 0. Solve 0 = 91*m - 89*m + d for m.
-6
Suppose -30*l = -31*l + 80. Solve -l + 104 = 12*b for b.
2
Let d(n) = n**3 - 54*n**2 - 44*n - 77. Let l be d(55). Solve l*q = 522*q - 36 for q.
-6
Suppose -9*y = -21240 + 18540. Solve 6*m = 294 - y for m.
-1
Let j be (-28)/4 + 100 + -1 + 3. Suppose -c - 4*q = -2*c + j, -20 = 4*q. Suppose 3*s + 3*x - 45 = 0, -3*x = 5*s - 6*x - c. Solve -s*n + 12*n - 15 = 0 for n.
-5
Let k = 15103 + -14764. Solve -43*m + 81 = k for m.
-6
Suppose 80 + 6 = -2*d. Let k(w) = -w**2 - 3*w - 26. Let p be k(-6). Let f = d - p. Solve -7 - f = 2*g for g.
-4
Let k be 2/(-4) - 45/(-6). Suppose -5*f = 2*u + 3*u - 25, -k = u - 3*f. Suppose 6*l - 26 = u*l + 2*z, 3*l - 17 = z. Solve -9*s = -l*s for s.
0
Let b(o) = -4 - 5 - 5*o - 47*o**2 - 7*o + 48*o**2. Let a be b(13). Let m be 2/a*14/1. Solve m*g - 6 = 4*g for g.
2
Let y(c) = 4*c**2 + 47*c + 216. Let t be y(-7). Solve -t + 83 = -2*i for i.
0
Let h(q) = q**2 + 63*q + 752. Let x be h(-47). Solve x = -23*b + 33*b + 60 for b.
-6
Suppose -11*i = 9*i - 3*i - 306. Solve 44 = 31*v - i for v.
2
Suppose 30*s = -12*s + 168. Suppose 2*n - 51 = -3*h - 12, 0 = s*n + 12. Solve -5*b + 5 - h = 0 for b.
-2
Let v(n) be the second derivative of 23*n**3/6 + 57*n**2/2 + 65*n. Let g be v(-2). Solve 2*s - g*s = 36 for s.
-4
Suppose 0 = -3*x - 2*x + 825. Suppose 4*m + 18 = -c - 15, -5*c - x = m. Let h be 11/c - 14/(-6). Solve i - h*i + 2 = 0 for i.
2
Suppose -4*g = -5*u + 2, u - 3 - 3 = -2*g. Suppose -2*a = -2*q + 20, -1 = u*q + 3*a - 31. Solve -i - q = 2*i for i.
-4
Suppose 1911 - 1911 = -12*u. Solve u = -78*s + 82*s - 20 for s.
5
Let k be -4*(1 + -6 + 8 + (-15 - -11)). Suppose 25 = 2*s + 5*r, -s = -r + 2 + 3. Solve 0 = -s*q + q + k for q.
-4
Let z = -2520 - -2520. Solve z = -73*y + 70*y + 3 for y.
1
Suppose -5*u - 10 = -7*u. Suppose -3*q - 2*i + 108 = 0, -u*q + 16*i + 180 = 13*i. Solve 0 = -9*s + q - 9 for s.
3
Suppose -2768 = -q + l, 147*l + 13800 = 5*q + 150*l. Solve -q*i - 36 = -2769*i for i.
6
Suppose 11*f + 10*f = 546. Suppose f*g + 8 = 27*g. Solve -12 = -g*p + 12 for p.
3
Let x be (0 + -1)/(-9) - (-9424)/72. Suppose 0 = -128*i + x*i - 60. Solve 14 - i = -2*y for y.
3
Let v(l) = 2*l**2 + 874*l - 8646. Let n be v(10). Solve 305*j = n*j + 55 for j.
5
Suppose 8815 = -21*d + 2011. Let h = 330 + d. Solve -i + 4*i + h = 0 for i.
-2
Let p = -7659 - -7667. Solve 44*t = 52*t - p for t.
1
Suppose 6*p - 13*p = -24*p + 8143. Solve -p + 463 = 4*q for q.
-4
Suppose -331*r + 490*r = 2103*r - 3888. Suppose o - 2*o = 4. Let q(y) = -y**2 - 5*y - 4. Let t be q(o). Solve 2*a - a + r = t for a.
-2
Let f = 90 + -82. Suppose f*r - 2 = 9*r. Let h be (1 - -2) + r + 1. Solve 4 - h = 2*m for m.
1
Let l(u) = -10*u - 32. Let n be (6/(-3) + 3)/(5/(-20)). Let g be l(n). Solve 0 = g*q - 9*q for q.
0
Suppose 2*g - 3*w + 5 = 0, g = -2*g - 3*w + 15. Let q(u) = -99*u + 199. Let k be q(2). Solve 3*j = g + k for j.
1
Suppose 24*j + 0*j = -120. Let u(t) = -6*t - 20. Let v be u(j). Solve v*x - 5*x = -10 for x.
-2
Let u be (-148)/(-3) + 64/(-48). Solve 6 + u = 6*x for x.
9
Let k(b) = b + 8. Suppose 14 = -h + 4*y, 4*h = -y - 4 + 16. Suppose 0 = h*i - 3*x + 17, 5 = x - 0*x. Let l be k(i). Solve -5*f + 2 = l for f.
-1
Suppose 9*j = 15*j - 30. Suppose -3*f = -j*y + 2 - 23, -14 = -f + 4*y. Suppose 0 = -19*x + 23 + 15. Solve 10 = -x*p + f for p.
-4
Let g = 4794 + -4759. Solve 22*n - g + 167 = 0 for n.
-6
Suppose 0 = -34*r + 609 + 445. Solve -3*z - r = -13 for z.
-6
Suppose 0 = -3*f - 2*z + 40, -3*f = -6*f + 5*z + 68. Suppose -149*k + 153*k = f. Solve 0 = -7*b + 8*b + k for b.
-4
Let u(o) be the third derivative of o**5/60 - 3*o**4/8 + o**3/2 + o**2 + 54. Let t be u(0). Solve 0 = -h - t + 5 for h.
2
Let j(t) = 3*t**2 + 21*t + 6. Let d(n) = 2*n**2 + 19*n + 7. Let p(s) = -4*d(s) + 3*j(s). Let l be p(14). Solve -5*k + 9*k = -l for k.
-1
Let q be (-2)/(-8) + 14/8. Let p(h) = -h**3 - 10*h**2 + 9*h - 18. Let c be p(-11). Let o(l) = -2*l. Let v be o(-2). Solve q*w - c = v for w.
4
Let r(o) be the second derivative of 4*o**3/3 + 3*o**2 + 31*o. Let k be r(0). Solve 5 = -k*h - 7 for h.
-2
Suppose 0 = -3*o + o + 20. Let y be 18 + -50 + (-108)/(-3). Solve b + y*b = -o for b.
-2
Suppose -5*g + 152 = -g. Suppose -t + 2 = -5*u, -39*t + 2*u = -g*t - 2. Solve 6*c = -4 - t for c.
-1
Let q be ((-118)/(-177) - (4/6 - 0)) + 4. Solve -4*w - 4 + q = 0 for w.
0
Let f(u) = -170*u**2 + u + 77 - u**3 - 25 + 168*u**2 + 22*u + 19. Let d be f(-5). Solve -d*p = -34*p + 12 for p.
4
Let o = -15 + 33. Let h be (-2)/(-6) + 41/3. Suppose -o = -c - h. Solve c*i = 2*i for i.
0
Let i = 8605 - 8569. Solve -i*p = -52*p for p.
0
Suppose -2*b - 4*b = -30. Suppose 0*n + 134 = 5*i - 4*n, 3*i = -3*n + 102. Let x be 26/i + 12/90. Solve 9 = b*u - x for u.
2
Let o = 20148 - 19823. Solve 66*l = l + o for l.
5
Let b(j) = -j**2 + 5*j - 15. Let p be b(9). Suppose 5*c + 156 = c. Let w = c - p. Solve 2*k - w + 4 = 0 for k.
4
Let p be 178/(-4)*1/(3/(-6)). Let s = 103 - p. Solve 0 = -18*h + s*h + 4 for h.
1
Suppose 73*x = -2*d + 75*x + 996, d = -2*x + 489. Solve -d*o = -488*o - 21 for o.
3
Suppose 19*s - 979 = -64*s - 6*s. Solve 37 = s*l - 18 for l.
5
Suppose 30*c + 123 + 147 = 0. Let o be (-15 - -2 - c)*(-10)/8. Solve -o*w = -3*w - 8 for w.
4
Suppose -154 = 10*w - 694. Suppose 2*f = 3*c + 2*c + 129, -4*c = -3*f + 183. Let y = f - w. Solve 3*d = 6 - y for d.
1
Let r be (28/10)/(8/540). Suppose 245*a = 238*a + r. Solve a - 7 = -5*j for j.
-4
Suppose 0 = -4*g + 2*s + 20, -5*g + g + 20 = 4*s. Let i be 4/2*46/4. Let n be -4 + (i + -3)/1. Solve 0 = -g*z + z + n for z.
4
Suppose -23*v + 21*v = -8. Suppose v*y - 3 = -j, -9 = 3*j - 6*j + y. Let z be (j/6)/((-6)/(-300)). Solve 0*w = -5*w + z for w.
5
Suppose 8*x - 4*i - 256 = 3*x, -5*i = -x + 26. Solve 2*c = -58 + x for c.
-1
Let m = 67 + -64. Let a(y) = 2*y*