4*n - y = 0 for n.
-4
Suppose 3*t - 2*r = 27, 38 = 10*t - 5*t - r. Solve t*y = 7 + 7 for y.
2
Let b = 15 + -6. Suppose t + b = -6. Let r = t + 15. Solve s - 5*s - 4 = r for s.
-1
Suppose -3*c = 5*y - 11, 0 = 2*y - 1 - 1. Suppose 15 = 5*w + 3*f, 3*w = 3*f - c*f - 5. Solve 8 = -w*q - 4*q for q.
-2
Let o = -45 - -96. Suppose -g - o = -52. Solve -s + g + 0 = 0 for s.
1
Suppose 0*g = 4*g - 24. Let m(w) be the second derivative of -w**3/2 + 7*w**2 - 52*w + 2. Let k be m(4). Solve -2 = -k*q - g for q.
-2
Suppose -2*n = 4*f - 27 - 3, -2*n + f = -10. Suppose 3*d = 4*i - 12, -5*d + i + 4 = n. Solve d*a + 6 = -2*a for a.
-3
Suppose -60 = -17*m - 13*m. Solve 0*r + 6 = m*r for r.
3
Let l be ((-16)/10)/(18/(-45)). Suppose -l*z + 8 = -m, -2*m + 3*m + 4 = 3*z. Suppose -m*h = -3*h - 3*g - 40, 5*h = -4*g + 5. Solve -5*u - 20 = h for u.
-5
Let t = -25 + 13. Let u be (-249)/t - 12/16. Let f = u - 16. Solve -y - 6 = -f*y for y.
2
Let o(d) = d**2 + 3*d - 7. Let f be o(-5). Solve 66*b - f = 67*b for b.
-3
Suppose 2 = 11*s - 10*s. Suppose 1 = 5*t + s*w - 20, -5*t + w = -27. Solve b + 0 = t for b.
5
Suppose 18*p - 26*p = -24. Solve -2*q + 11 = p for q.
4
Suppose 4*g - 24 = -2*m, -10*g + 7*g + 16 = m. Solve -7*s + m = -5*s for s.
2
Let p(l) = l - 2. Let a be p(0). Let c = -3 + a. Let f be 1*c*(-4)/5. Solve -x = -0*x - f for x.
4
Let b(f) = 3*f + 15. Let g be b(-5). Solve 2*w + g - 2 = 0 for w.
1
Suppose 0 = -6*q + 25*q - 114. Solve -s = -q*s - 20 for s.
-4
Suppose 0 = -12*b + 8*b + 20. Let y be 0*((-12)/8)/(-3). Solve -5 = b*g - y for g.
-1
Let z be 1 - 1 - 15*-1. Suppose 3*p + 15 = -5*g, 0 = -5*p - 5*g - 18 + 3. Let k = -5 - -5. Solve k = 5*r - p*r + z for r.
-3
Suppose 0*y - 8 = -y + m, 3*y - 16 = -5*m. Suppose 4*p - y = 1. Suppose -22*w - 21 = -29*w. Solve f - w*f = p for f.
-1
Let r be (1924/(-30) - (-30)/225)/(-2). Solve -k = -30 + r for k.
-2
Let h be -3 + (-213)/9 - (-4)/(-12). Let q = h + 42. Solve -2*n - 3*n = q for n.
-3
Suppose -5*r - 3*f + 36 = 7, -4*r = -2*f - 10. Suppose r*g = 3*v - 6*v + 24, -2*g + 5*v = -38. Solve -g - 1 = -5*k for k.
2
Suppose -3*w = -10*t + 5*t + 14, -3*t + 4 = -4*w. Let l be -4 - ((-56)/4)/w. Solve -l*p - p = 0 for p.
0
Suppose -4*p + 2 = p - t, -3*t = -4*p + 6. Let s be p + 5 - (-2 - -4). Solve 3*w + 0 = -s for w.
-1
Suppose 5*t - 16 = 2*a, -4*a - 37*t + 35*t + 16 = 0. Let p be 2 - (1 - 0 - 1). Solve -g + a + p = 0 for g.
4
Let m = -32 - -23. Let j be (-80)/36 - 2/m. Let s be 0 - (j + 1) - -3. Solve -s*h = h for h.
0
Suppose 218 = 14*s - 76. Solve -9*o - s = -2*o for o.
-3
Let s = -1110 + 1174. Solve -s = -20*t + 16 for t.
4
Let f be ((-3)/(-2))/(9/216). Suppose 5*o = 56 - f. Solve 3*v - o*v + 1 = 0 for v.
1
Suppose -5*y = 3 + 22. Let v(x) = -2*x**3 - 12*x**2 - 11*x - 1. Let p be v(y). Solve 2 = -3*g - p for g.
-2
Let a = 249 + -246. Solve -a - 1 = -4*j for j.
1
Let u(c) = 2 + 5*c - 2*c**2 + 5 + c**2 + 12. Let l be u(7). Solve l*z + 6 = -9 for z.
-3
Let b(j) = -j - 16. Let i be b(-20). Suppose i*s = -3*w - 18, -2*w = -2*s - 22 + 6. Let q(u) = u + 14. Let f be q(s). Solve 3*x = -1 - f for x.
-3
Let c = 24 + -16. Suppose -10*o - 26 = -c*o. Let u = o + 17. Solve -p = u*p for p.
0
Let v(x) = -x + 11. Let c be v(6). Let h be 200/(-30)*(-9)/c. Suppose -3*d + h = 3*d. Solve 0 = -d*q - 2*q for q.
0
Suppose -13*w = 10*w - 138. Solve 0 = 10*a - w*a - 16 for a.
4
Let r(n) = n**2 - n + 1. Let b(a) = -a**3 - 6*a**2 + a - 1. Let f(q) = b(q) + 2*r(q). Let m be f(-2). Let c be (m - 3)*(-2)/4. Solve -10 - 10 = c*o for o.
-5
Suppose 0*b = 9*b. Solve 3*q + q + 4 = b for q.
-1
Let k(z) = -z**2 - 26*z - 160. Let l be k(-13). Solve -l - 3 = -3*i for i.
4
Suppose 5*h + m = -513 - 328, 4*m - 332 = 2*h. Let k be h/(-49) - -2*(-6)/28. Solve 0*w = k*w for w.
0
Let m be 0*(184/64)/23. Solve m = -2*d - 73 + 75 for d.
1
Let o = 227 + -223. Solve 4*z = -10*z - o*z for z.
0
Suppose -165*y = -192*y + 594. Solve 0 = -5*q + 2 - y for q.
-4
Let t = -21 + 31. Solve 0 = 4*i + 14 - t for i.
-1
Let z(t) = 2*t + 17. Let a be z(-7). Let g = -33 - -58. Suppose -b + g = 4*b. Solve 0 = -a*r - 4 - b for r.
-3
Let m(q) = -q**3 + 47*q**2 + 3*q - 131. Let f be m(47). Solve f*o + 24 = 14 for o.
-1
Let q be 5/1 - (2 - 3 - -2). Suppose 0*s - y = -s + 11, -3*s + 5*y = -43. Let o = 6 - s. Solve 0 = 2*v + q - o for v.
-2
Let t be (2 + -2*1)/2. Suppose 42 = 8*u + 6*u. Suppose t = u*h - 5*o - 10, -2*h - h - 3*o - 6 = 0. Solve -x - 6 + 2 = h for x.
-4
Let h(a) = 2*a - 18. Let p be h(12). Let m(s) = -s**2 - 20*s - 13. Let i be m(-19). Solve 4*v - i = p for v.
3
Suppose -390*h - 3 = -2*s - 393*h, -2*h = -5*s + 17. Solve -4*n = -s*n - 4 for n.
4
Let m = -1075 + 1080. Solve -2*s + m = -5 for s.
5
Suppose -5*l + 3*t + 0*t = -142, 61 = 2*l + 3*t. Solve -l*w = -25*w + 4 for w.
-1
Suppose -t = -0*t - 3*c - 7, 3*t + 3*c - 9 = 0. Let i be (-2)/(-7) - (-34)/(-119). Solve i*v = t*v for v.
0
Let y(d) = 8 + 11 - d - 8. Suppose k + 19 - 26 = 0. Let q be y(k). Solve -f = -q*f + 3 for f.
1
Suppose -3*r + 25 = 5*u - 0*r, 0 = -5*u + r + 25. Suppose 0 = u*n + 4*a - 27, 0*a = n + 4*a - 15. Solve c = n*c + 4 for c.
-2
Let h be (-46)/(-4) - (-45)/(-90). Solve -h*t + 40 = -15 for t.
5
Let m = -10 - -6. Let p = m + 7. Let s = 390 + -387. Solve 0*i - p = s*i for i.
-1
Let d(a) = -4*a - 16. Let m be d(-6). Let g = m - 4. Solve 2*r - 4 = g for r.
4
Let t(y) = -y**3 - 15*y**2 - 17*y - 36. Let n be t(-14). Solve 2*l - 4*l = n for l.
-3
Let o(r) = -13*r - 2. Let a be o(1). Let b(u) = 20*u**2 + 2*u + 2. Let h be b(-1). Let w = a + h. Solve 2*y = 7*y - w for y.
1
Let s(y) = 76*y - 198. Let z be s(3). Solve z = 13*w - 7*w for w.
5
Suppose -14*t + 11*t = 9. Let v be (-8 + 2)/(t/2). Solve q + q = v for q.
2
Let o = 0 - -4. Let a = -2 - -5. Let i = -632 + 633. Solve o*d = -i - a for d.
-1
Let c(l) = 16*l - 295. Let g be c(20). Solve p = 24 - g for p.
-1
Let o = -463 - -469. Solve -14*j = -11*j - o for j.
2
Let f be 0 + (-2 - -3)/1 - -4. Suppose -13*s = -f*s. Solve 4*o + s - 8 = 0 for o.
2
Suppose l - 4*y = -14, 0 = -20*l + 18*l - y + 8. Let m = -2 - -2. Solve m*a - l = 2*a for a.
-1
Suppose 6*j + 5 - 173 = 0. Let p = j + -24. Solve y = p - 5 for y.
-1
Let g(a) = a**2 - 1. Suppose -3*h - 8 = h. Let r be g(h). Let k(x) = -2*x**2 + 5*x + 2. Let u be k(2). Solve 0 = -r*o - u + 16 for o.
4
Suppose 3*h = -2*h + 35. Suppose 10*a = h*a. Solve -2*b = -a*b for b.
0
Let z(j) = -5*j**3 + 3*j**2 - 5*j - 21. Let f(g) = 4*g**3 - 4*g**2 + 6*g + 20. Let o(w) = 6*f(w) + 5*z(w). Let r be o(-10). Solve -r*s + 11 + 14 = 0 for s.
5
Let v be (0 - -2) + (1 - 3). Let m(d) = 38*d - 8. Let r be m(1). Suppose -2*o - 2*y + 4 = -v*y, 3*y = 3*o - r. Solve o = 3*i + 3 for i.
1
Let z(p) = -p**2 + 10*p + 4. Let d be z(5). Suppose d = b + 4. Suppose 3*j + 2*j - b = 0. Solve 5*f = 10 + j for f.
3
Suppose 0*l = -5*l + 10. Suppose 13*m - 42 = 6*m. Suppose j = m - l. Solve -j = -2*z + 2 for z.
3
Suppose -15*w = 35 - 140. Solve -w*h + 12*h = 15 for h.
3
Suppose 0 = -2*d + 4 - 10. Let g = -18 - d. Let x = -3 - g. Solve 5*c = x + 13 for c.
5
Let y(w) = -2*w - 65. Let n(h) = 3*h + 129. Let m(c) = 6*n(c) + 11*y(c). Let k be m(14). Solve -a + 8 = k for a.
5
Let w(b) = -b**3 + 2*b**2 + 2*b + 3. Let s be (1 + -2)/(2/(-6)). Let x be w(s). Suppose -18 + 288 = 30*o. Solve 5*d - o - 16 = x for d.
5
Let m = 13 + -9. Let s = -18 - -14. Let b = m + s. Solve 2 = 2*x - b for x.
1
Suppose -20*w - 16 = -22*w. Solve d = 5*d + w for d.
-2
Let p(z) = 5*z**3 + 12*z**2 + 12*z - 3. Let v(x) = -2*x**3 - 6*x**2 - 6*x + 1. Let b(s) = 3*p(s) + 7*v(s). Let t be b(7). Solve t*i = -9 - 16 for i.
-5
Let k = 94 + -59. Solve 8 = -37*s + k*s for s.
-4
Let p be 5 - (-5 - -2 - -3). Solve -2*y = -p*y + 9 for y.
3
Suppose 0 = -12*o + 15*o + 3. Let x be (o - 0)/((-3)/(-9)). Let v = x - -5. Solve 4*f - v = 5*f for f.
-2
Suppose -2*j + 10 = 3*j + 2*k, -2*k = 2*j + 2. Suppose 0 = 7*l - 8*l + j. Solve -7 = o - l for o.
-3
Let y(v) = v**2 + 2*v - 5. Let t(m) = -m**3 - 6*m**2 - 4. Let s be t(-6). Let q be y(s). Let z be 42/8 - q/12. Solve -1 = -4*f - z for f.
-1
Suppose 167 - 849 = -31*y. Solve 52*t - 41*t = -y for t.
-2
Let j(k) = -k**2 + 12*k + 10. Let d be j(10). Suppose 9*z + d = 6*z. Let a = z - -12. Solve -q - 9 = a*q for q.
-3
Let f be ((-8)/2)/(-4) - -2. Let k be (-173)/(-7) + 6/21. Suppose 0 = -v