 for a.
2
Let r(v) = -3*v**2 - 156*v + 25. Let c be r(-52). Solve c = -11*x + 16*x for x.
5
Let v = -1162 - -1188. Solve 0 = 10*y - 86 + v for y.
6
Let d be ((-18)/(-2) - -3)*(-9)/(-27). Suppose -128*m = -127*m - d. Solve -m*r = -9*r - 5 for r.
-1
Let m = 5 + 2. Let z be (6/m)/(1/7). Suppose 0 = 3*x + 5*g - 40, -505 + 481 = x - 3*g. Solve 5*j - 2*j + z = x for j.
-2
Let j = 695 - 667. Solve 48 = -4*k + j for k.
-5
Let x be 8/2 + -5 + (4 - 1). Suppose x*i = 4*s + 76, 0 = 4*i + 3*s - 2*s - 143. Solve -33*t - 6 = -i*t for t.
2
Suppose -q + 80 = 4*i, -14*q + 16*q + 5*i = 148. Solve 0 = -n + 9*n + q for n.
-8
Suppose 14*u = 497 + 399. Solve 7*t = -u + 99 for t.
5
Suppose -6*y + 423 = 33. Suppose -622*w - y = -627*w. Solve -5*t + w = -12 for t.
5
Suppose 0 = -s + 7 - 4. Suppose -4 = z - 2*x, -s*z - 11 = 2*z - x. Let d be 1/8*z*-16. Solve 0 = d*g + g - 10 for g.
2
Suppose -53*v + 227*v = 0. Solve 3*z + 251 - 239 = v for z.
-4
Suppose 8*l - 25 = 3*l, -2*o + l = -19. Let p(t) = t**3 - 10*t**2 - 23*t - 7. Let u be p(o). Solve -1 = -s - u for s.
-4
Suppose 6 + 4 = 2*c. Suppose -c*g + 6 = 2*t - 4, 4 = -2*t + 2*g. Suppose t = 5*o + 4*u + 10, -4 + 9 = -5*o - 3*u. Solve 2*n - 12 = -o for n.
5
Suppose 4*o - 171 = 5*h, 5*h - 2*o + 179 = -6*o. Let r be 9/((-162)/(-734)) - 4/(-18). Let i = h + r. Solve j - 3*j = i for j.
-3
Let y(p) = -p**3 + 16*p**2 - 5. Let d be y(17). Let c = d - -294. Solve c = 4*g + 5*g + 18 for g.
-2
Suppose -4*n - 2*n + 18 = 0. Let t(k) = k**3 - 4*k**2 + 4*k. Let z be t(n). Suppose l = -l. Solve 4*b - z*b = l for b.
0
Let f(w) = 11 - 7*w**3 + 8*w**3 - 8*w**2 - 16*w**2 - 7. Let i be f(24). Let j be (-2)/i*(1 + -1). Solve 2*v - 5*v = j for v.
0
Let l = -11002 + 11017. Solve l*c = 3 + 102 for c.
7
Let z = 34444 - 34440. Let u(p) = -p**2 + 2*p + 4. Let w be u(3). Suppose -w - 4 = -j, -20 = -4*r - 4*j. Solve r*m = m + z for m.
-4
Suppose 2*t - 3*t - 1954 = -5*s, -2*s + t + 784 = 0. Suppose s = 48*c - 18*c. Solve -3*m + c + 2 = 0 for m.
5
Let j(a) = -4*a - 5. Let r be j(-5). Let c = r - 10. Let i = 3223 + -3223. Solve c*k - 1 - 4 = i for k.
1
Suppose 0 = -39*p - 12*p + 2*p + 17052. Solve 25*r - 298 = -p for r.
-2
Let v = 42 + -40. Suppose 2*m = -2*k + 6, -2*k + 1 = -5*m + v. Let a be m/(-2*2/(-8)). Solve a*c = 11 - 1 for c.
5
Let g = -3754 - -3754. Solve -20*x - 24*x = g for x.
0
Let u(j) = -4*j**3 + 3*j**2 + 72*j + 201. Let m be u(-6). Solve 5*h - m = -786 for h.
-9
Suppose -3*a - 10 = 5*x, -x + 2*a = -14 + 3. Solve -2*h + 11 = -x for h.
6
Let m(t) = t**3 - 22*t**2 + 56*t + 19. Let a be m(19). Solve a = 12*k - 13*k + 2 for k.
2
Suppose -3*o + 4*w + 27 + 5 = 0, -4*o + 6 = 2*w. Suppose -42 = -g - 2*u - 19, 2*g = 5*u + 100. Solve -o*p - 15 = -g for p.
5
Let r = 203 + -180. Suppose 21 = 2*q + 14*s - 17*s, s + r = 2*q. Solve 0 = 3*c - q for c.
4
Let h(i) = 9*i - 3. Let q be h(5). Let s(n) = 4*n**2 + q - 38 - n**2 - 5*n. Let u be s(2). Solve 3*o = o + u for o.
3
Suppose 0 = -4*i - 0*p - 3*p + 48, -8 = 2*p. Suppose -11*l = -9*l + 3*s - i, -4*s = -4. Solve 7 - 1 = l*g for g.
1
Suppose -5*a - 19 = -2*o, -o - 1 = 4*a + 9. Suppose 3*y + 5*w = 40, -o*w = 3*y - 0 - 34. Let p be (-12)/y*(-140)/42. Solve 0 = -0*m + p*m for m.
0
Let k(b) = b**2 + 2*b + 3. Let d(r) = r**2 + 6*r - 1. Let c be d(-6). Let i be k(c). Suppose 14 = m - 5*x + i*x, 5*m + x = 6. Solve -m*p + 1 = -3*p for p.
-1
Suppose 0 = y + 3*y - 2*z - 6, -3 = 3*z. Suppose -2*f = 2*x - 6, -2*x + y + 2 = f. Solve 0*m = -f*m - 6 for m.
-2
Suppose 0 = 4*h - 8, 254*h - 257*h = 3*l - 18. Solve l*m - 1012 = -992 for m.
5
Let j = -250 + 248. Let v be j + 2 - (-4 + 2). Solve -v*z + 4*z = 0 for z.
0
Suppose 0 = -388*a + 113*a + 194425. Solve -36 = -719*p + a*p for p.
3
Let a = -209 - -297. Let l = -276 - -191. Let y = l + a. Solve -j + 0 = y for j.
-3
Let n(a) = -2*a**3 - 5*a**2 - 4*a - 2. Suppose 0 = 2*h - 0*h + 6. Let b be n(h). Suppose 260*i + 7 = 259*i + 4*v, 5*i = -4*v + 13. Solve b = -5*g - i for g.
-4
Suppose -2*t - 24 = 3*u, t - u = -362 + 370. Let b be (12/(-9))/((-2)/(-9)). Let z = b - -9. Solve t = -z*s + 2*s for s.
0
Suppose -2*r - 3*r + 4*k + 17 = 0, -4*r + 3*k = -13. Suppose 16*v + 135 = 61*v. Suppose -5*n - 2*a + 8 = -0*n, 0 = 5*n - v*a + 12. Solve 3*y + 4 - r = n for y.
-1
Suppose -z - 12 = -3*s, 3*s - 2*z + 6 - 18 = 0. Suppose -s*i - 3*y + 12 = 0, -i + 16*y + 2 = 17*y. Solve -22 = -i*g + 2 for g.
4
Let z be (-1 + 2)/(46/4094). Solve 18*h - 1 = z for h.
5
Let v = -58 - -96. Let q = 48 - 84. Let i = q + v. Solve b = i*b for b.
0
Suppose -2*v - 30 = -q, -2*v = -3*q + 18 + 96. Solve q = 4*y + 10 for y.
8
Let r be (15/12 - (58 - 56))/(2/(-16)). Suppose 2*z = -y + 2, 0 = -z - 2*y + 3 - 5. Solve z*k - r = -k for k.
2
Let r(t) = -t**2 - 40*t + 827. Let w be r(-55). Solve -49*y + w*y = -47 for y.
1
Let d be (-2)/5 + 57/5. Let h(i) = -8*i + 30. Let q be h(3). Suppose d*b - q*b = 25. Solve 2*w + b = 3*w for w.
5
Let b(c) = -419*c - 6. Let a be b(-1). Suppose 11*y - a - 346 = 0. Suppose 0 = 5*n + y - 79. Solve -3*x - n = 4 for x.
-2
Suppose 7*v = -11 + 25. Suppose v*l - 6 = -5*n, 3*n + 19*l = 16*l. Solve -3*s = -n*s for s.
0
Let w = 27 + -27. Let s be (w*3/6)/3. Suppose -8*j + 9*j = s. Solve -4*r - 8 = -j*r for r.
-2
Suppose 2*f - 4 = 0, -35*f - 1029 = -5*z - 37*f. Solve z = -74*w + 575 for w.
5
Let h(c) = 2*c**2 + 54*c - 29. Let j = 154 - 182. Let f be h(j). Solve -17 = -5*u - f for u.
-2
Let j(z) = 476*z + 2856. Let g be j(-6). Let s = 6 + -3. Solve 2*r + 1 + s = g for r.
-2
Suppose 5*g + 8*z - 3*z - 115 = 0, 4*z - 42 = -2*g. Suppose -10*l - g = -85. Solve 2 = -4*v + l for v.
1
Let w be (3/2)/((-18)/(-3624))*-1. Let v = 302 + w. Solve v = 10*j - 12*j + 8 for j.
4
Let s(z) = z**3 - 8*z**2 - 2. Suppose 5*o = 3*l - 1 - 13, -3*l = 4*o - 32. Let r be s(l). Let p be 2/(4 + 7/r) - 4. Solve p = -q + 5*q - 8 for q.
2
Suppose -3*i + 2*u - 131 + 125 = 0, 0 = i + u + 2. Let r be 1*(-1 - -1*3). Let d be r - (0 - (i + 0)). Solve c - 2*c = d for c.
0
Suppose p - 20 = 2*v - p, 0 = 3*v - 2*p + 26. Let f be (6/4)/(24/320). Let w be (f/v)/((-26)/39). Solve 4*z - 13 = -w for z.
2
Let r be (13035/275 - 6/(-10)) + -1. Suppose -3*k - 147 = -6*k. Solve -v = -k + r for v.
2
Suppose -10*y + 7*y + 12 = 0. Suppose h = -y + 7. Suppose -61 = 3*i - 67. Solve -u - h = -i for u.
-1
Let w be (-2)/(-5) - (2 + (-54)/15). Suppose 0 = 2*o - o - 3*h - 11, w*o - 10 = 2*h. Solve 0 = -o*g + 19 - 17 for g.
1
Suppose -191*t + 220*t = 3741. Solve 2*y - t + 127 = 0 for y.
1
Suppose 0 = 2*x - 165 + 77. Let q be 272/x - 6 - (-2)/(-11). Solve q = 13*d - 10*d for d.
0
Let q(k) be the third derivative of k**4/24 + 17*k**3/3 + 14*k**2. Let h be q(13). Let c = h - 43. Solve c*w = 7*w + 9 for w.
-3
Suppose 5*f - 174 = -4*u + 94, 152 = 3*f - 2*u. Suppose 0 = 264*d + 67*d - 10923. Let m = f - d. Solve -6 = 5*n + m for n.
-5
Suppose 2*q - 10 = 0, 164*y - 2*q = 159*y + 315. Solve -21*h - 2 + y = 0 for h.
3
Let c be 11 + -18 + 235 + -9. Solve c - 261 = 7*k for k.
-6
Let c = -9804 + 9804. Solve c = -9*x + 15*x - 12 for x.
2
Let w(t) be the first derivative of -15*t**2/2 - 60*t - 14. Let p be w(-4). Suppose p = -22*f - 0. Solve 4*j - 3*j - 4 = f for j.
4
Let a(z) = 1 - 1 + 33*z - 37*z. Let c(w) = -w. Let h(g) = 2*a(g) - 6*c(g). Let j be h(-2). Solve j*k - 8 = -28 for k.
-5
Let m be ((-3)/11)/((-3)/22). Solve 0 = -8*z + m + 22 for z.
3
Suppose 0 = 2*i - 2*r - 38, -i + 2*r - 4*r = -10. Suppose -3*f - 14*k + 5*k = -4*k, -3*f = 4*k. Solve 5*b - i + 6 = f for b.
2
Suppose -8*f - 401 = 559. Let b be f/(-90)*18/4. Solve 12 = b*x - 2*x for x.
3
Let p(h) = h + 1. Let j(i) = 3*i**2 - 4*i - 2. Let l(g) = -j(g) - 4*p(g). Let v(c) be the first derivative of l(c). Let t be v(-2). Solve 4*o = t + 8 for o.
5
Suppose 0 = 5*c - 4*z - 463, c + 8*z = 11*z + 97. Solve -c = 40*a - 11 for a.
-2
Suppose 2*k = -4*r + 304, 17*k + 383 = 5*r + 21*k. Solve -12*f = 13*f + r for f.
-3
Let q(n) = -n**3 - 19*n**2 + n + 16. Let z be q(-19). Let g be (4/z)/(7/(-21)*2). Suppose 0 = g*l - 13 + 1. Solve v + 5 = l*v for v.
1
Let o be (-4 + -36)/4 + 6 + 43 - -8. Solve -o = 3*f - 23 for f.
-8
Suppose 7 = 5*y - 68. Let v be y/(-20) - (-3)/4. Solve -5*f + 5 = -v for f.
1
Let v(m) = -2. Let x(w) = -9*w - 110. Let s(y) = 3*v(y) - x(y). Let h be s(-11). Solve -h*z + 16 = -z for z.
4
Suppose 3*m - 300 =