 u.
5
Let r be (-60)/42*7/(-2). Suppose 0 = -r*y - s + 7, 5*y + 1 = 7*y + s. Solve 0 = 5*u - y - 3 for u.
1
Let t(a) = -5*a**3 + 12*a**2 + 5*a + 63. Let p(k) = 8*k**3 - 24*k**2 - 10*k - 125. Let q(u) = -3*p(u) - 5*t(u). Let l be q(-12). Solve l = f - 7 + 5 for f.
2
Let d(c) = -2*c**2 - 13*c + 22. Let g be d(-7). Solve 7 = g*h - 83 for h.
6
Suppose 0 = 3*d + z - 13, -4*d - 4*z + 5*z + 8 = 0. Let x = 42 + -39. Solve -x = 6*k - d*k for k.
-1
Let y be ((-64)/2 - -2)*11/(-33). Let g be ((-6)/4 - -1) + y/20. Solve 19*j - 17*j = g for j.
0
Let p be -2 - -82 - -3*(3 - 2). Solve -9*n + 74 = p for n.
-1
Let a = 39 - 61. Let w = a - -26. Suppose -10 = w*s + s - 3*j, s + 4*j - 21 = 0. Solve -s + 6 = -x for x.
-5
Let j(r) = -r**3 - 8*r**2 - r + 42. Let f be j(-7). Let c(z) = -z**2 - 4*z - 2. Let v be c(-2). Let m be ((-3)/3)/((-1)/v). Solve f = -k - m for k.
-2
Let x(l) = -l**2 - 39*l - 88. Let u be x(-36). Solve -6*q = -u*q - 7*q for q.
0
Let f be 0/((-2)/10*-5 + -5). Suppose -4*u + 8 = 4*x - f*x, 3*u - 2*x = 21. Solve -u*m + m = 0 for m.
0
Let s(q) = q**3 - 31*q**2 + 86*q - 54. Let d be s(28). Suppose g = -0*g + d*l - 5, -2*l + 11 = g. Solve -g*k - 35 = -10*k for k.
5
Let d(c) = 4*c**2 + 889*c - 3568. Let l be d(4). Solve 50 = -l*q - 262 for q.
-6
Let y be (-5)/2*((2 - -4) + (-912)/120). Solve 0 = -y*k + 24 - 4 for k.
5
Suppose 2712 = 87*a + 6*a + 108. Solve a = -51*w + 79 for w.
1
Let h(a) = -a + 19. Let j be h(17). Suppose j*d = 5*d - 33. Let g be (-4)/d*(-44)/8. Solve 2*l = -0*l - g for l.
-1
Let o(s) = -3*s**3 + 167*s**2 + 54*s + 320. Let u be o(56). Solve u - 207 = -g for g.
-1
Let l be ((-128)/(-28))/(-2)*7/(-2). Let v be 8 + (-1)/(l/(-72)). Solve -14*z + 11 = -v for z.
2
Suppose -p - 10*g + 5*g = 2, 3*p = -3*g + 6. Suppose y + 28 = 2*f - 15, -p*f + 78 = 3*y. Solve f*t = 21*t - 6 for t.
-3
Suppose 0 = p + 2*x - 35, -933*p + x - 61 = -935*p. Solve 0 = p*c - 32*c - 18 for c.
-6
Let k = 131 + 939. Solve k*j + 6 = 1068*j for j.
-3
Let p be (3 - 1)*(-12)/12 - -9. Suppose 3*g + 4*f + 6 = 0, -g + 4 + p = -3*f. Solve 0 = g*t - 7*t - 10 for t.
-2
Let t = 5153 - 5142. Solve 11*u - t = -0 for u.
1
Suppose 368*t + 585 = 381*t. Solve -46*i - t - 1 = 0 for i.
-1
Let q = -82 + 305. Let u = 237 - q. Solve y - 9 = -u for y.
-5
Let x(y) = -214*y - 5809. Let l be x(-28). Solve 8 = l*p - 184*p for p.
-8
Suppose 9*d - 1172 = 128 + 437. Solve -d = 34*j + 45 for j.
-7
Suppose 0 = -56*o + 123*o + 105*o - 6364. Solve -72 = o*v - 294 for v.
6
Suppose -13*n = -31 + 16 - 63. Solve n*y = 217 - 241 for y.
-4
Let x(a) = -a**3 + 7*a**2 - 2*a + 2. Let y be x(6). Suppose 0 = 2*j - 8, -6*k = -7*k + j. Solve 6 = k*z + y for z.
-5
Suppose 0 = 3*o + 38 - 50. Suppose -z + 2*z - o*z = 0. Suppose z = 7*s - s - 24. Solve 0 = -0*m - 2*m + s for m.
2
Suppose -3*z + 75 = 57. Suppose -n - 3*u = -4, -4*n - 3*u = -2*u + z. Let a be (2 + 21/(-9))*(n - 40). Solve -5*l = -1 - a for l.
3
Let y(d) = -d + 3. Let r be y(-1). Let t = -7446 + 7446. Solve t*p + r = 2*p for p.
2
Let a = -276 + 276. Suppose 5*l + a*b = 5*b - 5, 3*l - 2*b = -2. Solve 7*d + 10 + 4 = l for d.
-2
Let z = -106 + 108. Suppose -7*j = 309 - 309. Let g = 7 - 0. Solve j = -z*k + g*k + 20 for k.
-4
Suppose 6*w = 3*w + 18. Suppose -10 = d - 6*d. Suppose 67*g + 156 = 106*g. Solve -d*l = -w*l + g for l.
1
Let p(k) = 5*k + 14. Let m be p(-2). Suppose -m*b + b = -27. Solve -b + 14 = 5*c for c.
1
Let n be (-16)/10 - 56696/(-760). Suppose c + 4*r + 12 = 0, -15 = -2*c + 6*c + 5*r. Solve -78*v + n*v + 20 = c for v.
4
Let a = 1329 + -1305. Solve a*t - 12*t - 72 = 0 for t.
6
Let j = 444 - 436. Solve 23*u - j = 15 for u.
1
Let r be (11 + -5 + (-7)/(-1))/1. Solve -r = -2*u - 7 for u.
3
Let x = -23 - -35. Suppose 65*o - 123 - 882 = -2*o. Solve 0 = -7*z + x*z - o for z.
3
Let v = 279 + -263. Suppose -22*j = -v*j - 30. Solve 0*m - m - j = 0 for m.
-5
Let z(q) = 83*q + 3404. Let n be z(-40). Solve n = -27*y + 41*y for y.
6
Let d be (13/(-2) - -3)*4/(-7). Suppose -4 = -d*k - 4*u, -k - 3*k + 8 = -2*u. Let q be 8/k - (-6)/3. Solve q*i = 2*i - 8 for i.
-2
Let a(f) = f**2 - 50*f - 102. Let b be a(52). Let v(c) = -c**3 + 6*c**2 + 9*c - 9. Suppose 0 = 5*r - 10 - 25. Let x be v(r). Solve -b*n + x*n = 12 for n.
4
Suppose -21*s + 17*s = w - 51, 4*s - 41 = -3*w. Let i be 3*(s/(-6))/(3/(-9)). Solve 0 = -11*f + i + 1 for f.
2
Let l be 14427/497 + 36/(-1278). Solve -l*h = 18*h for h.
0
Suppose d + 18*t = 21*t + 5, -4*t - 4 = 0. Solve 0 = d*k + 99 - 105 for k.
3
Suppose 9*n = 4*n + 30, 5*n = 5*k - 830. Solve 0 = k*x - 170*x - 14 for x.
7
Suppose 82 = -2*k - 2*k + 2*i, -3*i - 108 = 5*k. Let j be 12/30 + 3 + k/15. Solve 0 = -2*u - 2 - j for u.
-2
Let v be ((-54)/(-33) - 2)*(31 + -86)/5. Suppose -2*b = 2*b. Suppose b = g + 2*j - 3*j - 4, 0 = -2*g - 4*j + 14. Solve -v*p = -g*p + 4 for p.
4
Let n = 4692 + -4687. Solve 0 = -519*z + 518*z - n for z.
-5
Let a = 58 - 20. Suppose -5*d - y + a = 0, -20 = -2*d + y + y. Suppose 0 = d*s - 36 + 4. Solve 0 = 7*z - s*z for z.
0
Suppose -355 = -3*x - 4*k - 43, -12 = -2*k. Solve 34*v - 334 = -x for v.
7
Let a(z) = 4*z**2 - 3*z - 47. Let t be a(-4). Suppose 195 = 10*s + t*s. Solve -15 = s*v + 10 for v.
-5
Suppose 2*v = 5*g + 6 + 124, 3*v = 4*g + 111. Suppose 0 = 2*l + 7 - 63. Let p = g + l. Solve 5 = i + p for i.
1
Suppose 41*i = 42*i - 18. Suppose 9*v = -0 + i. Solve v*u - 11 = -1 for u.
5
Let y(b) be the second derivative of b**3/2 - 77*b**2/2 - 245*b. Let q be y(26). Solve 21 = 4*x + q for x.
5
Suppose 86*v - 443*v + 134849 = -107911. Solve -11*f - 757 = -v for f.
-7
Suppose -82 = -7*a + 2*g, 4*a + g - 27 = 22. Solve a = 105*w - 111*w for w.
-2
Let t = 5822 - 5788. Solve 2*a + t = 19*a for a.
2
Let m(j) = -19*j - 38. Let w be m(-2). Solve -21*y + 12 + 30 = w for y.
2
Let p = 32 + -30. Suppose -p - 13 = -3*x. Suppose 3*u - 35 = -2*z, -x*u = -0*z + 3*z - 58. Solve 5*o = u - 31 for o.
-4
Suppose -38 = 5*i - 143. Suppose 3*c - i = -4*c. Suppose 0 = c*z - z - 5*l - 9, -13 = -4*z + 5*l. Solve n = -z*n for n.
0
Let q = 5 + 0. Let d(u) = -6*u**3 - 96*u**2 - 3*u - 25. Let s be d(-16). Solve -s = -q*f + 2 for f.
5
Let t(h) = 4*h**2 - 13 - 3 + 14*h - 2*h**2. Let y be t(-8). Solve 6*d + y - 6 = 0 for d.
1
Suppose 2*d + 7 = f, 4*d - 8*f + 3*f + 35 = 0. Solve d = 13*c - 175 + 149 for c.
2
Let n be -1*(-26 - (-3 + 1)). Suppose n - 14 = -2*b. Let i(m) = m**3 + 5*m**2 + 6. Let c be i(b). Solve 3*d = c*d + 3 for d.
-1
Suppose 5*r - 26 = 2*s, 2*s - 7 = 3*r - 21. Let w be 430/(-255)*6 - 2/(-17). Let b be (w + 9)/((-1)/5). Solve -n + r*n = b for n.
1
Suppose -4*y - 76 = -4*q, -y = 3*q - 2*y - 49. Suppose -q*a = -0*a. Solve -3*n = -a*n + 6 for n.
-2
Let t be (-2112)/27*9/(-12) - 6/(-18). Solve 15*f = t + 16 for f.
5
Let t be 193 - (-6 + 3) - -3. Suppose 0 = -192*n + t*n. Solve n = -16*f + 11*f for f.
0
Suppose 84 = 4*z + 4*k + 32, z - 5 = k. Suppose z*c - 33 = -6. Solve 11*r = 8*r - c for r.
-1
Suppose 5*x - 73 = -j, -j = 3*x + j - 48. Suppose k = -3*g + x, -4*k + 12 = -g + 2*g. Suppose -4*a - 4*d = -g, -5 = -2*a - d - 0*d. Solve a*z + 4 = -0 for z.
-1
Let d be (-105)/(-3) + (9 - 5). Suppose d = 37*l - 24*l. Let k be 0/2 - (-1 + 1). Solve k*i = -l*i for i.
0
Let o(h) = -h**3 + 3*h + 2. Let z = 71 + -69. Let t be o(z). Suppose -2*m + 5*s - 11 = m, t = -m - 4*s + 19. Solve m*j + 17 = 2 for j.
-5
Suppose 0 = -5*r + 58 - 3. Suppose d - h - r = 0, 5*d - 2*h = -5 + 45. Solve 0 = 3*o - d*o - 3 for o.
-1
Let z be 1/5*5 - -44. Suppose -50*x + 15 = -z*x. Solve 11 = -x*b - 1 for b.
-4
Let q = -512 - -522. Solve q*w + 123 = 173 for w.
5
Let w = 1 + 3. Suppose -5*a + 10*p + 30 = 0, -5*a + 0*p + 30 = 2*p. Suppose -5*l = w*j - 13, j - a*j + 2*l + 8 = 0. Solve j*n - n = -2 for n.
-2
Let n be (-6)/((-3)/2 + 0). Let k(j) = j**2 + 4*j. Let a be k(-5). Let m = a - n. Solve -r + m = -0*r for r.
1
Let g = 189 - 187. Let y(q) = q**3 + q**2 - q - 7. Let k be y(g). Solve k*m - 3 = -6 for m.
-1
Let r = 20208 - 20083. Solve 124 = r*f - 156*f for f.
-4
Let g(t) = t**3 + 23*t**2 - 8*t - 161. Let d be g(-23). Suppose 0 = 20*l - d*l + 12. Solve -2*f = -0*f - l for f.
2
Let a(m) = -m**2 + 2*m + 1. Let x be a(2). Let l = -738 + 806. Suppose l*u = 74*u - 36. Solve u = f + x for f.
5
Suppose 17*t - 15*t + 2*g - 22 = 0, 17 = t - 5*g. Suppose 11*l + 80 = t*l. Solve 14*j + 2*j = -l for 