 6*y - 6 for y.
-2
Let o(n) = -32*n - 313. Let p be o(-10). Solve l + p = 3 for l.
-4
Suppose -3*s - s = 0. Let u = -84 - -89. Suppose 2*j - 2*v = 14, 0*j - 5*j - u*v + 5 = s. Solve 3 = j*k - 1 for k.
1
Let u = -600 - -635. Solve u = 2*q + 27 for q.
4
Let m(b) = b**2 - 6*b + 6. Let z be m(5). Let i = 18 + -15. Let h be 5 - (i - -4) - -9. Solve 0 = -3*a - z + h for a.
2
Suppose 5*n + 5*d = 0, 5*d = 2*n - 13 - 22. Suppose -2*t + n*t - 6 = 0. Solve 0*u = 2*u + t for u.
-1
Let m(y) = y + 1. Let c be m(4). Let t be (-14)/49 + -1 + 255/35. Solve v - t*v = c for v.
-1
Let l(y) = -y**3 - 6*y**2 - 15*y - 47. Let z be l(-5). Solve 0 = -z*p + 1 + 8 for p.
3
Let g be (6*1)/(-9 + 57/6). Solve -3*h = g*h - 45 for h.
3
Let r(j) = -11*j + 13. Let n(s) = -13*s + 13. Let y(g) = -5*n(g) + 6*r(g). Let b be y(11). Solve -3*x - b*x + 25 = 0 for x.
5
Let l be 25/(-20)*(-40)/1. Let f = l + -50. Solve f = -3*s - 0 - 9 for s.
-3
Let u(n) = -n**3 + 7*n**2 + 15*n + 45. Let m be u(9). Solve -14 = c - m for c.
4
Let q = -1079 - -1083. Solve 12 = -q*m - 8 for m.
-5
Let f be (-1)/(-2)*4 + (2 - 3). Suppose -4*v + 68 = -4*c, 2*c - 4*v + 5*v + 25 = 0. Let i = f - c. Solve -b + i = 4*b for b.
3
Suppose 4*n = 2*n. Let p be 1 + -2 + 17 - n. Suppose -4*s - p = -3*o, 2*o = -5*s + 3 - 0. Solve 0 = -4*q - o for q.
-1
Suppose x - 20 = -3*x. Suppose -4*v - x*l + 9 = -14, l = 2*v - 15. Solve v = -3*w - 2 for w.
-3
Suppose -5*i = 2*l - 140, -4*i = -69*l + 64*l - 79. Solve 0 = -6*a - 2 + i for a.
4
Let a = 2507 - 2095. Solve 2 = -414*r + a*r for r.
-1
Let i = -47 - -72. Suppose -7*k - i = -12*k. Solve -3*a = -2*a - k for a.
5
Let t be (-4)/(-14) + (-1952)/(-224). Solve 2 = -t*k - 34 for k.
-4
Let a = 9 + -3. Suppose 0 = g + g - a. Let n be g/(12/4) + 26. Solve n = 5*q + 7 for q.
4
Suppose 0 = -4*r + 2*t + 10, -2*r = -3*r - 4*t - 20. Suppose 0*c = 3*c - 24. Let m be (-3)/((-3)/2) - (-4 + 4). Solve r*p - c = m*p for p.
-4
Let w(f) = -f**2 + f. Suppose -3*q + 60 = -2*o + q, 5*q = -3*o - 101. Let n = o + 32. Let g be w(n). Solve g = a + 5 for a.
-5
Suppose 0 = 2*x + 5*o - 1, -3*x - 2*o = -2*x - 1. Let b(y) = 2*y**2 - 4*y - 5. Let m be b(x). Solve 0 = -f - m + 2 for f.
1
Suppose 10*r + 5*r = 135. Solve -r + 0 = -3*s for s.
3
Let p = -3 + -9. Let b = -10 - p. Solve -4*d = -b*d for d.
0
Let a be 4 + -1 - 4/(-4). Suppose 0 = b + a*b. Solve 9 = -b*k + 3*k for k.
3
Let i = -2 + -4. Let z = -4 - i. Solve t = -t - z for t.
-1
Suppose -3*a = -k + 2, 0*a + 4*a - 2*k + 6 = 0. Let l = a + 5. Suppose 4*w + y - 2 = 0, 4*w - 12 = -2*y - 8. Solve -2*z + l + 2 = w for z.
4
Suppose -34*j - 66 = -45*j. Solve 5*n - j = 4 for n.
2
Let x = -6 + 12. Suppose 5*c - 90 = 5*w, 2*c - 2*w - 36 = w. Solve 0 = -3*t + c - x for t.
4
Let t(h) = -h**2 + 18*h + 3. Let o be t(18). Suppose -o*p + 0*p + 20 = 2*c, -5*p + 27 = -3*c. Let d be p*-1*3/(-6). Solve -v + d = -0*v for v.
3
Let k be 1 - 1 - (-2 - 0). Suppose 0 = 28*d - 450 + 30. Solve -k*a + d = 3*a for a.
3
Suppose -40*q = -176 - 104. Solve 8*g = q + 33 for g.
5
Let s = 58 - 72. Let l be 3/(-1 - -4) - s. Solve b = -4*b - l for b.
-3
Suppose -66 = 7*q - 192. Solve 0 = -7*l + l - q for l.
-3
Suppose -29*x + 24*x = -4*r, x = 4*r. Let c(j) = -j**3 - 4*j**2 - 3*j - 5. Let u be c(-4). Suppose r = -u*z + 24 - 10. Solve 0*g = z*g + 6 for g.
-3
Let g = 40 - 34. Suppose 0 = 3*m - g*m + 6. Solve 2 = m*t - 0 for t.
1
Let v(t) = t**3 + 5*t**2 + 23 - 19 + 8. Let c be v(-5). Suppose p - 3*f = -c, -2*p + 28 = 5*f + 8. Solve p = -5*h - 6 + 1 for h.
-1
Let s be 462/(-10) + 1/5. Let p be -2 + 4/16 + s/(-8). Let m = -8 - -11. Solve 0 = m*f - p*f - 5 for f.
-5
Suppose 0 = -0*n - 3*n - 18. Let m(h) = -h**3 - 6*h**2 - h + 5. Let d be m(n). Let q be (-2)/8 + (-19)/4 + 5. Solve q = 2*g + d - 1 for g.
-5
Suppose 16 = 16*m - 112. Solve -10 = -m*g + 10*g for g.
-5
Let q be (-2 + 2 - -3) + 10. Let y = 13 - q. Solve 2*p - 10 = -y for p.
5
Let s(h) = h + 2. Let w be s(2). Let b be ((-45)/(-12))/((-1)/w). Let q = -15 - b. Solve -2*v + v + 4 = q for v.
4
Suppose -26*d = -105*d + 158. Let x be 178/3 + 2/3. Suppose -d*g = 2*g - x. Solve 6*j - 3*j = -g for j.
-5
Let v be 20/(-28)*21/6*-2. Solve g = v*g for g.
0
Suppose 75 - 110 = -7*w. Solve 0*u = -w*u + 5 for u.
1
Let p be 2/3*(7/14 - 5). Let g be (p + 46/10)/((-2)/(-5)). Solve g = -4*v + 20 for v.
4
Let f(t) = t. Let u be f(0). Let y = 2070 - 2065. Solve -5*s - y + 25 = u for s.
4
Let p(i) = 2*i**2 + 23*i + 52. Let t(x) = -x**2 - 11*x - 26. Let y(d) = 3*p(d) + 5*t(d). Let c be y(-12). Solve -c*l = 3*l + 5 for l.
-1
Suppose 4*h - 18 = -2*u - u, -u = h - 5. Suppose u = r - 3. Solve r = 2*t + 1 for t.
2
Suppose -6*y = 17*y - 299. Solve -3*n + 7 - y = 0 for n.
-2
Let z = -523 - -525. Solve -9*r + z*r - 35 = 0 for r.
-5
Let t(h) = -h**3 - 15*h**2 - 3*h - 37. Let c be t(-15). Solve 9*b - c*b = 2 for b.
2
Suppose -4*s = -3*c + 91, 3*c + s + 2*s = 63. Let a = c - 42. Let d = -17 - a. Solve 4*r + 4 = -d*r for r.
-1
Let h(m) = m**3 + 6*m**2 - 6*m + 7. Let v be h(-7). Suppose 7*f - 11*f + 12 = v. Suppose 4*p + 5 = w, 5*p = -w + f*w - 10. Solve -b + p*b + 1 = 0 for b.
1
Suppose m = 3*m. Let u be (0 - m)/(-1 - 0)*1. Solve -2*z + 6 + 4 = u for z.
5
Let s = 19 + -27. Let m be (6/8)/((-2)/s). Let n = 6 + m. Solve 5*k - n = 1 for k.
2
Let y be -87*((-1 - -5) + -5). Let h = y + -87. Solve h = -3*v + 2 + 1 for v.
1
Let m be 4/(-12) + (-30)/(-9). Suppose 4*i + s - 6 = 5, -s + 8 = m*i. Solve 5*g + 2 = -i for g.
-1
Suppose 0 = 3*m - 2*p - 18, -m - 3*p = 2*m - 3. Let u(g) be the first derivative of g**3/3 - 3*g**2/2 + 4*g - 11. Let r be u(3). Solve 0 = r*i - m + 12 for i.
-2
Let j(q) = 7*q**2 - 29*q + 8. Let i be j(4). Solve -r = i - 5 for r.
1
Suppose -289 - 119 = -3*n. Solve -2*c = -n + 130 for c.
3
Let n be (4*1)/2 + 103 + -98. Solve 0 = 7*c - n - 21 for c.
4
Let x(w) = -8 + 32*w**2 - 11*w**2 - 16*w**2 - 2*w - w**3. Let y(m) = -m**2 + 5*m - 2. Let l be y(3). Let p be x(l). Solve 2*h + 8 - 2 = p for h.
-3
Suppose c - 2*c = -6. Let h(d) = d**2 - 6*d + 4. Let v be h(c). Suppose 1 + 3 = 5*k - 4*u, v*k + 1 = -u. Solve 6*s - 4*s = k for s.
0
Let j(q) = q**3 - 18*q**2 - 12*q - 131. Let f be j(19). Solve -4*s - 14 = -f for s.
-3
Let i be 6 + -2 + 1 + 2. Suppose 4*k - 18 = -6. Suppose 2*l = -5*m + 29, 2*l = -l + 3*m + 33. Solve -i*c - l = -k*c for c.
-3
Let a be (-358)/(-10) - (924/(-70) + 14). Solve -a - 9 = -22*k for k.
2
Let y = -330 + 337. Solve y*g - 6*g - 3 = 0 for g.
3
Suppose -3 = -4*i + f, -3 + 0 = -i + f. Suppose i*l - 3*l - 11 = -g, -5*g - 2*l = -106. Solve 3*p + 5 - g = 0 for p.
5
Let s = 261 - 164. Let m = s + -93. Solve m = -w + 1 for w.
-3
Let k(d) = 2*d**3 - 11*d**2 + 9*d - 6. Let t be k(6). Suppose t = 5*y + 54. Solve -w - 5 = -y for w.
1
Suppose 0 = c - 168 + 164. Solve c*j = -j for j.
0
Suppose 7*p = 15*p - 120. Solve -4*z + p = -z for z.
5
Let v(h) = -12*h + 1. Let u be v(4). Let n = u - -50. Solve 0*l = 3*l - n for l.
1
Let y(j) = -2*j**2 + 24*j + 2. Let b be y(12). Let w = b - -3. Solve 4*s - 5 = w*s for s.
-5
Let k = 16 + 7. Let i = k + -19. Suppose 0 = -6*f + i*f. Solve 0*z + z + 5 = f for z.
-5
Suppose -2*y - 5*q = -24, -5*q = 3*y - 27 + 1. Suppose -2*g - 2*h = -8 + 2, 4*h = -2*g + y. Solve -23 = g*u - 3 for u.
-4
Let v(n) = n**3 + 15*n**2 + 56*n + 25. Let p be v(-7). Solve -15*c + p*c = 40 for c.
4
Suppose -3*d + 30 = -3*j + j, 3*d - 3*j - 33 = 0. Suppose 9*b = d*b. Suppose -2*a + 3 + 5 = b. Solve y + a*y = 15 for y.
3
Let r be (-3)/15 - 0 - 2/(-10). Suppose 0*w + r*w = -3*w. Solve 5*x - x + 16 = w for x.
-4
Suppose 0 = 9*w - 4*w - 60. Suppose 6*d - w = 2*d. Solve -d*g = -7*g - 12 for g.
-3
Suppose t - f = 2*f - 13, -3 = t - f. Suppose -2*z + 12 = -t*b, 2*b + b = -9. Suppose 16 = z*v + v. Solve 0 = -m - v - 1 for m.
-5
Let x(j) = -j**3 - 2*j**2 - 8*j - 3. Let g be x(-4). Solve 36 - g = 5*w for w.
-5
Let o be (-4)/2 + ((-27)/(-1) - 21). Let d(z) = z**3 - 2*z**2 - 4*z + 4. Let b be d(3). Let v = b + 2. Solve -n - v = -o*n for n.
1
Let d be (-3)/((1 + -4 - -4)/(-1)). Suppose -2*i - v - 2*v = -4, -d*v = -2*i + 4. Solve i*k - 4 = 4 for k.
4
Let b(t) be the second derivative of t**3/3 + 4*t**2 - 11*t. Let g be b(-3). Solve -g*l + 15 = l for l.
5
Suppose -11*a - 36*a = -47. Solve 9*r + 37 = a for r.
-4
Let v = 25 + -21. Let x be (v/(-4))/((-25)/12 - -2). Solve 