0 = 14*y - 12*y - i - 19, 5*i = 2*y - 39. Solve -u*p + 6 = -y*p for p.
-2
Suppose -32 = 2*q - 6*q. Suppose 3*s = q*s - 2*h + 2, 5*h = 5. Solve s = 6*g - 4*g + 6 for g.
-3
Let h = 36 + -32. Suppose 4*y + 18*y = 220. Solve -y*u + 11*u = h for u.
4
Suppose -202*h + 197*h - 2*c + 36 = 0, 2*c + 18 = 4*h. Solve -h*i + 13*i + 42 = 0 for i.
-6
Let r(b) = 12 - 4 + 45*b + 48 + 37. Let h be r(-2). Solve h + 7 = -5*w for w.
-2
Let o(x) = -2*x - 1. Let z(w) = w. Let y(l) = 3*o(l) + 5*z(l). Let n = -19 - -16. Let a be y(n). Solve 4*u - 3*u - 2 = a for u.
2
Let g(d) = -9*d + 3. Suppose -k = -2*m - 3, 5*m + 6 = -26*k + 27*k. Let l be g(m). Solve l - 32 = 4*p for p.
-5
Suppose 104 = 42*l + 20. Suppose -13*v = -2*p - 14*v + 22, -l*v - 4 = 0. Solve -4*c + 24 = p for c.
3
Let s be ((-5 + 11)/12)/((-938)/(-104) + -9). Solve 28 = s*t - 50 for t.
3
Suppose w = -f + 6, -12 + 6 = -2*w + 4*f. Suppose -3*q + 36 = -w*c, 4*q + q - 4*c = 47. Solve -3*h + q + 8 = 0 for h.
5
Let j = -33542 + 33563. Solve -1491*h + j = -1494*h for h.
-7
Let h(r) = -2*r**2 + 3*r + 5. Let v be h(-2). Let l(s) = s**3 + 9*s**2 + s + 9. Let p be l(v). Suppose -2*g - 8 + 38 = 0. Solve 3*y + g = -p*y for y.
-5
Suppose -26*k = 12*k + 16*k - 864. Solve k - 46 = -5*g for g.
6
Let i(f) = -725*f - 8384. Let b be i(-12). Solve 24*v + b = 196 for v.
-5
Suppose -9*y + 183 = -26*y + 676. Solve -27 = y*f - 143 for f.
4
Let t be (-26)/(-4)*786/1703. Solve -t*r - 10 - 5 = 0 for r.
-5
Suppose 0 = -3*h + 66 - 57. Suppose 0 = -3*m + 5*y + 4 + 14, 5*m - 30 = h*y. Suppose -m = 50*i - 53*i. Solve -i*v + 20 = 3*v for v.
4
Let s(g) = 3*g**3 - 29*g**2 - 45*g + 39. Let z be s(11). Solve -z*o + 162 = -o for o.
6
Let b = 1 + 2. Suppose 15*i - 2347 = 923. Let t = 220 - i. Solve -2*q + t = -b*q for q.
-2
Let p(o) = -3*o - 9. Let q be p(-15). Suppose -104 = -17*k - q. Solve -k*d + 2 - 22 = 0 for d.
-5
Let b = 76 + -45. Suppose -28*x + b*x - 51 = -3*p, -3*p + 69 = -3*x. Solve -10 + p = -2*w for w.
-5
Let b be -115 + (-5 + 22/4)*-6. Let v = -110 - b. Solve 2 = v*m - 6 for m.
1
Let r(n) = -n**3 + n**2 - n - 11. Let k be r(0). Let c(t) = -t**2 - 11*t + 2. Let h be c(k). Solve 32 = 6*b + h*b for b.
4
Let b be 1/(2/(-302)) + 10/5. Let a = 157 + b. Solve -15 = -a*y + 5*y for y.
5
Suppose -16*c - 397 = -5*r - 15*c, 83 = r + c. Solve 731 = r*m + 91 for m.
8
Suppose 0 = 25*f - 31*f - 966. Let q = -158 - f. Solve -q*y = -2*y + 2 for y.
-2
Let r(c) be the first derivative of 2*c**2 + 2*c + 3. Let m(a) = 3*a + 1. Let j(u) = -5*m(u) + 4*r(u). Let z be j(2). Solve 5*f + z = 4*f for f.
-5
Let o(p) = 12*p**2 - 18. Let f be o(-2). Suppose -f = -50*c + 40*c. Solve -c*k - 4*k = 7 for k.
-1
Let y(g) = -122*g - 1462. Let m be y(-12). Let i be 2/(-4) + 4/8. Suppose -3*t + t = i. Solve -m*j + 0 - 4 = t for j.
-2
Let r(n) = n**3 + 14*n**2 + 12*n + 1. Let a be r(-10). Let h = 303 - a. Solve 0 = 5*b - h - 3 for b.
5
Suppose -9*d + 2096 = -5*d. Let c = -521 + d. Solve c*f + 4 = 1 for f.
-1
Let m be (0 - 2 - -1) + 3. Let v be 3/18*(38 + -38). Solve m*t - 8*t + 18 = v for t.
3
Suppose -8510*n + 8506*n = -2420. Solve -n*y + 66 = -594*y for y.
6
Suppose 366 = 2*d - k, 4*d - 8*d + 738 = -5*k. Solve 183*n - d*n = 4 for n.
4
Let t = -23082 + 23082. Solve t = -7*x - 96 + 33 for x.
-9
Let f = 26571 - 26525. Solve 0 = f*z - 9*z + 333 for z.
-9
Suppose -221*n = -73 - 369. Let a = 28 + -22. Solve 4*u - n = a*u for u.
-1
Let k be ((-7861)/6)/(-7) - 5/30. Suppose 8*v - 93 = k. Let u = v + -33. Solve -d + u*d = -3 for d.
-3
Let z(c) = c**3 - 30*c**2 - 32*c + 69. Let p be z(31). Suppose 4*t = 3*u + 28, -4*t = -4*u - p + 6. Solve -t*j + j = 12 for j.
-4
Suppose 4*j = -4*s + 12, -2*s + 3*j = 4*j - 5. Suppose 5*m - 8*m - 24 = 0. Let r = m - -11. Solve s*d + d = r for d.
1
Let v(y) = y**3 + 10*y**2 + 2*y + 17. Let g be v(-10). Let n be (0 - 2)/(3 + -1 + g). Solve 0 = 3*i - n*i - 5 for i.
5
Let d = 11353 - 11007. Solve 0 = -d*z + 305*z for z.
0
Let j be ((-223)/(-20) - 7/(-28)) + 48/(-120). Solve -32*q = -j*q + 84 for q.
-4
Suppose -8 = -7*k + 8*k + 3*r, 0 = 5*k - r - 24. Solve -k*j = 88 - 116 for j.
7
Suppose 4*k - 7 = 5. Suppose 18 = 4*h + k*q, 2*h + 0*q - 10 = -q. Suppose h*l + 7*l = 8*l. Solve 4*o + 2 + 10 = l for o.
-3
Let l = 39 + -22. Suppose -l - 13 = -6*i. Suppose i*p = 10*p. Solve -4*c + c + 6 = p for c.
2
Suppose 6*x = x + 20. Suppose 2*a = 8, -x*v + 3*a = v - 153. Let w = 35 - v. Solve 1 = -t + w for t.
1
Let f be (-1)/2*(-11 - (-7 + -4)). Solve 52*j + 15*j - 201 = f for j.
3
Suppose q + 4 = 2*c + 5, -7 = 4*c - 3*q. Let i be (-7)/c*(7 + (-712)/56). Solve -4*j - j = -i for j.
4
Let x(a) = 3 - 3*a**3 + 8 - 42*a**2 + 9*a - 5 + 5 + 16*a**2. Let p be x(-9). Solve 3*q + 32 = p*q for q.
4
Let s = -373 - -380. Suppose 3*m + 5 = -g + m, 3*g - 3*m - 21 = 0. Solve -s*u + g*u = 8 for u.
-2
Let h be (3048/(-1143))/(4/(-3)). Solve h = -3*t - 16 for t.
-6
Let a be (26352/324)/((-15)/9 - (-5 + 3)). Solve -59*w = 2*w - a for w.
4
Suppose -7*c - 646 = 82. Let p = c + 108. Solve p*w - 1 = 5*w for w.
-1
Let f(g) = g**2 + 222*g + 682. Let i be f(-3). Solve 0 = -49*y + 171 + i for y.
4
Suppose -8 = -2*s, 3*s - 46 + 4 = -5*r. Let l be (-63)/(-14) + 3/r. Solve 8*y + l = 45 for y.
5
Let m(l) = 26*l**2 - 103*l + 105*l - 23*l**2. Let n be (4 + 0 + -2)/2. Let s be m(n). Solve s*w = 4*w - 5 for w.
-5
Let g(x) = -65*x + 2154. Let y be g(33). Solve -y*d - 6163 = -6172 for d.
1
Suppose -5*b = -b. Let z(j) = -j**2 - 39*j + 224. Let f be z(-44). Solve f*k - 5*k = b for k.
0
Let h(g) = 0*g**2 - 11*g**2 + 145*g**3 - 36 - 9*g - 144*g**3. Let d be h(12). Solve d = -6*y - 12 for y.
-2
Let p = 55 + -23. Suppose -p*g + 72 = -20*g. Solve b = 4*b + g for b.
-2
Let k(f) = 131 - 462 + 245 + 9*f. Let j be k(10). Solve 0 = j*m + m for m.
0
Let g(t) = -t - 20. Let p(a) = -a**3 + 23*a**2 + 50*a - 29. Let c be p(25). Let u be g(c). Solve -2*n - u = -17 for n.
4
Let n(c) = 1362*c - 9527. Let v be n(7). Suppose b + b - 10 = 0. Suppose 4*t - 6 - 2 = 0. Solve -b = -t*k + v*k for k.
-1
Let f(q) = -64*q + 2162. Let k be f(33). Solve 17*j - k*j + 198 = 0 for j.
6
Suppose -5*x = -2*f - 272, 5*f - 180 = -3*x - 23. Solve -27*q + 0*q - x = 0 for q.
-2
Let m be (0/1 - -7)/((-70)/(-40)). Solve s = 8*s - m*s for s.
0
Let o = -1233 - -731. Let k = o - -509. Solve 0 = -k*i + 9*i + 4 for i.
-2
Let x = 80 - -43. Suppose -6*v = -3*v - x. Suppose -v*i + 45*i = 16. Solve 4 + 0 = -i*t for t.
-1
Let a(m) = 8*m - 20. Let r be a(2). Let s be (3 + (-51)/21)/(r/(-28)). Solve 0 = -2*q + s + 6 for q.
5
Let a = 21 + -17. Suppose 0 = 6*c - 11*c - 70. Let z be (-24)/c + 46/161. Solve 0 = a*t + z - 22 for t.
5
Let f = -6 + 4. Let h(u) = -u - 2. Let v be h(f). Let m be -7 + 3 + (12 - (-1)/((-3)/24)). Solve 3*q - 3 + m = v for q.
1
Let k(s) = 10*s + 182. Let p be k(-24). Let x = -50 - p. Solve f + 5 - x = 0 for f.
3
Let z(s) = 2*s**3 - 61*s**2 + 30*s + 3. Let g be z(30). Let i be 3/((-5)/21 - (-2)/g). Solve 0 = -4*w - 11 + i for w.
-1
Let h = 7290 + -7225. Solve -59*z = -46*z + h for z.
-5
Let l be 5 - ((-6)/1 - -3) - 3. Suppose 4*q - 28 = -l*h, 8 = -3*q + h + 48. Let j be 2*((-26)/(-12) - 2/q). Solve -6 = 5*t + j for t.
-2
Let k(b) = 30*b + 0*b**3 - 9*b**2 - 3*b**2 + b**3 + 2 - 5*b**2. Let c be k(15). Solve 3*t - 20 = -c*t for t.
4
Let h be 1084/24 + 5/6. Solve -3*k + h - 61 = 0 for k.
-5
Let y = 77 - 65. Let j(d) = 2*d + 22. Let s be j(-23). Let u = -21 - s. Solve -p - y = u*p for p.
-3
Let k(h) = -h**3 + 4*h**2 - h + 4. Suppose -5*l = -28 + 8. Suppose -2*g + 4*g = -l*x + 16, -3*x = -3*g - 3. Let c be k(x). Solve 6*r = r + c for r.
2
Let a = 646 - 653. Let u be 6/((-5)/35*a). Solve -3*p - 6 - u = 0 for p.
-4
Let n(d) be the first derivative of 3*d**4/4 + 16*d**3/3 + 5*d**2/2 + 4*d - 58. Let b be n(-5). Solve 2*w + 2 + b = 0 for w.
-3
Let n(w) = -2*w**3 - 22*w**2 - 40*w - 32. Let o be n(-9). Solve 0 = -2*t - o*t + 24 for t.
4
Let p be (-16)/(-24)*(-318)/(-4). Let y = p - 50. Solve -y = h - 6 for h.
3
Let k = 2516 - 2451. Solve k*g = 20*g - 315 for g.
-7
Suppose 4*y = 12, -3*y + 10 + 17 = 3*r. Suppose -77*a - 55*a = -1467 - 1437. Solve -r*o - 4 + a = 0 for o.
3
Suppose 19 = 23*v - 22*v + 3*n, 2*n = 2*v - 38. Suppose 0 = 4*o - 4*p - 44, v = 5*o - 2*p + 6*p. Solve -18 + o = 11*t for t.
-1
Let r = 3 - -1. Let a = 795 + -783. Suppose 18*n = a*n