 a = -w for w.
-1
Let k(c) = 27*c + 516. Let i be k(-19). Suppose -2*m = 3*m. Solve -i*a + 3 + 0 = m for a.
1
Suppose 3*o - 740 - 3040 = 0. Suppose -1255*j - 15 = -o*j. Suppose -2*g + 12 = 2*g. Solve -g*p + 0*p = j for p.
-1
Let b = -12875 - -13031. Solve 4*j + b = -22*j for j.
-6
Let l = -96 - -96. Suppose -a = -l*a - 5*n + 19, 2*n = -4*a + 12. Solve -4*m + a + 19 = 0 for m.
5
Let a(d) = -3*d**3 - d**2 + 9*d + 16. Let k be a(-2). Suppose 4*w + 5 = -5*o + 25, -3*o + 9 = 3*w. Solve k = 5*r + o for r.
2
Let w = -944 + 884. Suppose -9 = -3*c, -2*c - 250 = -2*d - 2*d. Let g = w + d. Solve g = 2*u - 4 for u.
4
Suppose -3*q + 0*f = -2*f - 13, -2*q + 10 = -f. Suppose 15 = q*l - 4*l. Solve -l*m = -11*m for m.
0
Suppose 2*d - 500 = 3*s, 2*d + s = 187 + 313. Let g = 255 - d. Solve -7*z = -g*z - 2 for z.
1
Let j be -6*1/2*5. Let o be (1 - (-2)/((-6)/j)) + -2. Suppose o*m + 0*m - 3*v = 0, -2*v = -2*m. Solve 0 = -4*d - m*d - 4 for d.
-1
Suppose 3*r - 80 = 5*o, -5*r = -r - 5*o - 110. Suppose -5*q = 4*j - r, -35*j + 33*j + 10 = 0. Solve 0 = -2*a - a - q*a for a.
0
Let s be 4 + (-14)/3 - (-6)/9. Let a be (-12)/(-7) - (2/(-7) - s). Solve 0 = -7*v + a*v - 25 for v.
-5
Let a(u) = -3*u + 3. Let x be a(1). Suppose x = -7*n + 104 - 27. Let w = n + -5. Solve w = 3*h - 5*h for h.
-3
Let j be ((-5)/2 + 165/44)*28. Let n be j/(-14)*-4 - (4 + -4). Solve -13*y - 23 = -n for y.
-1
Let q(y) = -y**2 - 2*y + 1. Let c be q(-2). Suppose 12*j - 16*j = -16. Let l be (-3 + 4)/j - (-10)/(-40). Solve l = 3*b + c + 11 for b.
-4
Let m = -2933 + 3432. Solve -6 = -505*o + m*o for o.
1
Let r be 418/(-152) - 6/(-8) - -2. Solve 0 = -r*b + 8*b + 24 for b.
-3
Let c(v) = -v - 2. Let o be c(-3). Let a(q) = -q**2 - 321*q - 1567. Let y be a(-5). Solve y - o = 4*x for x.
3
Let y be ((-3680)/(-575))/(1/5). Solve -46*w + 244 = -y for w.
6
Suppose -65*j - 60*j = -2500. Solve -34 - 26 = j*h for h.
-3
Let k = -15 - -19. Suppose -k + 22 = 3*d. Suppose -d*h = -48 + 12. Solve -4*g = -h - 2 for g.
2
Suppose -47*z + 2706 = 136*z + 268*z. Solve z*j - 131 + 167 = 0 for j.
-6
Suppose 354 + 955 = 11*q + 6*q. Solve q*m - 15 = -708 for m.
-9
Let q be 33*(14 + 4 + -17). Solve q*g - 57 = -156 for g.
-3
Suppose -5*p = -10*p - 2*z + 144, -2*z = 4*p - 114. Solve 0 = -9*f - p - 15 for f.
-5
Let h be (((0/(-3))/5)/(0 + 2))/(-1). Solve -3*a - 54 + 66 = h for a.
4
Let y(z) = z - 2. Let h be y(4). Let s(a) = -2*a + 14. Let i be s(7). Let f be 6/(9/225*15). Solve i*u = h*u - f for u.
5
Let o be (252/(-15) + (-210)/(-350))*10/(-1). Solve -10*z + 222 = o for z.
6
Let g(x) = x + 8. Let y be g(-5). Let r(u) = 26*u**2 + 6 - 32*u**2 - u**3 + 1 + y*u**3 + u. Let t be r(3). Solve z + t = -z for z.
-5
Let s be (-15)/(90/(-48)) - (-2)/(-1). Let n(l) = 2*l**2 - 11*l - 2. Let t be n(s). Suppose -v = 3*v - 20. Solve u - v*u = -t for u.
1
Let u(a) = -a**2 + 15*a. Let k be u(2). Solve 0 = 5*h + k*h - 62 for h.
2
Let b be 1/(-2) + ((-2)/(-4) - 0). Suppose 5*y - 12*y + 56 = b. Let g(v) = -2*v**2 + 25*v - 70. Let f be g(8). Solve -y = -f*x - 2*x for x.
2
Suppose 150 = -9*o + 24*o. Let g be ((-16)/o)/(14/(-35)). Solve g*n - 10 + 2 = 0 for n.
2
Suppose -9*z + 8 = -7*z. Suppose z*n + 0*n + 5*m + 43 = 0, 5*n + 3*m = -44. Let b(s) = 3*s + 29. Let y be b(n). Solve 3*c = y*c - 5 for c.
1
Let y(g) = g**3 + 9*g**2 + 6*g - 17. Let z be y(-5). Let r = -49 + z. Solve -5*s - 5 = -r*s for s.
-5
Suppose 5*c = 3*j + 39, -16*j = -5*c - 18*j + 49. Suppose c*k - 36 = 5*k. Solve 7*w = k*w for w.
0
Let l(g) = -41*g - 13. Let v be l(-7). Suppose -264*t - 90 = -v*t. Solve 5*o = t*o + 4 for o.
-1
Suppose 0*t - 314 = -2*t. Let q = 185 - t. Solve -30 = -2*i - q for i.
1
Suppose 0 = -4*j - c + 79, -c - 7 = -2*j + 34. Suppose 562*s = 557*s + j. Solve 3*v + 1 - s = 0 for v.
1
Suppose 0 = -i - 2*i + 6. Suppose 0 = -4*m - 428 + 424. Let t be m*(-1)/3 + (-506)/(-138). Solve 2 + t = -i*w for w.
-3
Let j = 3350 + -3343. Solve -12*p = -5*p - j for p.
1
Let j(t) = -t**2 + 23*t - 26. Suppose 0 = -3*p - 5*l - 0*l + 42, 15 = -5*l. Let u be j(p). Suppose 0 = -10*y + 5*y + u. Solve 2*k = -0*k - y for k.
-5
Let j(w) be the second derivative of -7*w**6/720 + w**5/4 + 7*w**4/12 - 26*w. Let a(t) be the third derivative of j(t). Let p be a(4). Solve -c - p = 2 for c.
-4
Let y(r) = -r**2 - 98*r + 872. Let u be y(8). Solve -1155*b + u = -1147*b for b.
3
Suppose 3*l + 4*o = -2*l + 9, 2*l + o - 6 = 0. Solve -l*r - 1038 = -1018 for r.
-4
Let i be (-4)/1 + (5 - 1). Let l(n) = -3*n + 6. Let p be l(i). Let b be (3/(-2)*-1)/((-24)/(-240)). Solve p*a - b = a for a.
3
Suppose g - 8 = -g. Suppose 24 = -l + g*l. Suppose l + 22 = 6*x. Solve 4 = -x*m - 6 for m.
-2
Suppose 4*n = -18*n + 286. Solve 5 + n = 6*p for p.
3
Let a be ((-2702)/28)/(2*(-3)/12). Solve 0 = a*y - 207*y - 42 for y.
-3
Suppose -47 = w + m, w + 3*w - 3*m = -202. Let h = w - -54. Suppose 4*l = h*l - 5. Solve -3*j + 1 = -l for j.
2
Let l = 90 - 85. Suppose -3*z + l*h + 2 = 0, 0 = -2*z + 5*h - 2. Let i(u) = 2*u**3 - 8*u**2 + 4*u - 14. Let p be i(z). Solve 4 = -c + p for c.
-2
Suppose x - 4*x + 9 = 0. Let b be (3/((-18)/(-21)))/((-9)/(-432)*56). Solve -3 = -x*r + b for r.
2
Let c = 272 + -16. Let k be (c/(-24))/((-6)/9). Solve -5*i - 6 = -k for i.
2
Let p be 3/((-21)/2) - (-22480)/35. Let z be (((-8)/(-6))/(-4))/((-2)/p). Let k = -105 + z. Solve -k*t - 3 = -3*t for t.
3
Let x be 1 + 0 + 3 + (-4)/4. Let d(j) = -j**3 - 2*j**2 - 13. Let l be d(x). Let v = l - -62. Solve 0 = -v*b + b + 12 for b.
4
Let j = 72 - 68. Let z be (-1 - -2)/(j*(-3)/(-120)). Solve -4*a - 10 = z for a.
-5
Let s be 2/3 + 224/(-12). Let b = s - -28. Suppose 3*l - l = b. Solve -y = 4*y - l for y.
1
Let y(m) = -5*m + 39. Let h(t) = -4*t + 37. Let o(j) = 6*h(j) - 5*y(j). Let l be o(-12). Solve 19*r + l = 22*r for r.
5
Let j(z) = -z**2 + 3*z - 2. Let n be j(2). Suppose n = -3*a - 3*a + 66. Let y be 0 + 0 + 2 + a + -5. Solve -3*m = -y - 4 for m.
4
Let c be -6 + 3 - -8 - -4. Suppose -45*i + 42*i + c = 0. Solve -i = 7*n - 6*n for n.
-3
Let x = 1848 - 1840. Solve 4*l - 6*l + x = 0 for l.
4
Let t = -116 - -117. Let c be t*(-3*6/9)/(-2). Let v be (38 - 36) + c*2. Solve 0 = -2*a + 3*a - v for a.
4
Suppose -3*p = -73 + 37. Let z(f) = f**3 - 13*f**2 + 12*f + 19. Let n be z(p). Suppose -j + 3 + n = -3*x, -j + 18 = -x. Solve 5*i + j = -4 for i.
-4
Let m(y) = 9*y**2 - 18*y + 20. Let k be m(5). Solve 0 = 50*c - 19*c + k for c.
-5
Suppose -2*t - 5 = 3*j + 1, -2*t - 2*j = 8. Let b be 4/(t + -22) + (-88)/(-28). Solve -8*k + b = -9*k for k.
-3
Let w = -3559 - -3611. Solve -w = -14*v - 12*v for v.
2
Let p(g) = g**3 - 10*g**2 + 10*g - 4. Let h be p(9). Suppose 0 = 16*l - 19*l + 5*s - 260, -220 = 3*l + 5*s. Let u = 80 + l. Solve u = h*w + 20 for w.
-4
Suppose -x + 35 = -4*y - 0*y, 3*x + 2*y = 77. Let l(a) = -a**3 + 27*a**2 - 3*a + 81. Let c be l(x). Solve c*t + 4 = t for t.
4
Let l be ((3 + 28/(-10))*13)/(7/35). Solve -l*f + 155 = 18*f for f.
5
Let r = 516 + 79. Let d = 635 - r. Solve 10 = 10*q + d for q.
-3
Let a(z) = 4*z**2 + 152*z - 74. Let k be a(-39). Solve k*u - 85*u = 0 for u.
0
Suppose 3*u = 4*u - 19. Let w = u + -4. Suppose 4*n - 35 + w = 0. Solve -n*h = -0*h + 20 for h.
-4
Let l(j) = -j**3 - 16*j**2 - 55*j + 25. Let n be l(-11). Suppose -12 = -n*k + 13*k. Solve -k = d - 1 for d.
0
Let u be (-4 + 12)/(2 + -1). Let q(d) = 2*d**2 - 14*d - 7. Let t be q(u). Solve g + 4 = t for g.
5
Suppose 3*q - 25 = -5*a, -4*a - 2*q = -0*a - 18. Suppose -d + 3 = 2*j, -2*j + 9 = -3*d + a*d. Solve -j*n = -7*n for n.
0
Let t = 213 + -211. Suppose -4*p + 2 + 2 = 0, -t*p + 32 = 5*o. Solve -o = -2*w - 10 for w.
-2
Let g be (3 - 4) + 6 + 1. Suppose 144*q + g = 147*q. Solve 0 = q*i + 10 for i.
-5
Let v be (-6 + (-4 - -8))*3/(-2). Let k(q) = -q**2 + 2*q + v*q + 3 + 4 + 8*q**2. Let f be k(-2). Solve -2*t = 3*t + f for t.
-5
Let c be 39/(-65) - (-76)/10. Suppose 9*s - c - 11 = 0. Solve s*u - 13 = -9 for u.
2
Let a be (-8)/6 - 120/(-36). Let s = 0 + 2. Suppose -2*z - s = -5*q + 6, -4*q = 3*z - 11. Solve 0 = k - a - q for k.
4
Let c(u) = 7*u + 151. Suppose -497 = 5*o - 402. Let z be c(o). Solve -7*p - 53 + z = 0 for p.
-5
Suppose -n - 5*k = -10, 18 = 4*k + 2. Let u be ((-15)/n)/(3/16). Let f = u - 2. Solve 0 = -2*m - 0*m + f for m.
3
Let j(f) = f + 28. Suppose 0 = 5*n - 2*g + 21, -3 - 3 = 3*g. Let h be ((-36)